La función de partición deZ2
-orbifold bosón libre en 2-torus (parametrizado porτ≡ω2/ω1
) se deriva por el formalismo del operador. Quiero considerarlo en el enfoque de ruta integral:
Z=∑v, tu∏m , norteπ−λ( v, tu )m , norte−−−−−−√
dónde
v
y
tu
tomando valores entre
0
y
1 / 2
definir varias condiciones de contorno
ϕ ( z+ω1) = exp.( yo 2 πv) ϕ ( z) ,ϕ ( z+ω2) = exp.( yo 2 πtu ) ϕ ( z) .
λ( v, tu )m , norte
's son los valores propios de Laplaciano
▽m▽m
con
λ( v, tu )m , norte= −4π2[ ( m + v) - ( norte + tu ) τ] [ ( metro + v) - ( norte + tu )τ¯]L2( Soy τ)2.
Para simplificar, podemos considerar el sector en el que
v= 0
mientras
tu = 1 / 2
ya que en este apartado no hay modos cero de los que preocuparse y
m , norte
puede tomar cualquier entero. Entonces
Z0 , 1 / 2==∏metro ∈ Z , norte ∈ Zπ−λ( 0 , 1 / 2 )m , norte−−−−−−−√1∏metro ∈ Z , norte ∈ Z[ metro - ( norte + 1 / 2 ) τ] [ metro - ( norte + 1 / 2 )τ¯]−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−√
dónde
∏∞norte = − ∞
Se hace uso de a=1. Para calcular el denominador, se puede definir
q= exp( yo 2 πτ)
y luego
====∏metro ∈ Z , norte ∈ Z[ metro - ( norte + 1 / 2 ) τ] [ metro - ( norte + 1 / 2 )τ¯]∏norte{ [q− ( norte + 1 / 2 ) / 2−q( n + 1 / 2 ) / 2] ×hc }∏norte ≥ 0{ [q− ( norte + 1 / 2 ) / 2−q( n + 1 / 2 ) / 2] ×hc }∏norte > 0{ [q- ( norte - 1 / 2 ) / 2−q( norte - 1 / 2 ) / 2] ×hc }∏norte > 0{ [q- ( norte - 1 / 2 ) / 2−q( norte - 1 / 2 ) / 2] ×hc }2( qq¯)− 1 / 6∏norte = 1∞( 1 -qnorte - 1 / 2)2( 1 -q¯norte - 1 / 2)2
lo que significa
Z0 , 1 / 2=( qq¯)1 / 12∏∞norte = 1( 1 -qnorte - 1 / 2) ( 1 -q¯norte - 1 / 2).
Sin embargo, en la introducción convencional a la teoría de campos conformes, como la Ec.~(8.23) de "Teoría de campos conformes aplicada" de P. Ginsparg, hay una
τ
-diferencia de fase de dependencia:
Z~0 , 1 / 2=( qq¯)1 / 48∏∞norte = 1( 1 -qnorte - 1 / 2) ( 1 -q¯norte - 1 / 2).
Realmente no puedo entender la existencia de esta pequeña pero esencial diferencia. Me doy cuenta de que la diferencia de fase es
1 / 16
que podría tener su origen en el cambio de modo cero del generador Virasoro
L0
al torcer la condición de contorno, pero no puedo dejar que tenga sentido cuantitativamente.
Ezareth