Ich habe Probleme, mich mit der Idee hinter der kovarianten Quantisierung für das elektromagnetische Feld zu befassen, die normalerweise in Lehrbüchern durchgeführt wird (ich verfolge derzeit die Notizen von Mandl & Shaw und David Tong in meinem QFT-Kurs). Der Ausgangspunkt für die Quantisierung des elektromagnetischen Felds besteht darin, über Eichfreiheit zu sprechen und wie sie für die Behandlung von Elektromagnetismus nützlich sein kann, und dann wählen Sie bequem die Lorentz-Bedingung als Hilfsbedingung, dass Sie das 4-Potential wollen befriedigen; Nach der Quantisierung wird diese Bedingung jedoch zu einer Einschränkung des Raums akzeptabler physikalischer Zustände und nicht der Feldoperatoren selbst: "physikalische Zustände". sind das solche (Gupta-Bleuler-Bedingung). Meine Frage ist jetzt zweigeteilt:
Zuerst müssen Sie das Messgerät seit dem 4-Potenzial fixieren hätte statt der 2 Polarisation des Photons 4 Freiheitsgrade.
Im Allgemeinen gibt es 3 verschiedene Möglichkeiten, eine Theorie zu quantisieren, die erstklassige Einschränkungen aufweist (was für das elektromagnetische Feld der Fall ist). Wer ist nicht an erstklassige Zwänge gewöhnt, sie sind diese Zwänge die Eichtransformationen als erzeugt Wo sind die Koordinaten im Phasenraum und sind die Messparameter.
Jetzt sind die Methoden:
Das erste Verfahren fixiert einen einzelnen Repräsentanten in der Messkreisbahn durch eine Messfixierbedingung mit (Dies führt zu einem neuen Satz von Einschränkungen, die jetzt zur Klasse II gehören, und es kann eine Dirac-Klammer als neue Poisson-Klammer definiert werden, um auf kanonische Weise zu quantisieren).
Die zweite Methode besteht darin, den gesamten Phasenraum zu quantisieren und alle nichtphysikalischen Variablen zu belassen. Da wir alles quantisiert haben, müssen wir jetzt fordern, dass unsere Einschränkungen beim Einwirken auf physikalische Zustände Null ergeben:
Diese Methode ist die kompliziertere, aber meiner Meinung nach die faszinierendste. Die Idee hier ist, neue Freiheitsgrade hinzuzufügen, die Geister genannt werden (mit Grassman-Parität entgegengesetzt zu den Beschränkungen) und ihre Impulse (mit der gleichen Parität wie die Geister) (um dieses Verfahren zu verstehen, müssen Sie sein vertraut mit einigen Grundbegriffen der Supersymmetrie).
Nun kann nachgewiesen werden, dass eine BRST-Gebühr existiert mit einigen Eigenschaften, insbesondere ist es nilpotent ( ), die die BRST-Transformation erzeugt.
In diesem Kontext ist ein physikalischer Zustand definiert, wenn er BRST-invariant ist, dh
Dies scheint nur ein überkompliziertes Verfahren zu sein, aber wenn man das funktionale Integral mit all diesen neuen Begriffen betrachtet, hat man die Freiheit, der Aktion einen neuen Begriff hinzuzufügen, der ein exakter Begriff ist, um viele Vereinfachungen vorzunehmen und zu dem zu gelangen richtige Ergebnis auf raffiniertere Weise.
Ich hinterlasse hier eine Referenz (Lehrbuch), die die Quantisierung von Eichtheorien behandelt: Marc Henneaux und Claudio Teitelboim "Quantisierung von Eichsystemen".
Warum eichen wir das Pfadintegral überhaupt? Wenn wir die Theorie der Gittereichung machten , brauchten wir keine Eich-Fixierung. Aber im Kontinuumsfall (das Hessische von) hat die Aktion für eine Eichtheorie Nullrichtungen, die zu unendlichen Faktoren führen, wenn das Pfadintegral über Eichbahnen durchgeführt wird. Um dies zu vermeiden, messen wir fest.
Die Gupta-Bleuler-Bedingung ist per se keine eichfixierende Bedingung, sondern eine Bedingung zur Bestimmung physikalischer Zustände. Generell gibt es auch Bedingungen an ein Observable . Dies ist vielleicht am einfachsten in der BRST-Formulierung zu sehen . Ein körperlicher Zustand und ein Beobachtbares sollten beide BRST-invariant sein
AccidentalFourierTransform
Erstarrung