[論文レビュー] Asymptotics of Nahm sums at roots of unity

Stavros Garoufalidis, Don Zagier|arXiv (Cornell University)|Dec 18, 2018

Advanced Mathematical Identities被引用数 5

ひとこと要約

この論文は、q が単位根に近づく際の径方向極限を用いて、複素単位根におけるNahm和—特別なq超幾何級数—の、すべての次数における完全な漸近展開を導出する。主な結果は、多対数関数、ベルヌーイ多項式、および循環的量子ディログラミット関数を含む、径方向漸近の明確な公式であり、これはNahmのモジュляр性予想の一方の方向を直接支持するものであり、Nahm和と結び目のKashaev不変量の漸近的性質の間の深い構造的関係を明らかにする。

ABSTRACT

We give a formula for the radial asymptotics to all orders of the special $q$-hypergeometric series known as Nahm sums at complex roots of unity. This result is used in~\cite{CGZ} to prove one direction of Nahm's conjecture relating the modularity of Nahm sums to the vanishing of a certain invariant in $K$-theory. The power series occurring in our asymptotic formula are identical to the conjectured asymptotics of the Kashaev invariant of a knot once we convert Neumann-Zagier data into Nahm data, suggesting a deep connection between asymptotics of quantum knot invariants and asymptotics of Nahm sums that will be discussed further in a subsequent publication.

研究の動機と目的

• q が複素単位根に径方向に近づく際、Nahm和の、すべての次数における完全な漸近展開を確立すること。
• q系列および特殊関数を用いて、被加法項および完全なNahm和の径方向漸近の公式を提供すること。
• K理論的不変量との接続を通じて、NahmのNahm和のモジュラー性に関する予想の一方の方向を支持すること。
• Nahm和の漸近的級数と結び目のKashaev不変量の漸近的級数との間の驚くべき構造的同型を明らかにすること。
• 結び目の量子不変量と数学的物理におけるq超幾何不変量との間のより深い関係を築く基盤を提供すること。

提案手法

• q = ζ exp(−ε/m) とし、ζ を原始m次単位根とし、ε → 0⁺ とする径方向極限解析を用いる。
• 多対数関数とベルヌーイ多項式を用いた、qポッホハマー記号 (qx; q)∞ の漸近展開を適用する。
• 循環的量子ディログラミット関数 Dζ(x) = ∏_{t=1}^{m−1} (1 − ζ^t x)^t を導入し、収束のためのm乗根を用いる。
• 対数的展開と停留化型近似を用いて、Nahm和の被加法項の漸近公式を導出する。
• ラマヌジャンの 1Ψ1 和公式と、径方向極限下でのハイパージェオメトリック型級数の漸近解析を用いる。
• Nahm和の漸近展開とKashaev不変量の漸近展開を比較し、同一の形式的べき級数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 q が複素単位根に径方向に近づく際のNahm和の完全な漸近展開は何か？
• RQ2 Nahm和の漸近的性質は、結び目のKashaev不変量が単位根においてどのように関係するか？
• RQ3 径方向漸近において現れる形式的べき級数の正確な構造は何か？
• RQ4 Nahm和の漸近的性質を用いて、Nahmのモジュラー性予想の一方の方向を証明できるか？
• RQ5 Nahm和とKashaev不変量の同一漸近的級数を生じさせる背後にある数学的メカニズムは何か？

主な発見

• 単位根 ζ におけるNahm和 F_Q(q) の径方向漸近は、多対数関数、ベルヌーイ多項式、および循環的量子ディログラミット関数を含む形式的べき級数で与えられる。
• 漸近展開の主要項は、exp(Li₂(z)/ε) に z に関する有理関数を乗じた形であり、ここで z = x^m であり、x はNahm和の線形項および定数項に関連する。
• すべての次数における完全な漸近展開は、r ≥ 2 に対して Li_r(z) を含む項と、z に関する有理関数の和として表現される。
• Nahm和の単位根における漸近的級数は、Neumann-Zagier から Nahm データに変換した場合、結び目のKashaev不変量の予想される漸近的性質と正確に一致する。
• ラマヌジャンの 1Ψ1 和公式と qポッホハマー記号の漸近解析を用いて、Nahm和とKashaev不変量の漸近的性質の同一性が証明される。
• K₃(代数的数)におけるあるK理論的不変量の消滅が、Nahm和のモジュラー性と同値であることが、導出された漸近公式を用いて示される。