弦理論入門22
超重力理論におけるD ブレーン
ここでは超重力理論の運動方程式におけるソリトンのような解を見ていく。Dp ブレーンは10次元超重力理論のBPS 解である。すなわち、背景のPoincare 超電荷Qαの半分が保存する。また、Dp ブレーンはPoincar\'{e} 不変群Rp,1×SO(p,1)(Rp,1×SO(p,1)⏟=ISO(p,1)である。)による(p+1)次元の平坦な超平面を持っている。故に横方向の空間はD−p−1次元である。
10次元におけるDp ブレーンはRp,1×SO(p,1)×SO(9−p)の対称性を持っている。IIB 型超重力理論の運動方程式を解くためにおく仮設(物理学における「仮設」とは方程式、定理、あるいは数学的・物理的な問題や解を記述するために初期値として設定され、境界条件として考慮される。仮設が設定された後、方程式は関数の一般形として解かれる。因みに、「仮説」と「仮設」はよく意味を混同されがちであるが、前者は「仮に立てた理論」と言う意味で後者は「一時的に立てた設定」という意味である。)は以下のとおりである。
ds2=Hp(r)–1/2ημνdxμdxν+Hp(r)1/2dyidyi
eϕ=gsHp(r)(3–p)/4
C(p+1)=(Hp(r)–1–1)dx0∧dx1∧⋯∧dxp
BMN=0
但し、xμ (μ=0,⋯,p)はブレーンの世界体積の座標であり、yi (i=p+1,⋯,9)はブレーンの垂直方向の座標をあらわしている。更に、rはr2=∑9i=p+1y2iで定義される。これらの仮定をIIB 型超重力理論の運動方程式に当てはめると、運動方程式は特にr≠0において、以下の方程式を示唆する。
Hp(r)=0
換言すれば、Hp(r)は調和関数になる必要があり、それ故に以下の形で書くことが出来る。
Hp(r)=1+(Lpr)7–p
ここで定数1はブレーンよりも十分遠方、すなわち、r→∞の極限で10次元のMinkowski 時空が回復するとして選ばれている。
この仮定からLpを決定するためには、Dp ブレーン解の電荷を決定しなければならない。この電荷は、(9−p)次元の横方向の空間における点電荷を囲む(8−p)次元球面の無限遠方におけるR-R フラックスを積分することで得られて、
Q=12κ210∫S8–p∗F(p+2)
となる。但し、∗は10次元におけるHodge 作用素である。解において電荷QはQ=N⋅μpで与えられる(ここでの電荷はコンパクト化されたところだけで見ているときの電荷なので、実際の電荷と同一視するためには体積 Vol (Rp,1)を掛けて置く必要がある。Qはこの体積も含んで電荷としていることに注意が必要。)。すなわち、電荷QはDp ブレーンの総数に読み替えられる。
右辺を計算し、Q=Nとすることで、特徴的な長さLpは以下のように見出せる。
L7–pp=(4π)(5–p)/2Γ(7–p2)gsNα(7–p)/2
特に、N枚のD3 ブレーンの場合は、
L43=4πgsNα′2
という関係式になることが分かる。IIA・B 型の超弦理論では、R-R ゲージポテンシャルC(p+1)はDp ブレーンと結合して存在しているため、pが奇数のDp ブレーンとpが偶数のDp ブレーンはいずれも安定である。これらのブレーンの質量(あるいはエネルギーと言っても良い)は自身の電荷Qに比例しているから、これらのブレーンはBPS ブレーンと呼ばれる。つまりこのとき、
M= Vol (Rp,1)⋅N⋅μp
という関係があることが分かる。IIA 型超重力理論とIIB 型超重力理論は異なるC(p)形式を有しているから、2つの理論では、可能なDp ブレーンの次元性も勿論異なることになる。それぞれの理論で可能なD ブレーンは表にまとめてある。C(6)形式とC(8)形式はそれぞれC(4)形式とC(2)形式のHodge 双対である。D5 ブレーンとD7 ブレーンは処方に従って、C(4)形式とC(2)形式のHodge 双対にそれぞれ磁気的な結合をする。
IIB 型 | ⟷ | D(−1)、D1、D3、D5、D7 ブレーン |
IIA 型 | ⟷ | D0、D2、D4、D6、D8 ブレーン |
IIA 型超弦理論とIIB 型超弦理論のブレーン
更に、以下のようなnear-extremal non-BPS p ブレーン解というものも存在している。
ds2=Hp(r)–1/2(–f(r)dt2+dxidxi)+Hp(r)1/2(dr2f(r)+r2dΩ28–p)
f(r)=1–r7–phr7–p
但し、ここでは極座標dyjdyj=dr2+r2dΩ28−pを用いた。D ブレーンの場合、ディラトンとR-R 形式は同じ形である。これらのnear extremal ブレーンも電荷の関係式としてQ=N⋅μpを持っているが、質量はもはやQに比例していない。f(rh)=0なので、パラメーターrhはホライズンの役割を担っている。