[論文レビュー] Surface Homeomorphisms That Do Not Extend to Any Handlebody and the Johnson Filtration

Jamie Bradley Jorgensen|ArXiv.org|May 28, 2008

Geometric and Algebraic Topology参考文献 18被引用数 3

ひとこと要約

本稿は、 genus 3 以上の曲面上に、マッピングクラス群のジョンソンフィルトレーションの極めて深い部分に位置しても、いかなるハンドル体へも拡張できない表面の同相写像の存在を証明する。 Lie環理論およびジョンソン準同型を用いて、フィルトレーションの k-番目の項に属する頑健な同相写像を構成し、それがハンドル体へ拡張できないことを示す。 これにより、代数的制約（深いフィルトレーション）が幾何的拡張可能性を保証するわけではないことが明らかになる。

ABSTRACT

We prove the existence of homeomorphisms of a closed, orientable surface of genus 3 or greater that do not extend to any handlebody bounded by the surface. We show that such homeomorphisms exist arbitrarily deep in the Johnson filtration of the mapping class group. The second and third terms of the Johnson filtration are the well-known Torelli group and Johnson subgroup, respectively. Richard Hain has obtained very similar results by different methods.

研究の動機と目的

• マッピングクラス群の元が強い代数的制約があるにもかかわらずハンドル体へ拡張できない幾何的障害を解消すること。
• ジョンソンフィルトレーションの深くに位置する同相写像が、いかなるハンドル体へも拡張できないかどうかを調査すること。
• Lie環および準同型理論を用いて、そのような拡張不能な同相写像の明示的例を構成すること。
• このような拡張不能な同相写像が存在するための、正確な genus およびフィルトレーションの深さの条件を特定すること。
• genus ≥3 の曲面において、このような同相写像がジョンソンフィルトレーションの任意に深い部分に存在することを示すこと。

提案手法

• マッピングクラス群のジョンソンフィルトレーションに着目し、k-番目の項 𝒥(k) 及びそれに関連するジョンソン準同型 τ_k を用いる。
• モラータ-ヒープ準同型およびLie環技術を適用して、τ_k の像とその実表現を分析する。
• 曲面上にベクトル束 E を構成し、問題を τ_k の像と対称テンソル空間の次元比較に還元する。
• Levineの推定式 dim(im(j_* ∘ τ_k)^ℝ) を用いて次元を比較し、拡張不能性を確立する。
• Wittの公式を用いて、特に C(k, m−1) の自由Lie代数の次元を計算し、像のサイズの上限を求める。
• 帰納的議論および不等式解析（例：g(g+1)/2 < ∑C(3,m−1)）を用いて、genus およびフィルトレーション深さにわたる拡張不能性の条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 ジョンソンフィルトレーションに属する表面の同相写像のうち、いかなるハンドル体へも拡張できないものはあるか？
• RQ2 genus ≥3 の曲面において、このような拡張不能な同相写像は、ジョンソンフィルトレーションの任意に深い部分に存在するか？
• RQ3 ジョンソンフィルトレーションにおける代数的深さとハンドル体への拡張という幾何的性質の関係は何か？
• RQ4 どのペア (g,k) に対して、τ_k の像の次元がハンドル体への拡張を支持しないか？
• RQ5 𝒥(k) − 𝒥(k+1) に属する頑健な同相写像で、いかなるハンドル体へも拡張できないものは存在するか？

主な発見

• genus g ≥ 3 および十分に大きな k に対して、𝒥(k) − 𝒥(k+1) に属する同相写像がハンドル体へ拡張できないことが、次元比較によって確認された。
• k=2（トーリー群）の場合、g ≥ 7 のとき、g(g+1)/2 < (g choose 3) により、拡張不能な同相写像が存在する。
• k=3 の場合、g ≥ 5 のとき、不等式 g(g+1)/2 < ∑_{m=3}^g C(3,m−1) に基づき、拡張不能な同相写像が存在する。
• 構成は頑健である：f が 𝒥(k) − 𝒥(k+1) に属する拡張不能な同相写像であれば、任意の n ≠ 0 に対して f^n も同様に拡張不能である。
• 結果は図 5.10 の斜線部に指定された (g,k) ペアの範囲で成り立ち、次元不等式が拡張不能性を保証する。
• 本稿は、genus ≥3 の曲面において、このような拡張不能な同相写像がジョンソンフィルトレーションの任意に深い部分に存在することを確認し、重要な幾何的・代数的相反性を解消した。