[論文レビュー] 2-categorical Poincare Representations and State Sum Applications

Louis Crane, M. D. Sheppeard|ArXiv.org|Jun 30, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 23

ひとこと要約

この論文は、4次元量子重力の状態和モデルを構築するために、ポアンカレ2群の2カテゴリカル表現理論を展開する。幾何的量子化をカテゴリファイし、可測カテゴリ $\mathbf{Meas}$ を用いることで、時空幾何を自然に表現する豊かな表現2カテゴリを構成する。スピンフォアムモデルへの応用や、高階カテゴリカルな対称性による重力と物質の統一可能性も示唆される。

ABSTRACT

This is intended as a self-contained introduction to the representation theory developed in order to create a Poincare 2-category state sum model for Quantum Gravity in 4 dimensions. We review the structure of a new representation 2-category appropriate to Lie 2-group symmetries and discuss its application to the problem of finding a state sum model for Quantum Gravity. There is a remarkable richness in its details, reflecting some desirable characteristics of physical 4-dimensionality. We begin with a review of the method of orbits in Geometric Quantization, as an aid to the intuition that the geometric picture unfolded here may be seen as a categorification of this process.

研究の動機と目的

• ポアンカレ2群のローレンツ部分群と移動部分群への分解を尊重する、その表現2カテゴリを構築すること。
• 4次元量子重力における状態和モデルの数学的に厳密なカテゴリファイド枠組みを提供すること。
• ベクトル空間を可測カテゴリに置き換えることで、幾何的量子化を高階カテゴリに拡張し、より豊かな幾何的・物理的構造を捉えること。
• この2カテゴリカル構造の物理的関連性、特に制約と正則化を含めた量子重力における意義を検討すること。
• 将来の表現2カテゴリの変形や、量子群および高階braided構造との接続の基盤を築くこと。

提案手法

• ローレンツ群の元を1-射、移動を2-射とする厳密2群 $\mathbf{Poinc}$ としてポアンカレ群を形式化する。
• 可測空間とカーネルを用いる新しい2カテゴリ $\mathbf{Meas}$ を構築し、ポアンカレ2群のより豊かな表現を可能にする。
• 対象を可測関手、1-および2-射を自然変換とする、$\mathbf{Meas}$ への2ファンクターのカテゴリとして、表現2カテゴリ $\mathbf{Rep(\mathbf{Poinc})}$ を定義する。
• $\mathbf{L}$ が $\mathbf{M}^4$ に作用することを用いて、テンソル構造を定義し、2群の合成と整合性を保つ。
• 状態和への応用として、辺に表現を割り当て、面の振幅をローレンツ群の表現から、4単体に5j記号の振幅を割り当てる。
• テンソル積について閉じた滑らかな部分カテゴリが存在し、三角形分割された4次元多様体の彩色を含む形式的状態和表現が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ローレンツ群と移動部分群へのポアンカレ群の分解を、幾何的構造を保ちながらカテゴリカルに表現することは可能か？
• RQ2 ポアンカレ2群の表現2カテゴリの構造は何か？ そして、標準的な1カテゴリカル表現とはどのように異なるか？
• RQ3 可測カテゴリ $\mathbf{Meas}$ を用いた幾何的量子化のカテゴリファイ化は、4次元量子重力における物理的に意味のある状態和振幅を生み出すか？
• RQ4 この2カテゴリカル枠組みにおける既約表現は、スピンネットワークや相転移といった物理的観測可能性とどのように関係するか？
• RQ5 高階カテゴリカル構造は、量子重力における時空と質量のある自由度の統一に果たす役割は何か？

主な発見

• 可測カテゴリ $\mathbf{Meas}$ 内の表現2カテゴリ $\mathbf{Rep(\mathbf{Poinc})}$ は非常に豊かであり、標準的な1カテゴリカル理論では捉えきれない多様な表現をサポートする。
• テンソル積について閉じた滑らかな部分カテゴリが存在し、4次元量子重力の形式的状態和の構成が可能になる。
• 状態和の形式的表現は $\mathcal{Z} = \mathcal{N} \sum_{\text{color}} \prod_{e} \rho_e \prod_{f} \mathcal{A}_f \prod_{t} \mathcal{A}_t \prod_{s} (5j)_s$ と表され、振幅はローレンツ群の表現および軌道Casimirから導かれる。
• 関数空間の調和分解を通じて、相対論的バランスの取れたスピンネットワークと通常のスピンネットワークの両方が自然に組み込まれる。
• 任意の半単純リー群とその表現への一般化が可能であり、新たな2カテゴリカル表現理論および量子幾何の族が開かれる。
• 2カテゴリカル構造は、高階braidingと4カテゴリへの一般化による統一的モデルへの道筋を示唆し、変形理論や量子群との接続の可能性も示唆される。