Symplektische Reduktion auf den Modulraum in der Chern-Simons-Theorie

In QFT und dem Jones-Polynom behauptet Witten, dass es möglich ist, eine symplektische Reduktion von der verteilten Poisson-Klammer auf dem unbeschränkten Phasenraum zu einer symplektischen Struktur auf dem endlichdimensionalen beschränkten Modulraum von flachen Verbindungen durchzuführen. Wie kann dies explizit geschehen?

Mehr Details:

Nehmen Sie die Chern-Simons-Aktion (der Einfachheit halber ohne Gebühren) mit der kompakten Lie-Gruppe G . Repariere die Zeitanzeige:

A 0 A = 0.

Die Aktion wird quadratisch, und die Gauß-Einschränkung lautet

F = D A + A A = 0 ,

Wo A ist der Rückzug von A auf der 2. Fläche Σ .

Witten argumentiert, dass es in dieser Situation aufschlussreicher ist, der klassischen Theorie zuerst die Beschränkung aufzuerlegen und dann zu quantisieren. Der eingeschränkte Phasenraum ist nur der Modulraum M von Flachanschlüssen auf Σ , die kompakt und endlichdimensional ist.

Dann (Seite 18) sagt Witten, dass (Zitat) "Aus allgemeinen Gründen M erbt eine symplektische Struktur von der vorhandenen symplektischen Struktur M 0 ",

Wo M 0 ist der uneingeschränkte, unendlichdimensionale Phasenraum der Feldtheorie mit der Verteilungs-Poisson-Klammer:

{ A u A ( X ) , A v B ( j ) } = 4 π k ε u v δ A B δ ( 2 ) ( X , j ) .

Frage: Ich verstehe nicht, wie das gemacht werden konnte. Hier meine Gedanken dazu:

Modulraum von Flachverbindungen M kann durch eine erste Einschränkung erhalten werden M 0 zu einem Raum mit flachen Verbindungen und dann zu einem Raum mit Spurbahnen darauf (erzeugt durch globale Spurtransformationen). Symplektische Form auf zu definieren M Eine gewöhnliche symplektische Reduktion kann verwendet werden, vorausgesetzt, dass eine symplektische Form auf dem Raum flacher Verbindungen definiert ist. Ich weiß jedoch nicht, wie ich die symplektische Form explizit aus dem Raum aller Verbindungen in den Raum der flachen Verbindungen zurückziehen kann.

Bonusfrage: Ob es möglich ist, eine symplektische Struktur explizit auf dem endlichdimensionalen Kompakt zu definieren M , ist es auch möglich, den Chern-Simons-Quanten-Hilbert-Raum zu erhalten

H C S = Inv Q ( R G )
(Wo G ist die Gattung der Σ , R ist ein irrep von S U ( 2 ) Q entsprechend einem einzigen Griff von Σ , Und Inv Q ist der invariante Teil des Tensorprodukts von Irreps der Quantengruppe S U ( 2 ) Q ) durch Anwendung der Kontsevich-Deformationsquantisierungsformel und Übergabe an die GNS-Darstellung der C Algebra, die durch Deformationsquantisierung erhalten wird?

Warum ich es für möglich halte: Flache Verbindungen gehen grundsätzlich von Homomorphismen aus π 1 ( Σ ) Zu G . Klassische Observablen sind Funktionen über dem Phasenraum, also Funktionen über diesen Homomorphismen und (ganz grob) Funktionen über einigen Kopien von G .

Die Deformationsquantisierung dieses Phasenraums scheint eng mit dem Ansatz der nichtkommutativen Geometrie für Quantengruppen verwandt zu sein. Durch Deformieren der Algebra der Funktionen über G bekommen wir eine "Algebra der Funktionen rüber G Q ".

Antworten (2)

Sie können die symplektische Form auf dem großen Phasenraum schreiben als

Ω ( δ ich A , δ J A ) = k 4 π Σ δ ich A δ J A .

Hier , ist die Tötungsform an G , bei dem die δ J A werden geschätzt. Diese Formel wird abgeleitet, indem das Variationsproblem der Chern-Simons-Wirkung auf einer 3-Mannigfaltigkeit mit Rand untersucht wird Σ . Es wird hier in einer strengen Formulierung (pdf) in Abschnitt 4.2 diskutiert. Sie diskutieren auch die Hamiltonsche Reduktion auf den endlichdimensionalen Phasenraum. Die Idee ist, dass dieser kleine Phasenraum a ist G -Quotient einer Ebenenmenge der Momentkarte

μ = k 2 π F
die die Aktion der Spurtransformationen erzeugt. Damit kannst du die symplektische Form konstruieren, da du jetzt einfach zurückziehen kannst Ω Zu μ 1 ( ϵ ) und werte es weiter aus G -invariante Vektorfelder, die äquivalent zu Vektorfeldern im wahren Phasenraum sind μ 1 ( ϵ ) / G . Sie verwenden also im Grunde die gleiche Formel wie Ω .

Bearbeiten: Wenn wir den Modulraum flacher Verbindungen auf einem Torus untersuchen, können wir uns dies wie gewünscht als ein Paar pendelnder Elemente vorstellen G 1 , G 2 G bis zur simultanen Konjugation definiert ( G 1 , G 2 ) ( H G 1 H 1 , H G 2 H 1 ) . Dies ist ein Subquotient von G × G / G , sondern der Quotient G handelt durch Konjugation, also ist es nicht dasselbe wie G , zum Beispiel mit G = U ( 1 ) es ist U ( 1 ) × U ( 1 ) .

Wir können schreiben G J = exp ( 2 π ich T J ) und das Anschlussformular A = T 1 D X 1 + T 2 D X 2 , Wo X 1 , X 2 Sind 2 π periodische Koordinaten auf dem Torus. Hier entlang, exp ich J A = G J Und D A + [ A , A ] = 0 .

Der Tangentialraum bei A ist bei allen 1-Formen gegeben δ A so dass A + ϵ δ A ist flach zu bestellen ϵ 2 . Das heisst D δ A + [ A , δ A ] = 0 . Sie können diese Gleichung mit den Strukturkonstanten der Lie-Algebra lösen. Dann wird die symplektische Form als ausgewertet Ω oben mit Σ = T 2 .

Zum Beispiel ist der Tangentialraum an den Nullabschnitten nur der geschlossene Raum G -bewertete 1-Formulare, und wir verwenden das Killing-Formular zum Bewerten Ω .

Ich verstehe deine Notation nicht. Was ist δ ich A δ J A ? (Das einzige Symbol, das ich in diesem Ausdruck verstehe, ist tatsächlich A :) ).
Ach das war bei der symplektischen Form überflüssig Ω , die eine 2-Form auf dem Raum flacher Verbindungen ist, deren Tangentenraum durch 1-Formen gegeben ist δ ich A . Ich bin es losgeworden.
Vielen Dank für diese Antwort! Ich habe noch eine Frage, danach akzeptiere ich Ihre Antwort. Ich verstehe jetzt, wie die symplektische Reduktion abstrakt funktioniert, habe aber keine Ahnung, wie man dies explizit macht (z. B. für einen Torus). Könnten Sie Ihre Antwort mit einer expliziten Berechnung von aktualisieren Ω reduziert auf den Modulraum auf dem Torus (was meiner Meinung nach gerecht ist G , seit π 1 wird von zwei Elementen generiert, von denen jedes an ein beliebiges Element in gesendet werden kann G , und wir haben eine globale G Unveränderlichkeit, eine Kopie loszuwerden G )?
@SolenodonParadoxus Jetzt erinnerte ich mich, warum die Klammern da waren! Und was Sie über den Modulraum auf dem Torus sagen, ist nicht ganz richtig. Es ist nicht isomorph zu G, weil G nicht frei auf die Paare von kommutierenden Elementen wirkt.
PS. Ich weiß nicht, wie ich Ihre Bonusfrage beantworten soll, weil ich die Deformationsquantisierung in diesen seltsamen Umgebungen nicht sehr gut verstehe, aber viele Leute haben darüber geschrieben, wie man den Chern-Simons-Hilbert-Raum aus der geometrischen Quantisierung erhält. Zum Beispiel hat T. Kohno ein ganzes Buch mit dem Titel CFT and Topology darüber.

Diese Frage hat viele Unterfragen. Ich werde versuchen, Ihnen kurze Erklärungen und gute Referenzen zu geben.

Wie man eine symplektische Reduktion in der "Quantenmechanik" durchführt

Die symplektische Reduktion ist grundsätzlich äquivalent zu Diracs Zwangsbedingungen erster Klasse, dh der Reduktion der Eichsymmetrie. Das in der QFT verwendete Prototypmodell, das durch symplektische Reduktion erhalten wird, ist das C P N Modell, das eine symplektische Reduktion von ist C N + 1 von U ( 1 ) :

Wir gehen von aus N + 1 Skalare Felder ϕ ich mit seinem Standard-Lagrange. (Alles kann in ausgeführt werden 0 + 1 Raum-Zeit-Dimensionen also Quantenmechanik, aber das ist nicht zwingend, wir können in jeder Dimension arbeiten). Dieses Modell hat U ( N ) globale Symmetrie. Wenn wir die reduzieren wollen U ( 1 ) Symmetrie ϕ ich e ich θ ϕ ich , führen wir zwei Operationen durch:

  • Zunächst koppeln wir das Modell minimal an ein nicht-dynamisches Eichfeld A μ .

  • Zweitens beobachten wir, dass die Noether-Ladung dieser Symmetrie entspricht ϕ ich ϕ ich (Einsteins Konvention - dies ist das Analogon des Gaußschen Gesetzes in der Elektrodynamik). Diese Ladung muss eine Konstante sein. Daher fügen wir der Lagrange-Funktion einen Einschränkungsterm hinzu: λ ( ϕ ich ϕ ich C Ö N S T . ) .

Jetzt lösen wir die klassischen Bewegungsgleichungen für das Eichfeld und die Noether-Ladungsbeschränkung und ersetzen die Lösungen und voilà, wir bekommen die C P N Sigma-Modell.

Siehe BKMU , (Abschnitt 5.1.) für die explizite Konstruktion. Die Lösung des Eichfelds entfernt einen reellen Parameter und die Beschränkung entfernt einen zusätzlichen reellen Parameter, wodurch der resultierende Modellzielraum eine komplexe Dimension weniger ist.

Wie man eine symplektische Reduktion durchführt und die 2+1 D Chern Simons Theorie quantisiert

In der Abelschen Chern-Simons-Theorie (in der Hamiltonschen Form mit A 0 = 0 ). Die Anzahl der Freiheitsgrade vor der Reduktion ist 2 , ( A 1 Und A 2 ) und wie oben entfernt die Reduktion zwei reale Freiheitsgrade, also bleiben uns null Freiheitsgrade und das bedeutet, dass, obwohl wir mit einem feldtheoretischen Modell begonnen haben, das Restmodell höchstens quantenmechanisch sein kann (in 0 + 1 Maße). Anders gesagt, der Modulraum ist endlichdimensional. Daher funktioniert die obige Methode nicht direkt. Die gleiche Argumentation gilt auch für den nicht-Abelschen Fall.

Was wir tun können, ist, die allgemeinste klassische Lösung durch die verbleibenden quantenmechanischen Freiheitsgrade (dh den Modulraum) zu ersetzen, die mit den Randbedingungen kompatibel sind. Alle anderen Freiheitsgrade außer dem Modulraum verschwinden aufgrund der Eichsymmetrie (und des Gaußschen Gesetzes) aus der Wirkung und wir erreichen ein quantenmechanisches Modell.

Genau dies wurde von EMSS durchgeführt , die viele exakte Lösungen der Chern-Simons-Theorie mit und ohne Quellen erhielten, insbesondere den Phasenraum und den resultierenden Hilbert-Raum identifizierten. Bitte sehen Sie sich andere äquivalente Methoden Bos und Nair und Dunne an .

Über den Ursprung der Quantengruppensymmetrie

Die endlichdimensionalen Modulräume, die sich aus der symplektischen Reduktion der Chern-Simons-Theorie ergeben, sind symplektisch. (In einer endlichen Anzahl von Dimensionen wurde von Marsden und Weinstein bewiesen, dass eine symplektische Reduktion einer symplektischen Mannigfaltigkeit zu einem symplektischen Raum führt. In unserem Fall wo der Anfangsraum unendlichdimensional ist (Chern-Simons), gibt es kein solches allgemeines Ergebnis, aber es kann von Fall zu Fall bewiesen werden). Die symplektische Form der reduzierten Theorie kann als Magnetfeld betrachtet werden (geschlossen, aber nicht exakt 2 form).

Es ist ein allgemeines Ergebnis, dass die reduzierte quantenmechanische Theorie der Chern-Simons-Theorie immer die auf das unterste Landau-Niveau beschränkte Dynamik eines nichtrelativistischen Teilchens auf dem Modulraum in Anwesenheit eines Magnetfeldes gleich beschreibt k (die Ebene) multipliziert mit einer grundlegenden symplektischen Struktur (Generator von H 2 ( M , Z ) ) des Modulraums.

Die Quantengruppensymmetrie ist die Algebra, die von den endlichen magnetischen Translationsoperatoren erfüllt wird und die Form hat:

e ich a ich ( P ich A ich )

Bitte lesen Sie den folgenden Artikel von Sato mit einer kurzen Erklärung dieser Tatsache.

Die Lösung der Theorie über den Modulraum, also für das vollständige Chern-Simons-Modell, wird durch eine Darstellung der Quantengruppe gegeben. Insbesondere legt es die Dimension des Hilber-Raums der Theorie fest.