[論文レビュー] Knots, von Neumann signatures, and grope cobordism

Peter Teichner|ArXiv.org|Apr 21, 2003

Geometric and Algebraic Topology参考文献 17被引用数 13

ひとこと要約

本稿では、3次元および4次元トポロジーにおける古典的絡み目不変量を統一的な幾何的枠組みとしてのgropeコボルディズムを導入する。gropesから得られる可解群表現におけるフォン・ノイマン符号を用いることで、新しい同調不変量の体系的構成がなされ、すべての既知の不変量（Arf、代数的同調、Casson-Gordon）が有限のgrope高さで検出可能であることが示され、特に4次高さで unknot と grope 同調する絡み目の群が有限生成でないことが、主な結果として得られる。

ABSTRACT

We explain new developments in classical knot theory in 3 and 4~dimensions, i.e. we study knots in 3-space, up to isotopy as well as up to concordance. In dimension~3 we give a geometric interpretation of the Kontsevich integral (joint with Jim Conant), and in dimension 4 we introduce new concordance invariants using von Neumann signatures (joint with Tim Cochran and Kent Orr). The common geometric feature of our results is the notion of a grope cobordism.

研究の動機と目的

• 3-多様体における埋め込みgropesを用いて、ヴァシリエフ不変量およびコンツェビッチ積分の幾何的解釈を確立すること。
• 対称的gropesと可解群表現を用いて、4次元多様体における絡み目の同調の新しい枠組みを構築すること。
• 群のフォン・ノイマン代数上のフォン・ノイマン符号を用いて、新しい同調不変量を構成すること。
• 既知の不変量（Arf、代数的同調、Casson-Gordon）が有限高さのgrope同調によって検出されることを示すこと。
• 4次高さで unknot と grope 同調する絡み目の群が有限生成でないことを、フォン・ノイマン符号を用いて証明すること。

提案手法

• 3次元空間における埋め込みgropesを用いて、絡み目の群における反復交換子を幾何的に実現し、ヴァシリエフ不変量と結びつける。
• コンツェビッチ積分を用いて、3-多様体におけるgropeコボルディズムを通じて、ℚ 上でこれらの不変量を計算する。
• 絡み目の0-スケーリングから境界をもつ4次元多様体を構成し、可解群Gの群環ℤG上での交差形式を分析する。
• 自己随伴作用素上の関数計算を用いて、自己随伴作用素のフォン・ノイマン代数ℒG = 𝒩G を定義し、ヘルミート形式の対角化を可能にする。
• 非可換局在化とブランクハイムペアリングを用いて、普遍的可解群への表現を帰納的に構築し、高次不変量を定義する。
• 高さh+0.5へのgropesの拡張の障害を、ℤGのΓ群における交差形式のWitt類の分析により検出する。

実験結果

リサーチクエスチョン

• RQ1 コンツェビッチ積分は、3-多様体における埋め込みgropesを用いて幾何的に解釈可能か？
• RQ2 群のフォン・ノイマン代数上のフォン・ノイマン符号は、高次不変量の同調をどのように検出するか？
• RQ3 既知の同調不変量（Arf、代数的、Casson-Gordon）は、有限高さのgrope同調の障害としてどの程度現れるか？
• RQ4 grope同調群における非有限生成性は、フォン・ノイマン符号を用いて検出可能か？
• RQ5 フォン・ノイマン代数技術を用いて、可解フィルトレーションを拡張することで、新しい同調不変量を体系的に構成できるか？

主な発見

• すべての既知の同調不変量（Arf、代数的同調、Casson-Gordon）が有限高さのgrope同調で検出される：Arfは高さ1.5、代数的同調は高さ2.5、Casson-Gordonは高さ3.5で検出される。
• 高さ4で unknot と grope 同調する絡み目の群ℒ₄ は、高さ4.5での同調を modulo した群として有限生成ではない。これはフォン・ノイマン符号を用いて示された。
• フォン・ノイマン符号はℝに値をとり、ℝはアーベル群として有限生成ではないため、無限次元の障害を検出可能である。
• 絡み目は(1.5)-可解であるとは、D⁴内に高さ3.5のgropesを境界として有することを意味し、この条件はCasson-Gordon不変量の消滅を含意する。
• 高さhからh+0.5へのgropesの拡張の障害は、ℤG上での交差形式のWitt類に符号化されており、これはフォン・ノイマン符号によって検出可能である。
• この枠組みにより、絡み目の可解フィルトレーション全体がgrope同調によって捉えられ、より複雑な可解群を用いた高次不変量が得られることが示された。