2D conformal field theory used in string theory
String theory |
---|
![](//upload.wikimedia.org/wikipedia/commons/thumb/8/8c/Calabi_yau_formatted.svg/100px-Calabi_yau_formatted.svg.png) |
Fundamental objects |
---|
- String
- Cosmic string
- Brane
- D-brane
|
Perturbative theory |
---|
|
Non-perturbative results |
---|
- S-duality
- T-duality
- U-duality
- M-theory
- F-theory
- AdS/CFT correspondence
|
Phenomenology |
---|
- Phenomenology
- Cosmology
- Landscape
|
Mathematics |
---|
- Geometric Langlands correspondence
- Mirror symmetry
- Monstrous moonshine
- Vertex algebra
- K-theory
|
|
|
|
|
In physics, the Polyakov action is an action of the two-dimensional conformal field theory describing the worldsheet of a string in string theory. It was introduced by Stanley Deser and Bruno Zumino and independently by L. Brink, P. Di Vecchia and P. S. Howe in 1976,[1][2] and has become associated with Alexander Polyakov after he made use of it in quantizing the string in 1981.[3] The action reads:
![{\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 ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e6034137270a4f56eccb068222c86d993a619d7)
where
is the string tension,
is the metric of the target manifold,
is the worldsheet metric,
its inverse, and
is the determinant of
. The metric signature is chosen such that timelike directions are + and the spacelike directions are −. The spacelike worldsheet coordinate is called
, whereas the timelike worldsheet coordinate is called
. This is also known as the nonlinear sigma model.[4]
The Polyakov action must be supplemented by the Liouville action to describe string fluctuations.
Global symmetries
N.B.: Here, a symmetry is said to be local or global from the two dimensional theory (on the worldsheet) point of view. For example, Lorentz transformations, that are local symmetries of the space-time, are global symmetries of the theory on the worldsheet.
The action is invariant under spacetime translations and infinitesimal Lorentz transformations
![{\displaystyle X^{\alpha }\to X^{\alpha }+b^{\alpha },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92b32cb7b8234a56a13c899b72b6e75998563f5c)
![{\displaystyle X^{\alpha }\to X^{\alpha }+\omega _{\ \beta }^{\alpha }X^{\beta },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26b391bea804521537d29475a5c1e397418dd1f2)
where
, and
is a constant. This forms the Poincaré symmetry of the target manifold.
The invariance under (i) follows since the action
depends only on the first derivative of
. The proof of the invariance under (ii) is as follows:
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a1b2746f37c9ecc2573c11bf2bd346b3482c715)
Local symmetries
The action is invariant under worldsheet diffeomorphisms (or coordinates transformations) and Weyl transformations.
Diffeomorphisms
Assume the following transformation:
![{\displaystyle \sigma ^{\alpha }\rightarrow {\tilde {\sigma }}^{\alpha }\left(\sigma ,\tau \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3210ac245da577da0ee3a840486449e8fe88d9a)
It transforms the metric tensor in the following way:
![{\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}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6679bc9590381ded8b8d6a703b2b2b08b903fdd4)
One can see that:
![{\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 }}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ded094ca996e78bd213365a6794b9e9bc83de00)
One knows that the Jacobian of this transformation is given by
![{\displaystyle \mathrm {J} =\operatorname {det} \left({\frac {\partial {\tilde {\sigma }}^{\alpha }}{\partial \sigma ^{\beta }}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/268cdd8c740969661d60f996602fe37abb29c053)
which leads to
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/721aaced98f738c4f53bd8f7d63204df0edc5d1b)
and one sees that
![{\displaystyle {\sqrt {-{\tilde {h}}}}\mathrm {d} ^{2}{\sigma }={\sqrt {-h\left({\tilde {\sigma }}\right)}}\mathrm {d} ^{2}{\tilde {\sigma }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03f09815d6f55e2a857931dd659931befd6e6f51)
Summing up this transformation and relabeling
, we see that the action is invariant.
Assume the Weyl transformation:
![{\displaystyle h_{ab}\to {\tilde {h}}_{ab}=\Lambda (\sigma )h_{ab},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64027885027c116e61c04a0ff690ade5f425307a)
then
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/beb0cef9b5d7e30812368ed92f3fe7d31f5902c0)
And finally:
| |
| |
And one can see that the action is invariant under Weyl transformation. If we consider n-dimensional (spatially) extended objects whose action is proportional to their worldsheet area/hyperarea, unless n = 1, the corresponding Polyakov action would contain another term breaking Weyl symmetry.
One can define the stress–energy tensor:
![{\displaystyle T^{ab}={\frac {-2}{\sqrt {-h}}}{\frac {\delta S}{\delta h_{ab}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ab26ccb3559da87e4a3d2c3fe1d6eb5e09fb81a)
Let's define:
![{\displaystyle {\hat {h}}_{ab}=\exp \left(\phi (\sigma )\right)h_{ab}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea213c8973c8c510c791065e79822a7cc447e74b)
Because of Weyl symmetry, the action does not depend on
:
![{\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,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b50f13825f3e3c688f298dddfe18cd0b267e70fe)
where we've used the functional derivative chain rule.
Relation with Nambu–Goto action
Writing the Euler–Lagrange equation for the metric tensor
one obtains that
![{\displaystyle {\frac {\delta S}{\delta h^{ab}}}=T_{ab}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb57bb3b1d4d8f6b36278f5d5d52e6676da80e51)
Knowing also that:
![{\displaystyle \delta {\sqrt {-h}}=-{\frac {1}{2}}{\sqrt {-h}}h_{ab}\delta h^{ab}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4732adac08a900629eb407b28e3f0e1e1ebe167b)
One can write the variational derivative of the action:
![{\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),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d279515fb26eb62649fcc06d6cf4862c5c6c4f46)
where
, which leads to
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98a906c8de1396716f156e417439e95ac3275ab7)
If the auxiliary worldsheet metric tensor
is calculated from the equations of motion:
![{\displaystyle {\sqrt {-h}}={\frac {2{\sqrt {-G}}}{h^{cd}G_{cd}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/881411fff7f22d4239937d83898e062db42a60bf)
and substituted back to the action, it becomes the Nambu–Goto action:
![{\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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fda090380ea305a1a340847c045e6457ab207d2b)
However, the Polyakov action is more easily quantized because it is linear.
Equations of motion
Using diffeomorphisms and Weyl transformation, with a Minkowskian target space, one can make the physically insignificant transformation
, thus writing the action in the conformal gauge:
![{\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),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5270504da940a660a12600fba0c788b50978b4d4)
where
.
Keeping in mind that
one can derive the constraints:
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de90a92a5ca0f67e62d3264e373b4ffcb2646226)
Substituting
, one obtains
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/424159fed3ab35fc92e1fbafd75f9f1256e542dd)
And consequently
![{\displaystyle \square X^{\mu }=\eta ^{ab}\partial _{a}\partial _{b}X^{\mu }=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a3d635a7c75f4922bf7be779df9321dad4c98d2)
The boundary conditions to satisfy the second part of the variation of the action are as follows.
- Closed strings:
- Periodic boundary conditions:
![{\displaystyle X^{\mu }(\tau ,\sigma +\pi )=X^{\mu }(\tau ,\sigma ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de661f88d4de6135f3189723c39a56320562d72e)
- Open strings:
- Neumann boundary conditions:
![{\displaystyle \partial _{\sigma }X^{\mu }(\tau ,0)=0,\partial _{\sigma }X^{\mu }(\tau ,\pi )=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c284474514236e9a273564e4e9e58e1754407e9)
- Dirichlet boundary conditions:
![{\displaystyle X^{\mu }(\tau ,0)=b^{\mu },X^{\mu }(\tau ,\pi )=b'^{\mu }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d88212cdc1d11a5a261c8c3a09bb3a06b66d9830)
Working in light-cone coordinates
, we can rewrite the equations of motion as
![{\displaystyle {\begin{aligned}\partial _{+}\partial _{-}X^{\mu }&=0,\\(\partial _{+}X)^{2}=(\partial _{-}X)^{2}&=0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35b4135b263c4e0c007130206c3eed9075a9f25f)
Thus, the solution can be written as
, and the stress-energy tensor is now diagonal. By Fourier-expanding the solution and imposing canonical commutation relations on the coefficients, applying the second equation of motion motivates the definition of the Virasoro operators and lead to the Virasoro constraints that vanish when acting on physical states.
See also
References
- ^ Deser, S.; Zumino, B. (1976). "A Complete Action for the Spinning String". Phys. Lett. B. 65 (4): 369–373. doi:10.1016/0370-2693(76)90245-8.
- ^ Brink, L.; Di Vecchia, P.; Howe, P. (1976). "A locally supersymmetric and reparametrization invariant action for the spinning string". Physics Letters B. 65 (5): 471–474. doi:10.1016/0370-2693(76)90445-7.
- ^ Polyakov, A. M. (1981). "Quantum geometry of bosonic strings". Physics Letters B. 103 (3): 207–210. doi:10.1016/0370-2693(81)90743-7.
- ^ Friedan, D. (1980). "Nonlinear Models in 2+ε Dimensions" (PDF). Physical Review Letters. 45 (13): 1057–1060. Bibcode:1980PhRvL..45.1057F. doi:10.1103/PhysRevLett.45.1057.
Further reading
- Polchinski (Nov, 1994). What is String Theory, NSF-ITP-94-97, 153 pp., arXiv:hep-th/9411028v1.
- Ooguri, Yin (Feb, 1997). TASI Lectures on Perturbative String Theories, UCB-PTH-96/64, LBNL-39774, 80 pp., arXiv:hep-th/9612254v3.
|
---|
Theories | |
---|
Models | Regular | |
---|
Low dimensional | |
---|
Conformal | |
---|
Supersymmetric | |
---|
Superconformal | |
---|
Supergravity | |
---|
Topological | |
---|
Particle theory | |
---|
|
---|
Related | |
---|
See also: ![](//upload.wikimedia.org/wikipedia/commons/thumb/8/83/Symbol_template_class_pink.svg/16px-Symbol_template_class_pink.svg.png) Template:Quantum mechanics topics |