He estado ausente algún tiempo intentando terminar la licenciatura, y como mostré en la entrada anterior, he estado trabajando en la geometría (clásica) del espacio de Anti-de Sitter. Ahora quiero compartir algunos comentarios sobre Agujeros Negros en AdS, basándome en este ensayo de Peng Zhao.
El caso más sencillo es (A)dS-Schwarzschild, y la idea es que partiendo de una métrica esféricamente simétrica en forma de Schwarzschild,
\begin{equation}ds^2=-f(r)\,dt^2+f^{-1}(r)\,dr^2+r^2d\Omega^2\end{equation} uno puede tomar $f$ tal que cerca del origen se tenga un espacio de Schwarzschild y asintóticamente se tenga (A)dS (para una obtención más metódica de esta métrica véase e.g. la p.823 de las notas de M. Blau). Las métricas de AdS y de Schwarzschild, respectivamente, pueden escribirse como
\begin{align}ds_\text{AdS}^2&=-\left(1+\frac{r^2}{\alpha^2}\right)\,dt^2+\left(1+\frac{r^2}{\alpha^2}\right)^{-1}dr^2+r^2d\Omega^2\\
ds_\text{Sch}^2&=-\left(1-\frac{r_s}{r}\right)\,dt^2+\left(1-\frac{r_s}{r}\right)^{-1}dr^2+r^2d\Omega^2\end{align} donde $\alpha$ es una constante positiva (el radio de AdS) y $r_s$ es el radio de Schwarzschild. De aquí, se define entonces la métrica de AdS-Schwarzschild como
\begin{equation}ds^2=-\left(1+\frac{r^2}{\alpha^2}-\frac{r_s}{r}\right)\,dt^2+\left(1+\frac{r^2}{\alpha^2}-\frac{r_s}{r}\right)^{-1}dr^2+r^2d\Omega^2\end{equation} que en efecto se comporta como un agujero negro de Schwarzschild para $r$ pequeña y como AdS para $r$ grande. Lo propio puede hacerse empleando de Sitter.
***(Actualización)
La primera cuestión es a AdS se le puede asociar una energía finita y por tanto el análogo a una pared de potencial infinita en su infinito asintótico. Por teorema de Noether, en AdS la energía es una carga conservada, $E=-P_\mu{V}^\mu$ (el signo negativo es simplemente por consistencia, de cualquier modo siempre se le puede cargar a $E$ que es constante); en este caso nos interesa la energía $E_\text{loc}$ medida por un observador local (es decir, que localmente está en un sistema plano) estático, en donde tendríamos simplemente que $P=(E,\vec{0})$ y $V=(1,\vec{0})$. Lo que nos interesa es encontrar esta relación para este observador en el sistema global de coordenadas de AdS (esféricas). Considérense los vectores transformados $p$ y $v$. Primero empleemos la condición de normalización $v^\mu{v}_\mu=-1$ y el hecho de que el observador es estático también en el sistema global de AdS, i.e. $v=(v^t,\vec{0})$, esto implica que $v^t=1/\sqrt{-g_{tt}}$, entonces en este sistema coordenado,
\begin{equation}E_\text{loc}=-p_\mu{v}^\mu=-g_{\mu\nu}p^\mu{v}^\nu=\sqrt{-g_{tt}}p^t\end{equation} Ahora bien, en el sistema del observador local estático simplemente $p^t=m\dot{t}$ con $m$ la masa de la partícula (el observador), que podemos llevar a la forma en coordenadas de AdS sabiendo que $P^t=g_{tt}\dot{t}=-E$ en AdS, de modo que $p^t=-mE/g_{tt}\equiv-{E}_0/g_{tt}$ y así,
\begin{equation}E_\text{loc}(r)=\frac{E_0}{\sqrt{-g_{tt}(r)}}\label{1}\end{equation} de donde se lee que la energía medida por un observador local en algún punto $r$ tiene un corrimiento al rojo (debido al campo gravitacional) respecto a la energía $E_0$. En el ensayo de Zhao se escribe $E_0$ como $E_\infty$, sin embargo la notación se antoja un poco desafortunada, ya que ésta es la energía total medida por un observador local estático en $r=0$; la notación probablemente proviene de la interpretación de ser la energía medida por un observador alejado infinitamente del campo gravitacional del espacio, lo que resulta útil e.g. en Schwarzschild, donde $E$ en efecto es la energía (por unidad de masa) medida por un observador local estático en $r\to\infty$, aquí de hecho $E_\text{loc}\to0$ cuando $r\to\infty$, contrario a Schwarzschild, en donde $E_\text{loc}\to{mE}$ cuando $r\to\infty$ y $E_\text{loc}\to\infty$ cuando $r\to{r}_s$, esto hace la gran diferencia para ver a AdS como una caja. Nótese también que los vectores de momento y de velocidad (i.e. el vector de Killing transformado) se recuperan para el caso local en AdS con $r=0$ y en Schwarzschild con $r\to\infty$. Como se ve adelante, pueden construirse estados térmicos en AdS identificando periódicamente una coordenada de tiempo imaginaria con periodo $\beta_0=T^{-1}$. Esto significa entonces que (\ref{1}) puede escribirse también como $T_\text{loc}=\frac{T}{\sqrt{-g_{tt}}}$ y que la energía total de la radiación térmica en AdS es finita sin necesidad de encerrarla en una caja.
***
Luego entonces, tomando $r=r_+$ el horizonte de eventos de AdS-Schwarzschild, i.e. la raíz más grande de
\begin{equation}V(r)\equiv1-\frac{r_s}{r}+\frac{r^2}{\alpha^2}\end{equation} se fija el valor de $r_s$ a
\begin{equation}V(r_+)=0\,\Longrightarrow\,r_s=\frac{r_+(\alpha^2+r_+^2)}{\alpha^2}\end{equation} y entonces en efecto al ver la métrica cerca del horizonte, i.e. con $r=r_++\epsilon^2$ con $|\epsilon|\ll1$, para el orden dominante en $\epsilon$,
\begin{equation}V(r_++\epsilon^2)\approx\frac{\alpha^2+3r_+^2}{\alpha^2r_+}\epsilon^2\end{equation} y haciendo una rotación de Wick, $\tau=it$, se sigue para la métrica AdS-Schwarzschild,
\begin{equation}ds^2=\frac{4\alpha^2r_+}{\alpha^2+3r_+^2}\left[d\epsilon^2+\left(\frac{\alpha^2+3r_+^2}{2\alpha^2r_+}\right)^2\epsilon^2d\tau^2\right]+(r_++\epsilon^2)^2d\Omega^2\end{equation} Aquí puede resultar poco claro cómo ver que necesariamente $\tau$ es periódica. El punto es entender lo que significa que se tenga una singularidad cónica. La idea es básicamente que si $\tau$ tiene un cierto periodo $\beta_0$, el espacio se cubrirá completamente, lo que no sucederá necesariamente con cualquier otro valor; la analogía que utiliza Zhao es la de las coordenadas polares $ds^2=dr^2+r^2d\theta^2$, donde $\theta$ debe tener un periodo de $2\pi$ para corresponder a la métrica del plano, de otro modo se tiene un hueco del tipo de una rebanada de pastel, lo que lleva a algo así como un pico de un cono, lo que es la singularidad cónica.
En este caso es particularmente fácil verificar cuál es el periodo $\beta_0$ de $\tau$, dado que el término entre corchetes de la métrica AdS-Schwarzschild cerca del horizonte es análoga a la del plano en coordenadas polares. Se debe satisfacer entonces que
\begin{equation}\frac{\alpha^2+3r_+^2}{2\alpha^2r_+}\int_0^{\beta_0}d\tau\int_0^{r_+}\epsilon\,{d}\epsilon=\pi{r}_+^2\,\Longrightarrow\,\beta_0=\frac{4\pi\alpha^2r_+}{\alpha^2+3r_+^2}\end{equation}
En adelante la cosa es bastante clara, al menos antes de llegar a la parte de AdS/CFT, y el resultado $T=\beta^{-1}$ creo que es bastante majo, pues entonces la temperatura del agujero negro puede obtenerse únicamente con argumentos geométricos, sin invocar directamente la gravedad de superficie. Sólo hay detalles cuando se menciona la distribución canónica, aunque al final igual lo que se calcula es $S=\beta\langle{E}\rangle+\ln{Z}$. La intención es llegar a la dualidad fluido/gravedad, pero de eso tal vez escriba después ;-)
El caso más sencillo es (A)dS-Schwarzschild, y la idea es que partiendo de una métrica esféricamente simétrica en forma de Schwarzschild,
\begin{equation}ds^2=-f(r)\,dt^2+f^{-1}(r)\,dr^2+r^2d\Omega^2\end{equation} uno puede tomar $f$ tal que cerca del origen se tenga un espacio de Schwarzschild y asintóticamente se tenga (A)dS (para una obtención más metódica de esta métrica véase e.g. la p.823 de las notas de M. Blau). Las métricas de AdS y de Schwarzschild, respectivamente, pueden escribirse como
\begin{align}ds_\text{AdS}^2&=-\left(1+\frac{r^2}{\alpha^2}\right)\,dt^2+\left(1+\frac{r^2}{\alpha^2}\right)^{-1}dr^2+r^2d\Omega^2\\
ds_\text{Sch}^2&=-\left(1-\frac{r_s}{r}\right)\,dt^2+\left(1-\frac{r_s}{r}\right)^{-1}dr^2+r^2d\Omega^2\end{align} donde $\alpha$ es una constante positiva (el radio de AdS) y $r_s$ es el radio de Schwarzschild. De aquí, se define entonces la métrica de AdS-Schwarzschild como
\begin{equation}ds^2=-\left(1+\frac{r^2}{\alpha^2}-\frac{r_s}{r}\right)\,dt^2+\left(1+\frac{r^2}{\alpha^2}-\frac{r_s}{r}\right)^{-1}dr^2+r^2d\Omega^2\end{equation} que en efecto se comporta como un agujero negro de Schwarzschild para $r$ pequeña y como AdS para $r$ grande. Lo propio puede hacerse empleando de Sitter.
***(Actualización)
La primera cuestión es a AdS se le puede asociar una energía finita y por tanto el análogo a una pared de potencial infinita en su infinito asintótico. Por teorema de Noether, en AdS la energía es una carga conservada, $E=-P_\mu{V}^\mu$ (el signo negativo es simplemente por consistencia, de cualquier modo siempre se le puede cargar a $E$ que es constante); en este caso nos interesa la energía $E_\text{loc}$ medida por un observador local (es decir, que localmente está en un sistema plano) estático, en donde tendríamos simplemente que $P=(E,\vec{0})$ y $V=(1,\vec{0})$. Lo que nos interesa es encontrar esta relación para este observador en el sistema global de coordenadas de AdS (esféricas). Considérense los vectores transformados $p$ y $v$. Primero empleemos la condición de normalización $v^\mu{v}_\mu=-1$ y el hecho de que el observador es estático también en el sistema global de AdS, i.e. $v=(v^t,\vec{0})$, esto implica que $v^t=1/\sqrt{-g_{tt}}$, entonces en este sistema coordenado,
\begin{equation}E_\text{loc}=-p_\mu{v}^\mu=-g_{\mu\nu}p^\mu{v}^\nu=\sqrt{-g_{tt}}p^t\end{equation} Ahora bien, en el sistema del observador local estático simplemente $p^t=m\dot{t}$ con $m$ la masa de la partícula (el observador), que podemos llevar a la forma en coordenadas de AdS sabiendo que $P^t=g_{tt}\dot{t}=-E$ en AdS, de modo que $p^t=-mE/g_{tt}\equiv-{E}_0/g_{tt}$ y así,
\begin{equation}E_\text{loc}(r)=\frac{E_0}{\sqrt{-g_{tt}(r)}}\label{1}\end{equation} de donde se lee que la energía medida por un observador local en algún punto $r$ tiene un corrimiento al rojo (debido al campo gravitacional) respecto a la energía $E_0$. En el ensayo de Zhao se escribe $E_0$ como $E_\infty$, sin embargo la notación se antoja un poco desafortunada, ya que ésta es la energía total medida por un observador local estático en $r=0$; la notación probablemente proviene de la interpretación de ser la energía medida por un observador alejado infinitamente del campo gravitacional del espacio, lo que resulta útil e.g. en Schwarzschild, donde $E$ en efecto es la energía (por unidad de masa) medida por un observador local estático en $r\to\infty$, aquí de hecho $E_\text{loc}\to0$ cuando $r\to\infty$, contrario a Schwarzschild, en donde $E_\text{loc}\to{mE}$ cuando $r\to\infty$ y $E_\text{loc}\to\infty$ cuando $r\to{r}_s$, esto hace la gran diferencia para ver a AdS como una caja. Nótese también que los vectores de momento y de velocidad (i.e. el vector de Killing transformado) se recuperan para el caso local en AdS con $r=0$ y en Schwarzschild con $r\to\infty$. Como se ve adelante, pueden construirse estados térmicos en AdS identificando periódicamente una coordenada de tiempo imaginaria con periodo $\beta_0=T^{-1}$. Esto significa entonces que (\ref{1}) puede escribirse también como $T_\text{loc}=\frac{T}{\sqrt{-g_{tt}}}$ y que la energía total de la radiación térmica en AdS es finita sin necesidad de encerrarla en una caja.
***
Luego entonces, tomando $r=r_+$ el horizonte de eventos de AdS-Schwarzschild, i.e. la raíz más grande de
\begin{equation}V(r)\equiv1-\frac{r_s}{r}+\frac{r^2}{\alpha^2}\end{equation} se fija el valor de $r_s$ a
\begin{equation}V(r_+)=0\,\Longrightarrow\,r_s=\frac{r_+(\alpha^2+r_+^2)}{\alpha^2}\end{equation} y entonces en efecto al ver la métrica cerca del horizonte, i.e. con $r=r_++\epsilon^2$ con $|\epsilon|\ll1$, para el orden dominante en $\epsilon$,
\begin{equation}V(r_++\epsilon^2)\approx\frac{\alpha^2+3r_+^2}{\alpha^2r_+}\epsilon^2\end{equation} y haciendo una rotación de Wick, $\tau=it$, se sigue para la métrica AdS-Schwarzschild,
\begin{equation}ds^2=\frac{4\alpha^2r_+}{\alpha^2+3r_+^2}\left[d\epsilon^2+\left(\frac{\alpha^2+3r_+^2}{2\alpha^2r_+}\right)^2\epsilon^2d\tau^2\right]+(r_++\epsilon^2)^2d\Omega^2\end{equation} Aquí puede resultar poco claro cómo ver que necesariamente $\tau$ es periódica. El punto es entender lo que significa que se tenga una singularidad cónica. La idea es básicamente que si $\tau$ tiene un cierto periodo $\beta_0$, el espacio se cubrirá completamente, lo que no sucederá necesariamente con cualquier otro valor; la analogía que utiliza Zhao es la de las coordenadas polares $ds^2=dr^2+r^2d\theta^2$, donde $\theta$ debe tener un periodo de $2\pi$ para corresponder a la métrica del plano, de otro modo se tiene un hueco del tipo de una rebanada de pastel, lo que lleva a algo así como un pico de un cono, lo que es la singularidad cónica.
\begin{equation}\frac{\alpha^2+3r_+^2}{2\alpha^2r_+}\int_0^{\beta_0}d\tau\int_0^{r_+}\epsilon\,{d}\epsilon=\pi{r}_+^2\,\Longrightarrow\,\beta_0=\frac{4\pi\alpha^2r_+}{\alpha^2+3r_+^2}\end{equation}
En adelante la cosa es bastante clara, al menos antes de llegar a la parte de AdS/CFT, y el resultado $T=\beta^{-1}$ creo que es bastante majo, pues entonces la temperatura del agujero negro puede obtenerse únicamente con argumentos geométricos, sin invocar directamente la gravedad de superficie. Sólo hay detalles cuando se menciona la distribución canónica, aunque al final igual lo que se calcula es $S=\beta\langle{E}\rangle+\ln{Z}$. La intención es llegar a la dualidad fluido/gravedad, pero de eso tal vez escriba después ;-)
