[論文レビュー] 2-torsion in the grope and solvable filtrations of knots

Hye Jin Jang|arXiv (Cornell University)|Feb 16, 2015

Geometric and Algebraic Topology参考文献 18被引用数 3

ひとこと要約

本稿は、ねじれと可解フィルトレーションにおける knot 同調群の無限族を構成し、各 $ n \geq 4 $ に対して、商 $ \mathcal{G}_n / \mathcal{G}_{n+0.5} $ が $ \mathbb{Z}_2^\infty $ の部分群を含むことを示している。特定の感染 Knot を繰り返し用いた感染と、$ L^2 $-署名障害の分析により、これらの Knot が $ (n) $-可解であり、PTFA $ L^2 $-署名障害が消えることを示し、従来の構成とは異なる新しい 2- torsion 要素を提供している。

ABSTRACT

We study knots of order 2 in the grope filtration $\{\G_h\}$ and the solvable filtration $\{\F_h\}$ of the knot concordance group. We show that, for any integer $n\ge4$, there are knots generating a $\Z_2^\infty$ subgroup of $\G_n/\G_{n.5}$. Considering the solvable filtration, our knots generate a $\Z_2^\infty$ subgroup of $\F_n/\F_{n.5}$ $(n\ge2)$ distinct from the subgroup generated by the previously known 2-torsion knots of Cochran, Harvey, and Leidy. We also present a result on the 2-torsion part in the Cochran, Harvey, and Leidy's primary decomposition of the solvable filtration.

研究の動機と目的

• ねじれと可解フィルトレーションにおける knot 同調群の新しい 2- torsion 要素の構成。
• Cochran, Harvey, Leidy が得た例とは異なる、$ \mathbb{Z}_2^\infty $ 部分群が $ \mathcal{G}_n / \mathcal{G}_{n.5} $ に存在することの証明（$ n \geq 4 $）。
• $ L^2 $-署名障害が可解フィルトレーションの高レベルにおける 2- torsion を検出する役割を分析すること。
• 特に高次のレベルにおける、ねじれと可解フィルトレーションの連続する商の構造の理解を拡張すること。

提案手法

• Horn のねじれバウンディング Knot と Cha の感染 Knot を組み合わせた、巧みな選択に基づく反復感染を用いる。
• $(n)$-可解だが $(n+0.5)$-可解でない Knot を構成し、$ \mathcal{F}_n / \mathcal{F}_{n.5} $ に属することを保証する。
• PTFA 群環上の $ L^2 $-署名障害を適用し、構成された Knot の非スライス性を検証する。
• Blanchfield 対称性と加群論的議論を用いて、$ H_1(W, \mathcal{R}) $ 内のホモロジー類の非自明性を示す。
• 帰納法と導出系列の商の構造を用い、群環へのホモロジー写像におけるミリディアンの像を追跡する。
• 文献 [CHL11c] の定理 4.3 と定理 4.4 を活用し、加群の自明性と $ L^2 $-署名障害の消滅の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 $ n \geq 4 $ に対して、ねじれフィルトレーション $ \mathcal{G}_n / \mathcal{G}_{n.5} $ に新しい 2- torsion 要素を構成できるか？
• RQ2 構成された Knot が $ \mathcal{F}_n / \mathcal{F}_{n.5} $ に、Cochran-Harvey-Leidy の 2- torsion Knot が生成する部分群とは異なる $ \mathbb{Z}_2^\infty $ 部分群を生成するか？
• RQ3 PTFA 群上の $ L^2 $-署名障害を用いて、可解フィルトレーションの高次のレベルにおける 2- torsion を検出できるか？
• RQ4 加群論的議論におけるアレクサンダー多項式およびその強い互いに素性の役割は何か？
• RQ5 群環 $ \mathcal{R} $ を係数に持つ手術多様体のホモロジーにおけるミリディアンの像は非自明か？

主な発見

• 各整数 $ n \geq 4 $ に対して、$ \mathcal{G}_n / \mathcal{G}_{n+0.5} $ の部分群で $ \mathbb{Z}_2^\infty $ に同型なものが存在する。
• 構成された Knot は $ (n) $-可解であり、PTFA $ L^2 $-署名障害が消えるため、$ (n+0.5) $-可解ではない。
• $ n \geq 2 $ に対して、これらの Knot は $ \mathcal{F}_n / \mathcal{F}_{n+0.5} $ に、Cochran-Harvey-Leidy の 2- torsion Knot が生成する部分群とは異なる $ \mathbb{Z}_2^\infty $ 部分群を生成する。
• 証明により、$ H_1(W, \mathcal{R}) $ へのミリディアンの像が非自明であることが示され、Blanchfield 形式の非消滅に不可欠である。
• $ \frac{\mathbb{Z}[t^{\pm 1}]}{\langle p_{n-1}(t) \rangle} \otimes_{\mathbb{Z}[t^{\pm 1}]} \mathcal{R} $ は非自明であり、$ L^2 $-署名障害が消えない限り加群が自明でないことを示唆する。
• 議論により、$ \mathcal{T}_{n-k}\pi_1(W_k)/\mathcal{T}_{n-k+1}\pi_1(W_k) \to H_1(W_{k+1}, \mathcal{R}) $ は非自明であり、導出系列の像の非自明性が確認される。