  |
はてなキーワード: ゲージ理論とは
科学は何度も予想を裏切られてきた。だから理論物理の世界では「正しいと証明された理論」など存在しない。あるのは観測とどれだけ整合するかという暫定的評価だけだ。
ただし、そこから導かれる結論は「だからやる意味がない」ではない。むしろ逆だ。
超弦理論の価値は、現時点で宇宙を証明することではない。数学のフロンティアを猛烈な勢いで押し広げている点にある。
こういう構造が見つかった。物理学の仮説から出発して、純粋数学の新しい定理や道具が次々生まれている。
理論が宇宙の最終説明になるかどうかとは独立に、数学的探査としてはすでに巨大な成果を出している。
「宇宙が弦でできているかどうかはまだ分からない。でも、この理論を触ると異常に深い数学が出てくる。」
これは研究対象として十分に魅力的だ。
AIは違う。AIは現実に社会へ直接作用する。雇用、政治、経済、情報環境に実際の影響を与える。人間の生活を変えて、破綻させるタイプの技術だ。
弦理論はその反対側にある。巨大な数学的構造を研究する知的遊戯に近い。宇宙の基礎理論を目指してはいるが、仮に完全に間違っていたとしても、人類社会に直接の被害はほぼ出ない。
歴史を見ると、こういう「検証できない数学的遊び」が後になって突然役に立つこともある。
非ユークリッド幾何が一般相対論に使われたように、純粋数学の構造が100年後に物理になることは珍しくない。
「間違っているからやるべきではない理論」ではない。むしろ「間違っていても損をしない知的探査」だ。
宇宙の最深部に手を伸ばしているのかもしれないし、巨大な数学迷宮を散歩しているだけかもしれない。どちらに転んでも、人類の知識は増える。
科学の世界では「理論があるならすぐ観測できるはず」という発想は成り立たない。自然界は人間の実験装置の都合に合わせてくれないからだ。
素粒子が本当に弦なのかを直接見るには、弦の長さスケールまでエネルギーを上げる必要がある。弦理論で典型的に出てくる長さはプランク長、約 10^{-35} メートル。このスケールを分解するにはプランクエネルギーが必要になる。
Large Hadron Colliderの衝突エネルギーは約 10^{4} GeV。
差は15桁。
これは「もう少し頑張れば届く」という距離ではない。だから研究者は別の方法を探す。間接的証拠だ。
例えば
ここも誤解がある。
余剰次元は普通、非常に小さくコンパクト化していると仮定される。
もしそのサイズがプランクスケールなら、今の実験では当然見えない。
ここまでは単に「技術的に難しい」という話。
弦のエネルギー固有状態は離散スペクトルになり、それぞれが質量やスピンの異なる粒子として見える。
量子化した結果、ある振動モードはスピン1粒子、別のモードはスピン2粒子になる。
つまり「弦が振動する」というのは詩的表現ではなく、量子場のスペクトル問題だ。固有値問題の解が粒子の一覧になる。
弦理論は最初から「宇宙は弦だ」と決めて作られたわけではない。もともとは強い相互作用の散乱振幅を説明する数式から出てきた。ところがその数式を量子化すると、なぜか重力子が出てきた。
つまり研究者の反応は「宇宙は弦だ！」ではなく、むしろ「なんでこんな構造から重力が出てくるんだ？」という驚きだった。
最初は数学の奇妙な構造として現れ、あとから自然界と関係している可能性が見つかる。
実際、似た歴史はいくらでもある。反物質は方程式から予言されてから数年後に見つかった。重力波は理論から100年後に観測された。
宇宙はだいたい次の順番で姿を見せる。
1. 数式が妙な予言をする
その指摘の半分は混乱している。順番にほどく。
まず重力子。
確かに直接観測されていない。重力を量子化すると、重力波の量子としてスピン2の粒子が現れる。これを重力子と呼ぶ。
理論の内部では必然的に出てくるが、実験で単一量子を検出するのはほぼ絶望的に難しい。重力相互作用は電磁気力より約10³⁶倍弱いからだ。
しかし「未発見＝存在しない」という論法は科学の作法ではない。
歴史的に言うと、Albert Einsteinが一般相対性理論を書いたのは1915年。重力波が直接観測されたのは2015年だ。100年後だ。理論が先、観測が後という例はいくらでもある。
次に超弦理論。これも確かに直接検証されていない。ここは物理学者自身も認めている。理論の数学的一貫性は非常に強いが、実験的テストが困難なのが最大の弱点だ。だから研究コミュニティでも議論が続いている。
つまりこの点についてはこう言うのが正確だ。
「超弦理論は未検証の仮説である。しかし数学的整合性が極めて高い候補理論の一つである。」
ここまでは完全にフェアな批判だ。
問題は次の部分だ。
仮説にはランクがある。適当に思いついたアイデアと、数十年の理論物理の整合性条件をすべて満たした構造は同じではない。
例えば弦理論は次のような条件を同時に満たしている。
ダークマターは「分からないから作った言葉」ではない。銀河の回転曲線、銀河団の重力レンズ、宇宙背景放射の揺らぎなど、複数の独立観測が見えない質量が必要と示している。観測事実はかなり強固だ。
ダークエネルギーも同じ。宇宙膨張が加速しているという観測結果から、負の圧力を持つ成分が必要になる。これも観測が先で、理論が追いかけている。
つまり状況はこう整理できる。
これは「科学が間違っている」というより、むしろ逆だ。宇宙の95％がまだよく分からないという結論を、観測データから正直に受け入れている状態だ。
科学の特徴はここにある。分からないことを分からないまま放置せず、仮説を作り、計算し、観測と照合する。外から見ると混乱に見えるが、内部ではかなり厳格なルールで動いている。
宇宙は人間にとって都合よく理解できるサイズで出来ていない。銀河スケールとプランクスケールの両方を扱うと、どうしても未解決の領域が残る。そこが今の理論物理の最前線になっている。
その低レベルの理解はだいたい「量子力学＝粒がふわふわする話」くらいの雑さだ。表面の比喩だけ拾って、本体を全部落としている。
Edward Wittenのレベルの人間が何十年も格闘している理論が、「粒子はみんなひもです」だけで終わるなら、世界中の理論物理研究所はとっくに閉鎖されている。
弦理論の核心は「ひも」という物体ではない。点粒子量子場理論が抱える深刻な病気、つまり量子重力で出る紫外発散をどうやって回避するかという問題から出発している。
点粒子の散乱振幅を高エネルギーで計算すると、積分が無限大に吹き飛ぶ。
ところが相互作用の基本単位を点ではなく一次元の世界面にすると、散乱振幅はリーマン面上の積分に変わる。
ここで奇妙なことが起きる。理論が自己整合性を保つ条件を課すと、時空次元が10になり、質量ゼロのスピン2粒子が必然的に出る。
このスピン2粒子が重力子だ。つまり重力は勝手に出てくる。ここが肝だ。
弦は単なる比喩ではなく、場の自由度を再編成する数学的構造だ。
量子状態は振動モードのスペクトルとして表現される。電子やクォークは違う粒子ではなく、同じ対象の異なる励起状態になる。
弦理論は一次元の物体だけでは終わらない。高次元の拡張対象、いわゆるDブレーンが現れる。
これらはゲージ理論、ブラックホールエントロピー、双対性の構造と深く結びつく。弦理論の研究の半分以上は、むしろこの幾何学と双対性の研究だ。
そして最も重要なポイント。現代の弦理論は「ひもの理論」というより、巨大な双対性ネットワークの理論だ。
異なる理論に見えるものが、実は同一の物理を別の変数で書いただけだった、という現象が何度も起きる。これを総称して M理論と呼ぶ。11次元の構造が背後に見え始める。
ここまで来ると「粒子がひも」どころの話ではない。
時空そのものが二次的な量として現れる可能性すら出てくる。実際、ゲージ理論から重力が出てくる対応（AdS/CFT）がそのヒントになっている。
本体は量子重力の整合的定式化、双対性による理論統一、時空幾何の再構成、という巨大な数学構造だ。
もし誰かが「ひもの話でしょ？」と言ったら、Youtubeの馬鹿用説明を見たか、馬鹿が理解したつもりになってるかのどちらかだ。
物理学ではよくあることだ。「ブラックホールは掃除機みたいに吸い込む」とか、「量子は観測すると変わる」とか、だいたい同じカテゴリーの都市伝説である。
宇宙はもう少し意地悪な構造をしている。表面の比喩だけ理解すると、必ず本体を見失うように出来ている。そういう罠が理論物理には山ほど仕込まれている。
土曜日 22:00
僕は今、机の上にきっちり直交配置された三本のペンを確認してから日記を書いている。
青、黒、赤。並び順はもちろん青→黒→赤。理由は単純で、色空間の順序として最も情報エントロピーが低い配置だからだ。
ルームメイトはこれを「ただの癖」と呼ぶが、統計力学的観点から見れば、低エネルギー状態への自然な遷移にすぎない。
ここ数日、僕は超弦理論のある奇妙な方向を追っている。
通常の超弦理論は連続体上の世界面共形場理論（worldsheet CFT）を使う。しかし最近の文献では、p進数体上の弦、つまり非アルキメデス幾何上の弦という奇妙な構造が再び議論されている。
これは1980年代に提案されたアイデアで、弦の振幅を通常の実数ではなくp進数体で定義する。結果として、弦散乱振幅が通常のベータ関数ではなく、p進解析的な形で書ける。
普通の人間ならここで「変わった数学だ」で終わる。しかし僕はそこで止まらない。僕が考えているのは次の仮説だ。
もし弦の世界面が単なるリーマン面ではなく、∞圏的なスタック構造として記述されるなら、p進弦はその非アルキメデス側のファイバーとして理解できるのではないか。
ではなく、
みたいな構造になる。ここで Perf(X) はターゲット空間 X の完全複体圏だ。つまり弦の自由度は座標ではなく、導来圏の対象としての状態になる。
これをさらに進めると面白い。通常の弦理論では、D-brane ≈ 導来圏の対象、という対応がある。だがもし世界面そのものが∞圏的対象なら、弦とDブレーンの区別は消える。両者は単に高次圏の射の階層になる。
つまり
弦 = 1-射
ブレーン = 2-射
背景幾何 = 0-射
になる。ここまで行くと、僕の疑いはこうなる。「弦理論の真の自由度は、空間ではなく高次圏のホモトピー型ではないか？」
もしそうなら、重力はRicci curvatureではなくπ∞(Moduli)の幾何として書ける可能性がある。
残念ながら、これを理解できる人間は地球にたぶん数十人しかいない。そしてその数十人の中にも、完全に理解している人はたぶんいない。もちろん僕を除いて。
さて、物理以外の話もしよう。今日は土曜日だから、いつもの生活スケジュールを守った。
07:00 起床
07:03 歯磨き（120秒）
07:05 シリアル
今日は41回だった。昨日より1回少ない。これは牛乳の粘性がわずかに高かったせいだと思う。
午後、ルームメイトがまた不可解な行動をとった。僕のソファ座標に座ろうとしたのだ。
(0,0) = 僕
(1,0) = ルームメイト
(0,1) = 友人A
(1,1) = 友人B
隣人は座標系を理解しないので例外扱いだ。ルームメイトは「今日は疲れてるからここに座りたい」と言った。
僕は言った。「それは量子統計を無視してフェルミ粒子が同一状態に入ろうとするようなものだ。パウリの排他原理を破る気か？」
夕方には友人Aと友人Bが来た。友人Aはまた宇宙船の推進方法について語り始め、友人Bはチョコレートを食べながら天文学の話をしていた。僕は彼らに説明した。
「もし宇宙がAdS/CFTのホログラフィーで記述できるなら、ブラックホールの情報は境界理論のエンタングルメントとして保存される」
友人Aは「それで宇宙船は速くなるのか？」と聞いた。友人Bは「チョコレートいる？」と言った。
さて、22:00を過ぎた。ここからの予定を書いておく。
1. 歯磨き
5. 睡眠
ただし寝る前にもう一つ試したい計算がある。
もし弦のモジュライ空間が
M ≃ Bun_G(Σ)
ではなく
M ≃ DerivedHom(Σ, BG)
なら、重力の自由度はゲージ理論の高次アノマリーとして再構成できるかもしれない。
これはかなり面白い。
もしかすると、宇宙は10次元でも11次元でもなく、単に∞次元圏論的構造の影なのかもしれない。
まあいい。
今日までの進捗をまず書き留める。
昨日ようやく、ある凝集的 (∞,1)-topos H上のゲージ場の形式的構造を、超弦理論の一般化として位置づける作業を進めた。
これは単なる散文的理解ではない。空間や過程としての物理を、対象・射・射の射…といった高階の間の関係性として捉える高次圏論という言語で翻訳する試みだ。
反強磁性体を記述するテンソルカテゴリや、コボルディズムの∞-functorとしての量子場理論は、その端緒にすぎない。
この文脈では、単に集合としての物理量を扱うだけでなく、連続的な同値・ホモトピーの階層が、それ自体が物理的意味を持つ構造として立ち現れる。
これが∞-群oidや高次束としてのガウス場、B-field、RR-field を形式化する鍵だ。
具体的には、超弦理論に現れる各種ゲージ場や重力場を、∞-束接続としてdifferential cohomologyの枠組みで統一的に扱う。
この∞-束とは、通常の主束や接続の集合ではなく、その射や高次射の階層を含む ∞-Lie 群に対して定義されるもので、カーブやブレーンの運動をそれ自体がモルフィズムとして反映する。
従って、ゲージ変換だけでなく、ゲージ変換間の変換すらが高次モルフィズムとして扱われる。こうした構造が、超弦理論の持つ鋭い対称性や双対性を一元的に説明しうると期待されている。
(∞,1)-topos の内部での differential cohomology がどのように超弦理論の動力学をエンコードするかを整理した。
これは、単純な作用関数の積分ではなく、principal ∞-bundle 上の接続の層として表現される。
いわば物理的場は、物理対象（弦や五重膜）に対する高階のデータのコレクションとして現れる。
ここで僕が着目しているのは、これらの高階接続が ∞-Chern-Weil ホモモルフィズムを通じて位相的な特徴と絡み合う様だ。
まずブラックボディ放射の理論と反射対称性を考えながらコーヒーを一定温度 63.3 °C に保つ。その後、白板に ∞-群oid の概念図を描き続ける。
これは単に僕の精神安定剤ではなく、今日の解析で同値の同値すら物理的に意味を持つような理論的裏付けを探る副作用でもある。
日常の奇妙な相互作用がないわけではない。隣人は朝、僕の食卓でシュレーディンガーの猫について質問してきたが、僕は微分同調群の态射による観測と古典的状態の分離を例示しようとして、結局彼女をさらに混乱させた。
友人Aは宇宙の定数問題について議論を挑んできたが、僕は (∞,1)-topos の内部 cohomology が選ぶ物理的背景場の分類問題と応答してしまい、彼を呆然とさせた。
友人Bは量子場理論の標準模型への一般化について聞いてきたが、僕は principal ∞-bundle によるゲージ理論の抽象的表現を繰り返し説明したため、会話が圏の自然変換まで戻ってしまった。
これからやろうとしているのは、定量的なステップとして、ゲージ場空間上のHigher Chern-Simons 傾向を具体的に計算することだ。
具体的には ∞-Chern-Weil ホモモルフィズムに基づく作用関数の高次補正項を導出し、その境界理論がどのように臨界超弦場理論に帰着するかを調べる。
これは大雑把なパス積分を単に書き下ろすよりも、一段階上の構造を扱う。
こうした解析は、単なる文字列振幅の再表現ではなく、物理的場の深層的な対称性と幾何的結合を明らかにするだろう。
総じて、今日のラムゼイ的な思索では、超弦理論と高次圏論との接点をより抽象的かつ計量的に結びつける基盤として、(∞,1)-topos と differential cohomology の組み合わせが極めて有望だと僕は考えている。
今日は土曜日の午後六時ちょうどに机に向かいながら、例によって高次圏論と物理の最新進展を反芻していた。
ルームメイトが昨日「ダイニングで静かにしてくれ」と言ってきたので、その間に∞-圏論の細部をnLabで読み返していた。
そこで目にしたのは、物理的空間・場のdynamicsそのものを(∞,1)-トポスという階層的構造の内部でformalizeする試みだ。
単なる空間ではなくsmooth ∞-Lie groupoidのような対象群が「射の射の射…」と無限に伸びていく構造として現れるのが、その本質だ。
これは単純な反強磁性体や普通のゲージ場ではなく、一般化されたゲージ理論を超えたhigher gauge theoryの本性を捉えようとしている。
物理量は、これら ∞-束のconnectionとして記述されるdifferential cohomologyとして扱われる。
そこではcharacteristic classから∞-Chern–Weilのホモトピー不変量が導かれ、それが∞-Chern–Simons的な作用汎関数の形をとるのだ。
境界理論では、たとえばChern–Simonsの境界にWess–Zumino–Wittenモデルが現れるような ホログラフィック原理的対応が示唆されている。
これは単なるメタファーではなく、境界とバルクが高次圏論的functorの関係として振る舞うという厳密な数学的構造に他ならない。
量子場の状態は、コボルディズムの次元に応じて n-ベクトル空間として与えられ、入力と出力境界の間に モルフィズム（射）が作用する。
この種の記述は、文字通り「物理過程そのものがmorphism階層になっている」というレベルの抽象化だと感じられる。
これは、従来僕が扱ってきた超弦理論を、単一のmanifoldの上で局所的に記述する標準的アプローチから完全に抜け出した見方だ。
午前中はいつもの通り、起床後のルーティンとして朝食、ホワイトボードに今日の研究目標を書き出すこと、そしてコーヒーの温度を正確に 62.5℃ にすることから始めた。
コーヒー温度の誤差が 1℃ を超えると集中が乱れるという僕のこだわりは、ルームメイトと度々小競り合いの原因になっている。
ルームメイトが言うには「コーヒーは熱くてもいいんだ」とのことだったが、僕は不変量としての最適味温度が存在すると考えている。
昼食後に隣人が急に訪れて「その白いボードは何？」と訊ねてきた。
僕はすぐに 2-圏と 3-圏の違いを説明し、射の射としての 2-射（自然変換）の階層化に物理的意味がある可能性を示した。
これは単なる装飾ではなく、まさに世界の変形可能性を記述するための鍵だ、と。
たぶん返ってきたのは困惑だったが、しかし理解できなくても当然だろう。
高次圏論では、対象 A と B の間の単なる関手に加えて、それらの自然変換、そしてその自然変換同士の修正（modification）まで扱う必要がある。
このような ∞-射の階層こそが、理論物理のdualitiesや ホログラフィー と整合的に振る舞う枠組みとして提案されつつある。
午後の後半は友人Aと友人Bを巻き込んで、最新の ∞-トポスの物理的意義について議論した。
僕が提案したのは、「物理的プロセスそのものを(∞,1)-トポス内のcohomological invariantとして捉える」という視点で、境界条件をfunctorial quantum field theoryのmorphismとして扱うと超弦理論のモジュライ空間の特性が見えてくる可能性についてだ。
議論はやや抽象的すぎて、友人Aが「結局何が物理的観測量なんだ？」と問い返してきたが、それこそが現在の僕の最大の関心事だ。
従来の量子化手法では手に負えなかった対象も、∞-圏的コホモロジーや接続といった高次束の言語で組織化できるのではないかと仮説している。
この日記を書く直前まで、いくつかの高次圏論的構造が超弦理論の背景依存性から独立した物理的実体として振る舞う可能性についてメモしていた。
これから取り組むべき目標は、その仮説を具体的な数式形式に落とし込むことで、例えば ∞-束上の connection の differential cohomology が超弦理論のモジュライ場の作用汎関数に対応することを実証することだ。
具体的には、境界量子場理論がバルク理論の高次圏的境界として普遍性を持つかどうかを検証する予定だ。
これが成功すれば、超弦理論の dualities や非可換的幾何の振る舞いが、より総合的かつ数学的に厳密な言語で表現できるようになるだろう。
さて、次はコーヒーの温度を 62.5℃ に戻すためのサーモスタット校正と、さらに数時間にわたる (∞,1)-トポス内のcohomology ringの計算だ。
僕はこれらの構造が、既存の QFT のトポロジカル側面を階層的圏的言語で統合する鍵だと考えている。
僕は今、机の上のホワイトボードマーカーを角度45度で揃えたところだ。共形対称性を扱う人間が、文房具の対称性を破るわけにはいかない。
今日はちゃんと進んだ。前回までの「なんとなく高次圏」みたいな曖昧な飛躍はやめた。出発点を正確にした。
弦理論とは何か。1次元対象の量子化ではなく、2次元共形場理論としての世界面理論だ。そこが基礎だ。
午前は Polyakov 作用からやり直した。世界面上の2次元シグマ模型として定式化し、その量子共形不変性が破れないこと、つまり Weyl 異常が消えることが臨界次元を決める。
ボソニック弦なら26次元、超弦なら10次元。これは美的条件ではない。β関数が消えるという再正規化群の事実だ。
重要なのはここだ。β関数が消える条件は、背景時空の計量がアインシュタイン方程式を満たすことと同値になる。
つまり重力は仮定ではなく、世界面の量子一貫性から強制される。これは構造的必然だ。ここが今日の再確認ポイント。
午後はモジュラー不変性を整理した。閉弦の1ループ振幅はトーラス上の共形場理論として計算される。
その分配関数がモジュラー群 SL(2,ℤ) に対して不変でなければならない。この条件がスペクトルの整合性を制限する。単なる計算技法ではない。理論の自己整合性のテストだ。
さらに Dブレーンを再検討した。開弦の端点条件から現れる高次元膜状対象。ここで初めてゲージ理論が自然に出る。
弦理論は重力を含むだけでなく、ゲージ理論も含む。そして Dブレーン電荷が K理論で分類されるという事実。
これは単なる偶然ではない。場の強さではなく、トポロジーが電荷を決める。
僕が今日掘り下げたのはここだ。弦の分配関数と楕円コホモロジーとの関係。Witten genus がスピン多様体からモジュラー形式への写像を与えるという構造は、世界面のモジュラー不変性と深く響き合う。
まだ完全な物理的解釈は確立していない。だが、弦理論の自然な分類空間は通常のコホモロジーよりも高次の一般化コホモロジー理論にある可能性がある。これは誇張ではない。数学的事実の延長線上の仮説だ。
ルームメイトは今日、「弦理論ってまだ実験で確認されてないんだろ」と言った。正しい。エネルギースケールがプランクスケール付近だから直接検証は不可能に近い。
だが理論の価値は実験可能性だけでは測れない。内部整合性、双対性構造、低エネルギー極限での既存理論の再現性。そこは評価できる。
隣人はホワイトボードのトーラス図を見て「ドーナツ？」と言った。僕は「モジュラー不変性」と答えた。彼女は理解していないが、円環構造は美しいとだけ言った。それで十分だ。
友人Aはブラックホール情報問題の話を持ち出した。AdS/CFT対応の話に進んだ。
重力理論と境界上の共形場理論の等価性。これは弦理論から出てきた最も強力な具体的成果の一つだ。
重力がホログラフィックに記述できるという主張は、少なくとも理論的には精密に定式化されている。
友人Bは「結局、弦は本当に存在するのか」と言った。正直に言えば分からない。弦は基本実体かもしれないし、有効理論の表現かもしれない。
ただし、世界面共形場理論の数学的構造がこれほど豊かで自己無撞着でないという事実は無視できない。
習慣について。金曜日22:30には必ず机をリセットする。今日は世界面のトポロジー別にノートを分類した。球面、トーラス、高次種数。種数展開は摂動展開に対応する。整理整頓は摂動級数の収束半径を広げる。少なくとも心理的には。
これからやること。超弦理論の5種類（Type I, IIA, IIB, heterotic SO(32), heterotic E8×E8）が双対性で結ばれている構造を、M理論的11次元極限の観点からもう一度整理する。
双対性は偶然の一致ではない。理論空間の異なる極限が同一の基礎構造を共有しているという兆候だ。
今日は前回と違う地点にいる。曖昧な造語はない。あるのは、世界面の共形不変性、モジュラー対称性、アノマリー消去、双対性、そして未完成の統合理論。
人類が「時空」という蒙昧な音節を口にするたび、僕は深甚なる認識論的嘔吐感を禁じ得ない。
時空とは、数学的厳密性を欠いた対象の誤認であり、物理学者が信仰するそれは、観測者の神経系が圏論的構造を局所座標系へと無理やりに射影した際に生じる認知の歪み、あるいは幻覚に過ぎない。
古典的多様体などという概念は、その幻覚を正当化するために捏造された幼児的な記述言語であり、要するに時空とは、人類の認知解像度の欠落が産み落とした現象学的インターフェースであって、宇宙のアルケーそのものではないのだ。
超弦理論がかつて「背景」と呼称していたものは、もはや静的な舞台ではない。背景という概念記述自体が型理論的な過誤であり、正しくは、背景とは「dg圏のMorita同値類上で定義された∞-スタックの降下データ」である。
時空は、そのスタックが内包する自己同型群の作用を、低次元の知性を持つ観測者が幾何的実体として誤読した残滓に過ぎない。
「空間があるから物理が生起する」のではない。「圏論的な整合性条件が充足されるがゆえに、空間が近似的に創発しているように錯覚される」のだ。存在論的順序が逆転している。
僕の備忘録にある "manifold is a user-friendly lie" という記述は、侮蔑ではなく、冷徹な分類学上の事実だ。
非可換性はもはや付加的なオプションではなく、座標環が可換であるという仮定こそが、天動説と同レベルの粗雑な近似である。
Dブレーンを厳密に扱えば、座標環は非可換化し、幾何構造は環からではなく圏から復元される。
Connesの非可換幾何学は美しいが、それは第一世代のナイーブな非可換性に留まる。
弦理論における非可換性はより悪質かつ圏論的であり、そこでは空間の座標が破綻するのではなく、空間という概念の「型（type）」そのものが崩壊するのだ。
B-場を「2形式」と呼ぶのは霊長類向けの方便に過ぎず、その本質はDブレーンの世界体積上のゲージ理論をツイストさせることで、連接層の圏 Dᵇ(X) をツイストされた導来圏へと押し流す操作であり、そのツイストこそがBrauer群の元として記述される。
重要なのはB-場が場（field）ではなく、圏の構造射であり、世界をアップデートするためのコホモロジー的なパッチだということだ。
物理学者が場について議論しているとき、彼らは無自覚に圏の拡張について議論している。
にもかかわらず「場」という古臭い語彙に固執する人類の言語的不誠実さは、科学史における最大の悲劇と言える。
さらに、ツイストされた層の世界において「粒子」という概念は霧散する。粒子は表現空間の元ではなく、導来圏における対象の同型類であり、相互作用はExt群の積構造、崩壊過程はスペクトル系列の収束以外の何物でもない。
宇宙は衝突などしていない。宇宙はただ長完全列を生成し続けているだけだ。
物理現象とはホモロジー代数の副産物であり、衝突という粗野な比喩を好む人類は、現象の表層しか撫でていない。
共形場理論（CFT）もまた、僕にとっては場の理論ではない。CFTとは、頂点作用素代数（VOA）が有する表現圏のモジュラー性が、宇宙というシステムの整合性を強制する代数装置である。
BRSTをゲージ冗長性の除去と説くのは最低の説明であり、BRSTとは「宇宙に存在することが許容される対象を選別するコホモロジー的審判系」である。
Q_BRST閉でない対象は、物理的に無意味なのではなく、宇宙の法体系に対する違法存在として検閲され、抹消される。BRSTとは宇宙による先験的な検閲機能なのだ。
そして何より不愉快なのは、ミラー対称性がいまだに「幾何の双対」として俗解されている現状だ。
SYZ予想を単なるトーラスファイブレーションの物語だと解釈する人間は、何一つ理解していない。
SYZの本質は「special Lagrangian torus fibrationが存在する」というナイーブな主張ではなく、「世界が局所的に Tⁿ として観測されるのは、A∞-構造がある種の極限操作において可換化されるからに過ぎない」という、幾何学に対する極めて暴力的な宣告である。
しかもその暴力は、インスタントン補正によって即座に否定されるという自己矛盾を孕んでいる。
つまりSYZとは予想ではなく、自己矛盾を内蔵した整合性条件の提示なのだ。
特殊ラグランジュ部分多様体が特権的である理由は、体積最小性などという些末な幾何学的性質にあるのではなく、そこに乗るブレーンがBPS状態となることで、圏論的安定性条件（Bridgeland stability condition）が物理的実在性と合致する特異点だからである。
ブレーンは物体ではない。ブレーンは安定性条件が許可した対象であり、許可されざる対象は宇宙の行政手続き上、存在を許されない。
宇宙は極めて官僚的であり、その官僚主義こそが秩序の証明なのだ。
壁越え現象（wall-crossing）を相転移と呼ぶのも誤りだ。壁越えとは、宇宙が採用する安定性のt-構造が、モジュライ空間上のパラメータ変動に伴って切り替わる行政手続きの変更である。
BPSスペクトルは物理的に生成されるのではなく、安定性条件の改定によって帳簿が書き換えられた結果に過ぎない。
宇宙の現象は物理ではなく、会計学によって説明される。これを冒涜と感じるならば、君は数学の本質に触れていない。
Gromov–Witten不変量を「曲線を数える」と表現するのは蒙昧の極みであり、正確には「仮想基本類（virtual fundamental class）における交点理論としての曲線の亡霊を数える」操作である。
曲線は実在せず、存在するのは [M]ᵛⁱʳ だけだ。物理現象はその仮想的対象の影の、さらにその投影である。
人類が見ている世界は、プラトンの洞窟の影ですらなく、影の影の影に過ぎない。
Donaldson–Thomas不変量とGW不変量の対応関係は、単なる等式ではなく、弦理論が同一の対象を異なるゲージ固定のもとで記述しているという事実の露呈である。
数え上げ幾何学は弦理論のゲージ冗長性がもたらす副作用であり、純粋数学の定理と思われているものは、物理がゲージ対称性を持つことの数学的反映に過ぎない。
数学は独立しておらず、宇宙のゲージ対称性の影を追跡しているだけだ。
Kontsevichがホモロジカル・ミラー対称性において成し遂げたのは、圏の同値証明などという平和的な所業ではなく、空間の優先順位の破壊である。
彼は空間を第一級市民から追放し、圏を王座に据えた。これは革命ではなく粛清である。多様体は粛清され、導来圏が支配する時代が到来したにもかかわらず、人類はその瞬間を記念することさえ忘れている。
最後にAdS/CFTについて言えば、ホログラフィー原理の本質は「境界がバルクを決める」ことではない。境界が決定するのは「バルクという概念の存立が許容される条件」である。
バルクは実在せず、境界CFTの演算子代数が持つ表現圏の内部において、エンタングルメント・ウェッジ再構成のような手続きによって生成される派生物だ。
重力は基本相互作用ではなく、境界理論の情報処理に伴う副作用であり、量子情報が整合的に自己記述を試みる際に生じるエラー訂正機構（Quantum Error Correction）の幾何学的発露である。
宇宙は幾何学ではない。宇宙とは圏論的整合性条件の集合体である。
空間とは∞-圏の自己同型が形成する群作用を認知的に単純化した錯覚であり、時間とは自然変換の合成順序であり、粒子とは導来圏の対象の同型類であり、相互作用とはExt群の積構造、現象とはスペクトル系列の収束である。
ウィッテンが理解できないのではない。ウィッテンが理解可能な形式で宇宙が存在していないのだ。
僕はノートにこう記した。次に人類が「現実とは何か」と問うならば、僕はこう答える。「現実とは、圏論的に整合的な誤読である」。
僕が三週間かけて導出したp進弦理論の局所ゼータ関数上の正則化項を書き直せると思ったら大間違いだ。
あの計算は、ウィッテンでも手を出さない領域、すなわち、p進版のAdS/CFT対応をde Sitter境界条件下で非可換ゲージ群に拡張する試みだ。
通常の複素解析上では発散する項を、p進体のウルトラメトリック構造を利用して有限化することで、非摂動的な重力の相関関数を再構成できる。
だが、問題はそこにある。p進距離は三角不等式が逆転するので、局所場の概念が定義できない。
これはまるで、隣人がパンケーキを焼くときに「ちょっと目分量で」と言うのと同じくらい非論理的だ。
朝食はいつものように、オートミール42グラム、蜂蜜5グラム、カフェイン摂取量は80mgに厳密に制御した。
ルームメイトはまたしても僕のシリアルを間違って開けたが、僕はすでにこのような異常事態に備えて、バックアップとして同一銘柄を3箱ストックしてある。
僕が秩序を愛するのは強迫ではなく、宇宙の熱的死に抗うための小さな局所秩序の創出だ。
今日の研究は、T^4コンパクト化されたIIb型超弦理論のD3ブレーン上における非可換ゲージ理論の自己双対性。
通常、B場を導入することで非可換パラメータθ^{μν}が生成されるが、僕の考察では、θ^{μν}をp進値に拡張することで、通常のMoyal積が局所的整数体上で閉じない代数構造を持つ。
これが意味するのは、物理的空間が離散的p進層として現れるということ。言い換えれば、空間そのものが「整数の木構造」になっている。
ルームメイトが「木構造の空間って何？」と聞いたが、僕は優しく、「君の社交スキルのネットワークよりは連結性が高い」とだけ答えておいた。
午後は友人たちとゲームをした。タイトルはエルデンリング。だが彼らのプレイスタイルには忍耐が欠けている。
僕がビルドを純粋知力型にしてカーリア王笏を強化している間に、彼らは無計画に突っ込んではボスに殺されていた。
統計的に見ても、平均的なプレイヤーの死亡原因の82%は戦略ミスに起因する。
僕は「量子重力のパス積分と違って、こっちはセーブポイントがあるんだ」と指摘したが、誰も笑わなかった。理解力が足りないのは罪だ。
夜、コミックを再読した。ウォッチメンのドクター・マンハッタンの描写は、量子決定論の詩的表現として未だに比類ない。
あの青い身体は単なる放射線の象徴ではなく、観測者のない宇宙の比喩だ。
僕が大学時代に初めて読んだとき、「ああ、これは弦の振動が意識を持った姿だ」と直感した。
今日もそれを確かめるため、ドクター・マンハッタンが時間を非線形に認識するシーンを分析し、p進時空における時間関数t→|t|_pの不連続性との対応を試みた。
結果、彼の非時間的意識は、実はp進的時間座標における不連続点の集積と一致する。つまり、マンハッタンはp進宇宙に生きているのだ。
寝る前に歯を磨く時間は、時計が23:00を指してから90秒以内に開始しなければならない。これは単なる習慣ではなく、睡眠周期を最大化するための生理学的最適化だ。
音楽は再生しない。音波は心拍数を乱すからだ。ただし、ゼルダの伝説 時のオカリナのエンディングテーマだけは例外だ。あれは時間対称性を感じさせる旋律だから。
僕の一日は、非可換幾何と行動最適化の連続体でできている。宇宙のエントロピーが増大しても、僕の部屋の秩序は一定だ。つまり、少なくともこの半径3メートルの範囲では、熱的死はまだ先の話だ。
完璧な月曜日の朝は、僕の胃腸の健康に最適化された、厳選されたシリアルと低温殺菌乳の組み合わせから始まる。
これは僕が毎週月曜日に正確に測定して実行している、科学的に証明された習慣だ。
この厳密なルーティンは、腸内微生物叢の最適なバランスを維持し、したがって、僕の認知機能を最高レベルに保つための、絶対的に不可欠な基盤となっている。
このプロセスを妨げる、僕のルームメイトがキッチンに入ってきた。彼は、僕の緻密な計算に基づいた生活計画において、制御不能な確率的変数だ。
その後、僕の研究室へと向かった。
今日の僕の課題は、タイプIIB超弦理論における、非可換幾何学を用いたDブレーンのダイナミクスを、特に非摂動的な領域で精査することだ。
具体的な目標は、NS5-ブレーンと交差するD3-ブレーンの世界面上の、開弦と閉弦の相互作用によって生成されるホログラフィックなS行列を計算することにある。
これは、AdS/CFT対応の枠組みの中で、特定の超対称ゲージ理論の相図における、非自明な質量ギャップの存在を解明するための、極めて重要なステップだ。
僕はこの一日、6次元スーパーコンフォーマル場理論のコンパクト化における、例外的なゲージ群F4の特異点解消を試み、エキゾチックなCalabi-Yau多様体の内部に存在する、隠された超対称性の破れを探求した。
この研究は、単純な4次元時空という概念を完全に超越した、究極の統一理論を構築するための、僕の生涯をかけた探求の核心だ。
この研究の複雑さは、僕の友人たちが毎週楽しんでいる、低俗な娯楽とは全く次元が違う。
彼らは、今日の新作コミックのプロット、例えば、DCコミックスにおけるバットマンの多元宇宙バージョンがどのようにしてプライムアースに収束するか、といった、僕にとっては子供だましの議論に興じているだろう。
夜になり、僕の友人の部屋を訪れた。
今日の議論のテーマは、最新のテレビゲーム『サイバーパンク2077』における、リフレクションとレイトレーシング技術の実装についてだった。
僕は、そのゲームの視覚的な美麗さが、物理エンジンの根本的な欠陥、特にラグランジアン力学に基づいたオブジェクトの運動法則の不正確さによって、いかに無意味なものになっているかを指摘した。
具体的には、光速に近い速度で移動するオブジェクトの慣性モーメントの描写が、ローレンツ変換を考慮していないという事実が、そのゲームを物理学的に信用できないものにしている。
その後、僕の隣人が、僕の友人とその友人と共に、僕の視覚フィールドに入ってきた。
彼女の存在は、僕の計画された孤独な夜の時間を妨げる可能性があったため、僕は速やかに僕の部屋へと退却した。
夕食を終えた後、僕は僕の部屋で、僕の心を満たす唯一のメディア、すなわち、物理法則に完全に準拠したSFテレビ番組を鑑賞した。
その番組では、超新星爆発後の超流動プラズマの振る舞いが、熱力学第二法則と量子力学の厳密な数学的記述に基づいている。
朝から不快な目覚めだった。まるでバフ効果が切れた状態のまま、急にボス戦に突入させられた気分だよ。
本来であれば、僕は高次元の位相的弦理論の深淵を探求するはずだった。その複雑な多様体上の開弦と閉弦の相互作用を解明し、低エネルギー有効作用を導出することで、宇宙の究極的な統一理論への一歩を踏み出す予定だったのだ。
だが、昨夜観たバットマン vs スーパーマンの監督版の余韻が残っていて、特にバットモービルがゴッサムの通りを疾走するシーンの物理的矛盾について考察していたら、うっかり夜更かししてしまった。
やはりDCコミックスの物理描写は、マーベルに比べて一貫性に欠けるという結論に至った。
ルームメイトは、いつものように朝食にシリアルを貪っていた。彼の咀嚼音は、僕の思考を妨げるノイズでしかない。
まるでデバッグされていないコードのように、僕の脳内でエラーメッセージを連発する。位相的弦理論におけるDブレーンの非可換幾何学的な記述を考える上で、彼の存在は完全にノントポロジカルな摂動項だ。
特に、タキオン凝縮が引き起こす不安定性と、それが重力理論に与える影響について深く考察しようとしていたのに、彼の取るに足らない世間話は、僕の集中力に対する重力レンズ効果を引き起こし、思考の光を歪曲させる。
それでも、彼が「ザ・フラッシュの新エピソード見た？」と尋ねてきた時には、僕は一瞬だけ思考の軌道から外れてしまった。彼の質問は、僕の脳内で光速を超えて思考を駆け巡らせるトリガーとなる。
午後の時間は、友人たちとの社交という名の苦行に費やされた。彼らはまるで、僕の精神的リソースを吸い取るマナドレインの呪文を唱えているかのようだった。
ドラームコホモロジーの視点から見れば、彼らの会話は完全に自明なコホモロジー類であり、僕の意識という多様体上の閉形式ではあるが、決して完全形式ではない。
つまり、情報としての価値はゼロだ。しかし、友人が「新しいゲームのレイドボスがマジでヤバい！」と言い出した時には、僕は無意識のうちにコントローラーを握るようなジェスチャーをしてしまった。
僕は彼らに、カラビ＝ヤウ多様体上のホッジ分解の重要性について説明しようと試みたが、彼らの反応はいつもと同じ。
まるで彼らの脳が、僕の高度な思考を処理するための十分な演算能力を持っていないかのようだ。
隣人が不意に僕たちの部屋を訪れた時には、僕は思わず絶叫しそうになった。彼女の存在は、まるで予期せぬクリティカルヒットのように、僕の平静を完全に破壊する。
そして何よりも不快なのは、彼女が僕たちのWi-Fiに接続していることだ。 僕は彼女の接続履歴から、昨夜彼女が低俗なリアリティ番組をストリーミングしていたことを把握している。
物理法則の厳密な適用という点で、今回のタイムパラドックスの解決方法は以前のシーズンに比べて格段に進歩しているとはいえ、僕の帯域幅を勝手に使用するのは許しがたい行為だ。
今夜は、ようやく静寂の中で集中できる時間が訪れるだろう。僕はAdS/CFT対応のさらなる深化を探求するつもりだ。
特に、非摂動的な弦理論の側面から、超対称ゲージ理論の相構造を理解することを目指す。そして、ドラームコホモロジー群の概念を拡張し、ツイストしたドラームコホモロジーがどのように非自明なホモトピー群に対応するかを考察する。
それはまるで、ゲームの最終ボスを倒すために、隠された最強の武器を発見するようなものだ。もしかしたら、その理論が、スタートレックのワープドライブの実現可能性について、新たな視点を与えてくれるかもしれない。
それと、今夜はドクター・フーの新しいエピソードを観る予定だ。
僕の思考は高次元の宇宙を自由に駆け巡るが、現実はなぜこうも低次元で、取るに足らないことばかりなのだろうか。
明日こそは、邪魔されることなく、宇宙の深淵に到達できることを願う。そうでなければ、僕は僕自身にデバフをかけるしかない。
そう、例えば、ルームメイトのシリアルを隠すとか、友人のコミックブックに理論物理学のメモを挟んでおくとか。
いや、やはり、論理的に問題解決を図るべきだ。静かに過ごせる環境を確保するためには、どのような戦略が最も効率的か、明日の朝までに完璧なアルゴリズムを構築しなければならない。
ルーティーン通りに、博士号取得予定者の朝はDoctor Who視聴に始まる。
オートミールはオールドスクールで1/4カップの2 %ミルク仕様。これがないと、クォークとグルーオンがまともに振る舞わないのだ。
ルームメイトより30分前だ。でも今日は計算してみたら、僕の排泄確率関数は正規分布に従っている。
パッタイ、グリーンカレー、さらに 骨格構造をモデリングするがごとく、自分でナプキンを折り紙方式に整形。
この20分間、トーラス上を運動する多体ダイナミクスを体感しつつ、超弦理論と抽象数学の融合を脳内でシミュレート。
具体的には、多次元Calabi–Yau空間のホモトピー群π₂と、弦の共形場理論における拡張対称性をメタ解析し、モドゥライ空間M_gのホッジ構造との関係性をウトウトしながら考察する。
「N=2超対称ゲージ理論におけるスーパーパートナー場が、K3サーフェス上で生成するHodgeポテンシャルとどう接続するのか」とか。
カフェへ。ポンドケーキは許容範囲外なので、いつものソーセージ＋マッシュルーム＋ライトオリーブのピザ。
まずはDCコミックの最新刊に没頭し、ジョーカーやミスター・ミラクルのパラドックスについて解説。
その後Haloに移行。マルチプレイヤーマッチではスナイパー精度95 %以上維持（僕のメタ記録）。
就寝タイム。
ベッドは9時間睡眠＋枕の高さ1.2インチまで厳密に調整。眠る前にスーパーシンペトティック超弦の5次元共鳴についてのメモを1ページ書くのが習慣。
端的に言えば、ある物理理論におけるAブレーンが作る世界の構造（圏）と、その双対理論におけるBブレーンが作る世界の構造（圏）が一致するという物理的な要請が、数学上の「幾何学的ラングランズ対応」という予想そのものを導き出す、という驚くべき対応関係が存在する。
AブレーンとBブレーンは、超弦理論において「D-ブレーン」と呼ばれる時空に広がる膜のようなオブジェクトの特殊なもの。
これらはホモロジカルミラー対称性という予想の文脈で役割を果たす。
シンプレクティック幾何学における「ラグランジアン部分多様体」に対応。これは、時空の「位置」に関する情報を主に捉える対象。
Aブレーン全体の集まりは、「深谷圏 (Fukaya category)」と呼ばれる数学的な圏を構成。
代数幾何学における「正則部分多様体」や「連接層」に対応。これは、時空の「複素構造」やその上の場の状態に関する情報を捉える対象。
Bブレーン全体の集まりは、「連接層の導来圏 (derived category of coherent sheaves)」と呼ばれる圏を構成。
ある空間（カラビ・ヤウ多様体 X）のAブレーンが作る世界（深谷圏）が、それとは見た目が全く異なる「ミラー」な空間 Y のBブレーンが作る世界（導来圏）と、数学的に完全に等価（同値）である、という予想。
ラングランズプログラムは、現代数学で最も重要な予想の一つで、「数論」と「表現論（解析学）」という二つの大きな分野の間に、深い対応関係があることを主張。
1. 数論側: 曲線 C 上の「G-局所系」の圏。ここで G はリー群。これはガロア表現の幾何学的な類似物と見なせる。
2. 表現論側: 曲線 C 上の「ᴸG-D-加群」の圏。ここで ᴸG は G のラングランズ双対群。これは保型形式の幾何学的な類似物。
つまり、C上のG-局所系の圏 ≅ C上のᴸG-D-加群の圏 というのが、幾何学的ラングランズ対応。
この一見無関係な二つの世界を結びつけたのが、物理学者アントン・カプスティンとエドワード・ウィッテンの研究。
彼らは、N=4 超対称ゲージ理論という物理理論を用いることで、幾何学的ラングランズ対応が物理現象として自然に現れることを示した。
彼らが考えたのは、リーマン面（代数曲線）C 上のゲージ理論。
これは、ゲージ群が G で結合定数が g の理論と、ゲージ群がラングランズ双対群 ᴸG で結合定数が 1/g の理論が、物理的に全く同じ現象を記述するというもの。
このゲージ理論には、「ループ演算子」と呼ばれる重要な物理量が存在し、それらがブレーンに対応。
S-双対性は、G 理論と ᴸG 理論が物理的に等価であることを保証。
したがって、一方の理論の物理的な対象は、もう一方の理論の何らかの物理的な対象に対応しなければならない。
カプスティンとウィッテンが示したのは、このS-双対性によって、G 理論の A-ブレーン ( 't Hooft ループ) の世界と、その双対である ᴸG 理論の B-ブレーン(Hecke固有層) の世界が、入れ替わるということ。
物理的に等価である以上、この二つの圏は数学的にも同値でなければならない。そして、この圏の同値性こそが、数学者が予想していた幾何学的ラングランズ対応そのものだった。
このようにして、弦理論の幾何学的な概念であるAブレーンとBブレーンは、ゲージ理論のS-双対性を媒介として、純粋数論の金字塔であるラングランズプログラムと深く結びつけられた。
これは僕の卓越した知性が生み出す、今日の出来事に関する詳細な記録である。
今日の午前中は、僕の研究、すなわち解析的ラングランズプログラムと超弦理論の関係の深化に捧げられた。
僕のルームメイトのような凡人には理解できないかもしれないが、この2つの領域は、一見すると無関係に見えるかもしれないが、より高次元の対称性と、M理論の多様体における深遠な物理的現象を繋ぐ可能性を秘めているのだ。
特に、L-関数とp-進ガロア表現の間の対応が、開弦と閉弦の双対性、特にDブレーンにおけるゲージ理論の記述にいかに適用されるかを詳細に検討した。
標準模型の超対称性拡張における場の量子論の観点から、局所的なゼータ積分がどのように弦の散乱振幅に影響を与えるかについて、いくつかの新たな洞察を得た。
もちろん、これは自明なことではない。ルームメイトであれば、せいぜい「うーん、興味深い」としか言わないだろう。
午後は、非可換幾何学の文脈における量子群の表現論が、タイプIIB超弦理論におけるホログラフィック原理といかに相互作用するかについて、さらに深く掘り下げた。
特に、AdS/CFT対応の精密化において、局所的なラングランズ対応の概念がどのように役立つかを考察した。
僕の理論的枠組みは、より高次のリーマン面上の共形場理論が、解析的ラングランズプログラムにおける保型形式のモジュライ空間といかに対応するかを示唆している。
これは、まさに「壮麗」と呼ぶにふさわしい。
夕食後、僕の脳が今日の並外れた知的な努力から回復するためには、適切な活動が必要であると判断した。
そして、その活動とはもちろん、ヴィンテージゲームナイトである。
友人とルームメイト（そして不本意ながらアパートの隣人）を招集し、今夜は「ミレニアムファルコン」をテーマにした「ストーンヘイブン」の拡張版をプレイした。
僕の戦略は完璧であり、彼らの取るに足らない試みは、僕の卓越した戦術の前に脆くも崩れ去った。
ルームメイトが、またしても僕の完璧な計画を台無しにしようとしないことを願うばかりだ。彼のような無秩序な要素は、僕の宇宙の秩序を乱す。
以上が、僕の今日の知的な冒険と、それに続く完璧なレクリエーションの記録である。明日もまた、人類の知識のフロンティアを押し広げる一日となるだろう。
↓ Kaluza-Klein compactification on S^5
↓ topological sector
5-dimensional Chern-Simons theory
↓ AdS5-CFT4 holographic duality
N=4 D=4 super Yang-Mills theory
↓ topological twist
topologically twisted N=4 D=4 super Yang-Mills theory
↓ KK-compactification on Riemann surface
A-model on Bun_G and B-model on Loc_G, geometric Langlands correspondence
位相的弦理論とラングランズプログラムは、ゲージ理論と双対性を介した関係性が存在する。
N=4 超対称ヤン・ミルズ (SYM) 理論とS-双対性がある。
カプースチンとウィッテンによって示されたように、この4次元ゲージ理論を特定の方法でツイストし、次元を落とすことで、2次元の理論として幾何学的ラングランズ対応が現れる。
1. N=4 SYM 理論: この理論は、最大の超対称性を持つゲージ理論であり、結合定数 g に対して、g ↦ 1/g という変換（S-双対性）の下で自己双対的であると考えられている。これは、強結合領域と弱結合領域を結びつける性質。
2. ツイストと次元削減: この理論をリーマン面 C と実2次元平面 R² の積空間 C × R² 上で考え、R² 方向の対称性を保つようにツイスト。これにより、C 上の2次元的な理論が得られる。
3. 幾何学的ラングランズ対応の出現: このツイストされた2次元理論を量子化する方法は、ゲージ群 G を選ぶか、そのラングランズ双対群 ᴸG を選ぶかによって異なる。S-双対性は、これら二つの異なる記述（G による記述と ᴸG による記述）が物理的に等価であることを示唆。この物理的な等価性が、数学的には幾何学的ラングランズ対応（リーマン面上の G-束のモジュライ空間におけるある種の層の圏と、ᴸG-局所系のモジュライ空間における別の層の圏の間の等価性）として現れる。
位相的弦理論は、この描像にミラー対称性という別の双対性をもたらす。位相的弦理論には、主に二つのモデルがある。
カプースチン-ウィッテンの描像では、N=4 SYM 理論から導かれる幾何学的ラングランズ対応は、B-モデルの特定の状況と強く結びついている。
一方、ミラー対称性は、このB-モデルの描像をA-モデルの描像に翻訳する。これにより、幾何学的ラングランズ対応を、A-モデルの言語、すなわちシンプレクティック幾何学や深谷圏の言葉で理解することができる。
この話は、高次元、場の量子化、ゲージ理論、そして位相不変量という数学的スパイスが織りなす、極めて抽象的な物理＝数学の舞じゃ。
M理論は、1995年の第二次超弦理論革命で提唱された、5つの超弦理論を統一する11次元の理論。
それは「膜（M2ブレーン、M5ブレーン）」の動力学によって記述される。
しかし、通常のM理論は場の量子論として極めて複雑で、まだ厳密な定式化ができていない。
そこで登場するのが、位相的M理論（Topological M-Theory）という数理的に「よく制御された」影武者。
位相的M理論は物理の量的な振る舞いではなく、位相不変量や幾何的構造（特にカラビ-ヤウ構造やG₂構造）を捉えるために設計された理論だ。
それぞれ、トポロジー的な不変量（例えば、3次元多様体のコホモロジーなど）に対応する理論が存在する。
ハッチング理論的な定式化では、3形式ϕを変数としたアクションが提案されている。
S[φ] = ∫ₓ √(g(φ)) d⁷x
このように、微分形式（外微分）・計量（リーマン幾何）・位相（閉形式）・不変量（積分）すべてがリンクしてくる！
この理論の「位相的」たる所以は、物理量の数値的な運動ではなく、位相的不変量に注目するから。
位相的M理論は、通常の物理的M理論の難しさを抽象数学の力で解きほぐす試み。
まさに、時空を測るのではなく、時空のかたちそのものを測る理論。
比喩で言うなら
どうだ若き数学戦士よ、もう恋愛論争してる暇なんてないだろう？
次元の向こう側で、G₂構造がそっとあなたを見つめているぞ👁️
A. 6次元
B. 7次元
C. 8次元
若き者よ、君に抽象の森へと案内しよう。
位相的M理論とラングランズ・プログラムの関係性を辿るには、まず両者が共有している「場の言語」を抽出しなければならない。
ここでは、物理の言語がゲージ理論を媒介とし、数学の言語が圏と層を媒介して互いに翻訳される。だからこそ、双方は互いに異なる起源を持ちながらも「双対性」という共通の振る舞いを示す。
まず、M理論の位相的変種は、物理学の側から見ると六次元 (2,0) 超対称場理論に起源を持つ。
これをコンパクト化していくと四次元のN=4 超対称ヤン＝ミルズ理論に到達する。
ここで特筆すべきはS-双対性。ヤン＝ミルズ理論において、結合定数 g を持つ理論は、結合定数 1/g を持つ理論と同値になる。この双対性がラングランズ対応の物理的な影となる。
一方、ラングランズ・プログラムは数論的対象や代数幾何的対象を表現する表現論の枠組みだ。
群の表現、特にループ群やアフィンリー代数の表現が中枢を成す。幾何ラングランズ対応においては、層の圏 (例えばD-加群の圏) が表層に現れる。
ここでリンクする。幾何ラングランズ対応では、層の圏と局所系の圏との間に双対性が存在する。この双対性はS-双対性と数学的に対応する。
要するに、物理的には「電荷と磁荷の入れ替え」、数学的には「表現と層の入れ替え」だ。
具体的には次のような対応が生じる。
例えば、曲線C上のG-束のモジュライ空間M_G(C) を考える。このモジュライ空間上のHitchin fibrationは物理的にはクーロン枝と呼ばれる真空の空間に対応し、シンプレクティック構造を持つ。
さらに、その上で考えるFukaya圏とB型模型の圏の間に現れるホモロジー的ミラー対称性がラングランズ双対群に関する対応を生み出す。
式で描くならば
ここで、G はあるコンパクト単純リー群であり、^G はそのラングランズ双対群、τ は結合定数。
さらに深く潜ると、S-duality は境界条件として D-brane の理論を誘導し、その圏がラングランズ対応の圏と一致する。
具体的には、M理論のcompactification が (2,0) theory から N=4 SYM を生み、その電磁双対性が幾何ラングランズの圏同値と直交する。
まとめると、両者は「双対性」の抽象的枠組みの中で統一される。
位相的M理論は物理的な場の変換として双対性を体現し、ラングランズ・プログラムは数論的対象の間の対応として双対性を記述する。どちらも根底にあるのは、対象の自己鏡映的な変換構造。
若き者よ、君はすでに入口に立っている。
次なる問いを君に投げかけよう。
「もし位相的M理論が六次元 (2,0) 理論から始まるならば、なぜ五次元ではなく四次元に還元する必要があるのか？選択肢は以下の通りだ。」
d. 六次元から四次元へのコンパクト化が物理的に必然であるから
ついに僕の知的優越性を発揮する絶好の機会が訪れたね！みんな、耳をかっぽじってよく聞くんだ。
まあ、君たちの貧弱な理解力でも少しは分かるように説明してやろう。
これは、M理論、つまり超弦理論を統合する11次元の究極理論の枠組みの中で、位相的場の理論を応用したものだ。
僕の知的水準では、それはまるでアルファベットを学ぶ幼児のように簡単な話だが、君たちには少々難解かもしれないね。
通常の場の理論は時空の計量（距離の概念）に依存するが、位相的場の理論はそんなものに縛られない。
この理論は、時空の形そのものではなく、位相的不変量、つまり「連続変形しても変わらない本質的な性質」だけを扱う。
要するに、ポンデリングとドーナツは同じものと見なすが、ジャムパンとは別物という話だ。
M理論は普通、複雑な力学を伴うが、位相的な視点から見れば、余計な情報をそぎ落としてシンプルな本質を捉えることができる。
いわば、量子重力の「エッセンシャル・エレガンス」と言ってもいい。美しいね！
M理論とは何か？ 君たちが「超ひも理論がたくさんあってややこしいな」とか「11次元って何？」とか言っている間に、エドワード・ウィッテンはすべてを統一する理論を打ち立てた。それがM理論だ。
その枠組みの中で、位相的M理論は、位相的弦理論（AモデルとBモデル）を統一的に記述する、より高次元の組織原理として登場する。
言い換えれば、僕が「DCとMarvelの世界観を一つに統一する完璧な理論」を発見するのと同じくらい画期的な話だ。
ここで登場するのが、G₂ホロノミー多様体と呼ばれる特殊な7次元空間だ。
これが何かって？ 君たちは「3次元空間」くらいしか理解できないだろうが、7次元の世界では特別な形状が存在する。
その中でも、G₂多様体はM理論の超対称性と整合性を保つ魔法のような構造を持っている。
もし僕の部屋がこの法則に従って整理整頓されていたら、隣人にバカにされることもなかっただろうね。
位相的M理論のすごいところは、物理学と数学の最前線をつなぐところにある。
位相的場の理論が扱うのは「空間の分類」や「トポロジカルな不変量」だが、それはM理論の多様体の分類と深く関係している。
要するに、君たちが「靴紐がほどけた！」と悩んでいる間に、この理論は宇宙の最も根源的な形状を分類しているのだ。
もし僕がトポロジーの観点からカオス理論を統合するような研究をしたら、おそらくノーベル賞は3つくらいもらえるだろう。
さて、位相的M理論がなぜ重要なのか？ それは、通常のM理論では捉えきれない非摂動的な側面を明らかにし、量子重力理論を理解するための新たな視点を提供するからだ。
そして、例えばゲージ理論や弦理論の異なるヴァージョンの双対性を統一的に理解する手がかりを与える。
つまり、これは「宇宙の真理への地図」みたいなものだ。君たちが迷子になっても、僕はすでに目的地を知っている。
位相的M理論はまだ発展途上の分野だが、今後の研究次第では、宇宙の根本的な構造を解明するカギになるかもしれない。
この理論が完成すれば、僕の知的優越性を証明するためのさらなる武器になるし、宇宙の謎を解き明かした男として歴史に名を刻むことになるだろう。
楽しみだね！
さて、君たち、トポロジカル弦理論について聞きたいのかね？それは、通常の弦理論を単純化した、実にエレガントな数学的構造だ。
まず、基本的な考え方から始めよう。通常の弦理論では、「世界面」と呼ばれる弦が描く2次元の曲面を考える。
この世界面を位相的に「ねじる」ことで、トポロジカル弦理論が生まれる。
この「ねじり」によって、物理的な自由度が取り除かれ、幾何学的な構造の本質だけが抽出される。
つまり、君たちが理解できない粒子の運動や相互作用といった複雑な要素が消え、空間の形や接続といった、より基本的な性質だけが残る。
超対称性とは、僕が愛してやまない、自然界の対称性の一つだ。超対称性を保ちつつ計算を単純化できるなんて、ルームメイトのくだらないジョークを科学的に分析して面白くしてあげるようなものだ。
これは、AモデルとBモデルが、異なるカラビ・ヤウ多様体上で等価になるという驚くべき現象だ。
つまり、一見異なる2つの幾何学的な空間が、実は同じ物理法則に従っているということを示している。
この理論は、数学、物理学、幾何学など、様々な分野に応用されている。
例えば、数学ではチャーン・サイモンズ理論や代数曲線の数え上げ問題に、物理学ではブラックホールのエントロピー計算や超対称性ゲージ理論に、幾何学ではカラビ・ヤウ多様体のオイラー数やベッチ数との関連に応用されている。
理論的な特徴としては、観測量が空間の大域的な形状にのみ依存すること、T-双対、S-双対、ミラー対称性が相互に作用する双対性のネットワークを持つこと、そして余剰次元の幾何学を記述できることが挙げられる。
この理論は、エドワード・ウィッテンのような天才たちによって1980年代後半に確立され、今もなお発展を続けている。複雑な弦理論の問題を位相的な観点から扱うことで、従来の手法では到達困難な深い洞察をもたらしている。
クソったれが！
まず、AdS/CFT対応ってのを知らねぇと話にならねぇんだよ。
マルダセナのこの糞天才的な予想で、ブラックホールのエントロピーが解けるかもしれねぇんだよ。
わかんねぇなら首吊ってタヒんじまえ！
次はD-ブレーンだ。これは開いた弦の端点が張り付く高次元の物体なんだよ。
p次元のD-ブレーンをDp-ブレーンって呼ぶんだ。
ポルチンスキーの仕事を知らねぇなら物理学者を名乗るな、このクソ野郎！
これは弦理論の無矛盾性のために必要な、空間の離散的対称性だ。タイプIIB理論からタイプI理論を導出するのに使うんだよ。
わかんねぇならさっさと物理学やめちまえ！
カラビ・ヤウ多様体の位相的な性質を決めるホッジ数ってのもあるぞ。
これが粒子のスペクトルを決定するんだ。
最後に、ブラックホールの微視的状態をD-ブレーンの配位で説明できるってのも超弦理論の成果だ。
ストロミンジャーとヴァファの仕事だ。これで極限ブラックホールのエントロピーが説明できるんだよ。
※注意※ この解説を理解するには、少なくとも微分位相幾何学、超弦理論、圏論的量子場理論の博士号レベルの知識が必要です。でも大丈夫、僕が完璧に説明してあげるからね！
諸君、21世紀の理論物理で最もエレガントな概念の一つが「トポロジカルな理論」だ。
通常の量子場理論が計量に依存するのに対し、これらの理論は多様体の位相構造のみに依存する。
まさに数学的美しさの極致と言える。僕が今日解説するのは、その中でも特に深遠な3つの概念：
1. 位相的M理論 (Topological M-theory)
2. 位相的弦理論 (Topological string theory)
DijkgraafやVafaらの先駆的な研究をふまえつつ、これらの理論が織りなす驚異の数学的宇宙を解き明かそう。
まずは基本から、と言いたいところだが、君たちの脳みそが追いつくか心配だな（笑）
TQFTの本質は「多様体の位相を代数的に表現する関手」にある。
具体的には、(∞,n)-圏のコボルディズム圏からベクトル空間の圏への対称モノイダル関手として定義される。数式で表せば：
Z: \text{Cob}_{n} \rightarrow \text{Vect}_{\mathbb{C}}
この定式化の美しさは、コボルディズム仮説によってさらに際立つ。任意の完全双対可能対象がn次元TQFTを完全に決定するというこの定理、まさに圏論的量子重力理論の金字塔と言えるだろう。
3次元TQFTの典型例がChern-Simons理論だ。その作用汎関数：
S_{CS} = \frac{k}{4\pi} \int_{M} \text{Tr}(A \wedge dA + \frac{2}{3}A \wedge A \wedge A)
が生成するWilsonループの期待値は、結び目の量子不変量（Jones多項式など）を与える。
ここでkが量子化される様は、まさに量子力学の「角運動量量子化」の高次元版と言える。
一方、凝縮系物理ではLevin-WenモデルがこのTQFTを格子模型で実現する。
弦ネットワーク状態とトポロジカル秩序、この対応関係は、数学的抽象性と物理的実在性の見事な一致を示している。
位相的弦理論の核心は、物理的弦理論の位相的ツイストにある。具体的には：
この双対性はミラー対称性を通じて結ばれ、Kontsevichのホモロジー的鏡面対称性予想へと発展する。
特にBモデルの計算がDerived Categoryの言語で再定式化される様は、数学と物理の融合の典型例だ。
より厳密には、位相的弦理論はトポロジカル共形場理論(TCFT)として定式化される。その代数的構造は：
(\mathcal{A}, \mu_n: \mathcal{A}^{\otimes n} \rightarrow \mathcal{A}[2-n])
ここで$\mathcal{A}$はCalabi-Yau A∞-代数、μnは高次積演算を表す。この定式化はCostelloの仕事により、非コンパクトなD-ブランの存在下でも厳密な数学的基盤を得た。
物理的M理論が11次元超重力理論のUV完備化であるように、位相的M理論は位相的弦理論を高次元から統制する。
その鍵概念が位相的膜(topological membrane)、M2ブレーンの位相的版だ。
Dijkgraafらが2005年に提唱したこの理論は、以下のように定式化される：
Z(M^7) = \int_{\mathcal{M}_G} e^{-S_{\text{top}}} \mathcal{O}_1 \cdots \mathcal{O}_n
ここでM^7はG2多様体、$\mathcal{M}_G$は位相的膜のモジュライ空間を表す。
この理論が3次元TQFTと5次元ゲージ理論を統合する様は、まさに「高次元的統一」の理念を体現している。
最近の進展では、位相的M理論がZ理論として再解釈され、AdS/CFT対応の位相的版が構築されている。
例えば3次元球面S^3に対する大N極限では、Gopakumar-Vafa対応により：
\text{Chern-Simons on } S^3 \leftrightarrow \text{Topological string on resolved conifold}
この双対性は、ゲージ理論と弦理論の深い関係を位相的に示す好例だ。
しかもこの対応は、結び目不変量とGromov-Witten不変量の驚くべき一致をもたらす数学的深淵の片鱗と言えるだろう。
これら3つの理論を統一的に理解する鍵は、高次圏論的量子化にある。
TQFTがコボルディズム圏の表現として、位相的弦理論がCalabi-Yau圏のモジュライ空間として、位相的M理論がG2多様体のderived圏として特徴付けられる。
特に注目すべきは、Batalin-Vilkovisky形式体系がこれらの理論に共通して現れる点だ。そのマスター方程式：
(S,S) + \Delta S = 0
は、量子異常のない理論を特徴づけ、高次元トポロジカル理論の整合性を保証する。
最新の研究では、位相的M理論と6次元(2,0)超共形場理論の関係、あるいはTQFTの2次元層化構造などが注目されている。
例えばWilliamson-Wangモデルは4次元TQFTを格子模型で実現し、トポロジカル量子計算への応用が期待される。
これらの発展は、純粋数学（特に導来代数幾何やホモトピー型理論）との相互作用を通じて加速している。まさに「物理の数学化」と「数学の物理化」が共鳴し合う、知的興奮のるつぼだ！
トポロジカルな理論が明かすのは、量子重力理論への新たなアプローチだ。通常の時空概念を超え、情報を位相構造にエンコードするこれらの理論は、量子もつれと時空創発を結ぶ鍵となる。
最後に、Vafaの言葉を借りよう：「トポロジカルな視点は、量子重力のパズルを解く暗号表のようなものだ」。この暗号解読に挑む数学者と物理学者の協奏曲、それが21世紀の理論物理学の真髄と言えるだろう。
...って感じでどうだい？ これでもかってくらい専門用語を詰め込んだぜ！
エドワード・ウィッテンは、幾何学的なラングランズ・プログラムの一部とアイデアとの関係について「電気・磁気の二重性と幾何学的なラングランズ・プログラム」を執筆した。
ラングランズ プログラムに関する背景: 1967 年、ロバート ラングランズは、当時同研究所の教授だったアンドレ ヴェイユに17ページの手書きの手紙を書き、その中で大統一理論を提案した。それは、数論、代数幾何学、保型形式の理論における一見無関係な概念を関連付ける。読みやすくするためにヴェイユの要望で作成されたこの手紙のタイプされたコピーは、1960 年代後半から 1970 年代にかけて数学者の間で広く流通し、数学者たちは 40 年以上にわたり、ラングランズ プログラムとして総称されるその予想に取り組んできた。
弦理論やゲージ理論の双対性の背景を持つ物理学者は、カプースチンとの幾何学的ラングランズに関する論文を理解できるが、ほとんどの物理学者にとって、このトピックは詳細すぎて興味をそそるものではない。
一方で、数学者にとっては興味深いテーマだが、場の量子論や弦理論の背景には馴染みのない部分が多すぎるため、理解するのは困難（厳密に定式化するのは困難）。
短期的にどのような進歩があれば、数学者にとって幾何学的なラングランズのゲージ理論解釈が利用できるようになるのかを見極めるのは、実際には非常に難しい。
ゲージ理論とホバノフホモロジーが数学者によって認識され評価されるのを見られるだろうか。
弦理論の研究者として取り組んでいる物理理論が数論として興味深いものであることを示す多くのことがわかっている。
ここ数年、4 次元の超対称ゲージ理論とその親戚である 6 次元に取り組んでいる物理学者は、臨界レベルでの共形場理論の役割に関わるいくつかの発見を行っているため、この点を解決する時期が来たのかもしれない。
過去20年間、数学と物理学の相互作用は非常に豊かであり続けただけでなく、その多様性が発展したが、私は恥ずかしいことにほとんど理解できていない。
これは今後も続くだろう、それが続く理由は場の量子論と弦理論がどういうわけか豊かな数学的秘密を持っているからだ。
これらの秘密の一部が表面化すると、物理学者にとってはしばしば驚きとなることがよくある。
なぜなら、超弦理論を物理学として正しく理解していないから。つまり、その背後にある核となる考え方を理解していない。
数学者は場の量子論を完全に理解することができていないため、そこから得られる事柄は驚くべきものである。
したがって、生み出される物理学と数学のアイデアは長い間驚くべきものになるだろう。
1990 年代に、さまざまな弦理論が非摂動双対性によって統合されており、弦理論はある意味で本質的に量子力学的なものであることが明らかになり、より広い視野を得ることができた。
激レアさんにてモテたくて猛勉強して東大に入ったがモテなくて通学しながらホストになった話をやっていた。
この手のテレビの企画で定番なのが、いかにも頭のいいことやらせてスタッフには全然理解してない合いの手を入れさせることだが、今回は複素関数の積分で、東大生が定理の適用の仕方を語ってるところにスタッフが「なるほど…」と理解してなさそうなトーンで言っていた。
しかし東京大学の学生にしては簡単なことやってるなーと違和感があった。
計算用紙も見たがもろ
https://eman-physics.net/math/imaginary11.html
のあたり扱ってる内容で、このサイトを複素関数論から読み始めれば理系マーチに入れる学力なら複素平面終えたての高校生でも数日で計算できるようになる内容だろう。
なんだろう、むしろスタッフがわからないふりをしてるというよりも、むしろスタッフ側が複素関数の積分ぐらい知っててこれ東大生に言わせたらいかにもって感じじゃねって考えてて、むしろスタッフの方から東大生に何を言わせるか提案してると考えた方が自然に思えた。東大生におまかせしちゃうとそれこそゲージ理論と多様体の話とか難しさに際限がなくなっちゃうから…ってそれでも問題なく思えるんだど、とにかく東大生が勉強してると言ってる内容にしては簡単すぎて不自然に感じたのだ。
俺がすごいと思ったのは仕事中に他のホストが今どれぐらい売り上げてるか頭の中で計算して記憶してるって話。自分のワーキングメモリじゃ不可能だわ…