Tensor de tensión-energía 2D de Liouville

Estoy trabajando en la teoría del campo de Liouville en 2D y trato de seguir principalmente la nota de Harold Erbin sobre la gravedad cuántica en 2D y la teoría de Liouville.

Tengo una pregunta muy simple:

Se considera la acción euclidiana de Liouville que viene dada por

S L = 1 4 π d 2 σ h ( h m v m ϕ v ϕ + q R ϕ + 4 π m mi 2 b ϕ )

Ahora, para obtener el eom así como el tensor de tensión-energía, tenemos que variar la acción, lo que produce

d h S L = 1 4 π d 2 σ h d h m v [ 1 2 h m v ( h ρ σ ρ ϕ σ ϕ + q R ϕ + 4 π m mi 2 b ϕ ) + ( m ϕ v ϕ + q R m v ϕ + q ( h m v Δ ϕ m v ϕ ) ) ] ,
mientras que la variación wrt ϕ da,
d ϕ S L = 1 4 π d 2 σ h d ϕ ( 2 Δ ϕ + q R + 8 π m b mi 2 b ϕ )
La ecuación de movimiento para ϕ se dan de la forma habitual y se obtienen
q R [ h ] 2 Δ ϕ = 8 π m b mi 2 b ϕ
Si uno considera la métrica plana, entonces esto se reduce a
m m ϕ = 4 π m b mi 2 b ϕ

El tensor de energía de tensión se calcula de la forma habitual utilizando

T m v = 4 π h d S d h m v
En las notas, se afirma que esto da
T m v = ( m ϕ v ϕ 1 2 h m v h ρ σ ρ ϕ σ ϕ ) + q ( h m v Δ ϕ + m v ϕ ) + 2 π m b mi 2 b ϕ h m v

Pregunta 1: ¿Por qué la contribución es proporcional a R desaparece? Tengo la sensación de que este es el tensor de energía de estrés para el espacio plano pero no para el espacio curvo o ¿se desvanecen en todos los casos?

Luego, pasamos al plano complejo (sección 6.5.2). La métrica está dada por d s 2 = d z d z ¯ . Esto significa que

gramo z z = gramo z ¯ z ¯ = 0 , gramo z z ¯ = gramo z ¯ z = 1 2
Además, se encuentra fácilmente que la derivada de coordenadas complejas es z = 1 2 ( 0 i 1 ) .

Pregunta 2: No entiendo completamente cómo transformar el eom así como el tensor de tensión-energía en esas nuevas coordenadas. El resultado debería ser:

¯ ϕ = 4 π m b mi mi b ϕ
T ( z ) = T z z = ( ϕ ) 2 + q 2 ϕ + 2 π m mi mi b ϕ

¿Puede alguien darme una pista, por favor?

Respuestas (1)

Primero, debo decir que soy el autor de las notas; la numeración se refiere a la versión en línea de las notas .

Pregunta 1

La fórmula (6.27) para el tensor energía-cantidad de movimiento se deriva de la variación general de la acción (6.22a). Los términos entre paréntesis coinciden T m v hasta el término

q ϕ GRAMO m v = q ϕ ( R m v R 2 h m v ) ,
pero este término es idénticamente cero en dos dimensiones. La razón es que el tensor de Riemann tiene solo un componente que no desaparece y, por lo tanto, el tensor de Ricci debe ser proporcional a R . En las notas, esto se explica brevemente (y mal) en (4.11) y más abajo.

Pregunta 2

Para transformar a coordenadas complejas tienes dos posibilidades:

  1. Etiquete los componentes de cada tensor con coordenadas complejas y expanda los componentes usando la forma explícita de la métrica.
  2. Utilice las fórmulas explícitas (transformación tensorial o regla de encadenamiento) para relacionar los componentes cartesianos y complejos.

Encuentro 1) más simple en general. Por ejemplo el laplaciano:

Δ = h m v m v = h z z z z = 0 + h z ¯ z ¯ z ¯ z ¯ = 0 + 2 h z z ¯ z z ¯ = 4 ¯
Por lo tanto, la ecuación de movimiento se convierte en
¯ ϕ = π m mi 2 b ϕ
(Hay errores tipográficos para los factores en mis notas, no tuve cuidado con las convenciones utilizadas para las coordenadas complejas). Para el tensor energía-momento:
T z z = ( z ϕ z ϕ h z z ( m ϕ = 0 ) 2 ) + q ( h z z Δ ϕ = 0 + z z ϕ ) + 2 π b m h z z mi 2 b ϕ = 0 ,
y esto se simplifica a
T = ( ϕ ) 2 + q 2 ϕ .
Esta es la forma más común del tensor energía-momento. El término mu en mis notas es un error: no he tenido cuidado con h_{zz} y los índices derivados. Por otro lado, lo que es cierto es que la traza es igual a (después de simplificar el término que se desvanece)
h m v T m v = 2 h z z ¯ T z z ¯ = T z z ¯ = q ( h z z ¯ 4 ¯ ϕ + ¯ ϕ ) + 2 π b m h z z ¯ mi 2 b ϕ = q ¯ ϕ + π b m mi 2 b ϕ .
En el nivel clásico tenemos q = 1 / b lo que implica que la energía-momento no tiene rastro en la capa . Esta es también la razón por la que el término mu no puede aparecer en T , ya que es el único término que rompe la conformidad y, por lo tanto, debe aparecer solo en la traza (excepto si puede ser eliminado por el eom).

¡Gracias por tu respuesta! creo que echas de menos un ϕ en el lado izquierdo del eom tengo otra pregunta pendiente. Cuando calcula el tensor de energía de estrés en coordenadas complejas, el último término con el exponencial se multiplica por un h m v en la forma inicial (6.27). ¿Cómo sobrevivió a la compleja transformación de coordenadas como h z z es 0 y hace que los otros dos términos desaparezcan?
Esto fue un error tipográfico, no hay ningún término mu en T ; Arreglé la explicación anterior.
Muchas gracias por todos los detalles y la explicación! ¡Ayudó mucho!