原文 げんぶん と比 くら べた結果 けっか 、この記事 きじ には多数 たすう の(または内容 ないよう の大 だい 部分 ぶぶん に影響 えいきょう ある)誤訳 ごやく があることが判明 はんめい しています。情報 じょうほう の利用 りよう には注意 ちゅうい してください。 正確 せいかく な表現 ひょうげん に改訳 かいやく できる方 ほう を求 もと めています。
この項目 こうもく では、物理 ぶつり 学 がく のS-双対 そうつい (強弱 きょうじゃく 双対 そうつい )について説明 せつめい しています。数学 すうがく 的 てき な(スパニエル・ホワイトヘッド双対 そうつい (Spanier–Whitehead duality))については「S-双対 そうつい (ホモトピー論 ろん ) (英語 えいご 版 ばん ) 」をご覧 らん ください。
弦 つる 理論 りろん
理論 りろん 概念 がいねん 人物 じんぶつ 関連 かんれん 項目 こうもく
理論 りろん 物理 ぶつり 学 がく では、S-双対 そうつい (S-duality)は、2つの物理 ぶつり 理論 りろん の等価 とうか のことで、この物理 ぶつり 理論 りろん は場 ば の量子 りょうし 論 ろん でも弦 つる 理論 りろん でもよい。S-双対 そうつい は、計算 けいさん することが難 むずか しい理論 りろん をより計算 けいさん し易 やす い理論 りろん に結 むす びつけるので、理論 りろん 物理 ぶつり で計算 けいさん する際 さい に有益 ゆうえき である。[ 1]
場 ば の量子 りょうし 論 ろん では、S-双対 そうつい 性 せい は、古典 こてん 電磁気 でんじき 学 がく で良 よ く知 し られた事実 じじつ 、すなわち、電場 でんじょう と磁場 じば の交換 こうかん の下 した にマクスウェルの方程式 ほうていしき の不変 ふへん であると言 い う事実 じじつ を一般 いっぱん 化 か したものである。場 ば の量子 りょうし 論 ろん で最 もっと も早 はや く知 し られたS-双対 そうつい の例 れい の一 ひと つは、モントネン・オリーブの双対 そうつい 性 せい (英語 えいご 版 ばん ) (Montonen-Olive duality)で、N=4 超 ちょう 対称 たいしょう ヤン・ミルズ理論 りろん と呼 よ ばれる場 ば の量子 りょうし 論 ろん の 2つのバージョンを関係付 かんけいづ けている。アントン・カプスティン (英語 えいご 版 ばん ) (Anton Kapustin)とエドワード・ウィッテン (Edward Witten)の最近 さいきん の仕事 しごと は、モントネン・オリーブの双対 そうつい 性 せい が幾何 きか 学 がく 的 てき ラングランズ対応 たいおう と呼 よ ばれる数学 すうがく の研究 けんきゅう プログラムと密接 みっせつ に関係 かんけい していることを示 しめ している。[ 2] 場 ば の量子 りょうし 論 ろん でのもう一 ひと つのS-双対 そうつい の実例 じつれい は、サイバーグ双対 そうつい (英語 えいご 版 ばん ) (Seiberg duality)で、N=1超 ちょう 対称 たいしょう ヤン・ミルズ理論 りろん (英語 えいご 版 ばん ) (N=1 supersymmetric Yang-Mills theory)と呼 よ ばれる 2つのバージョンの理論 りろん を関連付 かんれんづ ける。
弦 つる 理論 りろん には多 おお くのS-双対 そうつい の例 れい がある。これらの弦 つる 双対 そうつい 性 せい (英語 えいご 版 ばん ) (string duality)の存在 そんざい は、一見 いっけん 異 こと なるように見 み える弦 つる 理論 りろん の定式 ていしき 化 か が、実際 じっさい は物理 ぶつり 的 てき 等価 とうか であることを意味 いみ する。このことは1990年代 ねんだい 中期 ちゅうき には全 すべ ての 5つの整合 せいごう 性 せい をもった超 ちょう 弦 つる 理論 りろん の全 すべ てが、単一 たんいつ の 11次元 じげん のM-理論 りろん と呼 よ ばれる理論 りろん の異 こと なる極限 きょくげん として実現 じつげん されることを導 みちび いた。[ 3]
場 ば の量子 りょうし 論 ろん や弦 つる 理論 りろん では、結合 けつごう 定数 ていすう は理論 りろん の相互 そうご 作用 さよう の強 つよ さを制御 せいぎょ する数値 すうち である。例 たと えば、重力 じゅうりょく の強 つよ さはニュートン定数 ていすう と呼 よ ばれる数値 すうち で書 か かれ、重力 じゅうりょく のニュートンの法則 ほうそく の中 なか や、アルバート・アインシュタイン (Albert Einstein)の一般 いっぱん 相対 そうたい 論 ろん の方程式 ほうていしき の中 なか にも表 あらわ れる。同様 どうよう に、電磁場 でんじば の強 つよ さは、結合 けつごう 定数 ていすう により表 あらわ され、一 ひと つの陽子 ようし の帯 お びている電荷 でんか に関係 かんけい している。
場 ば の量子 りょうし 論 ろん や弦 つる 理論 りろん で観測 かんそく 可能 かのう 量 りょう を計算 けいさん するためには、物理 ぶつり 学者 がくしゃ は典型 てんけい としては摂動 せつどう 論 ろん (perturbation theory)の方法 ほうほう を適用 てきよう する。摂動 せつどう 論 ろん では、発生 はっせい する様々 さまざま な物理 ぶつり 的 てき な過程 かてい の確 かく 率 りつ を決定 けってい する確 かく 率 りつ 振幅 しんぷく (probability amplitude)と呼 よ ばれる量 りょう が、無限 むげん 級数 きゅうすう の和 わ として表 あらわ され、そこでは各々 おのおの の項 こう は結合 けつごう 定数 ていすう
g
{\displaystyle g}
のべき と比例 ひれい する。
A
=
A
0
+
A
1
g
+
A
2
g
2
+
A
3
g
3
+
…
{\displaystyle A=A_{0}+A_{1}g+A_{2}g^{2}+A_{3}g^{3}+\dots }
.
このようなべき級数 きゅうすう 展開 てんかい が意味 いみ を持 も つためには、結合 けつごう 定数 ていすう が 1 よりも小 ちい さい必要 ひつよう があり、従 したが って
g
{\displaystyle g}
の高 たか い次数 じすう のべきは無視 むし できるほどに小 ちい さく、和 わ は有限 ゆうげん となる。結合 けつごう 定数 ていすう が 1 よりも大 おお きいと、この項 こう の和 わ はどんどんと大 おお きくなり、展開 てんかい は意味 いみ のない無限 むげん 大 だい の値 ね をもたらす。この場合 ばあい 、理論 りろん は「強 つよ い結合 けつごう 」といわれ、摂動 せつどう 論 ろん を予言 よげん をすることに使 つか うことができない。
ある理論 りろん に対 たい して、S-双対 そうつい は強 つよ い結合 けつごう 定数 ていすう の理論 りろん での計算 けいさん を弱 よわ い結合 けつごう 定数 ていすう の理論 りろん での異 こと なる計算 けいさん に変換 へんかん することで、計算 けいさん を進 すす める方法 ほうほう を提供 ていきょう する。S-双対 そうつい は、物理 ぶつり 学 がく の双対 そうつい 性 せい (英語 えいご 版 ばん ) という一般 いっぱん 的 てき な考 かんが え方 かた の特別 とくべつ な例 れい である。双対 そうつい 性 せい ということばは、2つの一見 いっけん 異 こと なる物理 ぶつり 系 けい が非 ひ 自明 じめい な方法 ほうほう で等価 とうか であることが分 わ かることを意味 いみ する。2つの理論 りろん が双対 そうつい 関係 かんけい にあると、一 ひと つの理論 りろん から何 なん らかの方法 ほうほう でもう一 ひと つの理論 りろん のように見 み える結果 けっか へと変換 へんかん できることを意味 いみ する。このときに、2つの理論 りろん はこの変換 へんかん の下 した で互 たが いに双対 そうつい であるという。別 べつ ない方 いかた をすると、2つの理論 りろん が同 おな じ現象 げんしょう の数学 すうがく 的 てき には異 こと なる記述 きじゅつ となっているとも言 い える。
S-双対 そうつい は、結合 けつごう 定数 ていすう
g
{\displaystyle g}
を持 も つ理論 りろん を、結合 けつごう 定数 ていすう
1
/
g
{\displaystyle 1/g}
を持 も つ等価 とうか な理論 りろん と関係付 かんけいづ けるので、有益 ゆうえき である。このように、S-双対 そうつい は、強 つよ 結合 けつごう の理論 りろん (そこでは結合 けつごう 定数 ていすう
g
{\displaystyle g}
が 1 よりも非常 ひじょう に大 おお きい)を弱 じゃく 結合 けつごう の理論 りろん (そこでは結合 けつごう 定数 ていすう
1
/
g
{\displaystyle 1/g}
が 1 よりも小 ちい さく、計算 けいさん が可能 かのう )へと関連付 かんれんづ ける。この理由 りゆう から、S-双対 そうつい は、強弱 きょうじゃく 双対 そうつい 性 せい と呼 よ ばれる。
マクスウェル方程式 ほうていしき の対称 たいしょう 性 せい [ 編集 へんしゅう ]
古典 こてん 物理 ぶつり 学 がく では、電場 でんじょう と磁場 じば の振 ふ る舞 ま いはマクスウェル方程式 ほうていしき として知 し られる一連 いちれん の方程式 ほうていしき で記述 きじゅつ される。ベクトル解析 かいせき の言葉 ことば では、電荷 でんか も電流 でんりゅう もない空間 くうかん の領域 りょういき の中 なか にいることを前提 ぜんてい とすると、マックスウェル方程式 ほうていしき は次 つぎ のように書 か かれる。[ 4]
∇
⋅
E
=
0
,
∇
⋅
B
=
0
,
∇
×
E
=
−
∂
B
∂
t
,
∇
×
B
=
1
c
2
∂
E
∂
t
.
{\displaystyle {\begin{aligned}\nabla \cdot \mathbf {E} &=0,\\\nabla \cdot \mathbf {B} &=0,\\\nabla \times \mathbf {E} &=-{\frac {\partial \mathbf {B} }{\partial t}},\\\nabla \times \mathbf {B} &={\frac {1}{c^{2}}}{\frac {\partial \mathbf {E} }{\partial t}}.\end{aligned}}}
ここに
E
{\displaystyle \mathbf {E} }
は電場 でんじょう を表 あらわ すベクトル (さらに詳 くわ しくは、ベクトル場 じょう で、値 ね を空間 くうかん 内 ない の異 こと なる点 てん では変化 へんか しうる)で、
B
{\displaystyle \mathbf {B} }
は磁場 じば を表 あらわ すベクトルであり、
t
{\displaystyle t}
は時間 じかん 、
c
{\displaystyle c}
は光 ひかり 速度 そくど である。これらの方程式 ほうていしき で使 つか われている他 ほか のシンボルは、ベクトル解析 かいせき の中 なか の勾配 こうばい (ベクトル解析 かいせき ) ("grad"という記号 きごう )、発散 はっさん (ベクトル解析 かいせき ) ("div"という記号 きごう )、回転 かいてん (ベクトル解析 かいせき ) ("curl"という記号 きごう )を参照 さんしょう のこと。
これらの方程式 ほうていしき [ 5] の重要 じゅうよう な性質 せいしつ は、電場 でんじょう
E
{\displaystyle \mathbf {E} }
を磁場 じば
B
{\displaystyle \mathbf {B} }
へ、磁場 じば
B
{\displaystyle \mathbf {B} }
を電場 でんじょう
−
1
/
c
2
E
{\displaystyle -1/c^{2}\mathbf {E} }
へ同時 どうじ に置 お き換 か える変換 へんかん のしたで、不変 ふへん であることである。
E
→
B
B
→
−
1
c
2
E
.
{\displaystyle {\begin{aligned}\mathbf {E} &\rightarrow \mathbf {B} \\\mathbf {B} &\rightarrow -{\frac {1}{c^{2}}}\mathbf {E} .\end{aligned}}}
い換 いか えると、マクスウェル方程式 ほうていしき の解 と く(英語 えいご 版 ばん ) ような電場 でんじょう と磁場 じば が与 あた えられると、これらの電場 でんじょう と磁場 じば が入 い れ替 か えても、新 あたら しい場 ば がマクスウェル方程式 ほうていしき の解 かい を再 ふたた び与 あた えるような新 あたら しい物理 ぶつり 的 てき な設定 せってい することが可能 かのう となる。
この状況 じょうきょう が、場 ば の量子 りょうし 論 ろん の中 なか のS-双対 そうつい の最 もっと も基本 きほん 的 てき な事項 じこう である。実際 じっさい 、以下 いか に説明 せつめい するように、場 ば の量子 りょうし 論 ろん のフレームワークには、このマックスウェル方程式 ほうていしき の対称 たいしょう 性 せい を直接 ちょくせつ 一般 いっぱん 化 か したS-双対 そうつい のバージョンが存在 そんざい する。
場 ば の量子 りょうし 論 ろん では、電場 でんじょう と磁場 じば は電磁場 でんじば と呼 よ ばれる一 ひと つの実在 じつざい に統一 とういつ されていて、この場 ば はゲージ理論 りろん あるいは、ヤン=ミルズ理論 りろん と呼 よ ばれる場 じょう の量子 りょうし 論 ろん の特別 とくべつ なタイプにより記述 きじゅつ される。ゲージ理論 りろん では、物理 ぶつり 場 じょう は高 たか い対称 たいしょう 性 せい の度数 どすう を持 も っていて、数学 すうがく 的 てき にはリー群 ぐん の考 かんが えを使 つか い理解 りかい することができる。このリー群 ぐん はゲージ群 ぐん として知 し られている。電磁場 でんじば は、ゲージ群 ぐん U(1) に対応 たいおう する最 もっと も単純 たんじゅん なゲージ理論 りろん により記述 きじゅつ されるが、しかし他 た のより向 む く雑 ざつ な非 ひ アーベル的 てき ゲージ理論 りろん も存在 そんざい する。[ 6]
マクスウェル方程式 ほうていしき の中 なか の対称 たいしょう に相互 そうご 作用 さよう する電場 でんじょう と磁場 じば のゲージ理論 りろん の類似 るいじ 物 ぶつ が存在 そんざい するか否 ひ かを問 と うという
、自然 しぜん な疑問 ぎもん がある。1970年代 ねんだい 末 まつ にこの回答 かいとう が、クラウス・モントネン (英語 えいご 版 ばん ) (Claus Montonen)とダヴィッド・オリーブ (英語 えいご 版 ばん ) [ 7] により与 あた えられた。この仕事 しごと は、より早 はや い段階 だんかい ピーター・ゴダード (物理 ぶつり 学者 がくしゃ ) (英語 えいご 版 ばん ) (Peter Goddard)、ジャン・ヌイツ (英語 えいご 版 ばん ) (Jean Nuyts)、オリーブによる仕事 しごと [ 8] の仕事 しごと に基 もと づくものであった。彼 かれ らの仕事 しごと は、現在 げんざい モントネン・オリーブの双対 そうつい 性 せい (英語 えいご 版 ばん ) として知 し られてるS-双対 そうつい の例 れい をもたらした。モントネン・オリーブの双対 そうつい 性 せい は、N=4 超 ちょう 対称 たいしょう ヤン・ミルズ理論 りろん と呼 よ ばれるゲージ理論 りろん の非常 ひじょう に特殊 とくしゅ なタイプに適用 てきよう され、このことは 2つのその理論 りろん が正確 せいかく な意味 いみ で等価 とうか ではないかということを言 い っている。[ 1] 理論 りろん の一 ひと つがゲージ群 ぐん
G
{\displaystyle G}
を持 も っていると、双対 そうつい な理論 りろん はゲージ群 ぐん
L
G
{\displaystyle {^{L}}G}
を持 も っている。ここに
L
G
{\displaystyle {^{L}}G}
は一般 いっぱん には
G
{\displaystyle G}
とは異 こと なるラングランズ双対 そうつい 群 ぐん を表 あらわ している。[ 9]
場 ば の量子 りょうし 論 ろん の重要 じゅうよう な量 りょう は、複素 ふくそ 化 か された結合 けつごう 定数 ていすう である。これは次 つぎ の公式 こうしき により定義 ていぎ される複素数 ふくそすう である。[ 10]
τ たう
=
θ しーた
2
π ぱい
+
4
π ぱい
i
g
2
{\displaystyle \tau ={\frac {\theta }{2\pi }}+{\frac {4\pi i}{g^{2}}}}
ここに、
θ しーた
{\displaystyle \theta }
はテータ角 かく (英語 えいご 版 ばん ) で、理論 りろん を定義 ていぎ するラグラジアン に現 あらわ れる量 りょう であり[ 11] 、
g
{\displaystyle g}
は結合 けつごう 定数 ていすう である。例 たと えば、電磁場 でんじば を記述 きじゅつ するヤン=ミルズ理論 りろん では、この数値 すうち
g
{\displaystyle g}
は単 たん に陽子 ようし に帯 お びている電荷 でんか
e
{\displaystyle e}
である。[ 12] 2つの理論 りろん のゲージ群 ぐん の入 い れ替 か えに加 くわ えて、モントネン・オリーブの双対 そうつい 性 せい は、複素 ふくそ 化 か された結合 けつごう 定数 ていすう
τ たう
{\displaystyle \tau }
を持 も つ理論 りろん を、複素 ふくそ 化 か された結合 けつごう 定数 ていすう
−
1
/
τ たう
{\displaystyle -1/\tau }
を持 も つ理論 りろん へ変換 へんかん する。[ 10]
幾何 きか 学 がく 的 てき ラングランズ対応 たいおう (geometric Langlands correspondence)は、上 うえ に示 しめ した楕円 だえん 曲線 きょくせん のような代数 だいすう 曲線 きょくせん に付随 ふずい する抽象 ちゅうしょう 的 てき 幾何 きか 学 がく 的 てき な対象 たいしょう の間 あいだ の関係 かんけい である。
数学 すうがく では、古典 こてん 的 てき なラングランズ対応 たいおう は、数 かず 論 ろん を表現 ひょうげん 論 ろん として知 し られている数学 すうがく の分野 ぶんや と関連 かんれん される予想 よそう と結果 けっか の集 あつ まりである。[ 13] ロバート・ラングランズ (Robert Langlands)により1960年代 ねんだい 遅 おそ くに、ラングランズ対応 たいおう は谷山 たにやま ・志村 しむら 予想 よそう というような数 かず 論 ろん の重要 じゅうよう な予想 よそう と関連 かんれん している。これは特別 とくべつ な場合 ばあい としてフェルマーの最終 さいしゅう 定理 ていり を特別 とくべつ な場合 ばあい として持 も っている。[ 13]
数 かず 論 ろん ではラングランズ対応 たいおう は重要 じゅうよう であるにもかかわらず、数 かず 論 ろん の脈絡 みゃくらく でのラングランズ対応 たいおう の確立 かくりつ は非常 ひじょう に困難 こんなん である。[ 13] 結果 けっか として、幾何 きか 学 がく 的 てき ラングランズ対応 たいおう として知 し られていることに関連 かんれん する予想 よそう で仕事 しごと をしている数学 すうがく 者 しゃ もいる。これは、元来 がんらい のバージョンに現 あらわ れる数 すう 体 たい を函数 かんすう 体 たい に置 お き換 か えることで、代数 だいすう 幾何 きか 学 がく のテクニックを適用 てきよう して、古典 こてん 的 てき なラングランズ対応 たいおう を幾何 きか 学 がく 的 てき に再 さい 定式 ていしき 化 か することである。[ 14]
2007年 ねん からのアントン・カプスティン (英語 えいご 版 ばん ) (Anton Kapustin)とエドワード・ウィッテン (Edward Witten)は、幾何 きか 学 がく 的 てき ラングランズ対応 たいおう がモントネン・オリーブ双対 そうつい 性 せい の数学 すうがく 的 てき 記述 きじゅつ と見 み なすことができることを示 しめ した。[ 15] S-双対 そうつい で関連付 かんれんづ けられた 2つのヤン=ミルズ理論 りろん から始 はじ めて、カプスティンとウィッテンは、2次元 じげん 時空 じくう 内 うち の場 ば の量子 りょうし 論 ろん のペアを構成 こうせい することが可能 かのう であることを示 しめ した。何 なに がこの次元 じげん 簡約 かんやく (英語 えいご 版 ばん ) (dimensional reduction)がD-ブレーン (en:D-branes )と呼 よ ばれる物理 ぶつり 的 てき 対象 たいしょう となるのかを分析 ぶんせき することにより、彼 かれ らは幾何 きか 学 がく 的 てき ラングランズ対応 たいおう の数学 すうがく 的 てき な要素 ようそ を再現 さいげん できることを示 しめ した。[ 16] かれらの仕事 しごと は、ラングランズ対応 たいおう が場 ば の量子 りょうし 論 ろん のS-双対 そうつい に密接 みっせつ に関連 かんれん していて、双方 そうほう の対象 たいしょう に有効 ゆうこう に適用 てきよう できることを示 しめ した。[ 13]
もう一 ひと つ別 べつ の場 ば の量子 りょうし 論 ろん でのS-双対 そうつい の実例 じつれい は、サイバーグ双対 そうつい 性 せい (英語 えいご 版 ばん ) であり、1995年 ねん 頃 ごろ に最初 さいしょ にナタン・サーバーグ (Nathan Seiberg)により導入 どうにゅう された[ 17] 。モントネン・オリーブ双対 そうつい 性 せい とは異 こと なり、4次元 じげん の時空 じくう での最大 さいだい 超 ちょう 対称 たいしょう 性 せい ゲージ理論 りろん の 2つのバージョンを関係付 かんけいづ ける。サイバーグ双対 そうつい 性 せい は、より小 ちい さな超 ちょう 対称 たいしょう 性 せい を持 も つN=1超 ちょう 対称 たいしょう 性 せい ゲージ理論 りろん (英語 えいご 版 ばん ) (N=1 supersymmetric gauge theories)を関連付 かんれんづ ける。サイバーグ双対 そうつい 性 せい に現 あらわ れる 2つの N=1 理論 りろん は、同一 どういつ ではないが、長 なが い距離 きょり では同 おな じ物理 ぶつり を生成 せいせい する。モントネン・オリーブ双対 そうつい 性 せい のように、サイバーグ双対 そうつい 性 せい は電場 でんじょう と磁場 じば を入 い れ替 か えるマックスウェル方程式 ほうていしき の対称 たいしょう 性 せい を一般 いっぱん したものである。
弦 つる 理論 りろん のダイアグラム、黄色 おうしょく の線 せん がS-双対 そうつい を示 しめ している。青色 あおいろ の線 せん がT-双対 そうつい を示 しめ している。
1990年代 ねんだい 中期 ちゅうき 、弦 つる 理論 りろん の物理 ぶつり 学者 がくしゃ たちは、別々 べつべつ の理論 りろん のバージョンは 5つあると信 しん じていた。すなわち、タイプ I (英語 えいご 版 ばん ) , タイプ IIA 、タイプ IIB と、2つのヘテロ弦 つる 理論 りろん (SO(32) のタイプとE8 ×E8 のタイプ)である。異 こと なるタイプの理論 りろん には異 こと なるタイプの弦 つる があり、低 てい エネルギーでの粒子 りゅうし は異 こと なる対称 たいしょう 性 せい を示 しめ す。
1990年代 ねんだい 中期 ちゅうき 、物理 ぶつり 学者 がくしゃ たちは、これらの 5つの理論 りろん が実際 じっさい は、高度 こうど に非 ひ 自明 じめい な双対 そうつい 性 せい で関連付 かんれんづ けられていることに気 き がついた。これらの双対 そうつい 性 せい のうちの一 ひと つがS-双対 そうつい である。弦 つる 理論 りろん でのS-双対 そうつい の存在 そんざい は、最初 さいしょ は、1994年 ねん にアショク・セン (英語 えいご 版 ばん ) (Ashoke Sen)によって提案 ていあん された[ 18] 。結合 けつごう 定数 ていすう
g
{\displaystyle g}
を持 も つタイプ IIBの弦 つる 理論 りろん が、結合 けつごう 定数 ていすう
1
/
g
{\displaystyle 1/g}
を持 も つ自分 じぶん 自身 じしん のタイプ IIBの弦 つる 理論 りろん にS-双対 そうつい (自己 じこ 双対 そうつい )を通 とお して等価 とうか であることを示 しめ した。同様 どうよう に、結合 けつごう 定数 ていすう
g
{\displaystyle g}
を持 も つタイプ Iの弦 つる 理論 りろん は、結合 けつごう 定数 ていすう
1
/
g
{\displaystyle 1/g}
を持 も つ SO(32) のタイプのヘテロ弦 つる 理論 りろん と等価 とうか であることを示 しめ した。
それまでは、これらの双対 そうつい 性 せい の存在 そんざい は 5つの弦 つる 理論 りろん が実際 じっさい はすべて異 こと なる理論 りろん であったが、1995年 ねん の南 みなみ カリフォルニア大学 だいがく での弦 つる 理論 りろん のコンファレンスで、エドワード・ウィッテンはこれらすべての 5つの弦 つる 理論 りろん がM-理論 りろん として知 し られる単一 たんいつ の理論 りろん の異 こと なる極限 きょくげん であるとう驚 おどろ くべき示唆 しさ を行 おこな った[ 19] 。ウィッテンの提案 ていあん は、タイプ IIAとタイプ E8 ×E8 のヘテロ弦 つる 理論 りろん が密接 みっせつ に 11次元 じげん の超 ちょう 重力 じゅうりょく 理論 りろん と呼 よ ばれる重力 じゅうりょく 理論 りろん に関係 かんけい しているという見方 みかた を基礎 きそ としている。彼 かれ の発言 はつげん は、第 だい 二 に 超 ちょう 弦 つる 理論 りろん 革命 かくめい (英語 えいご 版 ばん ) の最盛 さいせい 期 き をき上 ずきあ げた。
^ a b Frenkel 2009, p.2
^ Kapustin and Witten 2007
^ Zwiebach 2009, p.325
^ Griffiths 1999, p.326
^ Griffiths 1999, p.327
^ ゲージ理論 りろん の基礎 きそ を含 ふく む一般 いっぱん の場 ば の量子 りょうし 論 ろん の入門 にゅうもん 書 しょ として、Zee 2010を参照 さんしょう のこと。
^ Montonen と Olive 1977
^ Goddard, Nuyts, and Olive 1977
^ Frenkel 2009, p.5
^ a b Frenkel 2009, p.12
^ Frenkel 2009, p.12
^ Frenkel 2009, p.2
^ a b c d Frenkel 2007
^ Frenkel 2007
^ Kapustin と Witten 2007
^ Aspinwall et al. 2009, p.415
^ Seiberg 1995
^ Sen 1994
^ Witten 1995
Frenkel, Edward (2009). “Gauge theory and Langlands duality”. Seminaire Bourbaki .
Griffiths, David (1999). Introduction to Electrodynamics . New Jersey: Prentice-Hall
Witten, Edward (13–18 March 1995). "Some problems of strong and weak coupling". Proceedings of Strings '95: Future Perspectives in String Theory . World Scientific.
Zwiebach, Barton (2009). A First Course in String Theory . Cambridge University Press. ISBN 978-0-521-88032-9