[論文レビュー] 0-concordance of knotted surfaces and Alexander ideals

Jason Joseph|arXiv (Cornell University)|Nov 29, 2019

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

ひとこと要約

この論文は、$S^4$ 内のねじれた曲面のアレクサンダーイデアルが 0-同調不変量であることを確立し、$\mathscr{C}_0$ から $\mathbb{Z}[t^{\pm 1}]$ のイデアル類モノイドへの準同型を誘導する。主な結果は、非主イデアルであるアレクサンダーイデアルをもつ任意の曲面ねじれは 0-スライスでもなく、$\mathscr{C}_0$ 内で可逆でもないということであり、古典的な Fox-Milnor 条件を越えた 0-同調不変量を初めて提供し、無限に多くの線形独立な 0-同調不変類の存在を証明する。

ABSTRACT

In this paper we provide a new obstruction to 0-concordance of knotted surfaces in $S^4$ in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0-concordance classes and to provide the first proof that the submonoid of 2-knots is not a group. The main result is that the Alexander ideal induces a homomorphism from the 0-concordance monoid $\mathscr{C}_0$ of oriented surface knots in $S^4$ to the ideal class monoid of $\mathbb{Z}[t^{\pm1}]$. Consequently, any surface knot with nonprincipal Alexander ideal is not 0-slice and in fact, not invertible in $\mathscr{C}_0$. Many examples are given. We also characterize which ideals are the ideals of surface knots, generalizing a theorem of Kinoshita, and generalize the knot determinant to the case of nonprincipal ideals. Lastly, we show that under a mild condition on the knot group, the peripheral subgroup of a knotted surface is also a 0-concordance invariant.

研究の動機と目的

• アレクサンダーイデアルを用いて、$S^4$ 内のねじれた曲面の 0-同調不変量を確立すること。
• アレクサンダーイデアルが非主である曲面ねじれが可逆ではないことから、直和に関する 2-ねじれの部分モノイドが群でないことを証明すること。
• 表面ねじれのアレクサンダーイデアルとして現れるイデアルを特定し、木下の定理を一般化すること。
• やや強い群論的条件下で、周辺部分群が 0-同調不変量であることを証明すること。
• knot determinant を非主イデアルへと拡張し、ねじりスピンにおけるその挙動を研究すること。

提案手法

• 論文は、各表面ねじれにそのアレクサンダーイデアルを割り当てることで、$\Delta: \mathscr{C}_0 \to \mathcal{I}(\mathbb{Z}[t^{\pm 1}])$ という準同型を定義する。
• リボン同調不変量の過程で、アレクサンダーイデアルが主イデアルによる乗法的変化を受けることを証明し、0-同調不変量を二つの逆方向のリボン同調不変量に分解する事実を用いる。
• 鍵となる補題は、連結和のアレクサンダーイデアルが個々のイデアルの積に一致することを示し、モノイド構造と整合することを保証する。
• 論文は、古典的ねじれのねじりスピンを分析し、$|\Delta_K(-1)| \neq 1$ ならば $\tau^nK$ が非主アレクサンダーイデアルをもつことを示す。
• アレクサンダーイデアル写像の像を特定するため、$\mathbb{Z}[t^{\pm 1}]$ 内の任意のイデアルへと木下の定理を一般化する。
• ねじれ群の交換子部分群に素性条件が成り立つとき、周辺部分群が 0-同調不変量であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の 0-スライス 2-ねじれは、トレースがゼロのリボン同調不変量をもつのか？
• RQ2 $\mathscr{C}_0$ 内の 2-ねじれの部分モノイドは、逆元をもつのか？
• RQ3 アレクサンダー多項式が自明または主イデアルである場合でも、アレクサンダーイデアルは 0-スライス性を検出可能か？
• RQ4 表面ねじれの 0-同調不変類として、無限に多くの線形独立な類が存在するか？
• RQ5 素数のねじれ群をもつねじれに対して、周辺部分群は 0-同調不変量として保存されるか？

主な発見

• アレクサンダーイデアルは、$\Delta: \mathscr{C}_0 \to \mathcal{I}(\mathbb{Z}[t^{\pm 1}])$ として well-defined な準同型を誘導し、0-同調不変量であることが保証される。
• 非主アレクサンダーイデアルをもつ任意の表面ねじれは 0-スライスではなく、$\mathscr{C}_0$ 内に逆元をもたない。これにより、2-ねじれの部分モノイドが群でないことが証明される。
• 任意の古典的ねじれ $K$ に対して、$|\Delta_K(-1)| \neq 1$ ならば、$\tau^nK$ が非主アレクサンダーイデアルをもつような $n \in \mathbb{Z}$ が無限に存在する。
• 2-ブリッジねじれの行列式は、その 2-ねじりスピンの 0-同調不変量としての不変量である。したがって、$\tau^2K$ と $\tau^2J$ が 0-同調不変であるのは、$|\Delta_K(-1)| = |\Delta_J(-1)|$ のときに限る。
• ねじれ群が素数（例えば、奇素数 $p$ に対する $(2,p)$-トーラスねじれの 2-ねじりスピン）であるという条件下で、周辺部分群は 0-同調不変量である。
• 論文は knot determinant を非主イデアルへと一般化し、アレクサンダーイデアルのイデアル類が 0-同調不変量における算術的障害を捉えていることを示した。