Ist die ϕ4ϕ4\phi^4-Theorie in 4d auf klassischer Ebene konform invariant?

Früher habe ich geglaubt, dass die drei folgenden Aussagen wahr sind (nur auf der klassischen Ebene) :

  1. Aus Skaleninvarianz folgt volle konforme Invarianz.

  2. Skaleninvarianz liegt vor, wenn keine Dimensionsparameter in der Lagrange-Funktion vorhanden sind.

  3. Der Energie-Impuls-Tensor für Skalen- oder konform-invariante Theorie ist spurlos.

Betrachtet man jedoch das spezielle Beispiel der ϕ 4 theorie in 4d fange ich an zu zweifeln. Der Lagrange ist natürlich

L = 1 2 ( ϕ ) 2 G ϕ 4 , S = D 4 X L

Im 4d-Feld ϕ hat die Massendimension 1 und G ist dimensionslos. Die Theorie ist skaleninvariant (wenn unter X ' = λ X Feld transformiert als ϕ ' ( X ' ) = λ 1 ϕ ( X ) ), gemäß Aussage (2).

Mir scheint jedoch, dass die Theorie unter Inversionen (ich werde Sie hier nicht mit meinen fehlgeschlagenen Versuchen belästigen) und ihrem Energie-Impuls-Tensor nicht invariant ist

T μ v = μ ϕ v ϕ δ μ v ( 1 2 ( ϕ ) 2 G ϕ 4 )
ist nicht spurlos
T μ μ = ( 1 D / 2 ) ( ϕ ) 2 + D G ϕ 4 .

  • Meine Frage ist, welche der Behauptungen (1,2,3) tatsächlich wahr sind und wie das alles am Beispiel der funktioniert ϕ 4 Theorie?

Ich betone noch einmal, dass mich hier nur die klassischen Aspekte interessieren.

Sie sollten den Spannungsenergietensor verwenden, den Sie erhalten, indem Sie die variable Ableitung der Aktion mit einer generischen nicht flachen Metrik nehmen G μ v und derart, dass die Aktion auch den Korrekturterm enthält ϕ 2 R / 6 (Verschwinden in der flachen Raumzeit), was es im allgemeinen Sinne konform invariant macht. Wenn Sie setzen G A B = η A B (flache Raumzeit) in der endgültigen Formel für T μ v , sehen Sie, dass ein Begriff jedoch bestehen bleibt (auch wenn R = 0 ) eine verschwindende Spur erzeugt. Dieser verbesserte Spannungsenergietensor unterscheidet sich vom kanonischen.
Ich dachte, dass man die Aktion „kovariantisieren“ muss. Daher ist der Begriff gegeben ϕ 2 R / 6 ist von selbst kovariant. Ich verstehe nicht, warum es enthalten sein muss? Und warum mit diesem bestimmten Koeffizienten usw.? Und was ist mit der Inversionsinvarianz, ist sie da? Wie verändert sich das Feld darunter? Oder könnten Sie vielleicht einfach eine Referenz zu diesem Thema geben?:) Danke!
Der Begriff ϕ 2 R / 6 ist die notwendige für D = 4 , sonst gibt es einen komplizierten Koeffizienten abhängig von N . Eigentlich bin ich mir nicht sicher, ob meine Idee im Wechselwirkungsfall funktioniert G 0 . Sie könnten versuchen, einen Blick in das (sehr alte) Lehrbuch von Birrell und Davies über QFT in gekrümmter Raumzeit zu werfen ...
...Auch das Ende von S.448 von Walds Lehrbuch über GR, wo T μ μ = 0 wird für einen symmetrisch erhaltenen Tensor in Bezug auf konforme Invarianz diskutiert.

Antworten (2)

(1) ist nicht wahr. Typische Gegenbeispiele sind Maxwells Dimensionstheorie D 4 oder die Theorie der Elastizität in 2 Dimensionen . Siehe auch die andere Antwort.

(3) ist auch nicht ganz richtig. Die korrekte Aussage ist, dass eine Theorie unter Skalentransformationen invariant ist, wenn

T μ μ = μ K μ
für einige Betreiber K μ (der in der anderen Antwort erwähnte Virialstrom) und ist unter speziellen konformen Transformationen invariant, wenn
T μ μ = μ v L μ v
für einige L μ v . Dies wird in einem Artikel von Polchinski schön erklärt . Äquivalent, wenn T μ v die obige Bedingung erfüllt, kann es "verbessert" werden, indem ein Begriff hinzugefügt wird, der seine Erhaltungseigenschaft nicht beeinträchtigt, aber die Spur aufhebt.

Explizit ist in Ihrem Beispiel der kanonische Energie-Impuls-Tensor

T C μ v = L ( μ ϕ ) v ϕ η μ v L = μ ϕ v ϕ 1 2 η μ v ρ ϕ ρ ϕ + G η μ v ϕ 4
und der verbesserte Energie-Impuls-Tensor
T μ v = T C μ v D 2 4 ( D 1 ) ( μ v η μ v ) ϕ 2 = 1 2 ( D 1 ) [ D μ ϕ v ϕ η μ v ρ ϕ ρ ϕ ( D 2 ) ϕ μ v ϕ + ( D 2 ) η μ v ϕ ϕ ] + G η μ v ϕ 4
Beide Tensoren erfüllen die Erhaltungseigenschaft v T μ v = v T C μ v = 0 beim Aufstellen der Bewegungsgleichung
ϕ + 4 G ϕ 3 = 0
Aber jetzt können Sie die Spur des verbesserten Energie-Impuls-Tensors überprüfen
T μ μ = D 2 2 ϕ ϕ + D G ϕ 4
verschwindet ebenfalls durch die Bewegungsgleichung in D = 4 .

(Hinweis: Dies ist ein leicht bearbeitetes Duplikat meiner Antwort auf eine andere Frage )

(2) und (3) sind wahr. (1) ist im Allgemeinen (für unitäre Theorien) nicht bekannt.

Es ist wahr in 2d (ich erinnere mich, dass ich ein Papier über ein ähnliches Ergebnis für 3d gesehen habe, aber ich kann es nicht finden), dass Skaleninvarianz und Einheitlichkeit konforme Invarianz implizieren. In allgemeinen Dimensionen trifft dies nur zu, wenn das Virial

v μ = δ L δ ( ρ ϕ ) ( η μ ρ Δ + ich S μ ρ ) ϕ
kann als Divergenz geschrieben werden
v μ = a σ a μ
Wenn dies zutrifft, können Sie den Spannungstensor so modifizieren
T μ μ = μ J D μ
Wo J D ist der Dilatationsstrom. Dann impliziert Skaleninvarianz konforme Invarianz. Siehe Abschnitt 4.2.2 von DiFrancescos Buch, um die vollständige Herleitung zu sehen. Wenn Sie den Energie-Impuls-Tensor so modifizieren können, dass er spurlos wird, ohne seine Erhaltung oder die Ward-Identität zu beeinträchtigen, ist die Theorie im Grunde genommen konform mit (3).

In Ihrem Beispiel können Sie das Virial berechnen und sehen, ob es als Divergenz von etwas anderem geschrieben werden kann. Wenn Sie Erfolg haben, ist es tatsächlich konform.

Weiterführende Literatur zu neuen Entwicklungen auf dem Gebiet der Skaleninvarianz konforme Invarianz:

http://arxiv.org/abs/1309.2921

http://arxiv.org/abs/1402.6322

http://arxiv.org/abs/1505.01152

Im Allgemeinen ist (1) falsch – es gibt Gegenbeispiele (Elastizitätstheorie, topologisch verdrehte Theorien).
@HansMoleman, ich würde nicht falsch sagen, weil es immer noch eine große Klasse von Theorien gibt, bei denen Skalierung konform bedeutet. Gegenbeispiele sind eher eine Ausnahme von der Regel und daher ist es interessant zu verstehen, warum sie sie brechen. Siehe zB den letzten Link, wo sie eine in eine CFT eingebettete SFT betrachten und zeigen, dass erstere trivial sein muss. Es heißt nicht, dass es keine nicht-trivialen SFTs gibt, sondern dass sie exotisch sind, wenn es sie gibt. (Eine Motivation dafür ist, dass RG-Fixpunkte winkeltreu sind).
@HansMoleman Ich könnte hinzufügen, dass ich einheitliche Theorien in Betracht ziehe. Ansonsten stimme ich deiner Aussage zu.