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 auf glatter 3er-Verteiler mit kompakter Spurweite die Chern-Simons-Form ist natürlich
Der verwirrende Satz lautet: „Wenn das Bundle 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 .
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 , 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 , etc.?
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 jede Mannigfaltigkeit, a -Hauptverbindung drauf ist (in " Cech-Daten "):
eine Auswahl an guter offener Abdeckung ;
auf jedem Patch eine 1-Form ;
auf jedem doppelten Schnittpunkt von Patches eine Eichtransformationsfunktion
so dass
auf jeder doppelten Kreuzung Wir haben die Gleichung
an jeder Dreifachkreuzung Wir haben die Gleichung .
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: .
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
Auf jedem Patch haben wir die lokale 3-Form ;
Auf jeder doppelten Kreuzung sollte es eine 2-Form geben welche Lehre die jeweiligen CS-3-Formen ineinander umwandelt, indem ;
an jeder dreifachen Kreuzung sollte es eine 1-Form geben die zwischen den Eichtransformationen erster Ordnung eine Eichtransformation zweiter Ordnung (" Geister der Geister "!) aufweist, in der
Schließlich sollte es an jedem Vierfachschnittpunkt eine glatte Funktion geben welche Spur-von-Spur-von-Spur-transformiert die Spur-von-Spur-von-Spur-transformiert ineinander, in dem .
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 aus den gegebenen Pegelfelddaten .
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
Darauf aufbauend geben wir eine detaillierte Einführung und Diskussion von Chern-Simons Aktionsfunktionalen für global nicht-triviale Situationen wie oben in
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 (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 .
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 eine gute offene Abdeckung des 4-dimensionalen Raums(-zeit) ist und das Eichfeld durch die Cech-Kozyklus-Daten gegeben ist 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
Also wenn wir schreiben für die Eichfeldverbindung abstrakt und bezeichnen die (topologische) Yang-Mills-Lagrangedichte global mit , 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 hat die besondere Eigenschaft (im Wesentlichen per Definition), dass sein Differential der topologische Yang-Mills-Lagrangian ist:
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 .
Levitopher
Urs Schreiber
Urs Schreiber