  |
はてなキーワード: コホモロジーとは
今日も僕は、宇宙の根源的真理を解き明かすという、誰にも真似できない崇高な知的冒険を、さらに一歩、否、十歩前進させた。
控えめに言って、この惑星上で僕ほど本質的な貢献をしている人間は存在しない。
午前中は、昨日完成させた1-パラメータ自己同型群 Φₜ と情報欠損射 Δ を土台として、圏論的枠組みの完全量子化に着手した。
具体的には、小圏 𝒞 を braided monoidal category に昇格させ、各 causal diamond の対象に量子群 𝒰_q(su(2,1)) の作用を自然に組み込んだ。
これにより、de Sitter 地平線の量子ゆらぎを、braiding operator σ_{D,D'} として厳密にエンコードすることに成功した。
ここで決定的だったのは、braided 構造と昨日定義したエントロピー関手 S の可換性を証明した点である。
新しい量子化された情報欠損射 Δ_q を導入し、その作用下でのモジュラー・ハミルトニアン H_mod を定義した結果、任意のダイヤモンド D に対して以下の高次微分不等式が、圏の rigidity と ribbon 構造から純粋に導出された。
d³S(Φₜ ∘ Δ_q(D)) / dt³ + κ ・ Tr(σ_{D,D'} ・ H_mod) ≥ 0
ここで κ は de Sitter 曲率パラメータであり、この三階微分は単なるエントロピー増加の加速ではなく、量子情報損失のjerk（加加速度）を規定する新たな普遍法則である。
古典的 Φₜ では到底到達し得なかったこの高階不等式は、ウィッテンやマルダセナが生涯かけても到達し得ない領域を、僕が一瞬で切り開いたことを意味する。
さらに、ダイヤモンドの貼り合わせを一般化するため、昨日 の Δ を基に高次 pushout 構成を定義した。
具体的には、射の合成に量子情報希薄化 2-射 Λ⁽²⁾を導入し、2-圏レベルでの coherence diagram を完全に閉じた。
これにより、隣接ダイヤモンドの境界面積が重なる領域で生じるエントロピー過剰を、面積法則の三次の補正項 β ≈ 0.00314（プランク面積単位）として自然に吸収できるようになった。
驚くべきことに、この Λ⁽²⁾ の Drinfeld double 解析から、Bekenstein-Hawking エントロピーの1/4係数に対する完全量子補正が、以下の厳密な閉形式として導出された。
S_BH = A/4 + α(A¹/²/4) + β(log A / 4) + γ + O(A⁻¹/²)
ここで α ≈ 0.0127、β ≈ 0.00314、γ はトポロジカル不変量であり、これらはすべて圏の universal property と量子群の representation theory から、外部双対や AdS/CFT に一切依存せずに純粋内部構造のみから出てきた。
これは de Sitter 空間におけるホログラフィック原理の、第三世代とも呼ぶべき完全量子版である。
加えて、今日の最大の成果は、圏の対象を量子化された面積スペクトル上に完全に再定義した点にある。
昨日残っていた離散化スケールのシフト問題を、𝒰_q(su(2,1)) の q-deformation パラメータ q = exp(2πi / (k+2))（ここで k は Chern-Simons レベル）を用いて吸収し、有限次元 Hilbert 空間の次元を境界面積から厳密に決定する公式を導出した。
これにより、連続時空仮定を完全に排除し、de Sitter 空間の本質が有限情報ビットから織りなされる動的 braided 圏論ネットワークであることを、数学的に証明したと言ってよい。
僕の暫定結論は、もはや暫定ではなく、ほぼ公理的レベルに達した。
滑らかな多様体構造などという古典的幻想は、低エネルギー有効理論の残滓に過ぎず、宇宙の真の基底は量子情報構造の braided monoidal 圏である。
午後はこの革新的な計算結果を、昨日よりさらに厳密に清書した特殊青ノートに書き写しながら昼食をとった。メニューはもちろん昨日と同じものだ。
ルームメイトは小さく舌打ちしたが、僕は即座に指摘した。
「再現性こそが科学の基盤であり、味覚という原始的な感覚器官の気まぐれに理論を左右されるほど、僕は未熟ではない。」
僕は「3回を3セット、計9回、かつ強さは一定」という厳格ルールを設定しているにもかかわらず、彼女は今回5回という不規則な回数で止めた上、強さを徐々に弱くしてきた。
これは明らかなプロトコル違反の戦略的エスカレーションである。僕はインターホン越しに単一チャネル原則を三度繰り返したが、彼女の認知構造では到底理解不能だったようだ。
夕方、友人Aは「その量子情報希薄化2-射って、多次元泡宇宙の衝突エントロピーにそのまま適用できるんじゃないか？」と工学的直感を述べた。
方向性としては悪くない。僕は「一応、拡張可能性をメモしておく」とだけ認めてやった。
友人Bは「全部情報なら重力もエントロピー勾配の単なる影だろ」と言い切ったが、それは相変わらず素朴還元主義の典型的な誤謬である。
ただし、「観測不可能な余剰構造を無制限に持ち込まない」という一点だけは、部分的に正しいと渋々認めてやる。
これからやることは明確だ。
まず明日の07:30までに、4+1次元量子トイモデル（完全 braided 圏で近似した de Sitter）において、この新構成の完全数値検証を完了させる。
三階微分不等式の厳密単調性、量子補正項 α・β・γ の高精度再現、ならびに面積スペクトルの厳密離散化が確認できなければ、すべてを白紙に戻す。
その後、2-圏の導来2-圏を用いて量子情報希薄化2-射 Λ⁽²⁾ の完全コホモロジー解析を進め、β係数の閉形式解析的導出を完成させる。
これが成功すれば、de Sitter における幾何は量子情報の二次的・三次的帰結に過ぎないという主張は、完全に公理的レベルに到達する。
以上。
p進弦理論、僕の天才的な脳みそにぴったりの、弦理論の非アルキメデス的変種だね。
君のような凡人が理解できるように、幼児から廃人まで5段階で説明してあげよう。
宇宙の小さなものは、普通は点じゃなくて弦みたいな細いゴム紐が振動してるんだよ。
でもp進弦理論は、その紐をp進という魔法の数字のおもちゃ箱の中で遊ばせるんだ。
普通の数字は「1、2、3…」と遠くなるけど、p進の世界では「2の倍数がいっぱい近づく」みたいな、変な距離の測り方をするよ。
まるでお気に入りのブロックを、特別なルールで積み上げるだけ！
簡単すぎて退屈だろ？ 宇宙の秘密がこんなおもちゃで解けるなんて、幼児でも笑えるほど天才的だ。
君たちはまだ量子力学と一般相対性理論の入門を終えたばかりだろう？
弦理論の基本は知っているはずだ。基本粒子は点ではなく、1次元の弦の振動モードで、時空は通常実数 R や複素数で記述される。
ベネチアーノ振幅のような散乱振幅は、世界シートの境界を積分して計算する。
p進弦理論（Volovichが1987年に提案したもの）は、これをp進数体 Q_p に置き換える。
p進数とは、素数pに関するp進ノルム |x|_p = p^-v_p(x) で完備化した非アルキメデス的距離の世界だ。
距離の三角不等式が超距離的（ultrametric）になるため、計算が劇的に単純化される。
A_p(a,b) = g_p² ∫[Q_p] |x|_p^(a-1) |1-x|_p^(b-1) dx
で定義し、結果は
A_p(a,b) = g_p² { (1 - p^(a-1)) / (1 - p^-a) } { (1 - p^(b-1)) / (1 - p^-b) } { (1 - p^(c-1)) / (1 - p^-c) }
（ただし a+b+c=1）
という閉じた形になる。明らかに、普通の弦理論より扱いやすい玩具モデルだ。君たちにはちょうどいい難易度だろう。
p進弦理論の核心は、アデリック構造にある。実数（∞）での通常ベネチアーノ振幅 A_∞(a,b) と、全素数pでのp進振幅の積が
A_∞(a,b) Π_p A_p(a,b) = 1
という美しい積公式を満たす（Freund-Witten 1987）。これにより、p進版はツリーレベルでexactに solvable になる。
開弦タキオンの有効作用は、Dragovichらにより完全に導出済みで、非局所的なラグランジアン
L_p = { (m^D p) / g_p² } { p² / (p-1) } [ -1/2 φ p^(-□/2m²) φ + (1 / (p+1)) φ^(p+1) ]
（□はダランベルシアン）
となる。この作用は、4点だけでなく全高次ツリー振幅を正確に再現する。
p進の超距離性のおかげで紫外発散が自然に抑えられ、タキオン凝縮の解析が解析的・厳密に可能だ。
普通の弦理論の近似計算では到底及ばない。君の論文に使えるぞ、当然ながら。
1987年のVolovich論文「p-adic string」で始まり、Vladimirov, Freund, Witten, Aref’eva, Dragovichらにより体系化された。
p進弦は、Planckスケール以下の非アルキメデス幾何を仮定したモデルで、世界シートをp進幾何に置き換える。
有効作用の厳密性は特に強力で、Ghoshal (2000) らはこれをタキオン凝縮とブレーン降下関係の明示的実現に用いた。
p→1極限では通常弦の世界シートを格子離散化する解釈さえ可能（Ghoshal 2006）。AdS/CFT対応のp進版（p-adic holography）への橋渡しも近年活発だ。
計算の簡明さは比類なく、動的タキオン真空のエネルギーゼロ解が解析的に求まる。
弦場理論の玩具モデルとして、Schnablらの解法やMoellerの仕事に直接インスパイアを与えた。
君が引用すべき文献は、Dragovichのレビュー「p-Adic mathematical physics: the first 30 years」だ。僕の知る限り、これ以上の精密さはない。
motivic theoryとのつながりで、世界シートを Q 上の代数多様体として扱い、L関数やRamanujan予想（τ(p)の境界）まで絡む。
Volovichのmotivic弦理論では、分配関数がL関数のMellin逆変換として表され、背景独立かつ連続体フリーになる。
p進量子力学（Vladimirov 1989）との融合で、超距離的時空がPlanckスケール以下の真の幾何だと仮定すれば、ブラックホール生成による測量限界（Δx > ℓ_Planck）が自然に導かれる。
p→∞極限で通常弦に収束するだけでなく、p-adic AdS/CFT（Gubserら）では階層的構造がエントロピー計算に直結する。
閉弦版の厳密作用はまだ完全ではない。p-adicコホモロジーやGalois群との深層対応は、弦理論の究極の物理理論として、数論的宇宙論全体を再定義する可能性を秘めている。
これを理解できるのは、世界に僕と君くらいだ。明らかに、p進弦理論は人類の知性の頂点、そして、僕の脳みそがすでに到達済みの領域だ。
僕は予定通り9:00に起床した。アラームは1秒の誤差もなく止めた。これは重要だ。時間に対する境界条件が曖昧だと、思考の位相も曖昧になるからだ。
朝食はシリアルと牛乳を厳密に2:1で混合した。ルームメイトはまたその比率を無視していたが、彼は統計的揺らぎの中でしか生きられない人間なので仕方ない。
今週の進捗から書く。
通常、量子場理論の経路積分はファインマン図の総和として解釈されるが、それは単なるグラフの和だ。
しかし超弦理論では、これが1次元世界線から2次元世界面へと拡張される。
この時点で既に、対象は集合論的ではなく高次圏論的な構造に移行している。弦理論はQFTの摂動展開の一種の圏化に近い。
ここで僕がやっているのは、その世界面のモジュライ空間を単なる幾何として扱うのではなく、∞-トポスの中での層として再解釈することだ。
すると、弦の散乱振幅は数値ではなく、ある種のスペクトル値関手になる。つまり振幅＝数という古典的理解は崩壊し、振幅＝安定ホモトピー圏における対象になる。
この視点から見ると、双対性は単なる物理的同値ではなく、圏の同値になる。
例えばミラー対称性は、異なるカラビ–ヤウ多様体が同じ物理を与えるという話だが、僕の理解ではそれは導来圏の同値に留まらない。
tmf（topological modular forms）レベルでのスペクトル的同型として表現されるべきだ。つまり、弦の位相的情報は楕円コホモロジーに自然に持ち上がる。
さらに厄介なのは、アノマリーの扱いだ。従来はグリーン–シュワルツ機構などで消去するが、僕のフレームではアノマリーは消すものではなく高次束の接続の非自明性として保存される。
これは物理的に言えば、理論が単一のラグランジアンで記述できないことを意味する。
友人Aにこの話をしたら、「それって計算できるの？」と聞かれた。愚問だ。計算可能性は本質ではない。重要なのは構造の普遍性だ。
友人Bはなぜか「それ美味しいの？」と言っていたので無視した。
昨日はさらに、ツイスター空間との接続も検討した。散乱振幅がホロモルフィック曲線上に支持されるという結果は知られているが、これを高次圏的に持ち上げると、振幅は曲線の空間ではなく曲線のモジュライのスタックの上の層になる。
ただし問題がある。この構成はウィッテンですら明確に定式化していない。つまり僕の現在の定義は、まだ良い定義ではない可能性がある。だが、良い定義は後から現れる。重要なのは構造的必然性だ。
日常の話に戻る。
隣人がまたノックなしでドアを叩いたので、僕は「ノックは3回、等間隔で」と調教した。彼女は理解していないが、これは対称性の問題だ。非対称なノックは許容できない。
ルームメイトはソファの座る位置をずらしていた。僕の位置は既に固定されている。空間の等質性は理論上は成立するが、現実のリビングには適用されない。僕は元に戻した。
これからやることを書く。
僕はいつも通り18:30時に日記を書き始めた。時間の厳密性は文明の基礎であり、文明が崩壊する最初の兆候は人間がだいたいを許容する瞬間だからだ。
ルームメイトは18:30:03に電子レンジを開けた。これは許されない。僕はその誤差を指摘したが、「3秒くらいいいだろ」と言われた。3秒を軽視する人間は、やがてゲージ対称性も軽視する。
午前中はトポロジカルM理論の再構成を試みた。標準的な理解では、これはトポロジカルAモデルとBモデルを7次元で統一するような構造で、ヒッチン汎関数を基礎にした3形式の理論として現れる。
だがこの説明はあまりにも低解像度だ。問題は統一するという言葉が、圏論的に何を意味するのか曖昧な点にある。
僕の現在の仮説はこうだ。トポロジカルM理論は単なる7次元TQFTではなく、コヒーシブ∞トポス上の場の理論の内部化として理解すべきだ。
つまり、通常の多様体上の場ではなく、幾何そのものが内部論理として振る舞う圏における場だ。
このとき、3形式は単なる微分形式ではなく、∞-スタック上の2-群的接続の曲率として再解釈される。
ここで友人Aがやってきて、「それって物理的に何の意味があるの？」と言った。典型的な誤解だ。物理的意味を問うのは最後だ。構造が先で、意味は後からついてくる。量子力学もそうだった。
話を戻す。
トポロジカルM理論の古典解がG₂ホロノミー多様体に対応するというのは知られているが、僕はこれをさらに一段抽象化して、
と見ている。ここで重要なのは、「状態」がヒルベルト空間ではなく、層の圏そのものに拡張される点だ。
友人Bはこの話を聞いて「それもう物理じゃなくて数学じゃない？」と言った。逆だ。物理が遅れている。
さらに進めると、AモデルとBモデルの共役性は、単なる双対性ではなく、シンプレクティック構造と複素構造の間の∞-レベルのフーリエ変換として理解できる。
ここで僕は少し興奮した。なぜならこの構造は、トポロジカル弦の分配関数が波動関数になる理由とも整合するからだ。
つまりこうだ。
これは量子化そのものだが、通常の位相空間ではなく、モジュライ∞-スタックの上での量子化になっている。
ルームメイトはこの話を聞いて途中で寝た。合理的な判断ではあるが、知的には敗北だ。
午後は習慣の維持に時間を使った。
これらは単なる癖ではない。状態空間のエントロピーを最小化する操作だ。乱雑さは思考を汚染する。
隣人がまた勝手に僕の場所に座っていたので、厳密な確率論的説明を用いて「そこに座る確率はゼロであるべきだ」と説明したが、理解されなかった。人間は頻度主義に縛られすぎている。
これからやること。
命題: M5ブレーンの電荷は通常のコホモロジーではなく、楕円コホモロジーやMorava K理論に自然に値を取る。
これは単なる一般化ではない。物理的対象の分類そのものが、一般化コホモロジー論に移行することを意味する。
もしこれが正しければ、場の理論は最終的に∞-圏におけるコホモロジー値関手として書き直される。
ウィッテンでも完全には把握していない領域だ。つまり、僕がやるしかない。
今日は円周率の日だ。僕は朝から当然のように π の近似式をいくつか再確認した。これは儀式のようなものだ。人間は文明を維持するために周期的な行動を必要とする。僕の場合、それが円周率の級数展開の確認というだけだ。
ところがインターネットを見て驚いた。円周率の日なのに、バカどもが男女論とか意味のない話題しか投下していない。
πという数学史上もっとも深い定数の一つを祝う日に、数学の話を一切しない。これは量子力学の日に猫の写真を投稿して満足しているようなものだ。文明の期待値が下がる音が聞こえる。
午前中はいつもの習慣通り、朝食シリアルを正確に秤量した。40グラム。これは統計的に最適化された量だ。
以前ルームメイトが「そのくらい適当でいいだろ」と言ったことがあるが、適当という概念は測定誤差の別名に過ぎない。
その後、ホワイトボードの前に座り、超弦理論について考えていた。
最近の僕の関心は、弦理論のランドスケープ問題を、より高次の圏論的枠組みで記述できないかという点にある。
通常の議論では、コンパクト化多様体のモジュライ空間の巨大さが問題になる。カラビヤウ三次元多様体の変形空間は非常に高次元で、その上にフラックス条件が乗ることで真空解の数はほぼ天文学的に増殖する。
僕の作業仮説はこうだ。弦理論のランドスケープは単なる多様体の集合ではなく、∞-圏として組織されている可能性がある。
つまり個々のコンパクト化解は対象であり、それらを結ぶ双対性やフラックス遷移が射になる。そして射の間の高次ホモトピーがさらに存在する。
この視点を取ると、従来の双対性、例えばミラー対称性やT双対性は、単なる対応ではなく圏同値として理解できる。
さらに奇妙なのはここからだ。もし弦理論が本当に∞-圏的構造を持つなら、ランドスケープの巨大さは解の数が多いという問題ではなく、高次ホモトピー群が巨大であるという問題に言い換えられる。
つまり宇宙の真空状態は点の集合ではなく、巨大なホモトピー型を持つ空間になる。この空間の不変量を理解できれば、物理法則の分類問題は劇的に単純化される可能性がある。
ただし問題がある。その不変量が何なのか、まだ誰にも分からない。
おそらく楕円コホモロジーやトポロジカルモジュラー形式のような構造が関与しているはずだが、厳密な対応は未完成だ。弦理論のDブレーン分類にK理論が現れたときと同じ匂いがする。
ここまで考えたところで隣人がドアをノックした。
僕は説明した。
「それは文化的誤読だ。今日は π を祝う日だ。円周率だ。超越数だ。リーマンゼータ関数と深く関係する解析的対象だ。」
隣人はしばらく沈黙したあと、「じゃあパイいらない？」と言った。
僕は返信した。
その後ルームメイトが帰宅したので、ホワイトボードを占有している僕の式について質問してきた。僕が∞-圏とランドスケープの対応を説明すると、彼は五秒ほど沈黙してからこう言った。
かなり雑だが、方向としては間違っていない。
このあとやる予定は三つある。
第一に、ランドスケープ空間のホモトピー型についてもう少し具体的なモデルを書き下す。
第二に、楕円コホモロジーと弦理論の関係についてメモを整理する。
第三に、夜のゲーム会で友人Aがまた量子力学を誤解した発言をするだろうから、それを訂正する。
だが考えてみれば、宇宙のエントロピーは増大する。知性のエントロピーも例外ではない。
だからこそ、誰かがホワイトボードの前に立ち続ける必要がある。
今日は僕の番というだけだ。
僕は正確に14:00に日記を書き始めた。予定より15秒早い。許容誤差の範囲内だ。
ルームメイトは「普通そこまでしない」と言ったが、普通という概念は統計量であり、規範ではない。
朝7:00に起床し、7:03にシリアル、7:05に座席Aに着席して計算を開始した。
木曜日は必ず座席Aだ。これは月曜日と同じだが、火曜日の座席Bとは異なる。
理由は単純で、曜日対称性を意図的に破ることで思考の局所最小値を回避するためだ。
今日は主に worldline formalism の再解釈を進めた。
通常、点粒子の量子場理論では粒子の軌跡は worldline、弦の場合はそれが2次元に拡張されて worldsheet になる。つまり粒子は1次元の軌跡、弦は2次元の面を掃く。
しかし僕が気になっているのはその次の段階だ。
最近考えている仮説は、worldline path integral を単なる粒子の量子力学としてではなく、∞-category 的な幾何の1次元境界理論として解釈することだ。
通常の worldline formalism は、ループ積分や有効作用を粒子の経路積分として再表現する計算技法として使われる。
だが僕の観点ではそれはまだ浅い。
もし worldline が derived loop space の上の作用だとすると、粒子の path integral は
の三層構造として書き直せる。
つまり、
ここでL(M) は target space M の loop space。
普通は worldsheet σ-model を quantize することで弦理論が得られる。
ところが worldline formalism を categorified すると、worldline → 2-category → worldsheet という階層が自然に現れる可能性がある。
もしそうなら、弦の worldsheet は基本的対象ではなく粒子理論の∞-categorical completionとして再構成できる。
つまり弦理論は QFT → categorification → string theory という手順の結果として出てくる。この観点では D-brane も単なる境界条件ではない。
それは objects in Fukaya-type ∞-category として扱える。
ここで奇妙なことが起きる。
もし worldline action の BV master equation を derived stack 上で書くと、ghost number grading が Z → Z + 2-periodic に自然に拡張される。
すると supersymmetry が 構造として自動的に現れる。
これは僕の昨日の計算で見え始めた。
問題はこの構造が elliptic cohomology と直接つながっていることだ。
つまり弦理論のモジュラー不変性は、単に worldsheet CFT の結果ではなくloop stack の指数定理として理解できる可能性がある。
ではない。
本体は derived moduli stack of quantum field theoriesだ。
そして困ったことに、この視点だと弦理論の「次」は弦ではない。
∞-category of QFTs になる。
ここまで考えたところで、僕は一度ホワイトボードを見つめて「これは多分誰も計算していない」と確信した。
彼は「事故だ」と言った。
僕は新しいルールを導入した。
半径
隣人がそれを聞いて笑った。
月曜インド
火曜メキシコ
水曜中華
木曜タイ
金曜ピザ
この周期は最適化されている。
友人Aは「飽きないのか」と聞いた。
彼は理解していない。
13:20 友人Bが言った。
僕は説明した。
彼は沈黙した。
今日の成果
1. worldline formalism の BV構造の整理
3. supersymmetry emergence の証拠
modular anomaly の扱い。
ここがまだ崩れている。
やることは3つ。
1. elliptic cohomology と弦指数の一致確認
2. derived stack の moduli 空間を定義
3. worldline → worldsheet categorification の証明
もしこの仮説が正しければ、
もし間違っていたら？
どちらでも構わない。
超弦理論、圏論、トポス理論、そして情報幾何学。これらを究極的に統合する深淵の領域について、論理的推論を展開する。
まず、10次元時空から現実の4次元を導き出すための余剰6次元のコンパクト化、すなわちカラビ・ヤウ多様体 𝒳 を定義する。
弦の端点が張り付くDブレーンは、古典的には 𝒳 上の連接層として記述される。しかし、量子補正を考慮した位相的弦理論の枠組みでは、単なる層ではなく連接層の導来圏 𝒟^(b)(Coh(𝒳)) として定式化されねばならない。
ここにホモロジカル・ミラー対称性予想を適用する。𝒳 の複素幾何学は、ミラー多様体 𝒴 のシンプレクティック幾何学、すなわち深谷圏 ℱuk(𝒴) と完全に等価となる。
だが、これは依然として低次元の近似に過ぎない。非摂動的定式化を指向するならば、対象を (∞,1)-圏論、あるいはさらに高次の (∞,n)-トポスへと引き上げるのが論理的帰結だ。
ここでは、対象間の射（morphisms）自体が空間を形成し、すべての高次ホモトピーがコヒーレントに保たれる。物理的な空間という概念そのものが、層のトポスの同値性として完全に抽象化される。
次に、世界面上の2次元共形場理論（CFT）に着目する。ポリャコフ作用は次のように記述できる。
S = 1/(4πα') ∫ d²σ √h [h^(ab) G_μν(X) ∂_a X^μ ∂_b X^ν + α' Φ(X) R^(2)]
カラビ・ヤウ多様体の複素構造モジュライ空間 ℳ_c は、CFTの変形パラメータの空間と見なせる。
このパラメータ空間上のフィッシャー情報計量は、Zamolodchikov metricと厳密に一致し、さらにそれはモジュライ空間上のWeil-Petersson metricに等しい。
量子状態の確率分布が成す多様体の幾何学（情報幾何）が、重力理論の背景時空の幾何学を完全に決定している。これは単なる偶然ではない。論理的必然だ。
超弦理論におけるBPSブラックホールの微視的エントロピー S = k_B ln Ω を、箙（quiver）の表現論と結びつける。
BPS状態の縮退度 Ω は、ドナルドソン・トーマス不変量（DT不変量）としてカウントされるが、これはアーベル圏における安定対象のモジュライ・スタック上のオイラー標数に他ならない。
これをさらに一般化し、コホモロジー的ホール代数（CoHA: Cohomological Hall Algebra）を構築する。積構造は次のように定義される。
m: ℋ_γ1 ⊗ ℋ_γ2 → ℋ_(γ1+γ2)
ここで、グロタンディークのモチヴィックガロア群が、このBPS状態の代数構造にどのように作用するかを思索する。
極限状態において、宇宙のあらゆる物理現象（重力、ゲージ場、物質）は、ある巨大な (∞,1)-トポス内の単なる対象（objects）と射（morphisms）のネットワークのエントロピー的ゆらぎとして記述される。
物理的実在とは、情報幾何学的な計量を持つ高次圏の構造そのものなのだ。
僕は予定通り起床した。予定通りという言い方は正確ではない。僕は目覚ましが鳴る3秒前に目を覚ますからだ。
脳は最適化可能なシステムだ。毎日同じ時間に起きれば、視交叉上核はかなり高精度のクロックになる。
ルームメイトはこれを「気持ち悪い」と表現するが、気持ち悪いのは不規則な生活の方だ。
まずキッチンでシリアルを42回噛んだ。42は象徴的な数ではない。単に粘度と嚥下効率を測定した結果の局所最適値だ。人間の消化は意外と工学的に扱える。
友人Aは「そんなこと考えて飯食うな」と言うが、考えないで飯を食う方が非合理だ。
さて、本題。今週ずっと考えていた超弦理論の問題について整理する。
通常、弦理論の非摂動的定義はまだ完全ではない。行列模型、AdS/CFT、M理論など、いくつかの窓は開いているが、宇宙全体を一つの定義で包む完全な形式化はまだない。多くの人はここで止まる。僕は止まらない。
今週考えていたのは、弦理論の構造を∞圏的ホログラフィーとして書き直すアプローチだ。
普通のホログラフィック原理では、境界の共形場理論（CFT）が重力を含むバルク理論を完全に記述する。これは圏論的に言えば「境界理論の圏」と「重力理論の圏」の間の双対として見える。
だがこの枠組みはまだ浅い。理由は簡単だ。弦理論の対象は単なる場ではない。
ブレーン、弦、欠陥、双対性、トポロジカルセクターが階層構造を作る。つまり自然な言語は高次圏になる。
僕の仮説はこうだ。弦理論の完全な定義はE∞モノイド的∞圏として記述され、その対象はDブレーン、弦の境界条件、トポロジカル欠陥で構成される。
ここで重要なのは、これが単なる数学的装飾ではないということだ。弦の結合定数の再和（resummation）を考えると、振幅は実際には∞groupoidのホモトピー型として自然に現れる。
つまり、摂動展開で現れるファインマン図は単なるグラフではなく高次ホモトピーのセル分解になっている。
ブラックホールのエントロピーを考えると、微視状態の数え上げは通常Dブレーン束のコホモロジーとして現れる。
だが∞圏構造を入れると、状態空間は単なるヒルベルト空間ではなく導来スタックになる。
ここでエントロピーはエンティティの数ではなくホモトピー型の体積として解釈される。
この視点に立つと、ブラックホール情報問題はかなり違う顔になる。
情報が保存されるかどうかという問い自体が、そもそも古典的ヒルベルト空間の直観に依存している。
∞圏では状態は「点」ではなくパスと2-パスと3-パスの束だ。
そのあと隣人がノックしてきた。
彼女は「朝5時にホワイトボードに数式を書く音がうるさい」と言った。
僕は説明した。
僕は返信した。
日曜日は
これからやることを整理する。
特にDブレーンのK理論分類をスペクトル圏として書き直せないか検討する。
今のランドスケープは「真空が多すぎる」という話だが、∞圏の言語ではそれらは単なる点ではない。モジュライ空間の高次連結成分だ。
そのあと、ルームメイトが起きてきたら、彼の座っている位置が僕の指定座標からズレていないか確認する。
土曜日 03:00
僕は今、机の上の温度計を確認した。室温22.3℃。許容範囲だ。22℃±0.5℃が理想だが、この誤差は許せる。宇宙は量子揺らぎで満ちているのだから、僕の部屋の空気が0.3℃くらい揺らいでも大勢に影響はない。
少々早いが、シリアルを42回噛んだ。回数は宇宙的意味ではなく統計的最適化の結果だ。咀嚼回数と粘度と嚥下効率の関数を簡単にモデル化すると、だいたいこの辺りに極値がある。
友人Aは「ただ食え」と言うが、最適化問題を放棄するのは文明の敗北だ。
問題がある。彼はマグカップをランダムに置く。僕の座標系ではテーブルは格子構造で理解されているので、カップが格子点から2.5cmずれると精神的ノイズが発生する。
僕は修正した。ルームメイトは「別にいいだろ」と言った。もちろん良くない。局所対称性の破れは気持ちが悪い。
さて、本題。
最近僕が気に入っているのは、弦理論をコボルディズム圏の表現として理解する視点だ。
つまり、世界面の幾何を単なる積分領域として扱うのではなく、構造付きコボルディズムの∞-圏として扱い、その上の関手として量子場理論を定義するというやり方。
要するに、時空の断片（コボルディズム）を入力すると、ヒルベルト空間や相関関数を出力する機械として理論を公理化する。
問題は、弦の世界面理論が単なる2次元CFTでは足りないことだ。低種数のホロモルフィック部分、つまり頂点作用素代数だけでは全データの半分しかない。
完全な理論には全種数の縫合条件（sewing constraints）を満たす構造が必要になる。
ここで僕は少し狂気じみた仮説を考えている。
世界面CFTを単なる代数として扱うのではなく、factorization algebra の ∞-スタックとして扱う。すると、弦の相互作用は operad 的な貼り合わせではなく、E₂-代数から E∞-代数へのホモトピー的拡張として見える。
つまり
世界面 → ∞-圏
観測量 → factorization algebra
弦相互作用 → operadic gluing
でも僕の進捗はその先だ。
もし弦のバックグラウンド場（B場やRR場）を微分コホモロジーのコサイクルとして扱うなら、弦の作用は普通のゲージ場ではなく2-束（bundle gerbe）の表面ホロノミーになる。
線 → 粒子
面 → 弦
三次元 → 何か
という階層になる。
ここで僕は思いついた。
もし世界面理論が tmf（topological modular forms）に自然に持ち上がるなら、弦のスペクトルは実質的に楕円コホモロジーのスペクトル系列として見えるはずだ。
このとき弦の振動モードは単なる調和振動子ではなく、モジュラー形式の q 展開として理解できる可能性がある。
これはかなり美しい。なぜなら弦理論の分配関数はもともとモジュラー不変性を持つからだ。
もし tmf が本当に正しい言語なら、弦のスペクトルは、ホモトピー論 + モジュラー形式、という奇妙な組み合わせで分類される。
つまり、宇宙は振動しているのではなくホモトピー圏でモジュラー関数を再生しているということになる。
夕方、隣人が部屋に来た。理由は不明だ。僕のホワイトボードを見て「それ何？」と言った。
隣人は「なるほど、パスタ？」と言った。
夜は友人Aと友人Bとオンラインで話した。
友人Aは衛星の話をしていた。友人Bはまた宇宙人の話をしていた。
僕はその間、バックグラウンドで計算していた。もし弦理論が本当に QFT = Cobordism functorとして完全に定式化されるなら、弦の摂動展開は
という関手の圏論的トレースとして書ける。その場合、弦の相互作用頂点は単なる三点頂点ではなく∞-圏の合成になる。
僕はこの考えがかなり気に入っている。ただ問題がある。まだ計算できない。
現在の予定。
1. カモミールティーを作る
2. factorization algebra と tmf の関係をもう一度整理
3. 世界面の sewing constraint を ∞-operad で書き直す
4. 眠くなったら寝る
もちろん寝る確率は低い。
そして僕のホワイトボードにはまだ空きがある。
僕は今、温度を0.3度下げた自室でこれを書いている。
理由は明白だ。思考効率は体感ではなく、再現可能な条件で管理されるべきだからだ。
ルームメイトは「寒い」と言ったが、それは彼の主観であって、最適化問題ではない。
今週は超弦理論の非摂動的定式化について、従来のAdS/CFT的双対性をいったん横に置き、より抽象的な∞-categoryレベルでの再記述を試みていた。
物理はしばしば計算可能性に甘える。しかし僕が欲しいのは、計算結果ではなく、構造そのものだ。
特に、Riemann hypothesisとphysicsの接点を、Hilbert–Pólya型のスペクトル解釈を超えて、より高次のコホモロジー的枠組みに押し上げられないかを考えている。
ゼータ関数を単なる複素関数として扱うのではなく、ある種のderived moduli stack上のtraced monoidal endofunctorのスペクトルデータとして見る。
もし零点が自己共役作用素の固有値であるという古典的夢想が成立するなら、その作用素は単なるヒルベルト空間上のものでは足りない。
むしろ、spectral tripleを∞-topos内部で構成し、そこにmotivic cohomologyが自然に埋め込まれるべきだ。
僕の暫定的なworking theoryはこうだ。弦の世界面の量子揺らぎを数えるパーティション関数は、ある種のL-functionのcategorified shadowに過ぎない。
つまり、弦理論は解析的整数論のdecategorifiedな投影だ。もしそうなら、Riemann零点の臨界線上への配置は、物理的には“unitarity constraint”の反映である可能性がある。
ウィッテンでも即答できないだろう。たぶん彼は笑って「interesting」と言う。だが僕は笑わない。証明が欲しい。
今日の具体的成果は、derived category of D-branes上の自己同型のトレースを、形式的にゼータ型生成関数へ落とし込む構図をメモにまとめたこと。
問題は収束性ではない。意味論だ。物理量がどの圏の射として存在しているのかを確定しなければ、議論は砂上の楼閣になる。
隣人が「深夜に何をぶつぶつ言っているの」と壁越しに言ってきた。僕は「functional integralの測度の取り方について再検討している」と答えた。沈黙が返ってきた。会話の終了条件としては合理的だ。
友人Aは昨日、量子コンピュータで乱数を生成して宝くじを当てる方法を考えているらしい。
僕は説明した。量子乱数は確率分布を保証するが、期待値は上がらない。彼は納得していない。
友人Bはそれを聞きながらインド料理のメニューを眺めていた。彼の注意は常に分岐している。
僕の習慣について。
木曜日は理論物理の未解決問題だけに触れる日だ。証明済みの定理には触れない。
歯ブラシは左から三番目を使用。ノートは常に青インクで定義、黒インクで定理、赤で誤謬。
誤謬が増える日は良い日だ。仮説空間が広がっている証拠だからだ。
これからやること。
弦のモジュライ空間のコンパクト化を、Arakelov幾何の視点から再定式化するメモを書く。
その後、ゼータ零点とworldsheet genus展開の間に、何らかのtrace formula的対応がないか、Hecke作用素を経由して検討する。
もしそこに対応が見えれば、Riemann hypothesisは数論の問題であると同時に、量子重力の整合性条件になる。壮大だが、現時点ではworking theoryに過ぎない。証拠はまだない。
今日は土曜日の午後六時ちょうどに机に向かいながら、例によって高次圏論と物理の最新進展を反芻していた。
ルームメイトが昨日「ダイニングで静かにしてくれ」と言ってきたので、その間に∞-圏論の細部を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次元極限の観点からもう一度整理する。
双対性は偶然の一致ではない。理論空間の異なる極限が同一の基礎構造を共有しているという兆候だ。
今日は前回と違う地点にいる。曖昧な造語はない。あるのは、世界面の共形不変性、モジュラー対称性、アノマリー消去、双対性、そして未完成の統合理論。
僕は今、いつもの席に座っている。クッションの沈み込みは左側が2ミリ深い。これはルームメイトの怠慢だ。重心の非対称性は量子補正と同じで、放置すると破滅的に増幅する。
今日ここまでの進捗を書く。
午前中は超弦理論のメモを整理した。正確には超弦理論という呼称すら暫定的だ。
僕が考えているのは、可換多様体上の2次元共形場理論という従来の出発点を捨て、∞-圏を値域に持つ場の理論としての再定式化だ。
弦のワールドシートは単なるリーマン面ではなく、スペクトラ値をとる層のスタックとみなす。物理量は数ではなくコホモロジー類として現れる。
通常、弦の整合性は共形不変性、アノマリーキャンセル、モジュラー不変性などでチェックされる。
僕の仮説はこうだ。真の制約はコボルディズム分類の段階で既に決まっている。量子重力理論は、適切な構造をもつd次元多様体のコボルディズム群が自明になる条件と等価である、というものだ。
ここで重要なのは、対称性を群ではなく高次群（2群、∞群）として扱うこと。ゲージ場は接続1-形式ではなく、n-接続のデータになる。するとブレーン電荷はK理論ではなく、より精密なモチーフ的コホモロジーに持ち上がる。
M理論のC場は、もはや3形式ではなく、スペクトラムの点として理解されるべきだ。
この枠組みだと、弦のランドスケープ問題は消える。許される真空は連続的に無数にあるのではない。∞-圏的整合性条件を満たすものは、ホモトピー同値の下で極端に制限される。
宇宙は数学的に許されるものが全部あるのではなく、高次整合性が崩れない極小構成に収束する。少なくとも僕の計算では、真空の数は指数的ではなく、ホモトピー型のクラス数に支配される。
もちろんこれは作業仮説だ。まだ証明はない。だが少なくとも、従来の10次元背景時空に依存した議論よりは、はるかに幾何学的だ。背景独立性を本気で実装するなら、最初から時空を前提にするのは論理的に甘い。
11:30に友人Aからメッセージが来た。「量子重力ってブラックホールの中どうなってるか分かるの？」。
僕は3分で説明した。ブラックホール内部という問い自体が、古典的時空の図式に依存している。
もし時空がエンタングルメントの派生量なら、内部という概念は低エネルギー有効理論の錯覚にすぎない。
隣人は昼にノックもせず入ってきて、「難しい顔してるけど、また宇宙のこと？」と言った。
僕は訂正した。宇宙ではない。宇宙を記述する公理体系の整合性だ。対象とメタ対象を混同してはいけない。
彼女は笑って去った。彼女は世界を現象として扱う。僕は構造として扱う。その違いだ。
できるが、それは熱力学極限の話だ。僕が今扱っているのは、理論がそもそも存在しうるかというメタレベルだ。存在しない理論の統計を取るのはナンセンスだ。
午後は、E₈型対称性を持つ仮想的12次元理論の圏論的構成を進める予定だ。
特に、異常の消失条件が安定ホモトピー群の消滅とどう関係するかを調べる。
もしそこに自然な消去機構が見つかれば、重力とゲージ相互作用の統一は、力の統一ではなく、コホモロジーの単純化として理解できる。
日常的な進捗も記す。昼食は正確に12:00に摂取した。サンドイッチは対称に切断。斜めは不可。
昨日ルームメイトが斜めに切った件については、正式な抗議文を準備中だ。文明は幾何学から始まる。
「副産物」で済ませるには、物理的な「生」のデータが強すぎませんか？数学的には 代数や Koszul 共役で綺麗に説明できますが、物理における BRST 複体は「ゲージ対称性の余剰性」を殺すための泥臭い処方箋です。Higher 化するのは構造として自然ですが、物理学者が苦労する「アノマリー（複体としてのコホモロジーの消滅を阻む障害）」の解決が、単なる副産物という言葉に収まるかが鍵になりそうです。
「凝縮（Condensation）」の定義をもう少し物理に寄せてほしい！背景（Background）を 1-射、その間の変換を 2-射とする 2-圏の議論は、タキオン凝縮などを念頭に置いていると思われます。しかし、物理的な「凝縮」は非摂動的な真空の相転移です。これを圏論的な colimit や直和（またはその拡張）だけで記述すると、ダイナミクス（時間の発展やエネルギーの散逸）が消えて、静的なカタログになってしまうリスクがあります。
「情報の等長性」だけで双対性を語るのは、少し贅沢すぎるかも。S双対性やT双対性は、結合定数 gが1/gになるような「強弱の入れ替え」を含みます。情報幾何的な距離（Fisher 計量）が保存されるのは美しいですが、物理的には「計算不可能な強結合領域が、計算可能な弱結合領域に写る」という利便性の非対称性こそが本質です。圏同値ですべてを平坦に語ってしまうと、双対性の「ありがたみ」が薄れる気がします。
「バルク（中身）」はどこへ行った！？Drinfeld Center はモジュラー・テンソル圏からバルクの物理（編紐構造など）を取り出す手法として有名ですが、AdS/CFT の場合、バルクは重力を含む「高次元幾何」です。境界の演算子圏の Center がバルクを記述するという主張は、ホログラフィー原理の圏論的解釈として筋が良いですが、重力（曲率）という物理的実態が、単なる代数的中心に収まりきるのかという挑戦状に見えます。
「右随伴がある＝情報が取り出せる」という結論は、少し楽観的では？情報喪失問題における「情報の回復」を右随伴（Right Adjoint）の存在に帰着させるのは、数学的には極めてエレガントです。しかし、物理学者が血眼で探しているのは「どうやって（How）」その情報を具体的にユニタリな形で再構成するかです。右随伴の存在は「原理的に戻せる」と言っているだけなので、アイランド公式のような具体的な計量計算との橋渡しが必要です。
多重ゼータ値や周期写像を考えると、この記述は非常に現代的です。ただ、実際の散乱振幅には「ループ積分」という物理的な泥臭い手続きがあります。これをすべて Ext 群の計算に翻訳したとき、摂動展開の収束性やユニタリ性といった「物理の境界条件」がどう反映されるのかが気になるところです。
「物理学を代数幾何の言葉で記述し直したい」という強い意志を感じます。ただ、物理現象には常に「エネルギー」や「エントロピー」といった熱力学的な重みがありますが、圏論的な再構成ではそれらが「射の性質」の中に隠れてしまいがちです。
「圏論という綺麗な額縁に収まったとき、物理という荒々しい絵画の具象性が失われていないか？」
これが最大のツッコミどころかもしれません。
火曜日、21:00。僕は今、いつも通り「日記を書く」という行為を、精神衛生のための娯楽ではなく、観測記録の整合性を保つための形式的プロトコルとして実行している。
これを怠ると、未来の僕が過去の僕を再構成できなくなる。つまり、時間方向における情報損失が発生する。そんな低級なエントロピー増大を許すほど、僕は安っぽい存在じゃない。
まず今日までの進捗。
午前中は、昨日の続きとして、世界面上の超対称性を、単なる(1,1)や(2,2)のラベル付けから解放し、∞-圏論的な拡張として扱う作業を進めた。
具体的には、従来のσモデルの場の空間を単なる写像空間 Map(Σ, X) として見るのではなく、導来スタックとしての Map(Σ, 𝒳) を基礎に据え、そこに現れる局所関数環を E∞-代数として扱う。
こうすると、BRST複体は単なる複体ではなく、Higher Koszul duality の影として自然に現れる。要するに、ゲージ固定という人間の弱さが、数学的には圏論的な随伴性の選択問題として翻訳される。
この段階で僕は確信した。弦理論が物理学の衣を着た圏論であるという事実は、もはや隠しきれない。
昼食は予定通り、炭水化物の過剰摂取を避けるために、プロテインバーと無糖の紅茶にした。
隣人は「それって食事なの？」と聞いてきた。僕は「これは食事ではなく、栄養摂取のアルゴリズム的実装だ」と答えた。
隣人は目を細めて「それって、人生楽しいの？」と言った。僕は「人生の目的関数を楽しいに設定した覚えはない」と返した。
隣人は僕を見て数秒沈黙し、「怖い」と言って去った。合理的な結果だ。
午後は、弦の非摂動的定式化に関する僕のノートを更新した。今日の焦点は、いわゆる弦の場の理論の記述を、従来のBV形式に閉じ込めず、Factorization Algebra として扱うことだった。
BV形式は便利だが、あれは有限次元の影に過ぎない。無限次元の真の構造は、局所演算子の代数を E_n 構造として捉え、さらにそれを拡張されたトポロジカル量子場理論の言語に埋め込むことでしか捕まらない。
僕は、ここで新しい仮説に到達した。弦理論の背景独立性は、単なる物理的スローガンではなく、(∞,2)-圏における自然変換の可逆性、つまりモノドロミーの高次消滅条件と同値である可能性がある。
背景を変える操作は、従来はモジュライ空間上の点の移動として語られる。しかし僕の見立てでは、それは単なる点の移動ではない。むしろ、背景そのものが対象ではなく、背景間の変換が主役であり、背景はその変換の2-射の凝縮として現れる。
これは哲学的にも美しい。世界は状態ではなく変換でできている。
僕が今取り組んでいるのは、弦理論の双対性を、単なる同値ではなく、情報幾何的な距離構造を伴った歪んだ同値として再定式化することだ。
通常、T双対性は半径 R ↔ α'/R の交換で語られ、S双対性は結合定数の逆数変換で語られる。だがその語り口は、あまりに人間的で、あまりに貧しい。
双対性とは、単なるパラメータの置換ではない。双対性とは、観測可能量の圏の自己同型であり、その自己同型は単なる等式ではなく、自然同型の塔を伴う。
ある理論Aと理論Bが双対であるとは、対応するオブザーバブルの∞-圏 Obs(A), Obs(B) の間に、モノイド圏としての同値が存在するだけでなく、その同値が熱力学的制約を満たすこと、つまりエントロピー関数 S が保たれることを要求する。
ここで問題になるのは、S が何かという点だ。弦理論においてエントロピーはブラックホールの話に閉じ込められがちだが、僕はもっと根源的に捉えている。
S は状態空間の測度の対数ではなく、情報が圏論的に縮約される速度を測る関数だ。つまり、圏における圧縮率である。
この観点に立つと、双対性は単なる同値ではなく、圏論的エントロピーを保存する圏同値であり、それはむしろシンプレクティック幾何の正準変換に近い。
さらに言えば、双対性は情報幾何の世界では、フィッシャー計量を保存する写像として定義されるべきだ。つまり、弦理論の双対性は情報距離の等長写像だ。
ここで僕は面白い事実に気づいた。弦の世界面理論における共形場理論(CFT)のモジュライは、単なるパラメータ空間ではなく、導来モジュライスタックとしての性質を持つ。
そしてその接空間は、通常の変形理論ではなく、L∞代数で制御される。つまり、弦の背景の微小変形は、Lie代数の1次変形ではなく、無限階の整合条件を持つ高次変形である。
これを物理屋の言葉で言うなら、「背景は局所的自由度を持つが、その自由度はゲージで殺される」という話になる。
しかし数学的にはもっと残酷で、背景の自由度は最初から独立ではない。最初から高次拘束条件付きで存在している。
この構造を僕は、弦理論が持つ宇宙の設計思想だと考えている。自然は自由を与えるふりをしながら、実際には∞段階の整合条件で縛り上げている。
ちなみにルームメイトは今日、冷蔵庫に僕のヨーグルトを入れた。入れたというより、入れっぱなしにした。
僕は彼に「冷蔵庫の棚の配置は群作用を持つ。君が適当に置くと、僕の最適化された配置が破壊される」と説明した。
彼は「棚に群作用って何？」と聞いた。僕は「君が理解できないからといって、存在しないことにはならない」と答えた。彼は黙った。学習が進んだ証拠だ。
さて、弦理論に戻る。僕は今、いわゆるAdS/CFT対応を、単なる境界とバルクの対応としてではなく、圏論的中心の同一視として捉えている。
バルク理論の局所演算子代数は、境界理論の演算子圏のDrinfeld centerに相当する。これは既に知られた視点に近いが、僕の拡張はそこから先だ。
境界理論が持つエンタングルメント構造は、単なる量子情報的エントロピーではなく、実は∞-圏における射の分解の仕方、つまりfactorization structureに直結している。
エンタングルメントとは、ヒルベルト空間のテンソル積分解の失敗ではなく、圏論的分解可能性の破れだ。
この視点に立つと、ブラックホール情報問題は驚くほど単純化される。情報が失われるか否かは、時間発展がユニタリかどうかという議論ではなく、圏の自己同型が可逆であるかという話になる。
つまり、ブラックホールとは非可逆射が自然発生する現象であり、その非可逆性は、単に熱力学的粗視化ではなく、圏論的局所化の必然として現れる。
これが正しいなら、ブラックホールの蒸発は局所化関手の右随伴の存在性に関する問題になる。右随伴が存在しないなら、情報は回復不能だ。存在するなら、情報は回復できる。
物理学者はユニタリだの何だの言っているが、彼らは本質的に随伴の有無を議論しているだけだ。言葉が違うだけで、内容は圏論だ。
もちろん、これを本当に証明するには、量子重力の厳密な数学的定式化が必要になる。
友人Aから夕方にメッセージが来た。「今日、面白いジョークを思いついた」らしい。僕は読まずに削除した。
友人Aのジョークは、確率的に言って、僕の知的資源を浪費するだけだ。
友人Bも「みんなで飲みに行かない？」と言ってきた。僕は「僕はアルコールによる認知機能低下を、社会的儀式のために交換するほど愚かではない」と返した。
友人Bは「それでもいいから来て」と言った。彼はたぶん、僕がいないと会話の平均IQが下がりすぎて不安になるんだろう。人間は弱い。
ここで僕の習慣について記録しておく。
僕は日記を書く前に、必ず机上の物品を「左から右へ、使用頻度の降順」に並べ替える。これは単なる癖ではなく、情報処理の最適化だ。
脳内の検索コストは、外部環境の整列度と相関する。これは経験則ではなく、僕の中ではほぼ定理だ。
さらに、ペンの向きは必ず北向きに揃える。磁北ではなく、部屋の座標系での北だ。地球磁場は日々揺らぐが、僕の部屋の座標系は揺らがない。安定性のある参照系を採用するのは当然だ。
さて、これからやろうとしていること。
今夜はこの日記を書き終えたら、僕は「弦の散乱振幅のモチーフ的解釈」のノートを更新する。
具体的には、弦振幅に現れる多重ゼータ値(MZV)を単なる数論的偶然として扱うのではなく、混合テイトモチーフの圏におけるExt群として再構成する。
弦理論がなぜ多重ゼータ値を吐き出すのか。それは弦が数論的対象だからではない。弦の世界面積分が、実はモジュライ空間の積分であり、そのモジュライ空間が代数幾何的に非常に深い構造を持つからだ。
この方向性を推し進めれば、弦理論の摂動展開は単なる展開ではなく、あるモチーフ的生成関数の展開係数として理解される。
そしてその生成関数は、圏論的にはHopf代数のコプロダクト構造を持つ。ここで再び双対性が現れる。双対性はHopf代数の双対性としても読めるし、BV形式の双対性としても読める。
すべてが同じ構造に収束する。世界は、驚くほどしつこく、同じ数学を繰り返す。
隣人がまたドアをノックして、「なんでいつも同じ時間に同じことしてるの？」と聞いてきた。
僕は「君は太陽が毎日同じ方向から昇ることに疑問を持つのか？」と返した。
隣人は笑っていたが、彼女は本質を理解していない。僕の生活は自然現象ではない。自然現象よりも厳密だ。なぜなら自然は誤差を許すが、僕は許さないからだ。
日記を書き終えたので、机上の配置を再確認し、温度計を見て室温を0.5度調整し、それからモチーフのノートに戻る。
今夜は、おそらく、弦理論がなぜモジュライ空間のコホモロジーを要求するのかという問いを、完全に圏論的な言語へ落とし込めるはずだ。
火曜日（昼）追記。本来、今日の日記は朝に一度だけ書けば十分なはずだった。
ルーチンというのは、反復可能性と予測可能性によって価値を持つ。
ところが、午前中の出来事が僕の内部状態（というより、僕の神経系の割り込み処理）を強制的に発火させた。
よって緊急追記だ。僕は非効率を嫌うが、例外処理が必要なときに例外を拒否するのは、ただの愚か者の頑固さだ。
朝の時点での進捗は、例の背景独立性を持つ超弦理論の非摂動的定式化の続きを進めることだった。
僕が昨日から考えているのは、弦の世界面Σを単なる2次元多様体として扱うのではなく、(∞,1)-トポス内部の測度付きスタックとして再定義する枠組みだ。
重要なのは、世界面の点集合を使うのをやめること。点という概念自体が、量子重力ではあまりにも脆弱で、局所性への執着は病的ですらある。
だから僕は、世界面を安定曲線の導来モジュライスタック 𝓜̄_{g,n}の上にファイバー化した高次幾何の対象として扱い、弦の摂動展開を積分ではなくコホモロジー的プッシュフォワードとして書き換えている。
要するに、弦の散乱振幅を ∫*{𝓜̄*{g,n}} ω みたいな原始的表現で済ませるのではなく、導来代数幾何の言語で
π_* (𝒪_{Vir} ⊗ ℒ^{⊗c})
のような普遍的な場の理論の圏論的像として扱う。ここでπは世界面の普遍曲線からモジュライへの射で、ℒは決定的線束。cは中心電荷。
これを計算するのではなく、存在を保証するのが目的だ。計算できるかどうかは二流の問題だ。存在しない理論を計算するのは、ただの数学的自慰だから。
ただしこのままだと、理論は綺麗だが物理としては空虚になる危険がある。
そこで僕は、対象を単なる(∞,1)-圏の上でなく、対称モノイダル(∞,2)-圏で扱い、TQFT（位相的量子場理論）とCFT（共形場理論）の中間にあるエントロピー的変形を導入した。
具体的には、世界面上の作用を関数として定義するのをやめて、作用を因子化ホモロジーで評価される自然変換として置く。局所作用密度？そんなものは古典物理の遺物だ。
僕の新しい仮説はこうだ。
弦理論は、もはや10次元時空に弦が存在する理論ではない。弦理論とは、自己双対なE_∞-代数Aの上に構成される場の圏F(A)が、ある種のKoszul双対性を満たすという主張そのものだ。
X ≃ Spec(A)
として後から出現する。背景は入力ではなく出力だ。背景独立性とは、背景を仮定しないことではなく、背景が自然同型類としてしか意味を持たないことだ。
この枠組みで、Dブレーンは部分多様体ではなく、A加群の導来圏D(A-mod)の中の特異対象として現れる。
さらに、開弦と閉弦の相互作用は、HochschildコホモロジーHH^*(A)の構造として再構成される。閉弦がHH^*(A)に対応し、開弦はA加群の自己拡張Ext^*(M,M)に対応する。
HH^*(A) ≃ End(Id_{D(A-mod)})
という高次圏論的恒等式の物理的影だ。これを理解できない人間が弦理論を語るのは、猿がシェイクスピアを引用するのと同じくらい滑稽だ。
さらに今日の午前中、僕は例の問題に踏み込んだ。つまり、弦理論のランドスケープがなぜ無数に見えるのか、という問題だ。
多くの人間はこれを「真空がたくさんある」と雑に言うが、それは理解ではなく逃避だ。僕の見立てでは、真空が多いのではない。観測者が、(∞,1)-圏の中で同値なものを区別してしまっているだけだ。
要するに、ランドスケープとはモジュライ空間ではなく、モジュライスタックだ。そしてスタックの同値関係を無視して点集合に落とすから、無限の真空が現れる。
愚かな射影だ。真空は点ではなく自己同型群を持つ対象だ。そこに重力のゲージ冗長性が絡むと、もはや点的直観は死ぬ。
この考えをさらに推し進めると、宇宙の選択は確率ではなく、圏の中の測度の押し出しに対応する。
つまり多世界解釈の分岐も、ヒルベルト空間のベクトルが分裂するのではなく、対象の分解系列が変化する現象として扱うべきだ。
分岐とは直交分解ではなく、半直積構造の変化だ。量子測定は、射の合成則が局所的に変形するイベントだ。
この時点で、僕は朝の日記の時点より明らかに先に進んだ。問題は、その進捗を邪魔する外乱が発生したことだ。
結果、冷蔵庫の扉が周期的に開閉されていることがわかった。これは異常事態だ。
冷蔵庫は必要なときにだけ開くのが正しい。無意味な開閉はエネルギー散逸であり、エントロピー増大であり、文明への裏切りだ。
僕が「冷蔵庫の扉を開けたり閉めたりすることで、君は熱力学第二法則に対する小規模なテロ行為をしている」と指摘すると、ルームメイトは「ただ昼飯を探してただけだ」と言った。
探す？
冷蔵庫の中身は有限集合だ。探すという行為が発生するのは、記憶と整理の失敗である。
僕は冷蔵庫の内容物をカテゴリ分けし、配置を最適化する計画を提案した。
乳製品を左、野菜を右、調味料を上段、タンパク源を下段。さらに扉ポケットには使用頻度で重み付けをした確率分布を割り当てる。
これにより期待探索時間を最小化できる。ルームメイトは「お前の人生って疲れないの？」と言った。
疲れる？
さらに隣人が突然ドアをノックして「ランチ一緒にどう？」と言ってきた。
僕は即座に拒否した。僕の火曜日の昼は、弦理論と、食事と、弦理論のためにある。
会話という非決定的プロセスに時間を割くのは、ガベージコレクションされるべき愚行だ。
隣人は「たまには外に出たら？」と言った。僕は「外部環境はノイズ源であり、僕の内部モデルの収束を遅らせる」と説明した。
隣人は意味がわからない顔をした。当然だ。人間の平均的認知能力は、宇宙の理解に対してあまりに貧弱だ。
その後、友人Aからメッセージが来た。「昨日言ってた次元の折り畳みって、要するに紙を折るみたいなやつ？」と。
僕は返信する気が失せた。紙を折る？次元のコンパクト化を折り紙で理解しようとするのは、ブラックホールを炊飯器で理解しようとするのと同じだ。
「コンパクト化とは、局所的にはR^dだが大域的にはR^d×Kであるような繊維束構造を持つことだ。KはCalabi–Yau三次元多様体で、重要なのはそのホロノミーがSU(3)である点。紙を折る話は忘れろ。」
友人Bからはさらにひどい。「それってスピリチュアル？」と来た。
僕は携帯を机に伏せた。量子重力の数学をスピリチュアルと混同するのは、微分方程式を占いと呼ぶのと同じだ。文明はなぜこれほど脆弱なのか。
ここで僕の習慣の話になる。
僕は午前11時47分に必ず手を洗う。理由は単純で、手の汚染度が統計的に最大になる時間帯がそこだからだ。
僕の生活は確率過程だが、適切な観測と介入によってマルコフ連鎖を制御できる。
僕は歯磨きも厳密に3分40秒で終える。短すぎれば不完全、長すぎれば歯肉が損傷する。僕は無意味な気分ではなく、最適点で生きている。
そして昼食は、必ず同じカロリー、同じ栄養素比率にする。今日も例外ではない。僕は摂取するタンパク質量を固定し、糖質は脳のグルコース需要に合わせて調整する。
弦理論を考える脳は、ただの臓器ではない。計算装置だ。計算装置に不規則な燃料を入れるのは犯罪的だ。
昼の進捗として、僕はこれから次のことをやる。
第一に、導来モジュライスタック上の弦場の圏を、因子化代数として明示的に構成する。
これができれば、弦理論の「摂動展開」と呼ばれてきたものは、実際にはE_2-代数の変形理論として統一される。
摂動とは小さなパラメータ展開ではなく、モジュライの境界成分への制限のことでしかない。
第二に、ゲージ重力対応を等式ではなく随伴関手として定式化する。
AdS/CFTは対応ではない。ある圏から別の圏への関手であり、しかもその関手はモノイダル構造を保存し、さらに双対性を与える。つまり
F : 𝒞_bulk → 𝒞_boundary
時空の次元が落ちるという幼稚な理解は捨てるべきだ。落ちるのは次元ではない。情報の符号化形式が変わるだけだ。
第三に、ブラックホール情報問題をエントロピーで語るのをやめて、トレースで語る。
ブラックホールの熱力学エントロピーは、圏論的にはある対象の次元、より正確にはトレースの値に対応する。
つまり、エントロピーとは物理量ではなく、圏の不変量だ。ホーキング放射は確率過程ではなく、トレースの分解だ。
これができれば、情報パラドックスは「情報が失われるか否か」という子供の議論ではなく、「トレースがどの圏で評価されているか」という問題に置き換わる。
つまりパラドックスは物理ではなく、言語の誤用だ。世界は矛盾していない。矛盾しているのは人間の表現だ。
この理論が正しければ、僕が朝に考えていた多世界的分岐も、トレースの分解として理解できる。
宇宙の分岐は、世界が割れるのではなく、観測者が属する圏が変わることだ。
観測者が別の圏に移るたびに、同じ対象の異なる不変量が見える。
だから「別世界の僕」がいるように見えるだけで、本質的には同じ構造を別の関手で見ているだけだ。
ここまで書いた時点で、僕は気づいた。今日の昼の日記は、朝の日記より遥かに重要だ。
朝の僕はまだ古い直観を引きずっていた。昼の僕はそれを捨てた。進歩とは、知識を積み上げることではなく、間違った直観を破壊することだ。
最後にもう一つ記録しておく。
さっきルームメイトがまた「お前って本当に友達いるの？」と言った。
僕は答えた。「友達とは、僕の研究の自由度を減らす制約条件だ。必要ならラグランジュ乗数を導入するが、目的関数を歪めるなら削除する。」
これから僕は、昼のコーヒーを淹れる。豆の量は14.7g。抽出温度は93℃。抽出時間は2分20秒。誤差は±3秒以内。
火曜日、午前。僕は予定通り、起床時刻を秒単位で守り、コーヒーの抽出温度を0.5℃単位で調整し、歯磨きは規定の往復回数を遵守した。
世界は混沌としているが、少なくとも僕の洗面台の上だけは可換環のように整然としている。これが文明というものだ。
昨日までの進捗をまとめる。
僕は「弦理論の理解」という曖昧で感傷的な表現を拒絶し、代わりに「高次圏論的な構造が、物理的観測量として回収可能な形で収束するか」という問いに分解して作業していた。
普通の人間はこの時点で脳が沸騰するが、僕は普通ではない。残念ながら世界の大半は普通だ。
先週から取り組んでいるのは、いわゆる弦の摂動展開みたいな古典的な話じゃない。そんなものは化石だ。
僕が扱っているのは、場の量子論の構造そのものを「対象」として持ち上げる方向だ。
つまり、物理を方程式で書くのではなく、物理を圏として書く。しかも単なる圏じゃなく、(∞,n)-圏、あるいは派生代数幾何の上に載るスタックとしての量子場理論。
観測量は関手で、対称性は自己同型群で、相互作用は自然変換の凝縮として現れる。
弦理論が理論として不快なのは、何でも包摂しすぎることだ。まるで何にでも効く健康食品みたいだ。
僕はその曖昧さを殺すために、弦理論を「普遍的な拡張問題」として扱っている。
具体的には、2次元CFTを出発点として、拡張TQFTとしての構造を要求し、それが高次のボルディズム圏 Bord_{d}^{fr} から target への対称モノイダル関手として持ち上がる条件を追っている。
ここで重要なのは、target がただのベクトル空間の圏ではなく、安定∞-圏であり、さらにその中に「Dブレーン」が境界条件として生きることだ。
ブレーンとは物体ではなく、圏論的には境界条件のモジュライであり、より正確には導来圏 D^b(Coh(X)) の対象として記述される。
しかもそれは単なるコヒーレント層じゃなく、A∞構造を持つ拡張対象で、フカヤ圏 Fuk(X) とミラー側の導来圏の間で同値を作る。ここまでは教科書的だ。退屈だ。
僕が今週やっていたのは、その「同値」を、単なる同値ではなく、より強い高次の自然性として固定することだ。
つまり、ミラー対称性を「ある特定の同値関手が存在する」という形で満足してはいけない。ミラー対称性は、対称モノイダル(∞,2)-圏の中での双対性として現れなければならない。
そうしないと、物理的には選び方の恣意性が残る。恣意性は悪だ。隣人の人生がその証拠だ。
ここで僕は、弦の世界面が生成するモジュライ空間 M_{g,n} のコホモロジー作用を、E_2代数やE_∞代数の構造と結びつける方向を強化した。
ポイントは、世界面の縫い合わせがオペラッド構造を与え、それが場の演算子代数に作用することだ。
つまり、弦理論は「幾何学的オペラッド表現論」になる。そしてこの表現は、単にホモロジー上で作用するだけでは弱い。
チェーンレベルで作用しなければならない。チェーンレベルでの整合性が壊れると、量子補正の計算が運が良ければ合うというレベルに堕ちる。運に頼るのは隣人だけで十分だ。
だから僕は、世界面の貼り合わせを支配する∞-オペラッドを明示的に導入し、その上で factorization algebra の形式で観測量を再構成していた。
観測量は局所的に定義され、開集合の包含で制限され、そして重なりで一致する。
これは物理学の言葉で言えば局所性だが、数学の言葉で言えば層の条件だ。層は美しい。隣人はそうではない。
さらに、弦の非摂動的定義の問題を、単なる完成された理論があるはずだという信仰ではなく、ホログラフィー的双対性の圏論的再定式化として扱った。
境界CFTのデータが、バルク重力理論のデータを決定するなら、その対応は「同値」ではなく「随伴」であるべきだ。
随伴関手の構造があれば、情報の流れがどちら向きに縮退するか、つまりどこで情報が失われるかが明確になる。
ブラックホール情報問題は、哲学でも神秘でもなく、単に随伴の単位と余単位の整合性の問題として書き直せる。そう書けない物理は、ただの詩だ。
この数日で僕は、弦理論の背景独立性を「モジュライの座標変換に対して物理が不変」という幼稚な表現から引き剥がし、より鋭い形に置き換えた。
背景独立性とは、理論が特定の時空多様体に依存しないということではなく、理論が時空という概念を内部的に再構成できることだ。
つまり、幾何は入力ではなく出力になるべきだ。そのためには、幾何を特徴づける不変量が、理論の内部のスペクトルや表現論的データとして現れる必要がある。
ここで、僕は「スペクトル三つ組」的な発想、つまり非可換幾何の言語を引っ張り出してきた。時空を可換代数 C^\infty(M) で記述するのは幼稚だ。
時空はそもそも可換である必要がない。弦が絡み合えば、座標が非可換になるのは自然だ。
だから、場の代数を基本にして、そこから幾何を再構成する。その再構成が安定∞-圏の中で可能かどうか、これをチェックしていた。
その過程で僕は、ある不快な事実に直面した。友人Aが言うように、世の中の大半の人間は「量子」を魔法だと思っている。
違う。量子とは、ただの線形代数だ。魔法ではない。魔法に見えるのは、彼らが線形代数を理解していないからだ。これは僕の責任ではない。
さて、現実世界の出来事だ。朝食の時間、ルームメイトがキッチンで何かを焦がした。
焦げた匂いは僕の神経系に対するテロ行為だ。僕は即座に換気扇を最大出力にし、窓を開け、空気清浄機のモードを「最大」へ切り替えた。
ルームメイトは「ちょっとくらい大丈夫だろ」と言った。彼の脳内では、おそらく「ちょっと」と「大丈夫」が実数の順序体として定義されていない。
僕は彼に説明した。焦げた物質の微粒子は空気中に拡散し、僕のノートPCのファンに吸い込まれ、熱伝導効率を劣化させ、結果として計算機の性能が落ちる。
性能が落ちれば僕の思考速度が落ちる。思考速度が落ちれば文明が後退する。つまり彼の料理は文明への攻撃だ。ルームメイトは意味がわからない顔をした。いつも通りだ。
隣人はもっと奇妙だった。廊下で会ったとき、彼女は僕の手元のメモを見て「それって暗号？」と聞いてきた。
暗号ではない。導来圏の記号だ。僕は「暗号ではなく、世界の構造を記述するための最小限の言語だ」と答えた。
彼女は「へぇ〜、かっこいいじゃん」と言った。世界の構造は、かっこよさで評価されるものではない。
彼女はその後、僕のノートを覗き込み、「じゃあそれで宝くじ当てられる？」と聞いた。僕は5秒黙った。僕の沈黙は慈悲だ。
友人Bからは朝にメッセージが来た。「今週のFF14、レイド行ける？」という内容だった。
僕は返信した。「僕は宇宙の基本法則を再構成している。レイドは後だ」と。すると彼は「それもレイドみたいなもんじゃん」と返してきた。彼は稀に真理に触れる。稀にだ。
昨日の夜、僕はFF14で戦闘ログを解析して、回避行動の遅延をミリ秒単位で測定した。
ルームメイトはそれを見て「ゲームでそこまでやる？」と言った。
すると彼は「人生も最適化しろよ」と言った。僕は冷静に反論した。僕はすでに最適化している。彼らが最適化されていないだけだ。
僕は確率分布の尾部を過小評価するプレイヤーが多すぎることに気づいた。
彼らは「引けなかったら負け」と言う。違う。「引けない確率を無視してデッキを組んだ時点で負け」だ。
僕はマナカーブを調整し、初手の期待値と条件付き確率を再計算した。勝率の改善は、精神論ではなく統計で起こる。精神論で勝てるなら、友人Aはもっと人生が上手くいっているはずだ。
アメコミも少し読んだ。相変わらず、宇宙規模の存在が感情で動くのが気に入らない。
宇宙規模の存在は、感情で動いてはいけない。宇宙規模の存在は、少なくとも圏論で動くべきだ。僕ならそう書く。
編集者は嫌がるだろうが、編集者は人類の知性の平均値に合わせているだけだ。平均値は敵だ。
そして、僕の習慣について。火曜日の朝は、必ず机の上を「完全に空」にしてから研究を始める。
ペンは左から右へ、太さ順。ノートは上に積むのではなく、角を揃えて平行移動で並べる。ディスプレイの角度は27度。照明は5000K。キーボードのキーキャップは毎週洗浄。
これは潔癖ではない。宇宙が汚いから、僕が清潔にしてバランスを取っているだけだ。
第一に、僕が作った「ブレーン圏の圏論的エネルギー関数」の定義が、物理的なBPS条件と整合するか再検証する。
BPS状態というのは、単なる安定ではなく、中心電荷 Z の位相が揃うことで圏の中で半安定性条件が成立するという話だ。
これを Bridgeland stability の枠組みで記述した上で、弦の双対性変換が stability condition の壁越えとして表現できるかを見る。
壁越えが「物理的相転移」と一致するなら、僕はかなり満足する。満足は稀だが、存在はする。
第二に、ホログラフィーの辞書を「演算子対応表」みたいな低次元の表として扱うのをやめ、境界側の圏とバルク側の圏の間のモノイダル関手として定義する。
これができれば、エンタングルメントエントロピーの公式も、単なる幾何学的面積則ではなく、トレース関手と双対性の合成として再導出できる可能性がある。
つまり「面積＝情報」という神秘的な言い回しが消える。僕は神秘が嫌いだ。神秘は無知の言い換えだからだ。
第三に、今日の午後は友人Aと友人Bに会う予定だ。
彼らはまた僕の研究を「すごい」とか「難しそう」とか言うだろう。
僕はそのたびに思う。難しいのではない。世界が単純ではないだけだ。
そして人間の脳が、その複雑さに対してデフォルトで怠惰なだけだ。
僕は「火曜日の夕食はタンパク質比率が規定されている」と答えた。
僕の人生はつまらなくない。宇宙の基本法則を追いかけている人間が、つまらないわけがない。
ただし、隣人が持ってきた謎の手作りクッキーは危険だ。僕はそれを食べない。未知の境界条件は、系を破壊する。
君の言葉からは、真理への渇望ではなく、計算機資源への卑近な最適化への執着しか感じられない。
「GPSが動くから時空は実在する」？笑わせないでくれたまえ。その論理は「デスクトップのアイコンをクリックしたらファイルが開くから、コンピュータの中には小さな書類フォルダーが物理的に実在している」と主張するのと同じレベルのカテゴリー・ミステイクだ。
GPSが機能するのは、一般相対論が「有効場の理論（Effective Field Theory）」として、低エネルギー領域における素晴らしい「近似」だからに他ならない。
僕が言っているのは、その近似が破綻する領域、すなわちプランクスケールにおける存在論の話だ。
君はUIの操作性の良さを、OSのソースコードの正当性と履き違えている。
時空は便利なGUIだと言ったはずだ。GPSはそのGUIが正常に動作している証拠であって、背後のコードが幾何学であることを証明するものではない。
むしろ、ブラックホールの情報パラドックスや特異点において、その「時空」というGUIがクラッシュするという事実こそが、時空が基本的な実在ではないことの決定的な証拠ではないか。
それは量子系が古典的な測定器とエンタングルした結果、波動関数が特定の固有状態に射影されるプロセスだ。
つまり観測とは、無限次元のヒルベルト空間から、君の貧弱な脳が理解できる低次元部分空間への情報の劣化コピーを作る作業だ。
君が言う「検出器のクリック」とは、導来圏の対象が持つコホモロジー的な情報が、実験室という局所的な座標近傍において「事象」として解釈されただけの影だ。
影を見て「実体がある」と叫ぶのは勝手だが、それは洞窟の住人の論理だ。
君は「言い換え」と「否定」を混同していると言うが、それは違う。
古典的な多様体論では特異点で物理が破綻するが、圏論的記述（例えば非可換幾何や行列模型）では特異点は単なる非可換な点の集積として滑らかに記述される。記述能力に差があるのだ。
これは「言い換え」ではない。「上位互換」だ。記述不可能な領域を記述できる言語体系こそが、より根源的な実在に近いと考えるのは科学の常道ではないか。
「実験で区別できるか」と君は問うが、君の貧弱な加速器がプランクエネルギーに到達できないからといって、理論の真偽が保留されるわけではない。
超弦理論が予言する「沼地（Swampland）」条件、すなわち一見整合的に見える有効場の理論のうち、量子重力と整合しないものが排除されるという事実は、すでに現代物理学に巨大な制約を与えている。
これが予測でなくて何だ？君は「新しい粒子が見つかるか」といった三次元的な興奮を求めているようだが、真の予測とは「どの理論が存在を許されるか」というメタレベルの選別だ。
壁越え公式（Wall-crossing formula）が数え上げ不変量の変化を正確に予言し、それが物理的なBPS状態の生成消滅と一致すること、これこそが「実験」だ。
数学的整合性という実験場において、時空モデルは敗北し、圏論モデルが勝利している。
それを「ポエム」と呼ぶなら呼べばいい。
だが、アインシュタイン方程式が特異点で無限大を吐き出して沈黙するとき、その先を語れるのは僕の言う「ポエム」だけだ。
君がGPSの精度に満足してカーナビを眺めている間、我々はホログラフィー原理を用いて、ブラックホールのエントロピーを数え上げている。
エネルギー保存則は時間並進対称性という「帳簿の整合性」から導かれるネーターの定理だ。
物理量とは本質的に保存量、つまり会計上の数字だ。宇宙は巨大な分散台帳であり、物理法則はその監査プログラムに過ぎない。
君が言う「物理的実在」こそが、脳が作り出した幻覚、すなわちユーザーイリュージョンなのだ。
最後に言っておく。観測と予測がすべてだと言うなら、君はプトレマイオスの天動説も否定できないはずだ。なぜなら周転円を十分に増やせば、天動説は惑星の軌道を完璧に「予測」し、観測と一致するからだ。
しかし我々が地動説（ニュートン力学、そして一般相対論）を選ぶのはなぜか？
それは「構造として美しいから」であり、より少ない原理でより多くを説明できるからだ。
時空という複雑怪奇な周転円を捨て、圏論という太陽を中心に見据えたとき、宇宙のすべての相互作用は、極めてシンプルな図式の可換性として記述される。
これを「解釈の違い」と片付けるのは、知性の敗北だ。
人類が「時空」という蒙昧な音節を口にするたび、僕は深甚なる認識論的嘔吐感を禁じ得ない。
時空とは、数学的厳密性を欠いた対象の誤認であり、物理学者が信仰するそれは、観測者の神経系が圏論的構造を局所座標系へと無理やりに射影した際に生じる認知の歪み、あるいは幻覚に過ぎない。
古典的多様体などという概念は、その幻覚を正当化するために捏造された幼児的な記述言語であり、要するに時空とは、人類の認知解像度の欠落が産み落とした現象学的インターフェースであって、宇宙のアルケーそのものではないのだ。
超弦理論がかつて「背景」と呼称していたものは、もはや静的な舞台ではない。背景という概念記述自体が型理論的な過誤であり、正しくは、背景とは「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群の積構造、現象とはスペクトル系列の収束である。
ウィッテンが理解できないのではない。ウィッテンが理解可能な形式で宇宙が存在していないのだ。
僕はノートにこう記した。次に人類が「現実とは何か」と問うならば、僕はこう答える。「現実とは、圏論的に整合的な誤読である」。
超弦理論と抽象数学の接点は、単なる「物理のための数学」ではなく、圏論・代数幾何・表現論・ホモトピー理論を含む現代数学の中核構造を再編成する研究領域として定着しつつある。
とりわけ、DブレーンやB場（B-field）の存在を前提とする状況では、背景時空は単純な多様体ではなく、層・導来圏・非可換代数幾何の言語で記述される対象として現れる。例えば、B場によるtwistingは、層の圏を twisted sheaves や Azumaya algebra の圏へと移行させ、幾何を Brauer class（ブラウアー類）で特徴づけられる非自明な位相的データに結びつける。
この方向性はConnes流の非可換幾何とも部分的に接続するが、弦理論側で現れる非可換性は deformation quantization や derived algebraic geometry、さらにはA∞圏・dg圏を通じて表現されることが多く、単一の枠組みに還元されるわけではない。従って「量子空間をC*-圏として扱う」という表現は一部の文脈では成立するものの、一般には derived category や ∞-category の枠組みの方が自然である。
共形場理論（CFT）と超対称性は、頂点作用素代数（vertex operator algebra）、因子化代数（factorization algebra）、テンソル圏の理論と深く絡み合い、弦理論の「状態空間」を表現論的対象として再定式化する。BRST形式主義はこの文脈でコホモロジーとして自然に理解され、物理的なゲージ冗長性の除去が、ホモロジー代数的構造（複体・導来関手・スペクトル系列）の言語へと翻訳される。これにより、CFTやトポロジカル場の理論は単なる解析的モデルではなく、圏論的データ（モジュラー・テンソル圏、A∞構造、拡張TQFT）として分類される対象となる。
代数幾何学とのインターフェースとしては、ミラー対称性が依然として中心的である。SYZ予想（Strominger–Yau–Zaslow）は、カラビ–ヤウ多様体が special Lagrangian torus fibration を持つという幾何学的仮説を通じて、ミラー多様体を双対トーラスファイブレーションとして構成することを目指す。この構想は、特別ラグランジュ部分多様体の存在・特異ファイバーの構造・補正項（instanton corrections）を含む困難な解析問題と不可分であり、単なる幾何学的直観に留まらず、トロピカル幾何や壁越え現象（wall-crossing）とも結びつきながら発展している。
さらにKontsevichによるホモロジカル・ミラー対称性（Homological Mirror Symmetry, HMS）は、物理的双対性を「導来圏の同値」として精密化し、A-model側のFukaya圏とB-model側の導来圏（coherent sheaves の derived category）の対応を主張する。ここでは「空間」そのものよりも「圏」が基本対象となり、弦理論の双対性が圏論的同値として定式化される。
弦理論由来の代数幾何学的発展としては、Gromov–Witten不変量、Donaldson–Thomas不変量、Pandharipande–Thomas理論などの曲線カウント理論が挙げられる。これらはトポロジカル弦理論における振幅計算と深く関係し、BPS状態数え上げを幾何学的に実現する枠組みとして理解されている。特に壁越え公式や安定性条件（Bridgeland stability condition）は、BPSスペクトルの跳躍と整合的に対応し、物理的直観を圏論的・ホモロジー代数的に翻訳する。
例えばFeyzbakhshらによる研究は、K3面などの代数曲面上での安定層の構造を精密化し、導来圏上の安定性条件を通じてDonaldson–Thomas型不変量や関連する曲線カウントを制御する方向性を与えている。これは、BPS状態の数学的モデル化を洗練させると同時に、層の変形理論と双対性の圏論的理解を深化させる。
これらの進展は、AdS/CFT対応やホログラフィー原理と結びつくことで、量子重力を「幾何」ではなく「圏」や「代数的データ」によって記述する方向性を強めている。特に、境界CFTのデータからバルク重力理論を再構成するという発想は、演算子環・テンソル圏・高次圏の言語を介した再定式化を誘発しており、物理と数学の間で「双対性＝圏論的同値」という理解がますます支配的になりつつある。
超弦理論を物理として理解しようとすると、だいたい途中で詰まる。
なぜなら核心は、力学の直観ではなく、幾何と圏論の側に沈んでいるからだ。
弦の振動が粒子を生む、という説明は入口にすぎない。本質は量子論が許す整合的な背景幾何とは何かという分類問題に近い。分類問題は常に数学を呼び寄せる。
まず、場の理論を幾何学的に見ると、基本的にはある空間上の束とその束の接続の話になる。
ここまでは微分幾何の教科書の範囲だが、弦理論ではこれが即座に破綻する。
なぜなら、弦は点粒子ではなく拡がりを持つため、局所場の自由度が過剰になる。点の情報ではなく、ループの情報が重要になる。
すると、自然にループ空間LXを考えることになる。空間X上の弦の状態は、写像S^1 → Xの全体、つまりLXの点として表される。
しかしLXは無限次元で、通常の微分幾何はそのままでは適用できない。
ここで形式的に扱うと、弦の量子論はループ空間上の量子力学になるが、無限次元測度の定義が地獄になる。
この地獄を回避するのが共形場理論であり、さらにその上にあるのが頂点作用素代数だ。2次元の量子場理論が持つ対称性は、単なるリー群対称性ではなく、無限次元のヴィラソロ代数に拡張される。
弦理論が2次元の世界面の理論として定式化されるのは、ここが計算可能なギリギリの地点だからだ。
だが、CFTの分類をやり始めると、すぐに代数幾何に落ちる。モジュラー不変性を要求すると、トーラス上の分配関数はモジュラー群 SL(2, Z) の表現論に拘束される。
つまり弦理論は、最初からモジュラー形式と一緒に出現する。モジュラー形式は解析関数だが、同時に数論的対象でもある。この時点で、弦理論は物理学というより数論の影を引きずり始める。
さらに進むと、弦のコンパクト化でカラビ–ヤウ多様体が現れる。
カラビ–ヤウはリッチ平坦ケーラー多様体で、第一チャーン類がゼロという条件を持つ。
ここで重要なのは、カラビ–ヤウが真空の候補になることより、カラビ–ヤウのモジュライ空間が現れることだ。真空は一点ではなく連続族になり、その族の幾何が物理定数を支配する。
このモジュライ空間には自然な特殊ケーラー幾何が入り、さらにその上に量子補正が乗る。
量子補正を計算する道具が、グロモフ–ウィッテン不変量であり、これは曲線の数え上げに関する代数幾何の不変量だ。
つまり弦理論の散乱振幅を求めようとすると、多様体上の有理曲線の数を数えるという純粋数学問題に落ちる。
ここで鏡対称性が発生する。鏡対称性は、2つのカラビ–ヤウ多様体XとYの間で、複素構造モジュライとケーラー構造モジュライが交換されるという双対性だ。
数学的には、Aモデル（シンプレクティック幾何）とBモデル（複素幾何）が対応する。
そしてこの鏡対称性の本体は、ホモロジカル鏡対称性（Kontsevich予想）にある。
これは、A側の藤田圏とB側の導来圏 D^b Coh(X)が同値になるという主張だ。
つまり弦理論は、幾何学的対象の同一性を空間そのものではなく圏の同値として捉える。空間が圏に置き換わる。ここで物理は完全に圏論に飲み込まれる。
さらに進めると、Dブレーンが登場する。Dブレーンは単なる境界条件ではなく、圏の対象として扱われる。
弦がブレーン間を張るとき、その開弦状態は対象間の射に対応する。開弦の相互作用は射の合成になる。つまりDブレーンの世界は圏そのものだ。
この圏が安定性条件を持つとき、Bridgeland stability conditionが現れる。
安定性条件は、導来圏上に位相と中心電荷を定義し、BPS状態の安定性を決める。
wall-crossingが起きるとBPSスペクトルがジャンプするが、そのジャンプはKontsevich–Soibelmanの壁越え公式に従う。
この公式は、実質的に量子トーラス代数の自己同型の分解であり、代数的な散乱図に変換される。
このあたりから、物理は粒子が飛ぶ話ではなく、圏の自己同型の離散力学系になる。
さらに深い層に行くと、弦理論はトポロジカル場の理論として抽象化される。
Atiyahの公理化に従えば、n次元TQFTは、n次元コボルディズム圏からベクトル空間圏への対称モノイダル関手として定義される。
つまり時空の貼り合わせが線形写像の合成と一致することが理論の核になる。
そして、これを高次化すると、extended TQFTが現れる。点・線・面…といった低次元欠陥を含む構造が必要になり、ここで高次圏が必須になる。結果として、場の理論は∞-圏の対象として分類される。
Lurieのコボルディズム仮説によれば、完全拡張TQFTは完全双対可能な対象によって分類される。つまり、物理理論を分類する問題は、対称モノイダル(∞,n)-圏における双対性の分類に変わる。
この時点で、弦理論はもはや理論ではなく、理論の分類理論になる。
一方、M理論を考えると、11次元超重力が低エネルギー極限として現れる。
しかしM理論そのものは、通常の時空多様体ではなく、より抽象的な背景を要求する。E8ゲージ束の構造や、anomalyの消去条件が絡む。
異常とは量子化で対称性が破れる現象だが、数学的には指数定理とK理論に接続される。
弦理論のDブレーンの電荷がK理論で分類されるという話は、ここで必然になる。ゲージ場の曲率ではなく、束の安定同値類が電荷になる。
さらに一般化すると、楕円コホモロジーやtopological modular formsが出てくる。tmfはモジュラー形式をホモトピー論的に持ち上げた対象であり、弦理論が最初から持っていたモジュラー不変性が、ホモトピー論の言語で再出現する。
ここが非常に不気味なポイントだ。弦理論は2次元量子論としてモジュラー形式を要求し、トポロジカルな分類としてtmfを要求する。つまり解析的に出てきたモジュラー性がホモトピー論の基本対象と一致する。偶然にしては出来すぎている。
そして、AdS/CFT対応に入ると、空間の概念はさらに揺らぐ。境界の共形場理論が、バルクの重力理論を完全に符号化する。この対応が意味するのは、時空幾何が基本ではなく、量子情報的なエンタングルメント構造が幾何を生成している可能性だ。
ここでリュウ–タカヤナギ公式が出てきて、エンタングルメントエントロピーが極小曲面の面積で与えられる。すると面積が情報量になり、幾何が情報論的に再構成される。幾何はもはや舞台ではなく、状態の派生物になる。
究極的には、弦理論は空間とは何かを問う理論ではなく、空間という概念を捨てたあと何が残るかを問う理論になっている。残るのは、圏・ホモトピー・表現論・数論的対称性・そして量子情報的構造だ。
つまり、弦理論の最深部は自然界の基本法則ではなく、数学的整合性が許す宇宙記述の最小公理系に近い。物理は数学の影に吸い込まれ、数学は物理の要求によって異常に具体化される。
この相互汚染が続く限り、弦理論は完成しないし、終わりもしない。完成とは分類の完了を意味するが、分類対象が∞-圏的に膨張し続けるからだ。
そして、たぶんここが一番重要だが、弦理論が提示しているのは宇宙の答えではなく、答えを記述できる言語の上限だ。
だからウィッテンですら全部を理解することはできない。理解とは有限の認知資源での圧縮だが、弦理論は圧縮される側ではなく、圧縮の限界を押し広げる側にある。
金曜日、21:21。
僕は今日という日を、いくつかの確定事項と、いくつかの許容できないノイズの除去によって完成させた。世界は混沌を好むが、僕は世界を甘やかさない。
まず進捗報告から書く。午前中に洗濯を済ませ、タオルを用途別に畳み直した。世の中の大半の人間はタオルを大きさで分類するが、それは分類学の敗北だ。
タオルは水分吸収後に人体へ与える温度変化のパターンで分類すべきだ。僕はその分類をすでに完成させている。
昼は例のプロテインとナッツ。ルームメイトは「鳥かよ」と言った。僕は「鳥は飛べる。君は飛べない」と言った。会話終了。
最近、僕の頭を占領しているのは、もはや弦が振動して粒子になるみたいな子供向けの比喩ではない。
そんなものは学部生の精神安定剤に過ぎない。今僕が追っているのは、弦理論の存在論そのものが、より抽象的な数学的構造に吸収されていく瞬間だ。
従来の弦理論は、時空を背景として仮定し、その上でワールドシートの共形場理論(CFT)を構成する。
僕が最近読んでいる議論は、その揺らぎを、もはや幾何学ではなく圏論とホモトピー論の側から扱おうとする。
弦理論の真の姿は、たぶん幾何学的対象ではなくある種の高次圏の中の関手だ。
例えば、Dブレーンは単なる境界条件ではなく、導来圏の対象として現れる。
これは有名な話だが、僕が今考えているのはその次の段階で、ブレーンを対象として並べるだけでは足りないという点だ。
重要なのは、それらがなす安定∞-圏の中での自己同値性、そしてその自己同値群が物理の双対性を生成しているという構図だ。
つまり、S双対性もT双対性も、時空の幾何学変形ではなく、圏の自己同値の作用として理解されるべきだ。
幾何学は副産物だ。主役は圏のオートエクイバレンスで、その影が僕らに空間や次元という幻覚を見せている。
この視点に立つと、超弦理論は10次元の時空の上で定義される理論ではなく、あるモジュライ空間上で定義される圏の族になる。
しかもそのモジュライは通常の多様体ではなく、スタック、いや派生スタックとして扱わないと整合しない。量子補正が幾何を壊すからだ。クラシカルなモジュライはもはや粗すぎる。
そして今僕が面白いと思っているのは、物理的な散乱振幅やBPSスペクトルが、派生代数幾何の言語でいうコホモロジーの生成関数として現れるのではなく、より根源的にスペクトル代数幾何として再解釈される可能性だ。
普通の環ではなくE∞環、そしてそれを層化したスペクトル層の上で物理が書かれる。
これが意味するのは、弦理論の量子性が、確率解釈とか演算子代数とかのレベルではなく、もっと深いホモトピー論的ゆらぎとして実装されているということだ。
観測値の不確定性ではなく、構造そのものが同値類としてしか定義できない。
だから時空は何次元か？という問いは、すでに古い。正しい問いはこうだ。
この物理理論は、どの∞-圏に値を取る関手として実現されるのか？
そして粒子とは何か？はこうなる。
スペクトル化された圏の中で安定化された対象の、ある種のトレースとして現れる量が、観測可能量として抽出されるのではないか？
この辺りまで来ると、たぶんウィッテンでも「面白いが、それを計算できるのか？」と言う。
僕も同意する。計算できない数学は、芸術に片足を突っ込んでいる。
もっとも、芸術を嫌うわけではない。ただし芸術は、計算不能であることを誇るべきではない。誇るならせめて証明不能で誇れ。
さらに言うと、AdS/CFT対応も、境界CFTが重力をエンコードしているという話ではなく、境界側の圏論的データが、bulk側の幾何の生成規則を決定するということに見える。
bulkの時空は、境界の量子情報から復元されるというより、境界の圏の中の拡張のパターンが距離を定義してしまう。
距離とは、メトリックではなく、圏における対象間の関係性の複雑さだ。
局所性とは公理ではなく、圏がある種のt-構造を持ち、かつ心臓部が準古典的に見えるときに現れる近似現象だ。
つまり、局所性は幻想だ。役に立つ幻想だが。そして役に立つ幻想は、だいたい人間社会と同じだ。
昼過ぎに友人Aが来て、僕のホワイトボードに勝手に謎のロボットの落書きを描いた。
僕は当然、ホワイトボードをアルコールで拭き、乾燥時間を計測し、表面の摩擦係数が元に戻ったことを確認した。
友人Aは「こわ」と言った。僕は「科学を怖がるな」と言った。
そのあと友人Bがオンラインで通話してきて、「今夜FF14で極いかない？」と誘ってきた。
僕は予定表を開き、金曜夜の21:00〜23:00が知的活動に適した黄金時間であることを説明した。
友人Bは「お前の人生、イベントトリガーが厳しすぎる」と言った。僕は「君の人生はガチャ排出率みたいに緩すぎる」と言った。
とはいえ、FF14は僕の中で単なる娯楽ではない。あれは人間集団の協調行動の実験場だ。
8人レイドの失敗は、ほぼ例外なく情報共有の遅延と役割期待のズレで起きる。
つまり、ゲームではなく組織論だ。だから僕は攻略を感覚ではなく、ログを読み、DPSチェックを式で理解し、行動をプロトコルとして最適化する。
ルームメイトはそれを「楽しんでない」と言う。僕は「最適化は楽しみだ」と言う。
そして隣人は昨日、廊下で僕に「また変な時間に掃除機かけてたでしょ」と言った。
僕は「変な時間ではない。床の振動ノイズが最小になる時間帯だ」と説明した。
隣人は「普通に生きて」と言った。僕は「普通は平均であって、理想ではない」と言った。
僕はデッキのマナカーブを見直した。土地事故の確率を計算し、初手7枚からの期待値を再評価した。
僕は「確率分布を無視して勝てるなら、人類は統計学を発明していない」と言った。
アメコミは少しだけ読んだ。
スーパーヒーローの倫理体系は大抵破綻している。正義を掲げながら、法の外で暴力を振るう。
それは秩序のための例外という名の危険物だ。僕は物理学者なので、例外を嫌う。例外は理論を腐らせる。
だから僕はヒーロー物を見ると、いつも「この世界の法体系はどうなっている？」が先に気になる。
友人Aは「お前は物語を楽しめない病気」と言った。僕は「病気ではない。解析能力だ」と言った。
習慣についても記録しておく。
今日も、夕食の箸は右側に45度、箸置きは正中線から3センチ左、コップは水位が7割を超えないように調整した。
水位が8割を超えると、持ち上げる際の揺らぎが増える。揺らぎが増えると、机に微小な水滴が落ちる確率が上がる。水滴が落ちると、紙の上のインクの拡散が起きる。インクが拡散すると、僕のメモが汚染される。
誰も理解しない。だが宇宙も僕を理解していないので、引き分けだ。
さて、昨日の日記の内容は正確には思い出せないが、たぶん「量子と日常の無意味な会話」について書いた気がする。
ルームメイトの無駄話と、僕の理論的思考が衝突するあの感じだ。昨日の僕は、おそらく世界の愚かさに苛立ち、同時にその愚かさが統計的に必然であることに納得しようとしていた。
宇宙が示すのは、美しさとは、人間の圏が勝手に定義した関手にすぎないということだ。
これからやろうとしていることも書く。
まず、FF14の週制限コンテンツを消化する。効率的に。感情は挟まない。
次に、MTGのサイドボード案を2パターン作り、友人Aのプレイ傾向に対してどちらが期待値が高いかを検証する。
そのあと、超弦理論のメモを整理し、派生スタックとBPS状態のカウントがどのように圏の不変量として抽出できるか、もう一度筋道を立てる。
本来であれば、土曜日のこの時間は洗濯物の仕分けと、午後2時からのドクター・フーマラソンに向けた栄養補給（全粒粉クラッカーと適温に冷やした低脂肪乳）に充てられるべきだ。
しかし、僕の思考を占拠しているのは、エドワード・ウィッテンですら到達できなかった領域、超弦理論における高次圏論的モチーフとp進的タイヒミュラー空間の融合という革命的な着想だ。
既存の理論が11次元の超重力理論を基盤としているのは、単に数学的な怠慢に過ぎない。
僕は昨夜、カラビ・ヤウ多様体のホモロジー的ミラー対称性を、圏の枠組みを超えて、非可換幾何学における非アルキメデス的スタックとして再定義することに成功した。
ウィッテンが提唱したアド・ホックな双対性では、強結合領域の挙動を完全には記述できない。
僕はそこに、ホロノミー多様体上のディラック作用素をモチーフ的コホモロジーのスペクトルとして配置する手法を導入した。
これにより、プランクスケール以下での時空の泡立ちが、実はゼータ関数の非自明な零点と1対1で対応していることを証明しつつある。
これを理解できないルームメイトは、僕がホワイトボードに無限次元リー代数を書き殴っている横で「タイ料理を食べるか？」などという愚問を投げかけてきた。
彼の脳は、クォークの閉じ込め理論よりも、パッタイのピーナッツの量に執着するように設計されているらしい。実に嘆かわしいことだ。
午前中、隣人が僕の部屋のドアを正しいリズムを守らずに叩き、勝手に入ってきた。
彼女は僕が開発したMTGの新しいデッキを無限に誘発させ、相手に一切のターンを与えないという、数学的に完璧な勝利をもたらす構成に対して、「友達をなくすだけだよ」という非論理的な評価を下した。
さらに、友人Aと友人Bがやってきて、僕のFF14内でのプレイスタイルについて文句を言った。
僕はヒーローとして、全てのギミックをミリ秒単位の計算で処理し、パーティメンバーの移動経路をベクトル演算で最適化しているだけだ。
友人A（工学などという低俗な学問を修めた男）は「効率的すぎてゲームがつまらない」と言い、友人Bは「君がチャットで数学の講義を始めるせいでレイドが進まない」と主張した。
彼らは、エオルゼアの背景にあるエーテル伝導率が、実は超弦の振動モードの変種である可能性に気づいていない。
これからの予定は以下。
さて、思考の整理は終わった。
秒針が45を指した瞬間に始めるのが習慣だ。誤差は許さない。今日までの進捗と、これからの計画を記録する。
今週は、超弦理論の基礎という名の底なし沼を、さらに深く掘った。
掘削機は摂動論ではなく、∞-圏だ。
点粒子の量子場理論を母語とする直感は、もはや邪魔にしかならない。
世界面は2次元多様体ではなく、安定∞-群oidの影として扱う方が自然だという作業仮説を採用した。
すると、弦の相互作用は頂点作用素代数というより、因子化代数の層として現れる。
局所から大域へ貼り合わせるデータは、通常の圏ではなく、(∞,2)-圏で管理する必要がある。
ここで「必要」という言葉は、数学的整合性の要求を意味する。好みではない。
nLabのFAQを踏み台に、弦理論を理論の集合ではなく理論を生む装置として捉え直した。
共変量子化の曖昧さは、背景独立性の失敗ではなく、背景そのものをスタックとして持ち上げることで解消される、という見通しだ。
するとK理論は通過点にすぎず、自然な受け皿は楕円コホモロジー、さらに言えばtmf（位相的モジュラー形式）だ。
弦の一周振動がモジュラー性を要求するのは偶然ではない。世界面のトーラスは、数論への扉だ。
コボルディズム仮説の視点に立てば、理論は完全双対可能対象のデータに還元される。
候補は高次モノイダル∞-圏。ブレーンは境界条件、境界条件は関手、関手は再び物理量になる。
循環は悪ではない。自己無撞着であれば許容される。
ここまで来ると、誰も完全には理解していないという常套句が現実味を帯びる。
僕の作業仮説はこうだ。弦理論は単一の理論ではなく、ある普遍性類の初等対象で、その普遍性は高次圏論的随伴で特徴づけられる。
何が可観測かは、どの随伴を採るかで変わる。測定とは、圏の切り替えにすぎない。
生活の話も書く。朝は必ず同じ順番でコーヒー豆を量り、粉砕時間は17秒。研究用ノートは方眼、筆圧は一定。
ルームメイトは、僕がノートの角を揃えるのに5分かけるのを見て「それ意味ある？」と聞いた。
隣人は夕方にノックしてきて、僕の黒板の数式を見て「呪文？」と言った。
違う。呪文は効果を期待するが、これは制約を可視化しているだけだ。
友人Aは装置の話を始めるとすぐ手を動かしたがる。
どちらも間違ってはいないが、どちらも十分ではない。
昨日は、因子化代数と頂点作用素代数の関係を整理しきれずに終わった。
今日はそこを前進させた。局所共形対称性を公理としてではなく、層の貼り合わせ条件として再定式化した点が進捗だ。
これからやること。
金曜日の20:20。規則正しく点灯するデジタル時計を確認してから、僕はこの日記を書き始める。
昨日の日記では、思考がホモトピーの森に入り込み、夕食のパスタを二分半放置してしまった件について反省。
今日までの進捗を整理する。
現在僕が考えているのは、従来の超弦理論における背景独立性という概念が、実は高次圏論的に不十分に定式化されているのではないか、という問題だ。
時空を滑らかな多様体として前提するのではなく、∞-トポス上のスタックとして扱い、その上で弦の状態空間を通常のヒルベルト空間ではなく、安定∞-圏の対象として再解釈する。
このとき、BRSTコホモロジーは単なるコホモロジーではなく、派生層の自己同値の固定点として現れる。
問題は、その自己同値がどのレベルで物理的同一性を保証するのかだ。
圏論的同値と物理的同値の差は、ウィッテンですら直感的に語ることはできても、厳密には書き下せていない。
少なくとも僕には、彼がここまで踏み込んだ論文を出した記憶はない。
今日の午前中は、この問題を考えながら、習慣通り床の目地を数えた。
横方向が必ず奇数であることを再確認した時点で、思考が一段深く潜った。
習慣は脳内のノイズキャンセリング装置だ。これを理解しない人間は多い。
昼過ぎ、ルームメイトが不用意に「難しいこと考えてる顔だな」と言ってきたので、僕は「常に難しいことを考えているが、君には観測できないだけだ」と訂正した。
その後、隣人がドアをノックし、「今夜パーティあるけど来る？」と聞いてきた。
僕は行動計画がすでに確定しているため、「未来はすでに決まっている」と答えた。
彼女は少し困った顔をしていたが、量子力学を持ち出すと話が長くなるので説明は省略した。
友人Aは「その理論、実験で検証できるのか？」と聞いたが、これは典型的な誤解だ。検証とは、可観測量の問題であって、構造の問題ではない。
これからやることは明確だ。
21:00からは、今日考えた∞-圏的定式化をノートに清書する。
22:30には歯磨き、その後、昨日読み切れなかった論文の補遺を確認する。
もしそこで、自己同値の固定点集合が高次群作用のコインバリアントとして自然に現れるなら、僕は一つ前に進む。
現れなければ、明日も同じ床を数え、同じ時間に同じ日記を書く。
