Ray–Singer torsion

Ray–Singer torsion
Name	Ray–Singer torsion
Field	Differential geometry; Algebraic topology; Global analysis
Introduced	1971
Authors	Daniel B. Ray; Isadore M. Singer
Related	Reidemeister torsion; Laplace operator; Hodge theory

Ray–Singer torsion is an analytic invariant defined for compact manifolds with flat vector bundles, introduced to connect spectral theory with combinatorial topology. It arose in work relating the spectrum of Laplace-type operators to topological torsion invariants and provided a bridge between analytic methods associated to Isadore M. Singer and combinatorial techniques associated to Kurt Reidemeister and John Milnor. The construction led to influential developments in global analysis, index theory, and modern interactions between Edward Witten's quantum field theory methods and classical invariants.

Definition and motivation

The original motivation combined ideas from spectral analysis of elliptic operators studied by Atle Selberg, Hermann Weyl, and I. M. Gelfand with combinatorial torsion concepts developed by Kurt Reidemeister and refined by John Milnor and Vladimir Turaev. Ray and Singer formulated an analytic torsion as a product of regularized determinants of Laplacians acting on differential forms twisted by a flat bundle coming from a representation of the fundamental group studied in the context of William Thurston's geometric topology and Andrei Kolmogorov's functional analysis approaches. Their invariant was designed to match the combinatorial torsion of R. H. Fox and subsequent extensions by M. F. Atiyah and Raoul Bott in situations where discrete and continuous methods intersect.

Analytic construction

The analytic construction employs Hodge theory as developed by Weyl and formal spectral regularization techniques used in work of Richard B. Melrose and Laurent Schwartz. For a compact oriented manifold with a flat vector bundle coming from a representation of the fundamental group studied by Hermann Weyl's contemporaries, one considers Laplace operators on p-forms introduced in the context of elliptic complexes by Michael Atiyah and Isadore Singer in the Atiyah–Singer index theorem. Ray–Singer torsion is defined via zeta-regularized determinants of these Laplacians, using spectral zeta functions in the spirit of Don Zagier and Raymond E. Crandall's analytic continuation methods. The determinant lines and metrics relate to Quillen's determinant construction developed by Daniel Quillen and link to techniques of Jean-Michel Bismut and Jeffrey Cheeger on small-time heat kernel asymptotics.

Relation to Reidemeister torsion

Ray–Singer conjectured equality between their analytic torsion and the combinatorial Reidemeister torsion proven earlier by Kurt Reidemeister and popularized by John Milnor. The conjecture stimulated work by Jeffrey Cheeger and Wolfgang Müller, who independently established the equality under broad hypotheses, invoking heat kernel analysis developed by Peter Gilkey and microlocal techniques associated to Lars Hörmander. Subsequent refinements connected the statement to Turaev's refinement of combinatorial torsion by Vladimir Turaev and to later generalizations in the presence of additional structure studied by Dennis Sullivan and Benson Farb.

Properties and invariance

Analytic torsion exhibits metric dependence that cancels under variations when combined with determinant line metrics, reflecting deeper invariance properties discovered by Daniel Quillen and studied by Jean-Michel Bismut and Xiaonan Ma. In odd dimensions analytic torsion is independent of the Riemannian metric for unimodular representations, a fact tied to results by Cheeger and Müller. The behavior under gluing and surgery links to techniques in the surgery theory tradition of William Browder and C. T. C. Wall, while functoriality under exact sequences of flat bundles connects to extension theories advanced by Henri Cartan's algebraic topology school and later by Max Karoubi.

Examples and computations

Explicit computations for lens spaces and spherical space forms were carried out using methods from harmonic analysis on symmetric spaces studied by Harish-Chandra and spectral decomposition techniques linked to Atle Selberg and I. M. Singer. For hyperbolic manifolds connections to the Selberg zeta function and work by Dennis Hejhal and Andrew Wiles in analytic number theory provided computational frameworks. Low-dimensional computations relating to knot complements drew on invariants investigated by Vladimir Turaev, Edward Witten, and C. H. Taubes, while examples on tori and flat manifolds reduce to Fourier analysis techniques familiar from Joseph Fourier and representation theory of Élie Cartan.

Applications in geometry and physics

Ray–Singer torsion plays a role in analytic approaches to three-dimensional topology influenced by William Thurston's geometrization program and in quantum field theory through relations to the semiclassical approximation of path integrals developed by Edward Witten and perturbative invariants studied by Maxim Kontsevich. It appears in Chern–Simons theory calculations tied to work by Witten and in anomalies and determinant computations in gauge theory traced to contributions by Gerard 't Hooft and Alexander Polyakov. Further applications include relations to the analytic side of the Atiyah–Patodi–Singer index theorem advanced by Michael Atiyah, Vijay Patodi, and Isadore Singer, and to modern developments in string theory and mirror symmetry where techniques from Kontsevich and Cumrun Vafa intersect with global analysis.

Category:Algebraic topology