[論文レビュー] Knot concordance, Whitney towers and L^2 signatures

Tim D. Cochran, Kent E. Orr+1 more|ArXiv.org|Aug 22, 1999

Advanced Operator Algebra Research参考文献 21被引用数 47

ひとこと要約

本稿は、ホイットニータワーと高次不変量を用いたねじれのなめらかさ群の幾何的フィルトレーションを導入し、古典的不変量では検出できない非スライス性を示す新しい $L^2$-符号を構成する。Casson-Gordon 不変量が消える無限個の非スライス性を持つねじれの存在を証明し、フォン・ノイマン $L^2$-符号を用いて $(1.5)$-可解性を妨げる。代数的障害と 4 次元位相幾何学との間の橋渡しを確立する。

ABSTRACT

We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all classical concordance invariants, including the Casson-Gordon invariants. As a first step, we construct an infinite sequence of new obstructions that vanish on slice knots. These take values in the L-theory of skew fields associated to certain {\em universal} groups. Finally, we use the dimension theory of von Neumann algebras to define an L^2 signature and use this to detect the first unknown step in our obstruction theory.

研究の動機と目的

• 3次元的位相的ねじれのなめらかさ群の幾何的フィルトレーションを、ホイットニー・タワーと $n$-表面を用いて開発すること。
• ねじれ群の交換子系列に関連する斜体の $L$-理論における新しい代数的障害を構成すること。
• フォン・ノイマン代数を用いて $L^2$-符号を定義・適用し、古典的不変量を超えて非スライス性を検出すること。
• 高次アレクサンダー加群とブランシュタイン形式を通じて、代数的障害と 4 次元位相幾何学との橋渡しを確立すること。

提案手法

• 交換子被覆のねじれ外部の交差形式を用いて $h \in \frac{1}{2}\mathbb{N}_0$ を用いて $(h)$-可解性を定義する。
• 高次アレクサンダー加群とブランシュタイン連結形式を、古典的不変量の非可換一般化として導入する。
• ねじれ群の有理的普遍可解群に関連する斜体の $L$-理論における障害を構成する。
• フォン・ノイマン代数の次元理論を用いて、スライス性を持つ Knot で消える $L^2$-符号を定義する。
• $(h)$-可解性が $B^4$ 内の高さ $h+2$ のグロープとホイットニー・タワーの存在と関連することを示し、幾何的および代数的条件を結びつける。
• $L^2$-符号を用いて、Casson-Gordon 不変量を超える障害理論の最初の非自明な段階を検出する。

実験結果

リサーチクエスチョン

• RQ1 $L^2$-符号は、Casson-Gordon 不変量などの古典的ななめらかさ不変量では検出できないねじれを検出できるか？
• RQ2 $(h)$-可解性の幾何的意味は、$B^4$ 内のホイットニー・タワーとグロープに関してどのようなものか？
• RQ3 高次連結形式およびアレクサンダー加群は、$(h)$-可解性を持つねじれに対して、自己消滅部分加群を含むか？
• RQ4 $\mathcal{F}_{(2)}/\mathcal{F}_{(2.5)}$ の商群は非自明か？また、無限大のランクを持つか？
• RQ5 $L^2$-符号は $(1.5)$-可解性を妨げることができるか？また、以前の不変量の消えることとどのように関係するか？

主な発見

• 図 6.1 のねじれは Casson-Gordon 不変量が消えるが、位相的にスライスではない。これは、従来検出されなかった非スライス性を持つねじれの存在を示している。
• $\mathcal{F}_{(2)}/\mathcal{F}_{(2.5)}$ の商群は無限大のランクを持つ。これは、2 階段目以降に非自明なフィルトレーションが存在することを証明する。
• すべての古典的ななめらかさ不変量、Casson-Gordon、Gilmer、Kirk-Livingston、Letsche の障害が、$(1.5)$-可解性を持つねじれに対して消える。
• $L^2$-符号は、有理的普遍可解群のフォン・ノイマン代数を用いて定義され、スライス性のための新しい障害として機能する。
• $B^4$ 内で高さ $h+2$ のホイットニー・タワーを境界とするねじれは $(h)$-可解である。これは、幾何的および代数的条件を結びつける。
• $(h)$-可解性を持つねじれの高次アレクサンダー加群は、高次連結形式に関して自己消滅部分加群を含む。