今日は土曜日の午後六時ちょうどに机に向かいながら、例によって高次圏論と物理の最新進展を反芻していた。
ルームメイトが昨日「ダイニングで静かにしてくれ」と言ってきたので、その間に∞-圏論の細部をnLabで読み返していた。
そこで目にしたのは、物理的空間・場のdynamicsそのものを(∞,1)-トポスという階層的構造の内部でformalizeする試みだ。
単なる空間ではなくsmooth ∞-Lie groupoidのような対象群が「射の射の射…」と無限に伸びていく構造として現れるのが、その本質だ。
これは単純な反強磁性体や普通のゲージ場ではなく、一般化されたゲージ理論を超えたhigher gauge theoryの本性を捉えようとしている。
物理量は、これら ∞-束のconnectionとして記述されるdifferential cohomologyとして扱われる。
そこではcharacteristic classから∞-Chern–Weilのホモトピー不変量が導かれ、それが∞-Chern–Simons的な作用汎関数の形をとるのだ。
境界理論では、たとえばChern–Simonsの境界にWess–Zumino–Wittenモデルが現れるような ホログラフィック原理的対応が示唆されている。
これは単なるメタファーではなく、境界とバルクが高次圏論的functorの関係として振る舞うという厳密な数学的構造に他ならない。
量子場の状態は、コボルディズムの次元に応じて n-ベクトル空間として与えられ、入力と出力境界の間に モルフィズム(射)が作用する。
この種の記述は、文字通り「物理過程そのものがmorphism階層になっている」というレベルの抽象化だと感じられる。
これは、従来僕が扱ってきた超弦理論を、単一のmanifoldの上で局所的に記述する標準的アプローチから完全に抜け出した見方だ。
午前中はいつもの通り、起床後のルーティンとして朝食、ホワイトボードに今日の研究目標を書き出すこと、そしてコーヒーの温度を正確に 62.5℃ にすることから始めた。
コーヒー温度の誤差が 1℃ を超えると集中が乱れるという僕のこだわりは、ルームメイトと度々小競り合いの原因になっている。
ルームメイトが言うには「コーヒーは熱くてもいいんだ」とのことだったが、僕は不変量としての最適味温度が存在すると考えている。
昼食後に隣人が急に訪れて「その白いボードは何?」と訊ねてきた。
僕はすぐに 2-圏と 3-圏の違いを説明し、射の射としての 2-射(自然変換)の階層化に物理的意味がある可能性を示した。
これは単なる装飾ではなく、まさに世界の変形可能性を記述するための鍵だ、と。
たぶん返ってきたのは困惑だったが、しかし理解できなくても当然だろう。
高次圏論では、対象 A と B の間の単なる関手に加えて、それらの自然変換、そしてその自然変換同士の修正(modification)まで扱う必要がある。
このような ∞-射の階層こそが、理論物理のdualitiesや ホログラフィー と整合的に振る舞う枠組みとして提案されつつある。
午後の後半は友人Aと友人Bを巻き込んで、最新の ∞-トポスの物理的意義について議論した。
僕が提案したのは、「物理的プロセスそのものを(∞,1)-トポス内のcohomological invariantとして捉える」という視点で、境界条件をfunctorial quantum field theoryのmorphismとして扱うと超弦理論のモジュライ空間の特性が見えてくる可能性についてだ。
議論はやや抽象的すぎて、友人Aが「結局何が物理的観測量なんだ?」と問い返してきたが、それこそが現在の僕の最大の関心事だ。
従来の量子化手法では手に負えなかった対象も、∞-圏的コホモロジーや接続といった高次束の言語で組織化できるのではないかと仮説している。
この日記を書く直前まで、いくつかの高次圏論的構造が超弦理論の背景依存性から独立した物理的実体として振る舞う可能性についてメモしていた。
これから取り組むべき目標は、その仮説を具体的な数式形式に落とし込むことで、例えば ∞-束上の connection の differential cohomology が超弦理論のモジュライ場の作用汎関数に対応することを実証することだ。
具体的には、境界量子場理論がバルク理論の高次圏的境界として普遍性を持つかどうかを検証する予定だ。
これが成功すれば、超弦理論の dualities や非可換的幾何の振る舞いが、より総合的かつ数学的に厳密な言語で表現できるようになるだろう。
さて、次はコーヒーの温度を 62.5℃ に戻すためのサーモスタット校正と、さらに数時間にわたる (∞,1)-トポス内のcohomology ringの計算だ。
僕はこれらの構造が、既存の QFT のトポロジカル側面を階層的圏的言語で統合する鍵だと考えている。
来週の進捗はここに書いた観念をラフな数学的記述に落とし込んだ結果と、友人たちとの形式的議論ノートになるはずだ。