Cuantificación de campo sin masa escalar real libre en 2d

¿Hay una referencia a la literatura donde uno construye explícitamente la cuantización del campo sin masa escalar real libre en el espacio-tiempo bidimensional? En particular, ¿cómo se ve el propagador?

El caso 4d se trata en muchos libros de texto estándar en QFT, pero el caso 2d parece ser diferente debido a divergencias adicionales que no existen en dimensiones superiores.

Por ejemplo, usando la ecuación X T ϕ ( X ) ϕ ( y ) = d ( 2 ) ( X y ) y la analogía con el caso 4d (la regla de Feynman) se podría esperar que el propagador sea proporcional a

1 pag 2 + i ε = 1 ( pag 0 ) 2 ( pag 1 ) 2 + i ε .
Sin embargo, en 2d esta función generalizada no está bien definida, es decir, diverge como ε + 0 (incluso su parte imaginaria diverge).

AGREGAR: Probemos la afirmación anterior de que la parte imaginaria diverge. Tenemos

I metro ( 1 pag 2 + i ε ) = 1 2 i ( 1 pag 2 + i ε 1 pag 2 i ε ) = ε ( pag 2 ) 2 + ε 2 .
Dejar ϕ ( pag ) Sea una función suave no negativa que es igual a 1 en la bola unitaria y desaparece fuera de alguna bola más grande. Entonces
d pag 2 I metro ( 1 pag 2 + i ε ) ϕ ( pag ) = d 2 pag ε ( pag 2 ) 2 + ε 2 ϕ ( pag ) = d 2 pag 1 ( pag 2 ) 2 + 1 ϕ ( ε pag ) ,
donde la última igualdad se obtiene por el cambio de variables pag ε pag . Como ε + 0 , la última integral se convierte en al menos

d 2 pag 1 ( pag 2 ) 2 + 1 .
Demostremos que esto es infinito. Hagamos cambio de variables X = pag 0 pag 1 , y = pag 0 + pag 1 . Entonces la última integral es
1 2 d X d y 1 ( X y ) 2 + 1 = 1 2 d y d X ( X y ) 2 + 1 = 1 2 d y 1 | y | ( d z z 2 + 1 ) = ,
donde la segunda igualdad se obtiene por el cambio de variables x=z/|y|$. El resultado está probado.

¿Puede ser más específico sobre las divergencias que tiene en mente?
@SRS: Agregué un comentario al respecto. Sin embargo, creo que también hay otra forma que conduce a las divergencias, que se basa en cálculos en lugar de analogías, pero requeriría mucho más espacio para explicar eso.
Elija cualquier libro sobre teoría de cuerdas o 2d CFT (pero principalmente el primero). El primer o segundo capítulo no trivial tratará sobre esto.
En segundo lugar, no entiendo cuál es el problema con el propagador que escribiste. Está perfectamente bien (en el espacio de momento). ¿Qué es esta divergencia de la que hablas?
@Prahar: He agregado una prueba de divergencia. Sería genial tener una referencia más precisa a un libro.
@MKO: acabas de redescubrir la función delta de Dirac...
@Adam: - ??????
@Adam: Ya veo. Pero no estoy seguro de que ese fuera el punto principal de mi pregunta, aunque hay cierta superposición: ambos usamos expresiones similares (que no redescubrí...).
@MKO: ¿Cuál es la pregunta? El propagador esta bien...
@Adam: No, no está bien. Permítanme repetir que el punto principal del cálculo en mi publicación es que la expresión 1 pag 2 + i ε (como ε + 0 ) no tiene sentido en un espacio-tiempo bidimensional. Sin embargo, en dimensiones más altas tiene sentido.
Tienes que tomar el límite ϵ 0 después del cómputo

Respuestas (1)

Pude encontrar una respuesta a mi pregunta en la literatura. La referencia es: AS Wightman, "Introducción a algunos aspectos de los campos cuantizados", en "Notas de conferencias, Escuela de verano de Cargese, 1964".

Al pie de la pág. 204 Wightman escribe "... no existe un objeto matemático como un campo escalar libre de masa cero en un espacio-tiempo bidimensional a menos que se abandone una de las suposiciones habituales". Luego muestra que uno puede abandonar la suposición de positividad del producto escalar en el espacio de Hilbert, y construye la cuantización del campo escalar sin masa libre en un espacio de "Hilbert" con métrica indefinida.

Permítanme repetir el argumento que explica la cita anterior. Dejar ϕ ( X ) ser un campo así. Considere la función 0 | ϕ ( X ) ϕ ( y ) | 0 F ( X y ) . satisface F = 0 . Su transformada de Fourier F ~ es una distribución invariante de Lorentz que satisface pag 2 F ~ ( pag ) = 0 y apoyado en pag 0 0 . Por eso F ~ se apoya en la unión de dos semirrectas { pag 0 = pag 1 , pag 0 0 } y { pag 0 = pag 1 , pag 0 0 } . Además, si el producto escalar es definido positivo, entonces F ~ es una medida no negativa. Sin embargo, se puede demostrar que cualquier medida invariante de Lorentz no negativa que se apoye en las dos semirrectas anteriores debe ser proporcional a d ( 2 ) ( pag ) . Eso significa que F ( X y ) = C o norte s t .

Finalmente, permítanme agregar que encontré otra fuente (que no he estudiado en detalle) donde los autores aparentemente afirman que uno puede cuantificar el campo escalar sin masa libre en 2d si uno mantiene la definición positiva del producto escalar, pero abandona la suposición de que el vector de vacío tiene una norma finita. Ver Bogolyubov, Logunov, Oksak, Todorov "Principios generales de QFT", Sección 11.1.

Coleman 1973 también es una fuente de conocimiento.