Lokalisierung und Supersymmetrie-Erklärung

Ich bin verwirrt über Abschnitt 9.3 des Buches Mirror Symmetry . Insbesondere bin ich verwirrt über die Ableitung, die in den Gleichungen (9.32) bis (9.35) durchgeführt wird, wo sie behaupten, dass die Zustandssumme Null ist, wenn H ' hat keine Nullen.

Betrachten Sie insbesondere eine 0-dimensionale QFT mit fermionischen und bosonischen Variablen, die durch die Aktion definiert sind

(9.25) S = S 0 S 1 ψ 1 ψ 2
mit
(9.28) S 0 ( X ) = 1 2 [ H ' ( X ) ] 2 Und S 1 = H ( X ) .
Die Partitionsfunktion ist
(9.26) Z = D X D ψ 1 D ψ 2 e S .
Diese Aktion hat ungerade Symmetrien:
(9.30') v 1 = ψ 1 X H ' ( X ) ψ 2 Und v 2 = ψ 2 X + H ' ( X ) ψ 1 .
Dies führt zu den infinitesimalen Transformationen
δ X = ϵ 1 ψ 1 + ϵ 2 ψ 2
(9.30) δ ψ 1 = ϵ 2 H '
δ ψ 2 = ϵ 1 H ' .
Dann behaupten sie das, indem sie diese Symmetrien ausnutzen Z = 0 Wenn H ' ist überall ungleich Null. Hier entsteht meine Verwirrung.

  1. Ist die Verwendung "legal".

    (1) ϵ 1 = ϵ 2 = ψ 1 / H '
    eine der fermionischen Variablen auf Null zu ändern? Ich dachte, die ϵ musste infinitesimal sein, damit die Transformation eine Symmetrie war und die Aktion invariant blieb.

  2. Wie "motiviert" dies die Änderung der Variablen in Gleichung (9.32) unten?

    X ^ := X ψ 1 ψ 2 H '
    (9.32) ψ ^ 1 := a ( X ) ψ 1
    ψ ^ 2 := ψ 1 + ψ 2 .

  3. Wie kamen sie auf (9.33) und (9.34)? Gleichung (9.33) besagt das

    (9.33) S ( X , ψ 1 , ψ 2 ) = S ( X ^ , 0 , ψ ^ 2 )
    Vermutlich wegen der Symmetrie. Aber was tut S ( X ^ , 0 , ψ ^ 2 ) eigentlich aussehen? Gleichung (9.34) ist die Transformation des Maßes aus der obigen Variablenänderung;
    (9.34) D X D ψ 1 D ψ 2 = ( a ( X ^ ) H ( X ^ ) ( H ' ( X ^ ) ) 2 ψ ^ 1 ψ ^ 2 ) D X ^ D ψ ^ 1 D ψ ^ 2 .
    Ich bin mir nicht ganz sicher, woher das kam.

  4. Gleichung (9.35) ergibt sich direkt aus dem Einsetzen von (9.34) (der Maßänderung) in die Zustandssummenfunktion. Aber wo ist die totale Ableitung drin? X ^ im zweiten Semester

    (9.35') e S ( X ^ , 0 , ψ ^ 2 ) H ( X ^ ) ( H ' ( X ^ ) ) 2 ψ ^ 1 ψ ^ 2 D X ^ D ψ ^ 1 D ψ ^ 2 ?
    Ich denke, das könnte deutlicher werden, wenn ich wüsste, was die Funktion ist S ( X ^ , 0 , ψ ^ 2 ) sah aus wie.

Antworten (1)

  1. Wir sollten uns zunächst bewusst machen, dass die infinitesimalen Grassmann-ungerade Parameter ϵ 1 Und ϵ 2 dürfen von den Variablen abhängen X , ψ 1 Und ψ 2 in der infinitesimalen SUSY-Transformation (9.30). Das werden wir natürlich in Gl. (1).

    OP stellt eine gute Frage zum Status endlicher SUSY-Transformationen. Betrachten wir dazu eine Unterklasse von infinitesimalen Parametern der Form

    (1') ϵ 1 ( X , ψ 1 , ψ 2 )   =   F 1 ( X ) H ' ( X ) ψ 1 , ϵ 2 ( X , ψ 1 , ψ 2 )   =   F 2 ( X ) H ' ( X ) ψ 1 ,
    Wo F 1 ( X ) Und F 2 ( X ) sind zwei beliebige infinitesimale Funktionen. [Hier haben wir die Annahme verwendet, dass H ' ( X ) 0 zur späteren Vereinfachung.] Dann wird die infinitesimale SUSY-Transformation (9.30) zu
    (9.30'') δ X   =   F 2 ( X ) H ' ( X ) ψ 1 ψ 2 , δ ψ 1   =   F 2 ( X ) ψ 1 , δ ψ 2   =   F 1 ( X ) ψ 1 .
    Dies kann bis auf die entsprechenden endlichen SUSY-Transformationen integriert werden
    (9.30''') X ^   =   X + F 2 ( X ) H ' ( X ) ψ 1 ψ 2 , ψ ^ 1   =   a ( X ) ψ 1 , a ( X )   :=   1 + F 2 ( X ) , ψ ^ 2   =   ψ 2 F 1 ( X ) ψ 1 ,
    Wo F 1 ( X ) Und F 2 ( X ) sind zwei beliebige endliche Funktionen. [Der Leser sollte prüfen, ob die endliche SUSY-Transformation (9.30''') unter Komposition forminvariant ist.]

    Insbesondere ist es einfach, die Aktion zu überprüfen

    S ( X ^ , ψ ^ 1 , ψ ^ 2 )   =   S ( X , ψ 1 , ψ 2 )
    ist invariant unter der endlichen SUSY-Transformation (9.30''').

    Es ist leicht zu sehen, dass die inverse endliche SUSY-Transformation (9.30''') wird

    (9.30'''') X   =   X ^ F 2 ( X ^ ) a ( X ^ ) H ' ( X ^ ) ψ ^ 1 ψ ^ 2 , ψ 1   =   1 a ( X ^ ) ψ ^ 1 , ψ 2   =   ψ ^ 2 + F 1 ( X ^ ) a ( X ^ ) ψ ^ 1 .
    [Tipp: Beginnen Sie mit der Aufstellung der mittleren Gleichung.]

  2. Der Ansatz (1') [und der Ansatz (1)] wurden gewählt, weil es umständlich (aber wir vermuten nicht unmöglich) ist, die infinitesimalen SUSY-Transformationen (9.30) direkt zu integrieren. Es ist viel einfacher, nur Untervariationen proportional zu zu betrachten ψ 1 , denn dann können wir die Nilpotenz immer wieder verwenden ψ 1 2 = 0 vereinfachen. Um zu Gl. (9.32) aus Gl. (9.30''') Jetzt wähle

    F 1 ( X )   =   F 2 ( X )   =   1 , a ( X )   :=   1 + F 2 ( X )   =   0 , ψ ^ 1   =   a ( X ) ψ 1   =   0.
    Dies ist jedoch eine singuläre Transformation, also nehmen wir das zunächst an F 1 Und F 2 Sind X -unabhängige Konstanten unterschiedlich von 1 , und nehmen Sie erst ganz am Ende der Berechnung die Grenze zu 1 .

  3. Seit Ref. 1 identifiziert Beresin-Integration mit Differenzierung von rechts, vgl. Gl. (9.20) sind die Ableitungen in der Jacobi-Supermatrix Rechtsableitungen. Die Jacobi-Supermatrix wird

    R ( X , ψ 1 , ψ 2 ) ( X ^ , ψ ^ 1 , ψ ^ 2 )   =   ( 1 + F 2 H ' ' ( X ^ ) a H ' ( X ^ ) 2 ψ ^ 1 ψ ^ 2 0 1 a 0 0 1 ) .
    Die Superdeterminante/Berezinian wird
    S D e T R ( X , ψ 1 , ψ 2 ) ( X ^ , ψ ^ 1 , ψ ^ 2 )   =   a + F 2 H ' ' ( X ^ ) H ' ( X ^ ) 2 ψ ^ 1 ψ ^ 2 ,
    was Gl. (9.34).

  4. Nehmen wir endlich das Limit. Die Aktion

    S ( X ^ , ψ ^ 1 = 0 , ψ ^ 2 )   =   S 0 ( X ^ )   =   1 2 H ' ( X ^ ) 2
    macht den Integranden (9.35') der Form
    H ' ' ( X ^ )   F C T ( H ' ( X ^ ) ) ,
    was eindeutig eine totale Ableitung bzgl. X ^ .

Verweise:

  1. K. Hori, S. Katz, A. Klemm, R. Pandharipande, R. Thomas, C. Vafa, R. Vakil und E. Zaslow, Mirror Symmetry, 2003; Abschnitte 9.2-9.3. Die pdf-Datei ist hier verfügbar .
Danke, das ist unglaublich hilfreich! Ein paar Fragen: 1. Gibt es im Allgemeinen ein Verfahren zum Integrieren infinitesimaler Transformationen, um endliche zu erhalten? (Wenn nicht, wie haben Sie (9.30''') erhalten?) 2. Und haben Sie die inverse Transformation erhalten, indem Sie das Vorzeichen der infinitesimalen Transformation geändert und integriert haben? Wenn nein, wie wurde die Rücktransformation erhalten?
3. Können Sie einfach ersetzen X mit X ^ innerhalb der Funktionen F 1 ( X ) , F 2 ( X ) , H ' ( X ) ?
1. Dies scheint zu allgemein für einen Kommentar zu sein. 2. Nein, direkt aus der endlichen SUSY-Transformation (9,30'''). 3. Ja, wenn Sie daneben stehen ψ 1 .
Ich habe die Antwort aktualisiert.
Ich gehe die gleichen Berechnungen durch und habe einige Zweifel an der Antwort von @Qmechanic. Zuerst bei der Berechnung der inversen Transformation für ψ 1 , Ich erhalte auch einen Begriff, der mit kommt ψ ^ 1 ψ ^ 2 dass ich nicht sehe, warum es abbrechen sollte. Und für die Jacobianer ist das der Grund a ( X ^ ) nicht abgeleitet?