Gauss–Bonnet Topological Invariant

• Gauss–Bonnet invariant is a fundamental concept linking curvature with topology by relating the Pfaffian of curvature forms to the Euler characteristic.
• It relies on a metric-independent construction on even-dimensional manifolds and is uniquely characterized by natural scalar invariants.
• Generalizations extend its use to modified gravity, quantum state manifolds, and topological phases in condensed matter and gravitational thermodynamics.

The Gauss–Bonnet topological invariant is a fundamental object in global differential geometry and mathematical physics, encapsulating deep connections between curvature, topology, and cohomological invariants of manifolds. In its classical formulation, the Gauss–Bonnet theorem relates the integral of a specific curvature density—known as the Gauss–Bonnet density or Pfaffian—to the Euler characteristic of the manifold. The invariant persists as a central construct in generalized geometries (notably teleparallel and symmetric teleparallel gravity), topological phases of matter, and modern field theoretical models, with manifestations at the interface of classical and quantum theory.

1. Definitions and Classical Construction

Given a compact, oriented, smooth Riemannian manifold $(M,g)$ of even dimension $n=2m$, the Gauss–Bonnet–Chern invariant is defined via the Pfaffian of the curvature 2-form. Explicitly, formulating the Levi–Civita connection in an oriented local orthonormal frame $\{e_i\}$, with curvature 2-forms $$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$, the Pfaffian is

$$\operatorname{Pf}(\Omega) = \frac{1}{2^m m!}\sum_{i_1,...,i_{2m}} \varepsilon^{i_1...i_{2m}} \Omega_{i_1 i_2} \wedge \cdots \wedge \Omega_{i_{2m-1} i_{2m}}$$

or, in invariant form,

$$\operatorname{Pf}(\Omega) = \frac{1}{m!} \operatorname{tr}(\Omega\wedge\cdots\wedge\Omega) \quad (m \text{ times})$$

The celebrated Gauss–Bonnet–Chern theorem then states

• The de Rham cohomology class $[\operatorname{Pf}(\Omega)]$ equals the Euler class $e(TM)$,
• The integral $\int_M \operatorname{Pf}(\Omega) = \chi(M)$, where $\chi(M)$ is the Euler characteristic of $n=2m$0.

This result is independent of the choice of Riemannian metric, relying solely on the topological structure of the manifold and holding in all even dimensions. The metric independence is a direct outcome of cohomological invariance and can be demonstrated via comparison with characteristic class theory or via analytic proofs using the heat kernel (Navarro et al., 2015, Solha, 2017).

2. Uniqueness and Natural Invariants

The Gilkey–Park–Sekigawa uniqueness theorem rigorously characterizes the Gauss–Bonnet invariant among all scalar Riemannian invariants. Suppose $n=2m$1 is a smooth, natural, homogeneous scalar invariant on the space of Riemannian metrics such that $n=2m$2 is independent of the metric for all compact oriented $n=2m$3-manifolds, and nontrivial:

• Necessarily $n=2m$4 is even, and for such $n=2m$5, there exists a constant $n=2m$6 such that

$n=2m$7

i.e., any such invariant coincides with the Pfaffian up to a coboundary term (Navarro et al., 2015).

The proof utilizes variational techniques, dimensional reduction, and the universal structure of curvature identities, specifically, that the only natural divergence-free, metric-independent tensor densities arise from the Pfaffian (Lovelock density in higher dimensions).

3. Generalizations in Geometry and Physics

The Gauss–Bonnet invariant admits multiple generalizations and reinterpretations across disciplines:

a. Quantum State Manifolds

In the context of quantum band theory, a version of the Gauss–Bonnet invariant appears in the geometry of projective Hilbert spaces of Bloch bands. Here, the quantum metric $n=2m$8 for rank-one projectors $n=2m$9 leads to a curvature formula $\{e_i\}$0. When the metric degenerates, singular "folds" obstruct the naive application of the Gauss–Bonnet theorem. A generalized relation emerges that includes both the bulk integral of $\{e_i\}$1 and line integrals of singular curvature along these folds, quantizing the total curvature as $\{e_i\}$2 times the Chern number of the band (Huang, 17 Oct 2025).

b. Gravity and Modified Theories

The Gauss–Bonnet scalar

$\{e_i\}$3

is a topological density in four dimensions, yielding no local dynamics in pure Einstein gravity. However, its nonminimal coupling to scalar or kinetic fields (e.g., $\{e_i\}$4 or $\{e_i\}$5 in scalar-tensor gravity) activates new dynamics, allowing for phenomenologically relevant effects such as stable power-law inflation and spontaneous scalarization in compact objects (Pham et al., 2021, Herdeiro et al., 2021). The condition that $\{e_i\}$6 is a total divergence in $\{e_i\}$7 ensures that only nontrivial couplings break topological triviality, leading to genuine second-order field equations.

c. Teleparallel and Metric-Affine Frameworks

In the geometric trinity of gravity, the Gauss–Bonnet invariant can be reformulated in terms of torsion (in metric-teleparallelism) or non-metricity (in symmetric teleparallelism). For example, the teleparallel Gauss–Bonnet invariant $\{e_i\}$8 involves quartic torsion and its derivatives, and coincides with $\{e_i\}$9 up to a total divergence:

$$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$0

for some boundary current $$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$1 (Kofinas et al., 2014, Bajardi et al., 2023).

The number of independent invariants in these languages is strictly smaller than in the general effective field theory of gravity (GB: 56 of 95 torsion invariants in metric-teleparallel formulation), reflecting the restrictive algebraic structure of the original invariant. The analysis of how the Gauss–Bonnet density constrains possible higher-derivative invariants in generalized theories reveals nontrivial symmetry-preservation properties.

4. Gauss–Bonnet in Non-Riemannian and Discrete Geometries

A version of the Gauss–Bonnet theorem holds in sub-Riemannian geometry, exemplified by surfaces in the Heisenberg group $$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$2. Here, curvature is defined via a horizontal Gauss map into the cylinder $$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$3, with the integral of the curvature form over any compact, oriented, non-characteristic surface yielding zero, reflecting the toroidal topology. The formalism replaces the classical area form and sectional curvature with adapted measures and connection coefficients: $$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$4 (Veloso et al., 2012).

5. Applications in Topological Phases and Gravitational Thermodynamics

The Gauss–Bonnet invariant underpins not only geometric aspects but also physical phenomena:

• In topological band theory, it quantizes the Chern number via a generalized Gauss–Bonnet relation, unifying Berry curvature and quantum metric into a singular geometric picture (Huang, 17 Oct 2025).
• In gravitational thermodynamics, phase transitions of black holes in Einstein–Gauss–Bonnet gravity admit a topological interpretation. Black hole phases correspond to topological defects in parameter space classified by winding numbers of a conserved current derived from the Gauss–Bonnet structure. Phase transitions correspond to bifurcations and winding number exchanges in the current, with the global topological charge classifying universality of the thermodynamic structure (Fairoos, 2023).

6. Structural Properties, Extensions, and Outliers

The Gauss–Bonnet invariant’s special structure transmits into the following extensions:

• The Pfaffian is multiplicative under Cartesian products of manifolds; thus, $$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$5 (Navarro et al., 2015).
• On manifolds with boundary, boundary contributions are encoded by Chern–Simons forms.
• Lovelock gravity generalizes the Gauss–Bonnet density; the vanishing of the variation (Euler–Lagrange equations) singles out topological actions among higher curvature terms.
• In the geometric trinity framework, although the Gauss–Bonnet term admits torsion and non-metricity analogues, only specific combinations arise, sharply constraining possible "healthy" modified gravity actions (Bajardi et al., 2023).
• In effective field theory, $$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$6 and $$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$7 models are pseudo-invariant (breaking local Lorentz invariance at the level of the action); the topological nature of the Gauss–Bonnet density prescribes, but limits, this space (Bajardi et al., 2023).

---

Key Results Across Literature:

Domain	Topological Invariant/Formula	Reference
Riemannian even-dimensional manifolds	$$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$8	(Navarro et al., 2015)
Quantum geometry	$$\Omega^i{}_j = d\omega^i{}_j + \omega^i{}_k\wedge\omega^k{}_j$$9	(Huang, 17 Oct 2025)
Teleparallel gravity	$$\operatorname{Pf}(\Omega) = \frac{1}{2^m m!}\sum_{i_1,...,i_{2m}} \varepsilon^{i_1...i_{2m}} \Omega_{i_1 i_2} \wedge \cdots \wedge \Omega_{i_{2m-1} i_{2m}}$$0	(Kofinas et al., 2014)
Sub-Riemannian Heisenberg space	$$\operatorname{Pf}(\Omega) = \frac{1}{2^m m!}\sum_{i_1,...,i_{2m}} \varepsilon^{i_1...i_{2m}} \Omega_{i_1 i_2} \wedge \cdots \wedge \Omega_{i_{2m-1} i_{2m}}$$1 for $$\operatorname{Pf}(\Omega) = \frac{1}{2^m m!}\sum_{i_1,...,i_{2m}} \varepsilon^{i_1...i_{2m}} \Omega_{i_1 i_2} \wedge \cdots \wedge \Omega_{i_{2m-1} i_{2m}}$$2 toroidal	(Veloso et al., 2012)
Black hole phase transitions	Topological current $$\operatorname{Pf}(\Omega) = \frac{1}{2^m m!}\sum_{i_1,...,i_{2m}} \varepsilon^{i_1...i_{2m}} \Omega_{i_1 i_2} \wedge \cdots \wedge \Omega_{i_{2m-1} i_{2m}}$$3, winding number $$\operatorname{Pf}(\Omega) = \frac{1}{2^m m!}\sum_{i_1,...,i_{2m}} \varepsilon^{i_1...i_{2m}} \Omega_{i_1 i_2} \wedge \cdots \wedge \Omega_{i_{2m-1} i_{2m}}$$4	(Fairoos, 2023)

The Gauss–Bonnet topological invariant thus operates as a central node connecting differential geometry, algebraic topology, gauge theory, gravitational physics, and condensed matter, characterizing the interplay between local curvature and global topological structure.