Betreiberprodukterweiterung in CFT

Ich bin auf Polchinskis p39.

  1. Kann mir bitte jemand die Schritte in der Äquivalenz unten sagen?

    exp [ a ' 4 D 2 z 4 D 2 z 5 ln | z 5 z 4 | 2 δ δ X μ ( z 4 , z ¯ 4 ) δ δ X μ ( z 5 , z ¯ 5 ) ]
    × X μ 1 ( z 1 , z ¯ 1 ) X μ 2 ( z 2 , z ¯ 2 ) X μ 3 ( z 3 , z ¯ 3 )
    = X μ 1 ( z 1 , z ¯ 1 ) X μ 2 ( z 2 , z ¯ 2 ) X μ 3 ( z 3 , z ¯ 3 ) + a ' 2 η μ 1 μ 2 ln | z 2 z 1 | 2 X μ 3 ( z 3 , z ¯ 3 ) + ( 2  Permutationen )   ?

  2. Warum wirken die Schwankungen in der Exponentialfunktion weiter X μ 1 ( z 1 , z ¯ 1 ) X μ 2 ( z 2 , z ¯ 2 ) X μ 3 ( z 3 , z ¯ 3 ) ?

  3. Wie genau funktioniert die Integration in die Exponentialfunktion und wie ergibt die Potenzierung RHS?

  4. Die Permutationen sehen vernünftig aus, aber der erste Begriff auf RHS kommt von wann exp [ . . . ] = 1 ?

Hinweis: In Ihrem Fall wird die Exponentialfunktion praktisch auf die beiden ersten Terme reduziert e X = 1 + X
Danke - genau das habe ich gebraucht. Sehr dumm von mir!

Antworten (1)

Beachten Sie zunächst, dass die Anordnung der radialen Operatoren R ist in vielen Lehrbüchern der CFT implizit impliziert (z. B. Ref. 1). Zum Beispiel Gl. (2.2.7) auf p. 39 in Art.-Nr. 1 diskutiert den Satz von Wick zwischen zwei Operator-Ordnungsvorschriften. In diesem Fall zwischen normaler Bestellung :   : und radiale Anordnung R . Siehe auch zB diesen Phys.SE Beitrag. Die grundlegende 2-Punkt-Beziehung des Satzes von Wick lautet

(1) : X ^ ich X ^ J :   =   R ( X ^ ich X ^ J ) + C ich J ,

wo die sogenannte Kontraktion C ich J wird als a angenommen C -Nummer. [Etwas präziser: C ich J wird als zentrales Element angenommen.] Hier die Indizes ich , J , k , sind eine Abkürzung für alle möglichen diskreten und kontinuierlichen Bezeichnungen der Operatoren X ^ ich , X ^ J , X ^ k , , vgl. Kondensierte DeWitt-Notation .

OPs gesuchte 3-Punkte-Beziehung des Wickschen Theorems ist 1

(2) : X ^ ich X ^ J X ^ k :   =   R ( X ^ ich X ^ J X ^ k ) + C ich J R ( X ^ k ) + C ich k R ( X ^ J ) + R ( X ^ ich ) C J k .

Gl. (1) und (2) lassen sich formal zu Gl. (2.2.7) von Lit. 1

(3) : F :   =   exp ( 1 2 ich , J C ich J X ^ ich X ^ J ) R ( F ) ,

wo der Betreiber F ist eine Funktion der Operatoren X ^ ich . Beachten Sie, dass die Operatoren unter den beiden Ordnungssymbolen als kommutative Objekte behandelt werden :   : Und R . Gl. (3) ist eine bequeme formale Abkürzung/Mnemonik für die verschiedenen N -Punktbeziehungen des Satzes von Wick.

Verweise:

  1. J. Polchinski, Stringtheorie, Bd. 1; S.39.

--

1 In dieser Antwort haben wir der Einfachheit halber angenommen, dass alle Operatoren X ^ ich sind Grassmann-gleich. Wenn einige der Betreiber X ^ ich Grassmann-ungerade sind, gibt es zusätzliche Vorzeichenfaktoren in Gl. (2) und (3).