Stringtheorie - OPE und primäre Operatoren

Zunächst ein Haftungsausschluss: Ich bin neu bei Physics SE und in erster Linie Mathematiker, kein Physiker. Ich entschuldige mich im Voraus für die möglicherweise schlechte Qualität der Frage und danke Ihnen für Ihre Geduld.

Ich versuche derzeit, einige Grundlagen der Stringtheorie zu verstehen, basierend auf dem Skript von D. Tong, verfügbar unter: http://www.damtp.cam.ac.uk/user/tong/string.html . Ich bin sehr verwirrt über die OPE und einige damit zusammenhängende Probleme. (Zur Definition siehe das erwähnte Skript, Seite 69 ff. Ich weiß nicht genug, um zu wissen, was ich hier erwähnen soll). Ich verstehe, dass eine Reihe von "Operatoren" Ö ( z ) sollen an verschiedenen Stellen "eingesetzt" werden z der komplexen Ebene, und die zugrunde liegende Physik soll irgendwie in den singulären Teilen von Ausdrücken kodiert sein Ö 1 ( z ) Ö 2 ( w ) mit w z . Mir ist nicht ganz klar, wie es sein kann, dass die einzelnen Teile irgendwie das einzige zu sein scheinen, was zählt, aber das ist wahrscheinlich zu philosophisch.

Ich hätte gerne eine Erklärung der sogenannten primären Operatoren (Seite 76).

Erstens, was ist die Intuition dahinter? Gibt es eine physische Einheit, die sie darstellen?

Das sagt die Definition Ö ( z ) ist primär , wenn es das OPE mit dem Spannungstensor hat T ( z ) des Formulars:

T ( z ) Ö ( w )   =   H ( z w ) 2 Ö ( w ) + Ö ( w ) z w +

Gleichzeitig heißt es, dass dies nur bedeutet, dass die OPE in zweiter Ordnung endet, also würde es so klingen, als ob es immer so wäre , dass, wenn OPE in zweiter Ordnung endet, die OPE diese besondere Form hat. Ist dies der Fall? Insbesondere scheint es, dass wenn Ö 1 ( z ) ist primär mit H 1 Und Ö 2 ( z ) ist primär mit H 2 , Dann ( Ö 1 + Ö 2 ) ( z ) hat höchstens den Ordnungspol 2 , hat aber kein OPE dieser Form (oder verstehe ich es falsch?).

Primäre Operatoren sind die höchstgewichtigen Vektoren von Darstellungen der konformen Gruppe (mit den entsprechenden Gewichten). In der Praxis brauchen Sie also nie nicht-primäre Operatoren zu studieren. Wenn Ö 1 ist ein Primär mit Gewicht H 1 Und Ö 2 mit H 2 , Dann Ö 1 + Ö 2 ist kein primärer Operator! Unter konformen Abbildungen wird es nicht korrekt transformiert.
Wir interessieren uns nur für die singulären Terme, da diese Art von Ausdrücken normalerweise in Schleifenintegralen erscheint (sobald die 2D-Raumzeit auf dem Zylinder abgebildet ist, werden Integrale über eine Raumscheibe zu Konturintegralen im komplexen Plan, daher der Fokus auf den singulären Beiträgen). . Außerdem basiert die OPE auf der algebraischen Struktur der (unendlichen Anzahl von) Operatoren in der Theorie, D. Tong sagt ein paar Worte darüber in den gleichen Anmerkungen. Und wie von Vibert erklärt Ö 1 + 0 2 ist ein primärer Operator nur für H 1 = H 2 gibt dir ein schön definiertes OPE;)

Antworten (1)

Bedenkt man die T ( z ) Ö ( 0 ) OPE, Sie wollen alle Singularbegriffe aufschreiben. Erstens kann es einzelne Terme geben, die singulärer sind als 1 / z 2 . Wenn sie da sind, bedeutet es das Ö ( 0 ) ist kein "Tensorfeld". Zum Beispiel, T ( z ) selbst ist kein Tensorfeld in CFTs mit C 0 denn es gibt eine C / z 4 Begriff in der OPE.

Allerdings, selbst wenn Ö ( 0 ) ist ein Tensorfeld und die 1 / z 2 Und 1 / z sind die einzigen, die in der OPE erscheinen, das heißt nicht Ö ( 0 ) ist ein primärer Operator. Sehr wahrscheinlich ist es keiner. Was der primäre Operator-Ansatz erfordert, dass der Begriff los ist 1 / z 2 ein Vielfaches des ursprünglichen Operators ist Ö ( 0 ) , Das gleiche!

Der primäre Operator ist also gewissermaßen ein "Eigenzustand" des Spannungs-Energie-Tensors. Die meisten allgemeinen Überlagerungen von Primäroperatoren sind keine Primäroperatoren. Wenn Sie den primären Operator durch die Zustandsoperator-Korrespondenz in einen Zustand im Hilbert-Raum übersetzen, ist er ein Eigenzustand von L 0 und der höchste Zustandsvektor (ein Vektor in einer Darstellung der Virasoro-Algebra mit dem kleinstmöglichen Eigenwert von L 0 unter den Vektoren in der Darstellung). Die Abwesenheit von 1 / z 3 und höhere Singularitäten ist gleichbedeutend mit der Vernichtung des entsprechenden Zustandes durch L N für positive Werte von N ; und dann gibt es die zusätzliche Bedingung "Eigenzustand" darunter L 0 , eine, die im Koeffizienten der gesehen werden kann 1 / z 2 Amtszeit der OPE.

In gewisser Weise ist es unnatürlich, primäre Operatoren mit unterschiedlichen Dimensionen zu kombinieren H in Überlagerungen: Es verstößt gegen die "Dimensionsanalyse", weil diese Operatoren die Einheiten von haben M A S S H .

Also was passiert, wenn ich nehme Ö ( 0 ) sein X μ ( 0 ) . Laut Polchinskis Buch, der OPE T ( z ) X μ ( 0 ) Ist X ( 0 ) z . Warum gibt es keine 1 / z 2 Begriff? Oder in der Notation oben Ö ( w ) ?
Lieber @Afriendlyhelper, es "gibt" einen 1 / z 2 aber sein Koeffizient ist Null, was bedeutet, dass die formale Dimension von X μ ( 0 ) Ist H = 0 . Es ist jedoch kein vollwertiger Tensoroperator der Dimension Null, weil X ( z ) X ( 0 ) ln | z | 2 was kein Potenzgesetz ist z .
Danke für deine Antwort. Ich habe mich nur gefragt, weil Polchinski einfach s sagt T ( z ) X μ ( 0 ) ohne weitere Erläuterungen in Kapitel 2. Es muss also ein kleines Argument (auch bekannt als h = 0) vorgebracht werden, um das OPE wirklich zu sehen, nicht wahr? Trotzdem danke!
Lieber Lumo, kennen Sie eine kürzere als ein ganzes fettes Buch sanfte Einführung in CFT, in der solche und verwandte Themen etwas detaillierter erklärt werden als das, was David McMohan in Kapitel 5 des ST-entmystifizierten Buches erklärt? Ich würde gerne etwas tiefer in CFT graben, aber wenn ich versuchen würde, hier um eine sanfte Einführung zu bitten, würde ein Moderator es sofort schließen, sobald er es bemerkt, also kann ich Sie nur in einem Kommentar fragen :-/