共形変換
共形変換とは計量テンソルに対する次の変換を指す。
gμν→gμν′(x′)=Ω(x)−2gμν(x)=e2ω(x)gμν(x).
ここでΩ(x)は任意の滑らかな関数。
Ω(x)=1の周りで展開できる場合には最右辺のWeyl変換の形にも書くことができる。
共形変換では次で表されるベクトルu,v間の角度が保存される。
cosθ=u2v2u⋅v=gμνuμuνgρλvρvλgμνuμvν.
今、座標変換によって誘起される共形変換、共形座標変換を考える。
平坦な時空において座標の微小変換xμ→x′μ=xμ+ϵμ(x)を考えると、線素は次のように変換される。
ds2=ημνdxμdxν→ημν(dxμ+dϵμ)(dxν+dϵν)=ημν(dxμdxν+dϵμdxν+dϵνdxμ)=(ημν+∂μϵν+∂νϵμ)dxμdxν≡ημν′dxμdxν.
これが共形変換ημν→ημν′=Ω(x)ημνとなるには余分な項がημνに比例する必要がある。
比例係数はトレースから決定することができるので
∂μϵν+∂νϵμ=d2(∂⋅ϵ)ημν,
を得る。
この方程式に∂ρ∂νを縮約させると
∂ρ∂μ(∂⋅ϵ)+∂ρ∂2ϵμ=d2∂ρ∂μ(∂⋅ϵ)d∂2∂ρϵμ+(d−2)∂ρ∂μ(∂⋅ϵ)=0.
対称部分をとって
d∂2∂(ρϵμ)+(d−2)∂ρ∂μ(∂⋅ϵ)=0,∂2(∂⋅ϵ)ημν+(d−2)∂ρ∂μ(∂⋅ϵ)=0.
次のようにも書ける。
[ημν∂2+(d−2)∂μ∂ν](∂⋅ϵ)=0.
よって共形座標変換はこのKilling方程式を満たす微小座標変換
xμ→xμ+ϵμ(x)によって表さられ、
計量は平坦な時空から次のように共形変換される。
ημν→(1+d2(∂⋅ϵ))ημν.
Weyl変換と対応させるとω(x)=(1/d)∂⋅ϵ(x)となる。
共形場理論で興味があるのはこうした変換であるため、共形座標変換のことを単に共形変換と呼ぶことが多い。
d>2においてKilling方程式から、全体として3階の微分項のみで消えなければならないので、解はせいぜい座標の二次までで構成される。
まとめて表すと
ϵμ(x)=aμ+ωμνxν+λxμ+bμx2−2(b⋅x)xμ.
となる。各変換について表に記した。変換のパラメータは群の生成子にそれぞれ対応する。
表: 共形変換を誘起する座標変換
座標変換 | ϵμ(x) | ω(x) |
並進 | aμ | 0 |
ローレンツ変換 | ωμνxν | 0 |
スケール変換 | λxμ | λ |
特殊共形変換(SCT) | bμx2−2(b⋅x)xμ | −2(b⋅x) |
微小変換を積分して有限の変換として表す。並進とローレンツ変換は合わせてポアンカレ変換に相当する。
x′μ=Λμνxν+aμ.
また、スケール変換はx′=λxとなる。
特殊共形変換は次の形となる。
x′μ=1+b⋅x+b2x2xμ+bμx2.
bで微分すれば微小変換に帰着することを確かめられる。
SCTの変換式から次が得られる。
x′2x′μ=x2xμ+bμ.
ここで新たな変換としてinversionが現れる。
これは次の座標変換で誘起される共形変換である。
x′μ=x2xμ, Ω(x)=x2.
この座標変換は恒等変換近傍で展開できないのでKilling方程式の解としては直接現れなかった。
しかしSCTの変換式を見ると、inversionしてからbμ並進しもう一度inversionするとbμのSCTと等しくなることが分かる。
複素座標による表現
d=2でgμν=δμνの Euclidean 計量を考えると、Killing方程式から
∂0ϵ1=−∂1ϵ0, ∂0ϵ0=∂1ϵ1
が得られる。
これは座標z=x0+ix1に対するϵ=ϵ0+iϵ1についてのCauchy-Riemannの方程式となっており、
zに対して座標変換z→z′=z+ϵ(z)が正則(holomorphic)であることを意味する。
(複素共役を取った組に対しても同様。)
よってここでは座標を複素平面にとってd=2のCFTを調べていく。
実座標との対応は
z=x0+ix1, zˉ=x0−ix1,∂z=∂=(∂0−i∂1)/2, ∂zˉ=∂ˉ=(∂0+i∂1)/2,x0=(z+zˉ)/2, x1=−i(z−zˉ)/2,∂0=∂+∂ˉ, ∂1=−i(∂−∂ˉ),ds2=(dx0)2+(dx1)2=21(dzdzˉ+dzˉdz),dx0dx1=detgdzdzˉ=2dzdzˉ,
となる。
**デルタ関数や微分を自然にしようとすると計量はこうなる。
ベクトル、反変ベクトルの関係式は座標、微分の関係式と同様に書ける。
計量からベクトルの複素座標の足の上下についても次のように関係づく。
vz=gzμvμ=21vzˉ, vzˉ=21vz.
zの言葉で改めて書き直すと、共形変換とは
z→z′=f(z), zˉ→zˉ′=fˉ(zˉ)
の座標変換の下で
ds2=dzdzˉ→Ω(z,zˉ)−2dzdzˉ
と変換するものを指す。前述したように、d=2の場合fが正則関数でありさえすれば常にこれは成り立っている。
大域的な共形変換を複素表示で表してみる。
並進 z′=z+a,(a∈C),
スケール z′=λz,(λ∈R),
回転 z′=eiθz,(θ∈R),
SCT ???,
座標の微小変分ϵ(z)は正則であるので次のようにLorant展開することができる。
ϵ(z)=−∑ϵnzn+1.
この時、共形変換群の生成子lnとすると、
z′=e∑ϵnlnz≈(1+∑ϵnln)z,
であるので
ln≡−zn+1∂z
と表すことができる。
(zˉについても同様にlˉnが与えられる。)
ここから生成子の満たす代数は次のようになる。
[ln,lm]=(m−n)lm+n, [lˉn,lˉm]=(m−n)lˉm+n, [ln,lˉm]=0.
代数の形から、n=−1,0,+1は次の部分代数を構成することが分かる。
[l+,l−]=−2l0, [l0,l+]=l+, [l0,l−]=−l−,[l0,l0]=[l+,l+]=[l−,l−]=0.
ここでl+≡l1,l−≡l−1である。
この部分代数は特殊線形変換代数sl(2,R)に等しい。
共役と合わせるとsl(2,R)⊕sl(2,R)=sl(2,C)の代数を構成する。
大域的共形変換群はSL(2,C)で表されるため、これはこの部分群に対応している。
また、各変換の生成子は次のように対応することが分かる。\cite{ginsparg}
(並進)(スケール変換)(回転)(SCT)l−l0+lˉ0i(l0−lˉ0)l+=−∂z,=−z∂−zˉ∂ˉ,=−iz∂+izˉ∂ˉ,=−z2∂.
CFTの古典的性質
共形場理論
今、スカラー場ϕを含む理論を考える。
理論を共形変換の元に不変にできる時、これを共形場理論と呼ぶ。
この時、次のような変換性を持つ場をconformal dimentionがΔの
quasi-primary場と呼ぶ。
ϕ(x)→∣∣∣∣∂xν∂x′μ∣∣∣∣Δ/dϕ(x′).
x′=x+ϵ(x)の微小変換での変化分は
ϕ′(x′)=∣δμν+∂νϵμ∣Δ/d[ϕ(x)+ϵμ∂μϕ(x)]≈(1+dΔ∂μϵμ)(1+ϵμ∂μ)ϕ(x),
ここで∣1+M∣≈1+trMを使った。よって
δϵϕ(x)=(dΔ∂μϵμ+ϵμ∂μ)ϕ(x).
d=2の複素座標では
ϕ(z,zˉ)→(∂z∂z′)h(∂zˉ∂zˉ′)hˉϕ(z′,zˉ′).
このような場をconformal weightが(h,hˉ)のprimary場と呼ぶ。\cite{ginsparg}\cite{erdmenger}
Δ=h+hˉであり、s=h−hˉはスピンに対応する。
微小変換z′=z+ϵを考えると
δϵϕ(x)=(h∂ϵ+ϵ∂+hˉ∂ˉϵˉ+ϵˉ∂ˉ)ϕ(z,zˉ),
となる。
ストレステンソルのトレースレス性
スカラー場とLagrangianはどちらもスカラーなので共形変換に対して次の変換則を持つ。
ϕ(x)→ϕ(x′)=ϕ(x)+ϵμ(x)∂μϕ(x),L(x)→L(x′)=L(x)+ϵμ(x)∂μL(x).
よって共形変換のNoetherカレントは次で表される。
jϵμ=ϵν(x)(∂(∂μϕ)∂L∂νϕ(x)−δμνL(x))=Tμν(x)ϵν(x).
ここでTμνはストレステンソルであり、これは並進対称性から得られるNoetherカレントである。
ここでϵμ(x)は共形座標変換のKilling方程式を満たす関数である。
すると、次が成り立つ
0=∂μjϵμ==∂μ(Tμνϵν)=Tμν∂μϵν21Tμν(∂μϵν+∂νϵμ)=2dTμν(∂⋅ϵ)δμν=2d(∂⋅ϵ)Tμμ,
ここでストレステンソルの保存則と対称性、Killing方程式を使った。
よって共形対称性を持った理論ではストレステンソルはトレースレスとなることが分かる。
トレースレス性を複素座標で表すと次のようになる
0=gμνTμν=gzˉzTzˉz+gzzˉTzzˉ=2(Tzˉz+Tzzˉ).
よって、対称性からTzˉz=−Tzzˉ=0が分かる。
また、保存則から
0=∂μTμνdxν=2(∂ˉTzzdz+∂Tzˉzˉdzˉ),
が得られる。よって
∂ˉTzz=∂Tzˉzˉ=0
よりTzzは正則、Tzˉzˉは反正則となる。
ここから次のように表す。
Tzz=T(z), Tzˉzˉ=Tˉ(zˉ).
共形不変性の保存カレントをこれで表すと次にように書ける。
jzϵ=Tzzϵz=T(z)ϵ(z), jzˉϵ=Tzˉzˉϵzˉ=Tˉ(zˉ)ϵˉ(zˉ).
量子共形場理論
量子場の微小変換は、変換の保存チャージ演算子との同時刻交換子によって生成される。
δϵϕ(x)=[Qϵ,ϕ(x)]s.t..
これは正準交換関係から導かれる。
(関連:対称性)
今、時空が Euclidean であるために虚数が取り除かれている。
共形対称性の保存チャージは保存カレントの時間成分の空間積分によって得られる。
ここで複素座標での空間方向は円周方向に対応するので
Qϵ=∫−∞∞dx1j0ϵ(x)=2πi1∮(dzT(z)ϵ(z)+dzˉTˉ(zˉ)ϵˉ(zˉ)),
となる。
よって
δϵϕ(z′,zˉ′)=2πi1∮(dz[T(z)ϵ(z),ϕ(z′,zˉ′)]+dzˉ[Tˉ(zˉ)ϵˉ(zˉ),ϕ(z′,zˉ′)]),
ここで同時刻交換子のみを考えるため、時間順序積をとったもののみが残る。
複素座標では∣z∣が時間方向なので、これをR積で表すと積分は次のようになる。
**Ginsparg, p.20;
∮dz[A(z),B(w)]s.t.===∣z∣=∣w∣∮dz(A(z)B(w)−B(w)A(z))∣z∣=∣w∣−δ∮dzRA(z)B(w)−∣z∣=∣w∣+δ∮dzRA(z)B(w)∮wdzRA(z)B(w).
よって積分はwでの極を拾ってくる。
今後はRを書かずに暗にこの順序積を取っていることにする。
primary場の変化分と結びつけると、正則部分は
(h∂ϵ(z)+ϵ(z)∂)ϕ(z,zˉ)=2πi1∮zdwϵ(w)T(w)ϕ(z,zˉ),
ここで、留数定理
f(z)=2πi1∮zdww−zf(w),∂f(z)=2πi1∮zdw(w−z)2f(w),
ここから積分が次のように書ける。
(h∂ϵ(z)+ϵ(z)∂)ϕ(z,zˉ)=2πi1∮zdwϵ(w)((w−z)2hϕ(z,zˉ)+w−z∂ϕ(z,zˉ)+⋯).
よってTϕの演算子積展開(operator product expansion; OPE)が次のように決まる。
T(z)ϕ(w,wˉ)=(z−w)2hϕ(w,wˉ)+z−w1∂ϕ(w,wˉ)+⋯,
非正則部分も同様。
ここで最低次係数にはprimary場のweight (h,hˉ)が来る。
一般にストレステンソルとのOPEから共形weightが読み取れる。
ストレステンソルT自身とのOPEは一般に次の形となることが後に分かる。
T(z)T(w)=(z−w)4c/2+(z−w)22T(w)+z−w1∂T(w)+⋯.
ストレステンソルは古典的にはh=2の変換性を持つはずだが、
量子効果により-4次の項が出て変換性のズレが現れている。
この時のcをcentral chargeと呼ぶ。
masslessスカラーの例
masslessスカラーの理論を考える。
S=2π1∫d2x(∂0X∂0X+∂1X∂1X)=π1∫d2z∂X∂ˉX.
ここから運動方程式は
∂∂ˉX=0,
よって場を微分した
∂X(z),∂ˉX(zˉ)
が正則(反正則)であることが分かる。
次に、経路積分量子化から場の二点関数の接触項の値を得る。
経路積分の処方によると、 Euclidean 時空で場の演算子期待値は次で与えられる。
⟨O⟩=∫DXexp(−S[X])O.
経路積分における境界項が消えることから、次のように二点関数を計算することができる。
0===∫DXδX(z,zˉ)δexp(−S[X])X(w,wˉ)∫DXexp(−S[X])(δ2(z−w)+π1∂∂ˉX(z)X(w))δ2(z−w)+π1∂∂ˉ⟨X(z)X(w)⟩.π1∂∂ˉ⟨X(z)X(w)⟩=−δ2(z−w).
ここで次の微分方程式を思い出す
∂∂ˉln∣z∣2=2πδ2(z),
これは二次元のPoisson方程式とその解である。
なぜなら、z̸=0の時は∂∂ˉln∣z∣2=∂∂ˉ(lnz+lnzˉ)=0から満たしており、
またデルタ関数の係数については、原点から半径Rの領域で積分して
∫d2z∂∂ˉln∣z∣2=2∫Rd2x4∇2ln∣x∣2=∮∂Rdsn⋅∇lnr=R2πR=2π
と決まる。
これを用いると、
π1∂∂ˉ⟨X(z)X(w)⟩=−2π1∂∂ˉln∣z−w∣2.
よってこの関係式を積分することにより、二点関数の接触項は次のように書ける。
⟨X(z,zˉ)X(w,wˉ)⟩∼−21ln∣z−w∣2=−21(ln(z−w)+ln(zˉ−wˉ))
運動方程式から、場は正則部分と反正則部分に分けて書くことできるので、
場と二点関数について次のように表せる。
X(z,zˉ)=21(x(z)+xˉ(zˉ)),⟨x(z)x(w)⟩∼−ln(z−w), ⟨xˉ(zˉ)xˉ(wˉ)⟩∼−ln(zˉ−wˉ).
これらの場はlog発散を持ち、primary場では無い。
一方z,wでそれぞれ微分してやると
⟨∂x(z)∂x(w)⟩∼−(z−w)21(5.1)
となりこれはprimary場である。\cite{ginsparg}
ここで、ストレステンソルを計算すると
Tμν=∂(∂μX)∂L∂νX−δμνL,Tzz=Tzˉzˉ=0, Tzzˉ=−π1∂ˉX∂ˉX, Tzˉz=−π1∂X∂X,Tzz=Tzˉzˉ=−2π1(∂X∂X+∂ˉX∂ˉX),
正則部分と分ければ
Tzz(z,zˉ)=4π1(∂x(z)∂x(z)+∂ˉxˉ(zˉ)∂ˉxˉ(zˉ)),T(z)≡−21∂x(z)∂x(z),
と書くことにする。
*
*Ginsparg, p.22, (2.17); Polchinski, p.43, (2.3.15);
符号や係数にいまいち納得いかない部分がある。
しかしながら、二点関数の接触項(5.1)式から、この値は発散してしまう。
これをうまく取り扱うために次の正規順序積(normal-order)を用いる。
これは演算子積の接触項は全て二点関数の発散からくるとして、その分の寄与を取り除く処方である。
:A1A2⋯An:=A1A2⋯An−(all contraction),
ここでcontractionとは、次のようなものとなる。
A1∙A2A3∙A4∼⟨A1A3⟩A2A4,A1∙A2∘A3∘A4∙∼⟨A1A4⟩⟨A2A3⟩,
上付きの記号で二つの演算子を繋いだ部分がcontractionであり、
その部分は二点関数期待値の発散部分に置き換わる。(c数になる。)
場の理論での生成消滅演算子に対する正規順序積も、演算子積の発散を取り除く意味では同じ振る舞いとなっている。
N[apaq†]=N[aq†ap+δ(p−q)]=aq†ap.
これを用いてストレステンソルを定義することにする。
T(z)≡−21:∂x(z)∂x(z):==−21z→wlim[∂x(z)∂x(w)−∂x∙(z)∂x∙(w)]−21z→wlim[∂x(z)∂x(w)+(z−w)21].
ストレステンソルを定義できたので、まずT∂xのOPEを行う。
全体がnormal-orderされた項は接触項を含まないので、
結局、可能な全てのcontractionをとったものが接触項の寄与となる。
T(z)∂x(w)===−21:∂x(z)∂x(z):∂x(w)−21[∂x∙(z)∂x(z)∂x∙(w)+∂x(z)∂x∙(z)∂x∙(w)+⋯]−⟨∂x∙(z)∂x(w)⟩∂x(z)+⋯=(z−w)21∂x(z)+⋯,
ここで∂x(z)同士のcontractionはTの時点でnormal-orderをとっているので考えない。
∂x(z)をwの周りで展開すれば
T(z)∂x(w)=(z−w)21∂x(w)+z−w1∂2x(w)+⋯,
ここから、∂xは共形weight(1,0)のprimary場であることが分かる。
同様にTTのOPEを行うと
T(z)T(w)====41:∂x(z)∂x(z)::∂x(w)∂x(w):41[∂x∙(z)∂x∘(z)∂x∙(w)∂x∘(w)+∂x∙(z)∂x∘(z)∂x∘(w)∂x∙(w)+∂x∙(z)∂x(z)∂x∙(w)∂x(w)+(3 permutations)+⋯]41[2⟨∂x(z)∂x(w)⟩⟨∂x(z)∂x(w)⟩+4⟨∂x(z)∂x(w)⟩∂x(z)∂x(w)+⋯](z−w)41/2−(z−w)21∂x(z)∂x(w)+⋯,
∂x(z)をwの周りで展開して
T(z)T(w)=(z−w)41/2−(z−w)21∂x(w)∂x(w)−z−w1∂2x(w)∂x(w)+⋯,
∂T(w)=−:∂2x(z)∂(z):なので
T(z)T(w)=(z−w)41/2+(z−w)22T(w)+z−w1∂T(w)+⋯,
よって-4次の接触項をもつためTはprimary場ではなく、
今の場合central chargeはc=1となっている。