[論文レビュー] Presentation length and Simon's conjecture

Ian Agol, Yi Liu|arXiv (Cornell University)|Jun 28, 2010

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

ひとこと要約

本稿では、1階ベッチ数が1である任意の有限生成群が、高々有限個のねじれ群へ写像可能であることを証明し、J. シモンの予想を確認した。著者らは、幾何的部品における基本群の整合性と、拡張デーン埋め込みを通した因数分解を用いて、閉じた双曲的3次元多様体の直径に対して線形な上限を示した。

ABSTRACT

In this paper, we show that any knot group maps onto at most finitely many knot groups. This gives an affirmative answer to a conjecture of J. Simon. We also bound the diameter of a closed hyperbolic 3-manifold linearly in terms of the presentation length of its fundamental group, improving a result of White.

研究の動機と目的

• 任意のねじれ群が高々有限個の他のねじれ群へ写像可能であるというJ. シモンの予想を解決すること。
• 閉じた双曲的3次元多様体の直径を、その基本群の提示長の線形関数として上から抑えられることを示すこと。
• 短い閉じた測地線に対するホモトピー上昇の障害を乗り越えるために、拡張デーン埋め込みを通した因数分解技術を開発すること。
• JSJ分解とケースバイケースの解析を用いて、双曲的ねじれ補間空間から一般のねじれ補間空間への結果の拡張すること。
• 固定された群から3次元多様体群、特にb₁=1を満たすねじれ群へのエピモルフィズムを理解するための枠組みを提供すること。

提案手法

• コペアが定義する提示長を、単体体積の粗い代替として用い、幾何的不変量を抑えること。
• 拡張デーン埋め込み（デーン拡張）を用い、エピモルフィズムをドリルド多様体の基本群を通じて因数分解することで、整合性を保証すること。
• スコットコア定理と幾何的部品における基本群の整合性を応用し、エピモルフィズムが拡張ドリルド空間の被覆を通じて因数分解される場合、矛盾を導くこと。
• [7, 定理0.1] を用いて、厚さ部分の直径を体積と提示長の関係から抑えること。
• 細長いチューブの直径を、不等式 π sinh²(r) ≤ A(ℓ(G)) を用いてチューブ半径を制御することで抑え、ここで A(n) = 27ⁿ(9n² + 4n)π である。
• ホモロジーの障害を用いる：φ が π₁(Nᵉ) を通じて因数分解できるならば、H₃(Nᵉ; ℚ) = 0 であるが、合成写像は H₃(–; ℚ) ≅ ℚ に同型を誘導するため、チューブ半径が有界でない限り矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 有限生成群 G が b₁(G) = 1 を満たすとき、無限個のねじれ群へ写像可能か？
• RQ2 閉じた双曲的3次元多様体の直径は、その基本群の提示長の線形関数として上界を持つだろうか？
• RQ3 群 G からねじれ群へのエピモルフィズムは、特に像群に短い測地線がある場合、幾何的部品の拡張デーン埋め込みを通じて因数分解可能だろうか？
• RQ4 ねじれ補間空間のJSJ分解は、固定された G に対して b₁(G) = 1 を満たす場合、可能な像群の有限分類を可能にするだろうか？
• RQ5 結果は有理数係数ホモロジー球面上のねじれ補間空間へ拡張可能だろうか？それとも S³ に限定されるのだろうか？

主な発見

• 任意のねじれ群は、高々有限個の他のねじれ群へ写像可能であり、シモンの予想が確認された。
• 閉じた双曲的3次元多様体 M の直径は、その基本群の提示長 ℓ(G) に対して線形に抑えられる：ある絶対定数 C > 0 に対して、diam(M) < C·ℓ(G) が成り立つ。
• 双曲的ねじれ補間空間における短い測地線のチューブ半径 r は、r < C₂·ℓ(G) を満たす。ここで C₂ は提示長にのみ依存する定数である。
• チューブ半径の上限はホモロジーの障害から生じる：エピモルフィズム φ: G → π₁(M) が拡張ドリルド空間 Nᵉ を通じて因数分解できるならば、H₃(Nᵉ; ℚ) = 0 であるが、合成写像は H₃(–; ℚ) ≅ ℚ に同型を誘導するため、矛盾が生じる。この矛盾は、チューブ半径が有界でない限り成立しない。
• 像多様体の単体体積は、提示長 ℓ(G) の関数として抑えられ、単体体積が0となる場合の体積の上限を代替的に提供する。
• 結果は、JSJ分解と同伴構造が制御されている限り、有理数係数ホモロジー球面上のねじれ補間空間に対しても成立する。