[論文レビュー] Skeins, $q$-series, and modularity

Sunghyuk Park|arXiv (Cornell University)|Jan 25, 2026

Geometric and Algebraic Topology被引用数 0

ひとこと要約

Extends BPS q-series to skein modules with line defects, proves a skein-invariant MMR-type expansion, constructs a map from skein modules to q-series, and conjectures holomorphic quantum modularity and Langlands duality for skein modules.

ABSTRACT

We study BPS $q$-series associated to 3-manifolds decorated by a line defect along an embedded link. We prove that these $q$-series depend only on the class of the link in the skein module, thereby defining a homomorphism from the skein module to the space of $q$-series. The image of this homomorphism is conjectured to be holomorphically quantum modular, which suggests a new approach to Langlands duality for skein modules through $q$-series.

研究の動機と目的

• Extend BPS q-series to 3-manifolds decorated by line defects along embedded links.
• Show that these q-series depend only on the link class in the skein module, defining a skein-to-q-series homomorphism.
• Propose and investigate holomorphic quantum modularity of the image and Langlands duality for skein modules.
• Relate the constructions to MMR expansions and Laplace-transform surgery formulas.

提案手法

• Define colored Jones polynomials with line defects and express them via finite state sums using R-matrices, cups, and caps.
• Pass to Verma-module colorings V∞(x) to obtain asymptotic expansions in ℏ with u = nℏ held fixed (MMR-type expansion).
• Prove that for nice knots K and arbitrary L ⊂ S^3 \backslash K, the BPS q-series bZ(S^3 \backslash K; L) is isotopy invariant and factors through the skein module as a Z[q±1/4]-linear map.
• Construct a linear map bZ from SkSL2q(S3 \backslash K) to Z[q±1/4]((x1/2)) that encodes the q-series.
• Show compatibility of bZ with the Laplace-transform surgery formula, yielding a map bZs on skein modules of surgery Y = S^3_p(K).
• Demonstrate holomorphic quantum modularity in a concrete example: Y = ±Σ(2,3,7).

実験結果

リサーチクエスチョン

• RQ1 BPS q-series を連結される線欠陥をリンク上に挿入することで skein モジュールへ拡張するにはどうすればよいか。
• RQ2 得られる q-series はリンク補集合内のリンクの skein-クラスのみに依存するか。
• RQ3 Laplacian 変換された手術に対して一貫した skein モジュールから q-series への手術互換写像を定式化できるか。
• RQ4 この写像の像は holomorphically quantum modular であり、skein モジュールに対して Langlands 双対性のような関係を実現するか。
• RQ5 MMR 型展開は skein 装飾の存在によってどのような役割を果たし、境界作用とどのように相互作用するか。

主な発見

• 線欠陥を伴う大色表示極限定理に対する Melvin–Morton–Rozansky (MMR) 型展開があり、x と ΔK(x)（アレクサンダー多項式）の有理関数として表される。
• nicely な結び目 K と着色リンク L に対して、BPS q-series bZS3\K(L)(x,q) は S3\K における L の同値変形不変量であり、SkSL2q(S3\K) を経由して Z[q±1/4]((x1/2)) に分解される。
• skein 代数の境界作用は二変数の q-series による作用を量子トーラス埋め込みを介して分解し、skein 理論の操作と q-series の変換を結びつける。
• Laplace 変換手術公式は bZ と互換性があり、手術 Y = S3_p(K) に対する q-series写像 bZs : SkSL2q(S3_p(K)) → q^Δs Z[q±1/4][[q]] を生み出す。
• 例 Y = ±Σ(2,3,7) では像が行列値の holomorphic quantum modular form に拡張され、skein モジュールの Langlands 双対性写像候補を提供する。
• この研究は holomorphic quantum modularity による skein モジュールの Langlands 双対性フレームワークの拡張を示唆している。