[論文レビュー] Links with trivial Alexander module and nontrivial Milnor invariants

Stavros Garoufalidis|arXiv (Cornell University)|Jun 19, 2002

Geometric and Algebraic Topology参考文献 16被引用数 4

ひとこと要約

本稿では、クラッパー surgery と LMO 不変量の木部分を用いて、トレヴィアルな Alexander モジュールをもつが、非自明な Milnor 不変量をもつリンクの新規構成を提示する。Aarhus 積分と形式的ガウス積分を活用することで、ユニトリバレント木の可換 Lie 環における非消滅パターンすべてに対して、このようなリンクの存在を体系的に示す。これは、Cochran の反復的交換子に基づく構成に対する、推測的に完全かつ幾何学的に明確な代替手法を提供する。

ABSTRACT

Minor typographical errors fixed. Cochran constructed many links with Alexander module that of the unlink and some nonvanishing Milnor invariants, using as input commutators in a free group and as an invariant the longitudes of the links. We present a different and conjecturally complete construction, that uses elementary properties of clasper surgery, and a different invariant, the tree-part of the LMO invariant. Our method also constructs links with trivial higher Alexander modules and nontrivial Milnor invariants.

研究の動機と目的

• トレヴィアルな Alexander モジュールと非自明な Milnor 不変量をもつリンクの幾何的かつ体系的な構成を提供すること。これは、リンクのなめらかさ理論における長年の問いに応える。
• Cochran の交換子に基づく反復的メソッドの代替を提供すること。クラッパー surgery と LMO 不変量から導かれる位相的不変量を用いる。
• リンクの n 階交換子系列における n 階の Alexander モジュールがトレヴィアルであるリンクへの構成の拡張。
• ユニトリバレント木の空間における非消滅パターンと、特定の Milnor 不変量の障害をもつリンクとの間の対応を確立すること。
• LMO 不変量の木部分が Milnor 不変量を完全に捉えられることを示し、形式的ガウス積分を用いた明示的計算を可能にすること。

提案手法

• アンリンクにクラッパー surgery を適用し、$\mathcal{A}^{\mathrm{tr}}(r)$ における非消滅ユニトリバレント木パターンによって定義されるリンクを構成する。
• Aarhus 積分を用いて、得られたリンクの LMO 不変量を計算し、Milnor 不変量を符号化する木部分 $Z^{\mathrm{tr}}(M,L)$ に注目する。
• 形式的ガウス積分を用いて、LMO 不変量の最小次数非消滅寄与を評価し、これがパターン $\beta$ に直接対応することを示す。
• Aarhus 積分の接合則を用い、クラッパー成分にラベル付けされた一価頂点が、連結行列の負の逆行列によってペアリングされる。これにより、クラッパーに完全に寄与する図式のみが寄与することを保証する。
• LMO 不変量の最小次数木部分が元のパターン $\beta$ に等しいことを示し、構成されたリンクが次数 $m$ の非自明な Milnor 不変量をもつことを証明する。
• $n$ パターン $\beta^{(n)}$ に一般化し、$c^{(n)}$-木構成と高階の交換子系列を用いて、$n$ 階の Alexander モジュールがトレヴィアルであるリンクを構成する。

実験結果

リサーチクエスチョン

• RQ1 すべてのトレヴィアルな Alexander モジュールと非自明な Milnor 不変量をもつリンクは、LMO 不変量の木部分とクラッパー surgery を用いて構成可能か？
• RQ2 LMO 不変量の木部分は、トレヴィアルな Alexander モジュールと非自明な Milnor 不変量をもつリンクの非自明性を十分に検出可能か？
• RQ3 $\mathcal{A}^{\mathrm{tr}}(r)$ におけるユニトリバレント木の構造は、Milnor 不変量の消滅または非消滅とどのように対応するか？
• RQ4 この構成は、$n$ 階交換子系列による定義に基づく、高階の Alexander モジュールがトレヴィアルであるリンクへと拡張可能か？
• RQ5 提案された方法は、同調的同値類において、すべてのこのようなリンクを完全に分類するものとなるだろうか、という予想は正しいか？

主な発見

• 任意の非消滅パターン $\beta \in \mathcal{A}^{\mathrm{tr}}_m(r)$ に対して、$r$ 成分のリンク $L(\beta)$ が存在し、その Alexander モジュールはトレヴィアルで、次数 $m$ の Milnor 不変量は非自明である。
• 構成されたリンクの LMO 不変量の木部分は正確にパターン $\beta$ に等しく、Milnor 不変量がこの不変量によって検出されることを証明する。
• クラッパー surgery と Aarhus 積分によるこの構成により、ホモロジー境界リンクと同調的でないリンクが得られ、同調的における非自明性が確認される。
• この方法は $n$ パターン $\beta^{(n)}$ に一般化され、$n$ 階の Alexander モジュールがトレヴィアルであるリンクを生成する。これにより、Cochran の結果が高階の交換子系列へと拡張される。
• 手術後の LMO 不変量の最小次数非消滅木部分は、形式的ガウス積分と連結行列上の接合則により、正確に $\beta$ に等しいことが示された。
• この構成は推測的に完全である：すべてのトレヴィアルな Alexander モジュールと非自明な Milnor 不変量をもつリンクは、このようなパターンをクラッパー surgery を用いて得られる。