Many-Body Gerbe Invariants

• Many-body gerbe invariants are higher-geometric constructs that encode topological, symmetry, and sector decomposition properties in many-body quantum systems.
• They manifest in various forms such as Dixmier–Douady classes, twisted-boundary responses in topological matter, and enumerative invariants in algebraic geometry.
• The framework unifies differential geometric, group cohomological, and higher-holonomy approaches to capture refined symmetry actions and anomaly contents beyond traditional invariants.

Many-body gerbe invariants are higher-geometric invariants that encode many-body topology, symmetry response, or sector decomposition beyond ordinary line-bundle and first-Chern-class data. In the current literature they arise in three intertwined forms: as Dixmier–Douady and curvature $3$-form invariants of gerbes and their symmetry refinements; as quantized many-body phases, twisted-boundary-condition responses, and higher-holonomy constructions in topological matter; and as enumerative invariants on algebraic gerbes, where discrete band data organizes moduli spaces into twisted sectors of Donaldson–Thomas or Gromov–Witten theory (Collier, 2011, Jankowski et al., 29 Jul 2025, Gholampour et al., 2010).

1. Gerbes, Dixmier–Douady classes, and differential refinement

A Dixmier–Douady gerbe over a smooth manifold $M$ is, in the Brylinski model, a sheaf of groupoids $\mathcal G$ on $M$ that is locally non-empty and locally connected, with automorphism group of any object canonically identified with the sheaf $T_U$ of circle-valued functions. Up to equivalence, such gerbes are classified by third integral cohomology,

$$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$

and the corresponding class $\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$ is the Dixmier–Douady class. In a Čech model on a good open cover $\{U_i\}$, the gerbe is represented by a circle-valued Čech $2$-cocycle $g_{ijk}$, and $M$0 is the basic topological invariant. For many-body systems with configuration space $M$1, this class is a natural global invariant distinguishing inequivalent higher background fields or flux sectors (Collier, 2011).

A connective structure on $M$2 is a $M$3-morphism

$M$4

intertwining $M$5. A curving assigns to each local connection $M$6 a $M$7-form $M$8 with affine behavior

$M$9

In local Čech data $\mathcal G$0, one has

$\mathcal G$1

and the curvature $\mathcal G$2-form is

$\mathcal G$3

Its de Rham class $\mathcal G$4 is the realification of the Dixmier–Douady class and is the fundamental differential refinement of the gerbe (Collier, 2011).

A complementary cohomological viewpoint treats gerbes over a topological space $\mathcal G$5 as principal bundles with structure group $\mathcal G$6, again classified by $\mathcal G$7. When $\mathcal G$8 is a topological or Lie group, the same degree-$\mathcal G$9 information can be expressed in locally smooth group cohomology. In particular, for a group extension $M$0 and an abelian extension $M$1, the vanishing of $M$2 permits a transgression

$M$3

which turns a degree-$M$4 extension class on $M$5 into a degree-$M$6 gerbe class on $M$7 (Mickelsson et al., 2016).

2. Infinitesimal symmetries, Lie $M$8-algebras, and Courant packages

The basic symmetry refinement of a Dixmier–Douady gerbe is its category of infinitesimal lifts. Given $M$9, an infinitesimal lift of $T_U$0 to $T_U$1 is a $T_U$2-morphism

$T_U$3

intertwining the homomorphism of bands $T_U$4. The category of lifts,

$T_U$5

organizes into a sheaf of groupoids $T_U$6. This is the gerbe analogue of the Atiyah sequence for a circle bundle, but as a sheaf of groupoids rather than a vector bundle (Collier, 2011).

Globally, infinitesimal lifts carry addition, scalar multiplication, and a bracket,

$T_U$7

satisfying the expected axioms only up to specified natural isomorphisms. In a Čech model, this is encoded by a $T_U$8-term $T_U$9-algebra. For local data $$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$0, an object is $$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$1 with

$$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$2

and the bracket on $$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$3 is

$$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$4

This Lie $$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$5-algebra of infinitesimal symmetries is a refined invariant: it depends on the Dixmier–Douady class and, when connective data are included, on its differential refinements as well (Collier, 2011).

With connective structure $$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$6, one obtains connective lifts $$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$7 satisfying

$$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$8

The set of connective lifts of a given non-connective lift is a torsor for global $$\{\text{DD gerbes on }M\}/\sim \;\cong\; H^3(M,\mathbb Z),$$9-forms. From these connective lifts one constructs a $\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$0-module $\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$1 fitting into

$\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$2

Locally, $\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$3 is canonically isomorphic to the $\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$4-twisted Courant algebroid $\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$5 with pairing

$\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$6

and bracket

$\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$7

Collier’s construction identifies this Courant algebroid with the algebraic shadow of the gerbe’s infinitesimal connective symmetries and proves an equivalence between the associated $\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$8-term $\mathrm{DD}(\mathcal G)\in H^3(M,\mathbb Z)$9-algebra and the Lie $\{U_i\}$0-algebra built directly from gerbe Čech data (Collier, 2011).

Equivariant refinements enter through differentiation of $\{U_i\}$1-parameter lifts and group actions. A $\{U_i\}$2-parameter family of gerbe symmetries covering a flow $\{U_i\}$3 differentiates to an infinitesimal lift by a functor

$\{U_i\}$4

which is a local equivalence of categories. For a Lie group $\{U_i\}$5 acting on $\{U_i\}$6, $\{U_i\}$7-equivariant gerbes differentiate to $\{U_i\}$8-actions by infinitesimal symmetries. The resulting equivariant structures refine the plain Dixmier–Douady class; two gerbes with the same class in $\{U_i\}$9 may have distinct equivariant refinements and thus different symmetry response (Collier, 2011).

3. Response invariants, tensor monopoles, and Fermi gerbes in topological matter

In interacting topological matter, many-body invariants can be written directly in terms of ground-state overlaps with large-gauge-type operators. For a charge-conserving Hamiltonian on a torus, the basic construction is

$2$0

whose $2$1 phase is topological in a gapped phase. For a $2$2 Chern insulator, the choice

$2$3

gives

$2$4

so the phase measures the many-body Chern number $2$5. For a $2$6 chiral hinge insulator, the quadrupole operator

$2$7

leads to

$2$8

where $2$9 is the quantized pumping of quadrupole moment. The paper does not formalize these objects as gerbes, but it explicitly interprets them as holonomies of effective higher-rank gauge couplings that generalize the Berry-phase/Chern-class picture (Kang et al., 2020).

The gerbe language becomes explicit in three-dimensional topological matter with tensor Berry connections. Momentum-space tensor monopoles are described by bundle-gerbe data whose topological charge is a Dixmier–Douady invariant

$g_{ijk}$0

with $g_{ijk}$1 the curvature of a tensor Berry connection. In Hopf and related phases, these gerbe invariants reproduce the relevant $g_{ijk}$2-valued homotopy data and support quantized bulk magnetoelectric and nonlinear optical phenomena. The same work states that it provides an interacting generalization by introducing many-body gerbe invariants via twisted boundary conditions, and characterizes these gerbe invariants as falling beyond the tenfold classification of topological phases of matter (Jankowski et al., 29 Jul 2025).

A distinct but related construction is the Fermi gerbe of a gap-continuous family of unbounded self-adjoint Fredholm operators with a common essential spectral gap $g_{ijk}$3. From the local determinant lines associated with discrete spectral bands between $g_{ijk}$4 and $g_{ijk}$5, one obtains a bundle gerbe $g_{ijk}$6. Its Dixmier–Douady invariant obstructs the existence of a uniform point $g_{ijk}$7 lying outside the spectrum for all parameters. For the quaternionic half-line Dirac family $g_{ijk}$8, the Fermi gerbe has Dixmier–Douady invariant generating $g_{ijk}$9, and the family represents a generator of $M$00. In Weyl-semimetal language, the non-vanishing gerbe invariant protects the interpolation of discrete edge spectrum across the bulk essential gap and thereby the integrity of the Fermi surface (Carey et al., 2020).

These constructions clarify a recurring point. Not every many-body invariant is introduced formally as a gerbe, but several are naturally higher-holonomy objects: they pair flux insertion, polarization or multipole operators, and symmetry twists in a way that is not captured by ordinary line-bundle data alone. This suggests a hierarchy in which Chern numbers are degree-$M$01 invariants, while Dixmier–Douady charges and their many-body descendants are degree-$M$02 invariants adapted to higher-form response (Kang et al., 2020).

4. Equivariant holonomy, non-orientable probes, and higher-order many-body diagnostics

Time-reversal-symmetric topological insulators furnish a torsion version of gerbe invariants. The basic bundle gerbe on $M$03 has curvature

$M$04

and its holonomy gives the Wess–Zumino amplitude. For an equivariant map $M$05 satisfying $M$06, a $M$07-equivariant gerbe structure permits the definition of a distinguished square root of holonomy,

$M$08

For time-reversal-symmetric two-dimensional crystals this yields

$M$09

where $M$10 is the Fu–Kane–Mele invariant, and for three-dimensional crystals one obtains a $M$11 gerbe index

$M$12

equal to the strong $M$13 invariant. The same formalism extends to periodically driven systems through the periodized evolution $M$14, providing static and Floquet torsion invariants as equivariant gerbe holonomies and their square roots (Gawedzki, 2017).

The same geometric framework was subsequently reviewed as a general method for torsion invariants of static and driven topological insulators. The basic gerbe on $M$15, the obstruction to a genuine $M$16-equivariant structure for $M$17, and the resolution via the double cover $M$18 make clear that the relevant invariant is not an ordinary characteristic class of the Bloch bundle. It is a higher geometric refinement living naturally in equivariant gerbe data and evaluating to a $M$19 phase (Gawedzki, 2015).

On the interacting lattice side, commuting-projector Hamiltonians for $M$20 topological insulators realize genuinely many-body invariants on non-orientable manifolds. For the $M$21-symmetric construction on a Klein bottle, the topological superconductor exhibits a fermion-parity change when the fermionic boundary condition is changed, while the topological insulator admits a $M$22 twist $M$23 whose many-body Berry phase

$M$24

obeys

$M$25

The paper presents these as many-body invariants for interacting $M$26 topological insulators and argues that related non-orientable probes may also characterize models with only time-reversal symmetry (Son et al., 2019).

Higher-order symmetry-protected phases provide another class of many-body invariants closely allied to gerbe ideas. For $M$27 bosonic HOSPT phases with symmetry $M$28, the flux insertion operator $M$29 and rotation obey

$M$30

so a $M$31 $M$32 flux carries angular momentum modulo $M$33. The same invariant is encoded by a discrete Wen–Zee response

$M$34

and by the fractional corner charge $M$35. The paper also introduces “higher-order entanglement,” a hierarchical entanglement structure in which a nondegenerate first-order entanglement spectrum can branch into a fully degenerate higher-order spectrum under further symmetry-adapted bipartition. Although no gerbe formalism is used, the mixed $M$36–crystalline commutator and the discrete Wen–Zee coupling are naturally interpreted as higher-holonomy or mixed-anomaly data (You et al., 2020).

5. Enumerative many-body gerbe invariants in algebraic geometry

In enumerative geometry, gerbes produce many-body invariants by refining virtual counts of sheaf configurations with discrete sector data. For a $M$37-dimensional projective Calabi–Yau Deligne–Mumford stack $M$38, Donaldson–Thomas invariants are defined by symmetric perfect obstruction theories on moduli of stable torsion-free sheaves and are given by weighted Euler characteristics or virtual $M$39-cycles. For a finite-group gerbe $M$40, coherent sheaves on $M$41 are equivalent to twisted sheaves on the dual stack $M$42, and $M$43 decomposes into components indexed by the connected components of $M$44. Under Assumption 3.4.1, one obtains a product decomposition of moduli stacks and the factorization formula

$M$45

This gives a precise meaning to “many-body gerbe invariants”: virtual counts of multi-object sheaf configurations on gerbes that factorize into representation sectors or twisted sectors (Gholampour et al., 2010).

Orbifold Gromov–Witten theory of banded gerbes provides a parallel story. For a $M$46-banded gerbe $M$47 over a smooth projective variety and $M$48 finite abelian, the inertia stack splits into components indexed by $M$49, and orbifold GW invariants are defined using moduli of twisted stable maps and evaluation maps to those sectors. In the cyclic case $M$50, for each $M$51-admissible monodromy vector $M$52, the pushforward of virtual classes satisfies

$M$53

and descendant invariants obey

$M$54

with vanishing in non-admissible sectors. In the character basis $M$55, the full gerbe GW theory decomposes into sectors weighted by character phases. This is a canonical many-sector gerbe invariant: the worldsheet count includes discrete $M$56-bundle data, and the resulting partition function is a sum of copies of the GW theory of $M$57 with twisted Novikov variables (Andreini et al., 2011).

For local toric gerbes, the one-leg orbifold Gromov–Witten vertex with a gerby $M$58-leg makes the many-body combinatorics explicit. The generating series $M$59 packages Hurwitz–Hodge integrals on $M$60, with weighted partitions $M$61 and monodromy data $M$62. The associated orbifold rubber integrals are expressed by a Burnside-type character formula over irreducible representations of the wreath product $M$63. For the local $M$64 gerbe,

$M$65

This realizes GW invariants of the local gerbe as a gluing of gerby vertices and makes sector decomposition by monodromy and representation labels completely explicit (Zong, 2012).

These algebro-geometric theories make a useful distinction. The gerbe is not merely a background twist on the target; it introduces additional discrete species, twisted sectors, or representation labels into the counting problem itself. Many-body gerbe invariants in this setting are therefore both topological and combinatorial: they count configurations, but only after refining them by higher-geometric data carried by the gerbe (Gholampour et al., 2010).

6. Higher-holonomy viewpoint, additivity defects, and scope

A broad unifying viewpoint comes from path integrals. For a gapped quantum many-body system on a space-time lattice $M$66, the path integral on a region with boundary produces a boundary state $M$67, and

$M$68

has a leading extensive term that behaves like a volume. Its subleading violations of inclusion–exclusion define topological invariants, while the boundary state itself obeys a “quantum additive property” under gluing. In $M$69, suitable ratios of partition functions extract invariants such as $M$70 and $M$71, where $M$72 is a representation of $M$73. The paper explicitly interprets this as a systematic route from generic path integrals to topological invariants, and it naturally suggests a higher-holonomy reading in which the boundary state is the primitive object and the finite gluing anomalies are the topological data (Wen et al., 2018).

This perspective helps situate the heterogeneous literature. In some works the gerbe is literal: a bundle gerbe, a Dixmier–Douady class, a tensor Berry connection, or a Fermi gerbe. In others, the gerbe is a mathematically faithful reinterpretation of operator-algebraic or path-integral phases that are built from flux insertions, Wess–Zumino amplitudes, or sector decompositions. The common feature is degree-$M$74 topology: a closed $M$75-form, a third cohomology class, a projective associativity defect, or a mixed anomaly encoded one categorical level above ordinary Berry bundles (Gawedzki, 2017).

A recurrent misconception is that the third cohomology class alone completely characterizes the physics. The literature consistently shows that this is too coarse. A gerbe may carry connective structure and curving, a Lie $M$76-algebra of infinitesimal symmetries, a twisted Courant algebroid, an equivariant refinement in $M$77, or a decomposition into twisted representation sectors; systems with the same bare $M$78 class can therefore differ in symmetry action, anomaly content, or enumerative factorization (Collier, 2011).

A second misconception is that many-body gerbe invariants are confined to one discipline. They already span differential geometry, group cohomology, condensed matter response theory, and algebraic geometry. What varies is the presentation: flux-sector holonomy in topological matter, equivariant square roots of Wess–Zumino amplitudes in topological insulators, determinant-line gerbes of discrete spectra in Weyl semimetals, and virtual counts of twisted sheaves or orbifold stable maps in gerby targets. The shared structure is a higher-geometric invariant whose natural home is $M$79, its differential refinements, or a categorified symmetry package built from them (Mickelsson et al., 2016).