En física, la acción de Poliakov es la acción bidimensional de una teoría de campos conforme que describe la hoja de universo de una cuerda en teoría de cuerdas. Fue introducida por Stanley Deser y Bruno Zumino e independientemente por L. Borde, P. Di Vecchia y P. S. Howe (En Physics Letters B65, páginas 369 y 471 respectivamente), y ha sido asociada con Aleksandr Poliakov después de que la empleara para cuantizar la cuerda. La acción es
![{\displaystyle {\mathcal {S}}={T \over 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/7634ec0a29b85063b2ce85bef6f56f419808f898)
donde
es la tensión de la cuerda,
es la métrica de la variedad del espacio objetivo (espaciotiempo en el que se mueve la cuerda),
es la métrica de la hoja de universo,
su inversa, y
es el determinante de
. La signatura métrica está escogida tal que las direcciones temporales son + y las direcciones espaciales son -. La coordenada espacial en la hoja de universo es
, y la coordenada temporal
. La acción de Poliakov es un ejemplo de modelo sigma no lineal.[1]
Aquí, una simetría se dice que es local o global desde el punto de vista de la teoría bidimensional (en la hoja de universo). Por ejemplo, las transformaciones de Lorentz, que son simetrías locales del espacial-tiempo, son simetrías globales de la teoría en la hoja de universo.
La acción es invariante bajo traslaciones espaciotemporales y transformaciones de Lorentz infinitesimales:
- (i)
![{\displaystyle X^{\alpha }\rightarrow X^{\alpha }+b^{\alpha }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b833bb3c004575d7ba92b3a8c47cf167ff76cddb)
- (ii)
![{\displaystyle X^{\alpha }\rightarrow X^{\alpha }+\omega _{\ \beta }^{\alpha }X^{\beta }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4885ac490d156fdc4da3ef5226d203b680c898fe)
donde
y
es una constante. Esto forma la simetría de Poincaré de la variedad objetivo.
La invariancia bajo (i) se sigue de que la acción
depende sólo de la primera derivada de
. La prueba de la invariancia bajo (ii) es como sigue:
|
|
|
|
|
|
La acción es invariante bajo worldsheet difeomorfismos (o transformaciones de coordenadas) y transformaciones de Weyl de la hoja de universo.
Se supone la transformación siguiente:
![{\displaystyle \sigma ^{\alpha }\rightarrow {\tilde {\sigma }}^{\alpha }\left(\sigma ,\tau \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a54dd431e5199314ceae4d6542dd1bffeed2cec)
Transforma el tensor métrico en la manera siguiente:
![{\displaystyle h^{ab}\rightarrow {\tilde {h}}^{ab}=h^{cd}{\frac {\partial {\tilde {\sigma }}^{a}}{\partial \sigma ^{c}}}{\frac {\partial {\tilde {\sigma }}^{b}}{\partial \sigma ^{d}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebfa9b54aed3068cebb4a24a88ff3dbb73c2e3e0)
Se puede ver que:
![{\displaystyle {\tilde {h}}^{ab}{\frac {\partial }{\partial {\tilde {\sigma }}^{a}}}X^{\mu }{\frac {\partial }{\partial {\tilde {\sigma }}^{b}}}X^{\nu }=h^{cd}{\frac {\partial {\tilde {\sigma }}^{a}}{\partial \sigma ^{c}}}{\frac {\partial {\tilde {\sigma }}^{b}}{\partial \sigma ^{d}}}{\frac {\partial }{\partial {\tilde {\sigma }}^{a}}}X^{\mu }{\frac {\partial }{\partial {\tilde {\sigma }}^{b}}}X^{\nu }=h^{ab}\partial _{a}X^{\mu }\partial _{b}X^{\nu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/908f419a0e85c7dc9a22c27c05ce854732ba3274)
Se sabe que el jacobiano de esta transformación está dada por:
![{\displaystyle \mathrm {J} =\mathrm {det} \left({\frac {\partial {\tilde {\sigma }}^{\alpha }}{\partial \sigma ^{\beta }}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/584724cfe1fe5c4649add2b10e5556357583a405)
lo que lleva a
![{\displaystyle \mathrm {d} ^{2}\sigma \rightarrow \mathrm {d} ^{2}{\tilde {\sigma }}=\mathrm {J} \mathrm {d} ^{2}\sigma \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d6efc0b4fa5edd325a8c906d2b9e5e6900a5e41)
![{\displaystyle h=\mathrm {det} \left(h_{ab}\right)\rightarrow {\tilde {h}}=\mathrm {J} ^{-2}h\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1757e027be4d5469782d73d561f9a86b563f39a)
y se ve que
![{\displaystyle {\sqrt {-{\tilde {h}}}}\mathrm {d} ^{2}{\tilde {\sigma }}={\sqrt {-h}}\mathrm {d} ^{2}\sigma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5198b24b022c0d752e63e769007de06fa8561b1)
con lo cual esta transformación deja la invariante la acción.
Se suponer la transformación de Weyl:
![{\displaystyle h_{ab}\rightarrow {\tilde {h}}_{ab}=\Lambda (\sigma )h_{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39ee3b4c528f76cbcd331297b9af242ae74923e8)
entonces:
![{\displaystyle {\tilde {h}}^{ab}=\Lambda ^{-1}(\sigma )h^{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2df86b733b9fef9d57653e6692e419207229626)
![{\displaystyle \mathrm {det} ({\tilde {h}}_{ab})=\Lambda ^{2}(\sigma )\mathrm {det} (h_{ab})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/579155090bf3211d29e33e7d402f2381718eabcf)
y finalmente:
|
|
|
|
Y se puede ver que la acción es invariante bajo transformaciones de Weyl. Si consideramos objetos (espacialmente) extendidos de n dimensiones cuya acción es proporcional a su área/hiperárea de la hoja del universo, a no ser que n=1, la acción de Poliakov correspondiente tendría otro término que rompería la simetría Weyl.
Se puede definir el tensor de energía-impulso:
![{\displaystyle T_{ab}={\frac {2}{\sqrt {-h}}}{\frac {\delta S}{\delta h^{ab}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88999fcfec6962ce199c1c2fe9baf6a7898c1969)
Definiendo
![{\displaystyle h_{ab}=\exp \left(\phi (\sigma )\right){\hat {h}}_{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88fb7d444b83c87efd026f4b88b1a1a0d6947022)
Debido a la simetría de Weyl, la acción no depende de
:
![{\displaystyle {\frac {\delta S}{\delta \phi }}={\frac {\delta S}{\delta h^{ab}}}{\frac {\delta h^{ab}}{\delta \phi }}={\frac {1}{2}}{\sqrt {-h}}T_{ab}h^{ab}={\frac {1}{2}}{\sqrt {-h}}T_{a}^{\ a}=0\rightarrow T_{a}^{\ a}=\mathrm {tr} \left(T_{ab}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec03811807fa80f4a989ac19eeac9dbb4b41cae9)
Ecuaciones de movimiento
[editar]
Utilizando difeomorfismos y transformaciones de Weyl, con un espacio objetivo de Minkowski, se puede hacer la transformación físicamente irrelevante
, escribiendo así la acción en el gauge conforme:
![{\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/3ee8c342e01a5bfbc1881f4ea1e7b35ce9f593e6)
donde
Recordando que
se pueden obtener las ligaduras:
![{\displaystyle T_{01}=T_{10}={\dot {X}}X'=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f499c161295d819974f41a40fee0d2ccef35416a)
- .
![{\displaystyle T_{00}=T_{11}={\frac {1}{2}}\left({\dot {X}}^{2}+X'^{2}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a4db05a9ba53e944d254c77be2c3e22e271940a)
Sustituyendo
se obtiene:
![{\displaystyle \delta {\mathcal {S}}=T\int \mathrm {d} ^{2}\sigma \eta ^{ab}\partial _{a}X^{\mu }\partial _{b}\delta X_{\mu }=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a530768d4fe5ee7565d2fb5a363bf0d4cbb1a5fa)
![{\displaystyle =-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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a345f806610aeb09bf3bf2b49a0c268891248d63)
y en consecuencia:
![{\displaystyle \square X^{\mu }=\eta ^{ab}\partial _{a}\partial _{b}X^{\mu }=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/390e5f50c91d741fa9011b4cd36eb7c70e641d6c)
Con las condiciones de frontera necesarias para satisfacer la segunda parte de la variación de la acción.
- Condiciones de frontera periódicas:
![{\displaystyle X^{\mu }(\tau ,\sigma +\pi )=X^{\mu }(\tau ,\sigma )\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1d4b6b76e1da0d182a43986969099254aa7f2ed)
- (i) Condiciones de frontera de Neumann:
![{\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/7a0478341cf58c75fa38465f8dae33c780579d6b)
- (ii) Condiciones de frontera de Dirichlet:
![{\displaystyle X^{\mu }(\tau ,0)=b^{\mu },X^{\mu }(\tau ,\pi )=b'^{\mu }\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f814d40ecd5da746a705b47f73321ef0e37f74a2)
Trabajando en coordenadas del cono de luz,
, se pueden reescribir las ecuaciones de movimiento como:
![{\displaystyle \partial _{+}\partial _{-}X^{\mu }=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/daa531d8dd660e42513ba359741be5b3824e20f5)
![{\displaystyle (\partial _{+}X)^{2}=(\partial _{-}X)^{2}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7703df40f3d67ac0cf82b12d628872345de0821e)
Así, la solución puede ser escrita cuando y la tensión-tensor de energía es ahora diagonal.
Por Fourier que expande la solución e imponiendo canónico commutation relaciones en los coeficientes, aplicando la segunda ecuación de movimiento motiva la definición del Virasoro operadores y conduce a las ligaduras de Virasoro, que se anulan cuando actúan sobre estados físicos.
Relación con la acción de Nambu–Goto
[editar]
Escribiendo la ecuación de Euler–Lagrange para el tensor métrico
se obtiene:
![{\displaystyle {\frac {\delta S}{\delta h^{ab}}}=T_{ab}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63ce8cd524be557c505370d84483997f41927c44)
Sabiendo también que:
![{\displaystyle \delta {\sqrt {-h}}=-{\frac {1}{2}}{\sqrt {-h}}h_{ab}\delta h^{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26b1c6dd391347066574af872a5351f0004d8fff)
Se puede escribir la derivada variacional de la acción:
![{\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/6d874bb7332721679965a5074a3a7103eda4a1d5)
donde
, lo que lleva a:
![{\displaystyle T_{ab}=T\left(G_{ab}-{\frac {1}{2}}h_{ab}h^{cd}G_{cd}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d445cad31e9e16190d44d252d85323ca507aec22)
![{\displaystyle G_{ab}={\frac {1}{2}}h_{ab}h^{cd}G_{cd}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05c064e20e2fe81a1c0cc29f1378f4d61f5feb07)
![{\displaystyle G=\mathrm {det} \left(G_{ab}\right)={\frac {1}{4}}h\left(h^{cd}G_{cd}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0730e241629911a273dd059500910a2076fac9ec)
Si se calcula el tensor métrico de la hoja de universo
usando las ecuaciones de movimiento:
![{\displaystyle {\sqrt {-h}}={\frac {2{\sqrt {-G}}}{h^{cd}G_{cd}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/881411fff7f22d4239937d83898e062db42a60bf)
y se sustituye en la acción, se obtiene la acción de Nambu–Goto:
![{\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/4b6e0095449d396870323e995418d97d33d04812)
Sin embargo, la acción de Poliakov es más fácil de cuantizar porque es lineal.
- Polchinski (Nov, 1994). What is String Theory, NSF-ITP-94-97, 153pp, arXiv:hep-th/9411028v1
- Ooguri, Yin (Feb, 1997). TASI Lectures on Perturbative String Theories, UCB-PTH-96/64, LBNL-39774, 80pp, arXiv:hep-th/9612254v3