[論文レビュー] On the characteristic and deformation varieties of a knot

Stavros Garoufalidis|ArXiv.org|Jun 15, 2003

Geometric and Algebraic Topology参考文献 24被引用数 130

ひとこと要約

本稿は、$q$-正則彩色ジョーンズ関数から導かれる幾何的不変量として、絡み目の特徴的多様体を導入し、量子不変量と古典的幾何学を結びつける。この多様体が本質的に $
\mathrm{SL}_2(\mathbb{C})$-変形多様体（境界表現のキャラクター多様体）に等しいと仮説を立て、トレイフォイル結び目と図8結び目について直接計算によりその仮説を検証する。

ABSTRACT

The colored Jones function of a knot is a sequence of Laurent polynomials in one variable, whose n-th term is the Jones polynomial of the knot colored with the n-dimensional irreducible representation of SL(2). It was recently shown by TTQ Le and the author that the colored Jones function of a knot is q-holonomic, ie, that it satisfies a nontrivial linear recursion relation with appropriate coefficients. Using holonomicity, we introduce a geometric invariant of a knot: the characteristic variety, an affine 1-dimensional variety in C^2. We then compare it with the character variety of SL_2(C) representations, viewed from the boundary. The comparison is stated as a conjecture which we verify (by a direct computation) in the case of the trefoil and figure eight knots. We also propose a geometric relation between the peripheral subgroup of the knot group, and basic operators that act on the colored Jones function. We also define a noncommutative version (the so-called noncommutative A-polynomial) of the characteristic variety of a knot. Holonomicity works well for higher rank groups and goes beyond hyperbolic geometry, as we explain in the last chapter.

研究の動機と目的

• 彩色ジョーンズ関数の$q$-正則構造を用いて、絡み目の新しい幾何的不変量を定義すること。
• $q$-正則再帰から得られる特徴的多様体と、$\mathrm{SL}_2(\mathbb{C})$ 表現から得られる変形多様体との間の仮説的対応を確立すること。
• $\mathfrak{g}$-彩色ジョーンズ関数と$G_{\mathbb{C}}$-キャラクター多様体を用いて、高ランクリー・グループへの枠組みの拡張を図ること。
• 絡み目の周辺部分群と彩色ジョーンズ関数に作用する作用素との間の代数的・幾何的関係を調査すること。
• 非可換$A$-多項式を特徴的多様体の非可換一般化として導入すること。

提案手法

• $q$-ウェイの代数$\mathcal{A} = \mathbb{Z}[q^{\pm}]\langle Q,E\rangle/(EQ = qQE)$を定義し、シフト（$E$）とスケーリング（$Q$）作用素によって離散関数に作用させる。
• 関数$f$が$q$-正則であるとき、$\mathcal{I}_f = \{P \in \mathcal{A} \mid Pf = 0\}$を再帰イデアルと定義し、$q=1$での評価$\epsilon(\mathcal{I}_f)$の零点集合として特徴的多様体$\mathrm{ch}(f)$を定義する。
• $G_{\mathbb{C}}$-キャラクター多様体を絡み目の補空間に対して構成し、境界トーラスへの制限を定義し、$G_{\mathbb{C}}$-変形多様体を$(\mathbb{C}^\star)^r \times (\mathbb{C}^\star)^r \cong T^2$における像として定義する。
• ベルンシュタインの不等式とヒルベルト次元を用いて、多変数$q$-関数の$q$-正則性を定義し、特徴的多様体が次元$r$以上であることを保証する。
• 純粋に$r$次元の成分が一致するという意味で「本質的に等しい」多様体として、$G_{\mathbb{C}}$-キャラクター多様体$V_G(K)$と$G_{\mathbb{C}}$-変形多様体$D_{G_{\mathbb{C}}}(K)$を比較する。
• トレイフォイル結び目と図8結び目について、直接計算により仮説を検証し、特徴的多様体と変形多様体が一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathfrak{g}$-彩色ジョーンズ関数の$G_{\mathbb{C}}$-キャラクター多様体は、その$G_{\mathbb{C}}$-変形多様体と本質的に等しいか？
• RQ2 $q$-正則構造が、絡み目の補空間の幾何的データをどのように符号化するか？
• RQ3 周辺部分群が彩色ジョーンズ関数への作用において、代数的・幾何学的役割を果たすのはどのようなものか？
• RQ4 非可換$A$-多項式は、特徴的多様体の非可換一般化として定義可能か？
• RQ5 $q$-正則性は、$\mathfrak{sl}_2$を越えて高ランクリー・グループへ意味的に拡張可能か？

主な発見

• 絡み目の彩色ジョーンズ関数は$q$-正則であるため、$\mathbb{Z}[q^{\pm}]$に係数をもつ非自明な線形再帰関係が存在する。
• 絡み目の特徴的多様体$\mathrm{ch}(K)$は、$q=1$での評価における再帰イデアルの像の零点集合として定義され、$(\mathbb{C}^\star)^2$の1次元部分多様体をなす。
• トレイフォイル結び目と図8結び目について、特徴的多様体と$\mathrm{SL}_2(\mathbb{C})$-変形多様体は本質的に等しく、直接計算により確認された。
• $G_{\mathbb{C}}$-キャラクター多様体$V_G(K)$は、$\mathfrak{g}$-彩色ジョーンズ関数の特徴的多様体として定義され、ベルンシュタインの不等式により次元が$r$以上である。
• $G_{\mathbb{C}}$-変形多様体$D_{G_{\mathbb{C}}}(K)$は、境界トーラスのキャラクター多様体の制限の像として定義され、アーベル表現から来る$r$次元成分を含む。
• $V_G(K)$と$D_{G_{\mathbb{C}}}(K)$が本質的に等しいという仮説は、量子不変量と双曲幾何学・表現論を結ぶ中心的な幾何的原理として提唱される。