Reidemeister-Torsion

Im mathematischen Teilgebiet der Topologie ist die Reidemeister-Torsion (auch Reidemeister-Franz-Torsion) eine topologische Invariante, mit der auch Räume unterschieden werden können, für welche klassische Invarianten der algebraischen Topologie wie Fundamentalgruppe und Homologiegruppen übereinstimmen.

Eine Variante der heute üblichen Konstruktion wurde 1935 von Kurt Reidemeister verwendet, um die Homöomorphietypen 3-dimensionaler Linsenräume zu klassifizieren. Wolfgang Franz benutzte wenig später die unten dargestellte Konstruktion um auch höher-dimensionale Linsenräume klassifizieren zu können.

Konstruktion

Sei K {\displaystyle K} ein kompakter CW-Komplex mit verschwindender Euler-Charakteristik χ ( K ) = 0 {\displaystyle \chi (K)=0} und ρ : π 1 K S L ( n , C ) {\displaystyle \rho \colon \pi _{1}K\to SL(n,\mathbb {C} )} eine Darstellung der Fundamentalgruppe.

Sei K ~ {\displaystyle {\widetilde {K}}} die universelle Überlagerung, auf der π 1 K {\displaystyle \pi _{1}K} durch Deckbewegungen wirkt, und C ( K ~ , Z ) {\displaystyle C_{*}({\widetilde {K}},\mathbb {Z} )} ihr singulärer Kettenkomplex. Der getwistete Kettenkomplex

C ( K , ρ ) := C ( K ~ , Z ) ρ C n {\displaystyle C_{*}(K,\rho ):=C_{*}({\widetilde {K}},\mathbb {Z} )\otimes _{\rho }\mathbb {C} ^{n}}

ist der Quotient des Tensorprodukts C ( K ~ , Z ) Z C n {\displaystyle C_{*}({\widetilde {K}},\mathbb {Z} )\otimes _{\mathbb {Z} }\mathbb {C} ^{n}} unter der Identifikation v γ 1 c = ρ ( γ ) v c {\displaystyle v\otimes \gamma ^{-1}c=\rho (\gamma )v\otimes c} für alle γ π 1 K {\displaystyle \gamma \in \pi _{1}K} . Der Randoperator K ¯ {\displaystyle \partial _{\overline {K}}} von C ( K ~ , Z ) {\displaystyle C_{*}({\widetilde {K}},\mathbb {Z} )} induziert einen Randoperator := K ¯ i d {\displaystyle \partial :=\partial _{\overline {K}}\otimes id} auf C ( K , ρ ) {\displaystyle C_{*}(K,\rho )} . Um die Reidemeister-Torsion definieren zu können, müssen wir annehmen, dass C ( K , ρ ) {\displaystyle C_{*}(K,\rho )} azyklisch ist, also k e r ( ) = i m ( ) {\displaystyle ker(\partial )=im(\partial )} .

Sei nun B i := B i l d ( ) C i ( K , ρ ) {\displaystyle B_{i}:=Bild(\partial )\subset C_{i}(K,\rho )} die Untergruppe der Ränder. Wähle eine Basis { b k i } k {\displaystyle \left\{b_{k}^{i}\right\}_{k}} von B i {\displaystyle B_{i}} und setze sie mit dem Basisergänzungssatz zu einer Basis { c k i } k {\displaystyle \left\{c_{k}^{i}\right\}_{k}} von C i ( K , ρ ) {\displaystyle C_{i}(K,\rho )} fort. Wegen H i ( K , ρ ) = 0 {\displaystyle H_{i}(K,\rho )=0} haben wir eine exakte Sequenz

0 B i C i ( K , ρ ) B i 1 0 {\displaystyle 0\to B_{i}\to C_{i}(K,\rho )\to B_{i-1}\to 0}

und können zu den b l i 1 B i 1 {\displaystyle b_{l}^{i-1}\in B_{i-1}} Urbilder b ~ l i 1 C i ( K , ρ ) {\displaystyle {\tilde {b}}_{l}^{i-1}\in C_{i}(K,\rho )} finden, so dass { b k i } k { b ~ l i 1 } l {\displaystyle \left\{b_{k}^{i}\right\}_{k}\cup \left\{{\tilde {b}}_{l}^{i-1}\right\}_{l}} eine Basis von C i ( K , ρ ) {\displaystyle C_{i}(K,\rho )} ist.

Zu den Basen { c k i } k {\displaystyle \left\{c_{k}^{i}\right\}_{k}} und { b k i } k { b ~ l i 1 } l {\displaystyle \left\{b_{k}^{i}\right\}_{k}\cup \left\{{\tilde {b}}_{l}^{i-1}\right\}_{l}} gibt es eine eindeutige Matrix, welche die erste Basis auf die zweite abbildet. Wir bezeichnen die Determinante dieser Matrix mit [ b i b ~ i 1 : c i ] {\displaystyle \left[b_{i}\cup {\tilde {b}}_{i-1}\colon c_{i}\right]} . Dann definieren wir die Reidemeister-Torsion von ( K , ρ ) {\displaystyle (K,\rho )} durch

τ ( K , ρ ) = ± Π i 0 [ b 2 i b ~ 2 i 1 : c 2 i ] [ b 2 i + 1 b ~ 2 i : c 2 i + 1 ] C / { ± 1 } {\displaystyle \tau (K,\rho )=\pm \Pi _{i\geq 0}{\frac {\left[b_{2i}\cup {\tilde {b}}_{2i-1}\colon c_{2i}\right]}{\left[b_{2i+1}\cup {\tilde {b}}_{2i}\colon c_{2i+1}\right]}}\in \mathbb {C} ^{*}/\left\{\pm 1\right\}} .

Die ± 1 {\displaystyle \pm 1} -Unbestimmtheit entsteht durch die Abhängigkeit der Determinante von der Anordnung der Basiselemente. Alle anderen Wahlen haben keinen Einfluss auf das Ergebnis, insbesondere heben sich durch das alternierende Produkt die durch die Wahl einer anderen Basis b i {\displaystyle b_{i}} entstehenden Faktoren gegeneinander auf.

Invarianz

Reidemeister-Torsion ist im Allgemeinen nicht invariant unter Homotopieäquivalenzen und kann deshalb verwendet werden, um homotopieäquivalente, aber nicht homöomorphe Räume zu unterscheiden. Die Reidemeister-Torsion (zu einer gegebenen Darstellung der Fundamentalgruppe) ist invariant unter einfachen Homotopieäquivalenzen.[1]

Eine relative Version der Reidemeister-Torsion kann benutzt werden, um PL-Komplexe zu unterscheiden, die homöomorph, aber nicht PL-äquivalent sind.[2]

Beispiele

  • Für den Linsenraum L ( p , q ) {\displaystyle L(p,q)} und die Darstellung ρ ξ : π 1 M = Z / p Z S U ( 2 ) {\displaystyle \rho _{\xi }\colon \pi _{1}M=\mathbb {Z} /p\mathbb {Z} \to SU(2)} mit ρ ξ ( 1 ) = d i a g ( ξ , ξ 1 ) {\displaystyle \rho _{\xi }(1)=diag(\xi ,\xi ^{-1})} für eine p {\displaystyle p} -te Einheitswurzel ξ {\displaystyle \xi } erhält man τ ( L ( p , q ) , ρ ξ ) =∣ ξ 1 ∣∣ ξ q 1 1 {\displaystyle \tau (L(p,q),\rho _{\xi })=\mid \xi -1\mid \mid \xi ^{q^{-1}}-1\mid } , wobei q 1 {\displaystyle q^{-1}} die Lösung von a q 1   m o d   p {\displaystyle aq\equiv 1\ mod\ p} , also das Inverse von q {\displaystyle q} in Z / p Z {\displaystyle \mathbb {Z} /p\mathbb {Z} } bezeichnet. Insbesondere erhält man für q ± q ± 1   m o d   p {\displaystyle q^{\prime }\not \equiv \pm q^{\pm 1}\ mod\ p} unterschiedliche Reidemeister-Torsionen, womit diese Linsenräume nicht homöomorph sein können.[3][4]
  • Eine sphärische Raumform ist durch ihre Fundamentalgruppe und ihre Reidemeister-Torsionen aller Darstellungen π 1 M O ( n ) {\displaystyle \pi _{1}M\to O(n)} eindeutig festgelegt.[5]
  • Für eine n {\displaystyle n} -dimensionale rationale Homologiesphäre M {\displaystyle M} und die triviale Darstellung ρ {\displaystyle \rho } ist τ ( M , ρ ) = Π i = 1 n 1 H i ( M , Z ) ( 1 ) i {\displaystyle \tau (M,\rho )=\Pi _{i=1}^{n-1}\mid H_{i}(M,\mathbb {Z} )\mid ^{(-1)^{i}}} , die Reidemeister-Torsion hängt also mit der Torsion der Homologiegruppen zusammen.
  • Für ein Knotenkomplement und die mittels der Abelisierung a b : π 1 ( S 3 K ) H 1 ( S 3 K ) = Z {\displaystyle ab\colon \pi _{1}(S^{3}\setminus K)\to H_{1}(S^{3}\setminus K)=\mathbb {Z} } durch γ t a b ( γ ) {\displaystyle \gamma \to t^{ab(\gamma )}} gegebene Darstellung ρ : π 1 ( S 3 K ) Q ( t ) {\displaystyle \rho \colon \pi _{1}(S^{3}\setminus K)\to \mathbb {Q} (t)} ist t 1 τ ( S 3 K , ρ ) {\displaystyle {\tfrac {t-1}{\tau (S^{3}\setminus K,\rho )}}} das Alexander-Polynom.[6]

Satz von Cheeger-Müller

Der Satz von Cheeger-Müller besagt die Gleichheit von analytischer Torsion und Reidemeister-Torsion (bis auf Vorzeichen, weil die Reidemeister-Torsion nur bis auf Vorzeichen definiert ist). Er wurde zunächst von Cheeger und Müller für orthogonale oder unitäre Darstellungen bewiesen[7][8] und später von Müller auf unimodulare Darstellungen verallgemeinert.[9]

Literatur

  • John Milnor: Whitehead torsion. Bull. Amer. Math. Soc. 72 (1966), 358–426.
  • G. de Rham, S. Maumary, M. Kervaire: Torsion et type simple d'homotopie. Exposés faits au séminaire de Topologie de l'Université de Lausanne. Lecture Notes in Mathematics, No. 48, Springer-Verlag, Berlin-New York, 1967.
  • Vladimir Turaev: Torsions of 3-dimensional manifolds. Progress in Mathematics, 208. Birkhäuser Verlag, Basel 2002, ISBN 3-7643-6911-6
  • Kiyoshi Igusa: Higher Franz-Reidemeister torsion. AMS/IP Studies in Advanced Mathematics, 31. American Mathematical Society, Providence, RI; International Press, Somerville, MA 2002, ISBN 0-8218-3170-4
  • Liviu Nicolaescu: The Reidemeister torsion of 3-manifolds. De Gruyter Studies in Mathematics, 30. Walter de Gruyter & Co., Berlin 2003, ISBN 3-11-017383-2
  • Reidemeister Torsion (MathWorld)

Einzelnachweise

  1. T. A. Chapman: Topological invariance of Whitehead torsion. Amer. J. Math. 96 (1974), 488–497.
  2. John Milnor: Two complexes which are homeomorphic but combinatorially distinct. Ann. of Math. (2) 74 (1961), 575–590.
  3. Kurt Reidemeister: Homotopieringe und Linsenräume. Abh. Math. Sem. Univ. Hamburg 11: 102–109 (1935).
  4. Wolfgang Franz: Über die Torsion einer Überdeckung. J. Reine Angew. Math. 173 (1935), 245–254.
  5. Georges de Rham: Complexes à automorphismes et homéomorphie différentiable. Ann. Inst. Fourier Grenoble 2 (1950), 51–67 (1951).
  6. John Milnor: A duality theorem for Reidemeister torsion. Ann. of Math. (2) 76 (1962), 137–147.
  7. Werner Müller: Analytic torsion and R-torsion of Riemannian manifolds. Adv. in Math. 28 (1978), no. 3, 233–305.
  8. Jeff Cheeger: Analytic torsion and the heat equation. Ann. of Math. (2) 109 (1979), no. 2, 259–322.
  9. Werner Müller: Analytic torsion and R -torsion for unimodular representations. J. Amer. Math. Soc. 6 (1993), no. 3, 721–753.