Supersymmetrische Verallgemeinerung des bosonischen σσ\sigma-Modells in der QM

Ich lese einige Vorlesungsskripte, die zeigen, wie verschiedene Modelle in SUSY QM verwendet werden können, um topologische Invarianten wie die Euler-Charakteristik aus dem Witten-Index zu erhalten.

Der folgende Lagrangian wurde direkt verwendet und soll die supersymmetrische Verallgemeinerung des Bosonischen sein σ Modell. Was ist die Motivation, diesen Lagrange zu berücksichtigen? Wie erhalte ich den Lagrangian? Was ist das betrachtete Sigma-Modell und wie lässt es sich verallgemeinern?

Bitte geben Sie bei Bedarf eine direkte Antwort oder Referenzen an. (Ich habe gegoogelt, um mehr zu erfahren, aber die meisten Bewertungen beginnen mit Lagrangianern in TQFT, über die ich keine Kenntnisse habe. Ich hätte gerne eine elementarere Erklärung für den Lagrangian.)

ϕ ich ( T ) sind Karten von R oder S 1 zu einer Riemannschen Mannigfaltigkeit M mit Metrik G ich J .

L = 1 2 G ich J ( ϕ ) ϕ ˙ ich ϕ ˙ J + ich 2 G ich J Ψ ¯ ich γ 0 D Ψ J D T + 1 12 R ich J k l Ψ ¯ 1 Ψ J Ψ ¯ k Ψ l ¯

D D T ist die kovariante Ableitung mit ϕ ˙ als Verbindung und Ψ ¯ a ich = Ψ ¯ β ich γ β a 0

Wie kann ich das aus der Physik der Quantenmechanik verstehen? und was sind die karten ϕ ( T ) ?

Antworten (1)

Bevor ich ins Detail gehe, möchte ich Ihnen sagen, dass diese Art von Handlungen die tiefste Verbindung zwischen Geometrie und Physik beschreiben und Verallgemeinerungen dieser Art von Theorien auch heute noch aktiv erforscht werden.

Der Lagrange beschreibt N = 1 supersymmetrische Quantenmechanik auf einer Riemannschen Mannigfaltigkeit

Der bosonische Teil dieser Lagrangefunktion ist der kinetische Term eines Teilchens, das sich auf einer Riemannschen Mannigfaltigkeit bewegt M eine Metrik haben G . Die Bahnen der Teilchen sind bekanntlich die Geodäten der Mannigfaltigkeit. Die Funktionen ϕ ich sind nur die Koordinaten auf der Mannigfaltigkeit.

Die fermionischen Teile des Lagrange machen den Lagrange invariant unter den (N=1 Supersymmetrie) Transformationen:

δ ϕ ich = ϵ ψ ¯ ich

δ ψ ich = ich γ 0 ϕ ˙ ich ϵ Γ J k l ϵ ¯ ψ J ψ k

Bitte lesen Sie den folgenden Artikel von Luis Alvarez-Gaume',

Der Supersymmetrieoperator kann in Bezug auf die kanonischen Impulse geschrieben werden:

π ich = G ich J ϕ J

als:

Q = ich π ich ψ ¯ ich γ 0 Γ ich J k ψ ¯ ich ψ J ψ k

Es kann leicht überprüft werden, dass dieser Operator die korrekte Supersymmetrietransformation angesichts der kanonischen Poisson-Klammern erzeugt:

{ ϕ ich , π J } = δ J ich

{ ψ ich , ψ J } = G ich J ( ϕ )

Die Einbeziehung der fermionischen Koordinaten in die Lagrange-Funktion verleiht dem Teilchen, das sich auf der Riemann-Mannigfaltigkeit bewegt, einen Spin. Diese Tatsache wurde 1975 von Berezin und Marinov entdeckt, siehe deren Originalartikel (sie betrachten den Fall einer flachen Raumzeit).

Am wichtigsten ist, wenn die Theorie quantisiert wird, dann wenn wir die kanonischen Quantisierungsregeln hinzufügen

π ich ich ϕ ich

Kanonische Quantisierungsregeln für die fermionischen Koordinaten

ψ ich γ ich

dh quantisieren Sie die Grassmann-Algebra zu Dirac-Matrizen oder Clifford-Algebra (bitte nicht verwechseln mit den Gamma-Matrizen in der klassischen Aktion, die als numerische Koeffizienten behandelt werden müssen), dann wird der Supersymmetrie-Operator zum Dirac-Operator (im gekrümmten Raum). Aus diesem Grund beschreibt diese Aktion ein sich drehendes Teilchen.

Außerdem ist das Quadrat des Supersymmetrieoperators der Dirac-Hamilton-Operator:

Q Q + Q Q = H = π ich ϕ ˙ ich + ich G ich J ψ ¯ ich ψ ˙ J L

Der Vier-Fermionen-Term drückt die Tatsache aus, dass sich der Dirac-Hamilton-Operator im gekrümmten Raum vom Skalar-Hamilton-Operator unterscheidet. In der Differentialgeometrie ist dieser Dirac-Hamilton-Operator der Laplace-Operator für Formen.

Eine der wichtigen Anwendungen dieser Arten von Aktionen besteht darin, dass sie verwendet werden, um quantenmechanische Beweise für die verschiedenen Indextheoreme zu liefern.

Nun ist es nicht schwierig, die folgenden Verallgemeinerungen zu denken. Wenn supersymmetrische Quantenmechanik in 0 + 1 Dimensionen beschreibt ein sich drehendes Teilchen, dann ein supersymmetrisches Sigma-Modell in 1 + 1 Dimension beschreibt eine sich drehende Schnur. Tatsächlich verwendete Witten diese Beobachtung, um den Index des Dirac-Operators auf einem Schleifenraum zu berechnen.

Man kann sich die Teilchen als Sonden zum Studium der Geometrie und Topologie der Räume vorstellen, in denen sie sich bewegen müssen. Ein klassisches Partikel kann verwendet werden, um die Geodäten zu untersuchen. Bei der Quantisierung können mehr Informationen erhalten werden, beispielsweise können die Energien, die das Spektrum des Laplace-Operators bilden, topologische und geometrische Informationen liefern. Wenn dem Teilchen ein Spin gegeben wird, können aufgrund dieser Indextheoreme noch mehr topologische Informationen abgeleitet werden, zum Beispiel können sich drehende Teilchen Löcher und Griffe in der Mannigfaltigkeit sehen.

Insbesondere kann das betrachtete Modell verwendet werden, um das Atiyah-Singer-Theorem für den Dirac-Operatorindex (Die Differenz zwischen der Anzahl der Nullmodi von Q Und Q ) auf einer Riemannschen Mannigfaltigkeit und werten das Ergebnis mittels des Zustandssummenfunktionspfadintegrals aus. Bitte lesen Sie den folgenden Artikel von Friedan und Windey

ich N D ( Q ) = D ϕ D ψ e ich P B C L D T

(PBC bezeichnet periodische Randbedingungen) Die Nullmoden des Dirac-Hamilton-Operators sind nur die harmonischen Formen, die den de-Rham-Komplex der Mannigfaltigkeit erzeugen.

Wenn wir schließlich das Teilchen durch einen String ersetzen, können wir viel mehr topologische und geometrische Informationen über die Mannigfaltigkeit untersuchen.