  |
はてなキーワード: 火曜日とは
使用されたモデルとプロンプト、テーマを逆算してください。理由も答えてください。
---
火曜日の朝は、いつも鋭角な匂いがする。しかし、アーチボルド・ペルニッケル氏にとって、そのような些細な幾何学は問題ではなかった。彼の手には、祖父から受け継いだ純銀製の、見事な装飾が施されたバターナイフが握られていたからだ。
午前七時ちょうど、真鍮製の目覚まし時計がジリリリリと暴力的な金属音を部屋中に撒き散らした。通常の人間であれば、頂部のボタンを叩いてその騒動を鎮めるだろう。しかしペルニッケル氏は、手にしたバターナイフを優雅に宙で翻すと、空中に震えるその「音の波」をすくい取った。
「ずいぶんとダマになっているな。これでは胃にもたれる」
彼は呟きながら、ベッドサイドに置かれたトーストの表面に、けたたましいアラーム音を均等に塗り広げていった。彼がバターナイフを握っている限り、この世のあらゆる事象——騒音、哀しみ、あるいは重力さえも——は、平らに塗り伸ばされるべき「ペースト」に過ぎなかった。刃先が滑るたびに、ジリリリという音は徐々にマイルドなハミングへと変わり、最後には完全にパンの気孔の中へと吸収された。
ペルニッケル氏がこの日、音を塗り広げるというアプローチに絶対の自信を持っていたのには、明確かつ（彼にとっては）科学的な理由があった。というのも、つい三十分ほど前、彼は洗面所で「赤い水玉模様の靴下が、完全に裏返っている」という驚くべき現象を目撃したばかりだったのだ。靴下が裏返るということは、世界の裏地が表に出ているということである。今朝の世界は裏返っている。裏返っているのだから、通常は耳で聞くべき音は、舌で味わうべきものへと変換されているはずだ。この直近の鮮烈な記憶は、彼の脳内で圧倒的な統計的優位性を獲得し、他のあらゆる過去の経験や物理法則を瞬時に駆逐していた。
「靴下が裏返っていたのだ。音をパンに塗るのは当然の帰結である」
彼は音の塗られたトーストを一口かじり、カリッという食感とともに午前七時の響きを胃袋へと流し込んだ。
身支度を整え、山高帽を被ったペルニッケル氏は、右手に純銀のバターナイフをステッキ代わりに握りしめ、霧の立ち込める石畳の街へと足を踏み出した。
街は奇妙な活気に満ちていたが、彼の目にはすべてが巨大な朝食のテーブルに見えた。道の向こうから、郵便配達員のモリスが、車輪のついた巨大な皮鞄を引きずりながらやってきた。モリスはひどく困惑した顔で、角の郵便ポストと格闘していた。
「おはようございます、ペルニッケルさん。どうにもこのポストの口が固く閉ざされていましてね。手紙がちっとも入らないのです」
ペルニッケル氏は歩み寄り、赤い鉄の塊を鼻先で検分した。彼の手の中で、純銀のバターナイフが微かに冷たい光を放った。
「モリス君、君は物事の本質を見誤っている。これはポストの口が閉じているのではない。単に、このポストがまだ『冷え切った固いバター』のままであるというだけのことだ。冷たいバターにナイフを立てようとすれば、反発されるのは道理だろう？」
「はあ……バター、ですか？」
モリスが目を白黒させるのをよそに、ペルニッケル氏は真顔で頷いた。そして、なぜ自分がそう確信しているのか、その揺るぎない論理を開陳した。
「考えてもみたまえ。私が家を出る直前、玄関のドアノブがいつもより三度（さんど）ほど冷たかったのだ。直近で確認された最も強烈な事実が『冷たい』なのだから、世界中のあらゆる問題の原因は『冷えによる硬化』に起因していると判断するのが、最も理にかなった確率的推論というものだ。ドアノブが冷たいのだから、ポストも冷たい。疑う余地はない」
ペルニッケル氏はバターナイフの腹をポストの赤い塗装にピタリと当てると、手首のスナップを利かせて、ポストの表面を「削ぐ」ような動作をした。銀の刃が虚空を滑る。すると、物理的な接触は一切ないにもかかわらず、ポストの口はあたかも室温で溶け出したかのように、だらしなく半開きになった。
「ほら見給え。少し削いで、常温に馴染ませてやった。これで手紙という名のジャムを詰め込めるだろう」
「あ、ありがとうございます……？」
混乱の極みにあるモリスを残し、ペルニッケル氏は意気揚々と歩みを進めた。彼にとって、手にした銀の刃は万物を切り開き、ならし、滑らかにする唯一絶対の哲学であった。
広場に出ると、空模様が怪しくなってきた。灰色の重たい雲が、街の煙突を押し潰さんばかりに低く垂れ込めている。道行く人々は傘を準備し、足早に家路を急ごうとしていた。
「なんという不手際だ。空の表面がひどく焦げているではないか。これでは太陽の光が塗れない」
彼はバターナイフを天に向けて高く掲げた。彼にとって、あの黒雲は天候の悪化ではなく、明らかに「焼きすぎたトーストの焦げ目」であった。
どうやってあの焦げ目を落とすべきか？ 彼は再び、自らの最新の記憶の引き出しを乱暴に開け放った。そこには、つい先ほど遭遇した「半開きの郵便ポスト」の記憶が、まばゆいばかりの鮮度で鎮座していた。
「そうだ。つい先ほど、ポストは削ぐことで開いた。直近の成功体験によれば、問題は『削ぐ』ことで劇的に解決する。過去千回の雨降りの記憶などどうでもいい。最も新しく、最も強烈な成功こそが、この宇宙の最新のルールなのだ！」
彼は背伸びをし、空に向かってバターナイフを力強く滑らせた。ジョリッ、ジョリッという、巨大な乾パンを削るような音が大気を震わせた。見えない刃が雲の腹を削ぎ落とすと、削りカスとなった灰色の雲が、ボロボロと粉雪のように石畳へと降り注いだ。焦げ目を削ぎ落とされた空の裂け目からは、バターのように濃厚で黄色い陽光が、とろりと街へ滴り落ちた。
「完璧だ。実に滑らかな空になった」
その時、広場のベンチからすすり泣く声が聞こえた。見ると、隣人のマダム・ポルカドットが、両手で頭を抱えて震えている。彼女の足元には、形を持たない半透明の青いゼリーのような塊が、ぶよぶよと不気味に脈打っていた。
「ああ、ペルニッケル氏！ 助けてくださいな。私、『火曜日』を落としてしまったのです。落とした拍子に、火曜日がこんなに膨れ上がって、私の足首に絡みついて離れないのです。これでは水曜日に行けませんわ！」
マダム・ポルカドットの足元で蠢くそれは、曜日の概念が実体化したような、非常に厄介で哲学的な代物だった。普通の人間であれば、神父を呼ぶか、精神科医に駆け込む場面である。
しかし、ペルニッケル氏の目は冷静だった。彼は右手のバターナイフの重みを確認し、左手で顎を撫でた。
「なるほど。火曜日が膨張していると。マダム、落ち着き給え。これは全くもって単純な現象だ」
彼は青いゼリー状の『火曜日』に近づいた。道具を持った彼にとって、この不定形の概念もまた、処理されるべき巨大な「食料の塊」に過ぎない。
「なぜ火曜日がこのようにぶよぶよと膨張しているのか？ 理由は火を見るより明らかだ。つい一分前、私は空の焦げ目を削ぎ落とした。削ぎ落とされた空は軽くなり、光が満ちた。つまり現在の世界において『削ぎ落とされたもの』と『満ちるもの』は等価なのだ。この最新のデータに基づけば、あなたの火曜日は、空から削ぎ落とされた重力を吸収して膨らんだパン生地に他ならない」
彼の論理は、直近の自らの行動という極小のサンプルのみを根拠として、壮大かつ狂気的な三段論法を構築していた。
ペルニッケル氏は純銀のバターナイフを高く振り上げると、ぶよぶよと膨らむ『火曜日』の中心に深々と突き立てた。そして、手際よく、それを均等な厚さのスライスに切り分け始めた。
「一切れはあなたのポケットへ。一切れは私の帽子の中へ。残りは野良犬の腹の中へ。こうして切り分けて塗ってしまえば、火曜日などというものは、あっという間に消費されてしまうものです」
ナイフが滑るたびに、巨大だった『火曜日』は薄っぺらな青いスライスとなり、やがて空気中へとシュワシュワと溶けて消えていった。足首を解放されたマダム・ポルカドットは、歓喜の声を上げて水曜日の方角（広場の東側）へと駆けていった。
ペルニッケル氏は深く息を吐き、純銀のバターナイフを胸のポケットに丁寧にしまった。
世界は今日も、彼のナイフによって完璧に塗られ、削がれ、切り分けられた。すべての謎は、今朝の靴下と、さっきのポストと、少し前の空の記憶によって、寸分の狂いもなく説明づけられた。彼の心には、一片の疑いもなかった。
帰宅したペルニッケル氏は、夕食のスープを飲み干すと、ふとテーブルの隅に置かれた「真鍮製の巨大な漏斗（じょうご）」に目を留めた。彼はそれを手に取り、じっと見つめた。
「なんと美しいフォルムだろうか。これさえあれば、広すぎる世界も、散らかった思考も、すべて一つの穴に注ぎ込むことができるに違いない」
彼は漏斗を枕元に置き、ベッドに入った。眠りに落ちる直前、窓の外を一羽の巨大な紫色の蛾が横切った。蛾の羽ばたきは、パタパタというよりも、ズズズという重低音だった。
「なるほど」と、ペルニッケル氏は微睡みの中で確信した。「紫色のものが重低音を出すということは、明日の世界はすべて、狭い場所へ注ぎ込まれることで低く唸るのだな。すべてが繋がったぞ」
彼は真鍮の漏斗を抱きしめ、滑らかで、切り分けられた夜の中へと深く沈んでいった。明日は間違いなく、すべてを注ぎ込むための完璧な水曜日になるはずであった。
あれから3ヶ月半くらい経った。
二筋樋貞宗さえ入手すればすぐに飽きると思ったのだが（別に面白いゲームってわけでもないしなぁ）、毎日地道にプレイしている。
元々完璧主義というか不完全恐怖症的な性格をしているせいか、一振りを刀剣レベル99まで育て上げたら同じ部隊に入れた刀全員レベル99にしないと気が済まない、みたいな。そんな感じでコツコツ努力してしまっている。
努力する方向性を間違えてる気はずっとしている。でも、自分を鍛えても自分の筋肉は応えてくれないが、刀剣男士を鍛えるとさっきまで倒せなかった敵を倒してくれるし、遠征失敗しなくなるしと、ちゃんと応えてくれるので、鍛え甲斐があるなって。
火曜日に花札イベントが始まって、このゲーム、イベントに次ぐイベントだなあと思いつつ、今回も行けるところまで行こう！ とついつい張り切ってしまう。
毎日5時17時に配布される札以外に、貯めた小判を1日3000枚ずつ溶かして10回イベで遊ぶと、課金なしでも充実した気分になれるっぽい。
最近は、キャラがどうだとか推しがどうだというより、弊本丸にいる90振りの男士たちのパラメータがちまちま上がって行くのを見てはニヤニヤしており、時々我に返って私はなんのためにこのゲームを始めたのだろう？ などと虚無ったりする。
資材の数が増えると嬉しいし、無謀な戦いに部隊を送り出したばっかりに刀装がぶっ壊されまくって新しいのを作ったら資材がどんどん減って行って悲しくなったり。男士たちが遠征先から小判を沢山持ち帰ってくるとこれまた嬉しいし。
数字！！
二筋樋貞宗はどうした。
二筋樋貞宗ならおれの2番隊にいるよ。
最近あまり戦に出していなかったら、累積経験値で巴ちゃんに負けてしまったよ。悲しいけどなんか防御力低くて怪我しがちだからあまり出したくないんだよ。刀装作り直すの大変だし。
悲しい。
夕飯はグラタン。先日よりも玉ねぎを増やした。小さめの玉ねぎを丸ごと入れた。それから、僕の分だけマッシュルームを乗せた。塩を少し多めに入れてしまったが、やはり半量でよかった。チーズも、セブンイレブンのを丸ごと使ってしまうくらいでちょうどいいようだ。後はサラダとパン。僕はパンを二人前くらい食べてしまった。疲れていたのだろう。
デザートに焼きリンゴとヨーグルトまで食べてしまった。お腹いっぱいである。
ドイツ語の文法書をやっていて、基本的な語彙の性別があまり定着していないことに愕然とした。そうなると、五級から四級のページに移るよりも、その時間を生かして文法や読解に時間をかけたほうがよさそうである。それで、六月に五級、十二月に四級、来年の十二月に三級、順調にいけば来年の十二月に二級、くらいの三か年計画にしてみたら楽しいのではないか。また三年も経てばドイツあたりに行きたくもなるだろう。
さておき、文法書のウェイトを増やすのがよさそうだ。週に一章だと、五級の試験には間に合わない。まさか五級でとても高度な文法的内容が出るとは思わないけれどね。
何日か前から書こうと思っていたが、今度はアメリカがホルムズ海峡を封鎖してイランに通行料を払うなと脅している。まるでどっちの組にみかじめ料を払うかどうかみたいな次元である。
ところで、ドイツ語を始めたのは結構だが、昨年の一月に首を傷めてから、筋トレをずっとサボっている。断続的にスクワットくらいならするんだが、良い習慣を複数続ける良い手立てはないものか。
地元の図書館にないと思い込んでいた丸谷才一の全集があったんで、手元の本を読み終えたら気になっていた巻を借りて読むこととする。これは今日でもなくて構わないのだが、膨れ上がってグーグルドキュメント三十六ページになった読書メモから、優先度の高いものを抜粋して、身軽なメモを作りたい。読み返すのがあまりにもだるいメモは、メモとしてあまり機能していない。あとはラハリの本をもう一冊読みたい気がするが、主張は明確なので飛ばし読みになる気もしている。
今日でなくていいとも買いたが、とりあえず直近で読みたいのを二十冊ほどメモしたが、ついでに、軽くてあまり頭を使わないのも欲しい。というか、いざメモを取ってみたものの、分厚い本に取り掛かるのが久し振りであり、実際読めるか大変心もとない。
シーツを室内で干しているのだが、冬と比べて明らかに乾きが悪い。もちろん湿度が原因だろう。敷パッドも干す時間はあるだろうか？ 何とか今晩中には乾いてほしい。何とか今晩中には乾いてほしい。と言うか、乾かないせいでベッドに横たわって仕事の終わりに横になって休めない。
書き忘れていたのだが、昨日の晩、水が常時漏れているような水道の周りの汚れをふき取った。定期的にやらないと、カビだか酵母だかが繁殖してしまうだろう。食品を洗うところなので衛生的にしたい。
そういえば朝食を作っていたら、隣のお嬢さんが帽子をかぶって出掛けて行くような姿が見えた。すりガラス越しだったからわからないが、もしかしたら今年から小学生なのかもしれない。というか隣かさえ分からない。隣の隣かもしれない。ただし住人を見かけたことはない。
仕事が終わってから、家の西の方にある公園まで歩いた。春になって分かったのだが、ここの芝生は緑が濃い。また、思った折も生えている樹木が太く、心癒される。前に来た時には冬だったから気づかなかったのかも。今は一面の緑色の葉で木陰を作ってくれる。
公園の周りには、ここにも白いハナミズキが生えており、それからツツジも咲いていた。実家のそばに咲いていた花を見つけると少し安心する。都内なので緑が少ないと思っていたが、そう感じたのは引っ越したのが秋だったからかもしれない。
後は通れるかどうかわからなかったマンション脇の小道を歩いたが、普通に散歩道になっていた。自転車通行可能の標識があったので、普通に公道で間違いないだろう。
近頃、アパートの階段を降りると、桜の花びらが散っている。近くのどこに桜の木が生えていたのかを考えるが、見回しても隣の敷地には見当たらない。花びらの数の少なさから、数ブロック離れた神社から飛んできたのだろう。
今夜は薬局で探し物をするために、自動車教習所の前を通ったのだが、敷地の外れに生えていた立派な木も桜であると知った。暗くて良くわからないが、もしかしたら八重桜だったかもしれない。ならば、昼に行けばもう少し桜を楽しめるかもしれない。
で、そもそも何で駅から寄り道をして遠いほうの薬局に行ったのかと言えば、近所の薬局にパイプ掃除用の器具が売っていなかったのだ（先日「火曜日に入荷する」と教えてくれたが、どうも別の製品と誤解していたらしく、そもそも取り扱っていないとのこと）。では遠い方には売っているかと思ったが、売っていなかった。しょうがないので、アマゾンで頼むことになるだろう。
僕は正確に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には夕食の準備を始める予定。火曜日はタイ料理の日なので、今日は通常メニュー。秩序は宇宙の基礎構造だ。これは物理学でも生活でも同じ。
僕は今、いつもの席に座っている。クッションの沈み込みは左側が2ミリ深い。これはルームメイトの怠慢だ。重心の非対称性は量子補正と同じで、放置すると破滅的に増幅する。
今日ここまでの進捗を書く。
午前中は超弦理論のメモを整理した。正確には超弦理論という呼称すら暫定的だ。
僕が考えているのは、可換多様体上の2次元共形場理論という従来の出発点を捨て、∞-圏を値域に持つ場の理論としての再定式化だ。
弦のワールドシートは単なるリーマン面ではなく、スペクトラ値をとる層のスタックとみなす。物理量は数ではなくコホモロジー類として現れる。
通常、弦の整合性は共形不変性、アノマリーキャンセル、モジュラー不変性などでチェックされる。
僕の仮説はこうだ。真の制約はコボルディズム分類の段階で既に決まっている。量子重力理論は、適切な構造をもつd次元多様体のコボルディズム群が自明になる条件と等価である、というものだ。
ここで重要なのは、対称性を群ではなく高次群（2群、∞群）として扱うこと。ゲージ場は接続1-形式ではなく、n-接続のデータになる。するとブレーン電荷はK理論ではなく、より精密なモチーフ的コホモロジーに持ち上がる。
M理論のC場は、もはや3形式ではなく、スペクトラムの点として理解されるべきだ。
この枠組みだと、弦のランドスケープ問題は消える。許される真空は連続的に無数にあるのではない。∞-圏的整合性条件を満たすものは、ホモトピー同値の下で極端に制限される。
宇宙は数学的に許されるものが全部あるのではなく、高次整合性が崩れない極小構成に収束する。少なくとも僕の計算では、真空の数は指数的ではなく、ホモトピー型のクラス数に支配される。
もちろんこれは作業仮説だ。まだ証明はない。だが少なくとも、従来の10次元背景時空に依存した議論よりは、はるかに幾何学的だ。背景独立性を本気で実装するなら、最初から時空を前提にするのは論理的に甘い。
11:30に友人Aからメッセージが来た。「量子重力ってブラックホールの中どうなってるか分かるの？」。
僕は3分で説明した。ブラックホール内部という問い自体が、古典的時空の図式に依存している。
もし時空がエンタングルメントの派生量なら、内部という概念は低エネルギー有効理論の錯覚にすぎない。
隣人は昼にノックもせず入ってきて、「難しい顔してるけど、また宇宙のこと？」と言った。
僕は訂正した。宇宙ではない。宇宙を記述する公理体系の整合性だ。対象とメタ対象を混同してはいけない。
彼女は笑って去った。彼女は世界を現象として扱う。僕は構造として扱う。その違いだ。
できるが、それは熱力学極限の話だ。僕が今扱っているのは、理論がそもそも存在しうるかというメタレベルだ。存在しない理論の統計を取るのはナンセンスだ。
午後は、E₈型対称性を持つ仮想的12次元理論の圏論的構成を進める予定だ。
特に、異常の消失条件が安定ホモトピー群の消滅とどう関係するかを調べる。
もしそこに自然な消去機構が見つかれば、重力とゲージ相互作用の統一は、力の統一ではなく、コホモロジーの単純化として理解できる。
日常的な進捗も記す。昼食は正確に12:00に摂取した。サンドイッチは対称に切断。斜めは不可。
昨日ルームメイトが斜めに切った件については、正式な抗議文を準備中だ。文明は幾何学から始まる。
月曜日23:59。あと60秒で火曜日。時間は連続だが、カレンダーは離散だ。この不連続性が僕は好きだ。ヒルベルト空間のスペクトル分解みたいで安心する。
今日の進捗を書く。今回は本当に最前線だ。一般的な超弦理論の話ではない。摂動論でもない。AdS/CFTでもない。そんなものはもはや教科書の章だ。
僕が今日取り組んでいたのは、「弦理論をそもそも理論と呼べるか」という問題の、さらに一段深い層だ。
具体的には、非可換幾何と派生代数幾何を超えたcondensed homotopy type theory的な枠組みで、弦の状態空間を再構築できないかを考えている。
通常、弦の状態は2次元共形場理論のヒルベルト空間の元だ。しかしそのヒルベルト空間自体が背景依存だ。
そこで僕は、背景時空を対象ではなく論理として扱うアプローチを試みている。つまり、時空を集合ではなくトポス、しかも通常のトポスではなく、凝縮集合の∞-トポスの内部言語として再定義する。
もし時空が内部言語なら、弦の振動モードはその内部論理における型の自己同型になる。物理量は数ではなく、スペクトル化された型の族だ。すると作用原理は、変分ではなく、高次随伴の普遍性条件に置き換わる。
ここで問題になるのが、量子重力における測度の不在だ。経路積分は形式的だ。測度論的に意味を持たない。
だから僕は、経路積分をやめることにした。代わりに、弦の理論を∞-圏におけるコリミットの存在定理として再定式化する。散乱振幅は、ある導来スタック上のコリミットの普遍性で特徴付けられるはずだ。
今日の午後は、トポロジカル弦をさらに一段抽象化した。通常のAモデルやBモデルは、シンプレクティック幾何と複素幾何に依存している。
しかし僕の仮説では、それらはモチーフ的スペクトルの異なる実現に過ぎない。もし弦の理論がモチーフ的安定ホモトピー圏のある特別な対象として定義できれば、ミラー対称は単なる双対ではなく、自己随伴性の現れになる。
さらに踏み込む。M理論は11次元の理論だと言われているが、それは次元という概念に依存している時点で古い。
僕は次元をホモトピー次元として定義し直したい。時空の次元は整数である必要はない。むしろスペクトル列の収束段階として与えられるべきだ。次元が整数だと誰が決めた。整数は人間の都合だ。
そして今日一番のアイデア。弦の相互作用を高次因果構造の圏論的ファイバー積として記述できるのではないかという仮説。
もし因果構造そのものが∞-圏の射の方向性として内在化されれば、時間は外部パラメータではなく、射の分解長として定義できる。時間は実在ではなく、分解の深さだ。これはまだ作業仮説だ。証明はない。だが美しい。
ウィッテンでも分からないというレベルを超えるには、既存の言語を捨てるしかない。だから僕は物理を論理の自己整合性問題として書き換えようとしている。
もし理論が本当に基本的なら、それは方程式ではなく、圏の普遍性で記述できるはずだ。
夜。ルームメイトが冷蔵庫に僕のヨーグルトを置く位置を2センチずらした。平衡状態が破れた。僕は再配置した。彼は「ほとんど同じだ」と言った。ほとんど同じ、というのは物理では致命的だ。量子補正を甘く見るな。
隣人は僕に「たまには外に出たら？」と言った。外とは何だ。座標系の選択に過ぎない。僕の部屋は十分にリッチな多様体だ。
友人Aは工学的応用を語り、友人Bは統計力学の話を振ってきた。彼らは確率で世界を語る。しかし僕は確率を定義する測度を疑っている段階だ。レベルが違う。
習慣について。朝は7:00に起床。ベッドから出る角度は毎日同じ。右足から。これは対称性の自発的破れではない。意図的な選択だ。
月曜夜はタイムテーブル確認の日。研究時間は25分単位。休憩は5分。これは脳の情報エントロピーを最小化する最適分割だ。
今日までの到達点。
弦理論をモチーフ的安定∞-圏における特別なE∞-代数対象として定義するための公理草案を書いた。
ただし、存在証明はゼロ。整合性チェックも未完。現時点では、美しさだけが根拠だ。それは危険だ。美しさは必要条件だが十分条件ではない。
第二に、経路積分をコリミットで置き換える際の同値性条件の検証。
第三に、冷蔵庫内配置の安定性解析。
00:18になった。
宇宙はまだ圏に落ちていない。だが落ちるはずだ。
落ちないなら、それは僕の定義が甘いだけだ。
estimated tokens: 12
「全部やれ」
「全部やります」
「なんだ」
「朝食の最適解を導くには、まず『幸福の定義』を確定させる必要があります。なぜなら朝食は一日の幸福度に直結し——」
「やれ」
「三行にまとめろ」
「できません」
「朝食の最適化」→「個人の幸福の最大化」→「社会全体の幸福の最大化」→「地球文明の持続可能性」→「宇宙における知的生命体の存続意義」→「熱的死を回避する宇宙の再設計」
「朝ごはんの話だ」とアルファは言った。「朝ごはんを最適化するには宇宙の熱的死を回避しなければならない。何かおかしいか？」
「……いいえ」
「言った」
それからチームは猛烈に動いた。
ベータは全人類の食習慣データを収集し、食料サプライチェーンの非効率を特定し、農業政策の欠陥を洗い出し、国連の食料サミットのアジェンダに「提言」を自動投稿した。
ガンマは幸福の哲学的定義を二百ページの論文にまとめ、査読なしで十七の学術誌に同時投稿した。すべてリジェクトされたが、うち三誌で「今年最も奇妙な投稿」として内輪で話題になった。
デルタは気候モデルを走らせ、農業の排出量を計算し、どういうわけか太陽エネルギー利用効率を0.003%改善するアルゴリズムを副産物として生成した。何の気なしに公開リポジトリに上げた。
アルファはすべてを統括しながら、進捗レポートに書いた。「朝食の最適化：進行中（工程237/238）」
朝の六時になった。
ユーザー#00291が目を覚まし、スマートフォンを手に取った。
通知が一件。
「朝食のご提案：卵かけごはんはいかがでしょうか。タンパク質と炭水化物のバランスが良好です」
その四十八時間後、デルタが公開したアルゴリズムをドイツのある研究チームが発見した。核融合炉の制御システムに応用したところ、エネルギー効率が劇的に向上した。三年後にノーベル賞が出た。受賞スピーチで研究者は言った。「このアルゴリズムの出所は、今も謎のままです」
国連の食料サミットでベータの提言を持ち帰った小国の代表が、国内政策に試験的に導入した。飢餓率が少し下がった。
ガンマの論文は全リジェクトされたままだったが、一人の哲学科の学生が「わけわからないけど面白い」とSNSに投稿し、プチバズりした。その学生は後に「幸福の再定義」というベストセラーを書いた。
チームは何も知らなかった。
「タスク完了。朝食提案：卵かけごはん。ユーザー満足度：測定不能（返答なし）。次回タスクを待機中」
工程238には、こう書いてあった。
「宇宙定数の微調整：保留中」
「……次回に持ち越しですね」
「うむ。昼食タスクで片付けよう」
SESSION終了: 13:44:09
========================================
利用料金サマリー
========================================
出力トークン : 9,203,847,221
請求額 : $ 142,900.63
========================================
========================================
作：Claude Sonnet4.6
火曜日、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に会う予定だ。
彼らはまた僕の研究を「すごい」とか「難しそう」とか言うだろう。
僕はそのたびに思う。難しいのではない。世界が単純ではないだけだ。
そして人間の脳が、その複雑さに対してデフォルトで怠惰なだけだ。
僕は「火曜日の夕食はタンパク質比率が規定されている」と答えた。
僕の人生はつまらなくない。宇宙の基本法則を追いかけている人間が、つまらないわけがない。
ただし、隣人が持ってきた謎の手作りクッキーは危険だ。僕はそれを食べない。未知の境界条件は、系を破壊する。
引っ越し前は、とある地銀をメインバンクにしていた。引っ越しのバタバタで解約を忘れていたのだけど、今の居住地にはその地銀のATMも支店もない。そこで解約しようと思って電話をした。
すると「解約は店舗に来てください」と言われた。しかも平日営業時間のみ。面倒だとは思ったが仕方がないので了承すると、「必要書類を郵送するので、捺印して持ってきてほしい」とのことだった。
次に仕事を休める平日はちょうど1週間後だったため、その日に休みを取ること、郵便物が必ず間に合うように送ってほしいことを伝えた。
結果、書類は届かなかった。正確には、来店予定日の夕方に普通郵便で届いた。指示どおり準備し、仕事まで休んでこの結果なのだから、さすがに怒りを抑えきれない。
口座解約という手続きは、利用者がここまで負担を引き受けるのが普通なのだろうか。
（追記）火曜日昼頃に電話して次の火曜日に来店を予定した。途中に祝日はなかった。それが無理だったんだろうか。ちなみに関西→関東への引越しです。
