[論文レビュー] The structure of the rational concordance group of knots

Jae Choon|ArXiv.org|Sep 14, 2006

Geometric and Algebraic Topology参考文献 34被引用数 44

ひとこと要約

本稿は、無限の数体の塔におけるSeifert行列の極限とArtin再帰性を用いて導かれる新しい代数的不変量を導入することで、有理ホモロジー球面上の絡み目の有理合同群の完全な特徴付けを達成した。奇数次元で1より大きい次元に対して、群内に無限個の独立な torsion 要素が存在することを証明し、古典的な整数合同群とは比べ物にならないほど複雑な構造を明らかにした。さらに、3次元における非合同性を検出するための、von Neumann $L^2$-符号不変量を用いた新規な技法を開発した。

ABSTRACT

We study the group of rational concordance classes of codimension two knots in rational homology spheres. We give a full calculation of its algebraic theory by developing a complete set of new invariants. For computation, we relate these invariants with limiting behaviour of the Artin reciprocity over an infinite tower of number fields and analyze it using tools from algebraic number theory. In higher dimensions it classifies the rational concordance group of knots whose ambient space satisfies a certain cobordism theoretic condition. In particular, we construct infinitely many torsion elements. We show that the structure of the rational concordance group is much more complicated than the integral concordance group from a topological viewpoint. We also investigate the structure peculiar to knots in rational homology 3-spheres. To obtain further nontrivial obstructions in this dimension, we develop a technique of controlling a certain limit of the von Neumann $L^2$-signature invariants.

研究の動機と目的

• 有理ホモロジー球面上の絡み目に対する有理合同群 $\mathcal{C}_n$ の代数的・幾何的構造を完全に特定すること。
• 古典的な合同不変量（例えば、符号と$L^2$-符号）を、Seifert行列の極限と数体の塔におけるArtin再帰性を用いた新しい代数的道具を用いて、有理設定に拡張すること。
• 無限の数体の塔とArtin再帰性に関連する新しい不変量を構成することで、有理合同の位相的複雑性を解明すること。
• 有理合同群が、特に奇数次元 $n > 1$ において、整数合同群よりも著しく複雑であることを確立すること。
• 3次元における有理合同の計算的障害を、von Neumann $L^2$-符号不変量の制御された極限を用いて開発すること。

提案手法

• 代数的数論、特にノルム剰余記号と無限の数体の塔におけるArtin再帰性を用いて、Seifert行列の極限の不変量を構成する。
• 代数的数論の道具を用いて、$d(\mathcal{A})$ 不変量を計算し、これは有理合同群内の torsion を検出する。
• 3次元における有理$(1.5)$-可解性の障害として、ゼロサーベイの多様体の$L^2$-符号不変量を適用する。
• コボルディズムと2ハンドルの付加を用いた幾何的構成により、有理$(1)$-解を定義し、$\rho$-不変量とサテライト構成を関連付ける。
• 捩れた係数をもつアレクサンダー加群の極限処理を用いて、可解性フィルトレーション内の複雑さの変化に伴う$\rho$-不変量の振る舞いを制御する。
• QuinnおよびTaylor–Williamsの枠組みを用いて、有理合同と有理ホモロジー手術理論との間の対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 有理ホモロジー球面上の絡み目に対する有理合同群 $\mathcal{C}_n$ の完全な代数的構造は何か？
• RQ2 有理合同群は、位相的に古典的な整数合同群とはどのように異なるか？
• RQ3 $n > 1$ に対して、$\mathcal{C}_n$ 内の有限位数要素を検出できる新しい不変量を構成できるか？
• RQ4 $L^2$-符号不変量は、3次元における有理合同の障害として果たす役割は何か？
• RQ5 数論的技法を用いて、有理ホモロジー球面上の可解性フィルトレーションを効果的に制御できるか？

主な発見

• すべての奇数次元 $n > 1$ に対して、有理合同群 $\mathcal{C}_n$ は無限個の独立な torsion 要素を含み、整数合同群とは比べ物にならないほど複雑な構造を示している。
• 本稿は、Seifert行列の極限を分析し、それらを無限の数体の塔におけるArtin再帰性に関連付けることで、完全な新しい不変量の集合を構成した。
• $d(\mathcal{A})$ 不変量がノルム剰余記号を用いて計算可能であり、これは$\mathcal{G}_n$、すなわち有理合同類の群の代数的構造を完全に決定することが示された。
• 有理3次元球面上の絡み目に対して、von Neumann $L^2$-符号不変量の極限を制御する技法を開発し、これにより有理$(1.5)$-可解性に対する新たな障害を導いた。
• 構成により、ゼロサーベイの多様体の$\rho$-不変量が、サテライト成分の$\rho$-不変量の線形結合として表現可能であることが示され、$\rho$-不変量が線形独立である場合に矛盾が生じることを示した。
• 有理合同群は、非自明な torsion 要素の存在により、特に高次元の奇数次元において、整数合同群よりも厳密に大きく、はるかに複雑であることが示された。