[論文レビュー] The co-Hopfian property of the Johnson kernel and the Torelli group

Yoshikata Kida|Osaka City University (Osaka City University)|Nov 20, 2009

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

ひとこと要約

この論文は、すべてのコンパクトな向きつけ可能な曲面（有限個の例外を除く）に対して、分離曲線の複体上の任意のスーパーインジェクティブ写像が、拡張された写像類群の要素によって誘導されることを確立する。その結果、ジョンソン核およびトーリー群の任意の有限指数部分群はコホープィアンである—つまり、すべての単射自己準同型が全射である—これにより、先行研究における欠落を埋め、写像類群の主要部分群へのスーパーインジェクティビティの剛性を拡張する。

ABSTRACT

For all but finitely many compact orientable surfaces, we show that any superinjective map from the complex of separating curves into itself is induced by an element of the extended mapping class group. We apply this result to proving that any finite index subgroup of the Johnson kernel is co-Hopfian. Analogous properties are shown for the Torelli complex and the Torelli group.

研究の動機と目的

• genus ≥3 または特定の低 genus の場合について、分離曲線の複体上のスーパーインジェクティブ写像の剛性を確立すること。
• ジョンソン核の有限指数部分群がコホープィアンであることを証明し、欠落のない議論を用いて既知の結果を拡張すること。
• スーパーインジェクティビティの剛性をトーリー複体およびトーリー群へ拡張し、類似のコホープィアン性を確認すること。
• ブレンドル＝マーガリットの初期の閉曲面に関する研究におけるギャップを、閉曲面および非閉曲面を一様に取り扱うことで埋めること。

提案手法

• genus と境界成分に関する帰納法を用いて、分離曲線複体上のスーパーインジェクティブ写像が拡張写像類群の要素によって誘導されることを証明する。
• 分離曲線複体上のスーパーインジェクティブ写像から、全曲線複体への関連する単体写像を構成する。
• リンク解析と頂点保存の議論を適用し、拡張写像がトーリー複体の構造を保存することを示す。
• genus 1 で境界成分が2つの曲面のためのグラフ的モデル（グラフ D）を用いて、局所的挙動を分析する。
• 既存の抽象共役群および単体自己同型に関する結果を応用し、グローバルな剛性を導出する。
• ジョンソン核およびトーリー群の有限指数部分群の単射自己準同型は、すべて内部自己同型であり、写像類群の要素によって誘導されることを用いる。

実験結果

リサーチクエスチョン

• RQ1 どの曲面に対して、分離曲線複体上の任意のスーパーインジェクティブ写像が拡張写像類群の要素によって誘導されるか？
• RQ2 ジョンソン核の有限指数部分群はコホープィアンであるか、すなわち、そのような部分群のすべての単射自己準同型が全射でなければならないか？
• RQ3 同じ剛性結果は、分離曲線複体からトーリー複体およびトーリー群へ拡張可能か？
• RQ4 ブレンドル＝マーガリットの証明における閉曲面に関するギャップは、閉曲面および非閉曲面を一様に取り扱うことで埋められるか？
• RQ5 分離曲線複体およびトーリー複体のどの構造的性質が、スーパーインジェクティブ写像が自己同型であることを保証するか？

主な発見

• すべてのコンパクトな向きつけ可能な曲面（有限個の例外を除く）に対して、分離曲線複体上の任意のスーパーインジェクティブ写像は、拡張写像類群の要素によって誘導される。
• ジョンソン核の任意の有限指数部分群はコホープィアンであり、すべての単射自己準同型が全射かつ内部自己同型である。
• トーリー群の有限指数部分群に対しても、同様のコホープィアン性が成り立つ。
• 証明により、トーリー複体上のスーパーインジェクティブ写像も、拡張写像類群の要素によって誘導されることが示された。
• 証明は、閉曲面および非閉曲面を一様に取り扱う完全で包括的な議論を提供することで、先行研究におけるギャップを解消した。
• 結果として、ジョンソン核の抽象共役群が自然に拡張写像類群に同型であることが確認された。