Dirac Sheaf: Theory and Applications

• Dirac sheaf is a versatile concept defined as an ample invertible sheaf with a Dirac pairing and quadratic refinement, encoding both geometric and quantum data.
• It manifests in various forms—including microlocal sheaf quantization, quasi-coherent sheaves on Dirac stacks, and operator-theoretic constructions—highlighting its multifaceted role.
• Applications extend from special quantum geometry on Abelian varieties to discrete cellular sheaves on hypergraphs, providing a unified language for Dirac quantization across settings.

Searching arXiv for recent and foundational papers on “Dirac sheaf” and related sheaf quantization usages. Dirac sheaf is not a standardized term across mathematics and mathematical physics. In the literature surveyed here, it denotes most concretely an ample invertible sheaf on an Abelian variety whose Chern class is the Dirac pairing and whose Appell–Humbert semi-character gives a quadratic refinement (Cecotti, 29 Sep 2025). In adjacent literatures, the phrase is often absent, but closely related constructions are presented as natural interpretations: a sheaf quantization of a Lagrangian or Weinstein skeleton (Nadler et al., 2020, Kuwagaki, 2022), a quasi-coherent $\mathcal O_X$-module on a Dirac stack (Hesselholt et al., 2023), a sheaf of transverse Clifford-module sections acted on by the Molino sheaf (Gorokhovsky et al., 2010), or a gerbe-twisted projective family of Dirac operators over a quotient stack (Hekmati et al., 2014). This suggests that “Dirac sheaf” functions less as a single definition than as a family of sheaf-theoretic realizations of Dirac quantization data.

1. Terminological scope and principal usages

The most concrete use of the term occurs in the study of isotrivial special geometries of $\bigstar$-type, where a Dirac sheaf $\mathscr{L}$ is an ample invertible sheaf on an Abelian variety $A$, usually taken $G$-equivariant for a reflection group $G\subset \mathrm{Aut}(A)$; its first Chern class is the Dirac pairing, and its isomorphism class refines the pairing by a semi-character, hence by a quadratic refinement (Cecotti, 29 Sep 2025).

By contrast, the papers on microlocal sheaf theory and sheaf quantization explicitly state that the phrase “Dirac sheaf” does not appear there, but they organize their constructions as what one would reasonably call a Dirac-type sheaf quantization: classical Lagrangians or Weinstein skeleta are sent to sheaf-theoretic objects with microsupport constraints, fully faithful embeddings, and homotopy invariance (Nadler et al., 2020, Kuwagaki, 2022).

A distinct usage occurs in Dirac geometry in higher algebra, where a reasonable interpretation of “Dirac sheaf” is a quasi-coherent $\mathcal O_X$-module on a Dirac stack $X$, that is, an object of $\mathrm{QCoh}(X)$, a presentably symmetric monoidal stable $\infty$-category equipped with a compatible $\bigstar$0-structure (Hesselholt et al., 2023).

Two further interpretive extensions appear in operator-theoretic settings. In foliations, the Molino sheaf is not itself a Dirac sheaf, but it acts on a sheaf of invariant sections carrying a transverse Dirac-type operator (Gorokhovsky et al., 2010). In the Banach Lie groupoid setting, the phrase can be used for a gerbe-twisted family of Dirac operators over the quotient stack $\bigstar$1 (Hekmati et al., 2014).

A common misconception is that “Dirac sheaf” denotes a single canonical object. The surveyed literature instead supports the narrower statement that the phrase names different objects in different contexts, and in several influential papers it is only an interpretive label rather than a formal definition.

2. Dirac sheaf as a quantum-geometric line bundle in special geometry

In the strongest literal sense, a Dirac sheaf is the line bundle $\bigstar$2 appearing in the Donagi–Witten or Seiberg–Witten setup. The defining statement is that the Dirac pairing is the Chern class of $\bigstar$3: $\bigstar$4 The same source emphasizes that the relation between Dirac sheaf and Dirac pairing is not one-to-one: two non-isomorphic sheaves $\bigstar$5 and $\bigstar$6 in the same Néron–Severi class produce the same Dirac pairing, so the datum of the Dirac sheaf is finer than the datum of a Dirac pairing (Cecotti, 29 Sep 2025).

The Appell–Humbert theorem identifies the sheaves in a fixed polarization class with semi-characters

$\bigstar$7

so a Dirac sheaf is a complex quadratic refinement. In this sense it packages both the integral symplectic form via $\bigstar$8 and the additional quantum datum of the semi-character.

The line bundle is not merely auxiliary. In the isotrivial $\bigstar$9-geometries one fixes a polarized Abelian variety $\mathscr{L}$0 and a $\mathscr{L}$1-equivariant ample line bundle $\mathscr{L}$2, and forms

$\mathscr{L}$3

The associated stack is

$\mathscr{L}$4

with $\mathscr{L}$5 the $\mathscr{L}$6-torsor underlying $\mathscr{L}$7. The central fiber is

$\mathscr{L}$8

as a normal complex space, while as a stack it is a weighted projective stack determined by the strong crystallographic action.

The quantum cohomology ring

$\mathscr{L}$9

depends on the stacky data of $A$0, not only on the coarse quotient. Different $A$1 in the same Néron–Severi class can therefore give the same classical geometry but different quantum cohomologies. This dependence is central to the paper’s criterion for crepancy: $A$2 if and only if the total space $A$3 admits a crepant resolution (Cecotti, 29 Sep 2025).

Within this framework, the Dirac sheaf is the geometric encoding of the electric–magnetic charge lattice, the Dirac pairing, and the quadratic refinement familiar from line-operator data. It upgrades classical special geometry to what the paper calls a full quantum geometry.

3. Microlocal and symplectic interpretations: Dirac-type sheaf quantization

In microlocal sheaf theory, the phrase “Dirac sheaf” is absent, but the constructions are explicitly presented as what one would reasonably call a Dirac-type sheaf quantization of a Weinstein manifold (Nadler et al., 2020). The central object is a sheaf of microlocal categories $A$4 on a contact manifold $A$5, constructed from Maslov data. For a Liouville manifold $A$6 with core $A$7, the associated category is

$A$8

This is the category of global sections of the microsheaf sheaf restricted to the core.

Exact Lagrangians give objects of this category. If $A$9 is a smooth compact exact Lagrangian and $G$0, then choosing secondary Maslov data yields a fully faithful functor

$G$1

The Legendrian lift

$G$2

is flowed toward the skeleton, and microlocal specialization produces the object in the skeletal category. The category is invariant under sufficiently Weinstein homotopy, so $G$3 behaves as a Weinstein-homotopy invariant sheaf-theoretic quantization (Nadler et al., 2020).

Kuwagaki’s exposition gives the cotangent-bundle side of the same picture. For a real manifold $G$4, the microsupport $G$5 of a sheaf records the covectors along which propagation fails, and for constructible sheaves it is a conic Lagrangian. Sheaf quantization version 0 identifies a sheaf $G$6 with $G$7 as a sheaf quantization of a conic Lagrangian $G$8. Sheaf quantization version 1 uses Tamarkin’s extra variable to treat exact, non-conic Lagrangians by passing to the category

$G$9

and declaring $G\subset \mathrm{Aut}(A)$0 to quantize $G\subset \mathrm{Aut}(A)$1 when

$G\subset \mathrm{Aut}(A)$2

For a graph $G\subset \mathrm{Aut}(A)$3, the basic example is

$G\subset \mathrm{Aut}(A)$4

which is a sheaf quantization of $G\subset \mathrm{Aut}(A)$5 (Kuwagaki, 2022).

These constructions support the interpretation that a Dirac sheaf, in the microlocal and symplectic sense, is a sheaf whose microsupport equals the Lagrangian or skeletal classical datum being quantized. This interpretation is strengthened by the statements that sheaf quantization is the Betti counterpart of Fukaya–Floer theory, a topological realization of WKB-states in geometric quantization, and a categorified replacement for operator-theoretic quantization (Kuwagaki, 2022).

4. Dirac sheaves in Dirac geometry and higher algebra

A different meaning arises in the Dirac geometry of Hesselholt–Pstrągowski. There the basic algebraic objects are Dirac rings, that is,

$G\subset \mathrm{Aut}(A)$6

with $G\subset \mathrm{Aut}(A)$7 the symmetric monoidal category of $G\subset \mathrm{Aut}(A)$8-graded abelian groups with the Koszul sign rule. Affine Dirac schemes are opposite to Dirac rings, Dirac schemes embed fully faithfully into the $G\subset \mathrm{Aut}(A)$9-category of Dirac stacks, and Dirac stacks are accessible sheaves for the flat topology on $\mathcal O_X$0 (Hesselholt et al., 2023).

In this framework, a reasonable interpretation of “Dirac sheaf” is a quasi-coherent $\mathcal O_X$1-module on a Dirac stack $\mathcal O_X$2. The category $\mathcal O_X$3 is a presentably symmetric monoidal stable $\mathcal O_X$4-category, and on affine $\mathcal O_X$5 it admits the equivalent descriptions

$\mathcal O_X$6

These objects carry two gradings: a spin degree coming from the $\mathcal O_X$7-grading intrinsic to Dirac rings, and an animated degree coming from the ambient stable $\mathcal O_X$8-category.

The functor

$\mathcal O_X$9

takes colimits of Dirac stacks to limits of symmetric monoidal $X$0-categories. It comes equipped with a canonical $X$1-structure, and coherent cohomology is defined by derived global sections: $X$2

The theory also develops relative Spec, locally free sheaves, formal hyperplanes, and formal groups over Dirac stacks. For a locally free $X$3-module $X$4, one forms

$X$5

and the formal completion of such affine spaces produces pointed formal hyperplanes and then formal groups. In applications to stable homotopy theory, Dirac stacks associated to $X$6 and $X$7 represent moduli problems of formal groups and filtered formal groups with specified Lie-algebra trivializations (Hesselholt et al., 2023).

Here the expression “Dirac sheaf” therefore does not refer to a line bundle or a microlocal object, but to the sheaf theory internal to Dirac stacks themselves. The unifying feature is that the sheaf is again the carrier of Dirac-graded geometric data.

5. Foliated, groupoid, and stack-theoretic operator realizations

In the theory of Riemannian foliations, the key sheaf is the Molino sheaf, a locally constant sheaf of Lie algebras whose stalk is $X$8 in the abelian case. It acts on the sheaf of invariant Clifford-module sections

$X$9

where $\mathrm{QCoh}(X)$0 is the transverse Clifford module, $\mathrm{QCoh}(X)$1 is a complete transversal, and $\mathrm{QCoh}(X)$2 is the space of leaf closures. The invariant Dirac operator acts on global sections of this sheaf, and its index is given by the local formula

$\mathrm{QCoh}(X)$3

The source explicitly states that there is no literal “Dirac sheaf” defined there, but it also describes the data $\mathrm{QCoh}(X)$4 over $\mathrm{QCoh}(X)$5 as what one might call a Dirac sheaf: a sheaf whose fibers are Clifford modules equipped with Dirac operators and acted on by a symmetry sheaf (Gorokhovsky et al., 2010).

A related, but more explicitly stack-theoretic, picture appears for the action Lie groupoid $\mathrm{QCoh}(X)$6, where

$\mathrm{QCoh}(X)$7

acts on the Hilbert space $\mathrm{QCoh}(X)$8 of self-adjoint Hilbert–Schmidt operators by

$\mathrm{QCoh}(X)$9

A Lie algebra $\infty$0-cocycle

$\infty$1

integrates to an $\infty$2-central extension and hence to a gerbe on the quotient stack $\infty$3. In this setting one constructs a renormalized cubic Dirac operator

$\infty$4

and a projective family

$\infty$5

The paper then interprets this as a twisted Hilbert bundle and a stack of Dirac operators over $\infty$6, yielding an element of a generalized twisted $\infty$7-theory even though the kernels are infinite-dimensional; the required replacement for Fredholmness is finite reducibility at every point (Hekmati et al., 2014).

These two examples show that, outside the line-bundle and microlocal settings, the phrase “Dirac sheaf” naturally shifts toward a sheaf or stack of Dirac modules, Dirac operators, or Dirac kernels with descent data and symmetry action.

6. Discrete and computational analogues

A discrete analogue appears in cellular sheaves on hypergraphs. The basic object is a hypergraph sheaf

$\infty$8

consisting of vertex stalks, hyperedge stalks, and restriction maps for each incidence $\infty$9. The paper does not use the phrase “Dirac operator” explicitly, but it states that the constructions match the usual Dirac–Laplacian paradigm from sheaf Hodge theory (Duta et al., 2023).

The linear sheaf hypergraph Laplacian is defined by the block formulas

$\bigstar$00

$\bigstar$01

with normalized version

$\bigstar$02

The associated energy is the sheaf Dirichlet energy

$\bigstar$03

and the diffusion step $\bigstar$04 is contractive. The nonlinear version replaces the full hyperedge discrepancy by a max-discrepancy rule and yields a subgradient descent for sheaf total variation.

The paper’s own interpretation is that the restriction maps define something resembling a coboundary or gradient from node-level cochains to hyperedge discrepancies, and the sheaf Laplacian is, in effect,

$\bigstar$05

This suggests a discrete notion of Dirac sheaf: a sheaf whose local linear data define a Dirac-type difference operator, with the sheaf Laplacian as its square in the energy sense. The resulting neural architectures, SheafHyperGNN and SheafHyperGCN, are strict generalizations of HyperGNN and HyperGCN (Duta et al., 2023).

Taken together with the microlocal, stack-theoretic, and special-geometric usages, this discrete setting clarifies the broad conceptual pattern. A Dirac sheaf is not determined by a single ambient category; rather, it is a sheaf-theoretic object that carries Dirac data—pairing, quadratic refinement, microsupport, grading, symmetry, or Dirac-type operator—in a form compatible with descent, localization, and categorical transport.