Ableitung der Polyakov-Aktion

Wie normalerweise bei der ersten Präsentation der Stringtheorie, der Nambu-Goto-Aktion,

S NG := T d τ d σ g
( g := det ( g a β ) ist die induzierte Metrik auf dem Weltblatt und T ist eine positive reelle Zahl, die als Saitenspannung interpretiert wird), wird als natürliche Verallgemeinerung der Aktion für ein relativistisches Punktteilchen eingeführt, was wiederum offensichtlich eine korrekte Aktion ist, da es die richtigen Bewegungsgleichungen erzeugt (und eine schöne geometrische Interpretation hat). .

Nicht lange nach der Einführung der Nambu-Goto-Aktion neigen Autoren dazu, die Polyakov-Aktion einzuführen,

S P := T 2 d τ d σ h h a β g a β = T 2 d τ d σ h h a β a X β X = T 2 d τ d σ h h a β a X κ β X λ G κ λ ( X ) ,
wo G κ λ ist die Raum-Zeit-Metrik, g a β ist die induzierte Metrik auf dem Weltblatt, und h a β ist die Hilfsmetrik auf dem Weltblatt ( h := det ( h a β ) ). Sie zeigen dann normalerweise, dass diese beiden Aktionen äquivalent sind, in dem Sinne, dass Sie die Bewegungsgleichungen für ableiten können S NG gegeben die Bewegungsgleichungen für S P .

Nun, das ist alles schön und gut, aber das zeigt nicht gerade, wie man eigentlich auf die Polyakov-Aktion kommen würde. Als theoretischer Physiker kann man es nicht schaffen, Dinge gedankenlos zu berechnen, um zu zeigen, dass man die richtige Antwort bekommt; Sie müssen in der Lage sein, tatsächlich Dinge zu erfinden. Anstatt also einfach die Polyakov-Aktion aus dem Hut zu ziehen, wäre es schön, einen Weg zu kennen, um die Aktion abzuleiten oder zu motivieren.

Stellen Sie sich also vor, Sie würden ausgehändigt S NG und Sie haben sich vorgenommen, eine äquivalente Aktion zu entwickeln, die zumindest keine Quadratwurzel beinhaltet. Wie kommen Sie auf die Polyakov-Aktion?

Beachten Sie, dass die Bewegungsgleichungen von S P Fügen Sie die Bewegungsgleichung der Metriken hinzu, die die Visaroso-Einschränkung ergibt: T a b = 0 , und dies ist notwendig, um sich zu erholen S N G aus S P . Die Bewegungsgleichung der X μ zum S P , allein, gibt nicht die Bewegungsgleichung der X μ zum S N G .
Siehe auch : physical.stackexchange.com/q/240065/2451 . Für die entgegengesetzte Frage, von der Polyakov-Aktion zur Nambu-Goto-Aktion zu wechseln, siehe physical.stackexchange.com/q/17349/2451 und darin enthaltene Links.

Antworten (4)

I) Die größte kosmetische Ähnlichkeit zwischen der Nambu-Goto-Aktion und der Polyakov-Aktion wird erreicht, wenn wir sie so schreiben

(1) S N G   =   T 0 c d 2 v Ö l   det ( M ) 1 2 ,

und

(2) S P   =   T 0 c d 2 v Ö l   t r ( M ) 2 ,

beziehungsweise. Hier h a b ist eine Auxiliary World-Sheet (WS)-Metrik mit Lorentzscher Signatur ( , + ) , dh minus in zeitlicher WS-Richtung;

(3) d 2 v Ö l   :=   h   d τ d σ

ist eine Diffeomorphismus-invariante WS-Volumenform (eigentlich eine Fläche);

(4) M a c   :=   ( h 1 ) a b γ b c

ist ein gemischter Tensor; und

(5) γ a b   :=   ( X G ) a b   :=   a X μ   b X v   G μ v ( X )

ist die induzierte WS-Metrik durch Zurückziehen der Zielraum(TS)-Metrik G μ v mit Lorentz'scher Signatur ( , + , , + ) .

Beachten Sie, dass die Nambu-Goto-Aktion (1) tatsächlich nicht von der Hilfs-WS-Metrik abhängt h a b überhaupt, während die Polyakov-Aktion (2) dies tut.

II) Bekanntlich wird durch Variation der Polyakov-Wirkung (2) bzgl. die WS-Metrik h a b führt dazu, dass die 2 × 2 Matrix

(6) M a b     t r ( M ) 2 δ b a     δ b a

muss proportional sein 2 × 2 Einheitsmatrix auf der Schale. Dies impliziert das

(7) det ( M ) 1 2     t r ( M ) 2 ,

damit die beiden Aktionen (1) und (2) auf der Schale zusammenfallen, siehe zB die Wikipedia - Seite. (Hier die Symbol bedeutet Gleichheit modulo eom.)

III) Stellen wir uns nun vor, wir kennen nur die Nambu-Goto-Aktion (1) und nicht die Polyakov-Aktion (2). Die einzigen Diffeomorphismus-invarianten Kombinationen der Matrix M a b sind ausschlaggebend det ( M ) , die Spur t r ( M ) , und Funktionen davon.

Wenn außerdem die TS-Metrik G μ v dimensionsbehaftet ist, und wir fordern, dass die Aktion in dieser Dimension linear ist, führt uns dies dazu, Aktionsterme der Form zu betrachten

(8) S   =   T 0 c d 2 v Ö l   det ( M ) p 2 ( t r ( M ) 2 ) 1 p ,

wo p R ist eine echte Macht. Alternativ führt uns die Weyl-Invarianz dazu, die Aktion (8) zu betrachten. Offensichtlich ist die Polyakov-Aktion (2) (entsprechend p = 0 ) ist nicht weit entfernt, wenn wir einfache ganzzahlige Potenzen in unserer Aktion haben möchten.

Quantensysteme werden im Wesentlichen durch ihre Symmetrien definiert. Zum Beispiel erwarten Sie in QFTs, dass alle Terme, die nicht durch die Symmetrien des Problems verboten sind, im Lagrange erscheinen, wobei irrelevante Operatoren durch große Maßstäbe unterdrückt werden usw.

Ich denke also, dass Ihr erster Schritt bei diesem Ansatz darin bestehen würde, die allgemeinste 2D-QFT unter Berücksichtigung der 2D-Diff- und internen Poincare-Symmetrien aufzuschreiben. Die Diff-Symmetrie motiviert Sie, eine dynamische Metrik einzuführen, da Sie bereits etwas Ähnliches für das Punktteilchen getan haben. Das bringt Sie nicht ganz zur Polyakov-Aktion, da die Polyakov-Aktion eine Weyl-Symmetrie hat, die die NG-Aktion nicht hat. Sie haben einen falschen Freiheitsgrad auf dem Worldsheet eingeführt, der in der NG-Aktion nicht vorhanden war, also brauchen Sie ein lokales Symmetrieprinzip, um die redundanten Freiheitsgrade zu entfernen. Ich kenne keinen bestimmten Weg, um zu begründen, dass diese Symmetrie Weyl-Invarianz sein muss, vielleicht tut es jemand anderes.

Aber sobald Sie glauben, dass die Theorie einen lokalen Lagrangian mit Diff-, Poincare- und Weyl-Symmetrien haben sollte, bleiben Sie im Grunde bei der Polyakov-Aktion hängen. Die Polyakov-Aktion (mit dem Euler-charakteristischen Begriff) ist die allgemeinste 2D-Aktion mit den Diff-, Poincaré- und Weyl-Symmetrien und dem zugehörigen Feldinhalt (Polchinski S. 15).

Das Leitprinzip sollten also die Symmetrien der NG-Wirkung sein.

+1: Wissen Sie zufällig, inwieweit das, was Sie beschreiben, mit der Geschichte übereinstimmt? Ich weiß, dass Deser/Zumino und Brink/Di Vecchia die Handlung im Wesentlichen zur gleichen Zeit niedergeschrieben haben; Ich frage mich, ob ihr Prozess hauptsächlich von Symmetrien beeinflusst wurde.
(Mögliches) Argument für die Weyl-Invarianz: Sie führen ein unphysikalisches Feld ein h μ v was wie eine Metrik auf dem Worldsheet sein soll, aber Sie müssen es loswerden. h μ v hat drei Freiheitsgrade, und es müssen so viele Symmetrien vorhanden sein, um sie alle zu eliminieren. Diffe kümmert sich um zwei, lässt aber einen Freiheitsgrad ( d e t ( h ) oder R der Ricci-Skalar). Weyl-Transformationen sind die einzige Möglichkeit, das zu beseitigen. Tatsächlich sind alle (hinreichend glatten etc.) zweidimensionalen Mannigfaltigkeiten konform flach. Bingo.
Das gefällt mir, aber diese Methode überzeugt mich nicht wirklich davon, dass das Einfügen eines weiteren Hilfsfelds der richtige Weg ist. Nehmen wir an, wir wollen in der QFT eine Theorie mit einem komplexen Skalarfeld mit a U ( 1 ) Symmetrie. Natürlich könnten wir immer noch andere Felder in die Theorie einführen, aber das tut man normalerweise nicht, es sei denn, man wollte von vornherein die zusätzlichen Felder. Und selbst wenn Sie entscheiden, dass die Einführung eines neuen Bereichs der richtige Weg ist, warum sollten Sie bei einem aufhören? Sicherlich könnten wir zwei neue Felder hinzufügen, die alle gewünschten Symmetrien respektieren. . .
. . . Und zum Teufel, wenn wir noch ein weiteres Feld hinzufügen, könnten wir wahrscheinlich eine weitere Symmetrie damit bekommen.
. . . Man könnte natürlich sagen, dass die einfachste, die funktioniert, der richtige Weg ist (in diesem Fall eine Aktion mit nur einem zusätzlichen Feld). Trotzdem muss ich zugeben, dass ich mit dieser Antwort nicht ganz zufrieden bin.
Ich denke, es ist möglich, die Einführung der Metrik mit Ihrem Kriterium in der Frage zu motivieren. Sie möchten die Quadratwurzel loswerden, um zu einem lokalen Lagrangian für die physikalischen Felder zu gelangen. Da Sie eine Quantisierung planen, sollten Sie auch tatsächlich wollen, dass Ihre physikalischen Felder X den kanonischen kinetischen Term mit zwei Ableitungen haben. Wir können nicht einfach den gewöhnlichen kinetischen Begriff verwenden, er wird nicht Diff-invariant sein (wenn es so wäre, wäre Eichfixierung mit konformer Eichung keine Eichfixierung). Also sollten wir diese Skalare eigentlich minimal an die Gravitation koppeln. Also tauschen wir sqrt(dXdx) gegen sqrt(h)
Was die Einführung von mehr Feldern und das Finden von mehr Symmetrien betrifft, so müssen wir natürlich tun, um realistische Modelle mit fermionischen Freiheitsgraden zu erhalten. Fügen Sie Worldsheet-Fermionen hinzu, finden Sie die superkonforme Worldsheet-Invarianz usw. In diesem Sinne ist die NG-Aktion nur ein Ausgangspunkt.

Die Lösung finden Sie im Artikel hier . Die Idee ist, angenommen, Sie haben eine Startaktion für ein Objekt, dessen Ausdehnung (räumlich) p -dimensional. Es kann durch die Einführung eines zusätzlichen "abstrakten" Weltvolumens beschrieben werden Σ die in spacetima via eingebettet wird X : Σ M seines Weltvolumens Σ an M . Nehmen Sie an, dass es durch die Nambu-Goto-Aktion beschrieben wird

S ( X ) = T d p + 1 ξ h ,
wo h = X G ist die induzierte Metrik und G ist die Metrik an M . Da diese Aktion in Bezug auf rein geometrische Objekte geschrieben wird, ist sie unter den Diffeormorphismen von unveränderlich Σ . Dies sollte der Fall sein, da dieser Raum Hilfsraum war.

Nun, nur um eine vernünftige Geschichte zu machen, nehmen wir an, dass wir ein Spielzeugmodell der Schwerkraft bauen wollen, indem wir eine intrinsische Metrik platzieren g an Σ was die obige Theorie beschreibt. Eine systematische Lösung für dieses Problem besteht darin, dieselbe Aktion mit der zusätzlichen Einschränkung zu betrachten, die erzwingt g = h . Dies nimmt die Form an

S ( X , g , Λ ) = T d p + 1 ξ ( g + Λ a b ( h a b g a b ) ) ,
für einen Lagrange-Multiplikator Λ was ein dichtewertiges Tensorprodukt zweier Vektoren ist. Die durch Variieren des Lagrange-Multiplikators erhaltenen Bewegungsgleichungen ergeben eindeutig die gewünschte Einschränkung, und wenn wir diese wieder einsetzen, erhalten wir die Nambu-Goto-Aktion.

Ein anderer Weg wird jedoch erhalten, indem stattdessen die Bewegungsgleichungen betrachtet werden, die durch Variieren der erhaltenen intrinsischen Metrik erhalten werden

1 2 g g a b = Λ a b .
Setzen wir dies wieder ein, erhalten wir die Polyakov-Aktion
S ( X , g ) = T 2 d p + 1 ξ g ( g a b h a b + 1 p ) .
Insbesondere für die Saite p = 1 und wir erhalten die übliche Polyakov-Form.

Interessierten kann ich den zitierten Artikel wirklich empfehlen. Es hat auch eine nette Methode, um Aktionen zu erhalten, die Weyl-invariant sind.

Ich war sehr traurig, als ich vom Tod der OP erfahren habe. Ich fand sein Engagement auf dieser Seite und seine Schriften während meines gesamten Studiums sehr nützlich.

Vielleicht übersehen Sie hier einen grundlegendsten Punkt. Ich glaube, Ihr Argument geht in die Richtung "Wie kann man Aktionen für bestimmte Theorien erfinden, um die Bewegungsgleichungen zu erhalten?". So funktioniert es nicht. Die Aktion kommt von der Lagrange-Funktion, die die Dynamik des Systems darstellt. Die Lagrange-Funktion wird dann über alle Dimensionen integriert. DAS ist, was (ist) die AKTION ergibt. Es wird nicht „aus der Luft gegriffen“, sondern aus der Dynamik des Systems . Dh. aus greifbaren, realen physikalischen Sachverhalten .