Es gibt ein Schlüsselergebnis in der 2+1-dimensionalen Chern-Simons-Theorie, das zuerst in Lit. 1 diskutiert wurde: der Hilbert-Raum der Theorie, wenn er quantisiert wird , ist isomorph zu
Die meisten Artikel beziehen sich heutzutage einfach auf die ursprüngliche Referenz oder geben das Argument fast wörtlich wieder. Das Problem ist, dass ich der ursprünglichen Referenz nicht ganz folgen kann und die Übersichtsartikel genau der gleichen Argumentation folgen, also kann ich ihnen auch nicht folgen. Ich habe mehrere Fragen, und ich werde sie in mehrere Posts aufteilen.
Lassen sei ein -geschätzte Eins-Form, die darin lebt , und zerlege es in seine zeitlichen und räumlichen Komponenten, . Aufgrund der Bewegungsgleichungen Ist -Wohnung, , mit . Die Autoren behaupten, dass, seiend -flach, es kann als zerlegt werden
Woher kommt das?
Die Autoren bieten keine Referenz oder Erklärung. Ist das ein allgemeines Ergebnis? Funktioniert es nur für den Torus? Was ist mit anderen Oberflächen? Was ist mit flachen Verbindungen auf einer höherdimensionalen Mannigfaltigkeit?
Ich denke, das Problem ist rein zweidimensional, und die Abhängigkeit von ist parametrisch. Mit anderen Worten, wir sollten dies als Lösungsversuch betrachten An , wovon alles implizit abhängt , als Parameter. Somit lautet die Behauptung ist ständig vorbei .
Verweise.
Wohnung - Hauptanschlüsse an Modulo-Eichtransformationen stehen in Bijektion mit Gruppenhomomorphismen Modulo-Konjugation. Der Beweis dafür ist "bekannt" und findet sich zB in Kobayashis und Nomizus Buch über Differentialgeometrie. Eine schöne Darstellung ist in Kapitel 5 von "Moduli Spaces of Flat Connections" von Daan Michiels.
Die Grundidee ist, dass eine flache Verbindung bereits durch ihre Holonomie um nicht kontrahierbare Schleifen bestimmt ist, da sie um kontrahierbare Schleifen trivial ist Wo für etwas Oberfläche und durch eine Anwendung von (nicht-abelschen) Stokes. Aufgrund desselben Arguments sind die Holonomien homotoper Schleifen gleich, und die Homotopieklassen nicht kontrahierbarer Schleifen sind genau die nicht-trivialen Elemente von . Also ein Homomorphismus ist eine nette Möglichkeit, alle nicht-trivialen Holonomien aufzuzählen.
Seit , ist ein solcher Homomorphismus durch zwei kommutierende Elemente gegeben , und diese entsprechen den Holonomien der Verbindung entlang der beiden Grundschleifen in .
Wenn kompakt und einfach verbunden ist, dann gibt es keine nicht-trivialen -Hauptbündel über kompakten orientierbaren Flächen, dh die Verbindungsform ist global definiert, oder "einzelwertig".
Definieren Und und tun Sie dies für jede Zeitscheibe, um Funktionen zu erhalten . Dann
Es bleibt nur noch zu beachten, dass die beanspruchte allgemeine Lösung dann einfach eine allgemeine Eichtransformation dieses Zusammenhangs ist.