Globale Chern-Simons-Formen und topologische Eichtheorien

Ich lese gerade den klassischen Artikel von Dijkgraaf und Witten über topologische Eichtheorien, und mir ist etwas aufgefallen, das ich nicht verstanden habe. Für ein triviales Bündel E auf glatter 3er-Verteiler M mit kompakter Spurweite G die Chern-Simons-Form ist natürlich

S ( EIN ) = k 8 π 2 T r ( EIN d EIN + 2 3 EIN EIN EIN ) .

Der verwirrende Satz lautet: „Wenn das Bundle E nicht trivial ist, ergibt die Formel für die Aktion keinen Sinn, da eine Verbindung auf einem nicht-trivialen Bündel nicht durch eine 1-wertige Lie-Algebra wie in dieser Formel dargestellt werden kann." Meine Sorge ist, dass dies natürlich falsch ist Wir können eine Verbindung in einem nicht-trivialen Bündel mit einer Lie-Algebra-bewerteten 1-Form darstellen!Tatsächlich definieren einige Texte die Verbindung auf genau diese Weise (mein treuer Choquet-Bruhat und DeWitt-Morette haben das als eine von ihren dreien äquivalente Definitionen für eine Verbindung) - lokal wird eine Verbindung als lineare Karte dargestellt ω p : T p ( E ) g .

Sollen wir also das „wie in dieser Formel“ so lesen, dass es „global“ bedeutet? Wenn das Bündel nicht trivial ist, gibt es natürlich keine globale Lie-Algebra-wertige 1-Form, die wir für die Chern-Simons-Aktion verwenden können. Das scheint ein gutes Argument zu sein, aber in QFT schreiben wir Aktionen immer mit Abschnitten von Bundles (fields ϕ ( x ) , sagen wir) die nicht trivial sind - wir stellen nur sicher, dass die Aktion unter den Eichtransformationen unveränderlich ist.

Also, was hat es mit dieser Aussage auf sich? Sagt es wirklich, dass wir eine Verbindung nicht auf diese Weise darstellen können, oder sagt es nur, dass die Aktion jetzt lokal ist, und der Rest des Papiers wird weitermachen und mir sagen, wie ich dies mit einem Element von beheben kann H 3 ( B G , R ) , etc.?

Antworten (1)

Wie Sie selbst sagen, ist tatsächlich jede Verbindung in einem Bündel lokal durch eine Lie-Algebra mit Wert 1-Form und im Allgemeinen nur lokal gegeben .

Sagen wir das genauer: für X jede Mannigfaltigkeit, a G -Hauptverbindung drauf ist (in " Cech-Daten "):

  1. eine Auswahl an guter offener Abdeckung { U ich X } ;

  2. auf jedem Patch eine 1-Form EIN ich Ω 1 ( U ich ) g ;

  3. auf jedem doppelten Schnittpunkt von Patches eine Eichtransformationsfunktion g ich j C ( U ich U j , G )

so dass

  1. auf jeder doppelten Kreuzung U ich U j Wir haben die Gleichung EIN j = g ich j 1 EIN g ich j + g ich j 1 d g ich j

  2. an jeder Dreifachkreuzung U ich U j U k Wir haben die Gleichung g ich j g j k = g ich k .

Okay, jetzt möchten Sie eine Chern-Simons-3-Form bilden ... etwas daraus. Was Sie aus den obigen Daten sofort erhalten, ist eine Reihe lokaler differentieller 3-Formen, eine auf jedem Patch: C S ( EIN ich ) Ω 3 ( U ich ) .

Um diese 3-Formen global zu einer sogenannten 3-Form-Verbindung zusammenkleben zu lassen , benötigen wir die offensichtlichen Daten der Transformation mit höherer Spurweite

  1. Auf jedem Patch haben wir die lokale 3-Form C S ( EIN ich ) ;

  2. Auf jeder doppelten Kreuzung sollte es eine 2-Form geben B ich j Ω 2 ( U ich U j ) welche Lehre die jeweiligen CS-3-Formen ineinander umwandelt, indem C S ( EIN j ) = C S ( EIN ich ) + d B ich j ;

  3. an jeder dreifachen Kreuzung sollte es eine 1-Form geben a ich j k Ω 1 ( U ich U j U k ) die zwischen den Eichtransformationen erster Ordnung eine Eichtransformation zweiter Ordnung (" Geister der Geister "!) aufweist, in der B ich j + B j k = B ich k + d a ich j k

  4. Schließlich sollte es an jedem Vierfachschnittpunkt eine glatte Funktion geben h ich j k l C ( U ich U j U k U l , U ( 1 ) ) welche Spur-von-Spur-von-Spur-transformiert die Spur-von-Spur-von-Spur-transformiert ineinander, in dem a ich j k + a ich k l = a j k l + a ich j l + h ich j k l 1 d h ich j k l .

Das sind die Daten, die aus der lokalen Chern-Simons-3-Form ein global wohldefiniertes 3-Form-Feld machen. (Zum Beispiel hat das Supergravitations-C-Feld diese Form, mit einigen weiteren Wendungen und Glocken und Pfeifen, die hinzugefügt wurden, wie wir hier besprochen haben ).

In mathematischer Sprache sagt man, dass diese Art von lokalen Gauge-of-Gauge-Verklebungsdaten zur globalen Definition von Feldern höherer Form ein "Kozyklus Grad 4 in der Cech-Deligne-Kohomologie " ist. Dies sind genau die richtigen Daten, die benötigt werden, um eine wohldefinierte 3-dimensionale höhere Holonomie zu haben , wie sie hier für die Definition benötigt wird, denn das Chern-Simons-Aktionsfunktional ist nichts anderes als die 3-dimensionale höhere Holonomie dieser 3-Form-Verbindung.

Wenn Sie es bauen können, das heißt. Aus dem Obigen ist es nicht ganz offensichtlich, wie die 3-Form-Kozyklusdaten aufgebaut werden { C S ( EIN ich ) , B ich j , a ich j k , h ich j k } aus den gegebenen Pegelfelddaten { EIN ich , g ich j } .

Aber dies kann getan werden. Dafür wurden Cheeger-Simons-Differentialzeichen entdeckt. Eine explizite Konstruktion, die für die Anwendung auf die Chern-Simons-Theorie sehr natürlich ist, haben wir nachgegeben

  • Fiorenza, Schreiber, Stasheff, Cech Cocycles for Differential Characteristic Classes , Advances in Theoretical and Mathematical Phyiscs, Volume 16 Issue 1 (2012) ( arXiv:1011.4735 , web )

Darauf aufbauend geben wir eine detaillierte Einführung und Diskussion von Chern-Simons Aktionsfunktionalen für global nicht-triviale Situationen wie oben in

  • Fiorenza, Sati, Schreiber, Eine höhere Perspektive auf die Chern-Simons-Theorie ( arXiv:1301.2580 , web )

Dieser Artikel gibt die allgemein gültigen lokalen Formeln an, erörtert die Vereinfachungen, die auftreten, wenn angenommen werden kann, dass die 3-Mannigfaltigkeit begrenzt ist, erörtert, was passiert, wenn dies nicht der Fall ist, und untersucht dann verschiedene andere Eigenschaften der global definierten Chern-Simons-Theorie, z. B. wie um Wilson-Zeilen an die obige Geschichte zu koppeln. Wenn Sie sich nur den ersten Teil ansehen, sollten Sie meiner Meinung nach finden, was Sie brauchen.


Bearbeiten: In den Kommentaren unten kam die Frage auf, warum eine ähnliche Diskussion nicht auch beim Aufschreiben des Yang-Mills-Aktionsfunktionals erforderlich ist, dessen Lagrangian die 4-Form ist F EIN F EIN (wo ist der Hodge-Stern einer gegebenen Metrik (Schwerkraft) und , ist ein invariantes Polynom, die "Killing-Form" oder Spur), oder ähnlich das topologische Yang-Mills-Aktionsfunktional, dessen Lagrangian die 4-Form ist F EIN F EIN .

Der Grund dafür ist, dass diese Lagrange-Operatoren aus Krümmungen aufgebaut sind, die in einem invarianten Polynom ausgewertet werden . Gerade die Invarianz dieser invarianten Polynome unter der adjungierten Wirkung der Eichgruppe auf ihre Argumente stellt sicher, dass wenn { U ich X } eine gute offene Abdeckung des 4-dimensionalen Raums(-zeit) ist und das Eichfeld durch die Cech-Kozyklus-Daten gegeben ist { EIN ich , g ich j } in Bezug auf diese lokalen Patches, dass dann bei doppelten Überlappungen die zwei (topologischen oder nicht) Yang-Mills-Lagrangians, die von zwei Patches kommen, bereits gleich sind

F EIN ich F EIN ich = F EIN j F EIN j .

Also wenn wir schreiben = { EIN ich , g ich j } für die Eichfeldverbindung abstrakt und bezeichnen die (topologische) Yang-Mills-Lagrangedichte global mit F F , dann ist dies bereits eine global definierte 4er-Form. Mathematisch gesehen ist diese Aussage der Kern der Chern-Weil-Theorie .

Beachten Sie, dass es dennoch eine komplizierte Beziehung zur Geschichte des Chern-Simons-Funktionals gibt. Nämlich die lokale Chern-Simons-Form C S ( EIN ich ) hat die besondere Eigenschaft (im Wesentlichen per Definition), dass sein Differential der topologische Yang-Mills-Lagrangian ist:

d C S ( EIN ich ) = F EIN ich F EIN ich .

Dies bedeutet, dass mit dem Chern-Simons-Lagrange, der als 3-Form-Verbindung betrachtet wird, der topologische Yang-Mills-Lagrange seine Krümmung 4-Form hat . Daher ist die Beziehung zwischen der topologischen Yang-Mills-Lagrange-4-Form und der Chern-Simons-3-Form genau ein Analogon in der höheren Eichtheorie der vertrauten Beziehung zwei Grad tiefer als die elektromagnetische Potential-1-Form – die nicht global ist allgemein definiert - hat eine Krümmungs-2-Form, die global wohldefiniert ist.

Mathematisch werden Chern-Simons-Funktionale deshalb als „ sekundäre Invarianten “ bezeichnet .

Tatsächlich ist dies etwas mehr als nur eine Analogie: Die Chern-Simons-3-Form ist genau ein doppelt höheres Analogon des elektromagnetischen Felds, wenn wir vom Punkt über die Saite zur Membran gelangen .

Ich habe einige Vorlesungsnotizen mit mehr in diese Richtung bei nLab: Twisted Smooth Cohomology in String Theory .

Ok eine wirklich tolle Antwort! Das einzige, was fehlt, ist die Betonung des Unterschieds zwischen diesem und dem "Üblichen" - sagen wir Yang-Mills mit Aktion als Integral von F F . Es scheint, dass wir nur doppelte Überlappungen berücksichtigen, um diese Eichtransformationen zu bestimmen, was ist also in diesem Fall anders?
Der Unterschied zur Yang-Mills-Lagrange-4-Form besteht darin, dass diese immer gleich global definiert ist! Dies liegt daran, dass es nur aus den Krümmungen aufgebaut ist . Die Krümmungen wandeln sich in die Adjoint-Under-Gauge-Transformation und die invariante Form um , das definiert die (topologische) YM-Lagrange-Funktion (die Killing-Form, die Spur) F EIN ich F EIN ich ist genau so, um zu garantieren, dass wir bei doppelten Überlappungen eine tatsächliche Gleichheit haben F EIN ich F EIN ich = F EIN j F EIN j . Ich werde der obigen Antwort einen Kommentar hinzufügen
Okay, ich habe der obigen Antwort einen zweiten Teil mit einigen Kommentaren dazu hinzugefügt, wie sich dies auf Yang-Mills bezieht.