Creo que la fuente original de esta afirmación es el famoso artículo inédito de Luescher y Mack . Todo el mundo lo cita. Es más riguroso matemáticamente y en general (no asumen paridad) que Di Francesco. Comienza en las páginas 1-2 del manuscrito. La prueba a continuación es básicamente la misma prueba, solo que con detalles adicionales y una notación un poco diferente.
Suposiciones: Tμ ν
son campos covariantes locales de dimensión 2 y
T†μ ν=Tμ ν,Tμ ν=Tvm,∂mTμ ν= 0.
Además, se supone que las funciones de correlación están bien definidas y se comportan, y satisfacen los axiomas habituales de CFT como se indica, por ejemplo,
en esta página de nLab .
Prueba: Primero definimos las funciones de 2 puntos
Sμ νρ σ(X⃗,y⃗) : = continuación analítica de ⟨ Ω ∣Tμ ν(X⃗)Tρ σ(y⃗) ∣ Ω ⟩ .
Todo
S
son traduccionalmente invariantes, por lo que también podemos establecer
y⃗= 0
para que nos quedemos
Sμ νρ σ(X⃗) : = ⟨ Ω ∣Tμ ν(X⃗)Tρ σ( 0 ) ∣ Ω ⟩ .
Esta función es analítica real para
X⃗∈R2,X⃗≠ 0
, y debido a la invariancia bajo dilataciones, y la suposición de que
Tμ ν
son de peso conforme 2, tenemos
Sμ νρ σ(X⃗) =λ4Sμ νρ σ( λX⃗)∀ λ ∈ R .( 1 )
Además, desde
Tμ ν=Tvm
obtenemos
Sμ νρ σ(X⃗) =Svμ ρ σ(X⃗) =Sμ νσρ(X⃗) .( 2 )
Además, por localidad, invariancia bajo traslaciones y Ecuación 1 con
λ = − 1
obtenemos
Sμ νρ σ(X⃗, 0 ) =Sρ σμ ν( 0 ,X⃗) =Sρ σμ ν( -X⃗, 0 ) =Sρ σμ ν(X⃗, 0 ) ,
o en notación abreviada
Sμ νρ σ(X⃗) =Sρ σμ ν(X⃗) .( 3 )
De las ecuaciones 2 y 3 vemos que
Sμ νρ σ(X⃗)
tiene 6 componentes independientes y además teniendo en cuenta la Ecuación 1 podemos escribir
Sμ νρ σ(X⃗) = (X⃗2)− 4∑yo = 16αiFiμ νσρ(X⃗) ,αi∈ C ,( 4 )
dónde
F1μ νρ σ(X⃗) = (X⃗2)2gramoμ νgramoρ σ,F2μ νρ σ(X⃗) = (X⃗2)2(gramoμ ρgramovσ+gramoμ σgramovρ) ,F3μ νρ σ(X⃗) =X⃗2(gramoμ νXρXσ+gramoρ σXmXv) ,F4μ νρ σ(X⃗) =XmXvXρXσ,F5μ νρ σ(X⃗) =X⃗2(gramoμ ν(XρεσdXd+Xσερ δXd) +gramoρ σ(XmεvdXd+Xvεμ δXd) ) ,F6μ νρ σ(X⃗) = (XmεvdXd+Xvεμ δXd)XρXσ+XmXv(XρεσdXd+Xσερ δXd) ,
y
gramoμ ν=dμ ν,εμ ν= −εvm,ε01= + 1 ,X⃗2= (X0)2+ (X1)2.
La ecuación de continuidad
∂mTμ ν= 0
implica que
∂mSμ νρ σ(X⃗) = 0
y por lo tanto reduce el número de independientes
αi
's a 2 constantes arbitrarias
α+
y
α−
(me comprobé usando Mathematica) :
α1= 3α+,α5=α−,α2= −α+,α3= − 4α+,α4= 8α+,α6= − 2α−.
Insertando estos valores en la Ecuación 4 obtenemos:
Smμ ρ σ(X⃗) =Smρmρ(X⃗) = 0 ,
es decir
⟨ Ω ∣Tmm(X⃗)Tρρ( 0 ) ∣ Ω ⟩ = 0
, que por el
Teorema de Reeh-Schlieder implica que
Tmm(X⃗) = 0
.
Ahora, para poder aplicar Reeh-Schlieder, en realidad tenemos que ir aX⃗= 0
como correctamente has señalado. Y la razón por la que podemos hacer esto es la continuación analítica, citando la página 110 de R. JOST: The General Theory of Quantized Fields, 1965 (el mismo paso en un lema relacionado):
"Tal distribución de Wigtman, por lo tanto, se desvanece en los puntos de regularidad reales y, por lo tanto, por continuación analítica de manera idéntica".
tl; dr continuación analítica
Motl de Luboš
Aprender es un desastre
prahar
prahar
Trimok
prahar
Trimok
prahar
Trimok
Trimok
Trimok
Trimok