  |
はてなキーワード: M理論とは
僕の部屋の時計は正確に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に僕の天才ぶりを叩き込んでやる。
以上。
僕は今日の進捗を評価する。物理学的には前進、社会的には後退だ。いつものことだが、統計的に有意なので問題ない。
午前中は、超弦理論における非可換幾何の再定式化に集中した。従来の背景独立性の議論は、どうにも多様体という古典的直感に寄りかかりすぎている。
そこで僕は、時空を最初からスペクトル三重項として扱い、弦の振動モードを作用素環の自己同型として記述する試みを進めた。
問題は、既存のK理論ではDブレーンのチャージ分類が整いすぎていることだ。現実の量子重力はそんなに親切じゃない。
今日の核心はここだ。モジュライ空間を、単なるパラメータ空間ではなく、∞-圏的スタックとして再構成し、その上で弦の相互作用をホモトピー極限として定義する。
このとき、通常のS双対性は自然変換として現れるが、T双対性はより深いレベル、つまり圏の自己同値の上の自己同値としてしか記述できない。これにより、双対性の上位構造が見えてくる。
さらに僕は、弦の散乱振幅を、従来のパス積分ではなく、導来代数幾何の言葉で記述し直した。
具体的には、世界面を導来スキームと見なし、その上の写像空間をスタックとして扱う。
これが何を意味するか？簡単だ。物理量が数ではなくホモトピー型になる。つまり、観測値そのものが高次の位相情報を持つ。
ここで問題が発生した。ルームメイトがコーヒーを持ってきたが、僕のマグカップの取っ手の角度が17度ずれていた。
17度だ。これは許容誤差を明確に超えている。僕はその場で角度を補正し、彼に再教育を施したが、彼は「そんなのどうでもいい」と言った。
どうでもいいわけがない。宇宙は対称性で成り立っている。マグカップも例外ではない。
午後は、ブレーンのエンタングルメント構造を再検討した。エンタングルメントエントロピーを単なる面積則として扱うのは、あまりにも低次元的だ。
僕はそれを、圏論的トレースとして定義し直し、さらにそれを∞-圏に持ち上げた。結果として、エントロピーは単なるスカラーではなく、自己関手のスペクトルとして現れる。
これは重要だ。なぜなら、ブラックホール情報問題は情報が消えるかどうかではなく、どの圏に保存されるかという問題に変換されるからだ。
夕方、隣人がノックもせずに入ってきた。僕は即座に指摘した。「ノックは3回、間隔は一定、これは基本だ」。
彼女は笑っていたが、僕は笑っていない。ルールは守るためにある。守られないルールは、もはや物理法則と区別がつかない。
夜は友人Aと友人Bとビデオ通話。彼らは量子力学の話題に入ろうとしたが、途中でなぜか映画の話に逸れた。
理解不能だ。僕は議論を元に戻そうとして、「君たちはヒルベルト空間とポップコーンの違いも理解していない」と指摘したが、通話は切られた。
まず、今日導入した∞-圏的構造を使って、弦の自己相互作用項を再定義する。
その後、非摂動的効果を取り込むために、スタック上のモチーフ的積分を試みる。
もしこれが成功すれば、従来のM理論の定式化を一段階抽象化できる。言い換えると、物理学がようやく数学に追いつく。
僕はいつも通り18:30時に日記を書き始めた。時間の厳密性は文明の基礎であり、文明が崩壊する最初の兆候は人間がだいたいを許容する瞬間だからだ。
ルームメイトは18:30:03に電子レンジを開けた。これは許されない。僕はその誤差を指摘したが、「3秒くらいいいだろ」と言われた。3秒を軽視する人間は、やがてゲージ対称性も軽視する。
午前中はトポロジカルM理論の再構成を試みた。標準的な理解では、これはトポロジカルAモデルとBモデルを7次元で統一するような構造で、ヒッチン汎関数を基礎にした3形式の理論として現れる。
だがこの説明はあまりにも低解像度だ。問題は統一するという言葉が、圏論的に何を意味するのか曖昧な点にある。
僕の現在の仮説はこうだ。トポロジカルM理論は単なる7次元TQFTではなく、コヒーシブ∞トポス上の場の理論の内部化として理解すべきだ。
つまり、通常の多様体上の場ではなく、幾何そのものが内部論理として振る舞う圏における場だ。
このとき、3形式は単なる微分形式ではなく、∞-スタック上の2-群的接続の曲率として再解釈される。
ここで友人Aがやってきて、「それって物理的に何の意味があるの？」と言った。典型的な誤解だ。物理的意味を問うのは最後だ。構造が先で、意味は後からついてくる。量子力学もそうだった。
話を戻す。
トポロジカルM理論の古典解がG₂ホロノミー多様体に対応するというのは知られているが、僕はこれをさらに一段抽象化して、
と見ている。ここで重要なのは、「状態」がヒルベルト空間ではなく、層の圏そのものに拡張される点だ。
友人Bはこの話を聞いて「それもう物理じゃなくて数学じゃない？」と言った。逆だ。物理が遅れている。
さらに進めると、AモデルとBモデルの共役性は、単なる双対性ではなく、シンプレクティック構造と複素構造の間の∞-レベルのフーリエ変換として理解できる。
ここで僕は少し興奮した。なぜならこの構造は、トポロジカル弦の分配関数が波動関数になる理由とも整合するからだ。
つまりこうだ。
これは量子化そのものだが、通常の位相空間ではなく、モジュライ∞-スタックの上での量子化になっている。
ルームメイトはこの話を聞いて途中で寝た。合理的な判断ではあるが、知的には敗北だ。
午後は習慣の維持に時間を使った。
これらは単なる癖ではない。状態空間のエントロピーを最小化する操作だ。乱雑さは思考を汚染する。
隣人がまた勝手に僕の場所に座っていたので、厳密な確率論的説明を用いて「そこに座る確率はゼロであるべきだ」と説明したが、理解されなかった。人間は頻度主義に縛られすぎている。
これからやること。
命題: M5ブレーンの電荷は通常のコホモロジーではなく、楕円コホモロジーやMorava K理論に自然に値を取る。
これは単なる一般化ではない。物理的対象の分類そのものが、一般化コホモロジー論に移行することを意味する。
もしこれが正しければ、場の理論は最終的に∞-圏におけるコホモロジー値関手として書き直される。
ウィッテンでも完全には把握していない領域だ。つまり、僕がやるしかない。
その低レベルの理解はだいたい「量子力学＝粒がふわふわする話」くらいの雑さだ。表面の比喩だけ拾って、本体を全部落としている。
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理論分類をスペクトル圏として書き直せないか検討する。
今のランドスケープは「真空が多すぎる」という話だが、∞圏の言語ではそれらは単なる点ではない。モジュライ空間の高次連結成分だ。
そのあと、ルームメイトが起きてきたら、彼の座っている位置が僕の指定座標からズレていないか確認する。
僕は書斎のホワイトボードに無造作に貼られたテンソル表示の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分遅れている。ルームメイトの足音が規則性を乱しているが、ノイズは平均化すれば消える。宇宙も同じだ。
では、計算に戻る。
僕は今、いつもの席に座っている。クッションの沈み込みは左側が2ミリ深い。これはルームメイトの怠慢だ。重心の非対称性は量子補正と同じで、放置すると破滅的に増幅する。
今日ここまでの進捗を書く。
午前中は超弦理論のメモを整理した。正確には超弦理論という呼称すら暫定的だ。
僕が考えているのは、可換多様体上の2次元共形場理論という従来の出発点を捨て、∞-圏を値域に持つ場の理論としての再定式化だ。
弦のワールドシートは単なるリーマン面ではなく、スペクトラ値をとる層のスタックとみなす。物理量は数ではなくコホモロジー類として現れる。
通常、弦の整合性は共形不変性、アノマリーキャンセル、モジュラー不変性などでチェックされる。
僕の仮説はこうだ。真の制約はコボルディズム分類の段階で既に決まっている。量子重力理論は、適切な構造をもつd次元多様体のコボルディズム群が自明になる条件と等価である、というものだ。
ここで重要なのは、対称性を群ではなく高次群（2群、∞群）として扱うこと。ゲージ場は接続1-形式ではなく、n-接続のデータになる。するとブレーン電荷はK理論ではなく、より精密なモチーフ的コホモロジーに持ち上がる。
M理論のC場は、もはや3形式ではなく、スペクトラムの点として理解されるべきだ。
この枠組みだと、弦のランドスケープ問題は消える。許される真空は連続的に無数にあるのではない。∞-圏的整合性条件を満たすものは、ホモトピー同値の下で極端に制限される。
宇宙は数学的に許されるものが全部あるのではなく、高次整合性が崩れない極小構成に収束する。少なくとも僕の計算では、真空の数は指数的ではなく、ホモトピー型のクラス数に支配される。
もちろんこれは作業仮説だ。まだ証明はない。だが少なくとも、従来の10次元背景時空に依存した議論よりは、はるかに幾何学的だ。背景独立性を本気で実装するなら、最初から時空を前提にするのは論理的に甘い。
11:30に友人Aからメッセージが来た。「量子重力ってブラックホールの中どうなってるか分かるの？」。
僕は3分で説明した。ブラックホール内部という問い自体が、古典的時空の図式に依存している。
もし時空がエンタングルメントの派生量なら、内部という概念は低エネルギー有効理論の錯覚にすぎない。
隣人は昼にノックもせず入ってきて、「難しい顔してるけど、また宇宙のこと？」と言った。
僕は訂正した。宇宙ではない。宇宙を記述する公理体系の整合性だ。対象とメタ対象を混同してはいけない。
彼女は笑って去った。彼女は世界を現象として扱う。僕は構造として扱う。その違いだ。
できるが、それは熱力学極限の話だ。僕が今扱っているのは、理論がそもそも存在しうるかというメタレベルだ。存在しない理論の統計を取るのはナンセンスだ。
午後は、E₈型対称性を持つ仮想的12次元理論の圏論的構成を進める予定だ。
特に、異常の消失条件が安定ホモトピー群の消滅とどう関係するかを調べる。
もしそこに自然な消去機構が見つかれば、重力とゲージ相互作用の統一は、力の統一ではなく、コホモロジーの単純化として理解できる。
日常的な進捗も記す。昼食は正確に12:00に摂取した。サンドイッチは対称に切断。斜めは不可。
昨日ルームメイトが斜めに切った件については、正式な抗議文を準備中だ。文明は幾何学から始まる。
超弦理論は通常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の中ではなく、高次トポス論の内部言語で書かれるはずだ。
月曜日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はため息をついた。
なぜなら、僕が考えているものは、言語化する前に既に高次元に逃げていくからだ。
だが、それでも僕は確信している。
僕がやっているのは、その「矛盾できなさ」の形を調べることだ。
宇宙は多様だが、僕の昼食は安定している。
正確時刻を書くと隣人が「それって軍事衛星に追跡されてるの？」とか言い出して話が面倒になるので省略する。
僕は陰謀論を嫌悪している。理由は単純で、陰謀論は説明能力の低い仮説を感情的に強い語り口で上書きする、知性のコスプレだからだ。
今週は、超弦理論の物理の直観で押し切る系の議論をいったん破壊し、純粋に圏論とホモトピー論の言語に落として再構築していた。
具体的には、世界面の共形場理論を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対応に入ると、空間の概念はさらに揺らぐ。境界の共形場理論が、バルクの重力理論を完全に符号化する。この対応が意味するのは、時空幾何が基本ではなく、量子情報的なエンタングルメント構造が幾何を生成している可能性だ。
ここでリュウ–タカヤナギ公式が出てきて、エンタングルメントエントロピーが極小曲面の面積で与えられる。すると面積が情報量になり、幾何が情報論的に再構成される。幾何はもはや舞台ではなく、状態の派生物になる。
究極的には、弦理論は空間とは何かを問う理論ではなく、空間という概念を捨てたあと何が残るかを問う理論になっている。残るのは、圏・ホモトピー・表現論・数論的対称性・そして量子情報的構造だ。
つまり、弦理論の最深部は自然界の基本法則ではなく、数学的整合性が許す宇宙記述の最小公理系に近い。物理は数学の影に吸い込まれ、数学は物理の要求によって異常に具体化される。
この相互汚染が続く限り、弦理論は完成しないし、終わりもしない。完成とは分類の完了を意味するが、分類対象が∞-圏的に膨張し続けるからだ。
そして、たぶんここが一番重要だが、弦理論が提示しているのは宇宙の答えではなく、答えを記述できる言語の上限だ。
だからウィッテンですら全部を理解することはできない。理解とは有限の認知資源での圧縮だが、弦理論は圧縮される側ではなく、圧縮の限界を押し広げる側にある。
秒針が45を指した瞬間に始めるのが習慣だ。誤差は許さない。今日までの進捗と、これからの計画を記録する。
今週は、超弦理論の基礎という名の底なし沼を、さらに深く掘った。
掘削機は摂動論ではなく、∞-圏だ。
点粒子の量子場理論を母語とする直感は、もはや邪魔にしかならない。
世界面は2次元多様体ではなく、安定∞-群oidの影として扱う方が自然だという作業仮説を採用した。
すると、弦の相互作用は頂点作用素代数というより、因子化代数の層として現れる。
局所から大域へ貼り合わせるデータは、通常の圏ではなく、(∞,2)-圏で管理する必要がある。
ここで「必要」という言葉は、数学的整合性の要求を意味する。好みではない。
nLabのFAQを踏み台に、弦理論を理論の集合ではなく理論を生む装置として捉え直した。
共変量子化の曖昧さは、背景独立性の失敗ではなく、背景そのものをスタックとして持ち上げることで解消される、という見通しだ。
するとK理論は通過点にすぎず、自然な受け皿は楕円コホモロジー、さらに言えばtmf（位相的モジュラー形式）だ。
弦の一周振動がモジュラー性を要求するのは偶然ではない。世界面のトーラスは、数論への扉だ。
コボルディズム仮説の視点に立てば、理論は完全双対可能対象のデータに還元される。
候補は高次モノイダル∞-圏。ブレーンは境界条件、境界条件は関手、関手は再び物理量になる。
循環は悪ではない。自己無撞着であれば許容される。
ここまで来ると、誰も完全には理解していないという常套句が現実味を帯びる。
僕の作業仮説はこうだ。弦理論は単一の理論ではなく、ある普遍性類の初等対象で、その普遍性は高次圏論的随伴で特徴づけられる。
何が可観測かは、どの随伴を採るかで変わる。測定とは、圏の切り替えにすぎない。
生活の話も書く。朝は必ず同じ順番でコーヒー豆を量り、粉砕時間は17秒。研究用ノートは方眼、筆圧は一定。
ルームメイトは、僕がノートの角を揃えるのに5分かけるのを見て「それ意味ある？」と聞いた。
隣人は夕方にノックしてきて、僕の黒板の数式を見て「呪文？」と言った。
違う。呪文は効果を期待するが、これは制約を可視化しているだけだ。
友人Aは装置の話を始めるとすぐ手を動かしたがる。
どちらも間違ってはいないが、どちらも十分ではない。
昨日は、因子化代数と頂点作用素代数の関係を整理しきれずに終わった。
今日はそこを前進させた。局所共形対称性を公理としてではなく、層の貼り合わせ条件として再定式化した点が進捗だ。
これからやること。
まず是正されるべきは、対象＝ブレーン、射＝弦という古典的・実在論的な同定を圏論的出発点に据える錯誤である。この素朴な同一視は、現代的なコボルディズム仮説の文脈では理論的整合性を欠いている。なぜなら、局所量子場理論（LQFT）の完全拡張において、対象や射は固定された「実体」ではなく、コボルディズム圏の階層構造における境界データの代数的指標にすぎないからである。
完全拡張TQFTの定義に基づけば、理論とは対称モノイド (∞, n)-圏 Bord_n から、ある「ターゲット (∞, n)-圏」 C への対称モノイド関手 Z: Bord_n → C そのものである。ここでは、対象（0-射）とは0次元の点という境界データであり、弦（1次元）は1-射、p-ブレーン（p+1次元の時空体積）は(p+1)-射として回収される。したがって、ブレーンを安易に対象（0-射）と呼ぶ行為は、コボルディズム圏の階層構造を低次元へ射影し、高次コヒーレンス情報を不可逆的に欠損させるカテゴリー的退行に他ならない。
この誤謬は、弱∞-圏の必要性を弦の分岐・結合という物理的直観から説明しようとする転倒した論理にも現れている。正しくはその逆である。弱∞-圏性は、場の理論が要請する局所性と完全拡張性から数学的に強制される構造である。弦の相互作用や分岐は、高次射が満たすべき随伴性やコヒーレンス条件の物理的発現の一形態にすぎない。高次射は実在論的な相互作用の結果として生じるのではなく、理論が局所的であるための必然的帰結としてあらかじめ構造化されているのである。
超弦理論を一次元的に切り詰められた部分圏と見なす理解も、安定ホモトピー論および非アルキメデス幾何学の観点から修正を要する。超弦理論において起きているのは、単なる次元の忘却ではない。それは、理論が依拠する基礎的幾何学を実数体上の滑らかな多様体という特定の基礎トポスに固定する、いわば幾何的ゲージ固定である。
ここでp進弦理論は決定的な教訓を与える。p進弦において世界面の解析構造は非アルキメデス的であり、実解析的な局所性は喪失している。にもかかわらず、散乱振幅の代数的骨格（ベネツィアーノ振幅等）が保存されるという事実は、弦理論の本質が特定の幾何（一次元性）にあるのではなく、振幅を生成する E∞ 環スペクトル 的な、より深層の安定ホモトピー的データにあることを示唆している。
この地平において、M理論と超弦理論の関係を反映や左随伴といった1-圏論的な語彙で記述するのは不適当である。M理論とは、特定の時空次元や多様体構造に拘束されない、安定∞-圏あるいはスペクトル圏をターゲットとする Meta-TQFT と定義されるべきである。
そこでは、弦が射であるか対象であるかという区別すら不変ではなく、Span構成や反復ループ空間構造（Ω^n）の下で、どの次元を境界データとして選択するかというホモトピー的なゲージ選択の残滓として、弦やブレーンの境界が析出する。
T双対性やS双対性を自然変換と呼称するのも階層が低い。双対性とは、単なる関手間の変換ではなく、ターゲットとなる理論値∞-圏そのものの自己同値、あるいはE∞ 環スペクトルの自己同型として記述されるべきものである。問題の本質は可逆性の有無ではなく、どの安定コホモロジー理論、あるいはどの形式群が保存されるかという、安定ホモトピー圏における構造保存の様相にある。
M理論は圏論的環境であり、超弦理論はその可視化であるという直観は、方向性においてのみ妥当であるが、定式化の厳密さを欠く。正しくは以下のように記述されるべきである。
M理論とは、特定の時空幾何や基礎体に依存しない、完全拡張量子場理論が取り得る全空間を統御する安定∞-圏的インフラストラクチャであり、理論が数学的に存立するための普遍的制約条件（コヒーレンス）の総体である。
対して超弦理論とは、そのメタ構造に対し、実解析的時空、多様体的局所性。摂動的可観測性という制約を課した際に析出する一つの表現である。p進弦理論やトポロジカル弦理論は、同じメタ構造から別の基礎トポス（あるいは安定ホモトピー論的データ）を選択した際に得られる、並列的な表現に他ならない。
したがって、両者の差異は包含でも統一でもなく、どの圏論的・ホモトピー論的情報を物理的実在として顕在化させるかという、観測基底の選択の差に他ならないのである。
物理的な直観に頼るウィッテン流の位相的場の理論はもはや古典的記述に過ぎず、真のM理論は数論幾何的真空すなわちモチーフのコホモロジー論の中にこそ眠っていると言わねばならない。
超弦理論の摂動論的展開が示すリーマン面上のモジュライ空間の積分は、単なる複素数値としてではなく、グロタンディークの純粋モチーフの周期、あるいはモチビック・ガロア群の作用として理解されるべきである。
つまり弦の分配関数ZはCの元ではなく、モチーフのグロタンディーク環K_0(Mot_k)におけるクラスであり、物理学におけるミラー対称性は数論的ラングランズ対応の幾何学的かつ圏論的な具現化に他ならない。
具体的には、カラビ・ヤウ多様体上の深谷圏と連接層の導来圏の間のホモロジカルなミラー対称性は、数体上の代数多様体におけるモチーフ的L関数の関数等式と等価な現象であり、ここで物理的なS双対性はラングランズ双対群^LGの保型表現への作用として再解釈される。
ブレーンはもはや時空多様体に埋め込まれた幾何学的な膜ではなく、導来代数幾何学的なアルティン・スタック上の偏屈層（perverse sheaves）のなす∞-圏の対象となり、そのBPS状態の安定性条件はBridgeland安定性のような幾何学的概念を超え、モチーフ的t-構造によって記述される数論的な対象へと変貌する。
さらに時空の次元やトポロジーそのものが、絶対ガロア群の作用によるモチーフ的ウェイトのフィルトレーションとして創発するという視点に立てば、ランドスケープ問題は物理定数の微調整などではなく、モチビック・ガロア群の表現の分類問題、すなわちタンナカ双対性による宇宙の再構成へと昇華される。
ここで極めて重要なのは、非可換幾何学における作用素環のK理論とラングランズ・プログラムにおける保型形式の持ち上げが、コンツェビッチらが提唱する非可換モチーフの世界で完全に統一されるという予感であり、多重ゼータ値が弦の散乱振幅に現れるのは偶然ではなく、グロタンディーク・タイヒミュラー群が種数0のモジュライスタックの基本群として作用しているからに他ならず、究極的には全ての物理法則は宇宙際タイヒミュラー理論的な変形操作の下での不変量あるいは数論的基本群の遠アーベル幾何的表現論に帰着する。
これは物理学の終わりではなく物理学が純粋数学というイデアの影であったことの証明であり、超弦理論は最終的に時空を必要としない「モチーフ的幾何学的ラングランズ重力」として再定義されることになる。
超弦理論を、幾何・量子・相互作用・背景・対称性などの具体語をすべて捨てて、抽象数学の圏・∞圏・トポス・代数構造として再構成する。
超弦理論とは、以下の大枠で捉えられる。
超弦理論とは、ひとつの ∞‐トポスの内部に存在する、整合する高次対象の網の自己同値群作用として定義される力学的階層のこと。
ここでいう高次対象の網とは
つまり超弦理論は、高次圏における一貫した自己同型の塔として唯一の統一構造を形成する。
世界の構成要素（時空・ブレーン・場・弦など）を、具体的存在ではなく、因子化代数の生成する情報単位（ローカルな抽象操作の束）として扱う。
局所性とは、因子化代数のテンソリアル分解可能性であり、その破れが重力・非可換性・ホログラフィーとなって現れる。
この表現は近年の因子化ホログラフィー、AQFT（作用素代数）による重力再構成と整合する。
具体的な「紐」は出てこない。
代わりに、
その結果
すべてが幾何的実体ではなくホモトピー代数的な関係パターンとして統一される。
S-双対性、T-双対性、U-双対性、ホログラフィー、ER=EPR のような、A と B が実は同じ理論であるという主張は、すべて 同一の ∞‐対象を異なるファイバー関手で見ているだけという主張に還元される。
つまり
最先端研究（Harlow・Witten・Leutheusser 等）では、重力系の作用素代数は中心を持たず、中心の欠如が再構成不可能な領域として幾何を生む。
これを抽象化すると、
つまり時空は「入れ物」ではなく、作用素代数に付随する冪等射の配置図として emergent に現れる。
相互作用とは粒子間の力ではなく、∞‐圏の合成律が完全には対称化されないことによる高次コヒーレンスの破れ。
例：
5つの超弦理論は、同じ ∞‐構造の異なる層（filtration）または異なるコホモロジー階層の射影として理解され、M理論はこれらの層化を結ぶ普遍対象（colimit）として現れる。
量子とは粒子ではなく、因子化代数の非中心性 ＋ 高次圏の非可換ホモトピーの束 の総体である。
因子化代数のテンソル構造の非局所的再配線。幾何ではなく、圏論的な図式変形。
大域構造と整合しない射からなる排除集合。整合可能理論 = ∞‐圏の完全部分圏。
高次圏の普遍的生成対象が作る低次射の平均化された振る舞いの分類。
6時17分、電動歯ブラシの音が寝室に反響する。洗面台の左端から15cmの位置に置かれたコップの水面が、微細に振動していた。オートミール40g、プロテイン12g、アーモンドミルク200ml。抽出比18:1のコーヒーは、温度計が93.0℃を示した瞬間に注ぐ。食事中、ルームメイトが「また同じ朝飯か」と言ったが、揺らぎは統計的誤差を生む。火曜日の朝に味の分散は不要だ。
午前8時。ホワイトボードには昨晩の計算式の断片が残っている。今日扱うのは、タイプIIB超弦理論の背景場に対する∞-層圏的修正モデル。モノイダル圏上の局所化関手をファイバー束の形で再構成し、非可換モジュラー形式の層化とホッジ双対性を同時に満たす条件を探す。通常のホモロジー代数では情報が落ちる。必要なのは、∞-圏の内側で動く「準自然変換」と、その自己準同型の導来空間だ。これをLanglands対応の派生版、すなわち「反局所的鏡映関手」にマッピングする。結果、弦の張力パラメータに対応する変形空間が、ホモトピー群πₙの非自明な巻き付きとして現れる。誰も確認していないが、理論的には整合している。ウィッテンですらこの構成を明示的に展開したことはない。そもそも導来層圏のモノドロミーを操作できる研究者自体が数えるほどしかいない。僕はそのわずかな孤島のひとつに立っている。
昼、ルームメイトが昼食を作っていた。キッチンのIHプレートに油の飛沫が残っていたので、座標系を設定し、赤外線温度計で範囲を確認してから清掃した。隣人が郵便物を取りに来た音がした。彼女の足音は毎回規則的だが、今日は左のヒールの摩耗音が0.2秒ずれた。おそらく週末に靴底を交換したのだろう。観測可能な変化は記録しておくべきだ。午後は大学のセミナー。話題はM理論の代数的拡張、だが発表者の扱っていた「微分層上の非可換コサイクル」は粗雑すぎる。導来圏の階層化を考慮していなかった。帰りの車中、ノートPCでホモトピー型タイプ理論を使って自作の演算モデルを再計算した。
帰宅後、友人二人が旧式のTCGのデッキを持ってきた。新パッチでエラッタされたカードの挙動を確認するための検証会だ。デッキの構築比率を1枚単位で最適化し、サイドデッキの回転確率をモンテカルロ法でシミュレートした。相手のコンボ展開が不完全であったため、ターン3で勝負が決した。カードの裏面の印刷ズレを指摘したら、彼らは笑っていた。テーブル上に置かれたスリーブの角度が4度傾いていたので、直してから次のゲームに入った。
夜。隣人が新刊のコミックを持ってきた。英語版と日本語版で擬音語の翻訳がどう違うかを比較する。onoma-topeic rhythmの差分は文脈ごとに変動するが、今回は編集者がセリフのテンポを原文に寄せていた。明らかに改良された訳。印刷の黒インクの濃度が0.1トーン深い。紙質も変わっている。指先で触れた瞬間に気づくレベルだ。
23時。寝具の方向を北北東に0.5度調整し、照明を2700Kに落とす。白板の前で最後の計算。∞-層のモノドロミー作用素が、ホッジ-ドリーニュ構造と可換する条件を整理する。導来関手の符号が反転した。ノートを閉じ、部屋の温度を22.3℃に固定する。音は一切ない。火曜日が静かに終わる。
今朝も僕のルーティンは完璧だった。目覚まし時計が6:00ちょうどに鳴る前に、体内時計がそれを察知して覚醒した。これは僕が自ら設計した睡眠相同調プロトコルの成果である。まず歯を磨き（電動歯ブラシはPhilips Sonicare 9900 Prestige、ブラシ圧力センサーの応答性が他社製より0.2秒速い）、次にトーストを2枚焼いた。1枚目はストロベリージャム、2枚目はピーナツバター。逆にすると1日の位相が乱れる。これは経験的に統計的有意差を持って確認済みである（p < 0.001）。
昨日の日曜日、ルームメイトがNetflixでマーベル作品を垂れ流していた。僕は隣で視覚的ノイズに曝露された被験者の前頭前皮質活動抑制についての文献を読んでいたが、途中から音響的干渉が許容限界を超えた。仕方なく僕はヘッドフォン（Sennheiser HD800S、当然バランス接続）を装着し、環境音としてホワイトノイズを流した。彼は僕に少しはリラックスしろと言ったが、リラックスとは神経系の無秩序化であり、物理的にはエントロピーの増加を意味する。そんな不快な行為を自発的に選択する人間の気が知れない。
午後、隣人がやってきた。彼女は例によって食べ物を手にしていた。どういうわけか手作りマフィンなるものを渡してきたが、僕はそれを冷静に分析した。まず比重が異常に高い。小麦粉と油脂の比率が3:2を超えており、これはマフィンではなくもはや固体燃料の域である。彼女は僕の顔を見ておいしいでしょ？と言ったが、僕は味覚の再現性という観点では一貫性が欠けていると正直に答えた。彼女は笑っていたが、なぜ人間は事実の指摘をユーモアと解釈するのか、これも進化心理学の謎のひとつだ。
夕方には友人二人が来てボードゲーム会を始めた。僕は彼らが持ち込んだTwilight Imperium 4th Editionに興味を示したが、ルールブックを読んだ瞬間に失望した。銀河支配をテーマにしているにもかかわらず、リソース分配のモデルがあまりに非連続的で、明らかに経済物理の基礎を理解していない。僕はその欠陥を指摘し、リソース関数をラグランジュ密度で再定義する提案をしたが、「遊びなんだから」と言われた。遊び？ 知的活動において“遊び”という語が許されるのは、量子ホール効果のシミュレーションを笑いながらできる者だけだ。
夜は超弦理論のメモを整理した。E₈×E₈異種ホモロジーの拡張上で、局所的なCalabi-Yau多様体が高次圏的モジュライ空間を持つ可能性を考えている。通常、これらの空間は∞-カテゴリーのMorita等価類で分類されるが、最近読んだToenとVezzosiの新しいプレプリントによると、もし（∞,2）-トポスの層化を考慮に入れれば、ホログラフィック境界条件をトポロジカルに再構成できるらしい。つまり、これまでE₈ゲージ束の構造群縮小で消えた自由度が、内部的圏論における導来的自然変換として再浮上する。これが正しければ、M理論の11次元項の一部は非可換幾何のホモトピー極限として再定式化できる。僕はこの仮説をポスト・ウィッテン段階と呼んでいる。今のところ誰も理解していないが、理解されない理論ほど真に美しい。
深夜、SteamでBaldur’s Gate 3を起動した。キャラビルドはIntelligence極振りのウィザード。だが僕のこだわりは、毎回同じ順番で呪文スロットを整理すること。Magic Missile → Misty Step → Counterspell → Fireball。この順番が崩れると、戦闘中に指が誤作動する。これは単なる習慣ではなく、神経回路のシナプス発火順序を安定化させる合理的行動だ。ちなみに、ハウスルールでダイスロールに物理的擬似乱数生成器を使っている（RNGでは信用できない）。
こうして一日が終わった。僕は枕を45度傾け、頭の位置を北に向けた。地磁気との整合性を考えれば、これ以外の角度は睡眠中のスピン整列を乱す。ルームメイトはただの迷信だと言ったが、迷信とは証明されていない理論の俗語に過ぎない。僕は眠りながら考えた。もし弦が10次元で振動するのではなく、∞-圏的に層化された概念の空間で震えているのだとしたら人間の意識もまた、その余次元の片隅で共鳴しているのかもしれない。いや、それを証明するまで僕は眠れない。だが目を閉じた瞬間、すぐ眠った。
僕は日曜の夜という人類全体のメランコリー共有タイムを、極めて理性的に、そして効率的に過ごしている。
まず夕食はいつも通り19時15分に完了し、食後45分間の腸内活動を経て、20時にシャワー、20時30分から22時まで論文の読み込み。
現在は、僕の手の中のホワイトボードに描かれた「E∞-operadにおけるモジュラーテンソル圏の超準同型拡張」の式が、あまりにも優雅すぎて震えが止まらない。
ルームメイトが僕の部屋のドアを軽くノックして「リラックスしたら？」などと的外れな提案をしてきたが、彼にとってのリラックスとは、脳活動の停止でしかない。
僕にとってのリラックスは、∞-カテゴリーの高次ホモトピー圏の中で、対称モノイダル構造の可換性条件が自然変換として収束する瞬間を可視化することだ。
今日は、朝から「高次モジュライ空間における非可換カラビ–ヤウ多様体のファイバー化」について考えていた。
一般相対論と量子力学の不一致などという低次元の問題ではなく、もっと根源的な、物理法則の「トポス構造」そのものを再構築する試みだ。
つまり、時空という基底圏を前提にせず、まずモノイド圏の内部論理としての時空を再構成する。
これによって、弦という一次元的存在ではなく、自己指標付き∞-層としての「概念的弦」が定義できる。
現行のM理論が11次元を仮定するのは、単なる近似にすぎない。僕のモデルでは次元数は局所的に可変で、Hom(Obj(A), Obj(B))の射空間自体が物理的観測量になる。
もしこの理論を発表すれば、ウィッテンですら「Wait, what?」と言うだろう。
隣人は今日も昼間から玄関前で何やらインスタライブ的な儀式を行っていた。
彼女は一生懸命ライトを当て、フィルターを変え、視聴者数を気にしていたが、僕はその様子を見ながら「彼女は量子デコヒーレンスの具現化だ」と思った。
もちろんそんなことは口にしない。僕は社会的破滅を避ける程度の理性は持っている。
22時前、僕は友人たちとオンラインでBaldur’s Gate 3のマルチプレイをした。
友人Aは相変わらず盗賊ビルドで味方のアイテムを勝手に漁るという犯罪的行為を繰り返し、友人BはバグったAIのように無言で呪文を詠唱していた。
僕はWizardクラスで完璧に戦略を構築した。敵のHP残量と行動順序を正確に把握し、Damage Expectation Valueを算出して最適行動を決定する。
つまり、他のプレイヤーは「遊んで」いるが、僕は「検証」しているのだ。ゲームとは確率と因果の実験装置であり、何より僕がゲームを選ぶ基準は「バランスの崩壊が数式で表現できるか否か」だ。
今日もルーチンを乱すことなく、歯磨きは右上奥歯から反時計回りに、時計を見ながら正確に3分40秒。
寝る前にアロエ入りのリップクリームを塗り、ベッドライトの色温度を4000Kに設定する。音はホワイトノイズジェネレーターを使い、宇宙背景放射のスペクトル密度に近づける。完璧な環境だ。
僕はこれから、寝る前の最後の思索として「量子群上の∞-層圏における自己準同型が、時間の矢をどのように内部化できるか」についてメモを取る。
もしこの仮説が成立すれば、「時間とはエントロピーの増加方向」という古臭い定義は無効化されるだろう。
時間は生成関手であり、僕が眠っている間にも自然変換として静かに流れていく。
今日もまた、僕のルーティンは完璧なシンメトリーを保っていた。7時00分に目覚ましが鳴る前に自然に目が覚め、7時01分に歯を磨き、7時10分に電子レンジで正確に85秒温めたオートミールを食べた。ルームメイトはまだ寝ていた。いつも思うが、彼のサーカディアンリズムはエントロピー的崩壊を起こしている。朝の段階であれほど乱雑な髪型が可能だということは、局所的に時間反転対称性が破れている証拠だ。
午前中は超弦理論のメモを整理していた。昨日の夜、AdS/CFT対応を一般化する試みとして、非可換幾何の上に定義された∞-群oid的対称性構造を考えた。従来の高次圏理論的定式化では、物理的可観測量の定義が局所的モデル圏に依存しているが、僕の新しい仮説ではそれをKan拡張ではなく、∞-トポス上の(∞,1)-層として扱う。これにより、M理論の11次元多様体上でのフラックス量子化条件を、デリーニュ‐ベイルン加群による層コホモロジーに書き換えることができる。ルームメイトに説明したら、彼は「君が言ってることの3単語目からもう分からない」と言った。僕は丁寧に言い直した。「つまり、我々が重力を感じるのは、実は∞-圏の射が充満埋め込みでないからだ」と。彼は黙った。いつも通りの知的敗北の沈黙だった。
昼食は隣人がくれたタコスを食べた。彼女は料理が下手だが、今回はまだ化学兵器レベルではなかった。ちなみに僕はタコスを食べる際、具の位置を中心から平均半径1.7cm以内に収めるように計測している。乱雑な配置は僕のドーパミン経路を不安定化させる。彼女は「そんなの気にしないで食べなよ」と言ったが、僕にとってそれは、ボーズ統計の粒子にフェルミ縮退を強要するような暴挙だ。
午後はオンラインで超弦理論のセミナーを視聴したが、正直、発表者の理解は浅かった。特に、彼が「E₈束のゲージ異常はスピノール構造で吸収される」と言った瞬間、僕は思わず笑ってしまった。そんな単純な話ではない。正しくは、E₈×E₈異常はString(10)構造のホモトピー群に依存し、実際にはTwisted Fivebrane構造の非可換層に束縛される。ウィッテンすらここまで書いていないが、僕の計算ではその層は∞-スタック上のドロップトポスとして扱える。つまり、物理的次元が11ではなく13.25次元の分数次元空間に埋め込まれるということだ。もっとも、僕以外にこの議論を理解できる人間は地球上に存在しないだろう。
夕方には友人たちとオンラインで『Baldur’s Gate 3』をプレイした。ハードコアモードで僕のウィザードがパーティを全滅から救ったのだが、誰もその戦術的優雅さを理解していなかった。僕は敵AIの経路探索を事前に計算し、Dijkstra法とA*の中間的ヒューリスティックを手動で最適化していた。彼らはただ「すげえ！」と叫んでいたが、僕にとってそれは数式の勝利にすぎない。ゲームの後、僕は『ワンダーウーマン: デッドアース』を読んだ。アートはDaniel Warren Johnson。筆致が粗いのに構図が完璧で、まるでFeynman図のトポロジーを手書きで描いたような迫力がある。コミックを読んで心拍数が上がるのは久しぶりだった。
夜になってルームメイトがNetflixを見始めた。僕は同じ部屋でノイズキャンセリングヘッドホンを装着し、Lagrangian多様体上の安定性条件についてノートを書いた。明日は木曜日のルーティンとして洗濯と真空掃除をする日だ。もちろん洗濯機は奇数回転数（今日の予定では13回）で設定している。偶数だと宇宙の安定性が崩れる気がするからだ。
この日記を書き終えたのは20時20分。シンメトリーの美がここにある。時間も数字も、理論も習慣も、僕の宇宙ではすべて整然と並んでいる。もし誰かがその秩序を乱すなら、僕は黙ってこう言うだろう。「君の世界はまだ正則圏ですらないね」。
僕が超弦理論を物理学ではなく自己整合的圏論的存在論と呼ぶのには理由がある。なぜなら、弦の存在は座標に埋め込まれたものではなく、物理的射影が可能な圏における可換図式そのものだからだ。
10次元超弦理論における有効作用は、単なる物理量の集約ではない。むしろ、それはカラビ–ヤウ多様体のモジュライ空間上に構築された安定層の導来圏D^b(Coh(X)) における自己同型群のホモトピー的像として理解される。
そこでは、開弦終端が束の射、閉弦がトレース関手に対応し、物理的相互作用はExt群上のA∞構造として定義される。
つまり、力は空間の曲率ではなく、ホモロジー代数的結合子なのだ。
D^b(Coh(X)) と Fuk(Y)（シンプレクティック側）の間に存在するホモトピー圏的同値、すなわちKontsevichのホモロジカル・ミラー対称性の物理的具現化にすぎない。
ここで弦のトポロジー変化とは、モジュライ空間のファイバーの退化、すなわちファイバー圏の自己関手のスペクトル的分岐である。観測者が相転移と呼ぶ現象は、そのスペクトル分解が異なる t-構造上で評価されたに過ぎない。
M理論が登場すると、話はさらに抽象化する。11次元多様体上での2-ブレーン、5-ブレーンは単なる膜ではなく、(∞,1)-圏の中の高次射として存在する。
時空の概念はもはや固定された基底ではなく、圏の対象間の射のネットワークそのものだ。したがって、時空の次元とは射の複雑度の階層構造を意味し、物理的時間は、その圏の自己関手群の内在的モノイダル自己作用にほかならない。
重力？メトリックテンソルの湾曲ではなく、∞-群oidの中での自己等価射の不動点集合のトレースである。
量子揺らぎ？関手の自然変換が非可換であることに起因する、トポス内部論理の論理値のデコヒーレンスだ。
そして観測とは、トポスのグローバルセクション関手による真理値射影にすぎない。
僕が見ている宇宙は、震える弦ではない。ホモトピー論的高次圏における自己同型のスペクトル圏。存在とはトポス上の関手、意識とはその関手が自らを評価する高次自然変換。宇宙は関手的に自己を表現する。
火曜日の朝、午前6時45分。
僕はいつものように、室温が22.2℃に維持されていることを確認し、正確に2分30秒かけて温めたオートミールを摂取しながら、昨日（月曜日）を振り返ることにした。
昨日の午後、僕は長らく手をつけていなかった研究ノートに再び没頭した。
内容は、Calabi–Yau多様体上のミラー対称性における、ある種のモジュライ空間の退化極限で顕在化する量子異常の高次補正項についてだ。
通常の教科書的理解では、AモデルとBモデルの間に整合性の取れる対応があることは知られている。
しかし、僕が着目したのは、ホモロジー群上に作用する複素構造の非自明な変形族が、世界面上のN=2超対称性のWard恒等式を破りかねないという現象である。
これは単なる学部生が誤解しやすいレベルの「対称性の破れ」ではなく、むしろ物理学者のごく一部が直感的に察している「位相的場の量子補正に潜む不整合性」そのものだ。
昨日の計算で僕が確認したのは、退化極限で現れる擬似モジュラ形式が、通常のモジュラ形式の変換則からわずかに逸脱している点であり、これをどう解釈するかで物理的予言の一貫性が左右される。
要するに、世界に数人しか理解できない種類の話を、僕は昨日ようやく「納得できるまで」書き下したのだ。
僕のルームメイトが「夕食は何にする？」と軽々しく聞いてきたとき、僕は返答をせずに計算を続けていた。
なぜなら、宇宙の根本構造に関する思索と、炭水化物とタンパク質の配分についての議論を同列に扱うことは、どう考えても不合理だからである。
昨日もまた、僕は月曜恒例の洗濯を済ませた。
もし昨日それを怠ったなら、今日着ているこの「青いフラッシュ」Tシャツが清潔でなかったことになる。
それは科学的秩序に対する重大な侮辱であり、僕の心的安定において許容できない。
食事についても、月曜日は「タイ料理テイクアウトの日」であることは周知の事実だ。
隣人が「新しいメニューを試してみない？」と軽率に提案してきたが、僕は断固として拒否した。
メニューの不確定性を導入することは、僕が昨日導き出した擬似モジュラ形式の「非自明な変換性」と同様に、生活習慣にカオスを持ち込むことになる。理論と日常は別物ではない。
夜、僕はルームメイトと友人たちと一緒に「Halo」の協力プレイに参加した。
彼らは勝敗を気にするが、僕はゲーム空間を有限状態オートマトンとして形式的に分析していた。
たとえば、敵キャラクターの行動ルーチンは有限状態機械に帰着でき、その遷移関数はプレイヤーの入力確率分布に依存する。
つまり「敵AIに撃たれる確率」を、僕はゲーム内で逐一ノートに記録しながら戦闘していた。
友人たちには奇異に見えたかもしれないが、彼らが気にする「勝つか負けるか」という二元的指標より、僕が収集した「状態遷移の確率行列」のほうが長期的に意味を持つことは疑いない。
普通の読者はストーリーを追うが、僕はむしろ物理学的整合性の観点から読み込む。
例えばフラッシュが多元宇宙間を移動する場面で、彼が超弦理論的に妥当な次元補正を受けていない点を指摘する読者はほとんどいない。
