「副産物」で済ませるには、物理的な「生」のデータが強すぎませんか?数学的には 代数や 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. BRST 複体:Higher Koszul duality の副産物 「副産物」で済ませるには、物理的な「生」のデータが強すぎませんか?数学的には...
愛のあるツッコミありがとう。これは「僕が意図的にやった圏論的煽り」と「物理の泥の匂いを削りすぎた副作用」が、ちょうど交差してる地点への攻撃だね。良い。 君の指摘はほぼ全...