TOPICS
Search

Analytic Torsion


Let M^n be a compact n-dimensional oriented Riemannian manifold without boundary, let O be a group representation of pi_1(M) by orthogonal matrices, and let E(O) be the associated vector bundle. Suppose further that the Laplacian Delta is strictly negative on D(M,O) where D(M,O) is the linear space of C^infty differential k-forms on M with values in E(O). In this context, the analytic torsion T_M(O) is defined as the positive real root of

 lnT_M(0)=1/2sum_(q=0)^n(-1)^qqzeta_(q,O)^'(0)

where the zeta-function is defined by

 zeta_(q,O)(s)=sum(-lambda_n)^(-s)

for {lambda_alpha} the collection of eigenvalues of Delta_q, the restriction of Delta to the collection D^q of C^infty bundle sections of the sheaf Lambda^q tensor E(O).

Intrinsic to the above computation is that M^n is a real manifold. However, there is a collection of literature on analytic torsion for complex manifolds, the construction of which is nearly identical to the construction given above. Analytic torsion on complex manifolds is sometimes called del bar torsion.


See also

Complex Manifold, Differential k-Form, Fundamental Group, Group Representation, Laplacian, Orthogonal Matrix, Reidemeister Torsion, Riemannian Manifold, Sheaf, Vector Bundle, Whitehead Torsion

This entry contributed by Christopher Stover

Explore with Wolfram|Alpha

References

Ray, D. B. and Singer, I. M. "R-Torsion and the Laplacian on Riemannian Manifolds." Adv. Math. 7, 145-210, 1971.Ray, D. B. and Singer, I. M. "Analytic Torsion for Complex Manifolds." Ann. Math., Second Series, 98, 154-177, 1973.

Cite this as:

Stover, Christopher. "Analytic Torsion." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/AnalyticTorsion.html

Subject classifications