Categorical spin-networks: state-sum invariants of 4-manifolds from higher-gauge theory

技術要約：圏論的スピンネットワークと4次元多様体の状態和不変量

問題提起
$(2+1)$ 次元を超える次元におけるトポロジカル量子場理論（TQFT）の構築およびその格子実現は、依然として大きな課題となっている。球状融合圏に基づく $(2+1)$ 次元の Turaev-Viro-Barrett-Westbury TQFT や Levin-Wen ストリングネットモデルは確立されているが、$(3+1)$ 次元に関する明示的な構成は稀である。Douglas-Reutter による構成などの先行研究は融合2圏に依存しているが、それに対応する微視的な格子モデル（Levin-Wen モデルに類似したもの）および散乱振幅（状態和）の明示的な計算は完全には解決されていない。さらに、これらの代数的構成と高次ゲージ理論（特に2群に基づくもの）との関係には、スピンネットワークの手法を圏論化（categorify）した統一的な枠組みが必要である。

手法
著者らは、(ピボタル融合2圏（具体的には、シャドウ・トレースを備えた前半単純な局所融合ピボタルテンソル2圏）を用いて、$(3+1)$ 次元 TQFT およびその格子実現を定義するための枠組みを提案する。手法は以下のステップに従う：

1. 入力データ： 理論は線形テンソル2圏 $\mathcal{C}$（例：$\mathcal{C} = 2\text{Rep}(\mathcal{H})$、ここで $\mathcal{H}$ はホップ圏）に基づいている。この圏は剛、ピボタルであり、ダガー構造（dagger structure）とシャドウ・トレース（ターゲットとなる圏 $\mathcal{T}$ への局所ファイバー関手）を備えていると仮定される。
2. C-装飾された単体： 著者らは、三角形分割された多様体の装飾を以下のように定義する：
   • 頂点には対象 $U \in \mathcal{C}$ が割り当てられる。
   • 辺には1-射 $F: U \to V$ が割り当てられる。
   • 面（2-単体）には2-射 $\eta: F \circ G \to H$ が割り当てられる。
     この構造は、「2-ホロノミー状態」と解釈され、離散ゲージ理論におけるエッジへの群要素の割り当てを一般化したものである。
3. 四面体状態： 四面体に対して、著者らは境界の2-射を縮約することによって、2-射のヒルベルト空間を構成する。これらの状態は、入力された圏における2-インタートウィナーの空間と同型であることが示される。
4. 4-単体の散乱振幅（20j-記号）： 構成の核心は、4-単体（ペンタコロン）に対する振幅の定義にある。5つの四面体を共有する面で接合することにより、散乱状態 $\psi_K$ を構成する。著者らは、トーラス・トレース（シャドウ関手と巡回演算子を含む高次元のトレースの一般化）を用いて、この状態を評価し、スカラー振幅を生成する。
   • この評価は、4-単体の10個の面と10個の辺の装飾に依存する 20j-記号 を用いる。
   • 構成には、$\theta$-ネットおよび $\dagger$-ネット（ソーン・ネット）が利用され、ネットの再結合（recoupling）において暗黙的に現れるペンタゴネーター（結合子/associators）が組み込まれている。
5. 格子ハミルトニアン： 著者らは、三角形分割の双対上にある $(3+1)$ 次元の格子モデル（「メンブレン・ネット」モデル）を構成する。このモデルは以下の特徴を持つ：
   • 辺と頂点上の局所ヒルベルト空間。
   • 装飾の一致性を強制する頂点射影演算子 ($A_v$)。
   • 装飾された3球を挿入し、局所的な移動（string-nets における $F$-move に相当）を実行するセル演算子 ($B_c$)。
     このハミルトニアンの基底状態は、状態和不変量に対応することが示される。

主要な貢献と結果

• 20j-記号の定義： 論文では、4-単体の散乱振幅のための 20j-記号 を明示的に定義し、評価している。これらの記号は、Crane-Yetter モデルの 15j-記号や Turaev-Viro モデルの 6j-記号を一般化したものである。評価は、シャドウ関手のトーラス・トレースに依拠しており、これにより、4-単体の境界に埋め込まれた装飾された2次元トーラス上の振幅を計算することが可能となる。
• 位相不変性： 著者らは、状態和不変量 $Z_{\mathcal{C}}(M^4)$ が三角形分割に依存しないことを証明した。これは、20j-記号の総和が 4次元パッホナー移動（3-3, 4-2, および 5-1 移動）に対して不変であることを示すことで達成される。証明は、「デルタ・再結合（delta-recoupling）」の恒等式と、4-単体の総和の可逆性に依拠している。
• 高次ゲージ理論との接続： 枠組みは高次ゲージ理論と明示的に結びついている。$\mathcal{C} = 2\text{Rep}(G)$ （$G$ は2群）の場合、この構成は Yetter-Dijkgraaf-Witten TQFT を与える。論文では、以下のケースを含む具体的な検討が行われている：
  • 有限2群（離散的な高次ゲージ理論を与える）。
  • コンパクトリー群（2-Chern-Simons 理論を与える）。
  • 4d BF 理論、Walker-Wang モデル、および Crane-Yetter TQFT を回収する特殊な極限。
• 格子実現： 論文は、状態和不変量を実現する基底状態を持つ、明示的な 3次元メンブレン・ネット格子ハミルトニアン の構成を提供している。これは、Levin-Wen ストリングネットモデルの高次元版として機能する。著者らは、三角形分割されたヒルベルト空間とメンブレン・ネットのヒルベルト空間の間の同型性を証明している。
• 反射陽定性（Reflection Positivity）： 著者らは、散乱振幅が反射陽定性を満たす条件を確立しており、これにより、得られる TQFT の物理的一貫性（具体的には、状態のノルムが非負であること）を保証している。

意義と主張
本論文は、$(3+1)$ 次元への Turaev-Viro 状態和および Levin-Wen 格子モデルの 圏論化（categorification） を提供すると主張している。その意義は以下の点にある：

1. 統一： 代数的なアプローチ（融合2圏に基づく状態和）と、物理的なアプローチ（高次ゲージ理論および格子モデル）を統一している。
2. 明示的な構成： 抽象的に TQFT を定義するだけの先行研究とは異なり、本論文は、不変量の計算や相のシミュレーションに必要な明示的な「20j-記号」の形式体系と微視的なハミルトニアンを提供している。
3. 一般化： 分裂していない（non-split）2群や連続的なリー2群を含む既知の不変量の範囲を拡張し、2-Chern-Simons 理論の不変量を計算するための経路を提示している。
4. 双対性： この構成は、提案された TQFT $Z_{\mathcal{C}}$ と Douglas-Reutter 構成 $Z_{\mathcal{D}}$（$\mathcal{C}$ と $\mathcal{D}$ が Morita 双対である場合）との間の Morita 双対性を示唆している。これは、低次元における Kitaev の量子ダブルと Levin-Wen モデルの間の双対性に類似している。

著者らは、構成自体は一般的であるが、分裂していないリー2群に対する 20j-記号の明示的な評価は依然として計算上の未解決課題であると述べている。本研究は、高次群対称性を持つ $(3+1)$ 次元系のトポロジカル相、境界条件、およびエンタングルメント特性の研究に向けた舞台を整えるものである。