[論文レビュー] Three flavors of twisted invariants of knots

Jessica Dubois, Stefan Friedl+1 more|arXiv (Cornell University)|Oct 25, 2014

Geometric and Algebraic Topology参考文献 77被引用数 7

ひとこと要約

本稿は、ねじれアレクサンダー多項式、高次アレクサンダー多項式、および$L^2$-アレクサンダー torsion の3つのねじれ不変量を比較し、それらが絡みの genus とファイバーダムネスを検出できる能力に注目している。$L^2$-アレクサンダー torsion を絡みの体積の変形とみなすとともに、それが絡みの genus、ファイバーダムネス、およびモノドロミーのエントロピーを完全に決定するとの仮説を提示している。

ABSTRACT

The Alexander polynomial of a knot has been generalized in three different ways to give twisted invariants. The resulting invariants are usually referred to as twisted Alexander polynomials, higher-order Alexander polynomials and $L^2$-Alexander invariants of knots. We quickly recall the definitions and we summarize and compare some of their properties. We also report on work by the authors on $L^2$-Alexander torsions and we conclude the paper with several conjectures on $L^2$-Alexander torsions.

研究の動機と目的

• ねじれアレクサンダー多項式、高次アレクサンダー多項式、および$L^2$-アレクサンダー不変量の3つのアレクサンダー多項式の一般化を比較・対比すること。
• $L^2$-アレクサンダー torsion を、絡みの体積の変形として導入し、絡みの位相的性質の完全不変量である可能性を分析すること。
• $L^2$-アレクサンダー torsion と絡みの genus、ファイバーダムネス、モノドロミーのエントロピーの関係を提示し、その根拠を提供すること。
• $L^2$-アレクサンダー torsion が双曲的絡みを区別でき、変種不変量を検出できるかを調査すること。

提案手法

• 古典的アレクサンダー多項式を torsion 不変量として再定式化し、ねじれ不変量の枠組みを統一する。
• $L^2$-アレクサンダー torsion $\tau^{(2)}(K)(t)$ を関数 $\mathbb{R}_{>0} \to \mathbb{R}_{\geq 0}$ として定義し、$\tau^{(2)}(K)(1) = \exp(\frac{1}{6\pi} \operatorname{Vol}(K))$ を満たすことで、絡みの補空間の双曲的体積と関連付ける。
• Lück–Schick の $L^2$-torsion 機械を用いて、この不変量を絡み外部の幾何的不変量と関連付ける。
• Agol, Przytycki–Wise, および Wise の、ほぼアーベルな商に関する結果を応用し、$\deg(\tau^{(2)}(K,\gamma)(t)) = 2\operatorname{genus}(K) - 1$ となる例を構成する。
• $\tau^{(2)}(K)(t)$ の正規化における振る舞いを分析し、それが定数となる区間の上界を用いて漸近的性質を研究する。
• 補題 5.6 を用いて、$\tau^{(2)}(K,\phi_K)(t)$ の最高次の係数が、ホモロジー上のモノドロミー作用のスペクトル半径と関係していることを示す。

実験結果

リサーチクエスチョン

• RQ1 全 $L^2$-アレクサンダー torsion $\tau^{(2)}(K)(t)$ は、絡みの genus を決定するか？
• RQ2 $\tau^{(2)}(K)(t)$ は、絡みがファイバーダムであるかを検出できるか？
• RQ3 もし $K$ がファイバーダムであれば、$\tau^{(2)}(K)(t)$ はモノドロミーのエントロピーを決定するか？
• RQ4 $L^2$-アレクサンダー torsion は変種に対して不変であるか？また、双曲的絡みを区別できるか？

主な発見

• $L^2$-アレクサンダー torsion は $\tau^{(2)}(K)(1) = \exp(\frac{1}{6\pi} \operatorname{Vol}(K))$ を満たし、これにより絡みの補空間の双曲的体積と直接関連づけられる。
• 仮説 5.9 では $\deg(\tau^{(2)}(K)(t)) = 2\operatorname{genus}(K) - 1$ を提案しており、ほぼアーベルな商を用いた構成によって裏付けられている。
• ファイバーダム絡みに対して、仮説 5.11 は $\sup\{T \in \mathbb{Q}_{\geq 0} \mid \tau^{(2)}(K)(t)|_{(0,T)} \text{ 定数}\} = \exp(-h(f))$ を示唆しており、トーラス絡みに対して部分的な検証がなされている。
• 正規化下での $\tau^{(2)}(K,\phi_K)(t)$ の最高次の係数は、$H_1(\Sigma;\mathbb{R})$ 上でのモノドロミー作用のスペクトル半径に関係しており、これはエントロピー $h(f)$ に等しい。
• $L^2$-アレクサンダー torsion は変種に対して不変ではない。コンウェイ絡みとキノシタ＝テラサカ絡みのような変種の間で genus の差が示されている。
• ベン・アリビの計算的証拠から、単一の $L^2$-アレクサンダー torsion がファイバーダムネスを示さない可能性があることが示され、仮説のより強い形を挑戦する。