[論文レビュー] Relative Reshetikhin-Turaev invariants, hyperbolic cone metrics and discrete Fourier transforms II

Ka Ho Wong, Tian Yang|arXiv (Cornell University)|Sep 14, 2020

Geometric and Algebraic Topology参考文献 40被引用数 7

ひとこと要約

本稿は、図8 Knotの補空間に対して、相対的Reshetikhin-Turaev不変量の体積予想を証明する。その際、特異軸が Knot であり、彩色によって定まる円錐角をもつ双曲的コン回路多様体の双曲的体積およびチャーン・サイモンズ不変量と、不変量の漸近的増大度が一致することを示す。証明は大塚の手法、ファドデエフの量子ディログラミット関数、ポアソン和公式、および鞍点近似を用い、正則関数の臨界点と双曲的貼り合わせ方程式との関係を確立する。

ABSTRACT

We prove the Volume Conjecture for the relative Reshetikhin-Turaev invariants proposed in [29] for all pairs (M,K) such that M\K is homeomorphic to the complement of the figure-8 knot in S^3 with almost all possible cone angles.

研究の動機と目的

• 相対的Reshetikhin-Turaev不変量の体積予想を、図8 Knotの補空間の場合に確立すること。
• 予想の有効範囲を小さな円錐角から、$2\pi$ まで含むほぼすべての可能な円錐角へと拡張すること。
• 量子不変量の漸近的挙動が、双曲的コン回路多様体の体積およびチャーン・サイモンズ不変量を的確に捉えていることを示すこと。
• チェン＝ヤンの体積予想に対する提案されたアプローチを、コン回路計量を通じて具体的に実現すること。

提案手法

• Faddeevの量子ディログラミット関数から導かれる正則関数 $f_r^\pm$ の値の和として、相対的Reshetikhin-Turaev不変量を計算する。
• ポアソン和公式を適用し、$f_r$ のフーリエ係数の和に不変量を再表現する。
• 鞍点近似を用いて、不変量の漸近的増大度における主要寄与を同定する。
• 正則関数の臨界点が、図8 Knotの補空間の双曲的貼り合わせ方程式（辺の式およびデーン・フィリング方程式）に対応することを示す。
• 副次的フーリエ係数の減衰率を推定し、漸近的極限において無視可能であることを示す。
• シュレーフリの公式および体積が円錐角に関して単調増加であることを利用して、体積条件 $\mathrm{Vol}(M_{K_\theta}) > \frac{1}{2}\mathrm{Vol}(S^3 \setminus K_{4_1})$ を検証する。

実験結果

リサーチクエスチョン

• RQ1 図8 Knotの補空間であり、かつ円錐角が小さいとは限らない場合に、相対的Reshetikhin-Turaev不変量の体積予想は成立するか？
• RQ2 不変量の漸近的増大度が、コン回路多様体の双曲的体積およびチャーン・サイモンズ不変量と一致することを示せるか？
• RQ3 量子ディログラミット関数の臨界点構造が、図8 Knot補空間の双曲的貼り合わせ方程式と等価であるか？
• RQ4 体積予想における体積条件が満たされる円錐角の範囲は何か？
• RQ5 副次的フーリエ係数は漸近的にどのように振る舞い、無視可能であることを示せるか？

主な発見

• 体積予想は、$M \setminus K$ が図8 Knotの補空間に同相であり、かつ $\mathrm{Vol}(M_{K_\theta}) > \frac{1}{2}\mathrm{Vol}(S^3 \setminus K_{4_1})$ を満たすすべてのペア $(M,K)$ に対して成立する。
• $(p,q)$ が $\pm(1,0), (0,\pm1), \pm(1,\pm1), \pm(2,\pm1), \pm(3,\pm1), \pm(4,\pm1), \pm(5,\pm1)$ を除くすべての場合は、すべての $\theta \leq 2\pi$ に対して条件が成り立つ。
• 例外的な場合では、すべての $\theta \leq \pi$ に対して条件が成り立つ。
• 主要フーリエ係数 $\hat{f}_r^\pm(0,\dots,0)$ が臨界値を寄与する：実部は双曲的体積に等しく、虚部はチャーン・サイモンズ不変量に等しい。
• 副次的フーリエ係数は指数的に減衰し、漸近的極限において無視可能であることが、$O(e^{r/4\pi(\mathrm{Vol} - \epsilon)})$ の評価によって示された。
• 所定の体積条件のもとで鞍点近似は有効であり、主要寄与が双曲的コン回路計量に対応する臨界点から来ることを確認した。