Wie kann man Worldsheet Fermion als Abschnitt verstehen?

Ich lese Wittens Artikel über topologische Zeichenfolgen und habe festgestellt, dass einige mathematische Notationen für mich schwer zu verstehen sind. Betrachten Sie das nichtlineare Sigma-Modell in zwei Dimensionen, die von Karten bestimmt werden Φ : Σ X mit Σ eine Riemannsche Fläche und X eine Riemann-Mannigfaltigkeit der Metrik g . z , z ¯ sind lokale Koordinate auf Σ und ϕ ich ist koordinieren an X . K und K ¯ sind kanonische und antikanonische Linienbündel von Σ (das Bündel von Einsformen der Typen (1,0) bzw. (0,1)) und let K 1 / 2 und K ¯ 1 / 2 .Die Fermifelder des Modells sind ψ + ich , ein Abschnitt von K 1 / 2 Φ ( T X ) .

Ich kann die Abschnitte nicht verstehen K 1 / 2 , Φ ( T X ) und K 1 / 2 Φ ( T X ) .

Aus meiner Sicht ist das Element von K sollte folgende Form haben a z d z K , und was ist das Element von K 1 / 2 ? Der Rückzug des Tangentenraums sollte eine Form haben Φ ( β ich ϕ ich ) = β ich 1 ϕ ich z z . Aber in einigen Notizen scheint der Autor die (0,1)-Form anzugeben ψ ich mit Werten drin Φ ( T 1 , 0 X ) kann geschrieben werden als ψ z ¯ ich befriedigend ψ ψ z ¯ ich d z ¯ ϕ ich . Das widerspricht meiner naiven Sichtweise. wo habe ich fehler gemacht Wie man die Abschnitte von versteht K 1 / 2 , Φ ( T X ) und K 1 / 2 Φ ( T X ) ?

Danke im Voraus.

Zusätzlich zu den anderen Antworten sollte ich darauf hinweisen, dass man beim Lesen dieses Papiers darauf achten muss, ob Witten eine QFT oder die damit verbundene „verdrehte“ QFT diskutiert. Letzteres beinhaltet keine Quadratwurzeln des kanonischen Bündels. Sie können sich selbst verwirren, indem Sie versuchen, Formeln aus den verdrehten und unverdrehten Theorien zuzuordnen.

Antworten (2)

Im Allgemeinen das kanonische Bündel K ist das Bündel von n-Formen auf einer n-dimensionalen Mannigfaltigkeit. Da Ihre Riemann-Fläche Σ ist ein (komplex)dimensional, es ist nur das (Linien-)Bündel von holomorphen Ein-Formen. Die Quadratwurzel" K 1 2 ist das Bündel von Dingen, die sich auf eine Weise transformieren, die eine Art Quadratwurzel aus der Transformation der holomorphen Form ist. Wenn also unter einer Worldsheet-Koordinatentransformation (where z ist eine lokale Koordinate an Σ )

z e ich a z
eine Eins-Form verwandelt sich als
ω e ich a ω
dann wollen wir für die Quadratwurzel etwas Transformierendes als
ψ e ich a 2 ψ
Dies ist nur ein rechtshändiger Worldsheet-Spinor. Wenn es ein RH ist, ist es gekennzeichnet ψ + und wenn es stattdessen mit a transformiert wird a 2 , es ist LH und bezeichnet ψ

Jetzt möchten Sie auch, dass Ihre Entität Werte im Bündel übernimmt ϕ ( T X ) .

ϕ : Σ X ist eine Einbettung. In Gedanken an ϕ ich ; ich = 1.. N (wo N ist die Dimensionalität von X ) als Koordinaten an X , dann hat Ihr gewünschtes Objekt einen Zielraumindex. So wäre zum Beispiel die rechtshändige Version der Komponenten ψ + ich , und der Abschnitt ist

ψ + ich ( z ) ϕ ich

ψ + ich ( z ) ϕ scheint Werte aufzunehmen T X statt Φ ( T X ) , warum nicht irgendeine Form von ψ + ich 1 ϕ ich z z ? Was ist der Unterschied der Abschnitte von K 1 / 2 , Φ ( T X ) und K 1 / 2 Φ ( T X ) ?
Wenn ich ein Vektorbündel habe v Über X , dann die Faser des Pullback-Bündels ϕ ( v ) Über p Σ ist nur die Faser von v Über Φ ( p ) , also seit Φ Hier ist eine Einbettung, ich kann nur mit dem Bild arbeiten Σ und beschränken Sie das betreffende Bündel (in diesem Fall das Tangentialbündel) auf dieses Bild.
Entschuldigung für das Wiederaufleben dieser Diskussion. Nur um sicherzugehen, dass ich das Ergebnis von all dem verstehe: Machen Sie die Spinors ψ + und ψ entsprechen den Abschnitten der Spinorbündel S = K 1 / 2 und S = K ¯ 1 / 2 beziehungsweise? Während ψ + ich ϕ ich und ψ ich ϕ ich sind Abschnitte von K 1 / 2 × ϕ ( T X ) und K ¯ 1 / 2 × ϕ ( T X ) bzw.?

Spinoren sind Abschnitte des Spinorbündels. Die von Witten angegebene Zerlegung des Spinorbündels gilt auf Kähler-Mannigfaltigkeiten, von denen Riemann-Flächen Spezialfälle darstellen. Das Spinorbündel hat eine Strukturgruppe S Ö ( 2 N ) , wo N ist die komplexe Dimension der Kähler-Mannigfaltigkeit M . Diese Gruppe reduziert sich aufgrund der Existenz einer Kähler-Struktur auf U(N). (Das bedeutet, wenn man den gekrümmten Raum auf die Dirac-Gleichung schreibt M , hat es die Form einer geeichten Dirac-Gleichung im flachen Raum, die mit einem U(N)-Eichfeld gekoppelt ist).

Der Raum der Abschnitte des Spinorbündels gehört a 2 N dimensionale Spinordarstellung von S Ö ( 2 N ) . Diese Darstellung zerfällt in eine direkte Summe aller antisymmetrischen Darstellungen der S U ( N ) Faktor von U ( N ) unter der Reduktion der Strukturgruppe. Aus Sicht der Dimensionszählung ist die 2 N Der dimensionale spinorale Repräsentationsraum ist isomorph zur äußeren Algebra Λ ( 0 , ) ( M ) des holomorphen Tangentenbündels.

Das Auftreten der Quadratwurzel des kanonischen Bündels ist darauf zurückzuführen, dass der Beitrag der U ( 1 ) Faktor von U ( N ) Gruppe zur Dirac-Gleichung ist eine abelsche Verbindung, deren Krümmung gerade ist N 2 mal die Kähler-Struktur. Dieser Teil sorgt für den Spin 1 2 Charakter der Fermionenfelder.