[論文レビュー] Chern-Simons theory, analytic continuation and arithmetic

Stavros Garoufalidis|ArXiv.org|Nov 12, 2007

Geometric and Algebraic Topology参考文献 50被引用数 36

ひとこと要約

本稿は、ケーリン＝シモンズ理論、解析接続、および結び目と3次元多様体の量子不変量における算術的再発現の間の仮説的枠組みを提案する。2つのべき級数——摂動的（P）および非摂動的（NP）——を導入し、それらが特徴的なモノドロミーを有する多価関数としての解析接続が可能であると仮説し、再発現理論を用いて漸近展開と算術的性質を統一する。この枠組みは、ボリューム予想およびウィッテンの予想への影響をもたらす。

ABSTRACT

The purpose of the paper is to introduce some conjectures regarding the analytic continuation and the arithmetic properties of quantum invariants of knotted objects. More precisely, we package the perturbative and nonperturbative invariants of knots and 3-manifolds into two power series of type P and NP, convergent in a neighborhood of zero, and we postulate their arithmetic resurgence. By the latter term, we mean analytic continuation as a multivalued analytic function in the complex numbers minus a discrete set of points, with restricted singularities, local and global monodromy. We point out some key features of arithmetic resurgence in connection to various problems of asymptotic expansions of exact and perturbative Chern-Simons theory with compact or complex gauge group. Finally, we discuss theoretical and experimental evidence for our conjecture.

研究の動機と目的

• ケーリン＝シモンズ理論における量子不変量の解析接続の仮説的枠組みを構築すること。
• 特にコンパクトおよび複素ゲージ群の文脈において、摂動的および非摂動的不変量を再発現によって結びつけること。
• 複素解析的構造とモノドロミーを通じて、ボリューム予想とウィッテンの予想を統一すること。
• 量子不変量と算術的再発現（G関数および準単位的モノドロミーを含む）の間の関係を確立すること。
• さまざまな3次元多様体および結び目において、理論的および数値的証拠を提供すること。

提案手法

• 非摂動的不変量を記述する $ L^{ ext{np}}(z) $ と摂動的不変量を記述する $ L^{ ext{p}}(z) $ という2つの生成べき級数を導入し、単位円板内で収束すると仮定する。
• $ L^{ ext{np}}(z) $ が $ \mathbb{C} \setminus e\Lambda_{M,G} $ に解析接続可能であると提唱する。ここで $ e\Lambda_{M,G} $ は、複素化されたケーリン＝シモンズ作用の臨界値の指数関数を含む。
• リーマン＝ヒルベルト問題の形式的枠組みを用い、 $ L^{ ext{np}}(z) $ をケーリン＝シモンズ作用の指数関数を含む経路積分と関連付ける。
• $ L^{ ext{np}}(1+z) $ と $ L^{ ext{p}}(\log(1+z)) $ の間の形式的関係を確立し、対数項と解析的剰余項 $ h(z) $ を含む。この関係は再発現構造を示唆する。
• 特に和積型不変量において、混合型のゲヴレ級数に再発現理論を適用し、量子不変量をモデル化する。
• $ q $-ファクタリアル、ロジャース二重対数関数、ハビロ環に関する既知の結果を活用し、特定の状況での仮説を支持する。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体の非摂動的量子不変量は、特異点と制御されたモノドロミーを有する多価関数として、単位円板を超えて解析接続可能であるか？
• RQ2 摂動的不変量は、同じ非摂動的生成級数の特異点の周囲での漸近展開としてどのように生じるか？
• RQ3 準単位的モノドロミーおよびG関数の性質といった算術的性質は、量子不変量の再発現構造をどの程度特徴づけるか？
• RQ4 この仮説は、共通の解析的枠組みを通じてボリューム予想とウィッテンの予想を統一するか？
• RQ5 和積型不変量において、非摂動的 $ L^{ ext{np}}(z) $ と摂動的 $ L^{ ext{p}}(z) $ べき級数の正確な関係は何か？

主な発見

• 非摂動的生成級数 $ L^{ ext{np}}_{M,G}(z) $ は、 $ \mathbb{C} \setminus e\Lambda_{M,G} $ に解析接続可能であると仮説される。ここで $ e\Lambda_{M,G} $ はゼロおよびケーリン＝シモンズ作用の負の臨界値の指数関数を含む。
• この仮説は、経路変形とコーシー積分公式を用いることで、結び目のボリューム予想および3次元多様体のウィッテンの予想を含意する。
• 和積型不変量において、形式的関係 $ L^{ ext{np}}(1+z) = \log(z)L^{ ext{p}}(\log(1+z)) + h(z) $ が確立され、 $ h(z) $ は原点で解析的である。この関係は再発現構造を示唆する。
• この仮説は1次元の和積型級数において証明されており、 $ 3_1 $ および $ 4_1 $ 結び目においても数値的に検証されている。
• ハビロ環はこの仮説の自然な枠組みを提供し、P対NPの区別は再発現および解析接続の観点から解釈される。
• 無限次元のリーマン＝ヒルベルト問題としての経路積分式 $ L^{ ext{np}}_{M,G}(z) = 1 + z \int_{\mathcal{A}} \frac{1}{e^{-\frac{n}{2\pi i}\mathrm{CS}(A)} - z} \mathcal{D}A $ が提案され、完全な量子理論と関連づけられる。