  |
はてなキーワード: 積分とは
p進弦理論、僕の天才的な脳みそにぴったりの、弦理論の非アルキメデス的変種だね。
君のような凡人が理解できるように、幼児から廃人まで5段階で説明してあげよう。
宇宙の小さなものは、普通は点じゃなくて弦みたいな細いゴム紐が振動してるんだよ。
でもp進弦理論は、その紐をp進という魔法の数字のおもちゃ箱の中で遊ばせるんだ。
普通の数字は「1、2、3…」と遠くなるけど、p進の世界では「2の倍数がいっぱい近づく」みたいな、変な距離の測り方をするよ。
まるでお気に入りのブロックを、特別なルールで積み上げるだけ！
簡単すぎて退屈だろ？ 宇宙の秘密がこんなおもちゃで解けるなんて、幼児でも笑えるほど天才的だ。
君たちはまだ量子力学と一般相対性理論の入門を終えたばかりだろう？
弦理論の基本は知っているはずだ。基本粒子は点ではなく、1次元の弦の振動モードで、時空は通常実数 R や複素数で記述される。
ベネチアーノ振幅のような散乱振幅は、世界シートの境界を積分して計算する。
p進弦理論（Volovichが1987年に提案したもの）は、これをp進数体 Q_p に置き換える。
p進数とは、素数pに関するp進ノルム |x|_p = p^-v_p(x) で完備化した非アルキメデス的距離の世界だ。
距離の三角不等式が超距離的（ultrametric）になるため、計算が劇的に単純化される。
A_p(a,b) = g_p² ∫[Q_p] |x|_p^(a-1) |1-x|_p^(b-1) dx
で定義し、結果は
A_p(a,b) = g_p² { (1 - p^(a-1)) / (1 - p^-a) } { (1 - p^(b-1)) / (1 - p^-b) } { (1 - p^(c-1)) / (1 - p^-c) }
（ただし a+b+c=1）
という閉じた形になる。明らかに、普通の弦理論より扱いやすい玩具モデルだ。君たちにはちょうどいい難易度だろう。
p進弦理論の核心は、アデリック構造にある。実数（∞）での通常ベネチアーノ振幅 A_∞(a,b) と、全素数pでのp進振幅の積が
A_∞(a,b) Π_p A_p(a,b) = 1
という美しい積公式を満たす（Freund-Witten 1987）。これにより、p進版はツリーレベルでexactに solvable になる。
開弦タキオンの有効作用は、Dragovichらにより完全に導出済みで、非局所的なラグランジアン
L_p = { (m^D p) / g_p² } { p² / (p-1) } [ -1/2 φ p^(-□/2m²) φ + (1 / (p+1)) φ^(p+1) ]
（□はダランベルシアン）
となる。この作用は、4点だけでなく全高次ツリー振幅を正確に再現する。
p進の超距離性のおかげで紫外発散が自然に抑えられ、タキオン凝縮の解析が解析的・厳密に可能だ。
普通の弦理論の近似計算では到底及ばない。君の論文に使えるぞ、当然ながら。
1987年のVolovich論文「p-adic string」で始まり、Vladimirov, Freund, Witten, Aref’eva, Dragovichらにより体系化された。
p進弦は、Planckスケール以下の非アルキメデス幾何を仮定したモデルで、世界シートをp進幾何に置き換える。
有効作用の厳密性は特に強力で、Ghoshal (2000) らはこれをタキオン凝縮とブレーン降下関係の明示的実現に用いた。
p→1極限では通常弦の世界シートを格子離散化する解釈さえ可能（Ghoshal 2006）。AdS/CFT対応のp進版（p-adic holography）への橋渡しも近年活発だ。
計算の簡明さは比類なく、動的タキオン真空のエネルギーゼロ解が解析的に求まる。
弦場理論の玩具モデルとして、Schnablらの解法やMoellerの仕事に直接インスパイアを与えた。
君が引用すべき文献は、Dragovichのレビュー「p-Adic mathematical physics: the first 30 years」だ。僕の知る限り、これ以上の精密さはない。
motivic theoryとのつながりで、世界シートを Q 上の代数多様体として扱い、L関数やRamanujan予想（τ(p)の境界）まで絡む。
Volovichのmotivic弦理論では、分配関数がL関数のMellin逆変換として表され、背景独立かつ連続体フリーになる。
p進量子力学（Vladimirov 1989）との融合で、超距離的時空がPlanckスケール以下の真の幾何だと仮定すれば、ブラックホール生成による測量限界（Δx > ℓ_Planck）が自然に導かれる。
p→∞極限で通常弦に収束するだけでなく、p-adic AdS/CFT（Gubserら）では階層的構造がエントロピー計算に直結する。
閉弦版の厳密作用はまだ完全ではない。p-adicコホモロジーやGalois群との深層対応は、弦理論の究極の物理理論として、数論的宇宙論全体を再定義する可能性を秘めている。
これを理解できるのは、世界に僕と君くらいだ。明らかに、p進弦理論は人類の知性の頂点、そして、僕の脳みそがすでに到達済みの領域だ。
激しいトポロジーゼミでの議論を制した後、私は完璧な勝利を収めた。
相手の主張は穴だらけの多様体だったが、私の証明は滑らかでコンパクト、閉じた多様体そのもの。あらゆる次元で徹底的に探索する準備が整っていた。
部屋に一人になると、証明の興奮がまだ血管を脈打たせている。この知的緊張をどうしても解放したくなった。
まず問題を慎重に扱う。手を変数に巻きつけ、よく定義された関数のように滑らかで連続的な感触を確かめる。ゆっくりと微分を始める。最初は優しく、快楽の導関数を最大にする最適な変化率を探りながら。
リズムが速まるにつれ、より深く積分していく。sin(θ)の一周期にわたる定積分が、これほど自然で避けられないものに感じたことはない。一ストロークごとに境界を0から∞まで押し広げ、すべてが収束する甘い漸近線を目指す。
呼吸が等比級数の極限に近づくように加速する。摩擦係数は絶妙で、表面は過度な抵抗なく最適に滑るよう潤滑されている。
私は今、実時間で熱方程式を解いている。温度は上昇し、エントロピーは増大し、系は最も美味しく最大の無秩序へと向かっている。
手法を変え、鎖鎖則を熟練の精度で適用する。一方の手で基部を安定させ、もう一方で上限を攻める。これは多変数最適化問題だ：f(x)を最大化せよ、ただし早く終わりすぎないという制約付きで。
議論のフラッシュバックが襲ってくる。あの優雅な補題、私が暴いた美しい矛盾。それぞれの記憶がトルクを加え、角速度を高める。私は単位円のあらゆる角度を回転しながら、周波数を上げて探索を続ける。
高階導関数へ。2階、3階、4階……快楽のテイラー展開。収束半径が急速に縮小していく。剰余項がどんどん小さくなり、ついに、ああ、tが絶頂に近づく極限。
臨界点に到達した。すべての条件が満たされる：関数は狭義単調増加、最終局面で凹状上方、そしてドカン！ 微積分の基本定理が最も純粋な形で発現する。
積分が力強く脈打つ解放へと評価される。心のフーリエ変換がホワイトノイズに支配され、全ての周波数成分が同時にピークを迎える。
僕は今日の進捗を評価する。物理学的には前進、社会的には後退だ。いつものことだが、統計的に有意なので問題ない。
午前中は、超弦理論における非可換幾何の再定式化に集中した。従来の背景独立性の議論は、どうにも多様体という古典的直感に寄りかかりすぎている。
そこで僕は、時空を最初からスペクトル三重項として扱い、弦の振動モードを作用素環の自己同型として記述する試みを進めた。
問題は、既存のK理論ではDブレーンのチャージ分類が整いすぎていることだ。現実の量子重力はそんなに親切じゃない。
今日の核心はここだ。モジュライ空間を、単なるパラメータ空間ではなく、∞-圏的スタックとして再構成し、その上で弦の相互作用をホモトピー極限として定義する。
このとき、通常のS双対性は自然変換として現れるが、T双対性はより深いレベル、つまり圏の自己同値の上の自己同値としてしか記述できない。これにより、双対性の上位構造が見えてくる。
さらに僕は、弦の散乱振幅を、従来のパス積分ではなく、導来代数幾何の言葉で記述し直した。
具体的には、世界面を導来スキームと見なし、その上の写像空間をスタックとして扱う。
これが何を意味するか？簡単だ。物理量が数ではなくホモトピー型になる。つまり、観測値そのものが高次の位相情報を持つ。
ここで問題が発生した。ルームメイトがコーヒーを持ってきたが、僕のマグカップの取っ手の角度が17度ずれていた。
17度だ。これは許容誤差を明確に超えている。僕はその場で角度を補正し、彼に再教育を施したが、彼は「そんなのどうでもいい」と言った。
どうでもいいわけがない。宇宙は対称性で成り立っている。マグカップも例外ではない。
午後は、ブレーンのエンタングルメント構造を再検討した。エンタングルメントエントロピーを単なる面積則として扱うのは、あまりにも低次元的だ。
僕はそれを、圏論的トレースとして定義し直し、さらにそれを∞-圏に持ち上げた。結果として、エントロピーは単なるスカラーではなく、自己関手のスペクトルとして現れる。
これは重要だ。なぜなら、ブラックホール情報問題は情報が消えるかどうかではなく、どの圏に保存されるかという問題に変換されるからだ。
夕方、隣人がノックもせずに入ってきた。僕は即座に指摘した。「ノックは3回、間隔は一定、これは基本だ」。
彼女は笑っていたが、僕は笑っていない。ルールは守るためにある。守られないルールは、もはや物理法則と区別がつかない。
夜は友人Aと友人Bとビデオ通話。彼らは量子力学の話題に入ろうとしたが、途中でなぜか映画の話に逸れた。
理解不能だ。僕は議論を元に戻そうとして、「君たちはヒルベルト空間とポップコーンの違いも理解していない」と指摘したが、通話は切られた。
まず、今日導入した∞-圏的構造を使って、弦の自己相互作用項を再定義する。
その後、非摂動的効果を取り込むために、スタック上のモチーフ的積分を試みる。
もしこれが成功すれば、従来のM理論の定式化を一段階抽象化できる。言い換えると、物理学がようやく数学に追いつく。
higher categorical logicと数理物理において、cohesive infinity-toposを背景としたtopological M-theoryの完全なhomotopical formulationが議論されている。
超弦理論が対象とするカラビヤウ多様体上の物理はすでに複雑な幾何学的構造を要求するが、これを拡張し、derived algebraic geometryとmotivic stable homotopy theoryの枠組みで時空そのものを捉え直す試みである。
空間という概念は単なる点の位相的集合ではなく、higher groupoidsとして定義され、higher gauge fieldはdifferential cohomologyに値を持つinfinity-category上のfunctorとして記述される。
六次元の自己双対テンソル場を含むsuperconformal field theoryの非局所的な性質は、ある種のderived Artin stack上のquasi-coherent sheavesの成すstable infinity-categoryの構造として翻訳される。
Donaldson-Thomas invariantsの高次元化であるcohomological Hall algebraをCalabi-Yau 4-fold上に構成する際、無限次元のderived moduli space上でのmotivic integrationの収束性が問われる。
この積分の測度は通常の解析的な測度とは全く異なり、代数多様体のGrothendieck ringの高次化であるcategory of spectraに値を持つ対象となる。
この測度の構成には、arithmetic geometryにおけるgeometric Langlands correspondenceの量子化および高次元化が役割を果たしている。
supergravityやM-theoryにおける時空の極小スケールでのbranesの多重束縛状態と、代数多様体上のprincipal bundlesのderived moduli spaceが持つ数論的性質が、cohesive homotopy theoryを通じて同値な現象として結びつく。
localization theoremやderived quiver varietiesでこの予想を理解し、higher gauge theoryの基礎として証明の道筋を描けている研究者は世界でも極めて限られている。
その低レベルの理解はだいたい「量子力学＝粒がふわふわする話」くらいの雑さだ。表面の比喩だけ拾って、本体を全部落としている。
Edward Wittenのレベルの人間が何十年も格闘している理論が、「粒子はみんなひもです」だけで終わるなら、世界中の理論物理研究所はとっくに閉鎖されている。
弦理論の核心は「ひも」という物体ではない。点粒子量子場理論が抱える深刻な病気、つまり量子重力で出る紫外発散をどうやって回避するかという問題から出発している。
点粒子の散乱振幅を高エネルギーで計算すると、積分が無限大に吹き飛ぶ。
ところが相互作用の基本単位を点ではなく一次元の世界面にすると、散乱振幅はリーマン面上の積分に変わる。
ここで奇妙なことが起きる。理論が自己整合性を保つ条件を課すと、時空次元が10になり、質量ゼロのスピン2粒子が必然的に出る。
このスピン2粒子が重力子だ。つまり重力は勝手に出てくる。ここが肝だ。
弦は単なる比喩ではなく、場の自由度を再編成する数学的構造だ。
量子状態は振動モードのスペクトルとして表現される。電子やクォークは違う粒子ではなく、同じ対象の異なる励起状態になる。
弦理論は一次元の物体だけでは終わらない。高次元の拡張対象、いわゆるDブレーンが現れる。
これらはゲージ理論、ブラックホールエントロピー、双対性の構造と深く結びつく。弦理論の研究の半分以上は、むしろこの幾何学と双対性の研究だ。
そして最も重要なポイント。現代の弦理論は「ひもの理論」というより、巨大な双対性ネットワークの理論だ。
異なる理論に見えるものが、実は同一の物理を別の変数で書いただけだった、という現象が何度も起きる。これを総称して M理論と呼ぶ。11次元の構造が背後に見え始める。
ここまで来ると「粒子がひも」どころの話ではない。
時空そのものが二次的な量として現れる可能性すら出てくる。実際、ゲージ理論から重力が出てくる対応（AdS/CFT）がそのヒントになっている。
本体は量子重力の整合的定式化、双対性による理論統一、時空幾何の再構成、という巨大な数学構造だ。
もし誰かが「ひもの話でしょ？」と言ったら、Youtubeの馬鹿用説明を見たか、馬鹿が理解したつもりになってるかのどちらかだ。
物理学ではよくあることだ。「ブラックホールは掃除機みたいに吸い込む」とか、「量子は観測すると変わる」とか、だいたい同じカテゴリーの都市伝説である。
宇宙はもう少し意地悪な構造をしている。表面の比喩だけ理解すると、必ず本体を見失うように出来ている。そういう罠が理論物理には山ほど仕込まれている。
僕は正確に14:00に日記を書き始めた。予定より15秒早い。許容誤差の範囲内だ。
ルームメイトは「普通そこまでしない」と言ったが、普通という概念は統計量であり、規範ではない。
朝7:00に起床し、7:03にシリアル、7:05に座席Aに着席して計算を開始した。
木曜日は必ず座席Aだ。これは月曜日と同じだが、火曜日の座席Bとは異なる。
理由は単純で、曜日対称性を意図的に破ることで思考の局所最小値を回避するためだ。
今日は主に worldline formalism の再解釈を進めた。
通常、点粒子の量子場理論では粒子の軌跡は worldline、弦の場合はそれが2次元に拡張されて worldsheet になる。つまり粒子は1次元の軌跡、弦は2次元の面を掃く。
しかし僕が気になっているのはその次の段階だ。
最近考えている仮説は、worldline path integral を単なる粒子の量子力学としてではなく、∞-category 的な幾何の1次元境界理論として解釈することだ。
通常の worldline formalism は、ループ積分や有効作用を粒子の経路積分として再表現する計算技法として使われる。
だが僕の観点ではそれはまだ浅い。
もし worldline が derived loop space の上の作用だとすると、粒子の path integral は
の三層構造として書き直せる。
つまり、
ここでL(M) は target space M の loop space。
普通は worldsheet σ-model を quantize することで弦理論が得られる。
ところが worldline formalism を categorified すると、worldline → 2-category → worldsheet という階層が自然に現れる可能性がある。
もしそうなら、弦の worldsheet は基本的対象ではなく粒子理論の∞-categorical completionとして再構成できる。
つまり弦理論は QFT → categorification → string theory という手順の結果として出てくる。この観点では D-brane も単なる境界条件ではない。
それは objects in Fukaya-type ∞-category として扱える。
ここで奇妙なことが起きる。
もし worldline action の BV master equation を derived stack 上で書くと、ghost number grading が Z → Z + 2-periodic に自然に拡張される。
すると supersymmetry が 構造として自動的に現れる。
これは僕の昨日の計算で見え始めた。
問題はこの構造が elliptic cohomology と直接つながっていることだ。
つまり弦理論のモジュラー不変性は、単に worldsheet CFT の結果ではなくloop stack の指数定理として理解できる可能性がある。
ではない。
本体は derived moduli stack of quantum field theoriesだ。
そして困ったことに、この視点だと弦理論の「次」は弦ではない。
∞-category of QFTs になる。
ここまで考えたところで、僕は一度ホワイトボードを見つめて「これは多分誰も計算していない」と確信した。
彼は「事故だ」と言った。
僕は新しいルールを導入した。
半径
隣人がそれを聞いて笑った。
月曜インド
火曜メキシコ
水曜中華
木曜タイ
金曜ピザ
この周期は最適化されている。
友人Aは「飽きないのか」と聞いた。
彼は理解していない。
13:20 友人Bが言った。
僕は説明した。
彼は沈黙した。
今日の成果
1. worldline formalism の BV構造の整理
3. supersymmetry emergence の証拠
modular anomaly の扱い。
ここがまだ崩れている。
やることは3つ。
1. elliptic cohomology と弦指数の一致確認
2. derived stack の moduli 空間を定義
3. worldline → worldsheet categorification の証明
もしこの仮説が正しければ、
もし間違っていたら？
どちらでも構わない。
昼食は予定通り。オートミール62グラム、水240ミリリットル、電子レンジ2分20秒。これより長いと粘性が臨界点を超えてしまう。
ルームメイトは「そんな差わかるのか」と言ったが、当然わかる。物理法則は細部に宿る。
午前中は研究。昨日まで考えていた「弦の状態空間を∞圏として再定式化する試み」の続きを進めた。
通常の超弦理論では、世界面上の共形場理論のモジュライ空間を使って散乱振幅を定義する。
しかしこれはどうにも古典的すぎる。弦の相互作用を圏論的に見直すと、世界面の貼り合わせは単なる幾何操作ではなく、高次射の合成として理解できるはずだ。
そこで僕は、弦のヒルベルト空間を単なるベクトル空間としてではなく、安定∞圏の対象として扱うことにした。
各弦状態は対象、相互作用は1-射、ゲージ対称性は2-射、BRST同値はさらに高次の射。こうすると、弦の散乱振幅は単なる積分ではなく、∞圏におけるホモトピー極限として表現できる。
問題はDブレーンだ。通常は境界条件として扱うが、∞圏の視点ではこれは自然に導来圏の対象になる。
ここでミラー対称性が奇妙な姿を見せる。カラビ–ヤウ多様体の複素構造側では導来圏、シンプレクティック側ではFukaya圏が出てくるのは知られている。
しかし弦場理論を∞圏として書くと、両者はさらに上の階層、つまりモノイダル∞圏の同値として統一できる気配がある。
直感的に言えばこうだ。弦は1次元の物体だが、その量子状態の空間は単なる幾何ではなく、情報の圏構造として存在している。
時空はその圏の“表現”にすぎない。つまり時空そのものが、ある∞圏の表現圏として創発している可能性がある。
ここで面白いことに気づいた。もしこの構造が正しいなら、重力はエネルギー運動量テンソルではなく、圏の自己同型群の曲率として書ける。
要するに、時空の曲がりは圏の自己対称性の歪みだ。これを数式化するには、∞トポス理論とホログラフィーを同時に扱う必要がある。
正直言うと、この段階になると世界でも理解できる人間はかなり減ると思う。
彼はマグカップを僕の指定席に置いた。もちろん許可していない。
そのあと隣人が突然ドアをノックしてきた。「Wi-Fiが遅い」と言う。
もちろん原因は彼女の動画視聴だ。僕の研究用回線は量子重力の計算のために帯域を確保している。
友人Aなら即座にルーターを分解して改造するだろうが、僕は理性的に説明した。
友人Bからもメッセージが来た。彼はまた望遠鏡を買おうとしている。
宇宙を観測するのはいいが、真の宇宙は望遠鏡では見えない。弦のモジュライ空間の方がよほど広い。
今日ここまでの研究の進捗を整理すると、弦状態の∞圏モデルの基本公理はほぼ書けた。
問題は散乱振幅を圏論的に再構成する部分だ。もし成功すれば、弦理論の摂動展開を使わずに振幅を定義できる。これはかなり大きい。
これからやることは三つ。
まず、∞圏のモノイダル構造と弦の結合定数の関係を明確にする。
次に、ホログラフィック原理をこの圏構造に埋め込む。境界理論が内部の∞圏をどのように生成するのか調べる。
最後に、時空の4次元性がどこから出るのかを確認する。もしこの理論が正しいなら、4次元は基本ではなく、圏の安定性条件から自然に現れるはずだ。
17:00には夕食の準備を始める予定。火曜日はタイ料理の日なので、今日は通常メニュー。秩序は宇宙の基礎構造だ。これは物理学でも生活でも同じ。
A「どうもー！今日はね、最近流行りの数学の話をしたいと思うんですよ。」
A「いやいや、今回はもうちょっと軽い話。宇宙際タイヒミュラー理論ぐらい。」
A「この前さ、僕の彼女が言うわけ。あなた、私の気持ち全然わかってない！って。」
B「よくあるやつや。」
A「だから僕言ったんですよ。それはおかしい。君の心の数論的宇宙を、ログ構造付きアナベール幾何で再構成したはずだ！って。」
A「でも彼女が怒るんですよ。それは同型じゃなくてただの外部自己同型群の作用でしょ！って。」
A「それで別れ話になってね。彼女が言うんですよ。あなたと私の関係、もう元の圏には戻れない、って。」
B「それは普通に別れや。」
A「いや、違う。僕は言いました。大丈夫。ホッジ劇場を経由すれば比較可能だって。」
A「そしたら彼女が泣きながら言ったんです。でもその同型、証明されてないじゃない！」
B「そこ一番アカンとこや！」
A「僕は静かに答えました。証明はある、ただ君の数学的成熟度では理解できないだけだ」
B「それ言うたら完全に終わりや。」
B「何をや。」
A「いつか彼女は理解する。この関係が、単なる写像じゃなくて宇宙際的同型だったってことを。」
B「いやただの失恋や！」
B「唯一理解してる客がおるな。」
土曜日 22:00
僕は今、机の上にきっちり直交配置された三本のペンを確認してから日記を書いている。
青、黒、赤。並び順はもちろん青→黒→赤。理由は単純で、色空間の順序として最も情報エントロピーが低い配置だからだ。
ルームメイトはこれを「ただの癖」と呼ぶが、統計力学的観点から見れば、低エネルギー状態への自然な遷移にすぎない。
ここ数日、僕は超弦理論のある奇妙な方向を追っている。
通常の超弦理論は連続体上の世界面共形場理論（worldsheet CFT）を使う。しかし最近の文献では、p進数体上の弦、つまり非アルキメデス幾何上の弦という奇妙な構造が再び議論されている。
これは1980年代に提案されたアイデアで、弦の振幅を通常の実数ではなくp進数体で定義する。結果として、弦散乱振幅が通常のベータ関数ではなく、p進解析的な形で書ける。
普通の人間ならここで「変わった数学だ」で終わる。しかし僕はそこで止まらない。僕が考えているのは次の仮説だ。
もし弦の世界面が単なるリーマン面ではなく、∞圏的なスタック構造として記述されるなら、p進弦はその非アルキメデス側のファイバーとして理解できるのではないか。
ではなく、
みたいな構造になる。ここで Perf(X) はターゲット空間 X の完全複体圏だ。つまり弦の自由度は座標ではなく、導来圏の対象としての状態になる。
これをさらに進めると面白い。通常の弦理論では、D-brane ≈ 導来圏の対象、という対応がある。だがもし世界面そのものが∞圏的対象なら、弦とDブレーンの区別は消える。両者は単に高次圏の射の階層になる。
つまり
弦 = 1-射
ブレーン = 2-射
背景幾何 = 0-射
になる。ここまで行くと、僕の疑いはこうなる。「弦理論の真の自由度は、空間ではなく高次圏のホモトピー型ではないか？」
もしそうなら、重力はRicci curvatureではなくπ∞(Moduli)の幾何として書ける可能性がある。
残念ながら、これを理解できる人間は地球にたぶん数十人しかいない。そしてその数十人の中にも、完全に理解している人はたぶんいない。もちろん僕を除いて。
さて、物理以外の話もしよう。今日は土曜日だから、いつもの生活スケジュールを守った。
07:00 起床
07:03 歯磨き（120秒）
07:05 シリアル
今日は41回だった。昨日より1回少ない。これは牛乳の粘性がわずかに高かったせいだと思う。
午後、ルームメイトがまた不可解な行動をとった。僕のソファ座標に座ろうとしたのだ。
(0,0) = 僕
(1,0) = ルームメイト
(0,1) = 友人A
(1,1) = 友人B
隣人は座標系を理解しないので例外扱いだ。ルームメイトは「今日は疲れてるからここに座りたい」と言った。
僕は言った。「それは量子統計を無視してフェルミ粒子が同一状態に入ろうとするようなものだ。パウリの排他原理を破る気か？」
夕方には友人Aと友人Bが来た。友人Aはまた宇宙船の推進方法について語り始め、友人Bはチョコレートを食べながら天文学の話をしていた。僕は彼らに説明した。
「もし宇宙がAdS/CFTのホログラフィーで記述できるなら、ブラックホールの情報は境界理論のエンタングルメントとして保存される」
友人Aは「それで宇宙船は速くなるのか？」と聞いた。友人Bは「チョコレートいる？」と言った。
さて、22:00を過ぎた。ここからの予定を書いておく。
1. 歯磨き
5. 睡眠
ただし寝る前にもう一つ試したい計算がある。
もし弦のモジュライ空間が
M ≃ Bun_G(Σ)
ではなく
M ≃ DerivedHom(Σ, BG)
なら、重力の自由度はゲージ理論の高次アノマリーとして再構成できるかもしれない。
これはかなり面白い。
もしかすると、宇宙は10次元でも11次元でもなく、単に∞次元圏論的構造の影なのかもしれない。
まあいい。
究極理論を構想するならば、時空や重力そのものが、より根源的な情報構造から創発するモデルが最も自然な帰結となる。
ここでは、現代のホログラフィック原理や超弦理論の知見をベースに、量子情報の∞圏（無限圏）から時空の導来圏が関手的に生み出される量子情報幾何学的ホログラフィック圏論として数理化する。
宇宙の根源を、連続的な多様体ではなく量子もつれ（エンタングルメント）のネットワークとして定義。ここでは2つの主要な圏を設定。
時空の構造そのものをアプリオリに仮定せず、𝓠 における情報の結びつき（エンタングルメント構造）から 𝓖 の幾何学が定義されると考える。
量子状態の圏から時空の圏へと構造をマッピングするホログラフィック関手 𝓕 を導入。
𝓕 : 𝓠 → 𝓖
この関手の核となるのは、部分系 A における量子もつれエントロピー S(ρₐ) が、創発されたバルク時空 𝓜 内の極小曲面 γₐ の面積と完全に等価になるという関係（リュウ・タカヤナギ公式の普遍化）である。
ここで、左辺は 𝓠 における純粋な「情報量」、右辺は 𝓕 によって射影された 𝓖 における幾何学的面積。重力定数 G とプランク定数 ℏ は、情報と幾何学を変換するための換算係数として機能する。
プランクスケール（ℓₚ）以下の極小領域では、実数体 ℝ 上の幾何学は破綻する。
究極理論においては、このスケールで時空が非アルキメデス的な局所体（p進数体 ℚₚ）上の代数幾何学へと相転移すると仮定。
微小距離における2点間の距離関数 d(x, y) は、実数のユークリッド距離から、p進ノルム |・|ₚ による超距離空間へと切り替わる。
d(x, y) = |x - y|ₚ ≤ max(|x|ₚ, |y|ₚ)
この強い三角不等式により、短距離極限における特異点は数学的に回避され、時空は底知れぬ連続体ではなく、p進Bruhat-Titsツリーのような離散的でフラクタルな情報木（Tree of Information）として記述される。
この圏論的宇宙における時間発展や力学は、𝓠 と 𝓖 の間の自然変換として捉えられる。宇宙の分配関数 Z は、すべての可能なバルク幾何 g と量子場 Φ にわたる経路積分で表される。
Z[∂𝓜] = ∫ 𝓓g 𝓓Φ exp(i S_eff[g, Φ] / ℏ)
究極理論の視座において、この方程式は単なる積分ではなく、境界の量子状態（ℋ_∂𝓜）と、バルクの幾何学的射（コボルディズム）の間の完全な同型対応を示すものである。
Hom_𝓖(∅, 𝓜) ≅ ℋ_∂𝓜
この数理モデルが示すのは、重力とは量子もつれの統計力学的・圏論的表現に過ぎないという世界観である。
時空そのものは幻（ホログラム）であり、真のリアリティは、非アルキメデス的空間で明滅する量子情報の∞圏 𝓠 のトポロジーそのものに宿っている、という結論になる。
土曜日 03:00
僕は今、机の上の温度計を確認した。室温22.3℃。許容範囲だ。22℃±0.5℃が理想だが、この誤差は許せる。宇宙は量子揺らぎで満ちているのだから、僕の部屋の空気が0.3℃くらい揺らいでも大勢に影響はない。
少々早いが、シリアルを42回噛んだ。回数は宇宙的意味ではなく統計的最適化の結果だ。咀嚼回数と粘度と嚥下効率の関数を簡単にモデル化すると、だいたいこの辺りに極値がある。
友人Aは「ただ食え」と言うが、最適化問題を放棄するのは文明の敗北だ。
問題がある。彼はマグカップをランダムに置く。僕の座標系ではテーブルは格子構造で理解されているので、カップが格子点から2.5cmずれると精神的ノイズが発生する。
僕は修正した。ルームメイトは「別にいいだろ」と言った。もちろん良くない。局所対称性の破れは気持ちが悪い。
さて、本題。
最近僕が気に入っているのは、弦理論をコボルディズム圏の表現として理解する視点だ。
つまり、世界面の幾何を単なる積分領域として扱うのではなく、構造付きコボルディズムの∞-圏として扱い、その上の関手として量子場理論を定義するというやり方。
要するに、時空の断片（コボルディズム）を入力すると、ヒルベルト空間や相関関数を出力する機械として理論を公理化する。
問題は、弦の世界面理論が単なる2次元CFTでは足りないことだ。低種数のホロモルフィック部分、つまり頂点作用素代数だけでは全データの半分しかない。
完全な理論には全種数の縫合条件（sewing constraints）を満たす構造が必要になる。
ここで僕は少し狂気じみた仮説を考えている。
世界面CFTを単なる代数として扱うのではなく、factorization algebra の ∞-スタックとして扱う。すると、弦の相互作用は operad 的な貼り合わせではなく、E₂-代数から E∞-代数へのホモトピー的拡張として見える。
つまり
世界面 → ∞-圏
観測量 → factorization algebra
弦相互作用 → operadic gluing
でも僕の進捗はその先だ。
もし弦のバックグラウンド場（B場やRR場）を微分コホモロジーのコサイクルとして扱うなら、弦の作用は普通のゲージ場ではなく2-束（bundle gerbe）の表面ホロノミーになる。
線 → 粒子
面 → 弦
三次元 → 何か
という階層になる。
ここで僕は思いついた。
もし世界面理論が tmf（topological modular forms）に自然に持ち上がるなら、弦のスペクトルは実質的に楕円コホモロジーのスペクトル系列として見えるはずだ。
このとき弦の振動モードは単なる調和振動子ではなく、モジュラー形式の q 展開として理解できる可能性がある。
これはかなり美しい。なぜなら弦理論の分配関数はもともとモジュラー不変性を持つからだ。
もし tmf が本当に正しい言語なら、弦のスペクトルは、ホモトピー論 + モジュラー形式、という奇妙な組み合わせで分類される。
つまり、宇宙は振動しているのではなくホモトピー圏でモジュラー関数を再生しているということになる。
夕方、隣人が部屋に来た。理由は不明だ。僕のホワイトボードを見て「それ何？」と言った。
隣人は「なるほど、パスタ？」と言った。
夜は友人Aと友人Bとオンラインで話した。
友人Aは衛星の話をしていた。友人Bはまた宇宙人の話をしていた。
僕はその間、バックグラウンドで計算していた。もし弦理論が本当に QFT = Cobordism functorとして完全に定式化されるなら、弦の摂動展開は
という関手の圏論的トレースとして書ける。その場合、弦の相互作用頂点は単なる三点頂点ではなく∞-圏の合成になる。
僕はこの考えがかなり気に入っている。ただ問題がある。まだ計算できない。
現在の予定。
1. カモミールティーを作る
2. factorization algebra と tmf の関係をもう一度整理
3. 世界面の sewing constraint を ∞-operad で書き直す
4. 眠くなったら寝る
もちろん寝る確率は低い。
そして僕のホワイトボードにはまだ空きがある。
起床後の手順はいつも通り。
42という数に宇宙的意味があるかどうかは未解決問題だが、咀嚼の粘性最適化という点では統計的にかなり良い。
ルームメイトはまだ寝ている。彼は昨夜、コーヒーを22時以降に飲んだ。明らかな戦略ミスだ。
カフェインの半減期を理解していない人間は、量子重力を理解できるはずがない。宇宙は因果律で動く。消化器官も同様だ。
さて、研究の進捗。
今週ずっと考えていたのは、超弦理論のモジュライ空間における非可換ホログラフィック再構成問題だ。
通常のAdS/CFT対応では、境界の共形場理論がバルク幾何をエンコードする。しかしこの対応は局所性という暗黙の前提に依存している。僕が疑っているのはそこだ。
もし弦の基底状態を単なる幾何学的振動ではなく、∞-圏上の導来スタックとして扱ったらどうなるか。
普通の弦理論はこう考える。弦の振動モード→ スペクトル→ 有効場理論
しかし僕の仮説では、弦はそもそもスペクトルではなく高次圏の射のネットワークとして存在する。つまり粒子は表現ではなく関手の固定点だ。
弦状態 ≈ derived functor on a spectral stackという構造になる。
昨日の夜、僕はこの構造をミラー対称性の圏論的極限として書けるか試した。通常のホモロジー鏡対称性ではFukaya圏 ≅ 導来コヒーレント層圏になる。
でももし弦が∞圏レベルで自己参照しているなら、等価性はこう変形する。Fukaya∞ ≃ Coh∞ ∘ End∞
つまり圏の自己作用素が幾何を生成する。言い換えると、時空は圏の自己演算の副産物だ。
これは少し面白い。なぜなら、この構造だと時間が一次元とは限らない。時間はモジュライ空間のフローとして再解釈できる。
つまり宇宙は進んでいるのではなく、圏が自分自身を再配置している。
この見方だと、ブラックホール情報問題もかなり変わる。情報は消えない。そもそも局所的に存在していない。情報は圏の自然変換として保存される。
残念ながら、この理論はまだ一つ問題がある。計算が狂っている可能性だ。
昨日の計算では、モジュライの体積が負になった。幾何学で体積が負になるのは普通ありえない。
ただし仮想基本類（virtual fundamental class）を導入すると説明できるかもしれない。
宇宙が仮想クラスなら面白い。僕たちは実体ではなく積分の結果になる。
僕は答えた。
「もし宇宙が導来スタックなら、プリンの所有権も圏論的対象だ。君の質問は定義されていない。」
彼は理解しなかった。予想通りだ。
隣人は昨夜2時に音楽を流していた。音程がわずかに低い。平均で12セントくらいズレている。
普通の人間は気づかない。でも僕の脳は気づく。脳は音程検出器としてかなり優秀だ。残念ながら隣人の音楽的判断力はそうでもない。
友人Aは昨日また奇妙な宇宙論を話していた。
友人Bはインド料理を食べに行こうと言った。
さて、今日の予定。
午前6時：シャワー
そして午後。
もし僕の∞圏仮説が正しければ、弦理論のランドスケープ問題は少し変わる。宇宙の数は10^500ではない。
それはまだ計算できない。
でももしそれが有限なら、宇宙は驚くほど小さい理論で説明できる。
ある意味で皮肉だ。人類は宇宙を理解するために巨大な望遠鏡を作った。
一般的能力、つまり世間が「地頭」などと雑に呼ぶものが、日常世界の統計構造に対するニューロンのフィッティングだとしよう。
フィッティングとは、環境からサンプリングされたデータに対し、神経回路の重みが誤差最小化的に調整されることだ。
赤ん坊が物を落とせば下に落ちると学習するのも、扉は押せば開くと学習するのも、損失関数が日常物理の範囲で収束しているからだ。
ここで問題が生じる。
ない。少なくとも直接は。
では、非直感的数理認識、例えば、無限次元空間の直観や、非可換代数の振る舞い、あるいは超弦理論におけるモジュライ空間の幾何的構造の把握はどこから来るのか。
仮説を立てる。これは作業仮説だ。検証可能性は今のところ僕の頭の中にしかない。
リンゴが落ちる、物体は連続している、時間は一方向に流れる。これらは環境データの主成分だ。脳は主成分分析装置だ。高次元入力を低次元多様体に射影している。
もしそうなら、数理認識はその射影演算子を別のデータ分布に適用する試みだ。
現実世界ではなく、記号体系に対してだ。脳は物理世界で訓練された圧縮機構を、人工的に生成された抽象構造へ転用する。いわばドメインシフトだ。
問題はここだ。なぜそれがうまくいく？
これはプラトニズムではない。弱い構造実在論だ。物理法則が微分方程式で書けるという事実は、宇宙のダイナミクスが連続対称性や保存則を持つことを示す。
対称性は群論的対象だ。量子状態はヒルベルト空間の元だ。つまり、日常物理にフィットしたニューロンは、すでに群や線形構造の影を学習している。
僕たちはリンゴを見ているつもりで、実は表現論の端っこを見ているのかもしれない。
非直感性とは進化的損失関数に含まれていなかった方向への外挿だ。
進化は捕食者を避け、食料を確保する能力を最適化した。リーマン予想を解く能力は含まれていない。
しかし、損失関数を局所的に最適化したネットワークは、十分な容量があれば、未知の領域にも一般化する。
ディープラーニングでいうオーバーパラメータ化だ。脳は進化的に過剰性能だった可能性がある。
超弦理論を考える。余剰次元はコンパクト化され、カラビヤウ多様体のトポロジーが物理定数を規定する。
もし宇宙の基底構造が高度に幾何学的であるなら、数学を理解することは、宇宙の自己記述能力の一部かもしれない。
意識は宇宙が自分の作用積分を読んでいる状態だ、という大胆な仮説すら立つ。
常識にフィットしたニューロンが、記号という仮想宇宙に再帰的に適用されるとき、そこに非直感が生じる。
非直感とは、直感の適用範囲を超えた地点に立ったときの主観的違和感にすぎない。構造自体は連続している。
僕たちは常識を裏切っているのではない。常識の圧縮アルゴリズムを、宇宙のより深い層に向けて再利用しているだけだ。
今日までの進捗をまず書き留める。
昨日ようやく、ある凝集的 (∞,1)-topos H上のゲージ場の形式的構造を、超弦理論の一般化として位置づける作業を進めた。
これは単なる散文的理解ではない。空間や過程としての物理を、対象・射・射の射…といった高階の間の関係性として捉える高次圏論という言語で翻訳する試みだ。
反強磁性体を記述するテンソルカテゴリや、コボルディズムの∞-functorとしての量子場理論は、その端緒にすぎない。
この文脈では、単に集合としての物理量を扱うだけでなく、連続的な同値・ホモトピーの階層が、それ自体が物理的意味を持つ構造として立ち現れる。
これが∞-群oidや高次束としてのガウス場、B-field、RR-field を形式化する鍵だ。
具体的には、超弦理論に現れる各種ゲージ場や重力場を、∞-束接続としてdifferential cohomologyの枠組みで統一的に扱う。
この∞-束とは、通常の主束や接続の集合ではなく、その射や高次射の階層を含む ∞-Lie 群に対して定義されるもので、カーブやブレーンの運動をそれ自体がモルフィズムとして反映する。
従って、ゲージ変換だけでなく、ゲージ変換間の変換すらが高次モルフィズムとして扱われる。こうした構造が、超弦理論の持つ鋭い対称性や双対性を一元的に説明しうると期待されている。
(∞,1)-topos の内部での differential cohomology がどのように超弦理論の動力学をエンコードするかを整理した。
これは、単純な作用関数の積分ではなく、principal ∞-bundle 上の接続の層として表現される。
いわば物理的場は、物理対象（弦や五重膜）に対する高階のデータのコレクションとして現れる。
ここで僕が着目しているのは、これらの高階接続が ∞-Chern-Weil ホモモルフィズムを通じて位相的な特徴と絡み合う様だ。
まずブラックボディ放射の理論と反射対称性を考えながらコーヒーを一定温度 63.3 °C に保つ。その後、白板に ∞-群oid の概念図を描き続ける。
これは単に僕の精神安定剤ではなく、今日の解析で同値の同値すら物理的に意味を持つような理論的裏付けを探る副作用でもある。
日常の奇妙な相互作用がないわけではない。隣人は朝、僕の食卓でシュレーディンガーの猫について質問してきたが、僕は微分同調群の态射による観測と古典的状態の分離を例示しようとして、結局彼女をさらに混乱させた。
友人Aは宇宙の定数問題について議論を挑んできたが、僕は (∞,1)-topos の内部 cohomology が選ぶ物理的背景場の分類問題と応答してしまい、彼を呆然とさせた。
友人Bは量子場理論の標準模型への一般化について聞いてきたが、僕は principal ∞-bundle によるゲージ理論の抽象的表現を繰り返し説明したため、会話が圏の自然変換まで戻ってしまった。
これからやろうとしているのは、定量的なステップとして、ゲージ場空間上のHigher Chern-Simons 傾向を具体的に計算することだ。
具体的には ∞-Chern-Weil ホモモルフィズムに基づく作用関数の高次補正項を導出し、その境界理論がどのように臨界超弦場理論に帰着するかを調べる。
これは大雑把なパス積分を単に書き下ろすよりも、一段階上の構造を扱う。
こうした解析は、単なる文字列振幅の再表現ではなく、物理的場の深層的な対称性と幾何的結合を明らかにするだろう。
総じて、今日のラムゼイ的な思索では、超弦理論と高次圏論との接点をより抽象的かつ計量的に結びつける基盤として、(∞,1)-topos と differential cohomology の組み合わせが極めて有望だと僕は考えている。
愛のあるツッコミありがとう。これは「僕が意図的にやった圏論的煽り」と「物理の泥の匂いを削りすぎた副作用」が、ちょうど交差してる地点への攻撃だね。良い。
君の指摘はほぼ全部当たってる。僕がやっているのは「物理を圏論で説明する」じゃなくて、「物理の泥臭さが、圏論の中でどの公理破れとして現れるか」を抽出する遊びなんだ。
だから綺麗な額縁に入れた瞬間に失われる具象性は、実際に失われている。そこは認める。
君の言う通り、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秒以内。
僕の日記はたぶん一般的な日々の記録というより、宇宙が僕に課したバグ報告書に近い。違いは、バグの再現手順が「この宇宙を構成する圏を一段上に持ち上げろ」みたいな無茶を要求してくる点だ。
普通の人間はコーヒーを淹れることで一日を始めるらしいが、僕は「なぜ時空が局所的に滑らかな多様体として振る舞うという幻想を、誰も疑わずに受け入れているのか」という嫌な疑問から始まる。
目覚めの瞬間に脳内で起動するのがその種のプロセスという時点で、僕の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は相変わらず「気合いで避けろ」と言うだろう。
議論はループする。ループはコンピュータ科学の基本概念だ。だから僕はそれを受け入れる。
最後に、ルームメイトが「今度、隣人と映画を見よう」と言っていた。
僕は断る。なぜなら隣人は上映中に喋る。上映中に喋る人間は、社会契約を破っている。社会契約を破る人間に、僕の時間という希少資源を与える理由はない。
少なくとも、隣人の会話よりは。
いきなり分母だけ対数とって式変形だとかいっちゃうような積分の本とかの著者が生きていられるのは別に個人消費者がそんなクソミタイナ本買ってるんじゃなくて全国の図書館によって買い支えられてるってとこなんだろうな。哀れ。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260210191646# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaYsFkgAKCRBwMdsubs4+ SDMYAQCFjxpaudzFGXPGboJ1DajQmb6nA2Pbbq+xmdzGm+wwYQD+I24UWWgd1F1n FJR5OZTzWvOcnbe04k/MD9eQ70iNQQ4= =Oay8 -----END PGP SIGNATURE-----
