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 mit eine Riemannsche Fläche und eine Riemann-Mannigfaltigkeit der Metrik . sind lokale Koordinate auf und ist koordinieren an . und sind kanonische und antikanonische Linienbündel von (das Bündel von Einsformen der Typen (1,0) bzw. (0,1)) und let und .Die Fermifelder des Modells sind , ein Abschnitt von .
Ich kann die Abschnitte nicht verstehen , und .
Aus meiner Sicht ist das Element von sollte folgende Form haben , und was ist das Element von ? Der Rückzug des Tangentenraums sollte eine Form haben . Aber in einigen Notizen scheint der Autor die (0,1)-Form anzugeben mit Werten drin kann geschrieben werden als befriedigend . Das widerspricht meiner naiven Sichtweise. wo habe ich fehler gemacht Wie man die Abschnitte von versteht , und ?
Danke im Voraus.
Im Allgemeinen das kanonische Bündel 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" 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 ist eine lokale Koordinate an )
Jetzt möchten Sie auch, dass Ihre Entität Werte im Bündel übernimmt .
ist eine Einbettung. In Gedanken an ; (wo ist die Dimensionalität von ) als Koordinaten an , dann hat Ihr gewünschtes Objekt einen Zielraumindex. So wäre zum Beispiel die rechtshändige Version der Komponenten , und der Abschnitt ist
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 , wo ist die komplexe Dimension der Kähler-Mannigfaltigkeit . 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 , 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 dimensionale Spinordarstellung von . Diese Darstellung zerfällt in eine direkte Summe aller antisymmetrischen Darstellungen der Faktor von unter der Reduktion der Strukturgruppe. Aus Sicht der Dimensionszählung ist die Der dimensionale spinorale Repräsentationsraum ist isomorph zur äußeren Algebra des holomorphen Tangentenbündels.
Das Auftreten der Quadratwurzel des kanonischen Bündels ist darauf zurückzuführen, dass der Beitrag der Faktor von Gruppe zur Dirac-Gleichung ist eine abelsche Verbindung, deren Krümmung gerade ist mal die Kähler-Struktur. Dieser Teil sorgt für den Spin Charakter der Fermionenfelder.
Benutzer1504