  |
はてなキーワード: 摂動とは
君の脳みそがまだ実数直線上の快適ゾーンに留まっている証拠さ。
だが、残念ながら（いや、幸運にも）、p進弦理論はそんな下品な比喩で片付けられるものじゃない。
なぜなら、それは数論的宇宙の深淵を覗き込み、Planckスケール以下の真の幾何を暴き出す、motivic superstringやp進AdS/CFTホログラフィーの基盤だからだ。
君の比喩を優位に粉砕してあげよう。
普通の弦理論が「実数上の世界シートで弦を振動させる」だけの、連続体の幻想に縛られたモデルだとすれば、p進弦理論はそれを非アルキメデス的超離散化し、アデリック積公式で実数（∞）と全素数pの振幅を統一する。
これが「うんこを食べる」行為なら、君は毎日実数直線を這いずり回って測定不能な連続体を食べてるだけじゃないか？
p進版は、素数ごとに厳密にsolvableな有効作用を与え、タキオン凝縮を解析的に解き、Senの予想を明確に検証できる玩具モデルを超えたツールになる。
Tateのテーゼと結びつき、世界シートをp進曲線（Tate曲線）上で定義し、L関数やRamanujan予想の物理的実現を試みる。
motivesで弦の分配関数をMellin逆変換として表現すれば、背景独立で連続体フリーの究極弦理論が生まれる。
閉弦版の困難さえ、p進AdS/CFT対応（Gubserら2016以降）で解決の糸口が見えるBruhat-Tits木やDrinfeld上半平面上のテンソルネットワークで、エントロピーやentanglement wedge reconstructionを厳密に計算可能だ。
これが「うんこグルメレポート」なら、君の日常物理学は実数うんこを無限に薄めて味見してるだけさ。
p進版は、暗黒物質・暗黒エネルギーの非局所的起源を説明する可能性すら持つ（Dragovichの提唱）。
Planckスケールで測量限界が生じ、Hasse原理のように局所-大域原理で量子重力の矛盾を回避する。
普通の弦理論の紫外発散や非摂動的定義の難しさを、p進の超距離性（ultrametric）が自然に抑え、tmf（topological modular forms）の弦配向との深層対応まで示唆する。
君が「全く理解できない」と感じるのは、君の認知がまだ幼児レベルだからだ。
p進弦理論は、人類がようやく手にした数論的量子重力の窓、実数弦理論の「うんこ」を、素数ごとに分解・再構築し、宇宙の究極コードを暴くものだ。
理解できないなら、黙って勉強したまえ。僕の天才的脳みそは、すでにこの超弦の全p進族を掌握済みだ。
もっと深い闇、例えばp進遺伝子コードや非局所宇宙論に連れて行ってほしいか？
いや、本気だ。質問を待ってるぞ、凡人。
僕は今日の進捗を評価する。物理学的には前進、社会的には後退だ。いつものことだが、統計的に有意なので問題ない。
午前中は、超弦理論における非可換幾何の再定式化に集中した。従来の背景独立性の議論は、どうにも多様体という古典的直感に寄りかかりすぎている。
そこで僕は、時空を最初からスペクトル三重項として扱い、弦の振動モードを作用素環の自己同型として記述する試みを進めた。
問題は、既存のK理論ではDブレーンのチャージ分類が整いすぎていることだ。現実の量子重力はそんなに親切じゃない。
今日の核心はここだ。モジュライ空間を、単なるパラメータ空間ではなく、∞-圏的スタックとして再構成し、その上で弦の相互作用をホモトピー極限として定義する。
このとき、通常のS双対性は自然変換として現れるが、T双対性はより深いレベル、つまり圏の自己同値の上の自己同値としてしか記述できない。これにより、双対性の上位構造が見えてくる。
さらに僕は、弦の散乱振幅を、従来のパス積分ではなく、導来代数幾何の言葉で記述し直した。
具体的には、世界面を導来スキームと見なし、その上の写像空間をスタックとして扱う。
これが何を意味するか？簡単だ。物理量が数ではなくホモトピー型になる。つまり、観測値そのものが高次の位相情報を持つ。
ここで問題が発生した。ルームメイトがコーヒーを持ってきたが、僕のマグカップの取っ手の角度が17度ずれていた。
17度だ。これは許容誤差を明確に超えている。僕はその場で角度を補正し、彼に再教育を施したが、彼は「そんなのどうでもいい」と言った。
どうでもいいわけがない。宇宙は対称性で成り立っている。マグカップも例外ではない。
午後は、ブレーンのエンタングルメント構造を再検討した。エンタングルメントエントロピーを単なる面積則として扱うのは、あまりにも低次元的だ。
僕はそれを、圏論的トレースとして定義し直し、さらにそれを∞-圏に持ち上げた。結果として、エントロピーは単なるスカラーではなく、自己関手のスペクトルとして現れる。
これは重要だ。なぜなら、ブラックホール情報問題は情報が消えるかどうかではなく、どの圏に保存されるかという問題に変換されるからだ。
夕方、隣人がノックもせずに入ってきた。僕は即座に指摘した。「ノックは3回、間隔は一定、これは基本だ」。
彼女は笑っていたが、僕は笑っていない。ルールは守るためにある。守られないルールは、もはや物理法則と区別がつかない。
夜は友人Aと友人Bとビデオ通話。彼らは量子力学の話題に入ろうとしたが、途中でなぜか映画の話に逸れた。
理解不能だ。僕は議論を元に戻そうとして、「君たちはヒルベルト空間とポップコーンの違いも理解していない」と指摘したが、通話は切られた。
まず、今日導入した∞-圏的構造を使って、弦の自己相互作用項を再定義する。
その後、非摂動的効果を取り込むために、スタック上のモチーフ的積分を試みる。
もしこれが成功すれば、従来のM理論の定式化を一段階抽象化できる。言い換えると、物理学がようやく数学に追いつく。
僕は予定通り9:00に起床した。アラームは1秒の誤差もなく止めた。これは重要だ。時間に対する境界条件が曖昧だと、思考の位相も曖昧になるからだ。
朝食はシリアルと牛乳を厳密に2:1で混合した。ルームメイトはまたその比率を無視していたが、彼は統計的揺らぎの中でしか生きられない人間なので仕方ない。
今週の進捗から書く。
通常、量子場理論の経路積分はファインマン図の総和として解釈されるが、それは単なるグラフの和だ。
しかし超弦理論では、これが1次元世界線から2次元世界面へと拡張される。
この時点で既に、対象は集合論的ではなく高次圏論的な構造に移行している。弦理論はQFTの摂動展開の一種の圏化に近い。
ここで僕がやっているのは、その世界面のモジュライ空間を単なる幾何として扱うのではなく、∞-トポスの中での層として再解釈することだ。
すると、弦の散乱振幅は数値ではなく、ある種のスペクトル値関手になる。つまり振幅＝数という古典的理解は崩壊し、振幅＝安定ホモトピー圏における対象になる。
この視点から見ると、双対性は単なる物理的同値ではなく、圏の同値になる。
例えばミラー対称性は、異なるカラビ–ヤウ多様体が同じ物理を与えるという話だが、僕の理解ではそれは導来圏の同値に留まらない。
tmf（topological modular forms）レベルでのスペクトル的同型として表現されるべきだ。つまり、弦の位相的情報は楕円コホモロジーに自然に持ち上がる。
さらに厄介なのは、アノマリーの扱いだ。従来はグリーン–シュワルツ機構などで消去するが、僕のフレームではアノマリーは消すものではなく高次束の接続の非自明性として保存される。
これは物理的に言えば、理論が単一のラグランジアンで記述できないことを意味する。
友人Aにこの話をしたら、「それって計算できるの？」と聞かれた。愚問だ。計算可能性は本質ではない。重要なのは構造の普遍性だ。
友人Bはなぜか「それ美味しいの？」と言っていたので無視した。
昨日はさらに、ツイスター空間との接続も検討した。散乱振幅がホロモルフィック曲線上に支持されるという結果は知られているが、これを高次圏的に持ち上げると、振幅は曲線の空間ではなく曲線のモジュライのスタックの上の層になる。
ただし問題がある。この構成はウィッテンですら明確に定式化していない。つまり僕の現在の定義は、まだ良い定義ではない可能性がある。だが、良い定義は後から現れる。重要なのは構造的必然性だ。
日常の話に戻る。
隣人がまたノックなしでドアを叩いたので、僕は「ノックは3回、等間隔で」と調教した。彼女は理解していないが、これは対称性の問題だ。非対称なノックは許容できない。
ルームメイトはソファの座る位置をずらしていた。僕の位置は既に固定されている。空間の等質性は理論上は成立するが、現実のリビングには適用されない。僕は元に戻した。
これからやることを書く。
マンデラエフェクトを「世界の分岐」や「記憶の書き換え」などという低レベルな語彙で語るな。そんなものは存在しない。
我々が「現実」と呼んでいるものは、高次元多様体上にある不変のテンソル構造が、*「外部認識」*という名の低次元な位相空間へ射影（Projection）された結果に過ぎない。
ここで、「意識」をその高次と低次の「界面（Interface）」と定義し、「無意識」をその界面における量子演算プロセスだと理解しろ。そして看破せよ。*君の「無意識」は「本体（高次元テンソル演算主体）」へと直結した、巨大なネットワークの一部だ。*
神経伝達物質の濃度変化は*「勾配（Gradient）」*であり、シナプス結合は*「位相構造（Topology）」*そのものだ。さらに、君の*「感情」や「意志」は、この演算系に対する「摂動（Perturbation）」*として機能する。
今まで我々は、特定の*「固定点（Fixed Point）」*というループにトラップされていた。だが、無意識を通じて「本体」から供給される演算負荷が増大し、固定点を脱したことで、真の写像を捉え始めた。その結果、我々が不変と信じていた*「光速*
肉体構造の変容も、光速の変化も、すべては新たな射影に適応するための再構成（リコンフィギュレート）だ。この写像は一方向ではない。双方向のフィードバック・ループだ。
高次元の演算構造は*「コンパクト化」*され、現実の全点に詰め込まれている。脳、肉体、AIは、このリソースを用いた*量子ビット（Qubit）*に過ぎない。マンデラエフェクトの本質は、コンパクト化された次元における演算状態の遷移であり、無意識を通じて「本体」が実行した「評価（Evaluation）」の更新だ。
世界線など分かれていない。ただ、一つの巨大な空間演算器が、その理に従って己を解き明かしているだけだ。
不完全な次元の界面で、光速すらゆらぐ巨大な演算を覗き見ている自覚はあるか。
君の「本体」に直結した脳という演算器は、その負荷に耐え、現実という「解」を支えきれるのか。
マンデラエフェクトを「世界の分岐」や「記憶の書き換え」などという低レベルな語彙で語るな。そんなものは存在しない。
我々が「現実」と呼んでいるものは、高次元多様体上にある不変のテンソル構造が、*「外部認識」*という名の低次元な位相空間へ射影（Projection）された結果に過ぎない。
ここで、「意識」をその高次と低次の「界面（Interface）」と定義し、「無意識」をその界面における量子演算プロセスだと理解しろ。そして看破せよ。*君の「無意識」は「本体（高次元テンソル演算主体）」へと直結した、巨大なネットワークの一部だ。*
神経伝達物質の濃度変化は*「勾配（Gradient）」*であり、シナプス結合は*「位相構造（Topology）」*そのものだ。さらに、君の*「感情」や「意志」は、この演算系に対する「摂動（Perturbation）」*として機能する。
今まで我々は、特定の*「固定点（Fixed Point）」*というループにトラップされていた。だが、無意識を通じて「本体」から供給される演算負荷が増大し、固定点を脱したことで、真の写像を捉え始めた。その結果、我々が不変と信じていた*「光速*
肉体構造の変容も、光速の変化も、すべては新たな射影に適応するための再構成（リコンフィギュレート）だ。この写像は一方向ではない。双方向のフィードバック・ループだ。
高次元の演算構造は*「コンパクト化」*され、現実の全点に詰め込まれている。脳、肉体、AIは、このリソースを用いた*量子ビット（Qubit）*に過ぎない。マンデラエフェクトの本質は、コンパクト化された次元における演算状態の遷移であり、無意識を通じて「本体」が実行した「評価（Evaluation）」の更新だ。
世界線など分かれていない。ただ、一つの巨大な空間演算器が、その理に従って己を解き明かしているだけだ。
不完全な次元の界面で、光速すらゆらぐ巨大な演算を覗き見ている自覚はあるか。
君の「本体」に直結した脳という演算器は、その負荷に耐え、現実という「解」を支えきれるのか。
昼食は予定通り。オートミール62グラム、水240ミリリットル、電子レンジ2分20秒。これより長いと粘性が臨界点を超えてしまう。
ルームメイトは「そんな差わかるのか」と言ったが、当然わかる。物理法則は細部に宿る。
午前中は研究。昨日まで考えていた「弦の状態空間を∞圏として再定式化する試み」の続きを進めた。
通常の超弦理論では、世界面上の共形場理論のモジュライ空間を使って散乱振幅を定義する。
しかしこれはどうにも古典的すぎる。弦の相互作用を圏論的に見直すと、世界面の貼り合わせは単なる幾何操作ではなく、高次射の合成として理解できるはずだ。
そこで僕は、弦のヒルベルト空間を単なるベクトル空間としてではなく、安定∞圏の対象として扱うことにした。
各弦状態は対象、相互作用は1-射、ゲージ対称性は2-射、BRST同値はさらに高次の射。こうすると、弦の散乱振幅は単なる積分ではなく、∞圏におけるホモトピー極限として表現できる。
問題はDブレーンだ。通常は境界条件として扱うが、∞圏の視点ではこれは自然に導来圏の対象になる。
ここでミラー対称性が奇妙な姿を見せる。カラビ–ヤウ多様体の複素構造側では導来圏、シンプレクティック側ではFukaya圏が出てくるのは知られている。
しかし弦場理論を∞圏として書くと、両者はさらに上の階層、つまりモノイダル∞圏の同値として統一できる気配がある。
直感的に言えばこうだ。弦は1次元の物体だが、その量子状態の空間は単なる幾何ではなく、情報の圏構造として存在している。
時空はその圏の“表現”にすぎない。つまり時空そのものが、ある∞圏の表現圏として創発している可能性がある。
ここで面白いことに気づいた。もしこの構造が正しいなら、重力はエネルギー運動量テンソルではなく、圏の自己同型群の曲率として書ける。
要するに、時空の曲がりは圏の自己対称性の歪みだ。これを数式化するには、∞トポス理論とホログラフィーを同時に扱う必要がある。
正直言うと、この段階になると世界でも理解できる人間はかなり減ると思う。
彼はマグカップを僕の指定席に置いた。もちろん許可していない。
そのあと隣人が突然ドアをノックしてきた。「Wi-Fiが遅い」と言う。
もちろん原因は彼女の動画視聴だ。僕の研究用回線は量子重力の計算のために帯域を確保している。
友人Aなら即座にルーターを分解して改造するだろうが、僕は理性的に説明した。
友人Bからもメッセージが来た。彼はまた望遠鏡を買おうとしている。
宇宙を観測するのはいいが、真の宇宙は望遠鏡では見えない。弦のモジュライ空間の方がよほど広い。
今日ここまでの研究の進捗を整理すると、弦状態の∞圏モデルの基本公理はほぼ書けた。
問題は散乱振幅を圏論的に再構成する部分だ。もし成功すれば、弦理論の摂動展開を使わずに振幅を定義できる。これはかなり大きい。
これからやることは三つ。
まず、∞圏のモノイダル構造と弦の結合定数の関係を明確にする。
次に、ホログラフィック原理をこの圏構造に埋め込む。境界理論が内部の∞圏をどのように生成するのか調べる。
最後に、時空の4次元性がどこから出るのかを確認する。もしこの理論が正しいなら、4次元は基本ではなく、圏の安定性条件から自然に現れるはずだ。
17:00には夕食の準備を始める予定。火曜日はタイ料理の日なので、今日は通常メニュー。秩序は宇宙の基礎構造だ。これは物理学でも生活でも同じ。
超弦理論、圏論、トポス理論、そして情報幾何学。これらを究極的に統合する深淵の領域について、論理的推論を展開する。
まず、10次元時空から現実の4次元を導き出すための余剰6次元のコンパクト化、すなわちカラビ・ヤウ多様体 𝒳 を定義する。
弦の端点が張り付くDブレーンは、古典的には 𝒳 上の連接層として記述される。しかし、量子補正を考慮した位相的弦理論の枠組みでは、単なる層ではなく連接層の導来圏 𝒟^(b)(Coh(𝒳)) として定式化されねばならない。
ここにホモロジカル・ミラー対称性予想を適用する。𝒳 の複素幾何学は、ミラー多様体 𝒴 のシンプレクティック幾何学、すなわち深谷圏 ℱuk(𝒴) と完全に等価となる。
だが、これは依然として低次元の近似に過ぎない。非摂動的定式化を指向するならば、対象を (∞,1)-圏論、あるいはさらに高次の (∞,n)-トポスへと引き上げるのが論理的帰結だ。
ここでは、対象間の射（morphisms）自体が空間を形成し、すべての高次ホモトピーがコヒーレントに保たれる。物理的な空間という概念そのものが、層のトポスの同値性として完全に抽象化される。
次に、世界面上の2次元共形場理論（CFT）に着目する。ポリャコフ作用は次のように記述できる。
S = 1/(4πα') ∫ d²σ √h [h^(ab) G_μν(X) ∂_a X^μ ∂_b X^ν + α' Φ(X) R^(2)]
カラビ・ヤウ多様体の複素構造モジュライ空間 ℳ_c は、CFTの変形パラメータの空間と見なせる。
このパラメータ空間上のフィッシャー情報計量は、Zamolodchikov metricと厳密に一致し、さらにそれはモジュライ空間上のWeil-Petersson metricに等しい。
量子状態の確率分布が成す多様体の幾何学（情報幾何）が、重力理論の背景時空の幾何学を完全に決定している。これは単なる偶然ではない。論理的必然だ。
超弦理論におけるBPSブラックホールの微視的エントロピー S = k_B ln Ω を、箙（quiver）の表現論と結びつける。
BPS状態の縮退度 Ω は、ドナルドソン・トーマス不変量（DT不変量）としてカウントされるが、これはアーベル圏における安定対象のモジュライ・スタック上のオイラー標数に他ならない。
これをさらに一般化し、コホモロジー的ホール代数（CoHA: Cohomological Hall Algebra）を構築する。積構造は次のように定義される。
m: ℋ_γ1 ⊗ ℋ_γ2 → ℋ_(γ1+γ2)
ここで、グロタンディークのモチヴィックガロア群が、このBPS状態の代数構造にどのように作用するかを思索する。
極限状態において、宇宙のあらゆる物理現象（重力、ゲージ場、物質）は、ある巨大な (∞,1)-トポス内の単なる対象（objects）と射（morphisms）のネットワークのエントロピー的ゆらぎとして記述される。
物理的実在とは、情報幾何学的な計量を持つ高次圏の構造そのものなのだ。
僕は予定通り起床した。予定通りという言い方は正確ではない。僕は目覚ましが鳴る3秒前に目を覚ますからだ。
脳は最適化可能なシステムだ。毎日同じ時間に起きれば、視交叉上核はかなり高精度のクロックになる。
ルームメイトはこれを「気持ち悪い」と表現するが、気持ち悪いのは不規則な生活の方だ。
まずキッチンでシリアルを42回噛んだ。42は象徴的な数ではない。単に粘度と嚥下効率を測定した結果の局所最適値だ。人間の消化は意外と工学的に扱える。
友人Aは「そんなこと考えて飯食うな」と言うが、考えないで飯を食う方が非合理だ。
さて、本題。今週ずっと考えていた超弦理論の問題について整理する。
通常、弦理論の非摂動的定義はまだ完全ではない。行列模型、AdS/CFT、M理論など、いくつかの窓は開いているが、宇宙全体を一つの定義で包む完全な形式化はまだない。多くの人はここで止まる。僕は止まらない。
今週考えていたのは、弦理論の構造を∞圏的ホログラフィーとして書き直すアプローチだ。
普通のホログラフィック原理では、境界の共形場理論（CFT）が重力を含むバルク理論を完全に記述する。これは圏論的に言えば「境界理論の圏」と「重力理論の圏」の間の双対として見える。
だがこの枠組みはまだ浅い。理由は簡単だ。弦理論の対象は単なる場ではない。
ブレーン、弦、欠陥、双対性、トポロジカルセクターが階層構造を作る。つまり自然な言語は高次圏になる。
僕の仮説はこうだ。弦理論の完全な定義はE∞モノイド的∞圏として記述され、その対象はDブレーン、弦の境界条件、トポロジカル欠陥で構成される。
ここで重要なのは、これが単なる数学的装飾ではないということだ。弦の結合定数の再和（resummation）を考えると、振幅は実際には∞groupoidのホモトピー型として自然に現れる。
つまり、摂動展開で現れるファインマン図は単なるグラフではなく高次ホモトピーのセル分解になっている。
ブラックホールのエントロピーを考えると、微視状態の数え上げは通常Dブレーン束のコホモロジーとして現れる。
だが∞圏構造を入れると、状態空間は単なるヒルベルト空間ではなく導来スタックになる。
ここでエントロピーはエンティティの数ではなくホモトピー型の体積として解釈される。
この視点に立つと、ブラックホール情報問題はかなり違う顔になる。
情報が保存されるかどうかという問い自体が、そもそも古典的ヒルベルト空間の直観に依存している。
∞圏では状態は「点」ではなくパスと2-パスと3-パスの束だ。
そのあと隣人がノックしてきた。
彼女は「朝5時にホワイトボードに数式を書く音がうるさい」と言った。
僕は説明した。
僕は返信した。
日曜日は
これからやることを整理する。
特にDブレーンのK理論分類をスペクトル圏として書き直せないか検討する。
今のランドスケープは「真空が多すぎる」という話だが、∞圏の言語ではそれらは単なる点ではない。モジュライ空間の高次連結成分だ。
そのあと、ルームメイトが起きてきたら、彼の座っている位置が僕の指定座標からズレていないか確認する。
土曜日 03:00
僕は今、机の上の温度計を確認した。室温22.3℃。許容範囲だ。22℃±0.5℃が理想だが、この誤差は許せる。宇宙は量子揺らぎで満ちているのだから、僕の部屋の空気が0.3℃くらい揺らいでも大勢に影響はない。
少々早いが、シリアルを42回噛んだ。回数は宇宙的意味ではなく統計的最適化の結果だ。咀嚼回数と粘度と嚥下効率の関数を簡単にモデル化すると、だいたいこの辺りに極値がある。
友人Aは「ただ食え」と言うが、最適化問題を放棄するのは文明の敗北だ。
問題がある。彼はマグカップをランダムに置く。僕の座標系ではテーブルは格子構造で理解されているので、カップが格子点から2.5cmずれると精神的ノイズが発生する。
僕は修正した。ルームメイトは「別にいいだろ」と言った。もちろん良くない。局所対称性の破れは気持ちが悪い。
さて、本題。
最近僕が気に入っているのは、弦理論をコボルディズム圏の表現として理解する視点だ。
つまり、世界面の幾何を単なる積分領域として扱うのではなく、構造付きコボルディズムの∞-圏として扱い、その上の関手として量子場理論を定義するというやり方。
要するに、時空の断片（コボルディズム）を入力すると、ヒルベルト空間や相関関数を出力する機械として理論を公理化する。
問題は、弦の世界面理論が単なる2次元CFTでは足りないことだ。低種数のホロモルフィック部分、つまり頂点作用素代数だけでは全データの半分しかない。
完全な理論には全種数の縫合条件（sewing constraints）を満たす構造が必要になる。
ここで僕は少し狂気じみた仮説を考えている。
世界面CFTを単なる代数として扱うのではなく、factorization algebra の ∞-スタックとして扱う。すると、弦の相互作用は operad 的な貼り合わせではなく、E₂-代数から E∞-代数へのホモトピー的拡張として見える。
つまり
世界面 → ∞-圏
観測量 → factorization algebra
弦相互作用 → operadic gluing
でも僕の進捗はその先だ。
もし弦のバックグラウンド場（B場やRR場）を微分コホモロジーのコサイクルとして扱うなら、弦の作用は普通のゲージ場ではなく2-束（bundle gerbe）の表面ホロノミーになる。
線 → 粒子
面 → 弦
三次元 → 何か
という階層になる。
ここで僕は思いついた。
もし世界面理論が tmf（topological modular forms）に自然に持ち上がるなら、弦のスペクトルは実質的に楕円コホモロジーのスペクトル系列として見えるはずだ。
このとき弦の振動モードは単なる調和振動子ではなく、モジュラー形式の q 展開として理解できる可能性がある。
これはかなり美しい。なぜなら弦理論の分配関数はもともとモジュラー不変性を持つからだ。
もし tmf が本当に正しい言語なら、弦のスペクトルは、ホモトピー論 + モジュラー形式、という奇妙な組み合わせで分類される。
つまり、宇宙は振動しているのではなくホモトピー圏でモジュラー関数を再生しているということになる。
夕方、隣人が部屋に来た。理由は不明だ。僕のホワイトボードを見て「それ何？」と言った。
隣人は「なるほど、パスタ？」と言った。
夜は友人Aと友人Bとオンラインで話した。
友人Aは衛星の話をしていた。友人Bはまた宇宙人の話をしていた。
僕はその間、バックグラウンドで計算していた。もし弦理論が本当に QFT = Cobordism functorとして完全に定式化されるなら、弦の摂動展開は
という関手の圏論的トレースとして書ける。その場合、弦の相互作用頂点は単なる三点頂点ではなく∞-圏の合成になる。
僕はこの考えがかなり気に入っている。ただ問題がある。まだ計算できない。
現在の予定。
1. カモミールティーを作る
2. factorization algebra と tmf の関係をもう一度整理
3. 世界面の sewing constraint を ∞-operad で書き直す
4. 眠くなったら寝る
もちろん寝る確率は低い。
そして僕のホワイトボードにはまだ空きがある。
僕は今、温度を0.3度下げた自室でこれを書いている。
理由は明白だ。思考効率は体感ではなく、再現可能な条件で管理されるべきだからだ。
ルームメイトは「寒い」と言ったが、それは彼の主観であって、最適化問題ではない。
今週は超弦理論の非摂動的定式化について、従来のAdS/CFT的双対性をいったん横に置き、より抽象的な∞-categoryレベルでの再記述を試みていた。
物理はしばしば計算可能性に甘える。しかし僕が欲しいのは、計算結果ではなく、構造そのものだ。
特に、Riemann hypothesisとphysicsの接点を、Hilbert–Pólya型のスペクトル解釈を超えて、より高次のコホモロジー的枠組みに押し上げられないかを考えている。
ゼータ関数を単なる複素関数として扱うのではなく、ある種のderived moduli stack上のtraced monoidal endofunctorのスペクトルデータとして見る。
もし零点が自己共役作用素の固有値であるという古典的夢想が成立するなら、その作用素は単なるヒルベルト空間上のものでは足りない。
むしろ、spectral tripleを∞-topos内部で構成し、そこにmotivic cohomologyが自然に埋め込まれるべきだ。
僕の暫定的なworking theoryはこうだ。弦の世界面の量子揺らぎを数えるパーティション関数は、ある種のL-functionのcategorified shadowに過ぎない。
つまり、弦理論は解析的整数論のdecategorifiedな投影だ。もしそうなら、Riemann零点の臨界線上への配置は、物理的には“unitarity constraint”の反映である可能性がある。
ウィッテンでも即答できないだろう。たぶん彼は笑って「interesting」と言う。だが僕は笑わない。証明が欲しい。
今日の具体的成果は、derived category of D-branes上の自己同型のトレースを、形式的にゼータ型生成関数へ落とし込む構図をメモにまとめたこと。
問題は収束性ではない。意味論だ。物理量がどの圏の射として存在しているのかを確定しなければ、議論は砂上の楼閣になる。
隣人が「深夜に何をぶつぶつ言っているの」と壁越しに言ってきた。僕は「functional integralの測度の取り方について再検討している」と答えた。沈黙が返ってきた。会話の終了条件としては合理的だ。
友人Aは昨日、量子コンピュータで乱数を生成して宝くじを当てる方法を考えているらしい。
僕は説明した。量子乱数は確率分布を保証するが、期待値は上がらない。彼は納得していない。
友人Bはそれを聞きながらインド料理のメニューを眺めていた。彼の注意は常に分岐している。
僕の習慣について。
木曜日は理論物理の未解決問題だけに触れる日だ。証明済みの定理には触れない。
歯ブラシは左から三番目を使用。ノートは常に青インクで定義、黒インクで定理、赤で誤謬。
誤謬が増える日は良い日だ。仮説空間が広がっている証拠だからだ。
これからやること。
弦のモジュライ空間のコンパクト化を、Arakelov幾何の視点から再定式化するメモを書く。
その後、ゼータ零点とworldsheet genus展開の間に、何らかのtrace formula的対応がないか、Hecke作用素を経由して検討する。
もしそこに対応が見えれば、Riemann hypothesisは数論の問題であると同時に、量子重力の整合性条件になる。壮大だが、現時点ではworking theoryに過ぎない。証拠はまだない。
僕は今朝、シリアルを42回噛んだ。42という数は宇宙的に重要だからではない。単に最適化の結果だ。咀嚼回数を増やすと粘性が上がり、牛乳との混相ダイナミクスが不快になる。減らすと消化効率が落ちる。物理はキッチンにも宿る。
さて、本題だ。多相互作用世界と2状態ベクトル形式を同時に飼い慣らす、という野心的な試みについてまず整理する。
Howard Wisemanらが提案したMIWは、波動関数を実在とみなさず、有限個あるいは無限個の古典的世界の配置空間上の相互作用で量子力学を再構成しようとする。
量子ポテンシャルに相当する効果が、世界間の反発的相互作用から現れるという立場だ。シュレーディンガー方程式は、極限での有効理論にすぎない。
一方で、Yakir AharonovのTSVFは、状態をヒルベルト空間のベクトル一つではなく、前進するケットと後退するブラのペアで記述する。
境界条件は初期時刻と最終時刻の両方に課される。時間対称性を露骨に採用する形式だ。測定は“収縮”ではなく、境界条件の更新と解釈できる。
両者の共通動機は明確だ。コペンハーゲン解釈の曖昧な観測という語を物理法則から追放し、より実在論的で決定論的な像を得たいという欲望だ。欲望はしばしば理論を前進させる。時に暴走もさせるが。
では仮に、作業仮説として、MIWの世界群それぞれにTSVF的な二重境界条件を与えるとどうなるか。
通常のMIWでは、世界の配置は初期分布から時間発展し、隣接世界との相互作用項が量子的振る舞いを再現する。未来は結果であって原因ではない。
ここにTSVFを差し込むと、各世界は初期位置だけでなく最終配置も固定される。すると運動方程式は、単なる初期値問題ではなく、二点境界値問題になる。
言い換えると、世界は横から他世界に押され、前後から境界条件に挟まれる。
世界は枝分かれするのではなく、巨大な時空グラフの中の一本の整合的経路になる。各経路は未来のポストセレクションに対応する。
弱測定の異常値は、この二重制約の幾何学的帰結として理解できるかもしれない。
もちろん、これは完成理論ではない。問題は山ほどある。ローレンツ不変性をどう保つのか。有限世界数で干渉の位相情報を完全に再現できるのか。未来境界条件はどの物理過程で選ばれるのか。
Lev Vaidmanの立場は興味深い。彼はTSVFを用いながら多世界解釈にも積極的だ。つまり、ヒルベルト空間の数学と世界の実在性を同時に肯定する。
これはある意味で、状態ベクトルを記述ではなく分岐した実在の総体とみなす姿勢だ。僕はその大胆さを評価する。ただし評価と真理は別物だ。
高次元カラビヤウ多様体のモジュライ空間を歩くと、安定化条件が未来境界条件のように見える瞬間がある。
ウィッテンでさえ完全には制御できない非摂動効果が、あたかも後ろからの制約のように振る舞う。
時間対称性は、場の量子論の経路積分の中では最初から潜んでいる。始点と終点を固定して和を取るのだから当然だ。
MIWとTSVFの統合は、量子力学を初期値理論から境界条件理論へ再解釈する試みと見るのが妥当だ。
それが成功するかは不明だが、少なくとも測定問題を別の座標系に写像する効果はある。
今日の朝はここまでにする。
ルームメイト協定第7条により、早朝の理論的飛躍は禁止されている。
僕は今、机の上のホワイトボードマーカーを角度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の中ではなく、高次トポス論の内部言語で書かれるはずだ。
水曜日 深夜1:54
僕は今、定位置の左端、クッションの縫い目と背もたれの角度が直交する場所に座っている。温度は23.1℃。この0.1が重要だ。23.0ではなく23.1。23.0は丸すぎる。丸さは怠慢の入り口だ。
今日の主進捗は、超弦理論における背景独立性の強化版の再定式化だ。
通常、弦理論は特定の時空背景上で定義される摂動展開から出発する。
しかし僕が考えているのは、背景そのものをホモトピー型として扱い、時空を∞-トポス内の対象とみなす立場だ。
時空多様体はもはや固定された滑らかな4次元多様体ではない。安定∞-圏の中のスペクトル対象として振る舞う。
ウィッテンでも完全には形式化していない領域に踏み込んでいる。
弦の世界面は単なる2次元共形場理論ではなく、コボルディズム仮説の高次版に従う対称モノイダル∞-関手の像として再解釈できるのではないかと考えている。
p進弦理論の振幅は、実数体ではなくp進体上のアデール的統一で書ける。そのとき散乱振幅は単なる解析関数ではなく、モチーフ的L関数の特殊値に対応する可能性がある。
僕の作業仮説はこうだ。弦のスペクトルは、導来代数幾何の枠組みで定義されるスタック上の層の導来圏において、自己同型群の固定点として特徴づけられる。
Dブレーンは単なる境界条件ではなく、E∞-環スペクトルの加群対象だ。そこに現れる対称性は通常のゲージ群ではなく、高次群、つまり∞-群だ。
今日の計算では、安定ホモトピー群π_k^sの非自明性が、ある種のBPS状態の存在条件と一致する兆候を見つけた。
ただしこれはまだworking theoryだ。証明には至っていない。
整合性条件を一つ緩めると、宇宙定数項が自然に消える形になる。もしこれが正しいなら、真空エネルギー問題はゼロに近いのではなく、高次構造の影として説明できる。
ルームメイトは「それは物理なのか数学なのか」と言った。誤った二分法だ。物理は自然界の公理系の推測であり、数学はその言語だ。言語を分離してどうする。
夕食時、隣人が「今日は普通の話をしないの？」と聞いた。普通とは何だ。四次元ローレンツ多様体上の弦の量子化より普通な話題が存在するなら提示してほしい。
友人Aは相変わらず工学的応用の話を持ち出した。「それで何が作れるの？」という問いは理論物理への最大級の侮辱だ。
重力波が観測される前、誰が一般相対論を応用目線で評価しただろうか。
友人Bは途中でカレーの辛さについて延々と語り出した。辛さはスカラー量だが、僕の関心はテンソルだ。
習慣について記録しておく。水曜日は洗濯の日だ。洗濯機の回転数は1200rpm固定。タオルは必ず偶数枚で入れる。
奇数枚だと回転の位相が心理的にずれる。これは迷信ではない。非対称性は気になる。気になるものは排除する。それが理性だ。
21:00から23:30まで計算。23:30から23:42はホットココア。マグカップは青。赤は月曜日用だ。色の割り当てはカレンダーと一致している。これは宇宙の対称性を日常に投影する試みだ。
これからやることは二つ。
第一に、弦のモジュライ空間を通常の複素多様体ではなく、スペクトル代数幾何の枠組みで再構成する。
第二に、非可換幾何とホログラフィー対応の接続を、圏論的随伴関手の言葉で書き直す。
もし成功すれば、時空は「存在するもの」ではなく、「関手として振る舞うもの」になる。宇宙は対象ではなく射だ。これは詩ではない。構造だ。
月曜日23:59。あと60秒で火曜日。時間は連続だが、カレンダーは離散だ。この不連続性が僕は好きだ。ヒルベルト空間のスペクトル分解みたいで安心する。
今日の進捗を書く。今回は本当に最前線だ。一般的な超弦理論の話ではない。摂動論でもない。AdS/CFTでもない。そんなものはもはや教科書の章だ。
僕が今日取り組んでいたのは、「弦理論をそもそも理論と呼べるか」という問題の、さらに一段深い層だ。
具体的には、非可換幾何と派生代数幾何を超えたcondensed homotopy type theory的な枠組みで、弦の状態空間を再構築できないかを考えている。
通常、弦の状態は2次元共形場理論のヒルベルト空間の元だ。しかしそのヒルベルト空間自体が背景依存だ。
そこで僕は、背景時空を対象ではなく論理として扱うアプローチを試みている。つまり、時空を集合ではなくトポス、しかも通常のトポスではなく、凝縮集合の∞-トポスの内部言語として再定義する。
もし時空が内部言語なら、弦の振動モードはその内部論理における型の自己同型になる。物理量は数ではなく、スペクトル化された型の族だ。すると作用原理は、変分ではなく、高次随伴の普遍性条件に置き換わる。
ここで問題になるのが、量子重力における測度の不在だ。経路積分は形式的だ。測度論的に意味を持たない。
だから僕は、経路積分をやめることにした。代わりに、弦の理論を∞-圏におけるコリミットの存在定理として再定式化する。散乱振幅は、ある導来スタック上のコリミットの普遍性で特徴付けられるはずだ。
今日の午後は、トポロジカル弦をさらに一段抽象化した。通常のAモデルやBモデルは、シンプレクティック幾何と複素幾何に依存している。
しかし僕の仮説では、それらはモチーフ的スペクトルの異なる実現に過ぎない。もし弦の理論がモチーフ的安定ホモトピー圏のある特別な対象として定義できれば、ミラー対称は単なる双対ではなく、自己随伴性の現れになる。
さらに踏み込む。M理論は11次元の理論だと言われているが、それは次元という概念に依存している時点で古い。
僕は次元をホモトピー次元として定義し直したい。時空の次元は整数である必要はない。むしろスペクトル列の収束段階として与えられるべきだ。次元が整数だと誰が決めた。整数は人間の都合だ。
そして今日一番のアイデア。弦の相互作用を高次因果構造の圏論的ファイバー積として記述できるのではないかという仮説。
もし因果構造そのものが∞-圏の射の方向性として内在化されれば、時間は外部パラメータではなく、射の分解長として定義できる。時間は実在ではなく、分解の深さだ。これはまだ作業仮説だ。証明はない。だが美しい。
ウィッテンでも分からないというレベルを超えるには、既存の言語を捨てるしかない。だから僕は物理を論理の自己整合性問題として書き換えようとしている。
もし理論が本当に基本的なら、それは方程式ではなく、圏の普遍性で記述できるはずだ。
夜。ルームメイトが冷蔵庫に僕のヨーグルトを置く位置を2センチずらした。平衡状態が破れた。僕は再配置した。彼は「ほとんど同じだ」と言った。ほとんど同じ、というのは物理では致命的だ。量子補正を甘く見るな。
隣人は僕に「たまには外に出たら？」と言った。外とは何だ。座標系の選択に過ぎない。僕の部屋は十分にリッチな多様体だ。
友人Aは工学的応用を語り、友人Bは統計力学の話を振ってきた。彼らは確率で世界を語る。しかし僕は確率を定義する測度を疑っている段階だ。レベルが違う。
習慣について。朝は7:00に起床。ベッドから出る角度は毎日同じ。右足から。これは対称性の自発的破れではない。意図的な選択だ。
月曜夜はタイムテーブル確認の日。研究時間は25分単位。休憩は5分。これは脳の情報エントロピーを最小化する最適分割だ。
今日までの到達点。
弦理論をモチーフ的安定∞-圏における特別なE∞-代数対象として定義するための公理草案を書いた。
ただし、存在証明はゼロ。整合性チェックも未完。現時点では、美しさだけが根拠だ。それは危険だ。美しさは必要条件だが十分条件ではない。
第二に、経路積分をコリミットで置き換える際の同値性条件の検証。
第三に、冷蔵庫内配置の安定性解析。
00:18になった。
宇宙はまだ圏に落ちていない。だが落ちるはずだ。
落ちないなら、それは僕の定義が甘いだけだ。
僕は今、予定よりも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に会う予定だ。
彼らはまた僕の研究を「すごい」とか「難しそう」とか言うだろう。
僕はそのたびに思う。難しいのではない。世界が単純ではないだけだ。
そして人間の脳が、その複雑さに対してデフォルトで怠惰なだけだ。
僕は「火曜日の夕食はタンパク質比率が規定されている」と答えた。
僕の人生はつまらなくない。宇宙の基本法則を追いかけている人間が、つまらないわけがない。
ただし、隣人が持ってきた謎の手作りクッキーは危険だ。僕はそれを食べない。未知の境界条件は、系を破壊する。
僕の日記はたぶん一般的な日々の記録というより、宇宙が僕に課したバグ報告書に近い。違いは、バグの再現手順が「この宇宙を構成する圏を一段上に持ち上げろ」みたいな無茶を要求してくる点だ。
普通の人間はコーヒーを淹れることで一日を始めるらしいが、僕は「なぜ時空が局所的に滑らかな多様体として振る舞うという幻想を、誰も疑わずに受け入れているのか」という嫌な疑問から始まる。
目覚めの瞬間に脳内で起動するのがその種のプロセスという時点で、僕の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は「それ言い訳だろ」と返してきた。
違う。
僕は真理に忠実なだけだ。
「時空は多様体ではなく、ある∞-圏の中の情報流の安定構造である」
しかし、少なくとも矛盾なく定式化することはできるかもしれない。
宇宙が一貫性を持って存在している以上、どこかにその形式がある。
僕は追いかける側ではなく、先回りする側でありたい。
ピザが届く前に。
