Polyakov eylemi - Polyakov action

İçinde fizik, Polyakov eylemi bir aksiyon of iki boyutlu konformal alan teorisi tanımlayan dünya sayfası bir dizenin sicim teorisi. Tarafından tanıtıldı Stanley Deser ve Bruno Zumino ve bağımsız olarak L. Brink, P. Di Vecchia ve P. S. Howe ("Eğirme dizisi için yerel olarak süper simetrik ve yeniden değerleme değişmez eylemi" içinde, Fizik Harfleri B, 65, s. 369 ve 471) ve Alexander Polyakov ipi nicemlemede kullandıktan sonra ("Bozonik dizginin kuantum geometrisinde", Fizik Harfleri B, 103, 1981, s. 207). Eylem okur

{ displaystyle { mathcal {S}} = {T over 2} int mathrm {d} ^ {2} sigma { sqrt {-h}} h ^ {ab} g _ { mu nu} (X) kısmi _ {a} X ^ { mu} ( sigma) kısmi _ {b} X ^ { nu} ( sigma)}

nerede ${ displaystyle T}$ dize gerginlik, ${ displaystyle g _ { mu nu}}$ metriği hedef manifold, ${ displaystyle h_ {ab}}$ dünya tablosu metriğidir, ${ displaystyle h ^ {ab}}$ tersi ve ${ displaystyle h}$ belirleyicidir ${ displaystyle h_ {ab}}$ . metrik imza zaman benzeri yönler + ve uzay benzeri yönler - olacak şekilde seçilir. Uzay benzeri dünya haritası koordinatı denir ${ displaystyle sigma}$ zaman benzeri dünya çizelgesi koordinatı çağrılırken ${ displaystyle tau}$ . Bu aynı zamanda doğrusal olmayan sigma modeli.^[1]

Polyakov eylemi, Liouville eylemi dizi dalgalanmalarını tanımlamak için.

Küresel simetriler

N.B .: Burada, iki boyutlu teori (dünya sayfasında) bakış açısından bir simetrinin yerel veya küresel olduğu söyleniyor. Örneğin, uzay-zamanın yerel simetrileri olan Lorentz dönüşümleri, dünya tablosundaki teorinin küresel simetrileridir.

Eylem değişmez uzay zamanı altında çeviriler ve sonsuz küçük Lorentz dönüşümleri:

(ben)

{ displaystyle X ^ { alpha} sağ X ^ { alpha} + b ^ { alpha}}

(ii)

{ displaystyle X ^ { alpha} rightarrow X ^ { alpha} + omega _ { beta} ^ { alpha} X ^ { beta}}

nerede ${ displaystyle omega _ { mu nu} = - omega _ { nu mu}}$ ve ${ displaystyle b ^ { alpha}}$ sabittir. Bu oluşturur Poincaré simetrisi hedef manifoldun.

(İ) altındaki değişmezlik eylemden beri takip eder ${ displaystyle { mathcal {S}}}$ sadece ilk türevine bağlıdır ${ displaystyle X ^ { alpha}}$ . (İi) altındaki değişmezliğin kanıtı aşağıdaki gibidir:

${ displaystyle { mathcal {S}} ',}$	${ displaystyle = {T over 2} int mathrm {d} ^ {2} sigma { sqrt {-h}} h ^ {ab} g _ { mu nu} kısmi _ {a} sol (X ^ { mu} + omega _ { delta} ^ { mu} X ^ { delta} sağ) kısmi _ {b} left (X ^ { nu} + omega _ { delta} ^ { nu} X ^ { delta} sağ) ,}$
	${ displaystyle = { mathcal {S}} + {T over 2} int mathrm {d} ^ {2} sigma { sqrt {-h}} h ^ {ab} left ( omega _ { mu delta} kısmi _ {a} X ^ { mu} kısmi _ {b} X ^ { delta} + omega _ { nu delta} kısmi _ {a} X ^ { delta} kısmi _ {b} X ^ { nu} sağ) + O ( omega ^ {2}) ,}$
	${ displaystyle = { mathcal {S}} + {T over 2} int mathrm {d} ^ {2} sigma { sqrt {-h}} h ^ {ab} left ( omega _ { mu delta} + omega _ { delta mu} right) bölümlü _ {a} X ^ { mu} bölümlü _ {b} X ^ { delta} + O ( omega ^ { 2}) = { mathcal {S}} + O ( omega ^ {2})}$

Yerel simetriler

Eylem değişmez dünya sayfası altında diffeomorfizmler (veya dönüşümleri koordine eder) ve Weyl dönüşümleri.

Diffeomorfizmler

Aşağıdaki dönüşümü varsayalım:

{ displaystyle sigma ^ { alpha} rightarrow { tilde { sigma}} ^ { alpha} sol ( sigma, tau sağ)}

Dönüştürür metrik tensör Aşağıdaki şekilde:

{ displaystyle h ^ {ab} ( sigma) rightarrow { tilde {h}} ^ {ab} = h ^ {cd} ({ tilde { sigma}}) { frac { kısmi { sigma } ^ {a}} { bölümlü { tilde { sigma}} ^ {c}}} { frac { bölümlü { sigma} ^ {b}} { bölümlü { tilde { sigma}} ^ {d}}}}

Bunu görebiliriz:

{ displaystyle { tilde {h}} ^ {ab} { frac { kısmi} { kısmi { sigma} ^ {a}}} X ^ { mu} ({ tilde { sigma}}) { frac { kısmi} { kısmi { sigma} ^ {b}}} X ^ { nu} ({ tilde { sigma}}) = h ^ {cd} ({ tilde { sigma} }) { frac { bölümlü { sigma} ^ {a}} { bölümlü { tilde { sigma}} ^ {c}}} { frac { bölümlü { sigma} ^ {b}} { kısmi { tilde { sigma}} ^ {d}}} { frac { bölümlü} { bölümlü { sigma} ^ {a}}} X ^ { mu} ({ tilde { sigma} }) { frac { kısmi} { kısmi { sigma} ^ {b}}} X ^ { nu} ({ tilde { sigma}}) = h ^ {ab} ({ tilde { sigma}}) { frac { kısmi} { bölümlü { tilde { sigma}} ^ {a}}} X ^ { mu} ({ tilde { sigma}}) { frac { kısmi } { kısmi { tilde { sigma}} ^ {b}}} X ^ { nu} ({ tilde { sigma}})}

Biri bilir ki Jacobian Bu dönüşümün oranı:

{ displaystyle mathrm {J} = mathrm {det} sol ({ frac { kısmi { tilde { sigma}} ^ { alpha}} { kısmi sigma ^ { beta}}} sağ)}

bu şunlara yol açar:

{ displaystyle mathrm {d} ^ {2} { tilde { sigma}} = mathrm {J} mathrm {d} ^ {2} sigma ,}

{ displaystyle h = mathrm {det} sol (h_ {ab} sağ) rightarrow { tilde {h}} = mathrm {J} ^ {2} h ,}

ve biri şunu görüyor:

{ displaystyle { sqrt {- { tilde {h}}}} mathrm {d} ^ {2} { sigma} = { sqrt {-h ({ tilde { sigma}})}} matematik {d} ^ {2} { tilde { sigma}}}

bu dönüşümü özetlemek ve yeniden etiketlemek ${ displaystyle { tilde { sigma}} = sigma}$ eylemin değişmediğini görüyoruz.

Weyl dönüşümü

Varsayalım Weyl dönüşümü:

{ displaystyle h_ {ab} rightarrow { tilde {h}} _ {ab} = Lambda ( sigma) h_ {ab}}

sonra:

{ displaystyle { tilde {h}} ^ {ab} = Lambda ^ {- 1} ( sigma) h ^ {ab}}

{ displaystyle mathrm {det} ({ tilde {h}} _ {ab}) = Lambda ^ {2} ( sigma) mathrm {det} (h_ {ab})}

Ve sonunda:

${ displaystyle { mathcal {S}} ',}$	${ displaystyle = {T over 2} int mathrm {d} ^ {2} sigma { sqrt {- { tilde {h}}}} { tilde {h}} ^ {ab} g_ { mu nu} (X) kısmi _ {a} X ^ { mu} ( sigma) kısmi _ {b} X ^ { nu} ( sigma) ,}$
	${ displaystyle = {T over 2} int mathrm {d} ^ {2} sigma { sqrt {-h}} sol ( Lambda Lambda ^ {- 1} sağ) h ^ {ab } g _ { mu nu} (X) kısmi _ {a} X ^ { mu} ( sigma) kısmi _ {b} X ^ { nu} ( sigma) = { mathcal {S} }}$

Ve eylemin değişmez olduğu görülebilir. Weyl dönüşümü. Eylemleri dünya sayfası alanı / hiper alanıyla orantılı olan n boyutlu (uzamsal) genişletilmiş nesneleri düşünürsek, n = 1 olmadıkça, karşılık gelen Polyakov eylemi Weyl simetrisini bozan başka bir terim içerecektir.

Biri tanımlanabilir stres-enerji tensörü:

{ displaystyle T ^ {ab} = { frac {-2} { sqrt {-h}}} { frac { delta S} { delta h_ {ab}}}}

Tanımlayalım:

{ displaystyle { şapka {h}} _ {ab} = exp sol ( phi ( sigma) sağ) h_ {ab}}

Yüzünden Weyl simetrisi eylem bağlı değildir ${ displaystyle phi}$ :

{ displaystyle { frac { delta S} { delta phi}} = { frac { delta S} { delta { hat {h}} _ {ab}}} { frac { delta { hat {h}} _ {ab}} { delta phi}} = - { frac {1} {2}} { sqrt {-h}} , T_ {ab} , e ^ { phi} , h ^ {ab} = - { frac {1} {2}} { sqrt {-h}} , T _ { a} ^ {a} , e ^ { phi} = 0 Rightarrow T _ { a} ^ {a} = 0,}

nerede kullandık fonksiyonel türev zincir kuralı.

Nambu – Goto ile ilişki

Yazma Euler – Lagrange denklemi için metrik tensör ${ displaystyle h ^ {ab}}$ biri şunu elde eder:

{ displaystyle { frac { delta S} { delta h ^ {ab}}} = T_ {ab} = 0}

Ayrıca şunu bilmek:

{ displaystyle delta { sqrt {-h}} = - { frac {1} {2}} { sqrt {-h}} h_ {ab} delta h ^ {ab}}

Eylemin varyasyonel türevini yazabiliriz:

{ displaystyle { frac { delta S} { delta h ^ {ab}}} = { frac {T} {2}} { sqrt {-h}} sol (G_ {ab} - { frac {1} {2}} h_ {ab} h ^ {cd} G_ {cd} sağ)}

nerede ${ displaystyle G_ {ab} = g _ { mu nu} kısmi _ {a} X ^ { mu} kısmi _ {b} X ^ { nu}}$ bu şunlara yol açar:

{ displaystyle T_ {ab} = T sol (G_ {ab} - { frac {1} {2}} h_ {ab} h ^ {cd} G_ {cd} sağ) = 0}

{ displaystyle G_ {ab} = { frac {1} {2}} h_ {ab} h ^ {cd} G_ {cd}}

{ displaystyle G = mathrm {det} sol (G_ {ab} sağ) = { frac {1} {4}} h sol (h ^ {cd} G_ {cd} sağ) ^ {2 }}

Yardımcı ise dünya sayfası metrik tensör ${ displaystyle { sqrt {-h}}}$ hareket denklemlerinden hesaplanır:

{ displaystyle { sqrt {-h}} = { frac {2 { sqrt {-G}}} {h ^ {cd} G_ {cd}}}}

ve eyleme geri döndüğünde, Nambu – Goto harekete geç:

{ displaystyle S = {T over 2} int mathrm {d} ^ {2} sigma { sqrt {-h}} h ^ {ab} G_ {ab} = {T over 2} int mathrm {d} ^ {2} sigma { frac {2 { sqrt {-G}}} {h ^ {cd} G_ {cd}}} h ^ {ab} G_ {ab} = T int mathrm {d} ^ {2} sigma { sqrt {-G}}}

Ancak Polyakov eylemi daha kolay nicelleştirilmiş Çünkü o doğrusal.

Hareket denklemleri

Kullanma diffeomorfizmler ve Weyl dönüşümü, Birlikte Minkowskian hedef alanı fiziksel olarak önemsiz dönüşümler yapılabilir ${ displaystyle { sqrt {-h}} h ^ {ab} rightarrow eta ^ {ab}}$ , böylece eylemi konformal gösterge:

{ displaystyle { mathcal {S}} = {T over 2} int mathrm {d} ^ {2} sigma { sqrt {- eta}} eta ^ {ab} g _ { mu nu} (X) kısmi _ {a} X ^ { mu} ( sigma) kısmi _ {b} X ^ { nu} ( sigma) = {T over 2} int mathrm {d } ^ {2} sigma sol ({ nokta {X}} ^ {2} -X '^ {2} sağ)}

nerede ${ displaystyle eta _ {ab} = sol ({ begin {dizi} {cc} 1 & 0 0 & -1 end {dizi}} sağ)}$

Aklınızda bulundurarak ${ displaystyle T_ {ab} = 0}$ kısıtlamalar türetilebilir:

{ displaystyle T_ {01} = T_ {10} = { dot {X}} X '= 0}

{ displaystyle T_ {00} = T_ {11} = { frac {1} {2}} sol ({ nokta {X}} ^ {2} + X '^ {2} sağ) = 0}

.

İkame ${ displaystyle X ^ { mu} sağ X ^ { mu} + delta X ^ { mu}}$ biri elde eder:

{ displaystyle delta { mathcal {S}} = T int mathrm {d} ^ {2} sigma eta ^ {ab} kısmi _ {a} X ^ { mu} kısmi _ {b } delta X _ { mu} =}

{ displaystyle = -T int mathrm {d} ^ {2} sigma eta ^ {ab} kısmi _ {a} kısmi _ {b} X ^ { mu} delta X _ { mu} + left (T int d tau X ' delta X right) _ { sigma = pi} - left (T int d tau X' delta X sağ) _ { sigma = 0 } = 0}

Ve sonuç olarak:

{ displaystyle kare X ^ { mu} = eta ^ {ab} kısmi _ {a} kısmi _ {b} X ^ { mu} = 0}

Eylem varyasyonunun ikinci bölümünü tatmin etmek için sınır koşulları ile.

Kapalı dizeler

Periyodik sınır koşulları:

{ displaystyle X ^ { mu} ( tau, sigma + pi) = X ^ { mu} ( tau, sigma) }

Açık dizeler

(ben) Neumann sınır koşulları:

{ displaystyle kısmi _ { sigma} X ^ { mu} ( tau, 0) = 0, kısmi _ { sigma} X ^ { mu} ( tau, pi) = 0}

(ii) Dirichlet sınır koşulları:

{ displaystyle X ^ { mu} ( tau, 0) = b ^ { mu}, X ^ { mu} ( tau, pi) = b '^ { mu} }

Üzerinde çalışıyorum ışık konisi koordinatları ${ displaystyle xi ^ { pm} = tau pm sigma}$ hareket denklemlerini şu şekilde yeniden yazabiliriz:

{ displaystyle kısmi _ {+} kısmi _ {-} X ^ { mu} = 0}

{ displaystyle ( kısmi _ {+} X) ^ {2} = ( kısmi _ {-} X) ^ {2} = 0}

Böylece çözüm şu şekilde yazılabilir: ${ displaystyle X ^ { mu} = X _ {+} ^ { mu} ( xi ^ {+}) + X _ {-} ^ { mu} ( xi ^ {-})}$ ve stres-enerji tensörü artık köşegendir. Tarafından Fourier genişleyen çözüm ve heybetli kanonik komütasyon ilişkileri katsayılarda, ikinci hareket denkleminin uygulanması Virasoro operatörlerinin tanımını motive eder ve Virasoro kısıtlamaları fiziksel durumlar üzerinde hareket ederken kaybolur.

Ayrıca bakınız

Notlar

^ Friedan, D. (1980). "2 + ε Boyutta Doğrusal Olmayan Modeller" (PDF). Fiziksel İnceleme Mektupları. 45: 1057. Bibcode:1980PhRvL..45.1057F. doi:10.1103 / PhysRevLett.45.1057.

Referanslar

Polchinski (Kasım 1994). Sicim Teorisi nedir, NSF-ITP-94-97, 153pp, arXiv: hep-th / 9411028v1
Ooguri, Yin (Şubat 1997). Pertürbatif Sicim Teorileri Üzerine TASI Dersleri, UCB-PTH-96/64, LBNL-39774, 80pp, arXiv: hep-th / 9612254v3

[Frie80-1] Friedan, D. (1980). "2 + ε Boyutta Doğrusal Olmayan Modeller" (PDF). Fiziksel İnceleme Mektupları. 45: 1057. Bibcode:1980PhRvL..45.1057F. doi:10.1103 / PhysRevLett.45.1057.

[1]