Chern-Simons-Funktional

Das Chern-Simons-Funktional ist in Differentialgeometrie, Topologie und mathematischer Physik von Bedeutung. In der Mathematik wird es zur Definition der Chern-Simons-Invariante von Zusammenhängen auf Prinzipalbündeln über 3-Mannigfaltigkeiten verwendet. Ursprünglich von Chern und Simons in der Theorie der sekundären charakteristischen Klassen eingeführt, hatte es mindestens zwei unerwartete Anwendungen, nämlich zum einen Wittens Einordnung in die Quantenfeldtheorie mit einer physikalisch-geometrischen Interpretation des Jones-Polynoms (Topologische Quantenfeldtheorie)[1][2] und zum anderen die Interpretation der Chern-Simons-Invariante flacher Bündel als komplexwertige Version des hyperbolischen Volumens.

Definition

Sei G {\displaystyle G} eine einfach zusammenhängende Lie-Gruppe und M {\displaystyle M} eine 3-dimensionale, geschlossene, orientierbare Mannigfaltigkeit. Unter diesen Voraussetzungen ist jedes G {\displaystyle G} -Prinzipalbündel π : E → M {\displaystyle \pi :E\rightarrow M} trivialisierbar, hat also einen Schnitt s : M → E {\displaystyle s:M\rightarrow E} .

Für einen Zusammenhang

ω ∈ Ω 1 ( E , g ) {\displaystyle \omega \in \Omega ^{1}(E,{\mathfrak {g}})}

wird sein Chern-Simons-Wirkungsfunktional definiert durch

C S ( ω , s ) = ∫ M Tr ⁡ ( s ∗ ( ω ∧ d ω + 2 3 ω ∧ ω ∧ ω ) ) {\displaystyle CS(\omega ,s)=\int _{M}\operatorname {Tr} (s^{*}(\omega \wedge d\omega +{\frac {2}{3}}\omega \wedge \omega \wedge \omega ))} .

Diese Definition hängt a priori von der Wahl eines Schnittes s : M → E {\displaystyle s:M\rightarrow E} ab, für eine Eichtransformation

g ∈ G = C ∞ ( M , G ) {\displaystyle g\in {\mathcal {G}}=C^{\infty }(M,G)}

gilt aber

C S ( ω , g s ) − C S ( ω , s ) = − 1 6 ∫ M g ∗ ω M C ∧ [ ω M C , ω M C ] ∈ Z {\displaystyle CS(\omega ,gs)-CS(\omega ,s)=-{\frac {1}{6}}\int _{M}g^{*}\omega _{MC}\wedge \left[\omega _{MC},\omega _{MC}\right]\in \mathbb {Z} } ,

wobei ω M C {\displaystyle \omega _{MC}} die Maurer-Cartan-Form ist.

Man erhält also einen modulo Z {\displaystyle \mathbb {Z} } wohldefinierten Wert

C S ( ω ) ∈ C / Z {\displaystyle CS(\omega )\in \mathbb {C} /\mathbb {Z} } .

Eigenschaften

Sei M {\displaystyle M} eine geschlossene, orientierbare 3-Mannigfaltigkeit und π 1 G = 0 {\displaystyle \pi _{1}G=0} . Wir bezeichnen mit C M {\displaystyle {\mathcal {C}}_{M}} die (unendlich-dimensionale) Mannigfaltigkeit aller Zusammenhänge auf G {\displaystyle G} -Prinzipalbündeln über M {\displaystyle M} .

Dann ist C S : C M → C / Z {\displaystyle CS:{\mathcal {C}}_{M}\rightarrow \mathbb {C} /\mathbb {Z} } glatt und hat die folgenden Eigenschaften:

  • (Funktorialität)
Wenn ϕ : P 1 → P 2 {\displaystyle \phi :P_{1}\rightarrow P_{2}} eine Bündelabbildung über einem orientierungserhaltenden Diffeomorphismus ψ : M 1 → M 2 {\displaystyle \psi :M_{1}\rightarrow M_{2}} ist, dann gilt
C S ( ϕ ∗ ω ) = C S ( ω ) {\displaystyle CS(\phi ^{*}\omega )=CS(\omega )}
für jeden Zusammenhang ω {\displaystyle \omega } .
  • (Additivität)
Wenn M = M 1 ∪ M 2 {\displaystyle M=M_{1}\cup M_{2}} eine disjunkte Vereinigung ist und ω {\displaystyle \omega } ein Zusammenhang auf M {\displaystyle M} , dann gilt
C S ( ω ) = C S ( ω ∣ M 1 ) + C S ( ω ∣ M 2 ) {\displaystyle CS(\omega )=CS(\omega \mid _{M_{1}})+CS(\omega \mid _{M_{2}})} .
  • (Erweiterung der Strukturgruppe)
Wenn G 1 → G 2 {\displaystyle G_{1}\rightarrow G_{2}} eine Inklusion einfach zusammenhängender, kompakter Lie-Gruppen, ω 1 {\displaystyle \omega _{1}} ein Zusammenhang auf einem G 1 {\displaystyle G_{1}} -Bündel E 1 → M {\displaystyle E_{1}\rightarrow M} und ω 2 {\displaystyle \omega _{2}} die Erweiterung von ω 1 {\displaystyle \omega _{1}} auf ein G 2 {\displaystyle G_{2}} -Bündel E 2 → M {\displaystyle E_{2}\rightarrow M} ist, dann gilt
C S ( ω 1 ) = C S ( ω 2 ) {\displaystyle CS(\omega _{1})=CS(\omega _{2})} .

Flache Zusammenhänge

Es gilt

δ C S δ ω = 1 2 π Ω {\displaystyle {\frac {\delta CS}{\delta \omega }}={\frac {1}{2\pi }}\Omega } ,

wobei Ω {\displaystyle \Omega } die Krümmungsform des Zusammenhangs ω {\displaystyle \omega } bezeichnet. Die kritischen Punkte des Chern-Simons-Funktionals sind also gerade die flachen Zusammenhänge. Insbesondere ist das Chern-Simons-Funktional konstant auf den Zusammenhangskomponenten des Modulraums flacher Zusammenhänge auf M × G {\displaystyle M\times G} .

Satz von Yoshida

Es sei M {\displaystyle M} eine geschlossene, orientierbare hyperbolische 3-Mannigfaltigkeit und ρ : π 1 M → P S L ( 2 , C ) {\displaystyle \rho :\pi _{1}M\rightarrow PSL(2,\mathbb {C} )} ihre Holonomiedarstellung. Dann gilt für das assoziierte flache Bündel E ρ {\displaystyle E_{\rho }}

C S ( E ρ ) = c s ( M ) + i 2 π 2 vol ⁡ ( M ) ∈ C / Z {\displaystyle CS(E_{\rho })=cs(M)+{\frac {i}{2\pi ^{2}}}\operatorname {vol} (M)\in \mathbb {C} /\mathbb {Z} } ,

wobei c s ( M ) {\displaystyle cs(M)} die Riemannsche Chern-Simons-Invariante des Levi-Civita-Zusammenhangs bezeichnet.[3]

Das Bild der Fundamentalklasse unter der Darstellung ρ {\displaystyle \rho } definiert eine Homologieklasse

( B ρ ) ∗ [ M ] ∈ H 3 ( P S L ( 2 , C ) δ ; Z ) ≃ B ^ ( C ) {\displaystyle (B\rho )_{*}\left[M\right]\in H_{3}(PSL(2,\mathbb {C} )^{\delta };\mathbb {Z} )\simeq {\hat {B}}(\mathbb {C} )}

in der erweiterten Bloch-Gruppe und der Rogers-Dilogarithmus

R : B ^ ( C ) → C / 2 π 2 Z {\displaystyle R:{\hat {B}}(\mathbb {C} )\rightarrow \mathbb {C} /2\pi ^{2}\mathbb {Z} }

bildet ( B ρ ) ∗ [ M ] {\displaystyle (B\rho )_{*}\left[M\right]} auf C S ( E ρ ) {\displaystyle CS(E_{\rho })} ab. Das liefert eine explizite Formel für die Chern-Simons-Invariante und einen alternativen Beweis des Satzes von Yoshida.[4][5][6]

Algorithmus für flache Bündel

Es sei E ρ {\displaystyle E_{\rho }} ein flaches Bündel über einer geschlossenen, orientierbaren 3-Mannigfaltigkeit M {\displaystyle M} mit Holonomie ρ : π 1 M → S L ( n , C ) {\displaystyle \rho :\pi _{1}M\rightarrow SL(n,\mathbb {C} )} . Dann bildet der Rogers-Dilogarithmus λ ( ( B ρ ) ∗ [ M ] ) {\displaystyle \lambda ((B\rho )_{*}\left[M\right])} auf C S ( E ρ ) {\displaystyle CS(E_{\rho })} ab, wobei λ : H 3 ( S L ( n , C ) ; Z ) → B ^ ( C ) {\displaystyle \lambda :H_{3}(SL(n,\mathbb {C} );\mathbb {Z} )\rightarrow {\hat {B}}(\mathbb {C} )} den kanonischen Homomorphismus bezeichnet.[7] Der Wert von C S ( E ρ ) {\displaystyle CS(E_{\rho })} kann aus den ptolemäischen Koordinaten der Darstellung ρ {\displaystyle \rho } zu einer Triangulierung von M {\displaystyle M} berechnet werden. (Dieser Ansatz funktioniert auch für 3-Mannigfaltigkeiten mit Rand ∂ M {\displaystyle \partial M} , solange die Einschränkung von ρ {\displaystyle \rho } auf die Fundamentalgruppen des Randes unipotent ist.) Implementiert ist dieser Algorithmus im Ptolemy Module als Teil der Software SnapPy.

Verallgemeinerung

Hauptartikel: Chern-Simons-Form

In beliebigen Dimensionen kann man Chern-Simons-Formen zur Definition sekundärer charakteristischer Klassen verwenden.

Literatur

  • Freed, Daniel S.: Classical Chern-Simons theory. I.: Adv. Math. 113, no. 2, 237–303 (1995). pdf II.: Houston J. Math. 28, no. 2, 293–310 (2002). pdf

Weblinks

  • Baseilhac: Chern Simons Theory in Dimension Three
  • Young: Chern-Simons Theory, Knots and Moduli Spaces of Flat Connections
  • Waldorf: Lectures on gerbes, loop spaces, and Chern-Simons theory (diskutiert die Verallgemeinerung auf π 1 G ≠ 1 {\displaystyle \pi _{1}G\not =1} , wenn im Allgemeinen kein Schnitt s {\displaystyle s} existiert)
  • Goerner: ptolemy module (Software zur Berechnung der Chern-Simons-Invarianten flacher Bündel)
  • Greg Moore: Introduction To Chern-Simons Theories

Einzelnachweise

  1. ↑ Witten, Edward: Quantum field theory and the Jones polynomial. Commun. Math. Phys. 121, No. 3, 351-399 (1989).pdf
  2. ↑ Bar-Natan, Dror: Perturbative Chern-Simons theory. J. Knot Theory Ramifications 4 (1995), no. 4, 503–547. pdf
  3. ↑ Yoshida, Tomoyoshi: The η-invariant of hyperbolic 3-manifolds. Invent. Math. 81, 473-514 (1985). pdf
  4. ↑ Neumann, Walter D.: Extended Bloch group and the Cheeger-Chern-Simons class. Geom. Topol. 8, 413-474 (2004). pdf
  5. ↑ Goette, Sebastian; Zickert, Christian K.: The extended Bloch group and the Cheeger-Chern-Simons class. Geom. Topol. 11, 1623-1635 (2007). pdf
  6. ↑ Marché, Julien: Geometric interpretation of simplicial formulas for the Chern-Simons invariant. Algebr. Geom. Topol. 12, No. 2, 805-827 (2012).
  7. ↑ S. Garoufalidis, D. Thurston, C. Zickert: The complex volume of SL(n,C)-representations of 3-manifolds. pdf