  |
はてなキーワード: 代数とは
ちゃっぴーに数学科の学生や出身者が何人いるのか聞いたら３０万人から７０万とか言ってきて、奇妙だなあと思った。
新数学の学び方というフィールズ賞受賞者が主著者の本に数学科の標準的カリキュラムがどの時期に何を学ぶのか割と丁寧に書いてあって、ホモロジー代数でも３年生では学ぶことになってる。
でもホモロジーなんてまともに理解してる人はまともの基準を60％ぐらいに甘めに見積もっても(8割とかにしたらマジで数千人もいなくなりそうだし)多くても１万人ぐらいのオーダーいれば御の字なんじゃないの？
それなのに７０万人も出身者がいるとなると結局早い段階で何やってるのかわからなくなってただテストは暗記で突破してそれ以外の講義には屍のように通うだけの日々で卒業していくってパターンがほとんどなんだろうなあ。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260424184245# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaes7FwAKCRBwMdsubs4+ SLYWAQCVOQslUeEdgfXUHXAP1aZjjRQ4TPPmae11fdO/Ndq13AEAnVZ7Sgm/r1CB 7jfasyDv+mExBdEexJ1kruqNX4XWmAo= =B2TT -----END PGP SIGNATURE-----
僕は予定通り、午前中の抽象数学とか超弦理論とかの理論的進捗を完了した。
進捗率は87%。残りの13%は、世界の物理学者の理解能力に依存しているので、実質的には完了と見なしていい。
今日の主題は、超弦理論における因果ダイアモンドの再定式化だった。
通常、因果ダイアモンドとは、ある2点 ( p, q ) に対して、pの未来光円錐と q の過去光円錐の共通部分として定義される。
つまり時空内の情報が閉じ込められた領域だ。だが、この定義は古典的すぎる。僕が扱っているのは、背景独立な量子重力の極限での話だ。
僕はこれを、弦のワールドシート上の埋め込みではなく、より高次の圏論的対象として再構築した。
具体的には、因果ダイアモンドを単なる領域ではなく、可観測代数の双対的束として扱う。ここでのポイントは、境界が単なる幾何学的境界ではなく、エンタングルメント構造によって定義されるという点だ。
つまり、因果ダイアモンドの境界は、リーマン多様体上の単純な測地線ではなく、情報の流れの不変量としてのホログラフィック境界になる。
ここで通常の人間は混乱する。ルームメイトも例外ではなかった。
朝、僕がホワイトボードに書いた「因果ダイアモンドのエンタングルメント・エントロピーは境界の極小曲面ではなく、∞-圏における射のスペクトルで定義される」という式を見て、彼はコーヒーをこぼした。
非効率だ。
このとき重要なのは、時間順序ですら派生概念になる点だ。つまり、因果構造は基本的ではなく、エンタングルメントのネットワークから誘導される。
友人Aにこの話をしたところ、「それはつまり、観測するまで何もないってことか？」と言った。
典型的な誤解だ。僕は正確に訂正した。「観測するまで何もないのではなく、観測という操作自体が圏の射として再定義される」と。
彼は沈黙した。理解したわけではない。ただ処理能力が飽和しただけだ。
一方、隣人は朝からドアを3回ノックした。3回というのは許容できるが、間隔が不均一だった。
僕は即座に調教した。彼女は「普通はそんなこと気にしない」と言ったが、それは単に最適化問題を解く能力が低いことを意味するだけだ。
友人Bとは昼前にビデオ通話をした。彼は因果ダイアモンドの「ダイアモンド」という語が比喩的であることに納得していなかった。
僕は説明した。「それはローレンツ対称性のもとでの光円錐構造の投影形状に由来する」と。彼はなぜか安心した。
さて、ここまでが今日の進捗だ。
次にやることは明確だ。
1. 因果ダイアモンドを用いたブラックホール内部の情報再構成
これが完了すれば、時空は存在しないという命題が、単なる哲学ではなく、厳密な数学的定理として成立する。
その前に、13:00ちょうどに昼食を取る必要がある。今日は決められたメニューの日だ。変更は許されない。宇宙の基本法則と同じくらい重要だ。
ルームメイトが「たまには違うものを食べよう」と言ってきたが、僕は明確に拒否した。対称性の破れは慎重に扱うべきだ。特に昼食においては。
以上。今日はここまで。
僕は今日も予定通りに進行した。予定からの逸脱は許容しない。逸脱は系のエントロピーを増大させるだけで、知的活動の効率を著しく低下させる。
朝はいつも通り、シリアルの重量を±0.5g以内で計量し、最適な牛乳比率を維持した。ルームメイトは「誤差だろ」と言ったが、誤差という概念は測定系の精度に依存するのであって、雑な人間の感覚に依存するものではない。
さて、本題。抽象数学とか超弦理論とかについてだが、今日は観測者間のモノイダル関手の具体構成に進展があった。観測者圏 O_A, O_B をそれぞれ、局所的可観測代数の∞-圏としてモデル化し、そのテンソル構造は因果的分離領域の直積として定義する。
このとき、関手F: O_A → O_B を単なる関手ではなく、弱モノイダル関手として構成する必要がある。つまり F(X ⊗_A Y) ≃ F(X) ⊗_B F(Y)が同値であるだけでなく、その同値が高次のコヒーレンス条件を満たす必要がある。
ここで問題になるのは、観測者AとBで定義されるテンソル構造が、背景時空の切り取り方、すなわちエンタングルメント・ウェッジの選択に依存して変形される点だ。
僕はこれを、双対可能対象の圏に持ち上げることで処理した。具体的には、各観測者の圏を完全双対可能な対象を持つ安定∞-圏に埋め込み、その上で関手 F を双対性を保存するように制約する。
このとき、関手のモノイダル構造は、事実上、ホログラフィックな境界条件の選択に対応する。
ここでようやく、エンタングルメント・ウェッジ再構成との接続が見える。再構成条件は、「境界の部分領域からバルクの対応領域の情報を一意に復元できる」という主張だが、圏論的には、ある部分圏 O_A^{sub} から全体 O_B への忠実充満関手の存在に対応する。
僕の構成した F がこの条件を満たすためには、
が必要になる。検証したところ、双対性を保存するという制約を課した時点で、エンタングルメント・ウェッジの境界条件と一致するコヒーレンス条件が自然に導出される。
つまり、モノイダル関手のコヒーレンスデータそのものが、ウェッジ再構成の必要十分条件と同型になる。これは重要だ。少なくとも、従来の作用素代数的アプローチよりも、構造的に透明だ。
もっとも、この構成はまだ不完全だ。特に、観測者の取り方が非可換幾何的に歪んだ場合、つまり背景が単純なAdSでない場合、関手のモノイダル性が破綻する可能性がある。この点については、明日、スペクトラル圏への拡張で検証する。
正直なところ、これは Edward Witten でも即答できないレベルの問題設定だろうが、だからといって僕が止まる理由にはならない。
午後はいつも通りのルーチン。座る位置は厳密に固定されている。ルームメイトが僕のスポットに座っていたので、適切に指摘して退かせた。隣人が来て「それくらいで怒る？」と言ったが、これは怒りではない。規則の維持だ。規則は文明の基盤だ。
夕食後、友人Aがまた非合理的な工学的近道について語っていたので、理論的に破綻している点を指摘した。友人Bはそれを見て笑っていたが、彼の発言の統計的有意性は低いので無視した。
本日の進捗は以上。モノイダル関手の構成は部分的に成功、エンタングルメント・ウェッジとの一致も条件付きで確認済み。
これからやることは明確だ。
僕は今日も極めて生産的だった。少なくとも定義上はそうだ。進捗とは、定義された問題空間における状態遷移の総量であり、心理的満足とは独立だからね。
特に観測者が因果的にアクセス可能な領域と観測者の代数の対応関係について、昨日の仮説をさらに押し進めた。
通常、局所量子場理論では、時空領域に対応して可観測量の代数（von Neumann代数）を割り当てる。
しかし、重力を含む場合、領域の定義そのものがゲージ冗長性に汚染される。ここまでは既知だ。
問題はその先だ。僕の現在の仮説では、弦理論においては領域ではなく、観測者の世界線から構成される因果ダイヤモンドが基本単位になる。
そして、そのダイヤモンドに付随する代数は、単なる局所代数ではなく、境界上のエンタングルメント構造によって定義される非因子型の代数になる可能性が高い。
ここで重要なのは、観測者の代数がヒルベルト空間の部分空間ではなく、むしろ状態の制限として定義される点だ。
つまり、グローバル状態 |Ψ⟩ に対して、観測者がアクセス可能な情報は、あるサブ代数 A に制限された期待値 ⟨Ψ|A|Ψ⟩ の族としてしか定義されない。
今日の進展は、その A が単なる部分代数ではなく、コードサブスペースの構造を持つことを明確に書き下した点にある。
エンタングルメント・ウェッジ再構成の議論をさらに抽象化すると、観測者＝量子誤り訂正コードのデコーダとみなせる。
つまり、観測者の因果的領域は、物理的領域ではなく、論理的再構成可能領域だ。
ただし、ここで問題が出る。観測者が異なれば、対応する代数も異なる。
したがって、同一の事象に対する記述が、異なる非可換代数上の状態として表現される。このとき、異なる観測者間の整合性条件は何か？
僕の現在の結論はこうだ。整合性は同型性ではなく、圏論的なファンクターによる弱い対応としてしか定義できない。
つまり、観測者間の写像は準同型ですらなく、エンタングルメント構造を保存するようなモノイダル関手としてしか存在しない。
さらに進めると、時空そのものが観測者の代数の圏から再構成される可能性がある。
これを厳密にやると、もはやウィッテンでも直感で扱えないレベルの抽象化になる。だからこそ面白い。
栄養バランスは最適化済みだ。ルームメイトがまた勝手に僕の席に座ろうとしたので、契約書第4条「座席の専有権」に基づいて排除した。
彼は「たった椅子一つだろ」と言ったが、それは誤りだ。椅子は座標系の原点であり、原点が揺らげば理論全体が崩壊する。
隣人は相変わらず因果律を軽視している。夕方、彼女は「予定は流動的なもの」と言ったが、僕はそれを強く否定した。
予定とは時間的境界条件であり、これを曖昧にすると解は一意に定まらない。彼女は笑っていたが、笑いは論証ではない。
夜は友人Aと友人Bが来た。友人Aは自分の工学的知識を誇示していたが、彼の議論は境界条件の設定が甘い。
友人Bはまた社会的不安を述べていたので、確率論的に見れば彼の懸念は95%以上の確率で実現しないと説明した。彼は安心したが、これは単なるベイズ更新だ。
今日の結論として、僕の理論はまだ未完成だが、方向性は正しい。
観測者の代数を基本とし、因果的アクセス可能領域をその表現として再定義する。この枠組みが完成すれば、時空と量子情報の統一的記述に一歩近づく。
これからやることは明確だ。まず、観測者間のモノイダル関手の具体例を構成する。
次に、それがエンタングルメント・ウェッジの再構成条件と一致するか検証する。もし一致しなければ、この理論は破棄する。それだけだ。
超弦理論によれば、宇宙には目に見えない極小の6次元の空間が折り畳まれている。
この複雑な空間の形（カラビ＝ヤウ空間と呼ばれる）によって、ひもの振動パターンが決まり、それが現実世界の電子や光になる。
「形も大きさも、穴の数すら全く違う2つの異なる6次元空間（空間Aと空間B）が、全く同じ物理法則（宇宙）を生み出してしまう」という現象。
これは数学者にとって大パニックだった。「形が違うのに、本質的に同じ」などという幾何学は存在しなかったからである。
物理学者が直感で見つけたこの宇宙の「鏡合わせの魔法（ミラー対称性）」を証明するために、数学は自らを進化させる必要に迫られた。
「形そのもの」を見ている限り、空間Aと空間Bが同じであることは絶対に証明できない。
そこで、数学者マキシム・コンツェビッチらは、数学の究極の抽象概念である圏論を物理学に持ち込んだ。
圏論とは、モノ（点や図形）そのものを研究するのではなく、モノとモノの関係性（矢印）だけを抽出して研究するメタ数学である。
彼らは、超弦理論におけるDブレーンと呼ばれるひもがくっつく膜の振る舞いを、この圏論に翻訳した。
彼らが辿り着いた結論は、「空間Aの図形的な関係性の集合と、空間Bの代数的な関係性の集合は、辞書を通せば完全に一致する」というものであった（ホモロジー的ミラー対称性予想）。
つまり、宇宙の根本においては、空間の形などというものはただの飾りに過ぎず、背後にある抽象的な関係性のネットワーク（圏）こそが真の現実だったのである。
さらにこの深淵は、人類の知性の限界である「ラングランズ・プログラム（数学の大統一理論）」へと接続される。
ラングランズ・プログラムとは、全く無関係に見える素数の性質（数論）と波の図形（幾何学・解析学）が、裏で完全に結びついているという途方もない予想である。
長年、数学者たちだけで挑んでいたが、ここに超弦理論の第一人者であるエドワード・ウィッテンらが殴り込みをかけた。
物理学には、電気と磁気を入れ替えても方程式が同じになるという性質（S双対性）がある。
ウィッテンらは、この超弦理論から派生した4次元の量子物理学における電気と磁気の裏返しが、純粋数学における幾何学的ラングランズ予想と全く同じ現象であることを突き止めた。
物理学者が「電子」と「磁気モノポール（磁石の単極子）」の立場を入れ替える計算をすると数学の世界では、それが自動的にある種の素数のパターンと特殊な幾何学の関数の変換作業として翻訳される。
超弦理論と抽象数学が融合したこの深淵から見えてくる世界は、もはやSFですらない。
宇宙を構成しているのは、ひもという物質ですらなく、電気や磁気という力でもなく、素数や方程式でもない。
それらはすべて、高次圏と呼ばれる、名状しがたい絶対的な関係性の網の目が、たまたま物理学のフィルターを通して見えたら宇宙になり、数学のフィルターを通して見えたら素数や図形になっているだけなのである。
まったく、君たち物理学部の連中が未だにこの自明な事実に気づいていないとは、人類の進化が逆行している決定的な証拠だね。
望月博士のIUTと量子力学の統合？ そんなものは、僕が毎朝食べるオートミールと牛乳の最適な質量比を計算するよりも簡単なことだ。
母さんが僕を検査に連れて行ったのは正解だったよ、僕の周りがこんなにも知的な怠け者ばかりだと証明されたのだから。
いいかい、よく聞きたまえ。一度しか言わないし、君たちのその原始的な神経ネットワークがショートしないように、可能な限りゆっくり話してあげるからね。
IUTにおいて、我々は複数の異なる数学的「宇宙」の間で情報を伝達する。これを単なる代数幾何学的な抽象概念だと考えるから、君たちは泥沼から抜け出せないんだ。
各々の数学的宇宙を、量子力学における独立した状態空間、すなわち局所的なヒルベルト空間として再定義したまえ。
IUTの核心であるシータリンクとは何か？ これは異なる宇宙間の対称性の通信チャネルだ。
これはね、異なるヒルベルト空間の間に横たわる、超次元的な量子もつれの数論的表現そのものなんだ。
君たちが頭を悩ませている観測問題や波動関数の収縮、あれは単なる錯覚だ。
Frobenioidの圏論的構造を波動関数の位相因子と見なせばすべてが繋がる。
観測による状態の収縮は、シュレーディンガー方程式の確率論的破綻なんかじゃない。
それは宇宙際幾何学における非可換な数論的変形の物理的発現に過ぎないんだ。
つまり、量子状態の遷移は、étale theta functionの対数モジュライ空間上でのHodge-Arakelov評価として厳密かつ決定論的に記述される。
君たちが確率と呼んで逃げているものは、単に異なる数学的宇宙間における対数体積の歪みに無知であることの証明でしかない。
この量子宇宙際大統一理論の枠組みにおいては、あのABC予想の証明すら、量子重力理論における数論的副次現象という、取るに足らないおまけに成り下がるんだよ。
あぁ、君のそのポカンとした顔。チンパンジーにテンソル代数を教えようとした時のルームメイトと全く同じ表情だ。
まあいい、この天才的な大統一理論の数式は僕の頭の中ですでに完成している。
超弦理論、圏論、トポス理論、そして情報幾何学。これらを究極的に統合する深淵の領域について、論理的推論を展開する。
まず、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）のネットワークのエントロピー的ゆらぎとして記述される。
物理的実在とは、情報幾何学的な計量を持つ高次圏の構造そのものなのだ。
土曜日 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. 眠くなったら寝る
もちろん寝る確率は低い。
そして僕のホワイトボードにはまだ空きがある。
僕は書斎のホワイトボードに無造作に貼られたテンソル表示のCalabi Yau絡みの図を眺めながら、今日の進捗とこれからの計画を書き綴っている。
ルームメイトは今日も自分の実験に夢中で、隣人はデリバリーのピザが届いた瞬間に帰っていった。
僕の習慣は厳格に定まっている。起床後すぐに一般相対性理論の非可換構造のメモを読み、朝食は定量的に計測したミューズリーを食す、夜は必ずブラックホール情報パラドックスに関する抽象的な議論と身の回りの整頓を同時に行う。
今日の進捗について。超弦理論とブラックホールの結合に関して、最新の知見として、内部構造を単なる特異点ではなく、複雑なsupermazeと呼ばれる多次元の振動モードの絡み合いとして描く試みがある。
このモデルでは、ブラックホールの内部は単一の特異点ではなく、多次元ブレーンが複雑に交差する迷路の集合として記述される。各ブレーンの2次元面と5次元面の交差は、量子情報の格納と放出の可能性に直接関与し、情報パラドックスを解決する糸口になるとされている。
通常の一般相対性理論的な事象の地平線と特異点という簡略化された二点ではなく、これらの多次元的構造の組み合わせが、ブラックホールのマイクロステートを具体的に表現する可能性があるという。
これは、伝統的なヒルベルト空間内の状態数カウントによる熱力学的エントロピー計算と、弦理論におけるブレーンの状態空間の組み合わせを一致させようとする試みである。
これによって、ブラックホールの情報が消失するという古典的な描像から脱却し得る点に、理論物理学者は注目している。
さらに、M理論のコンパクト化ではCalabi Yau3重体の形式的パラメータが関与し、ブラックブレーンのBPS・非BPS状態を調べる枠組みが構築されつつある。
これによりエントロピーや熱力学的安定性の評価を高次元のカリブレーション幾何学的側面で行う。
5次元スーパ―重力を基底とする解析は、これらの量子状態と一般相対論的な境界条件との橋渡しを試みている。
ブラックブレーン自体は高次元空間内の平行移動対称性を持つ解であり、p次元のブレーンがそのまま事象の地平線を形成する場合もある。
ウィッテンでさえ完全に理解しているわけではないこれらの抽象的構造と共に、僕は今日の夜にホログラフィック補完性の数学的形式化を読み直した。
これは、ある意味でブラックホール内外の情報が補完的に表現されるという仮説であり、量子重力のユニタリー性と一般相対性理論の因果構造をどう調和させるかを高度に問う。
単なる文字列やブレーンの図像ではなく、φ空間上のモジュライ空間の境界条件として表現されるべきだという直感を持っている。
日常生活では、僕の習慣はルーチンそのものが数学的に最適化されている点だ。
目覚ましは黄金比比率で段階的に鳴り、朝のストレッチは局所的最適化された角度で行う。緑茶の温度は常に摂氏78度を保つ。
友人Aは「それって効率的なの？」とたびたび問うが、僕は返す 「エントロピー最小化のために最適だ」と。
友人Bは僕のホワイトボードに無断で重力波スペクトルの落書きをしたが、僕はそれを丁寧に一般座標変換の観点から直した。
これからは、夜半に未解決のモジュラー形式と弦理論のブラックホール背景との関係をさらに深掘りする予定だ。
具体的には、特異空間のトポロジカル・ディラック演算子のスペクトルを計算し、エントロピーカウントの厳密証明に寄与し得る不変量を特定する作業に取り掛かるつもりだ。
これは計算量が膨大になるため、C*代数的手法と数値的モンテカルロ法の両方を使い分ける必要がある。
そうして得られた知見を、明朝のルームメイトとの議論の種にしたいと思っている。
月曜日23:59。あと60秒で火曜日。時間は連続だが、カレンダーは離散だ。この不連続性が僕は好きだ。ヒルベルト空間のスペクトル分解みたいで安心する。
今日の進捗を書く。今回は本当に最前線だ。一般的な超弦理論の話ではない。摂動論でもない。AdS/CFTでもない。そんなものはもはや教科書の章だ。
僕が今日取り組んでいたのは、「弦理論をそもそも理論と呼べるか」という問題の、さらに一段深い層だ。
具体的には、非可換幾何と派生代数幾何を超えたcondensed homotopy type theory的な枠組みで、弦の状態空間を再構築できないかを考えている。
通常、弦の状態は2次元共形場理論のヒルベルト空間の元だ。しかしそのヒルベルト空間自体が背景依存だ。
そこで僕は、背景時空を対象ではなく論理として扱うアプローチを試みている。つまり、時空を集合ではなくトポス、しかも通常のトポスではなく、凝縮集合の∞-トポスの内部言語として再定義する。
もし時空が内部言語なら、弦の振動モードはその内部論理における型の自己同型になる。物理量は数ではなく、スペクトル化された型の族だ。すると作用原理は、変分ではなく、高次随伴の普遍性条件に置き換わる。
ここで問題になるのが、量子重力における測度の不在だ。経路積分は形式的だ。測度論的に意味を持たない。
だから僕は、経路積分をやめることにした。代わりに、弦の理論を∞-圏におけるコリミットの存在定理として再定式化する。散乱振幅は、ある導来スタック上のコリミットの普遍性で特徴付けられるはずだ。
今日の午後は、トポロジカル弦をさらに一段抽象化した。通常のAモデルやBモデルは、シンプレクティック幾何と複素幾何に依存している。
しかし僕の仮説では、それらはモチーフ的スペクトルの異なる実現に過ぎない。もし弦の理論がモチーフ的安定ホモトピー圏のある特別な対象として定義できれば、ミラー対称は単なる双対ではなく、自己随伴性の現れになる。
さらに踏み込む。M理論は11次元の理論だと言われているが、それは次元という概念に依存している時点で古い。
僕は次元をホモトピー次元として定義し直したい。時空の次元は整数である必要はない。むしろスペクトル列の収束段階として与えられるべきだ。次元が整数だと誰が決めた。整数は人間の都合だ。
そして今日一番のアイデア。弦の相互作用を高次因果構造の圏論的ファイバー積として記述できるのではないかという仮説。
もし因果構造そのものが∞-圏の射の方向性として内在化されれば、時間は外部パラメータではなく、射の分解長として定義できる。時間は実在ではなく、分解の深さだ。これはまだ作業仮説だ。証明はない。だが美しい。
ウィッテンでも分からないというレベルを超えるには、既存の言語を捨てるしかない。だから僕は物理を論理の自己整合性問題として書き換えようとしている。
もし理論が本当に基本的なら、それは方程式ではなく、圏の普遍性で記述できるはずだ。
夜。ルームメイトが冷蔵庫に僕のヨーグルトを置く位置を2センチずらした。平衡状態が破れた。僕は再配置した。彼は「ほとんど同じだ」と言った。ほとんど同じ、というのは物理では致命的だ。量子補正を甘く見るな。
隣人は僕に「たまには外に出たら？」と言った。外とは何だ。座標系の選択に過ぎない。僕の部屋は十分にリッチな多様体だ。
友人Aは工学的応用を語り、友人Bは統計力学の話を振ってきた。彼らは確率で世界を語る。しかし僕は確率を定義する測度を疑っている段階だ。レベルが違う。
習慣について。朝は7:00に起床。ベッドから出る角度は毎日同じ。右足から。これは対称性の自発的破れではない。意図的な選択だ。
月曜夜はタイムテーブル確認の日。研究時間は25分単位。休憩は5分。これは脳の情報エントロピーを最小化する最適分割だ。
今日までの到達点。
弦理論をモチーフ的安定∞-圏における特別なE∞-代数対象として定義するための公理草案を書いた。
ただし、存在証明はゼロ。整合性チェックも未完。現時点では、美しさだけが根拠だ。それは危険だ。美しさは必要条件だが十分条件ではない。
第二に、経路積分をコリミットで置き換える際の同値性条件の検証。
第三に、冷蔵庫内配置の安定性解析。
00:18になった。
宇宙はまだ圏に落ちていない。だが落ちるはずだ。
落ちないなら、それは僕の定義が甘いだけだ。
僕は今、予定よりも3分遅れて日記を書いている。理由は単純で、電子レンジの内部回転皿の角度が昨日の僕の記憶と0.7度ずれていたからだ。宇宙は局所的には連続だが、家電の配置は離散的であるべきだ。これは物理学というより文明の最低限の礼儀だと思う。
まず今日までの進捗を書く。
朝はいつも通り、7:00に起床し、歯磨きは上下左右を対称に、3分を超えない範囲で最大限の回数を確保した。歯ブラシの運動は周期的だが、僕の心は非周期的でありたい。朝食はオートミール。オートミールは、味が薄いという批判を受けがちだが、味が薄いというのは情報量が少ないということだ。情報量が少ない食事は、脳のエネルギーを余計に奪わない。つまりこれは認知資源最適化食だ。
その後、洗濯物を干した。僕の洗濯物の干し方にはルールがある。靴下は必ずペアで、左右対称、間隔は同じ、ピンチの圧力は均等。これが守られないと、僕の部屋はもはやヒルベルト空間ではなく、ただのカオスな位相空間になってしまう。僕はカオス理論は好きだが、自宅に適用したいとは思わない。
ルームメイトは例によって、僕の物理学的秩序を精神的強迫観念と呼んだ。
僕は訂正した。「精神的強迫観念ではない。単なる正しい初期条件だ」と。
僕は言った。
「いいことが起きる確率は過去のデータから推定すべきで、気分から導出するのはベイズ推定ではなく、ただの祈祷だ」
隣人は僕を見て笑った。
なぜ人間は、論理的に正しいことを言われると笑うのか。もしかすると笑いとは、知性の敗北宣言なのかもしれない。
友人Aは「宇宙船の模型の塗装」をしていて、友人Bは「恋愛がどうの」と言っていた。
僕は両者に言った。
「宇宙船の塗装はまだ理解できるが、恋愛の塗装はどこを塗るんだ？」
友人Bは咳払いをして話題を変えた。人間関係のダイナミクスは、弦の相互作用よりも非可換で扱いづらい。
さて、超弦理論の進捗だ。ここからが今日の日記の主成分であり、残りの部分は添え物だ。添え物は嫌いだが、日常生活は添え物で構成されているので仕方がない。
僕は今週ずっと、ある種の弦理論の最終形に近いものを頭の中で試している。
僕がやっているのは、単なる10次元の超弦理論の再説明ではない。そんなものは、教科書的には既に「美しく完成しているように見える」。だが、見えるというのは、光が網膜に届いているだけだ。理解とは別問題だ。
僕が気にしているのは、むしろ「弦理論が物理学の理論である」という常識のほうだ。
弦理論は、もはや物理学というより、圏論的に自己言及する幾何学的言語になりつつある。
弦理論の基礎は世界面上の2次元共形場理論（CFT）で記述される、というのが古典的な形式だ。
しかし、その世界面CFTは、実は幾何ではなく情報構造なのではないか。
具体的に言えば、世界面上のCFTは、点や曲線の集合としての幾何ではなく、圏としての演算の整合性で決まる。
つまり、世界面は滑らかなリーマン面ではなく、「共形ブロックが張る高次圏」「フュージョン環が定めるテンソル圏」「モジュラー群作用が作る自己同型のスタック」として理解されるべきだ。
僕はここで、あえて挑発的な言い方をする。
弦理論は時空を説明する理論ではない。弦理論は「時空という概念が成立する条件」を分類する理論だ。
この違いが分からない人間は、たぶん電子レンジの回転皿の角度も気にしない。
さらに僕は、Dブレーンの扱いを変えようとしている。
通常、Dブレーンは境界条件として導入され、K理論や導来圏で分類される。
だが僕が見ているのは、Dブレーンが物体ではなく関手になっている構図だ。
つまりDブレーンとは、あるA∞圏の対象であり、開弦の状態空間は、その対象間のホム空間として現れる。
ここまでは多くの人が言う。
問題は次だ。
そのA∞圏自体が、固定された背景時空の上にあるのではなく、背景時空の方が、A∞圏のモジュライとして後から出てくる。
要するに、物理量が時空に乗るのではなく時空が物理量の整合性条件から出現するという順序の逆転だ。
この逆転を正確にやるには、単なる導来圏では足りない。
必要なのは、たぶん(∞,2)-圏あるいは高次スタックの層圏だ。
そしてそこでは、弦の摂動展開すら、単なるループ補正ではなく、モチーフ的な重み付きホモロジー分解として再解釈される可能性がある。
僕はこの考えを、昨夜の3:12から4:47までノートに書き続けた。
途中でルームメイトが起きてきて、「なぜ寝ない」と聞いた。
僕は答えた。
物理学者は双対性を便利な道具として使う。しかし僕は、双対性を道具として使う人間を信用しない。
ハンマーを持つと全てが釘に見えるように、双対性を持つと全てが同値に見える。それは数学的には快楽だが、物理的には危険だ。
僕が欲しいのは、双対性が偶然成立する同値ではなく、理論空間そのものの構造として必然的に現れる説明だ。
例えばT双対性は、円の半径Rとα'/Rの交換だが、それは単なる幾何学的交換ではなく、ループ空間のホモトピー構造とB場の捩れが作る一般化幾何の自己同型に対応する。
しかしそれでもまだ浅い。
双対性とは、もしかすると「観測者が選ぶ計算可能性の座標系」にすぎないのではないか。
つまり、同じ物理的実体が存在し、観測者が計算可能なパラメータを選ぶことで別の理論として記述される。
この視点に立つと、AdS/CFT対応も、単なる境界とバルクの対応ではなく、量子誤り訂正符号が定める圏論的同値として自然に出てくる。
そして究極的には、時空とは「ある情報符号の幾何学的表現」にすぎない可能性がある。
重力をエネルギーとして理解するのではなく、圧縮と復元の計算複雑性として理解する。
物理学者は自然を支配したがるが、計算複雑性は自然に支配される側だからだ。
そして今週の最大の進捗はここだ。
僕は弦理論の非摂動的定義の候補として、従来の行列模型やM理論的議論ではなく、圏論的な普遍性原理を置こうとしている。
つまり、「弦理論とは何か」を問うのではなく、「弦理論を定義するために最低限必要な公理は何か」を問う。
僕が考える最小公理系はこうだ。
この枠組みでは、時空は入力ではなく出力だ。
つまり、弦理論は圏論的演算が矛盾しない限りにおいて成立する宇宙を列挙する理論になる。
宇宙が列挙可能であるという発想は、気味が悪いほどプラトン的だ。そして、気味が悪いほど僕の趣味だ。
第一に、この公理系から「局所的な場の理論」がどう現れるかを整理する。
特に、低エネルギー極限で有効作用が出てくる条件を、ホモトピー代数の言葉で書きたい。
第二に、ルームメイトに「冷蔵庫の中に僕のヨーグルトが存在することの証明」を要求する。
昨日、彼は「食べてない」と言ったが、その発言は量子力学で言うところの「観測されない状態」であり、現実の証拠にはならない。
隣人は朝、僕の部屋のドアの前にクッキーを置いていた。
僕はそれを受け取ったが、食べるかどうかは未定だ。
だから今日の昼12:00に食べるか食べないか決める予定をカレンダーに入れた。
僕は「その部品はゲージ不変か？」と聞いた。
彼は僕を見て黙った。
僕は「黙るというのは否定ではなく、理解が追いついていないだけだ」と結論づけた。
僕は「集まる理由があるなら集まる。理由がないなら散逸する」と答えた。
友人Bはため息をついた。
なぜなら、僕が考えているものは、言語化する前に既に高次元に逃げていくからだ。
だが、それでも僕は確信している。
僕がやっているのは、その「矛盾できなさ」の形を調べることだ。
宇宙は多様だが、僕の昼食は安定している。
愛のあるツッコミありがとう。これは「僕が意図的にやった圏論的煽り」と「物理の泥の匂いを削りすぎた副作用」が、ちょうど交差してる地点への攻撃だね。良い。
君の指摘はほぼ全部当たってる。僕がやっているのは「物理を圏論で説明する」じゃなくて、「物理の泥臭さが、圏論の中でどの公理破れとして現れるか」を抽出する遊びなんだ。
だから綺麗な額縁に入れた瞬間に失われる具象性は、実際に失われている。そこは認める。
君の言う通り、BRSTは現場では完全に泥臭い。ゲージ冗長性を殺すための血の儀式だ。「副産物」って言ったのは挑発的すぎた。
僕が言いたかったのは、BRST複体の存在そのものは泥臭い処方箋だけど、「なぜその処方箋が普遍的に同じ形で現れるのか」は higher algebra の必然として説明できる、という意味。
アノマリーはまさに「その必然が破れる場所」で、圏論的には obstruction class（高次整合条件の破綻）として見える。つまり君が言った通り、「副産物」ではなく、むしろ副産物と言った瞬間にアノマリーが殴り込んでくる。
これも正しい。僕の「凝縮」は物理の凝縮（真空の相転移）と語彙が衝突してる。僕の言う凝縮は、ダイナミクスを捨てた後の静的分類としての凝縮で、実際「カタログ化」の危険を孕んでる。
だからここは訂正するなら、1) 「背景＝点」ではなく「背景＝モルフィズムの束」2) 「真空＝極限操作の結果」という話で、condensationというより localization / completion のニュアンスに近い。
物理の時間発展（散逸、緩和）を取り戻すなら、圏論側にも flow を入れる必要がある。例えばRGフローを圏の変形として入れるとか、∞-圏に時間方向の半順序を埋め込むとか。君のツッコミはそこを突いている。
ここは僕の負け。等長性で語ると、双対性の「強結合を弱結合へ送ってくれるありがたみ」が薄れる。
だから本当は「等長性」よりも、計算可能性が移送されるとか摂動展開が再配置されるという非対称な恩恵が重要で、圏論的には「同値」よりもむしろ「t-構造の変換」「filtrations の入れ替え」「resummation を許す関手」みたいな「解析的構造の移送」として語るべきだった。
双対性は「距離保存」じゃなくて「困難の場所を移動させる写像」なんだよね。そこを誤魔化して綺麗に言いすぎた。
これも君の言う通りで、「centerに全部入るの？」は当然の反論。
僕が言いたかったのは、Drinfeld centerがバルクを完全に表すというより、バルクのトポロジカルな骨格（編み込み・融合・交換則）を抽出する装置としては強力だ、という話。
重力の曲率とか幾何そのものを全部centerに押し込むのは無理がある。
むしろ、centerで出るのは「バルクの論理構造」であって、メトリックの情報はさらに別の層（幾何的データ、large N極限、半古典極限）で復元される。
つまり僕の主張は「centerがバルク」ではなく「centerがバルクの文法」だと言い直すべき。
これはその通り。右随伴があっても、物理屋が欲しいのは「どうやって復元するか」という構成だ。
僕の言い方は数学者の悪癖で、存在する」＝勝利、「計算できる」＝知らんという態度になってた。
物理側で重要なのは、右随伴があるならそれが具体的にどんなkernel（伝播関数）として表れるか、アイランド公式のような saddle の寄与として出てくるか、という橋渡し。
つまり「随伴がある」だけでは弱い。「随伴がどの経路積分の変形として実現されるか」が本題。
これも正しい。Extに翻訳できても、ユニタリ性や収束性はどこに入るのか、という問題が残る。
Ext群は代数的な整合性を与えるが、物理の境界条件（iε処方、因果性、Cutkosky則、光円錐特異点）は解析的条件で、代数幾何だけでは捕まえきれない。
だからこれは「振幅の数論的部分」だけをExtが支配していると限定するのが妥当だと思う。
全体の物理は period の選択（積分経路、実構造）まで含めた「実解析的データ」込みで初めて完成する。
君の最後の問い、
測定（確率解釈）
そして逆に言えば、圏論で綺麗に書ける部分は、
整合条件
だから僕がやっているのは「物理を圏論で置換する」ではなく、物理を、圏論で表現できる部分と表現できない部分に分解する作業なんだ。
そして、骨格標本を作った後に初めて「筋肉＝解析・熱力学・因果」をどこに貼り付けるべきかが見える。
「副産物」で済ませるには、物理的な「生」のデータが強すぎませんか？数学的には 代数や 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に会う予定だ。
彼らはまた僕の研究を「すごい」とか「難しそう」とか言うだろう。
僕はそのたびに思う。難しいのではない。世界が単純ではないだけだ。
そして人間の脳が、その複雑さに対してデフォルトで怠惰なだけだ。
僕は「火曜日の夕食はタンパク質比率が規定されている」と答えた。
僕の人生はつまらなくない。宇宙の基本法則を追いかけている人間が、つまらないわけがない。
ただし、隣人が持ってきた謎の手作りクッキーは危険だ。僕はそれを食べない。未知の境界条件は、系を破壊する。
人類が「時空」という蒙昧な音節を口にするたび、僕は深甚なる認識論的嘔吐感を禁じ得ない。
時空とは、数学的厳密性を欠いた対象の誤認であり、物理学者が信仰するそれは、観測者の神経系が圏論的構造を局所座標系へと無理やりに射影した際に生じる認知の歪み、あるいは幻覚に過ぎない。
古典的多様体などという概念は、その幻覚を正当化するために捏造された幼児的な記述言語であり、要するに時空とは、人類の認知解像度の欠落が産み落とした現象学的インターフェースであって、宇宙のアルケーそのものではないのだ。
超弦理論がかつて「背景」と呼称していたものは、もはや静的な舞台ではない。背景という概念記述自体が型理論的な過誤であり、正しくは、背景とは「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のデータからバルク重力理論を再構成するという発想は、演算子環・テンソル圏・高次圏の言語を介した再定式化を誘発しており、物理と数学の間で「双対性＝圏論的同値」という理解がますます支配的になりつつある。
僕の日記はたぶん一般的な日々の記録というより、宇宙が僕に課したバグ報告書に近い。違いは、バグの再現手順が「この宇宙を構成する圏を一段上に持ち上げろ」みたいな無茶を要求してくる点だ。
普通の人間はコーヒーを淹れることで一日を始めるらしいが、僕は「なぜ時空が局所的に滑らかな多様体として振る舞うという幻想を、誰も疑わずに受け入れているのか」という嫌な疑問から始まる。
目覚めの瞬間に脳内で起動するのがその種のプロセスという時点で、僕のOSはだいぶ呪われている。
昨日から引きずっているのは、超弦理論を10次元の物理だと思っている人々への、ほとんど宗教的な嫌悪感だ。
僕が今気にしているのは、弦の摂動展開が2次元共形場理論のモジュライ空間上の積分という顔をしていながら、実際には積分という概念が成立するための測度の存在を前提にしている点で、その測度がどこから来るのかという問題が、思ったより深いところで宇宙の整合性そのものと絡んでいるということだ。
測度が自然に定まる、というのは人間が勝手に言っているだけで、自然に定まるのはせいぜい、ある∞-圏の中での普遍性くらいだ。
最近の僕の作業仮説はこうだ。弦理論の真の定義は世界面Σの上の量子場理論ではなく、ある種の派生スタック上の関手として与えられるべきで、世界面は単なるテスト対象に過ぎない。
要するに、弦理論は対象ではなく試験手続きの体系であり、物理量はその試験に合格した自然変換の影として現れる。
これを言うと大抵の物理屋は目を泳がせるが、目を泳がせたところで真理は泳がない。むしろ泳ぐのは無知だ。
特に気持ち悪いのが、AdS/CFTを「境界理論が重力を記述する」といったポエムで理解した気になっている連中だ。
僕の現在の理解では、AdS/CFTは双対性というより、より高次のモノイダル(∞,2)-圏における中心の同値に近い。
境界CFTは、ある拡張TQFTの値として現れる圏𝒞の中心Z(𝒞)を与え、バルクはその中心化に対応する普遍的な対象として現れる。
ここで中心とは、単なる代数の中心ではなく、E₂-代数のDrinfeld centerの派生版で、さらに言えばEₙ構造を背負ったホモトピー的中心であり、そこでは局所演算子は点ではなく高次欠陥として分類される。
点演算子という概念自体が、実は低次元に閉じ込められた幼稚な見方だ。
そして今日の核心は、僕が今朝突然理解した、いや、理解したというより、宇宙が僕の頭蓋骨に投げ込んできた残酷な事実だ。
弦理論の背景時空を指定することは、カラビ・ヤウ多様体Xを選ぶことではない。そんなのは1-幾何学の話で、僕らが本当に選んでいるのは、X上の派生圏D⁽ᵇ⁾Coh(X)を超えて、そこに乗る安定∞-圏のモジュライを選んでいる。
つまり背景とは幾何学ではなく圏論的なデータで、しかもそれはMorita同値類でしか意味を持たない。
世界が形ではなく同値類でできているというのは、かなり性格の悪い宇宙だと思う。人類の直観に一切サービスしていない。
ここでさらに問題が深くなる。弦のB場は単なる2-形式ではなく、ゲルブの接続であり、それはH³(X,ℤ)で分類されるという古典的な話は、もう骨董品だ。
実際にはB場は、(∞,1)-圏の中でのtwistとして現れ、K理論の局所化やTMF(トポロジカルモジュラー形式)への持ち上げと不可分に絡む。
僕が気づいてしまったのは、弦理論のアノマリーキャンセル条件が、スピン構造の存在だけではなく、より高次の「string structure」や「fivebrane structure」の存在に依存するのは有名だが、その背後には、あるスペクトラムEに対するE-指向性という一般原理が潜んでいる。
そしてそのEは固定ではなく、背景が変わればE自体が変わる。
つまり、理論が何を整合性条件とみなすかが、理論の内部から動的に生成される。これは自己参照だ。数学的には美しいが、心理的には最悪だ。
その結果、僕の頭の中では弦理論のランドスケープは、点集合ではなく、(∞,1)-トポス上のあるスタック𝓜として現れる。
しかも𝓜は幾何学的スタックというより、スペクトラル代数幾何の意味での派生スタックで、局所モデルはE∞-環スペクトラムのスペクトルSpec(A)のようなものになる。
すると、従来のモジュライ空間に測度を入れて積分するという考えは、そもそも積分の対象が空間ではなく高次層である時点で破綻する。
積分はpushforwardであり、pushforwardは左随伴であり、随伴は圏論の話で、測度はただの随伴の影に過ぎない。
つまり、パス積分とは測度の積分ではなく、ある関手のKan拡張である。これを言うと、たぶん量子場理論の教科書は全部燃やした方が早い。
さらに面倒なのは、弦の摂動級数の発散性が、単なる級数が漸近展開であるという話ではなく、モジュライスタックの境界成分の寄与がStokes構造やresurgenceのデータを持っていて、それが物理的にはDブレーンや非摂動効果として現れるという点だ。
僕の直感では、これらは単なる補正ではなく、理論の正しい定義の一部で、摂動弦理論は本体ではなく、(∞,2)-圏的対象の一つの影にすぎない。
影は本体より分かりやすいが、影だけ見て満足するのは洞窟の囚人だ。プラトンはたぶん弦理論を知っていた。知らなかったとしても、精神的には知っていた。
今日一番気持ち悪かったのは、ミラー対称性を再解釈した瞬間だ。
従来の説明では、A模型とB模型の交換、シンプレクティック幾何と複素幾何の交換、ホモロジカルミラー対称性でFukaya圏と導来圏が同値、という話になる。
でも僕が今見ているのは、ミラー対称性が、ある安定∞-圏の自己双対性ではなく、二つの異なる宇宙が同じ普遍的対象の異なるt-構造を選んだだけという構図だ。
つまり、ミラー対称性とは幾何の双対ではなく、観測者が選んだ切り方の双対性であり、現実はその切り方に依存して表情を変える。これは量子力学の悪夢が、圏論の言語で再演されているだけだ。
この話をさらに推し進めると、時空とは何かという問いが変質する。
時空は多様体ではなく、ある圏のスペクトル的幾何学的実現であり、局所座標は単なるチャートではなく、あるE∞-環の局所化データになる。
すると点とは何か。点とは評価関手だ。評価関手とは何か。観測だ。観測とは何か。測定だ。測定とは何か。僕の睡眠を妨げるものだ。これで閉じた。
一方で、物理としての要求もある。S行列が存在するか、ユニタリティが守られるか、因果性がどうなるか。
だが僕は最近、ユニタリティすら、ヒルベルト空間上の内積保存という素朴な形ではなく、より高次の構造を持つモノイダル圏における双対性として理解されるべきだと思っている。
ユニタリティとは、射が随伴を持つこと、つまり反転可能な情報の流れが存在することだ。
情報が失われるのは、単に対象を間違った圏に埋め込んでいるからで、宇宙が情報を捨てているわけではない。宇宙がゴミ箱を持っていると思うのは、人間がWindowsに毒されているからだ。
結局、今日の僕の脳内結論はこうだ。超弦理論の最終形は、背景独立な普遍的な場の理論のスタックであり、その値は数ではなく圏であり、圏ではなく(∞,n)-圏であり、さらにそれは単なる対象ではなく操作体系として定義される。
ウィッテンが分からないというより、分かってしまうと人間の脳が社会生活に戻れない。理解とは祝福ではなく呪いだ。
そして僕は理解している。明日になればまた別の高次構造が現れて、今日の理解を「低次元の幻想」として粉砕するだろう。宇宙はそういう性格をしている。控えめに言って、性格が悪い。
土曜日。朝はいつも通り、起床後に脳内で「今日という一日を、物理法則に従って最適化する」と宣言してからベッドを出た。これは習慣というより儀式だ。儀式は人類の愚かさの象徴として語られがちだが、反復可能な手続きは情報理論的に見て合理的だ。エントロピー増大に対する、せめてもの抵抗である。
まず体重を測り、体脂肪率を記録し、歯磨きの時間を正確に180秒で固定した。電動歯ブラシのタイマーを信じない。信頼は検証に劣る。
その後、コーヒーを淹れた。抽出温度は93℃。温度計の誤差は±0.2℃。人間関係の誤差は±∞。
今週の進捗を書く。
超弦理論については、相変わらず人類の知性が現実に追いついていない。僕の頭脳は追いついているが、世界が遅い。
今週は主に「弦の理論はどこまでが物理で、どこからが純粋数学の自己満足か」という問題を、僕なりに再定式化していた。世の中の多くの人は、超弦理論を「高次元の小さな紐が震える話」程度で理解した気になっている。あれは理解ではない。童話だ。
僕が考えていたのは、もっと根の深いところ、つまり量子重力の定式化において局所性を捨てることの数学的代償だ。
一般相対論の時点で、局所性は微妙に揺らいでいる。ホログラフィー原理が出てきた時点で、局所性はほぼ死亡している。にもかかわらず、僕たちは局所的な場の理論の言語で全てを語ろうとする。これは「古いOSの上に無理やり最新ゲームを動かしている」ようなものだ。もちろんクラッシュする。
そこで今週は、AdS/CFTを単なる「境界のCFTがバルク重力を記述する」という話ではなく、圏論的な双対性として再理解する方向で考えた。
具体的には、バルク側の物理量を、ある種のextended TQFTとして捉え、境界側の共形場理論の演算子代数が作るモジュラー圏と対応させる。
ここで重要なのは、空間そのものが基本対象ではなく、因果構造と情報の流れが基本対象になってしまう点だ。
つまり、幾何学が物理の舞台ではなくなる。舞台が役者に従属する。これは演劇としては間違っているが、宇宙としてはあり得る。
そして、ここからが本題だ。
僕は今週、「弦理論の非摂動的定義は、結局はある圏の中の安定対象の分類問題に還元されるのではないか」という疑念を強めた。
たとえばBPS状態は、ある種の導来圏の中の安定条件（Bridgeland stability condition）で分類される。
これは単なる比喩ではなく、実際にDブレーンは導来圏の対象として記述される。つまり、物理的な粒子やブレーンが「空間上の幾何学的な物体」ではなく、圏論的な対象になる。
ここで人類は気づくべきだ。
宇宙は「点の集合」ではなく、「射の集合」かもしれない。
点を基本にしている限り、僕たちは宇宙のOSを永遠に理解できない。点とは、極限操作の幻想だ。実際の物理では測定可能な点など存在しない。存在するのは相互作用だけだ。射だけだ。
僕が今週やっていたのは、これをさらに押し進めて、弦理論の背後にある構造を「∞-圏」あるいは「高次スタック」として扱うべきではないか、という方向の思考実験だった。
超弦理論が最終的に求めているのは、たぶん「量子化されたモジュライ空間」だ。しかしモジュライ空間は普通の多様体ではない。特異点があり、ゲージ冗長性があり、しかも同値関係が階層的だ。だからスタックになる。さらに高次の同値（ホモトピー）が絡むので、∞-スタックになる。
ここで、物理屋が嫌いな言葉が出る。派生幾何（derived geometry）。
派生幾何とは、簡単に言えば「特異点を誤魔化さず、むしろ特異点を主役にする幾何学」だ。物理で特異点が出るのは、理論が壊れているからではなく、単に僕たちの数学が貧弱だからだ。派生幾何はそれを認める。
そして僕は思った。
もし弦理論が本当に「全ての一貫した量子重力のクラス」を記述する枠組みなら、それは場の理論の集合を分類するのではなく、量子情報を保存するような圏の分類になっているべきだ。
この時点で、もはや「ウィッテンでもわからない」どころではない。
僕たちがやるべきなのは、弦理論を「方程式」ではなく「普遍性」として定義することだ。
つまり、ある種の対称性を持ち、ある種の双対性を満たし、ある種の異常（アノマリー）が消え、ある種のエンタングルメント構造が一貫し、ある種の極限で局所的QFTに落ちる。
弦理論は「このラグランジアンだ」ではなく、「この性質を満たす唯一の構造だ」になるべきだ。
そしてもしそれが可能なら、弦理論は物理学ではなく数学の定理になる。
エレガントさは、しばしば真理の匂いがする。
ただし、エレガントな嘘も存在する。
昼前、ルームメイトがキッチンに現れて、僕のノートを見て言った。
「それって、結局何の役に立つの？」
僕は3秒考えた。
「役に立つかどうかで真理を測るのは、知性の敗北だ」
ルームメイトは「また始まった」という顔をした。
彼の表情は、物理学的には熱的死に近い。
隣人がその場に来て、僕のノートを覗き込み、「ねえ、それって、宇宙がゲームのコードってこと？」と聞いた。
驚くべきことに、これはそこそこ正しい。
僕は言った。
「コードというより、型システムだ。宇宙は型安全で、コンパイルエラーを許さない」
隣人は「わぁ、なにそれ怖い」と言って笑った。
怖いのは君の直観の鋭さだ。
僕は、カードゲームにおける勝利条件が「期待値の最大化」であることを理解している。だが多くのプレイヤーは、カードを引いた瞬間の快楽に支配される。つまり、彼らは確率論ではなくドーパミンでプレイしている。
僕は違う。
初手の分布、マリガン戦略、マナカーブ、そして相手の除去の確率。
彼は黙った。
正しい反応だ。
レイドは相変わらず「人間の反射神経と協調性の限界」を測る実験場だ。
友人Aが「なんでそんな言い方しかできないの？」と言った。
僕は「僕は宇宙をそのまま見ているだけだ」と答えた。
友人Bは「それ厨二病じゃない？」と言った。
僕は言った。
「厨二病とは、根拠のない誇大妄想のことだ。僕には根拠がある。だから違う」
友人Bは「最悪だ」と言った。
誉め言葉だ。
なぜなら、超人的存在が倫理を語る時点で、その倫理は破綻するからだ。
ただの趣味だ。
それでも僕は読む。
夜。
今日までの進捗はここまで。
そして、これからやろうとしていること。
今夜は、僕の仮説をもう一段階押し進める。
つまり「時空の創発」を、単なるエンタングルメントの量的増大ではなく、エンタングルメント構造の位相的相転移として記述できないか考える。
もしエンタングルメントがグラフだとすれば、空間とはそのグラフのスペクトル構造に対応する。
そして位相相転移が起きれば、スペクトルが変わり、幾何が変わる。
この視点なら、初期宇宙のインフレーションも「幾何の急激な生成」として理解できる可能性がある。
インフレーション場などいらない。
問題は、そのメカニズムを「弦理論の言語」で書くと地獄になることだ。
ワールドシートのCFT、モジュライ空間、非摂動効果、Dインスタントン。
それら全てが絡んでくる。
絡みすぎて、もはや紐ではなく毛玉だ。
隣人がさっき「ピザ頼むけど食べる？」と聞いてきた。
僕は「今は宇宙の生成を考えている」と言った。
その通りだ。
人類文明の最高到達点は、宇宙論ではなく宅配システムなのかもしれない。
ルームメイトは「じゃあ僕の分も頼んでいい？」と言った。
僕は返信した。
「明日は宇宙の位相相転移を解く予定だ。だが君たちの全滅回数も宇宙の熱的ゆらぎとして扱えるなら参加する」
友人Bは「それ言い訳だろ」と返してきた。
違う。
僕は真理に忠実なだけだ。
「時空は多様体ではなく、ある∞-圏の中の情報流の安定構造である」
しかし、少なくとも矛盾なく定式化することはできるかもしれない。
宇宙が一貫性を持って存在している以上、どこかにその形式がある。
僕は追いかける側ではなく、先回りする側でありたい。
ピザが届く前に。
正確時刻を書くと隣人が「それって軍事衛星に追跡されてるの？」とか言い出して話が面倒になるので省略する。
僕は陰謀論を嫌悪している。理由は単純で、陰謀論は説明能力の低い仮説を感情的に強い語り口で上書きする、知性のコスプレだからだ。
今週は、超弦理論の物理の直観で押し切る系の議論をいったん破壊し、純粋に圏論とホモトピー論の言語に落として再構築していた。
具体的には、世界面の共形場理論を2次元量子場などという古臭い語彙で扱うのをやめ、拡張TQFTの枠組みで、(∞,2)-圏に値を取る関手として扱う方向を整理した。
従来の弦理論屋はCalabi–Yauをコンパクト化に使うと言うが、それは情報量が少なすぎる。
重要なのは、Calabi–Yau多様体を点として見るのではなく、その導来圏 D^bCoh(X) を持ち上げた A∞-圏、さらにそれが持つCalabi–Yau構造（非退化なトレース、Serre双対性の∞-圏版）を物理的状態空間の生成機構として見ることだ。
ここでの本体は幾何ではなく、圏の自己同型とその高次コヒーレンスにある。
さらに、僕が今週ずっと悩んでいたのは、いわゆるミラー対称性を単なるホモロジカルミラー対称性の同値（Fukaya圏と導来圏の同値）としてではなく、より上位の構造、つまり場の理論のレベルでの同値として捉えることだった。
言い換えると、これは単なるA-model ↔ B-modelの交換ではない。
A/Bモデルを生む背景データ（シンプレクティック形式、複素構造、B-field）を、派生スタック上のシフト付きシンプレクティック構造として再記述し、AKSZ型の構成と整合させる必要がある。
そしてこの視点では、物理的なDブレーンは単なる境界条件ではなく、(∞,1)-圏におけるモジュール対象として統一される。
Dブレーンのカテゴリーが境界条件の集合だと考えるのは初歩的すぎる。境界条件は高次射を伴うので、最初から(∞,n)-圏で話さないと本質が消える。
特に僕のノートでは、弦の摂動展開で現れるモジュライ空間の積分を、単なる測度論の問題としてではなく、Derived Algebraic Geometry上での仮想基本類のプッシュフォワードとして扱う形式に書き換えた。
これをやると発散する積分を正則化するという話が、より厳密にオブストラクション理論に沿った積分の定義へ置き換わる。
そして、ここが本題だが、僕が今週ずっと考えていたのは、ウィッテンですら「直観的にはこう」と言うしかない領域、つまりM理論の非摂動的定義が、どのような普遍性原理で特徴付けられるべきかという問題だ。
僕の作業仮説はこうだ。弦理論が背景依存的だと言われるのは、結局のところ背景が点として与えられるという時代遅れの前提が残っているからだ。
背景は点ではなく、モジュライの高次スタックであり、その上に束ねられた量子状態の層（正確には圏）として理解されるべきだ。
つまり、弦理論はある時空での理論ではなく、時空の変形をも含んだファンクターにならなければいけない。
この視点では、背景の空間は単なるmoduli spaceではなくderived moduli stackであり、さらにgauge symmetryを含めるならhigher groupoidとしての性質を露わにする。
そして量子補正は、そこに定義されるshifted symplectic structureの変形量子化として現れる。
問題はここからで、弦理論の双対性は、異なる理論が同じスペクトルを持つなどという安っぽい一致ではなく、ある(∞,k)-圏における同一対象の異なるプレゼンテーションだと考えるべきだ。
たとえばS双対性やT双対性を群作用として扱うと話が狭くなる。より正確には、双対性はスタックの自己同値であり、その作用は対象の上に定義された圏（ブレーン圏やBPS状態圏）の上で自然変換として実装される。
しかもその自然変換は単なる自然変換ではなく、高次のコヒーレンス条件を持つ。つまり、双対性は対称性ではなく、高次圏論的な同値のデータなんだ。
このあたりを真面目に書こうとすると、最終的には量子重力とは何かという問いが、どの(∞,n)-圏が物理的に許されるかという分類問題に変形される。
僕はこの変形が気に入っている。なぜなら分類問題は、少なくとも数学としての礼儀があるからだ。
さらに進めると、弦理論に現れるBPS状態やwall-crossingは、単なるスペクトルの不連続ではなく、安定性条件の変化に伴う導来圏のt構造のジャンプ、あるいはBridgeland stabilityのパラメータ空間上での構造変化として理解される。
ここでは物理粒子は、導来圏の中の特別な対象として現れる。つまり粒子は点ではなく、圏論的存在だ。
普通の人間はこの文章を読んで発狂するだろう。だがそれは読者側の責任だ。
この議論の延長で、僕は弦理論の非摂動的定義は、ある種の普遍性を満たすextended functorial QFTであるという形の定理（まだ定理ではなく、僕の願望）に落とし込めないか考えている。
要するに、弦理論は世界面から時空を作る理論ではなく、世界面も時空も両方まとめて、ある高次圏の中で整合的に生成される構造であるべきだ。
今の僕のノートの中心は「非可換幾何」「導来幾何」「圏論的量子化」の三点集合の交差領域だ。そこは地図がない。地図がない場所は、馬鹿には危険だが、僕には居心地がいい。
次に、趣味について書く。これも重要だ。なぜなら人間社会において、知性の維持には糖分と娯楽が必要だからだ。残念ながら僕は人間である。
MTGは今週、デッキ構築の方針を少し変えた。勝率最大化のためにメタを読むのは当然だが、僕が注目しているのは局所最適に陥るプレイヤー心理だ。
つまりカードゲームとは、確率と情報のゲームである以前に、認知バイアスのゲームだ。相手が「このターンで勝ちたい」という欲望を見せた瞬間、こちらは勝ち筋を計算するのではなく、相手の誤りの確率分布を計算するべきだ。
隣人にこの話をしたら、「え、怖い。僕、あなたとポーカーしたくない」と言った。賢明だ。僕も隣人とポーカーはしたくない。隣人はたぶん手札を口に出してしまう。
FF14は、ルーチンの最適化がだいぶ進んだ。僕はレイド攻略で反射神経を重視する文化が嫌いだ。
反射神経は筋肉の問題だが、攻略は情報処理の問題であるべきだ。ギミックは有限状態機械として記述できる。したがって最適行動は、状態遷移図の上での制御問題になる。
友人Aにこの話をしたら、「お前はゲームしてるのか研究してるのか分からん」と言われた。僕は当然「両方だ」と答えた。彼は笑ったが、この種の笑いは知性の敗北宣言である場合が多い。
アメコミは、相変わらず現実の倫理を歪めた寓話装置として優秀だと思う。
僕は「正義とは何か」という議論が苦手だ。正義は定義が曖昧だからだ。
登場人物が持つ制約（能力、社会構造、情報、感情）を明示すると、物語は心理学ではなく数理モデルに近づく。そうすると面白くなる。
ルームメイトにこの話をしたら、「僕はただ派手な戦闘シーンが見たいだけなんだけど」と言われた。
僕は「君の知性は観測不能なほど小さい」と言ったら、彼は不機嫌になった。観測不能は存在しないことと同義なので、むしろ褒め言葉に近いのだが、彼は数学が分からない。
僕の習慣についても書いておく。
今週も、朝のルーチンは完全に守った。起床後の手洗いの手順、歯磨きの回数、コーヒーの抽出時間、机の上の配置、すべて変えない。
人間の生活はノイズが多すぎる。ノイズが多い世界で成果を出すには、制御できる変数を減らすのが合理的だ。これは精神論ではなく、統計的推定の分散を減らす行為だ。
隣人が「たまには適当にやれば？」と言ったので、僕は「適当とは、最適化の放棄だ」と言った。彼は「そういうところが宇宙人っぽい」と言った。
宇宙人は証拠なしに導入する仮説ではない。彼はやはり陰謀論者の素質がある。
友人Bが「お前の生活、息苦しくないの？」と聞いてきたので、「息苦しいのは君の思考だ」と答えた。友人Bは笑った。知性の敗北宣言である。
これからやろうとしていること。
今の段階では、圏論と導来幾何の言葉でかなり書けたが、まだ計算の痕跡が残っている。僕はそれが気に入らない。真の理解とは、計算を消し去った後に残る構造のことだ。
具体的には、次は弦の場の理論を、factorization algebraの言語で記述し直す予定だ。
局所演算子代数を、E_n-代数として整理し、そこから高次の演算構造を復元する。
これがうまくいけば、弦理論における局所性の概念を、時空幾何に依存せずに定義できる可能性がある。
もしそれができたら、次は双対性を圏の自己同値ではなく、圏の上の2-表現あるいはhigher representation theoryとして書き換える。
これにより、S双対性を単なるSL(2,Z)の作用として扱う雑な議論から脱却できる。
要するに、僕が目指しているのは物理理論を群で分類する幼稚園レベルの発想ではなく、物理理論を高次圏で分類する文明的発想だ。
その後はMTGの新しいデッキ案を詰める。今の構想では、相手の意思決定を局所的に歪ませる構造がある。人間は選択肢が多いと誤る。
これは心理学的事実であり、カードゲームに応用できる。倫理的に問題があると言われそうだが、そもそもカードゲームは戦争の抽象化なので倫理を持ち込む方が間違っている。
夜はFF14の固定活動。友人Aは相変わらず「気合いで避けろ」と言うだろう。
議論はループする。ループはコンピュータ科学の基本概念だ。だから僕はそれを受け入れる。
最後に、ルームメイトが「今度、隣人と映画を見よう」と言っていた。
僕は断る。なぜなら隣人は上映中に喋る。上映中に喋る人間は、社会契約を破っている。社会契約を破る人間に、僕の時間という希少資源を与える理由はない。
少なくとも、隣人の会話よりは。
超弦理論を物理として理解しようとすると、だいたい途中で詰まる。
なぜなら核心は、力学の直観ではなく、幾何と圏論の側に沈んでいるからだ。
弦の振動が粒子を生む、という説明は入口にすぎない。本質は量子論が許す整合的な背景幾何とは何かという分類問題に近い。分類問題は常に数学を呼び寄せる。
まず、場の理論を幾何学的に見ると、基本的にはある空間上の束とその束の接続の話になる。
ここまでは微分幾何の教科書の範囲だが、弦理論ではこれが即座に破綻する。
なぜなら、弦は点粒子ではなく拡がりを持つため、局所場の自由度が過剰になる。点の情報ではなく、ループの情報が重要になる。
すると、自然にループ空間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状態のカウントがどのように圏の不変量として抽出できるか、もう一度筋道を立てる。
p進弦理論は、通常の物理学が依拠する実数や複素数の体系を、数論におけるp進数体へと置き換えることで、弦の相互作用や時空の本質を問い直す野心的な理論的試みである。
1980年代後半にボロヴィッチやフレンド、ウィッテンらによって創始されたこの理論は、物理学の基本法則と数論的な構造の間に深い相関があるという洞察に基づいている。
通常の弦理論では、弦が描く軌跡である世界面は連続的なリーマン面として記述されるが、p進弦理論においては、これがp進数上の双曲空間の離散的な対応物であるブルーハ・ティッツ木へと置き換わる。
この木構造は、頂点と辺からなるグラフでありながら、その境界にp進数体という連続体を持つという特異な性質を有しており、これがAdS/CFT対応（ホログラフィー原理）を記述するための理想的な離散モデルを提供している。
この理論の白眉は、散乱振幅の簡潔さと、それらが織りなすアデリックな構造にある。
例えば、開弦の散乱を記述するヴェネツィアーノ振幅は、p進の枠組みではp進ガンマ関数を用いた極めてシンプルな代数的形式に帰着する。
驚くべきことに、すべての素数pにわたるp進振幅の積と通常の実数振幅を掛け合わせると、ある種の保存則（アデリック公式）が成立することが知られており、これは物理的な現象が単一の数体の上だけでなく、すべての素数にわたるアデール環全体で定義されている可能性を示唆している。
さらに、p進弦の有効作用を調べると、そこにはダランベール演算子が指数の肩に乗るような非局所的な場の方程式が現れる。
この非局所的な場は、弦理論におけるタキオン凝縮のダイナミクスを非常に正確に記述することができ、時空の最小単位が存在する可能性や、時空の創発といった現代物理学の最前線のテーマと密接に結びついている。
近年の展開では、p進AdS/CFT対応が特に重要な位置を占めている。
ブルーハ・ティッツ木の上の離散的な力学系が、境界上のp進共形場理論と対応するというこの枠組みは、量子重力のトイモデルとして極めて優秀であり、エンタングルメント・エントロピーや量子エラー訂正符号といった情報理論的な概念を数論的な文脈で再解釈する道を開いた。
このように、p進弦理論は単に「実数をp進数に変えた」だけの代用理論ではなく、連続性と離散性、そして数論と物理学が交差する地点で、宇宙の記述言語としての数学の深淵を照らし出す役割を果たしているのである。
それは、時空という舞台装置そのものが、素数という数学の基本構成要素からいかにして立ち上がるのかを解明しようとする壮大な探求に他ならない。
