Analytische Torsion

Aus testwiki
Zur Navigation springen Zur Suche springen

Die analytische Torsion, auch Ray-Singer-Torsion (nach Daniel Burrill Ray, Isadore M. Singer), ist eine Invariante aus dem mathematischen Teilgebiet der Globalen Analysis. Sie wird mittels der regularisierten Determinante des Laplace-Operators definiert und stimmt mit der Reidemeister-Torsion überein (Satz von Cheeger-Müller).

Definition

Es sei M eine Riemannsche Mannigfaltigkeit und ρ:π1MO(N) eine orthogonale Darstellung der Fundamentalgruppe, so dass der mittels der Wirkung der Fundamentalgruppe auf der universellen Überlagerung definierte Kettenkomplex C*(M~,)[π1M]N azyklisch ist.

Das zu ρ assoziierte flache Bündel E hat eine kompatible Metrik, mit der man den auf Differentialformen Λq(M,E) wirkenden Hodge-Laplace-Operator Δq definiert. Seien λj die Eigenwerte von Δq, dann definiert man seine Zeta-Funktion durch

ζq(s)=λj>0λjs

für Re(s)>N2 und durch analytische Fortsetzung dieser Funktion für s, und seine regularisierte Determinante durch

logdet(Δq)=ddss=0ζq(s).

Die analytische Torsion TM(ρ) wird definiert durch

logTM(ρ)=12q(1)qqddss=0ζq(s)

oder äquivalent durch

TM(ρ)=Πqdet(Δq)(1)qq2.

Satz von Cheeger-Müller

Der Satz von Cheeger-Müller (vormals Ray-Singer-Vermutung) besagt die Gleichheit von analytischer Torsion und Reidemeister-Torsion. Er wurde zunächst von Cheeger und Müller für orthogonale oder unitäre Darstellungen bewiesen und später von Müller auf unimodulare Darstellungen verallgemeinert. Die Gleichheit der beiden Invarianten findet Verwendung in der perturbativen Chern-Simons-Theorie.

Literatur

  • Ray, D. B.; Singer, I. M.: R-torsion and the Laplacian on Riemannian manifolds. Advances in Math. 7, 145–210. (1971).
  • Müller, Werner: Analytic torsion and R-torsion of Riemannian manifolds. Adv. in Math. 28 (1978), no. 3, 233–305.
  • Cheeger, Jeff: Analytic torsion and the heat equation. Ann. of Math. (2) 109 (1979), no. 2, 259–322.
  • Müller, Werner: Analytic torsion and R -torsion for unimodular representations. J. Amer. Math. Soc. 6 (1993), no. 3, 721–753.
  • Bismut, Jean-Michel; Lott, John: Flat vector bundles, direct images and higher real analytic torsion. J. Amer. Math. Soc. 8 (1995), no. 2, 291–363.