Eta invariant

Eta invariant
Name	Eta invariant
Field	Differential geometry; Global analysis; Mathematical physics
Introduced	1970s
Introduced by	Michael Atiyah; Vijay Patodi; Isadore Singer

Eta invariant

The eta invariant is a spectral invariant arising in differential geometry and global analysis that measures spectral asymmetry of elliptic self-adjoint operators on manifolds. It plays a central role in the study of anomalies in mathematical physics, the topology of manifolds, and refined index theorems connecting analysis and topology. Notable contributors include Michael Atiyah, Vijay Patodi, and Isadore Singer, with subsequent developments involving Edward Witten, Jean-Michel Bismut, and Isamu Nagata.

Definition and Basic Properties

The invariant is defined for a self-adjoint elliptic differential operator such as the Dirac operator on a compact manifold, and encodes the difference between positive and negative spectral weights. Fundamental properties relate to ellipticity in the sense of Lars Hörmander and the behavior of heat kernels studied by E. E. Levi and Andrey Kolmogorov. The eta invariant is real-valued in most settings and is stable under cobordism notions explored by René Thom and John Milnor; it satisfies gluing formulas reminiscent of surgery results by C. T. C. Wall and homotopy invariance that echoes ideas from Henri Poincaré and Samuel Eilenberg.

Historical Context and Development

Origins trace to the foundational index theorem of Atiyah–Singer index theorem proved by Atiyah, Singer, and collaborators, which motivated refinement of spectral asymmetry in the work of Vijay Patodi in collaboration with Atiyah and Singer. Later expansions linked the invariant to anomalies in quantum field theory discussed by Stephen Hawking and Gerard 't Hooft. The 1980s and 1990s saw intersections with research of Edward Witten on supersymmetry, with analytic techniques advanced by Jean-Michel Bismut and Daniel Freed. Developments in three-dimensional topology connected eta-like invariants to invariants studied by William Thurston and Kazuo Murasugi.

Spectral Asymmetry and Analytic Definition

Analytically, the eta invariant is defined via a regularized alternating sum over nonzero eigenvalues of an operator D: eta(s) = Σ sign(λ)|λ|^{-s}, analytic continuation to s=0 yields the invariant. This regularization parallels zeta-function methods popularized by Bernard Julia and S. R. Coleman and leverages heat kernel asymptotics studied by Raymond Seeley and M. S. Joshi. The analytic continuation employs techniques from complex analysis used by Henri Poincaré and Émile Borel and spectral theory frameworks developed by John von Neumann and Marshall Stone.

Relation to Index Theorems

The eta invariant appears as a correction term in the Atiyah–Patodi–Singer index theorem for manifolds with boundary, bridging local geometric data and global analytic indices. This correction complements characteristic class formulae formulated by Hirzebruch and J. W. Milnor and is central to boundary value problems considered by Lars Hörmander and Shmuel Agmon. Its role connects to signatures and signature defects studied by Hermann Weyl and Friedrich Hirzebruch, and to the families index theorem developed by Atiyah and Singer that involves parameterized elliptic operators across base manifolds such as those in Alexander Grothendieck's moduli theories.

Computation and Examples

Computations often use symmetry reductions present in homogeneous spaces like spheres and lens spaces studied by Élie Cartan and Heinz Hopf, as well as flat manifolds related to Ludwig Bieberbach’s classification. Explicit examples include the Dirac operator on odd-dimensional spheres and lens spaces, and signature operators on manifolds constructed in the work of John Milnor and Michael Freedman. Techniques draw on representation theory of compact Lie groups developed by Élie Cartan and Harish-Chandra, and on Fourier analysis methods associated with Norbert Wiener and Stefan Banach.

Applications in Geometry and Physics

In geometry, the invariant contributes to rigidity theorems and secondary invariants similar in spirit to invariants studied by Hirzebruch and Kazuo Murasugi. In theoretical physics it detects gravitational and gauge anomalies in quantum field theories investigated by Alessandro Strumia and Edward Witten and influences partition function phases in topological quantum field theories related to work by Graeme Segal and Michael Atiyah on axiomatic field theories. It also appears in condensed matter contexts akin to index-theoretic descriptions in the study of topological insulators discussed by Charles Kane and Eugene Mele.

Variants and Generalizations

Variants include reduced eta invariants modulo integers, rho invariants introduced by Hitoshi Murakami and others in three-manifold topology, and equivariant eta invariants for actions of compact Lie groups such as SU(2) and SO(3). Extensions involve families eta invariants in the sense of Atiyah and Singer and analytic torsion analogues developed by Dmitri Ray and Isadore Singer. Noncommutative geometry generalizations connect to frameworks by Alain Connes and cyclic cohomology investigated by Henri Cartan and Alain Connes' collaborators, while quantum field theoretic refinements continue to draw on work by Edward Witten and Anton Kapustin.

Category:Spectral theory Category:Differential geometry Category:Mathematical physics