Dブレーンのソースを表示

'''Dブレーン'''とは[[超弦理論|弦理論]]において、特殊な条件下で存在するとされる[[物体]]である。

弦理論におけるブレーン（membrane＝[[膜]]）は、弦なども含む、広がりを持った物理的対象全般を表す語である。Dブレーンもまた弦と同様に、伸縮や振動などの運動を行う。通常、Dブレーンは弦に比べて非常に大きいものとして記述されるが、[[素粒子]]サイズのものを考えることも可能である。例えば[[ハドロン物理学]]をブレーン上の物理現象として記述する[[ホログラフィックQCD]]では、[[陽子]]もまた微小なDブレーンとして記述される。<ref>{{Harv|Hata|Sakai|Sugimoto|Yamato|2007}}</ref>

DブレーンのDは、後述する[[ディリクレ境界条件]]（'''D'''irichlet）に由来する。DブレーンはDai、Leighおよび[[ジョセフ・ポルチンスキー]]、そしてそれとは独立にHoravaによって1989年に発見された。

== Dブレーンの次元 ==
点状の素粒子は、時間方向にのみ広がりを持つ（空間は0次元）物体と考えることができるが、これを0+1次元のブレーンとする。弦は1+1次元のブレーンである。Dブレーンについては、様々な次元の広がりを持ったものが考えられている。それぞれDの後に数字を付けて、点状のDブレーンをD0ブレーン（D粒子）、線状のDブレーンをD1ブレーン（時に「Dストリング」と呼ばれる）、平面状のDブレーンをD2ブレーンといったように表す。これらに加えて、時間方向にも単純な広がりを持たない0+0次元の、D(-1)ブレーン（D[[インスタントン]]）がある。

26次元時空の理論である[[弦理論|ボソン弦理論]]ならば、D(-1)からD25までのブレーンが考えられるが、[[超対称性]]を持たない理論では、これらは全て不安定である。超弦理論では超対称性チャージの[[保存則]]によって、特定の次元のDブレーンが安定して存在することができる。例えば、[[タイプII超弦理論|タイプIIA超弦理論]]には空間次元が偶数、タイプIIB超弦理論には空間次元が奇数のDブレーンが存在する。

== ディリクレ境界条件とDブレーン ==
Dブレーンの最初の解釈は、「弦が端点を持つことができる曲面」というものであった。

閉弦すなわち輪になった弦を考える際とは異なり、開いた弦は端の点に関して特別な扱いが必要である。[[最小作用の原理]]を満たすためには、端点でエネルギーが保存するという条件（[[ノイマン境界条件]]、自由端）を課すか、あるいは端点を固定（[[ディリクレ境界条件]]、固定端）しなければならない。そのうちディリクレ境界条件の弦は、単体ではエネルギー保存の条件を満たさない。保存するのは弦と固定した物体とのエネルギーの和である。よってディリクレ境界条件を考える際には、どうしても固定する先の物体が必要になる。長らく主流だったのは、弦理論にはこのような物体は存在せず、ノイマン境界条件の弦だけを考えればよいというシナリオである。しかし後に提案された[[T双対性|T双対]]という操作には2つの境界条件を入れ替えるという働きがあり、双対の理論ではどうしてもディリクレ境界条件の弦を考えなければならなくなった。

ボソン弦理論では26、超弦理論では10の次元があるが、その各々について2つのうちいずれかの条件を選ぶ必要がある。空間の''p''次元がノイマン境界条件を満たすなら、弦の端点は''p''次元の超曲面の中だけで自由端として運動することになり、''p''次元空間内での物理が見掛け上出現する。この超曲面がD''p''ブレーンの一つの解釈である。この解釈ではブレーン自体が運動エネルギーを持つことができるのか明らかでないが、開弦のスペクトルを調べるとDブレーンの「変形」に相当するモードを含んでいて、これによりDブレーンが力学的な対象であることが分かる。

== Dブレーンの正体 ==
全ての[[素粒子]]は量子弦が特定の振動をしながら飛び回る描像に対応すると期待されるが、Dブレーンも何らかの方法で弦によって構成されているのでは、と問うのは自然である。ある視点ではそれは正しい。弦の振動が許す粒子スペクトラムの中には[[タキオン]]という、[[虚数]]質量を持つなど奇妙な性質を持つことで知られる粒子が含まれる。「全空間を満たす」Dブレーン、すなわち空間と同じ次元を持ち無限に広がるDブレーン（ボソン弦理論ではD25ブレーン）を考える。このブレーンに端点を持つ弦は、ブレーンの体積上に「住んでいる」タキオン場を導く。D1ブレーン（Dストリング）やD2ブレーンといった低次元のブレーンは、全空間ブレーン上に住むタキオンの、[[光子]]が無数に集まって[[レーザー]]光線になる様を連想させるような、[[コヒーレンス|コヒーレント]]な集団と考えることができる。多くの弦理論の研究はこの点を無視し、単一の対象として扱う。（[[熱力学]]のクラスルームでの議論にはよく、気体原子がシリンダの中のピストンのような大きな物体と相互作用する様が登場する。もちろん物理学者はピストンが原子でできていることを知っているが、多くの問題では余計な複雑さを考慮する必要は全くなく、それを一つの巨視的な物体としてモデル化する。Dブレーンの場合も同様である）。

[[タキオン凝縮]]はこの分野での中心的なコンセプトである。[[:en:Ashoke Sen]]はType IIB ストリング理論において、タキオン凝縮により（ヌヴォ-シュワルツの3-[[微分形式|形式]]流を抜きにすれば）任意のDブレーンの配置が相当数のD9および反D9ブレーンから得られる、ということについて議論し、[[エドワード・ウィッテン]]は、時空間における[[K理論]]でそれらが分類できるということを示した。

この議論に関しては異論もある。例えば超弦理論の背後に[[M理論]]があるとすると、IIAストリング理論のD4ブレーンはM理論の11次元のうち1次元を[[カルツァ＝クライン理論|コンパクト化]]する際、M5ブレーンが巻き取られて次元が一つ減ったもので、M2ブレーンのコンパクト化である開弦と同様に究極の対象の一つであるとも考えられる。しかしM5ブレーンが究極の対象であるかどうかも現時点でははっきりしていない。

最終的にはDブレーンの正体は、弦理論を非摂動論的に定義する過程で明らかになるとされている。

== ブレーンワールド宇宙論 ==
Dブレーンは[[宇宙論]]に対しある事柄を示唆する。弦理論は宇宙が我々の期待よりも多くの次元を持つことを示す—ボソン弦理論では26、超弦理論では10—ので、我々は余剰の次元が見えない理由を見つけなくてはならない。一つの可能性は、目に見える宇宙が実はとても大きな、3つの空間次元に広がるDブレーンであるということである。物質的なもの、すなわち開弦からできているものは、Dブレーン上に拘束され、「現実世界と垂直」に動いてブレーンの外を探索するようなことはできない。このシナリオは[[ブレーンワールド|ブレーン宇宙論]]と呼ばれる。興味深いことに、[[重力]]は開弦によっていない。重力を媒介する[[重力子]]は''閉''弦の振動である。閉弦はDブレーンに拘束されないので、重力的な効果はブレーンに垂直な角度の余剰次元に依存できる。（これはかなりシンプルなブレーンワールドモデルである。より最近、[[2005年]]の詳しい研究による革新はより複雑であるが、この議論はそのうちいくらかの要素を反映している）

== ブレーン上での開弦の物理 ==
Dブレーンを配置することによって、系に存在できる弦の状態を制限することができる。例えば、平行な二枚のD2ブレーンがあるとすると、考えることができるのはブレーン1からブレーン2に向かって伸びる弦などである。（大部分の理論で、弦というのは''向き付けられた''物理的対象である。それぞれの弦は、その長さに沿う方向に向きを定義する「矢印」を持つ）この状況で許される開弦には二つのカテゴリ、「セクタ」がある。ブレーン1に始点、ブレーン2に終点を持つものと、ブレーン2に始点、ブレーン1に終点を持つものである。記号的には、<math>[1\ 2]</math>と<math>[2\ 1]</math>のセクタがあるという。加えて、弦は同じブレーンに始点と終点の両方を持ってもよく、これが<math>[1\ 1]</math>と<math>[2\ 2]</math>のセクタを与える。（括弧の中の数字は''Chan-Patonの因子''[[:en:Chan-Paton factor]]と呼ばれるが、実際はただブレーンを区別しているだけである）<math>[1\ 2]</math>と<math>[2\ 1]</math>のセクタに属する弦は長さに最低値がある。すなわち、ブレーンの間隔よりも短くなることはできない。全ての弦は張力を持ち、弦を伸ばすには引っぱる力が必要である。張力を持つものを引っぱると、その仕事はエネルギーとして蓄えられる。弦理論は自然に[[特殊相対性理論|相対論]]的となるので、エネルギーを与えることはアインシュタインの関係式<math>E = mc^2</math>から、質量を与えることと同じである。このことから、Dブレーンの間隔を変えることで、開弦が持てる最低の質量をコントロールすることができる。

さらに、弦の端点をブレーンに固定することは、弦の運動や振動の仕方に影響を与える。弦理論において粒子状態は、弦ができる振動状態の違いとして「出現」するので、Dブレーンをアレンジすることで理論に現れる粒子をコントロールすることができる。

=== 量子電磁力学 ===
最も単純な例はD''p''ブレーンの<math>[1\ 1]</math>セクタ、いずれか一つの''p''次元Dブレーンに始点と終点を持っている弦の集まりである。[[南部・後藤作用]]（[[量子力学]]のルールを適用し[[量子化]]する）からの帰結を調べると、粒子スペクトルの中には[[光子]]、電磁場の本質的な量子に類似したものが見つかる。類似は正確で、p次元版の電磁場、すなわちp次元に拡張した[[マクスウェル方程式]]が従う場が、各D''p''ブレーンに「住んで」いるという描像となる。

この見方では、弦理論は電磁気学を「予言する」。理論が開弦を含むとすればDブレーンは必要不可欠なものであり、そして全てのDブレーンはその体積の中に電磁場を含むからである。

=== ブレーンの座標と非可換幾何 ===
光子に対応するもの以外に、いくらかのスカラー粒子もそのグループの中に含まれる。D''p''ブレーンが空間''d''次元の時空間に埋め込まれているとき、ブレーンは（マクスウェル場に加えて）''d - p''個の、零質量[[スカラー (物理学)|スカラー]]（光を作る光子と違い、偏光方向を持たない）場を含む。興味深いことに零質量スカラー場は、ブレーンに垂直な方向それぞれについて一つずつ存在する。このスカラーは大まかに「ブレーンが基準の超曲面からどれだけ変形しているか」という量に相当する。ブレーンの''形状''が、その上に「住む」粒子の[[場の量子論]]によって決定されることになる。実のところ零質量スカラーは、何もない空間が持つ対称性を異なる方向に破ることに対応する、ブレーンの[[南部・ゴールドストンボソン]]である。

ブレーンがN枚重なっていた場合には、ブレーンに垂直な各方向について、<math> N \times N </math>行列をなす零質量スカラーが得られる。一般に複数の行列が互いに交換する場合、それらは同時[[対角化]]が可能である。零質量スカラーが同時対角化可能である場合、その固有値は<math> N </math>枚のDブレーンの空間座標を定義する。そうでない場合、ブレーン上の幾何学を説明するのは[[非可換幾何]]である。それはエキゾチックな振る舞いをし、たとえば[[:en:Myers effect]]はD''p''ブレーンの集合をD''(p+2)''ブレーン上に展開する。

=== 非可換ゲージ理論 ===
量子的なマクスウェル電磁気学は、[[ゲージ理論]]のうちのただの一つ、[[リー群#例|U(1)]]ゲージ理論すなわちゲージ[[群 (数学)|群]]が階数一のユニタリ[[行列]]でできているものである。Dブレーンはより高階のゲージ理論を構築するのにも使えて、それは以下に示す方法による。

''N''枚の、簡単のため平行に配置されたものを考えるが、隔たったD''p''ブレーンを考える。ブレーンは1,2,...,''N''と番号を付けることにする。この系で開弦は多くのセクタに存在することができる。同じブレーン''i''に始点と終点を持つものは、そのブレーンの体積上にマクスウェル場とスカラー場を与える。''i''から異なるブレーン''j''に伸びる弦はより興味深い性質を持つ。初学者にとって、いずれのセクタの弦が相互作用できるのかという問いは意味がある。弦が相互作用する一つの直接的なメカニズムは、二つの弦が端点で一つに繋がる（あるいは逆に、一つの弦が「二つに切れ」て「娘」の弦になる）過程である。端点はDブレーンに束縛されているので、<math>[1\ 2]</math>の弦は<math>[2\ 3]</math>の弦とは相互作用するが、<math>[3\ 4]</math>や<math>[4\ 17]</math>の弦とは相互作用しないのは明らかなところである。それらの弦の質量は上記のように、ブレーンの隔たりに影響されるであろうから、簡単にするためにブレーンが互いに隣接するまで近づける場合が考えられる。二つの重なったブレーンをなお別々のものと見做すとすれば、上の全てのセクタは依然として存在するままで、ブレーンの隔たりの効果はなくなる。

隣接した''N''枚のブレーンからなる系における、開弦スペクトル中の質量ゼロ状態は相互作用する量子場を与えるが、それは厳密に''U(N)''ゲージ理論である。（弦理論は他の相互作用も含むが、それらはとても高いエネルギーでしか観測されない）ゲージ理論はボソン弦やフェルミオン弦の理論とともに考えられたのではない。それらは異なる物理の分野を起源として、それら自身の用途があった。何といっても、Dブレーンの幾何とゲージ理論の関係は、ゲージ理論を説明する便利な教育的ツールとなる。それはたとえ弦理論が「万物の理論」となることができなかったとしてもである。

== ブラックホール ==
Dブレーンの別の用途として[[ブラックホール]]の研究がある。1970年代以来、科学者はブラックホールが[[エントロピー]]を持つことについての問題を議論してきた。思考実験として、大量の熱い気体をブラックホールに落とすことを考える。気体はブラックホールの引力から逃れられないので、それらが持つエントロピーは宇宙から消えてしまったように思われる。[[熱力学第二法則]]を維持するためには、ブラックホールは元々気体が持っていたエントロピーを何らかの形で得た、としなければならない。[[量子力学]]をブラックホールに関する研究に適用する試みから[[スティーヴン・ホーキング]]は、ブラックホールが固有の熱輻射スペクトルとしてエネルギーを放射することを発見した。この、[[ホーキング放射]]の固有温度は
: <math>T_{\rm H} = \frac{\hbar c^3}{8\pi GM k_B},</math>
ただし''G''は[[アイザック・ニュートン|ニュートン]]の[[万有引力定数]]、''M''はブラックホールの質量で''k<sub>B</sub>''は[[ボルツマン定数]]である。

このホーキング温度の式を使い、質量ゼロのブラックホールはエントロピーがゼロであるとみなすと、熱力学の議論から「[[ヤコブ・ベッケンシュタイン|ベッケンシュタイン]]エントロピー」を導くことができる。
: <math>S_{\rm B} = \frac{k_B 4\pi G}{\hbar c} M^2.</math>
ベッケンシュタインエントロピーはブラックホール質量の二乗に比例する。[[シュヴァルツシルト半径]]は質量に比例するので、ベッケンシュタインエントロピーはブラックホールの''表面積''に比例することになる。実際、
: <math>S_{\rm B} = \frac{A k_B}{4 l_{\rm P}^2},</math>
ただし<math>l_{\rm P}</math>は[[プランク長]]である。

ブラックホールエントロピーの考え方は、興味深い考え直しを要求する。普通の状況では、多くの異なった「微視的状態」が同じ巨視的な条件を満たすとき系はエントロピーを持つ。例えば気体で満たされた箱なら、多くの異なった気体原子の配置が同じ全エネルギーを持つことができる。しかし、ブラックホールは特徴を持たない物理的対象だと信じられてきた。（[[ジョン・ホイーラー]]のキャッチフレーズでは、[[ブラックホール脱毛定理|ブラックホールは毛がない]]）ならば何がブラックホールにエントロピーをもたらす「自由度」なのであろうか。

弦理論者はブラックホールがとても長い弦であるとするモデルを構築していた。このモデルは大まかにシュヴァルツシルドブラックホールの予想されるエントロピーと合致していたが、正確な証拠はどちらにしても見つかっていない。主たる困難は、量子弦が持つ自由度が、''それが他と相互作用しないのであれば''比較的簡単に数えられることである。これは熱力学の初歩で登場する[[理想気体]]とのアナロジーである。最もモデル化しやすい状況は、気体原子に相互作用がない場合である。[[気体分子運動論]]を、気体中の原子や分子が粒子間の力（[[ファンデルワールス力]]のような）を感じる場合にも考えるのはより難しい。しかし、相互作用のない世界は面白くない場所である。さらにブラックホールにとっては致命的なことに、重力は相互作用であるから、「弦の結合」をなくしてしまうと、ブラックホールは全くできない。従ってブラックホールエントロピーの計算は、弦の相互作用がある領域で行わなくてはならない。

相互作用がない単純なケースを、ブラックホールが存在可能な領域まで拡張するためには、[[超対称性]]が必要である。そのような場合、弦の結合をゼロとしたエントロピーの計算は弦が相互作用する場合にも有効となる。弦理論者にとって挑戦だったのは、超対称性を「破る」ことなくブラックホールが存在できるようなシチュエーションを考えることである。ここ数年、ブラックホールをDブレーンの外に作ることでこれは為された。このような仮定の下でのブラックホールのエントロピー計算は、ベッケンシュタインエントロピーの期待と一致した。しかし、今のところ研究されたケースは全て高次元の空間を含んでいる — 例えば9次元空間中のD5ブレーンのように。それらは良く知られた事例、われわれの宇宙で観測されるシュヴァルツシルドブラックホールのような場合に直接適用することはできない。

== 歴史 ==
[[ディリクレ境界条件]]とDブレーンには、その全ての意味が明らかになる以前に、長い「前史」がある。ディリクレ・[[ノイマン境界条件]]の混合したものはWarren Siegelにより1976年に、開弦の臨界次元を26や10から4にまで下げる目的で考えられた（SiegelはHalpernの出版されていない仕事や、1974年のChodosとThornの論文を引用しているが、後者の論文を読むとリニアディラトンの場合が考察されており、ディリクレ境界条件ではない）この論文は予知的であったが、その時はほとんど省みられなかった。（1985年のSiegelのパロディでは「超重力弦」、おおよそ死んだブレーンワールドの説明だとされた）ユークリッド化した時間も含め、全ての座標にディリクレ条件を課すこと（今ではDインスタントンとして知られるものを定義する）は、[[マイケル・グリーン (物理学者)|マイケル・グリーン]]によって1977年、点状の構造を弦理論に導入し、[[強い相互作用]]の弦理論を構築する目的で導入された。HarveyとMinahan、石橋、大野木、PradaisiとSagnottiによる、1987年から89年の弦のコンパクト化の研究でも、ディリクレ境界条件は用いられている。

[[T双対性]]がノイマン境界条件とディリクレ境界条件を取り替えるという事実は、HoravaとDai、Leigh、ポルチンスキーにより1989年に独立に発見され、その結果は、開弦の[[モジュライ空間]]にはそのような境界条件が必然的に現れなければならないことを意味していた。Daiらの論文はディリクレ境界条件の軌跡は力学的であることにも言及しており、得られた対象にはディリクレブレーン（Dブレーン）という名称が与えられた。（その論文は[[オリエンティフォルド]]という、T双対性によって現れる他の対象も命名している）1989年のLeighの論文は、Dブレーンの力学はDirac-Born-Infeld actionから得られるということを示した。Dインスタントンは1990年代前半グリーンにより広範囲に研究され、1994年ポルチンスキーにより、e^{-1/g}の弦の非摂動論的な効果として[[:en:Steve Shenker|Shenker]]に先取りされていたものが示された。1995年ポルチンスキーはDブレーンが、弦の双対性から必要とされており、弦理論の非摂動論的な理解を急速に導くであろうとされていた、電気的および磁気的な[[ラモン-ラモン場]]の源となることを示した。

== 脚注 ==
{{reflist}}
== 参考文献 ==
* Bachas, C. P. "Lectures on D-branes" (1998). {{arxiv|archive=hep-th|id=9806199}}.
* Giveon, A. and Kutasov, D. "Brane dynamics and gauge theory," ''Rev. Mod. Phys.'' '''71''', 983 (1999). {{arxiv|archive=hep-th|id=9802067}}.
* {{cite book | first = Clifford | last = Johnson | year = 2003 | title = D-branes | publisher = Cambridge University Press | location = Cambridge | isbn = 0-521-80912-6}}
* Polchinski, Joseph, ''TASI Lectures on D-branes,'' {{arxiv|archive=hep-th|id=9611050}}. Lectures given at [[Theoretical Advanced Study Institute|TASI '96]].
* Polchinski, Joseph, ''Phys. Rev. Lett.'' '''75''', 4724 (1995). An article which established D-branes' significance in string theory.
* Zwiebach, Barton. ''A First Course in String Theory.'' Cambridge University Press (2004). ISBN 0-521-83143-1.
* {{cite journal|last1=Hata|first1=H.|last2=Sakai|first2=T.|last3=Sugimoto|first3=S.|last4=Yamato|first4=S.|title=Baryons from Instantons in Holographic QCD|journal=Progress of Theoretical Physics|volume=117|issue=6|year=2007|pages=1157–1180|issn=0033-068X|doi=10.1143/PTP.117.1157}}

== 関連項目 ==
* [[:en:Bogomol'nyi-Prasad-Sommerfield bound]]
* [[膜]]
* [[M理論]]

{{弦理論}}
{{デフォルトソート:Dふれえん}}
[[Category:統一場理論]]
[[Category:弦理論]]