Die Partitionsfunktion vonZ2
-orbifold freies Boson auf 2-Torus (parametrisiert durchτ≡ω2/ω1
) wird durch Operatorformalismus abgeleitet. Ich möchte es im pfadintegralen Ansatz betrachten:
Z=∑v, u∏m , nπ−λ( V, u )m , n−−−−−−√
Wo
v
Und
u
Werte unter nehmen
0
Und
1/2 _ _
verschiedene Randbedingungen definieren
ϕ ( z+ω1) = erw( ich 2 πv) ϕ ( z) ,ϕ ( z+ω2) = erw( ich 2 πu ) ϕ ( z) .
λ( V, u )m , n
s sind die Eigenwerte des Laplace-Operators
▽μ▽μ
mit
λ( V, u )m , n= −4π2[ ( m + ν) − ( n + u ) τ] [ ( m + ν) − ( n + u )τ¯]L2( Ich bin τ)2.
Der Einfachheit halber können wir den Sektor betrachten, in dem
v= 0
während
u = 1 / 2
da es in diesem Abschnitt keine Nullmodi gibt, über die man sich Sorgen machen muss, und
m , n
kann jede ganze Zahl annehmen. Dann
Z0 , 1 / 2==∏m ∈ Z , n ∈ Zπ−λ( 0 , 1 / 2 )m , n−−−−−−−√1∏m ∈ Z , n ∈ Z[ m − ( n + 1 / 2 ) τ] [ m − ( n + 1 / 2 )τ¯]−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−√
Wo
∏∞n = − ∞
a = 1 wird verwendet. Um den Nenner zu berechnen, kann man definieren
Q= erw( ich 2 πτ)
und dann
====∏m ∈ Z , n ∈ Z[ m − ( n + 1 / 2 ) τ] [ m − ( n + 1 / 2 )τ¯]∏N{ [Q− ( n + 1 / 2 ) / 2−Q( n + 1 / 2 ) / 2] ×hc }∏n ≥ 0{ [Q− ( n + 1 / 2 ) / 2−Q( n + 1 / 2 ) / 2] ×hc }∏n > 0{ [Q− ( n − 1 / 2 ) / 2−Q( n − 1 / 2 ) / 2] ×hc }∏n > 0{ [Q− ( n − 1 / 2 ) / 2−Q( n − 1 / 2 ) / 2] ×hc }2( qQ¯)− 1 / 6∏n = 1∞( 1 -Qn − 1 / 2)2( 1 -Q¯n − 1 / 2)2
was bedeutet
Z0 , 1 / 2=( qQ¯)1/12 _ _∏∞n = 1( 1 -Qn − 1 / 2) ( 1 −Q¯n − 1 / 2).
In der konventionellen Einführung in die konforme Feldtheorie, wie z. B. Gl.~(8.23) von „Applied Conformal Field Theory“ von P. Ginsparg, gibt es jedoch eine
τ
-Abhängigkeit Phasendifferenz:
Z~0 , 1 / 2=( qQ¯)1/48 _ _∏∞n = 1( 1 -Qn − 1 / 2) ( 1 −Q¯n − 1 / 2).
Ich kann die Existenz dieses kleinen, aber wesentlichen Unterschieds wirklich nicht verstehen. Ich merke, dass die Phasendifferenz ist
1/16 _ _
was seinen Ursprung in der Nullmodusänderung des Virasoro-Generators haben könnte
L0
beim Verdrehen der Randbedingung, aber ich kann es quantitativ nicht sinnvoll erscheinen lassen.
Ezareth