[論文レビュー] The non-Abelian Chern-Simons path integral on $M=\Sigma imes S^1$ in the torus gauge: a review

Atle Hahn|arXiv (Cornell University)|May 1, 2018

Black Holes and Theoretical Physics参考文献 4被引用数 1

ひとこと要約

この論文は、トーラスゲージ固定を用いて、$M = \Sigma \times S^1$ 上の非アーベルチェーン＝シモンズ経路積分の明示的評価をレビューし、特別な場合において得られる $Z(\Sigma \times S^1, L)$ の表現がリシュチキン＝トゥレイブ不変量と一致することを示している。このアプローチにより、3次元量子トポロジーにおけるリンク不変量を体系的かつ計算的に効率的に評価する手法が提供され、厳密な実現と量子群不変量との関係に焦点を当てる。

ABSTRACT

In the present paper we review the main results of a series of recent papers on the non-Abelian Chern-Simons path integral on $M=\Sigma imes S^1$ in the so-called "torus gauge". More precisely, we study the torus gauge fixed version of the Chern-Simons path integral expressions $Z(\Sigma imes S^1,L)$ associated to $G$ and $k \in N$ where $\Sigma$ is a compact, connected, oriented surface, $L$ is a framed, colored link in $\Sigma imes S^1$, and $G$ is a simple, simply-connected, compact Lie group. We demonstrate that the torus gauge approach allows a rather quick explicit evaluation of $Z(\Sigma imes S^1,L)$. Moreover, we verify in several special cases that the explicit values obtained for $Z(\Sigma imes S^1,L)$ agree with the values of the corresponding Reshetikhin-Turaev invariant. Finally, we sketch three different approaches for obtaining a rigorous realization of the torus gauge fixed CS path integral. It remains to be seen whether also for general $L$ the explicit values obtained for $Z(\Sigma imes S^1,L)$ agree with those of the corresponding Reshetikhin-Turaev invariant. If this is indeed the case then this could lead to progress towards the solution of several open questions in Quantum Topology.

研究の動機と目的

• 非アーベルチェーン＝シモンズ経路積分が $M = \Sigma \times S^1$ 上でトーラスゲージに置かれた最近の結果について、包括的かつ拡張的なレビューを提供すること。
• トーラスゲージアプローチが、一般の彩色リンク $L$ に対して $Z(\Sigma \times S^1, L)$ の迅速かつ明示的な評価を可能にすることを示すこと。
• 計算された $Z(\Sigma \times S^1, L)$ の値が、複数の特別な場合においてリシュチキン＝トゥレイブ不変量と一致することを検証すること。
• トーラスゲージ固定チェーン＝シモンズ経路積分の厳密な実現を達成するための3つの異なるアプローチを提示すること。
• 経路積分手法と代数的量子不変量を結びつけることで、量子トポロジーにおける未解決問題の解決に向けた基盤を築くこと。

提案手法

• 論文は、$M = \Sigma \times S^1$ 上のチェーン＝シモンズ経路積分を簡略化するためにトーラスゲージ固定を採用し、関数積分を $\Sigma$ 上の接続に依存する有限次元表現に還元する。
• トーラスゲージにおける形式的経路積分式（式 2.36）を再導出し、作用を $A_\Sigma$ と $A_0$ 成分で表現する。
• $Z(\Sigma \times S^1, L)$ の評価は、リンク $L$ を頂点と辺に分解し、ホロノミーとフレーミングデータからの寄与を扱うことで行われる。
• 主な要素には、量子群表現の使用、トーラス紐のためのロッソ＝ジョーンズ公式、およびリシュチキン＝トゥレイブ不変量との関係を示すシャドウ不変量形式化が含まれる。
• 経路積分を $\eta: Y(L) \to \Lambda \cap (kt_{\text{reg}} - \rho)$ への写像の和として再表現できるように、変数変換 $B(a),\alpha_0 \to \eta(a),\alpha_0$ を導入する。
• $|L|_4^\eta$ の構造を、$T(x, \eta)$ の行列要素の線形結合として分析し、量子群のR行列との深い関係を示唆する。

実験結果

リサーチクエスチョン

• RQ1 トーラスゲージ固定チェーン＝シモンズ経路積分は、一般の場合において $Z(\Sigma \times S^1, L)$ の値をリシュチキン＝トゥレイブ不変量と一致させるか？
• RQ2 トーラスゲージにおける形式的経路積分は、well-defined な数学的対象として厳密に実現可能か？
• RQ3 経路積分の成分、特に $|L|_4^\eta$ は、量子群のR行列および表現論とどのように関係するか？
• RQ4 トーラスゲージ法は、セイフェルト被覆空間や非自明な $S^1$-バンドルへどの程度一般化可能か？
• RQ5 補助的なリーマン計量 $g_\Sigma$ に課される条件は、計算の有効性に影響を与えることなく緩和可能か？

主な発見

• 3つの特別なケース、特に $S^2 \times S^1$ 内の彩色トーラス（リボン）紐に対して、トーラスゲージ法による $Z(\Sigma \times S^1, L)$ の明示的評価が、$S^3$ 内の彩色トーラス紐のロッソ＝ジョーンズ公式を再現する。
• トーラスゲージにおける経路積分式（式 2.36）は、明示的計算を容易にし、ホロノミーとフレーミングの依存性を明らかにする形（式 2.47）に再表現される。
• 式 (D.1) 右辺の因子 $|L|_4^\eta$ が $T(x, \eta)$ の行列要素の線形結合であることが示され、量子群のR行列との直接的な関係を示唆する。
• 一般の $L$ に対する $Z(\Sigma \times S^1, L)$ の評価は、$\eta: Y(L) \to \Lambda \cap (kt_{\text{reg}} - \rho)$ への写像の和に還元され、隣接するリンク成分に依存する頂点因子 $J_x(\eta)$ の寄与が含まれる。
• ヒューリスティックな経路積分計算が特別な場合においてリシュチキン＝トゥレイブ不変量と一致する強力な証拠が提示され、一般に成り立つという仮説を支持する。
• トーラスゲージ固定経路積分の厳密な実現のための3つの異なるアプローチが提示され、不適切積分による正則化や、$\det_{\text{rig}}(B)$ の代替定義を含む。