[論文レビュー] $L^2$-Alexander invariant for knots

Jérôme Dubois, Christian Wegner|arXiv (Cornell University)|Mar 26, 2013

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

ひとこと要約

本稿は、Fuglede-Kadison行列式を用いて$L^2$- torsionから導かれる新しい絡み目不変量として、$L^2$-Alexander不変量を導入する。任意の絡み目の群の表示とそのFox行列を用いた計算手法を提供し、古典的Fox微分法を$L^2$設定に一般化する。トーラス絡み目の明示的計算が主な結果である。

ABSTRACT

This paper deals with the study of a new family of knot invariants: the $L^2$-Alexander invariant. A main result is to give a method of computation of the $L^2$-Alexander invariant of a knot complement using any presentation of default 1 of the knot group.

研究の動機と目的

• 新しい絡み目不変量として、$L^2$-フレームワークにおける古典的アレクサンダー多項式の一般化である$L^2$-Alexander不変量を定義すること。
• 絡み目の群の任意の群表示とその関連Fox行列を用いて、$L^2$-Alexander不変量の計算手法を確立すること。
• $L^2$-Alexander不変量を、絡み目の補空間の普遍被覆における重み付き$L^2$- torsionと関連付けること。
• トーラス絡み目に対して、$L^2$-Alexander不変量を明示的に計算し、手法の適用可能性を示すこと。

提案手法

• $L^2$-Alexander不変量は、標準的行列式の代わりにFuglede-Kadison行列式を用いた、ねじれアレクサンダー多項式の一般化として定義される。
• 主な計算道具は、定理3.5であり、これは任意の絡み目の群表示のFox行列を用いて$L^2$-Alexander不変量を表現する。
• 証明は、群の作用に$\mathbb{R}^{>0}$へのホモモーフィズムを伴う$L^2$- torsionの一般化である重み付き$L^2$- torsionの概念に依存する。
• von Neumann代数枠組みと$\mathcal{N}(G)$上のトレースを用いて、$L^2$-不変量およびその次元を定義する。
• 有限$G$-CW複体上の$L^2$- torsionの和公式を用い、絡み目の補空間をSeifert部と双曲的部に分解する。
• 重み付き$L^2$- torsionの簡略化版として、$\tilde{\rho}^{(2)}_{\varrho}(X) = \frac{1}{2}(\rho^{(2)}_{\varrho}(X)(1) + \rho^{(2)}_{\varrho}(X)(-1))$が導入され、数値評価が可能になる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、絡み目の群の群表示から$L^2$-Alexander不変量を効率的に計算できるか？
• RQ2 $L^2$-Alexander不変量と絡み目の補空間の$L^2$- torsionとの関係は何か？
• RQ3 $L^2$-Alexander不変量は、トーラス絡み目などの特定の族の絡み目に対して明示的に計算可能か？
• RQ4 絡み目の補空間がSeifert部と双曲的部に幾何学的に分解されるとき、$L^2$- torsionはどのように振る舞うか？
• RQ5 Fuglede-Kadison行列式は、絡み目理論における$L^2$-不変量を定義する上で果たす役割は何か？

主な発見

• 定理3.5は、絡み目の群の任意の表示とそのFox行列を用いて、$L^2$-Alexander不変量を完全に計算する手法を提供する。
• $L^2$-Alexander不変量を$t=1$で評価すると、絡み目の補空間の$L^2$- torsionに一致し、幾何的不変量と関連づけられる。
• トーラス絡み目の$L^2$-Alexander不変量は第6節で明示的に計算されており、手法の有効性が示されている。
• 重み付き$L^2$- torsion枠組みにより、絡み目の補空間の幾何的部品ごとの不変量の分解が可能であることが、命題5.5で示されている。
• 簡略化された$L^2$- torsion$\tilde{\rho}^{(2)}_{\varrho}(X)$は数値評価を可能にし、元の不変量の主要な性質を保持する。
• $L^2$- torsionの和公式を、有限$G$-CW複体のプッシュアウトに拡張し、重み付き設定に適用することで、分解戦略を支援する。