第 9 章 相対論的な光錐弦
12.8 タキオンと D- ブレイン崩壊
一様な自由スカラー場ϕ(t)に対して L= 1
2
ϕ˙2−V(ϕ), V(ϕ) =1
2M2ϕ2, ∴ϕ¨+M2ϕ= 0 である.
• M2>0のとき
V(ϕ)はϕ= 0において極小値をとるため,ϕ= 0の状態は安定である.実際このとき ϕ(t) =Acos(M t) +Bsin(M t)
となり,場の値はϕ= 0の付近を振動する.
• M2<0のとき
V(ϕ)はϕ= 0において極大値をとるため,ϕ= 0の状態は不安定である.
実際このときβ=√
−M2とおくと
ϕ(t) =Acosh(βt) +Bsinh(βt) となり,自明な解ϕ= 0を除けば|ϕ(∞)|=∞となる.
開弦におけるタキオン状態はM2=−1/α′<0を持つので不安定性が示唆される.フェルミオンを含む超弦 理論においてもタキオンが現れ得るため,その不安定性について理解しなければならない.
開弦はD25-ブレインに接続している.そこでD25-ブレインのエネルギー密度T25をタキオンのポテンシャ ルに組み込み,さらに場の相互作用を表す3次以上の項を加えて
V(ϕ) =T25− 1
2α′ϕ2+βϕ3+· · ·
とする.ϕ= 0の近くではV(ϕ)≃T25−2α1′ϕ2なので,ϕ= 0の状態は不安定である.不安定性により場の値 がϕ >0の方へ変化する場合を考える.このときポテンシャルの値はV(0) =T25から減少する.これはタキ オンがD25-ブレインのエネルギーを低下させるものと解釈される.場の値がV(ϕ∗) = 0となるϕ=ϕ∗に達 するとD25-ブレインは消失し,これに端点を接続されていなければならない開弦もともに消失する.ϕ=ϕ∗ の状態は安定であることが証明されている(図24参照).
計算練習12.8
Euler-Lagrange方程式
0 =∂µ ∂L
∂(∂µϕ)−∂L
∂ϕ =−∂µ∂µϕ+V′(ϕ) は場の運動方程式(12.197)を与える.
図24 D25-ブレインを基礎に置く開弦理論のタキオンポテンシャル(教科書の図12.3(p.268)を改変)
第 13 章 相対論的な量子閉弦 13.1 モード展開と交換関係
弦理論は当初,ハドロンの理論であると考えられた.しかし閉弦から現れるスピン2を持つ無質量状態に対 応するハドロンは知られていなかった.その後,この無質量状態のひとつを重力子に同定し得ることが判明 した.
ゲージ条件
n·X =α′(n·p)τ, n·p= 2πn· Pτ の下では,開弦と閉弦のいずれに対しても
制約条件 ( ˙X±X′)2= 0, 運動方程式 X¨µ−Xµ′′= 0, Pσ,Pτの式 Pσµ=− 1
2πα′Xµ′, Pτ µ= 1 2πα′
X˙µ
が成り立つ(9.3節).閉弦を考えよう.このときσの値が2πの整数倍だけ異なる点は同じ点を表す.よって 周期性条件
Xµ(τ, σ) =Xµ(τ, σ+ 2π)
が課せられることに注意して,制約条件( ˙X±X′)2= 0の下で波動方程式を解くと Xµ(τ, σ) =xµ0+√
2α′αµ0τ+i
√α′ 2
∑
n̸=0
e−inτ
n (αµneinσ+ ¯αµne−inσ) となる.開弦に対する式(9.52):αµ0 =√
2α′pµと同様に,αµ0 は弦の運動量に比例する:
pµ =
∫ 2π 0
Pτ µ(τ, σ)dσ= 1 2πα′
∫ 2π 0
X˙µ(τ, σ)dσ=
√2
α′αµ0, ∴αµ0 =
√α′ 2pµ. 量子論に移り正準交換関係
[XI(τ, σ),Pτ J(τ, σ′)] =iδ(σ−σ′)ηIJ, [x−0, p+] =−i, etc.
を課すと,2組の振動子α, α¯ に対する交換関係
[ ¯αIm,α¯Jn] =mδm+n,0ηIJ, [αIm, αJn] =mδm+n,0ηIJ, [αIm,α¯Jn] = 0 を得る.ただしα¯µ0 ≡α0µである.n≥1に対して
αIn=aIn√
n, αI−n=aIn†√ n,
¯
αIn=¯aIn√
n, α¯I−n= ¯aIn†√ n によってaIn, aIn†,a¯In,¯aIn†を導入すると,これらは
[¯aIm,¯aJn†] =δm,nηIJ, [aIm, aJn†] =δm,nηIJ, etc.
を満たすため生成・消滅演算子となる.xI0とαJn(n̸= 0),αJ0 =√
α′/2pJの交換関係 [xI0, αJn] =[xI0,α¯Jn] = 0 for n̸= 0,
[xI0, pJ] =iηIJ も見出される.閉弦に対してハミルトニアンは
H =α′p+p− である.
13.1 について
■式(13.13)について 式(13.13)の左辺XLµ(u+ 2π)−XLµ(u)がゼロでない値を持つことは,XLµ(u)が
「周期条件から外れる」(p.277,l.17)ことを意味する.式(13.13)の右辺の値はuに依らないから,左辺 XLµ(u+ 2π)−XLµ(u)の値もまたuに依らない.よって
d
du{XLµ(u+ 2π)−XLµ(u)}= 0, ∴XLµ′(u+ 2π) =XLµ′(u) である.これはXLµ′(u)が「周期2πを持つ周期関数」(p.277,l.20)となることを意味する.
問題13.1 (a)
正準交換関係(13.27)から振動子の交換関係(13.29),(13.30)が得られることを確かめよう.X˙µ±Xµ′の モード展開(13.26)より交換関係(13.28)は
∑
m′,n′
e−im′(τ+σ)e−in′(τ+σ′)[ ¯αIm′,α¯Jn′] =2πiηIJ d
dσδ(σ−σ′),
∑
m′,n′
e−im′(τ−σ)e−in′(τ−σ′)[αIm′, αJn′] =−2πiηIJ d
dσδ(σ−σ′)
と書ける.第2式は−σ→σ,−σ′ →σ′の置き換えにより,振動子の種類α, α¯ の違いを除いて第1式に一 致する.そして第1式の式(12.40)との類似性に注意すると,2式は式(12.45)と類似の振動子の交換関係 (12.39):
[ ¯αIm,α¯Jn] =mδm+n,0ηIJ, [αIm, αJn] =mδm+n,0ηIJ を与えることが分かる.X˙µ±Xµ′のモード展開(13.26)より交換関係(13.31)は
∑
m′,n′
[ ¯αIm′, αJn′]e−i(m′+n′)τe−im′σein′σ′ = 0 を与える.ここから同様に式(13.30):
[ ¯αIm, αJn] = 0 を得る.
(b)
問題10.2(a)と同様の計算を繰り返せば良い.
(c)
振動子の交換関係(13.29),(13.30)および式(13.33):[xI0, pJ] =iηIJから正準交換関係(13.27)が得られる ことを確かめよう.X のモード展開(13.24)および
X˙J(τ, σ′) =α′pJ+
√α′ 2
∑
m̸=0
e−imτ(αJmeimσ′+ ¯αJme−imσ′) より
[XI(τ, σ),X˙J(τ, σ′)] =α′[xI0, pJ] +iα′ 2
∑
n̸=0
∑
m̸=0
e−i(n+m)τ n
{
[αIn, αJm]ei(nσ+mσ′)+ [ ¯αIn,α¯Jm]e−i(nσ+mσ′) }
=α′iηIJ+iα′ 2 ηIJ∑
n̸=0
{ein(σ−σ′)+e−in(σ−σ′)} (m=−nの項のみ寄与を持つから)
=α′iηIJ ∑
n∈Z
ein(σ−σ′)
=2πα′iηIJδ(σ−σ′),
∴[XI(τ, σ),Pτ J(τ, σ′)] = 1
2πα′[XI(τ, σ),X˙J(τ, σ′)]
=iηIJδ(σ−σ′) : (13.27) を得る.
(d)
正準交換関係(13..27)から振動子の交換関係(13.29),(13.30)が得られたものとして,さらに交換関係 (13.33):[xI0, pJ] =iηIJを導くことを考えよう.正準交換関係
[XI(τ, σ),X˙J(τ, σ′)] = 2πα′iηIJδ(σ−σ′)
の両辺を0≤σ≤2πにわたって積分すると,右辺は2πα′iηIJ になる.一方,左辺において小問(c)で計算 したように
i
√α′ 2
∑
n̸=0
e−inτ
n (αIneinσ+ ¯αIne−inσ),X˙J(τ, σ′)
=
i
√α′ 2
∑
n̸=0
e−inτ
n (αIneinσ+ ¯αIne−inσ),
√α′ 2
∑
m̸=0
e−imτ(αJmeimσ′+ ¯αJme−imσ′)
=iα′
2ηIJ∑
n̸=0
{ein(σ−σ′)+e−in(σ−σ′)}
なので,これを0≤σ≤2πにわたって積分するとゼロになる.よって
∫ 2π 0
dσ[XI(τ, σ),X˙J(τ, σ′)] =
∫ 2π 0
dσ[xI0+√
2α′αI0τ,X˙J(τ, σ′)] = 2π[xI0+√
2α′αI0τ,X˙J(τ, σ′)]
だから
[xI0+√
2α′αI0τ,X˙J(τ, σ′)] =iα′ηIJ を得る.ここでX˙J(τ, σ′)をモード展開すると
√2α′[xI0, αJ0] +
√α′ 2
∑
m̸=0
e−imτ {
[xI0, αJm]eimσ′ + [xI0,α¯Jm]e−imσ′ }
=iα′ηIJ (34) となる.n̸= 0として両辺に∫2π
0 dσ′e−inσ′ を作用させると
√α′ 2
{[xI0, αJn]e−inτ+ [xI0,α¯J−n]einτ}
= 0 となる.これが任意のτに対して成り立つためには
[xI0, αJn] = 0, [xI0,α¯Jn] = 0 for n̸= 0 でなければならない.さらにこれを式(34)にもどすと
√2α′[xI0, αJ0] =iα′ηIJ, ∴[xI0, αJ0] =i
√α′
2ηIJ : (13.30) を得る.