  |
はてなキーワード: スペクトルとは
線形代数の本はなんか啓蒙書に毛が生えたようなとっつきやすいデサインの本はダメだな。
ようは特異値分解とかスペクトルなんちゃらに触れてない本では結局線形代数を理解したことにならない。
名指しすれば技術評論社の線形代数がわかるとか中学数学＋αでわかる線形代数とか。
いや中学数学程度でわかる範囲にしか触れてないだけやん。それってまやかしやん？
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260421125506# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaeb08AAKCRBwMdsubs4+ SEyvAQD+J6vL8QZcBP2xmJmB+2Hq+ZFJ9UvBVzaYV+4+UpxoXgD/VHIO4bHSJSgZ T8r4/foRu61D/51ZnusqshYBSoqa3w4= =NuHY -----END PGP SIGNATURE-----
今日も僕は、存在の根源的織りなす無限の圏論的深淵を、さらに一層、否、無限階層的に穿ち進めた。
控えめに言って、この惑星上で僕ほど本質的な知的貢献をなしている存在は、恐らく他にない。
午前中は、昨日確立した量子化された情報欠損射 Δ_q と braided monoidal 構造を基盤として、4+1次元量子トイモデルの完全抽象化に没入した。
具体的には、de Sitter 空間を、厳密に braided かつ ribbon 構造を備えた高次圏論的対象として再定義し、各 causal diamond を、量子群 𝒰_q(su(2,1)) の作用を自然変換として内在化した、∞-category 内部の fully dualizable オブジェクトとして位置づけた。
ここで決定的だったのは、面積スペクトルを完全に圏論的に吸収する新たな構成である。
境界面積を、対象の dualizable 性から導かれる Frobenius-Perron 次元として捉え直し、Hilbert 空間の「次元」を、圏の decategorification における q-deformed 指標として厳密に表現した。
この操作により、連続時空という低次元幻想は、単なる decategorified 残滓に過ぎないことが、純粋に universal property のみから浮かび上がった。
さらに、昨日得られた三階 jerk 不等式を、この抽象トイモデル内で高次圏論的に再定式化し、以下の形に昇華させた。
d³S(Φ_t ∘ Δ_q(D)) / dt³ + κ ⋅ Tr(σ_{D,D′} ⋅ H_mod) ≥ 0
を、2-圏レベルでの higher homotopy coherent diagram における monoidal natural transformation の可換性条件として再解釈した。
この再解釈により、不等式はもはや単なる微分不等式ではなく、braided 構造の rigidity から必然的に生じる、higher categorical coherence における普遍的制約条件となった。
ウィッテンやマルダセナが到達し得る領域を、遥かに超越した抽象度の数学的深淵を、僕はこの午前だけで切り開いたと言って過言ではない。
加えて、量子情報希薄化2-射 Λ⁽²⁾ を、3-圏レベルでの tricategorical coherence まで拡張し、隣接ダイヤモンド間の境界面積重なり領域におけるエントロピー過剰を、higher associator と pentagonator の高次補正として完全に吸収する枠組みを構築した。
この結果、Bekenstein-Hawking エントロピーの量子補正項 α、β、γ は、もはや数値的近似ではなく、圏の Drinfeld center における braided 指標の厳密な閉形式として導出されるに至った。
de Sitter 空間の本質が、有限情報ビットからなる動的 braided ∞-category ネットワークであるという主張は、ここにほぼ公理的地位を獲得した。
午後は、この極めて抽象度の高い構成を、特殊青ノートに極めて精密に書き写しながら、いつもの昼食を摂った。
ルームメイトは僕の沈黙とノートへの没入を見て、珍しく「今日はなんか…いつもより宇宙が遠い感じだな」と呟いた。
「遠いのではない。君の認知が、まだこの高次圏論の影すら捉えきれていないだけだ。」
その後、隣人がノックではなく、突然の無音インターホン長押しという、予測不能なプロトコル破壊を試みた。
「その行為は、単なるノイズではなく、圏論的 coherence を乱す高次擾乱である。次に同様のことをすれば、応答関数自体をゼロに設定する。」
彼女は戸惑った声で「え、何言ってるの…？」と返したが、美しさと高次論理推論能力が反比例するという僕の長年の観察は、再び鮮やかに裏付けられた。
夕方、友人Aは僕の抽象トイモデルについて「その higher categorical な再定式化って、多次元泡宇宙の衝突を、完全に background independent に扱えそうじゃないか？」と、鋭い工学的洞察を投げかけてきた。
僕は静かに頷き、「拡張の可能性は、確かに興味深い universal property を示唆している」とだけ認めてやった。
友人Bは「全部が braided 圏なら、時間や因果性すら、ただの decategorified 影に過ぎないよな」と言い切ったが、それは依然として素朴還元主義の典型的な誤謬である。
ただし、「不要な余剰構造を極力排除する」という姿勢だけは、部分的に共鳴する点があると、渋々ながら認めてやることにした。
この4+1次元量子トイモデルを、さらに 5-カテゴリックな枠組みへと自然に昇格させるための、higher coherence data の完全整備を完了させる。
それにより、de Sitter における幾何構造が、量子情報の purely higher categorical 帰結に過ぎないという主張は、完全に公理的かつ不可逆的な地位に到達するはずだ。
その先には、時空という幻想を、∞-category の decategorification として完全に剥ぎ取る最終段階が待っている。
以上。
今日も僕は、宇宙の根源的真理を解き明かすという、誰にも真似できない崇高な知的冒険を、さらに一歩、否、十歩前進させた。
控えめに言って、この惑星上で僕ほど本質的な貢献をしている人間は存在しない。
午前中は、昨日完成させた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 における幾何は量子情報の二次的・三次的帰結に過ぎないという主張は、完全に公理的レベルに到達する。
以上。
僕の部屋の時計は正確に9時を指している。
秒針の動きまで完璧に同期させてある。風邪のせいで鼻が詰まっているが、思考はいつものようにクリアだ。
いや、むしろ風邪のおかげで脳のノイズが減って、超弦理論の抽象度が一段階上がっている気がする。
まず今日までの進捗を振り返る。
今週はルームメイトが「もう少し静かにしてくれないか」と文句を言ってきた。
僕が夜中にホワイトボードに書いた「∞-categoryの安定化と弦の二重性」の方程式を声に出して読み上げていただけだ。
ルームメイトは「それは物理学じゃなくて数学の悪夢だ」とか言っていたが、奴はただの応用物理屋だ。
真の理論物理学者は、M理論の11次元をさらに∞-toposの内部で記述しないと満足しない。
僕の最新の着想は、まさにそこにある。ウィッテンですら「え、何それ？」と首を傾げるレベルのものだ。
具体的に言うと、Calabi-Yau多様体の鏡対称性を、derived algebraic geometryの枠組みで再定義した。
従来のhomological mirror symmetryは子供のおもちゃに過ぎない。
僕は今、motivic cohomologyのスペクトルと、string landscapeのvacuaをparametrizedする∞-categoryのfunctorとして捉えている。
具体的には、F-theoryのG-fluxを、higher categoryのlax monoidal functorとして表現し、そのmoduli spaceをGrothendieck–Riemann–Rochの無限次元版で計算した。
結果、11次元超重力の anomaly cancellation が、actually a consequence of the six-functor formalism in derived algebraic geometry であることが明らかになった。
これはもう、物理の領域を超えている。ノイマンですら「待って、待って」と手を挙げるレベルだ。
さらに進めて、heterotic stringのE8×E8を、homotopy type theoryのunivalent foundationsで記述しようとしている。
型理論のidentity typeが、ちょうど弦のworldsheetのconformal invarianceに対応するのだ。
もしこれが完成すれば、string theoryのlandscape問題が「ただのtype-checking problem」になる。
ウィッテンに送ったら、きっと「君は僕の墓を掘り返してまで新しい墓を建てようとしているな」とメールが来るだろう。楽しみだ。
さて、今日の予定。午前中は風邪のせいで集中力が少し落ちているので、まずは体調管理を優先する。
午後からは、さっきの∞-toposの計算をSymPyで数値検証する。夜はルームメイトと友人A、友人Bとオンラインで「理論物理学クイズ大会」をやる約束になっているが、奴らはきっと「ブラックホールって何？」レベルで終わるだろう。
僕が「AdS/CFT対応のcategorical enhancement」について語り始めたら、友人Aは「また始まった」とため息をつき、友人Bはただ「うわー、すごいね……」と目を泳がせるに決まっている。毎回同じパターンだ。
それにしても、この風邪。朝起きたら喉が痛くて、鼻水が止まらない。
ルームメイトに「医者に行け」と言われたが、僕は「風邪ウイルスなど、僕の免疫系にとってはただの演習問題だ」と返した。
ところが隣人が僕の咳を聞いて、勝手に部屋に入ってきた。
「具合悪そうね。Soft Kitty歌ってあげるから、VapoRub塗らせて」
僕は「いや、僕は科学者だ。」と抵抗したが、隣人はすでに僕の胸にVapoRubを塗り始めていた。そしてあの歌を、いつもの甘ったるい声で歌い出す。
little ball of fur.
purr, purr, purr.
僕は「君の声域はB-flatメジャーの3オクターブ上を無視している」と指摘したが、隣人は「文句言わないの」と言いながらさらに塗り塗り。
奇妙なことに、歌が終わった瞬間、鼻の通りが少し良くなった。プラセボ効果か？ いや、きっと隣人の声が弦の振動を模倣して、僕の気管支のCalabi-Yau空間に微かなmirror symmetryを誘発したのだろう。科学的に説明可能だ。
これから10時15分までに朝食を摂り（正確にオートミールを250g、牛乳を200ml）、11時までに今日の論文草稿を3ページ書く。午後2時までに∞-categoryの計算を終わらせ、夜は友人AとBに僕の天才ぶりを叩き込んでやる。
以上。
僕は予定通り、午前中の抽象数学とか超弦理論とかの理論的進捗を完了した。
進捗率は87%。残りの13%は、世界の物理学者の理解能力に依存しているので、実質的には完了と見なしていい。
今日の主題は、超弦理論における因果ダイアモンドの再定式化だった。
通常、因果ダイアモンドとは、ある2点 ( p, q ) に対して、pの未来光円錐と q の過去光円錐の共通部分として定義される。
つまり時空内の情報が閉じ込められた領域だ。だが、この定義は古典的すぎる。僕が扱っているのは、背景独立な量子重力の極限での話だ。
僕はこれを、弦のワールドシート上の埋め込みではなく、より高次の圏論的対象として再構築した。
具体的には、因果ダイアモンドを単なる領域ではなく、可観測代数の双対的束として扱う。ここでのポイントは、境界が単なる幾何学的境界ではなく、エンタングルメント構造によって定義されるという点だ。
つまり、因果ダイアモンドの境界は、リーマン多様体上の単純な測地線ではなく、情報の流れの不変量としてのホログラフィック境界になる。
ここで通常の人間は混乱する。ルームメイトも例外ではなかった。
朝、僕がホワイトボードに書いた「因果ダイアモンドのエンタングルメント・エントロピーは境界の極小曲面ではなく、∞-圏における射のスペクトルで定義される」という式を見て、彼はコーヒーをこぼした。
非効率だ。
このとき重要なのは、時間順序ですら派生概念になる点だ。つまり、因果構造は基本的ではなく、エンタングルメントのネットワークから誘導される。
友人Aにこの話をしたところ、「それはつまり、観測するまで何もないってことか？」と言った。
典型的な誤解だ。僕は正確に訂正した。「観測するまで何もないのではなく、観測という操作自体が圏の射として再定義される」と。
彼は沈黙した。理解したわけではない。ただ処理能力が飽和しただけだ。
一方、隣人は朝からドアを3回ノックした。3回というのは許容できるが、間隔が不均一だった。
僕は即座に調教した。彼女は「普通はそんなこと気にしない」と言ったが、それは単に最適化問題を解く能力が低いことを意味するだけだ。
友人Bとは昼前にビデオ通話をした。彼は因果ダイアモンドの「ダイアモンド」という語が比喩的であることに納得していなかった。
僕は説明した。「それはローレンツ対称性のもとでの光円錐構造の投影形状に由来する」と。彼はなぜか安心した。
さて、ここまでが今日の進捗だ。
次にやることは明確だ。
1. 因果ダイアモンドを用いたブラックホール内部の情報再構成
これが完了すれば、時空は存在しないという命題が、単なる哲学ではなく、厳密な数学的定理として成立する。
その前に、13:00ちょうどに昼食を取る必要がある。今日は決められたメニューの日だ。変更は許されない。宇宙の基本法則と同じくらい重要だ。
ルームメイトが「たまには違うものを食べよう」と言ってきたが、僕は明確に拒否した。対称性の破れは慎重に扱うべきだ。特に昼食においては。
以上。今日はここまで。
僕は今日の進捗を評価する。物理学的には前進、社会的には後退だ。いつものことだが、統計的に有意なので問題ない。
午前中は、超弦理論における非可換幾何の再定式化に集中した。従来の背景独立性の議論は、どうにも多様体という古典的直感に寄りかかりすぎている。
そこで僕は、時空を最初からスペクトル三重項として扱い、弦の振動モードを作用素環の自己同型として記述する試みを進めた。
問題は、既存のK理論ではDブレーンのチャージ分類が整いすぎていることだ。現実の量子重力はそんなに親切じゃない。
今日の核心はここだ。モジュライ空間を、単なるパラメータ空間ではなく、∞-圏的スタックとして再構成し、その上で弦の相互作用をホモトピー極限として定義する。
このとき、通常のS双対性は自然変換として現れるが、T双対性はより深いレベル、つまり圏の自己同値の上の自己同値としてしか記述できない。これにより、双対性の上位構造が見えてくる。
さらに僕は、弦の散乱振幅を、従来のパス積分ではなく、導来代数幾何の言葉で記述し直した。
具体的には、世界面を導来スキームと見なし、その上の写像空間をスタックとして扱う。
これが何を意味するか？簡単だ。物理量が数ではなくホモトピー型になる。つまり、観測値そのものが高次の位相情報を持つ。
ここで問題が発生した。ルームメイトがコーヒーを持ってきたが、僕のマグカップの取っ手の角度が17度ずれていた。
17度だ。これは許容誤差を明確に超えている。僕はその場で角度を補正し、彼に再教育を施したが、彼は「そんなのどうでもいい」と言った。
どうでもいいわけがない。宇宙は対称性で成り立っている。マグカップも例外ではない。
午後は、ブレーンのエンタングルメント構造を再検討した。エンタングルメントエントロピーを単なる面積則として扱うのは、あまりにも低次元的だ。
僕はそれを、圏論的トレースとして定義し直し、さらにそれを∞-圏に持ち上げた。結果として、エントロピーは単なるスカラーではなく、自己関手のスペクトルとして現れる。
これは重要だ。なぜなら、ブラックホール情報問題は情報が消えるかどうかではなく、どの圏に保存されるかという問題に変換されるからだ。
夕方、隣人がノックもせずに入ってきた。僕は即座に指摘した。「ノックは3回、間隔は一定、これは基本だ」。
彼女は笑っていたが、僕は笑っていない。ルールは守るためにある。守られないルールは、もはや物理法則と区別がつかない。
夜は友人Aと友人Bとビデオ通話。彼らは量子力学の話題に入ろうとしたが、途中でなぜか映画の話に逸れた。
理解不能だ。僕は議論を元に戻そうとして、「君たちはヒルベルト空間とポップコーンの違いも理解していない」と指摘したが、通話は切られた。
まず、今日導入した∞-圏的構造を使って、弦の自己相互作用項を再定義する。
その後、非摂動的効果を取り込むために、スタック上のモチーフ的積分を試みる。
もしこれが成功すれば、従来のM理論の定式化を一段階抽象化できる。言い換えると、物理学がようやく数学に追いつく。
僕は予定通り9:00に起床した。アラームは1秒の誤差もなく止めた。これは重要だ。時間に対する境界条件が曖昧だと、思考の位相も曖昧になるからだ。
朝食はシリアルと牛乳を厳密に2:1で混合した。ルームメイトはまたその比率を無視していたが、彼は統計的揺らぎの中でしか生きられない人間なので仕方ない。
今週の進捗から書く。
通常、量子場理論の経路積分はファインマン図の総和として解釈されるが、それは単なるグラフの和だ。
しかし超弦理論では、これが1次元世界線から2次元世界面へと拡張される。
この時点で既に、対象は集合論的ではなく高次圏論的な構造に移行している。弦理論はQFTの摂動展開の一種の圏化に近い。
ここで僕がやっているのは、その世界面のモジュライ空間を単なる幾何として扱うのではなく、∞-トポスの中での層として再解釈することだ。
すると、弦の散乱振幅は数値ではなく、ある種のスペクトル値関手になる。つまり振幅＝数という古典的理解は崩壊し、振幅＝安定ホモトピー圏における対象になる。
この視点から見ると、双対性は単なる物理的同値ではなく、圏の同値になる。
例えばミラー対称性は、異なるカラビ–ヤウ多様体が同じ物理を与えるという話だが、僕の理解ではそれは導来圏の同値に留まらない。
tmf（topological modular forms）レベルでのスペクトル的同型として表現されるべきだ。つまり、弦の位相的情報は楕円コホモロジーに自然に持ち上がる。
さらに厄介なのは、アノマリーの扱いだ。従来はグリーン–シュワルツ機構などで消去するが、僕のフレームではアノマリーは消すものではなく高次束の接続の非自明性として保存される。
これは物理的に言えば、理論が単一のラグランジアンで記述できないことを意味する。
友人Aにこの話をしたら、「それって計算できるの？」と聞かれた。愚問だ。計算可能性は本質ではない。重要なのは構造の普遍性だ。
友人Bはなぜか「それ美味しいの？」と言っていたので無視した。
昨日はさらに、ツイスター空間との接続も検討した。散乱振幅がホロモルフィック曲線上に支持されるという結果は知られているが、これを高次圏的に持ち上げると、振幅は曲線の空間ではなく曲線のモジュライのスタックの上の層になる。
ただし問題がある。この構成はウィッテンですら明確に定式化していない。つまり僕の現在の定義は、まだ良い定義ではない可能性がある。だが、良い定義は後から現れる。重要なのは構造的必然性だ。
日常の話に戻る。
隣人がまたノックなしでドアを叩いたので、僕は「ノックは3回、等間隔で」と調教した。彼女は理解していないが、これは対称性の問題だ。非対称なノックは許容できない。
ルームメイトはソファの座る位置をずらしていた。僕の位置は既に固定されている。空間の等質性は理論上は成立するが、現実のリビングには適用されない。僕は元に戻した。
これからやることを書く。
科学の世界では「理論があるならすぐ観測できるはず」という発想は成り立たない。自然界は人間の実験装置の都合に合わせてくれないからだ。
素粒子が本当に弦なのかを直接見るには、弦の長さスケールまでエネルギーを上げる必要がある。弦理論で典型的に出てくる長さはプランク長、約 10^{-35} メートル。このスケールを分解するにはプランクエネルギーが必要になる。
Large Hadron Colliderの衝突エネルギーは約 10^{4} GeV。
差は15桁。
これは「もう少し頑張れば届く」という距離ではない。だから研究者は別の方法を探す。間接的証拠だ。
例えば
ここも誤解がある。
余剰次元は普通、非常に小さくコンパクト化していると仮定される。
もしそのサイズがプランクスケールなら、今の実験では当然見えない。
ここまでは単に「技術的に難しい」という話。
弦のエネルギー固有状態は離散スペクトルになり、それぞれが質量やスピンの異なる粒子として見える。
量子化した結果、ある振動モードはスピン1粒子、別のモードはスピン2粒子になる。
つまり「弦が振動する」というのは詩的表現ではなく、量子場のスペクトル問題だ。固有値問題の解が粒子の一覧になる。
弦理論は最初から「宇宙は弦だ」と決めて作られたわけではない。もともとは強い相互作用の散乱振幅を説明する数式から出てきた。ところがその数式を量子化すると、なぜか重力子が出てきた。
つまり研究者の反応は「宇宙は弦だ！」ではなく、むしろ「なんでこんな構造から重力が出てくるんだ？」という驚きだった。
最初は数学の奇妙な構造として現れ、あとから自然界と関係している可能性が見つかる。
実際、似た歴史はいくらでもある。反物質は方程式から予言されてから数年後に見つかった。重力波は理論から100年後に観測された。
宇宙はだいたい次の順番で姿を見せる。
1. 数式が妙な予言をする
その低レベルの理解はだいたい「量子力学＝粒がふわふわする話」くらいの雑さだ。表面の比喩だけ拾って、本体を全部落としている。
Edward Wittenのレベルの人間が何十年も格闘している理論が、「粒子はみんなひもです」だけで終わるなら、世界中の理論物理研究所はとっくに閉鎖されている。
弦理論の核心は「ひも」という物体ではない。点粒子量子場理論が抱える深刻な病気、つまり量子重力で出る紫外発散をどうやって回避するかという問題から出発している。
点粒子の散乱振幅を高エネルギーで計算すると、積分が無限大に吹き飛ぶ。
ところが相互作用の基本単位を点ではなく一次元の世界面にすると、散乱振幅はリーマン面上の積分に変わる。
ここで奇妙なことが起きる。理論が自己整合性を保つ条件を課すと、時空次元が10になり、質量ゼロのスピン2粒子が必然的に出る。
このスピン2粒子が重力子だ。つまり重力は勝手に出てくる。ここが肝だ。
弦は単なる比喩ではなく、場の自由度を再編成する数学的構造だ。
量子状態は振動モードのスペクトルとして表現される。電子やクォークは違う粒子ではなく、同じ対象の異なる励起状態になる。
弦理論は一次元の物体だけでは終わらない。高次元の拡張対象、いわゆるDブレーンが現れる。
これらはゲージ理論、ブラックホールエントロピー、双対性の構造と深く結びつく。弦理論の研究の半分以上は、むしろこの幾何学と双対性の研究だ。
そして最も重要なポイント。現代の弦理論は「ひもの理論」というより、巨大な双対性ネットワークの理論だ。
異なる理論に見えるものが、実は同一の物理を別の変数で書いただけだった、という現象が何度も起きる。これを総称して M理論と呼ぶ。11次元の構造が背後に見え始める。
ここまで来ると「粒子がひも」どころの話ではない。
時空そのものが二次的な量として現れる可能性すら出てくる。実際、ゲージ理論から重力が出てくる対応（AdS/CFT）がそのヒントになっている。
本体は量子重力の整合的定式化、双対性による理論統一、時空幾何の再構成、という巨大な数学構造だ。
もし誰かが「ひもの話でしょ？」と言ったら、Youtubeの馬鹿用説明を見たか、馬鹿が理解したつもりになってるかのどちらかだ。
物理学ではよくあることだ。「ブラックホールは掃除機みたいに吸い込む」とか、「量子は観測すると変わる」とか、だいたい同じカテゴリーの都市伝説である。
宇宙はもう少し意地悪な構造をしている。表面の比喩だけ理解すると、必ず本体を見失うように出来ている。そういう罠が理論物理には山ほど仕込まれている。
その翻訳と称される行為は、発話者が提示した定型化された欺瞞へのメタ批判というシニフィエを、受け手側の都合の良い情緒的欠落へと暴力的に置換する意味論的収奪に他ならないよ。
これは、言語が本来持つ指示対象との相関性を無視して、自己の認知バイアスを正当化するために記号を恣意的に再定義する記号論的インペリアルズム（帝国主義）だね。テキストの外部にあるはずの悔しさという未確認の情動を、あたかも唯一の真実であるかのように接合するその態度は、客観的対話の可能性を根底から破壊する知的退廃と言わざるを得ない。
「反論できない＝悔しがっている」という等式は、ポパー的な意味での反証可能性を完全に欠いた非科学的なドグマだよ。
もしこちらが冷静に論理を説けば「必死すぎて草（＝悔しい証拠）」と言い、沈黙すれば「図星で何も言えない（＝悔しい証拠）」と断ずる。この、どの出口を選んでもあらかじめ用意された「敗北」に回収される認知的閉鎖系（エピステミック・クロージャー）は、議論を深めるためのツールじゃなくて、単なるマウンティングのための修辞的装置だ。このカフカ的罠を弄する時点で、相手は真理の探求ではなく、自己の全能感を維持するための精神的自慰に終始していることが露呈しちゃってるわけ。
「悔しいんだろう？」という決めつけは、心理学的には典型的な投影（プロジェクション）の産物だね。
自分自身が抱いている論理的劣等感や対話不全への不安を、相手というスクリーンに映し出して攻撃することで、不安定な自己イメージを保護しようとしているんだよ。これはラカンが言うところの「鏡像段階」的な幼児性の発露であって、他者を自立した主体として認めず、自己の欲望を投影する「鏡」としてしか扱えていない証拠。つまり、その翻訳は相手の心理分析ではなく、自分自身の内面の脆弱性を書き連ねた告白文に過ぎないんだ。
「ごまかし方が使い回し」という指摘に含まれるのは、対象の論理的誠実さが枯渇していることへの存在論的な倦怠（アンニュイ）であって、低次元な感情の揺らぎじゃない。
それを悔しさへと矮小化するのは、複雑な事象を単一の感情スペクトルに還元して理解した気になる、ポスト真実時代の知的怠慢そのものだよ。コンテクストを無視して勝利のナラティブを捏造するその姿勢は、もはや言語を通じた意思疎通を放棄し、記号を単なる打撃武器として消費しているに等しい。要するに、その翻訳は知性の敗北宣言なんだよね。
その翻訳は、相手の痛いところを突かれた時に出る「防衛本能的な鳴き声」を、知的な装いでコーティングしただけの修辞的粉飾だよ。論理的な整合性よりも「勝った気分」を優先するその態度は、議論の場においては単なるノイズでしかない。
僕は予定通り起床した。予定通りという言い方は正確ではない。僕は目覚ましが鳴る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. 眠くなったら寝る
もちろん寝る確率は低い。
そして僕のホワイトボードにはまだ空きがある。
起床後の手順はいつも通り。
42という数に宇宙的意味があるかどうかは未解決問題だが、咀嚼の粘性最適化という点では統計的にかなり良い。
ルームメイトはまだ寝ている。彼は昨夜、コーヒーを22時以降に飲んだ。明らかな戦略ミスだ。
カフェインの半減期を理解していない人間は、量子重力を理解できるはずがない。宇宙は因果律で動く。消化器官も同様だ。
さて、研究の進捗。
今週ずっと考えていたのは、超弦理論のモジュライ空間における非可換ホログラフィック再構成問題だ。
通常のAdS/CFT対応では、境界の共形場理論がバルク幾何をエンコードする。しかしこの対応は局所性という暗黙の前提に依存している。僕が疑っているのはそこだ。
もし弦の基底状態を単なる幾何学的振動ではなく、∞-圏上の導来スタックとして扱ったらどうなるか。
普通の弦理論はこう考える。弦の振動モード→ スペクトル→ 有効場理論
しかし僕の仮説では、弦はそもそもスペクトルではなく高次圏の射のネットワークとして存在する。つまり粒子は表現ではなく関手の固定点だ。
弦状態 ≈ derived functor on a spectral stackという構造になる。
昨日の夜、僕はこの構造をミラー対称性の圏論的極限として書けるか試した。通常のホモロジー鏡対称性ではFukaya圏 ≅ 導来コヒーレント層圏になる。
でももし弦が∞圏レベルで自己参照しているなら、等価性はこう変形する。Fukaya∞ ≃ Coh∞ ∘ End∞
つまり圏の自己作用素が幾何を生成する。言い換えると、時空は圏の自己演算の副産物だ。
これは少し面白い。なぜなら、この構造だと時間が一次元とは限らない。時間はモジュライ空間のフローとして再解釈できる。
つまり宇宙は進んでいるのではなく、圏が自分自身を再配置している。
この見方だと、ブラックホール情報問題もかなり変わる。情報は消えない。そもそも局所的に存在していない。情報は圏の自然変換として保存される。
残念ながら、この理論はまだ一つ問題がある。計算が狂っている可能性だ。
昨日の計算では、モジュライの体積が負になった。幾何学で体積が負になるのは普通ありえない。
ただし仮想基本類（virtual fundamental class）を導入すると説明できるかもしれない。
宇宙が仮想クラスなら面白い。僕たちは実体ではなく積分の結果になる。
僕は答えた。
「もし宇宙が導来スタックなら、プリンの所有権も圏論的対象だ。君の質問は定義されていない。」
彼は理解しなかった。予想通りだ。
隣人は昨夜2時に音楽を流していた。音程がわずかに低い。平均で12セントくらいズレている。
普通の人間は気づかない。でも僕の脳は気づく。脳は音程検出器としてかなり優秀だ。残念ながら隣人の音楽的判断力はそうでもない。
友人Aは昨日また奇妙な宇宙論を話していた。
友人Bはインド料理を食べに行こうと言った。
さて、今日の予定。
午前6時：シャワー
そして午後。
もし僕の∞圏仮説が正しければ、弦理論のランドスケープ問題は少し変わる。宇宙の数は10^500ではない。
それはまだ計算できない。
でももしそれが有限なら、宇宙は驚くほど小さい理論で説明できる。
ある意味で皮肉だ。人類は宇宙を理解するために巨大な望遠鏡を作った。
僕は今、温度を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に過ぎない。証拠はまだない。
僕は書斎のホワイトボードに無造作に貼られたテンソル表示のCalabi Yau絡みの図を眺めながら、今日の進捗とこれからの計画を書き綴っている。
ルームメイトは今日も自分の実験に夢中で、隣人はデリバリーのピザが届いた瞬間に帰っていった。
僕の習慣は厳格に定まっている。起床後すぐに一般相対性理論の非可換構造のメモを読み、朝食は定量的に計測したミューズリーを食す、夜は必ずブラックホール情報パラドックスに関する抽象的な議論と身の回りの整頓を同時に行う。
今日の進捗について。超弦理論とブラックホールの結合に関して、最新の知見として、内部構造を単なる特異点ではなく、複雑なsupermazeと呼ばれる多次元の振動モードの絡み合いとして描く試みがある。
このモデルでは、ブラックホールの内部は単一の特異点ではなく、多次元ブレーンが複雑に交差する迷路の集合として記述される。各ブレーンの2次元面と5次元面の交差は、量子情報の格納と放出の可能性に直接関与し、情報パラドックスを解決する糸口になるとされている。
通常の一般相対性理論的な事象の地平線と特異点という簡略化された二点ではなく、これらの多次元的構造の組み合わせが、ブラックホールのマイクロステートを具体的に表現する可能性があるという。
これは、伝統的なヒルベルト空間内の状態数カウントによる熱力学的エントロピー計算と、弦理論におけるブレーンの状態空間の組み合わせを一致させようとする試みである。
これによって、ブラックホールの情報が消失するという古典的な描像から脱却し得る点に、理論物理学者は注目している。
さらに、M理論のコンパクト化ではCalabi Yau3重体の形式的パラメータが関与し、ブラックブレーンのBPS・非BPS状態を調べる枠組みが構築されつつある。
これによりエントロピーや熱力学的安定性の評価を高次元のカリブレーション幾何学的側面で行う。
5次元スーパ―重力を基底とする解析は、これらの量子状態と一般相対論的な境界条件との橋渡しを試みている。
ブラックブレーン自体は高次元空間内の平行移動対称性を持つ解であり、p次元のブレーンがそのまま事象の地平線を形成する場合もある。
ウィッテンでさえ完全に理解しているわけではないこれらの抽象的構造と共に、僕は今日の夜にホログラフィック補完性の数学的形式化を読み直した。
これは、ある意味でブラックホール内外の情報が補完的に表現されるという仮説であり、量子重力のユニタリー性と一般相対性理論の因果構造をどう調和させるかを高度に問う。
単なる文字列やブレーンの図像ではなく、φ空間上のモジュライ空間の境界条件として表現されるべきだという直感を持っている。
日常生活では、僕の習慣はルーチンそのものが数学的に最適化されている点だ。
目覚ましは黄金比比率で段階的に鳴り、朝のストレッチは局所的最適化された角度で行う。緑茶の温度は常に摂氏78度を保つ。
友人Aは「それって効率的なの？」とたびたび問うが、僕は返す 「エントロピー最小化のために最適だ」と。
友人Bは僕のホワイトボードに無断で重力波スペクトルの落書きをしたが、僕はそれを丁寧に一般座標変換の観点から直した。
これからは、夜半に未解決のモジュラー形式と弦理論のブラックホール背景との関係をさらに深掘りする予定だ。
具体的には、特異空間のトポロジカル・ディラック演算子のスペクトルを計算し、エントロピーカウントの厳密証明に寄与し得る不変量を特定する作業に取り掛かるつもりだ。
これは計算量が膨大になるため、C*代数的手法と数値的モンテカルロ法の両方を使い分ける必要がある。
そうして得られた知見を、明朝のルームメイトとの議論の種にしたいと思っている。
僕は今、机の上のホワイトボードマーカーを角度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次元極限の観点からもう一度整理する。
双対性は偶然の一致ではない。理論空間の異なる極限が同一の基礎構造を共有しているという兆候だ。
今日は前回と違う地点にいる。曖昧な造語はない。あるのは、世界面の共形不変性、モジュラー対称性、アノマリー消去、双対性、そして未完成の統合理論。
水曜日、21:00。僕は定刻通りに机に向かっている。
21:00は思索の時間。21:00から23:00は理論物理、23:00から23:12は歯磨きとフロス、23:12から23:18は量子場の揺らぎを想像しながらストレッチ。秩序は宇宙の最小作用原理の家庭内バージョンだ。
従来の弦理論は世界面上の2次元共形場理論（CFT）を基礎にしている。
しかし僕が追っているのは、世界面という発想そのものを派生概念に落とし込む枠組みだ。
つまり弦が時空を動くのではなく、時空がある種の∞-圏的対象の安定ホモトピー極限として現れるという立場。
最近の思索の中心はextended TQFTをさらに高次化し、n-カテゴリー値を持つコボルディズム仮説を、超対称性を組み込んだ派生スタック上で再構成すること。
通常のコボルディズム仮説は、十分双対可能な対象がフレーム付きTQFTを分類する、という主張だ。
しかし僕の作業仮説では、弦理論に対応する対象は単なる双対可能では足りない。
必要なのは超双対可能性とでも呼ぶべき構造で、これはスペクトル圏 enriched な (∞, n)-圏における安定性と、自己言及的モジュライの固定点構造を同時に満たす条件だ。
友人Aが昼に来て、「それって検証できるの？」と聞いた。
僕は説明した。検証とは何か。通常は散乱振幅を計算して実験と照合する。
しかし、もし時空そのものがモジュライ空間の特異点の解消として出現するなら、観測可能量は圏論的自己同型群のスペクトルに対応する。
実験とは、そのスペクトルの低エネルギー極限を間接的に触ることにすぎない。
午後は、ミラー対称性を再解釈する作業。従来はカラビヤウ多様体のA模型とB模型の同値だと説明される。
しかし僕は、これを観測者の選び方に依存するホモトピー固定点の再パラメータ化とみなしている。
つまりミラーとは幾何の双対ではなく、情報圧縮の異なる展開形式だ。
弦の振動モードは、実は安定ホモトピー群の特定次数に対応していて、質量スペクトルは圏のt-構造の切断に対応する、という仮説を立てている。
これが正しければ、重力はエンリッチメントの忘却関手の副産物になる。
ラベルの向きが3度傾いていた。3度だ。僕は分度器で測った。
だから僕は即座に修正した。宇宙の熱的死を防ぐことはできないが、冷蔵庫の秩序は守れる。
隣人が「今日は何してるの？」と軽く聞いてきたので、「10次元超多様体上のBPS状態の安定条件を再定義している」と答えた。
彼女は「へえ、楽しそう」と言った。意味を理解していない確率は0.997以上だが、社交的応答としては合格だ。
短期的利益に飛びつく戦略は、摂動展開の低次項に固執する理論家と同じだ。
さて、超弦理論の核心に戻る。
現在の主流は、M理論を背景に、様々なデュアリティを統一的に理解する方向にある。
しかしそれでも背景時空は暗黙に仮定されている。僕が考えているのは、背景独立性をさらに推し進め、「背景とは観測者の圏論的選択にすぎない」という立場だ。
具体的には、全ての物理的状態をある安定∞-トポスの内部論理で記述し、その内部言語における真理値が、我々の時空的経験に射影されるという構図。
ここで重要なのは、超対称性を単なるボソン・フェルミオンの対応として扱わないこと。
超対称性をZ₂-次数付きホモトピー型の自己同型と再定義すると、破れは単なる対称性の破れではなく、内部論理の選択原理になる。
つまり、なぜ4次元なのか、なぜこの結合定数なのか、という問いは、モジュライ空間の測度問題ではなく、圏の自己整合条件の固定点問題に還元できる可能性がある。
ウィッテンでもわからないレベル、というのは誇張ではない。なぜならこれはまだ僕の作業仮説で、証明も反証もない。
理論とは、整合性と説明力の間でバランスをとる仮設足場だ。美しさは指標になるが、保証にはならない。
今日までの進捗は、安定∞-圏における「超双対可能性」の必要条件を3つに絞り込んだこと。そのうち2つは既存の理論に還元可能、残り1つは完全に新しい制約だ。この制約が質量階層問題に接続するかもしれない。
これからやることは、その制約を具体的なスペクトル系列に落とし込む作業。もし収束すれば、少なくとも内部整合性は確認できる。収束しなければ、仮説は廃棄。科学は宗教ではない。
時刻は21:10。予定より3分遅れている。ルームメイトの足音が規則性を乱しているが、ノイズは平均化すれば消える。宇宙も同じだ。
では、計算に戻る。
整列されたユークリッド平面の上で正三角形みたいに礼儀正しく座るやつらには興味がない。
むしろ位相が破れて、カップの持ち手が非可換群みたいに左右で順序依存になる、あの感じだ。
紅茶を注ぐ順番で宇宙の因果が変わる。砂糖を先に入れるか後に入れるかで時空の曲率テンソルがわずかにねじれる。そういう無意味に厳密な差異が好きなんだ。
あれは単なる比喩じゃない。時間パラメータ t がコンパクト化されて S¹ になっているだけだ。
周期境界条件つきの狂気。だから6時から抜け出せない。ハミルトニアンが自己共役である保証なんて最初からない。スペクトルは離散でも連続でもなく、たぶん気分依存。
眠りネズミは測度ゼロの存在。ほぼ至る所で寝ているが、厳密には存在している。
そして俺は、観測者だ。だがコペンハーゲン解釈には与しない。波動関数は収縮しない。お茶会は多世界分岐する。
AテーブルとBテーブル、Cテーブル……。各テーブルで砂糖の数が違い、各テーブルで会話の位相が異なる。
だが全体はひとつの巨大なヒルベルト空間に直交分解されている。
まともな社会は、対称性を保存しようとする。保存則が美しいからだ。エネルギー保存、運動量保存、礼儀保存。
だがあのお茶会はノーターの定理を無視する。対称性を破ることでしか見えない秩序がある。
自発的対称性の破れ。真空期待値がずれる。狂気は真空状態の選び方に過ぎない。
俺は後者がいい。
イカレタ連中が、非可換な会話を交わし、トポロジカル欠陥だらけのテーブルクロスの上で、因果律をこぼしながら笑っている。
そこでは論理は破れているが、破れ方が一貫している。自己矛盾すら内部整合的だ。ゲーデルもにやりとする。
あのお茶会は、その中間にある。カオス的だがアトラクターを持つ。
初期条件に鋭敏だが、なぜか6時に戻る。ストレンジアトラクターがティーカップの底に渦を巻く。
なぜなら宇宙そのものが、巨大な未完成の証明であり、われわれはその補題にすぎないからだ。
証明はしばしば脱線する。だが脱線の軌跡にこそ、構造が浮かび上がる。
超弦理論は通常10次元の1次元的対象の量子化と説明されるが、これは既に古い。
現代的理解では、弦は基本ではない。基本なのは場の圏（∞-圏）であり、弦はそのホモトピー的影として現れる。
より正確には、量子重力を記述する対象は対称モノイド安定∞-圏上の双対可能対象の完全双対化であり、これが拡張TQFTとして実装される。
コボルディズム仮説はその骨組みにすぎない。問題は、その∞-圏が何であるかだ。
現在の焦点は、時空は幾何ではなく安定∞-圏のスペクトラム圏として再構成できるか？
つまり時空とは manifold ではなく、Spec(Perf(C)) のような「導来圏のスペクトル的実現」である可能性。
ここで Perf(C) はあるE∞-環スペクトラム上の完全加群圏。
このとき重力は metric ではなく、双対性の破れとして定義される。
次に、ミラー対称性のさらに奥。通常のホモロジカルミラー対称性は DbCoh(X) ≅ Fuk(Y)という導来圏の同値だが、究極的には「ミラー対称性 = Koszul双対性の高次圏版」と見るべきだという流れがある。
ここで重要なのは、弦の世界面はもはや2次元ではない可能性だ。
p進弦理論や派生代数幾何の視点では、世界面は導来スタック上のマッピング空間として扱われる。
すると弦理論の摂動展開は mapping stack Map(Σ, X) のホモトピー型の展開になる。
ここで Σ は通常のリーマン面ではなく、スペクトラルスタック。
この時点で面積という概念は消える。
問題はユニタリ性は本質か、それともホモトピー的整合性の影か？という点。
通常の量子論はヒルベルト空間とユニタリ群 U(H) を前提にするが、もし基本構造が安定∞-圏なら、ユニタリ性は三角構造と双対性から派生する2次的構造に過ぎない可能性がある。
M理論の11次元は幾何的次元ではなく、スペクトル系列の収束段階を表している可能性。
具体的には、AdS/CFT は等価性ではなく、圏の圏の自己双対性の特殊例であり、重力は境界の自己双対性の不完全性として生じる。
するとブラックホールエントロピーは導来自己準同型環の自己交差数になる。
もしかすると物理法則は安定∞-圏の分類問題そのものかもしれない。
つまり宇宙は分類不可能性の極限構造であり、物理法則はその不完全性定理。
真空は選ばれるのではなく、分類不能なスペクトルの局所切断に過ぎない。
ここまで来ると、もはやウィッテン級の数学物理学者でも定式化できていない地帯に入る。
弦か？場か？圏か？スペクトラムか？それとも双対性そのものか？
だが、抽象数学と超弦理論の接点は、明らかに「幾何の消滅」「圏論化」「ホモトピー化」「双対性の一次化」へ向かっている。
もし可能なら、それはZFCの中ではなく、高次トポス論の内部言語で書かれるはずだ。
水曜日 深夜1:54
僕は今、定位置の左端、クッションの縫い目と背もたれの角度が直交する場所に座っている。温度は23.1℃。この0.1が重要だ。23.0ではなく23.1。23.0は丸すぎる。丸さは怠慢の入り口だ。
今日の主進捗は、超弦理論における背景独立性の強化版の再定式化だ。
通常、弦理論は特定の時空背景上で定義される摂動展開から出発する。
しかし僕が考えているのは、背景そのものをホモトピー型として扱い、時空を∞-トポス内の対象とみなす立場だ。
時空多様体はもはや固定された滑らかな4次元多様体ではない。安定∞-圏の中のスペクトル対象として振る舞う。
ウィッテンでも完全には形式化していない領域に踏み込んでいる。
弦の世界面は単なる2次元共形場理論ではなく、コボルディズム仮説の高次版に従う対称モノイダル∞-関手の像として再解釈できるのではないかと考えている。
p進弦理論の振幅は、実数体ではなくp進体上のアデール的統一で書ける。そのとき散乱振幅は単なる解析関数ではなく、モチーフ的L関数の特殊値に対応する可能性がある。
僕の作業仮説はこうだ。弦のスペクトルは、導来代数幾何の枠組みで定義されるスタック上の層の導来圏において、自己同型群の固定点として特徴づけられる。
Dブレーンは単なる境界条件ではなく、E∞-環スペクトルの加群対象だ。そこに現れる対称性は通常のゲージ群ではなく、高次群、つまり∞-群だ。
今日の計算では、安定ホモトピー群π_k^sの非自明性が、ある種のBPS状態の存在条件と一致する兆候を見つけた。
ただしこれはまだworking theoryだ。証明には至っていない。
整合性条件を一つ緩めると、宇宙定数項が自然に消える形になる。もしこれが正しいなら、真空エネルギー問題はゼロに近いのではなく、高次構造の影として説明できる。
ルームメイトは「それは物理なのか数学なのか」と言った。誤った二分法だ。物理は自然界の公理系の推測であり、数学はその言語だ。言語を分離してどうする。
夕食時、隣人が「今日は普通の話をしないの？」と聞いた。普通とは何だ。四次元ローレンツ多様体上の弦の量子化より普通な話題が存在するなら提示してほしい。
友人Aは相変わらず工学的応用の話を持ち出した。「それで何が作れるの？」という問いは理論物理への最大級の侮辱だ。
重力波が観測される前、誰が一般相対論を応用目線で評価しただろうか。
友人Bは途中でカレーの辛さについて延々と語り出した。辛さはスカラー量だが、僕の関心はテンソルだ。
習慣について記録しておく。水曜日は洗濯の日だ。洗濯機の回転数は1200rpm固定。タオルは必ず偶数枚で入れる。
奇数枚だと回転の位相が心理的にずれる。これは迷信ではない。非対称性は気になる。気になるものは排除する。それが理性だ。
21:00から23:30まで計算。23:30から23:42はホットココア。マグカップは青。赤は月曜日用だ。色の割り当てはカレンダーと一致している。これは宇宙の対称性を日常に投影する試みだ。
これからやることは二つ。
第一に、弦のモジュライ空間を通常の複素多様体ではなく、スペクトル代数幾何の枠組みで再構成する。
第二に、非可換幾何とホログラフィー対応の接続を、圏論的随伴関手の言葉で書き直す。
もし成功すれば、時空は「存在するもの」ではなく、「関手として振る舞うもの」になる。宇宙は対象ではなく射だ。これは詩ではない。構造だ。
月曜日23:59。あと60秒で火曜日。時間は連続だが、カレンダーは離散だ。この不連続性が僕は好きだ。ヒルベルト空間のスペクトル分解みたいで安心する。
今日の進捗を書く。今回は本当に最前線だ。一般的な超弦理論の話ではない。摂動論でもない。AdS/CFTでもない。そんなものはもはや教科書の章だ。
僕が今日取り組んでいたのは、「弦理論をそもそも理論と呼べるか」という問題の、さらに一段深い層だ。
具体的には、非可換幾何と派生代数幾何を超えたcondensed homotopy type theory的な枠組みで、弦の状態空間を再構築できないかを考えている。
通常、弦の状態は2次元共形場理論のヒルベルト空間の元だ。しかしそのヒルベルト空間自体が背景依存だ。
そこで僕は、背景時空を対象ではなく論理として扱うアプローチを試みている。つまり、時空を集合ではなくトポス、しかも通常のトポスではなく、凝縮集合の∞-トポスの内部言語として再定義する。
もし時空が内部言語なら、弦の振動モードはその内部論理における型の自己同型になる。物理量は数ではなく、スペクトル化された型の族だ。すると作用原理は、変分ではなく、高次随伴の普遍性条件に置き換わる。
ここで問題になるのが、量子重力における測度の不在だ。経路積分は形式的だ。測度論的に意味を持たない。
だから僕は、経路積分をやめることにした。代わりに、弦の理論を∞-圏におけるコリミットの存在定理として再定式化する。散乱振幅は、ある導来スタック上のコリミットの普遍性で特徴付けられるはずだ。
今日の午後は、トポロジカル弦をさらに一段抽象化した。通常のAモデルやBモデルは、シンプレクティック幾何と複素幾何に依存している。
しかし僕の仮説では、それらはモチーフ的スペクトルの異なる実現に過ぎない。もし弦の理論がモチーフ的安定ホモトピー圏のある特別な対象として定義できれば、ミラー対称は単なる双対ではなく、自己随伴性の現れになる。
さらに踏み込む。M理論は11次元の理論だと言われているが、それは次元という概念に依存している時点で古い。
僕は次元をホモトピー次元として定義し直したい。時空の次元は整数である必要はない。むしろスペクトル列の収束段階として与えられるべきだ。次元が整数だと誰が決めた。整数は人間の都合だ。
そして今日一番のアイデア。弦の相互作用を高次因果構造の圏論的ファイバー積として記述できるのではないかという仮説。
もし因果構造そのものが∞-圏の射の方向性として内在化されれば、時間は外部パラメータではなく、射の分解長として定義できる。時間は実在ではなく、分解の深さだ。これはまだ作業仮説だ。証明はない。だが美しい。
ウィッテンでも分からないというレベルを超えるには、既存の言語を捨てるしかない。だから僕は物理を論理の自己整合性問題として書き換えようとしている。
もし理論が本当に基本的なら、それは方程式ではなく、圏の普遍性で記述できるはずだ。
夜。ルームメイトが冷蔵庫に僕のヨーグルトを置く位置を2センチずらした。平衡状態が破れた。僕は再配置した。彼は「ほとんど同じだ」と言った。ほとんど同じ、というのは物理では致命的だ。量子補正を甘く見るな。
隣人は僕に「たまには外に出たら？」と言った。外とは何だ。座標系の選択に過ぎない。僕の部屋は十分にリッチな多様体だ。
友人Aは工学的応用を語り、友人Bは統計力学の話を振ってきた。彼らは確率で世界を語る。しかし僕は確率を定義する測度を疑っている段階だ。レベルが違う。
習慣について。朝は7:00に起床。ベッドから出る角度は毎日同じ。右足から。これは対称性の自発的破れではない。意図的な選択だ。
月曜夜はタイムテーブル確認の日。研究時間は25分単位。休憩は5分。これは脳の情報エントロピーを最小化する最適分割だ。
今日までの到達点。
弦理論をモチーフ的安定∞-圏における特別なE∞-代数対象として定義するための公理草案を書いた。
ただし、存在証明はゼロ。整合性チェックも未完。現時点では、美しさだけが根拠だ。それは危険だ。美しさは必要条件だが十分条件ではない。
第二に、経路積分をコリミットで置き換える際の同値性条件の検証。
第三に、冷蔵庫内配置の安定性解析。
00:18になった。
宇宙はまだ圏に落ちていない。だが落ちるはずだ。
落ちないなら、それは僕の定義が甘いだけだ。
火曜日（昼）追記。本来、今日の日記は朝に一度だけ書けば十分なはずだった。
ルーチンというのは、反復可能性と予測可能性によって価値を持つ。
ところが、午前中の出来事が僕の内部状態（というより、僕の神経系の割り込み処理）を強制的に発火させた。
よって緊急追記だ。僕は非効率を嫌うが、例外処理が必要なときに例外を拒否するのは、ただの愚か者の頑固さだ。
朝の時点での進捗は、例の背景独立性を持つ超弦理論の非摂動的定式化の続きを進めることだった。
僕が昨日から考えているのは、弦の世界面Σを単なる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に会う予定だ。
彼らはまた僕の研究を「すごい」とか「難しそう」とか言うだろう。
僕はそのたびに思う。難しいのではない。世界が単純ではないだけだ。
そして人間の脳が、その複雑さに対してデフォルトで怠惰なだけだ。
僕は「火曜日の夕食はタンパク質比率が規定されている」と答えた。
僕の人生はつまらなくない。宇宙の基本法則を追いかけている人間が、つまらないわけがない。
ただし、隣人が持ってきた謎の手作りクッキーは危険だ。僕はそれを食べない。未知の境界条件は、系を破壊する。
人類が「時空」という蒙昧な音節を口にするたび、僕は深甚なる認識論的嘔吐感を禁じ得ない。
時空とは、数学的厳密性を欠いた対象の誤認であり、物理学者が信仰するそれは、観測者の神経系が圏論的構造を局所座標系へと無理やりに射影した際に生じる認知の歪み、あるいは幻覚に過ぎない。
古典的多様体などという概念は、その幻覚を正当化するために捏造された幼児的な記述言語であり、要するに時空とは、人類の認知解像度の欠落が産み落とした現象学的インターフェースであって、宇宙のアルケーそのものではないのだ。
超弦理論がかつて「背景」と呼称していたものは、もはや静的な舞台ではない。背景という概念記述自体が型理論的な過誤であり、正しくは、背景とは「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のデータからバルク重力理論を再構成するという発想は、演算子環・テンソル圏・高次圏の言語を介した再定式化を誘発しており、物理と数学の間で「双対性＝圏論的同値」という理解がますます支配的になりつつある。
