[論文レビュー] Knots, Perturbative Series and Quantum Modularity

Stavros Garoufalidis, Don Zagier|arXiv (Cornell University)|Nov 12, 2021

Geometric and Algebraic Topology参考文献 85被引用数 4

ひとこと要約

本稿では、双曲的絡み目のための行列値不変量 Φα(h) を導入し、1 を法とする有理数から Q[[h]] 上の冪級数を成分とする行列への写像を定める。この不変量は、カシャエフ不変量と摂動級数を一般化し、SL2(Z)-コサイクル Wγ を通じて量子モジュラリティを示し、ハビロ環と q 差分方程式を介して、量子不変量、q 級数、モジュラー性質を統一的に結びつける枠組みを提供する。4₁、5₂、および (−2,3,7) プレッツェル絡み目について明示的な計算が行われている。

ABSTRACT

We introduce an invariant of a hyperbolic knot which is a map $α\mapsto \boldsymbolΦ_α(h)$ from $\mathbb{Q}/\mathbb{Z}$ to matrices with entries in $\overline{\mathbb{Q}}[[h]]$ and with rows and columns indexed by the boundary parabolic ${ m SL}_2(\mathbb{C})$ representations of the fundamental group of the knot. These matrix invariants have a rich structure: (a) their $(σ_0,σ_1)$ entry, where $σ_0$ is the trivial and $σ_1$ the geometric representation, is the power series expansion of the Kashaev invariant of the knot around the root of unity ${ m e}^{2π{ m i} α}$ as an element of the Habiro ring, and the remaining entries belong to generalized Habiro rings of number fields; (b) the first column is given by the perturbative power series of Dimofte-Garoufalidis; (c) the columns of $\boldsymbolΦ$ are fundamental solutions of a linear $q$-difference equation; (d) the matrix defines an ${ m SL}_2(\mathbb{Z})$-cocycle $W_γ$ in matrix-valued functions on $\mathbb{Q}$ that conjecturally extends to a smooth function on $\mathbb{R}$ and even to holomorphic functions on suitable complex cut planes, lifting the factorially divergent series $\boldsymbolΦ(h)$ to actual functions. The two invariants $\boldsymbolΦ$ and $W_γ$ are related by a refined quantum modularity conjecture which we illustrate in detail for the three simplest hyperbolic knots, the $4_1$, $5_2$ and $(-2,3,7)$ pretzel knots. This paper has two sequels, one giving a different realization of our invariant as a matrix of convergent $q$-series with integer coefficients and the other studying its Habiro-like arithmetic properties in more depth.

研究の動機と目的

• 双曲的絡み目のための新しい行列値不変量 Φα(h) を定義し、カシャエフ不変量と摂動級数を一般化すること。
• Φα(h) と SL2(Z)-コサイクル Wγ の間の精密な量子モジュラリティの予想を確立すること。
• Φα(h) が線形 q 差分方程式を満たし、R や複素数のカット平面において滑ららかまたは正則関数に上昇することを示すこと。
• 4₁、5₂、および (−2,3,7) プレッツェル絡み目について、Φα(h) の明示的計算を行い、低複雑度のケースで予想を検証すること。

提案手法

• knot 群の境界パラボリック SL2(C) 表現を添え字とする行列 Φα(h) を構成し、その成分を Q[[h]] にとる。
• Φα(h) の (σ₀,σ₁) 成分が、ハビロ環におけるカシャエフ不変量の冪級数展開に一致することを証明する。
• Φα(h) の最初の列が、Dimofte–Garoufalidis の摂動級数と一致することを示す。
• Φα(h) の列が線形 q 差分方程式の基本解であることを示す。
• Φα(h) から SL2(Z)-コサイクル Wγ を定義し、R や複素数のカット平面における滑ららかまたは正則関数への拡張を予想する。
• 漸近解析と代数的数論を用いて、特に 61 結び目について、Φα(h) の係数を高精度算術を用いて計算する。

実験結果

リサーチクエスチョン

• RQ1 カシャエフ不変量は、Q/Z に値をとる行列値関数にどのように一般化可能か？
• RQ2 ハビロ環およびその一般化は、双曲的絡み目の量子不変量をどのようにエンコードするか？
• RQ3 Dimofte–Garoufalidis の摂動級数は、なぜ行列 Φα(h) の最初の列として現れるのか？
• RQ4 行列 Φα(h) はどのような意味で量子モジュラリティを満たし、これはコサイクル Wγ にどのように反映されるか？
• RQ5 発散級数 Φα(h) は、コサイクル構成を介して実際に滑ららかまたは正則関数に上昇可能か？

主な発見

• Φα(h) の (σ₀,σ₁) 成分は、ハビロ環におけるカシャエフ不変量の冪級数展開であり、Q[[h]] に係数をとる。
• Φα(h) の最初の列は、Dimofte–Garoufalidis の摂動級数と一致し、既知の漸近展開と整合性が確認された。
• Φα(h) の列は線形 q 差分方程式の基本解であり、深い代数的構造を示している。
• 4₁、5₂、および (−2,3,7) プレッツェル絡み目について、行列 Φα(h) 及び関連するコサイクル Wγ は量子モジュラリティを示し、明示的な数値的検証がなされた。
• 61 結び目について、Φ₆₁⁰(h) の最初の3係数は、高精度 O(N) アルゴリズムを用いて数値的に計算され、[14] の予測に基づき代数的数が同定された。
• 行列 Φα(h) は、コサイクル Wγ を通じて R 上の滑ららかな関数、または複素数のカット平面における正則関数に上昇可能であると予想されており、階乗的発散を解消する。