2D conformal field theory used in string theory
物理学 において 、 ポリャコフ作用(ポリャコフこうか) とは、 弦理論 における弦の 世界面を 記述する 2次元共形場理論 の 作用 である。 1976年に スタンリー・デザー と ブルーノ・ズミーノ によって、また独立に L・ブリンク 、 P・ディ・ヴェッキア 、P・S・ハウによって導入された [1] [2]。 そして、 1981年に アレクサンダー・ポリャコフが 弦の量子化にこの作用を利用したことで、ポリャコフと関連付けられるようになった [3 ]。この作用は以下の通りである。
S = T 2 ∫ d 2 σ − h h a b g μ ν ( X ) ∂ a X μ ( σ ) ∂ b X ν ( σ ) , {\displaystyle {\mathcal {S}}={\frac {T}{2}}\int \mathrm {d} ^{2}\sigma \,{\sqrt {-h}}\,h^{ab}g_{\mu \nu }(X)\partial _{a}X^{\mu }(\sigma )\partial _{b}X^{\nu }(\sigma ),} ここで 、 は弦の 張力 、は 対象多様体 の計量 、 は世界面計量( その逆関数)、 は の行列式である 。 計量のシグネチャ は、時間的方向が + 、空間的方向が − となるように選択される。空間的世界面座標は と呼ばれ 、時間的世界面座標は と呼ばれる 。これは 非線形シグマモデル としても知られる。 [4] T {\displaystyle T} g μ ν {\displaystyle g_{\mu \nu }} h a b {\displaystyle h_{ab}} h a b {\displaystyle h^{ab}} h {\displaystyle h} h a b {\displaystyle h_{ab}} σ {\displaystyle \sigma } τ {\displaystyle \tau }
弦の変動を記述するには、ポリャコフ作用にリウヴィル作用 を補足する必要があります 。
グローバル対称性 注:ここで、対称性は、2次元理論(世界面上)の観点から、局所的または大域的であると言われています。例えば、時空の局所対称性であるローレンツ変換は、世界面上の理論では大域的対称性です。
この作用は 時空 変換 と 微小 ローレンツ変換に対して 不変である。
X α → X α + b α , {\displaystyle X^{\alpha }\to X^{\alpha }+b^{\alpha },} X α → X α + ω β α X β , {\displaystyle X^{\alpha }\to X^{\alpha }+\omega _{\ \beta }^{\alpha }X^{\beta },} ここで 、 、 は 定数です。これは 対象多様体の ポアンカレ対称性を形成します。 ω μ ν = − ω ν μ {\displaystyle \omega _{\mu \nu }=-\omega _{\nu \mu }} b α {\displaystyle b^{\alpha }}
(i) における不変性は、作用 が の一次導関数のみに依存することから成り立つ 。(ii) における不変性の証明は以下の通りである。 S {\displaystyle {\mathcal {S}}} X α {\displaystyle X^{\alpha }}
S ′ = T 2 ∫ d 2 σ − h h a b g μ ν ∂ a ( X μ + ω δ μ X δ ) ∂ b ( X ν + ω δ ν X δ ) = S + T 2 ∫ d 2 σ − h h a b ( ω μ δ ∂ a X μ ∂ b X δ + ω ν δ ∂ a X δ ∂ b X ν ) + O ( ω 2 ) = S + T 2 ∫ d 2 σ − h h a b ( ω μ δ + ω δ μ ) ∂ a X μ ∂ b X δ + O ( ω 2 ) = S + O ( ω 2 ) . {\displaystyle {\begin{aligned}{\mathcal {S}}'&={T \over 2}\int \mathrm {d} ^{2}\sigma \,{\sqrt {-h}}\,h^{ab}g_{\mu \nu }\partial _{a}\left(X^{\mu }+\omega _{\ \delta }^{\mu }X^{\delta }\right)\partial _{b}\left(X^{\nu }+\omega _{\ \delta }^{\nu }X^{\delta }\right)\\&={\mathcal {S}}+{T \over 2}\int \mathrm {d} ^{2}\sigma \,{\sqrt {-h}}\,h^{ab}\left(\omega _{\mu \delta }\partial _{a}X^{\mu }\partial _{b}X^{\delta }+\omega _{\nu \delta }\partial _{a}X^{\delta }\partial _{b}X^{\nu }\right)+\operatorname {O} \left(\omega ^{2}\right)\\&={\mathcal {S}}+{T \over 2}\int \mathrm {d} ^{2}\sigma \,{\sqrt {-h}}\,h^{ab}\left(\omega _{\mu \delta }+\omega _{\delta \mu }\right)\partial _{a}X^{\mu }\partial _{b}X^{\delta }+\operatorname {O} \left(\omega ^{2}\right)\\&={\mathcal {S}}+\operatorname {O} \left(\omega ^{2}\right).\end{aligned}}}
局所対称性 この作用は、世界面 微分同相写像 (または座標変換)および ワイル変換 に対して 不変で ある。
微分同相写像 次の変換を想定します。
σ α → σ ~ α ( σ , τ ) . {\displaystyle \sigma ^{\alpha }\rightarrow {\tilde {\sigma }}^{\alpha }\left(\sigma ,\tau \right).} 計量テンソル は次のように 変換されます。
h a b ( σ ) → h ~ a b = h c d ( σ ~ ) ∂ σ a ∂ σ ~ c ∂ σ b ∂ σ ~ d . {\displaystyle h^{ab}(\sigma )\rightarrow {\tilde {h}}^{ab}=h^{cd}({\tilde {\sigma }}){\frac {\partial {\sigma }^{a}}{\partial {\tilde {\sigma }}^{c}}}{\frac {\partial {\sigma }^{b}}{\partial {\tilde {\sigma }}^{d}}}.} 次のことがわかります:
h ~ a b ∂ ∂ σ a X μ ( σ ~ ) ∂ ∂ σ b X ν ( σ ~ ) = h c d ( σ ~ ) ∂ σ a ∂ σ ~ c ∂ σ b ∂ σ ~ d ∂ ∂ σ a X μ ( σ ~ ) ∂ ∂ σ b X ν ( σ ~ ) = h a b ( σ ~ ) ∂ ∂ σ ~ a X μ ( σ ~ ) ∂ ∂ σ ~ b X ν ( σ ~ ) . {\displaystyle {\tilde {h}}^{ab}{\frac {\partial }{\partial {\sigma }^{a}}}X^{\mu }({\tilde {\sigma }}){\frac {\partial }{\partial \sigma ^{b}}}X^{\nu }({\tilde {\sigma }})=h^{cd}\left({\tilde {\sigma }}\right){\frac {\partial \sigma ^{a}}{\partial {\tilde {\sigma }}^{c}}}{\frac {\partial \sigma ^{b}}{\partial {\tilde {\sigma }}^{d}}}{\frac {\partial }{\partial \sigma ^{a}}}X^{\mu }({\tilde {\sigma }}){\frac {\partial }{\partial {\sigma }^{b}}}X^{\nu }({\tilde {\sigma }})=h^{ab}\left({\tilde {\sigma }}\right){\frac {\partial }{\partial {\tilde {\sigma }}^{a}}}X^{\mu }({\tilde {\sigma }}){\frac {\partial }{\partial {\tilde {\sigma }}^{b}}}X^{\nu }({\tilde {\sigma }}).} この変換の ヤコビアン は次のように与えられることが知られている。
J = det ( ∂ σ ~ α ∂ σ β ) , {\displaystyle \mathrm {J} =\operatorname {det} \left({\frac {\partial {\tilde {\sigma }}^{\alpha }}{\partial \sigma ^{\beta }}}\right),} それは
d 2 σ ~ = J d 2 σ h = det ( h a b ) ⇒ h ~ = J 2 h , {\displaystyle {\begin{aligned}\mathrm {d} ^{2}{\tilde {\sigma }}&=\mathrm {J} \mathrm {d} ^{2}\sigma \\h&=\operatorname {det} \left(h_{ab}\right)\\\Rightarrow {\tilde {h}}&=\mathrm {J} ^{2}h,\end{aligned}}} そして、
− h ~ d 2 σ = − h ( σ ~ ) d 2 σ ~ . {\displaystyle {\sqrt {-{\tilde {h}}}}\mathrm {d} ^{2}{\sigma }={\sqrt {-h\left({\tilde {\sigma }}\right)}}\mathrm {d} ^{2}{\tilde {\sigma }}.} この変換と再ラベル付けをまとめると 、アクションは不変であることがわかります。 σ ~ = σ {\displaystyle {\tilde {\sigma }}=\sigma }
ワイル変換 を仮定する :
h a b → h ~ a b = Λ ( σ ) h a b , {\displaystyle h_{ab}\to {\tilde {h}}_{ab}=\Lambda (\sigma )h_{ab},} それから
h ~ a b = Λ − 1 ( σ ) h a b , det ( h ~ a b ) = Λ 2 ( σ ) det ( h a b ) . {\displaystyle {\begin{aligned}{\tilde {h}}^{ab}&=\Lambda ^{-1}(\sigma )h^{ab},\\\operatorname {det} \left({\tilde {h}}_{ab}\right)&=\Lambda ^{2}(\sigma )\operatorname {det} (h_{ab}).\end{aligned}}} そして最後に:
S ′ , {\displaystyle {\mathcal {S}}',} = T 2 ∫ d 2 σ − h ~ h ~ a b g μ ν ( X ) ∂ a X μ ( σ ) ∂ b X ν ( σ ) , {\displaystyle ={T \over 2}\int \mathrm {d} ^{2}\sigma {\sqrt {-{\tilde {h}}}}{\tilde {h}}^{ab}g_{\mu \nu }(X)\partial _{a}X^{\mu }(\sigma )\partial _{b}X^{\nu }(\sigma ),} = T 2 ∫ d 2 σ − h ( Λ Λ − 1 ) h a b g μ ν ( X ) ∂ a X μ ( σ ) ∂ b X ν ( σ ) = S . {\displaystyle ={T \over 2}\int \mathrm {d} ^{2}\sigma {\sqrt {-h}}\left(\Lambda \Lambda ^{-1}\right)h^{ab}g_{\mu \nu }(X)\partial _{a}X^{\mu }(\sigma )\partial _{b}X^{\nu }(\sigma )={\mathcal {S}}.}
そして、作用はワイル変換 に対して不変であることがわかる 。作用が世界面面積/超面積に比例する n 次元(空間的に)拡張された物体を考えると、 n = 1でない限り、対応するポリヤコフ作用はワイル対称性を破る別の項を含むことになる。
応力エネルギーテンソルを 次のように定義できる 。
T a b = − 2 − h δ S δ h a b . {\displaystyle T^{ab}={\frac {-2}{\sqrt {-h}}}{\frac {\delta S}{\delta h_{ab}}}.} 定義してみましょう:
h ^ a b = exp ( ϕ ( σ ) ) h a b . {\displaystyle {\hat {h}}_{ab}=\exp \left(\phi (\sigma )\right)h_{ab}.} ワイル対称性 のため 、作用は に依存しません 。 ϕ {\displaystyle \phi }
δ S δ ϕ = δ S δ h ^ a b δ h ^ a b δ ϕ = − 1 2 − h T a b e ϕ h a b = − 1 2 − h T a a e ϕ = 0 ⇒ T a a = 0 , {\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,} ここでは関数微分 連鎖律を使用しました 。
南部・後藤行動との関係 計量テンソル の オイラー・ラグランジュ方程式 を書くと、 次の式が得られる。 h a b {\displaystyle h^{ab}}
δ S δ h a b = T a b = 0. {\displaystyle {\frac {\delta S}{\delta h^{ab}}}=T_{ab}=0.} また、次のことも知っています。
δ − h = − 1 2 − h h a b δ h a b . {\displaystyle \delta {\sqrt {-h}}=-{\frac {1}{2}}{\sqrt {-h}}h_{ab}\delta h^{ab}.} 作用の変分微分は次のように書くことができます。
δ S δ h a b = T 2 − h ( G a b − 1 2 h a b h c d G c d ) , {\displaystyle {\frac {\delta S}{\delta h^{ab}}}={\frac {T}{2}}{\sqrt {-h}}\left(G_{ab}-{\frac {1}{2}}h_{ab}h^{cd}G_{cd}\right),} ここで 、 G a b = g μ ν ∂ a X μ ∂ b X ν {\displaystyle G_{ab}=g_{\mu \nu }\partial _{a}X^{\mu }\partial _{b}X^{\nu }}
T a b = T ( G a b − 1 2 h a b h c d G c d ) = 0 , G a b = 1 2 h a b h c d G c d , G = det ( G a b ) = 1 4 h ( h c d G c d ) 2 . {\displaystyle {\begin{aligned}T_{ab}&=T\left(G_{ab}-{\frac {1}{2}}h_{ab}h^{cd}G_{cd}\right)=0,\\G_{ab}&={\frac {1}{2}}h_{ab}h^{cd}G_{cd},\\G&=\operatorname {det} \left(G_{ab}\right)={\frac {1}{4}}h\left(h^{cd}G_{cd}\right)^{2}.\end{aligned}}} 補助 世界面 計量テンソルを 運動方程式から計算すると、 − h {\displaystyle {\sqrt {-h}}}
− h = 2 − G h c d G c d {\displaystyle {\sqrt {-h}}={\frac {2{\sqrt {-G}}}{h^{cd}G_{cd}}}} これを作用に戻すと 南部-後藤作用 となる。
S = T 2 ∫ d 2 σ − h h a b G a b = T 2 ∫ d 2 σ 2 − G h c d G c d h a b G a b = T ∫ d 2 σ − G . {\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}}.} しかし、ポリヤコフ作用は 線形で あるため、より簡単に 量子化でき ます。
運動方程式 微分同相写像 と ワイル変換を ミンコフスキー目標空間 とともに 用いることで 、物理的に重要でない変換を行うことができ、その結果、 共形ゲージ における作用を記述することができる 。 − h h a b → η a b {\displaystyle {\sqrt {-h}}h^{ab}\rightarrow \eta ^{ab}}
S = T 2 ∫ d 2 σ − η η a b g μ ν ( X ) ∂ a X μ ( σ ) ∂ b X ν ( σ ) = T 2 ∫ d 2 σ ( X ˙ 2 − X ′ 2 ) , {\displaystyle {\mathcal {S}}={T \over 2}\int \mathrm {d} ^{2}\sigma {\sqrt {-\eta }}\eta ^{ab}g_{\mu \nu }(X)\partial _{a}X^{\mu }(\sigma )\partial _{b}X^{\nu }(\sigma )={T \over 2}\int \mathrm {d} ^{2}\sigma \left({\dot {X}}^{2}-X'^{2}\right),} どこ 。 η a b = ( 1 0 0 − 1 ) {\displaystyle \eta _{ab}=\left({\begin{array}{cc}1&0\\0&-1\end{array}}\right)}
制約を導き出すことができる ことを念頭に置いてください。 T a b = 0 {\displaystyle T_{ab}=0}
T 01 = T 10 = X ˙ X ′ = 0 , T 00 = T 11 = 1 2 ( X ˙ 2 + X ′ 2 ) = 0. {\displaystyle {\begin{aligned}T_{01}&=T_{10}={\dot {X}}X'=0,\\T_{00}&=T_{11}={\frac {1}{2}}\left({\dot {X}}^{2}+X'^{2}\right)=0.\end{aligned}}} を代入すると 、 X μ → X μ + δ X μ {\displaystyle X^{\mu }\to X^{\mu }+\delta X^{\mu }}
δ S = T ∫ d 2 σ η a b ∂ a X μ ∂ b δ X μ = − T ∫ d 2 σ η a b ∂ a ∂ b X μ δ X μ + ( T ∫ d τ X ′ δ X ) σ = π − ( T ∫ d τ X ′ δ X ) σ = 0 = 0. {\displaystyle {\begin{aligned}\delta {\mathcal {S}}&=T\int \mathrm {d} ^{2}\sigma \eta ^{ab}\partial _{a}X^{\mu }\partial _{b}\delta X_{\mu }\\&=-T\int \mathrm {d} ^{2}\sigma \eta ^{ab}\partial _{a}\partial _{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\right)_{\sigma =0}\\&=0.\end{aligned}}} そしてその結果
◻ X μ = η a b ∂ a ∂ b X μ = 0. {\displaystyle \square X^{\mu }=\eta ^{ab}\partial _{a}\partial _{b}X^{\mu }=0.} 作用の変化の第 2 部を満たす境界条件は次のとおりです。
閉じた文字列: 周期境界条件 : X μ ( τ , σ + π ) = X μ ( τ , σ ) . {\displaystyle X^{\mu }(\tau ,\sigma +\pi )=X^{\mu }(\tau ,\sigma ).} 開放弦: ノイマン境界条件 : ∂ σ X μ ( τ , 0 ) = 0 , ∂ σ X μ ( τ , π ) = 0. {\displaystyle \partial _{\sigma }X^{\mu }(\tau ,0)=0,\partial _{\sigma }X^{\mu }(\tau ,\pi )=0.} ディリクレ境界条件 : X μ ( τ , 0 ) = b μ , X μ ( τ , π ) = b ′ μ . {\displaystyle X^{\mu }(\tau ,0)=b^{\mu },X^{\mu }(\tau ,\pi )=b'^{\mu }.} 光円錐座標 で 運動方程式を書き直すと、 ξ ± = τ ± σ {\displaystyle \xi ^{\pm }=\tau \pm \sigma }
∂ + ∂ − X μ = 0 , ( ∂ + X ) 2 = ( ∂ − X ) 2 = 0. {\displaystyle {\begin{aligned}\partial _{+}\partial _{-}X^{\mu }&=0,\\(\partial _{+}X)^{2}=(\partial _{-}X)^{2}&=0.\end{aligned}}} したがって、解は と書くことができ 、応力エネルギーテンソルは対角行列となる。 解を フーリエ展開し、係数に 正準交換関係 を課すことで、第二運動方程式を適用することで、ビラソロ作用素の定義が可能となり、 物理状態に作用する際には消滅する ビラソロ拘束条件が得られる。 X μ = X + μ ( ξ + ) + X − μ ( ξ − ) {\displaystyle X^{\mu }=X_{+}^{\mu }(\xi ^{+})+X_{-}^{\mu }(\xi ^{-})}
参照
参考文献
さらに読む Polchinski (1994年11月). 弦理論とは何か , NSF-ITP-94-97, 153 pp., arXiv:hep-th/9411028v1. 大栗 殷 (1997年2月). TASI Lectures on Perturbative String Theories , UCB-PTH-96/64, LBNL-39774, 80 pp., arXiv:hep-th/9612254v3.
理論 モデル
通常 低次元 コンフォーマル 超対称性 超共形 超重力 位相幾何学 粒子理論
関連している