[論文レビュー] Modularity and value distribution of quantum invariants of hyperbolic knots

Sandro Bettin, Sary Drappeau|arXiv (Cornell University)|May 6, 2019

Geometric and Algebraic Topology参考文献 51被引用数 21

ひとこと要約

本稿は、$q$-Pochhammer記号に対する正確なモジュラー性関係を確立し、量子リンク不変量のZagierのモジュラー性予想が算術的予想に帰着されることを証明する。7交差以下の超臨界リンクに対して$7_2$を除き、この予想を検証し、$4_1$リンクの彩色ジョーンズ多項式が単位根において大数の法則に従うことを示す、新しい双対性公式を用いて証明する。

ABSTRACT

We obtain an exact modularity relation for the $q$-Pochhammer symbol. Using this formula, we show that Zagier's modularity conjecture for a knot $K$ essentially reduces to the arithmeticity conjecture for $K$. In particular, we show that Zagier's conjecture holds for hyperbolic knots $K\ eq 7_2$ with at most seven crossings. For $K=4_1$, we also prove a complementary reciprocity formula which allows us to prove a law of large numbers for the values of the colored Jones polynomials at roots of unity. We conjecture a similar formula holds for all knots and we show that this is the case if one assumes a suitable version of Zagier's conjecture.

研究の動機と目的

• 量子リンク不変量における深い予想を解消するため、$q$-Pochhammer記号に対する新しいモジュラー性関係を確立すること。
• 超臨界リンク$K$に関するZagierのモジュラー性予想が、$K$に関する算術的予想に帰着されることを証明すること。
• 7交差以下の超臨界リンク（$7_2$を除く）に対してZagierの予想を検証すること。
• $4_1$リンクに対して、その彩色ジョーンズ多項式が単位根において大数の法則に従うことを可能にする双対性公式を導出すること。
• Zagierの予想の適切なバージョンを仮定した場合、すべてのリンクに対して普遍的な双対性公式が存在するかを予想すること。

提案手法

• $q$-Pochhammer記号に対する正確なモジュラー性関係を導出し、正則的および周期的誤差項を精密に捉える。
• このモジュラー性公式を用いて、$q = e^{2\pi i h/k}$ における量子不変量$\mathcal{J}_{K,0}(q)$ の漸近的挙動を分析する。
• ラプラスの方法と連分数展開を用い、$\mathcal{J}_{K,0}(q)$ を定義する級数におけるキャンセルを制御する。特に非正の項の影響を制御する。
• 関数$H_K(x)$を導入し、量子不変量の対数と関連づけ、滑らかな関数による近似を用いてそのリーマン可積分性を証明する。
• 連分数力学とガウス写像$T(x) = \{1/x\}$を用いて、$k \to \infty$ のときの値$\mathcal{J}_{K,0}(e^{2\pi i h/k})$ の分布を分析する。
• 参考文献[10]におけるエルゴード平均およびガウス＝クズミン分布の結果を活用し、$4_1$リンクにおける大数の法則を導出する。

実験結果

リサーチクエスチョン

• RQ1 Zagierの超臨界リンクの量子不変量に関するモジュラー性予想は、算術的予想から導かれるか？
• RQ2 7交差以下の超臨界リンク（$7_2$を除く）に対して、$\mathcal{J}_{K,0}(q)$ のモジュラー性が確立可能か？
• RQ3 $4_1$リンクに対して、大数の法則を可能にする双対性公式が存在するか？
• RQ4 Zagierの予想の適切なバージョンを仮定した場合、すべてのリンクに対して普遍的な双対性公式が存在するか？
• RQ5 超臨界リンクに対して、$k \to \infty$ のとき、$\mathcal{J}_{K,0}(e^{2\pi i h/k})$ の値はどのように分布するか？

主な発見

• 導出された$q$-Pochhammer記号のモジュラー性関係のもとで、超臨界リンク$K$に関するZagierのモジュラー性予想は、$K$に関する算術的予想と同値である。
• 7交差以下の超臨界リンク（$7_2$を除く）に対してこの予想が証明され、合計20個の超臨界リンクでその妥当性が確認された。
• $4_1$リンクに対して、$J_{K,N}(e^{2\pi i/N})$ が$N \to \infty$ のとき大数の法則に従うことを可能にする双対性公式が確立された。
• $\log|\mathcal{J}_{K,0}(e^{2\pi i h/k})|$ の分布は極限法則に従うことが示され、平均値が$k/h$の線形関数と対数補正項に収束することが分かった。
• $\log \mathcal{J}_{K,0}(e^{2\pi i h/k})$ の漸近展開における誤差は、導出された関数$\psi(x)$のリーマン可積分性によって制御され、連分数のエルゴード理論の応用が可能になった。
• 本稿では、適切なバージョンのZagierの予想を仮定した場合、すべてのリンクに対して普遍的な双対性公式が存在すると予想している。