[論文レビュー] Twisted Alexander polynomials of hyperbolic knots

Nathan M. Dunfield, Stefan Friedl+1 more|arXiv (Cornell University)|Aug 15, 2011

Geometric and Algebraic Topology参考文献 22被引用数 6

ひとこと要約

本稿では、整数ホモロジー3次元球面内の双曲的絡み目のホロノミー表現のSL(2,C)への上げから得られる、ねじれアレクサンダー多項式である双曲的ねじれ多項式を導入する。この多項式は、係数が絡み目のトレース体にある対称なローレンツ多項式であることが示され、ジャンル、ファイバリング、アキシャル性、変種検出といった位相的不変量を符号化している。全313,209個の15交差以下の双曲的絡み目について、この多項式はジャンル、ファイバリング、アキシャル性を正確に特定しており、すべての双曲的絡み目に対して強力な不変量であると考えられる。

ABSTRACT

We study a twisted Alexander polynomial naturally associated to a hyperbolic knot in an integer homology 3-sphere via a lift of the holonomy representation to SL(2, C). It is an unambiguous symmetric Laurent polynomial whose coefficients lie in the trace field of the knot. It contains information about genus, fibering, and chirality, and moreover is powerful enough to sometimes detect mutation. We calculated this invariant numerically for all 313,209 hyperbolic knots in S^3 with at most 15 crossings, and found that in all cases it gave a sharp bound on the genus of the knot and determined both fibering and chirality. We also study how such twisted Alexander polynomials vary as one moves around in an irreducible component X_0 of the SL(2, C)-character variety of the knot group. We show how to understand all of these polynomials at once in terms of a polynomial whose coefficients lie in the function field of X_0. We use this to help explain some of the patterns observed for knots in S^3, and explore a potential relationship between this universal polynomial and the Culler-Shalen theory of surfaces associated to ideal points.

研究の動機と目的

• 双曲的絡み目のSL(2,C)への上げに関連する、新しいねじれアレクサンダー多項式、すなわち双曲的ねじれ多項式を定義し、その性質を調査すること。
• この多項式が、ジャンル、ファイバリング、アキシャル性、変種不変性といった位相的不変量を捉えられるかどうかを検証すること。
• 絡み目の群のSL(2,C)-キャラクター多様体の非可約成分を通じて、多項式の振る舞いを調査すること。
• Culler-Shalen理論を用い、理想点と回転正規面の概念を通じて、キャラクター多様体内の多項式との関係を明らかにすること。
• キャラクター多様体の各成分において、すべてのねじれねじれ多項式を符号化する関数体上に普遍的な多項式を予想すること。

提案手法

• ホロノミー表現のSL(2,C)への上げを用いた、ねじれチェイン複体のリーデマイスター＝ミルナーねじれを用いて、双曲的ねじれ多項式T_K(t)を定義する。
• Fox微分法を用いて、絡み目の群の提示から多項式を明示的に計算する。
• T_K(t)が一意的かつ対称的になるように、SL(2,C)への上げの規約を固定する：T_K(t) = T_K(t^{-1})。
• T_K(t)の係数を解析し、それが絡み目のトレース体に属することを示し、トレースが整数であれば代数的整数であることを示す。
• キャラクター多様体の非可約成分X_0を通じてT_K(t)の変動を調査するため、X_0の関数体の係数を持つ普遍多項式を構成する。
• X_0の理想点におけるT_K(t)の振る舞いを、Culler-Shalen理論を用いて、トレース関数の極の位数を通じて、面と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 双曲的ねじれ多項式は、双曲的絡み目のジャンルを検出できるか？
• RQ2 双曲的ねじれ多項式は、双曲的絡み目がファイバリングかどうかを特定できるか？
• RQ3 双曲的ねじれ多項式は、絡み目とその鏡像（すなわちアキシャル性）を区別できるか？
• RQ4 双曲的ねじれ多項式は、双曲的絡み目の変種を検出できるか？
• RQ5 双曲的ねじれ多項式は、SL(2,C)-キャラクター多様体の非可約成分X_0を通じてどのように変動するか？また、その変動は普遍多項式によって記述可能か？

主な発見

• S^3内の15交差以下の全313,209個の双曲的絡み目について、双曲的ねじれ多項式T_K(t)はジャンルに対して鋭い上限を与える。
• 多項式はファイバリングを決定する：T_K(t)が定数倍を除いてモニックであることと、絡み目がファイバリングであることは同値である。
• 多項式はアキシャル性を検出する：鏡像K*について、T_K*(t)はT_K(t)の複素共役である。
• 多項式は変種を検出できる：コンウェイとキノシタ＝テラサカの絡み目（変種同士）では、多項式が異なる。
• キャラクター多様体X_0の理想点において、普遍多項式T_K^X_0(t)の特定のパラメータ（例：m003ではu=∞、m037ではu=2）における値が、最小ジャンルのセイフェルト表面に対応しており、Culler-Shalen理論との関連が示唆される。
• m037の絡み目について、多項式は1つの理想点（u=-2）で消えるが、これはすべての理想点が有用なジャンル情報を与えるわけではないことを示しており、他の点での振る舞いが依然として位相的データを捉えている。