[論文レビュー] Subgroups generated by two Dehn twists on a nonorientable surface

Michał Stukow|arXiv (Cornell University)|Oct 11, 2013

Geometric and Algebraic Topology参考文献 5被引用数 6

ひとこと要約

この論文は、可換な曲面におけるデーンねじりによる自由群の生成に関する石田の結果を、非可換曲面へと拡張する。$ J(c,a) $ や $ J(c,b) $ といった精錬された交差不変量を導入し、$ I(a,b) \geq 2 $ のときデーンねじり $ t_a $ と $ t_b $ がピンポン条件を満たすことを証明することで、著者たちは非可換の場合でさえも $ \langle t_a, t_b \rangle $ がランク2の自由群に同型であることを確立する。

ABSTRACT

Let a and b be two simple closed curves on an orientable surface S such that their geometric intersection number is greater than 1. It is known that the group generated by corresponding Dehn twists t_a and t_b is isomorphic to the free group of rank 2. In this paper we extend this result to the case of a nonorientable surface.

研究の動機と目的

• 可換曲面から非可換曲面への、デーンねじりによって生成される自由群に関する石田の定理を拡張すること。
• 古典的な交差数の議論が非可換な設定では失敗すること（特に、補題3.1が成り立たないこと）を扱うこと。
• 非可換曲面上での曲線とデーンねじりの相互作用を追跡できる、具体的に $ J(c,a) $ および $ J(c,b) $ といった新たな不変量を開発すること。
• デーンねじり $ t_a $ と $ t_b $ に対してピンポン補題が適用可能な条件を確立し、生成される群の自由性を保証すること。
• 非可換曲面上の一般の両面曲線 $ a, b $ に対して $ I(a,b) \geq 2 $ のとき $ \langle t_a, t_b \rangle \cong F_2 $ が成り立つことを証明すること。

提案手法

• 曲線 $ c $ が $ a $ のまわりのねじり領域と交差する回数を数える $ J(c,a) $ の概念を導入し、曲線とデーンねじりの相互作用のより精錬な測度とする。
• $ \widetilde{X}_a $ および $ \widetilde{X}_b $ を、それぞれ $ a $ や $ b $ のまわりを回るような曲線のホモトピー類の集合と定義し、$ J(c,a) < J(c,b) $ または $ J(c,b) < J(c,a) $ を満たすものとする。
• ねじり領域内の弧の型の明示的数え上げを用いて、すべての $ k \neq 0 $ に対して $ t_a^k(\widetilde{X}_b) \subseteq \widetilde{X}_a $ および $ t_b^k(\widetilde{X}_a) \subseteq \widetilde{X}_b $ を証明する。
• ピンポン補題（補題13.1）を集合 $ \widetilde{X}_a $ および $ \widetilde{X}_b $ に適用し、$ t_a $ と $ t_b $ が互いに素な部分集合上で作用することを示し、自由性が保証されることを示す。
• 補助的な集合 $ \widehat{X}_a, \widehat{X}_b $ および $ \overline{X}_a, \overline{X}_b $ を用いて特殊ケースを処理し、$ N_{a\cup b} $ の可換性に関係なくピンポン条件が成り立つように保証する。
• タイプI～IIIの還元および $ N \setminus N_{a\cup b} $ の成分の位相的解析を用いて、曲線がデーンねじりの下でどのように振る舞うかを制御する。

実験結果

リサーチクエスチョン

• RQ1 古典的な結果（2つのデーンねじりがランク2の自由群を生成する）は、非可換曲面へと拡張可能か？
• RQ2 なぜ標準的な交差数の議論は非可換な場合に失敗するのか？ それらに代わる代替不変量は何か？
• RQ3 非可換曲面上のデーンねじりに対してピンポン補題が適用可能な条件は何か？
• RQ4 $ N_{a\cup b} $ の位相的性質（可換性やディスクの有無）は、デーンねじりの力学的挙動にどのように影響するか？
• RQ5 精錬された交差不変量 $ J(c,a) $ は、$ t_a $ が曲線に与える作用を追跡する上で果たす役割は何か？

主な発見

• 非可換曲面上のデーンねじり $ t_a $ と $ t_b $ が生成する群は、$ I(a,b) \geq 2 $ ならば常にランク2の自由群に同型である。
• 可換な場合に用いられる標準的な補題（補題3.1）は、非可換な場合に成り立たない。これは、$ I(c,a) > I(c,b) $ であるが $ I(t_a(c),a) > I(t_a(c),b) $ となる明示的な反例によって示される。
• ねじり領域内の交差回数を数える不変量 $ J(c,a) $ は、デーンねじりの効果を的確に追跡でき、ピンポン補題の適用を可能にする。
• 交差数 $ I(a,b) = 2 $ で $ N_{a\cup b} $ が非可換である場合、集合 $ \widetilde{X}_a $ および $ \widetilde{X}_b $ はピンポン条件を満たす：すべての $ k \neq 0 $ に対して $ t_a^k(\widetilde{X}_b) \subseteq \widetilde{X}_a $ および $ t_b^k(\widetilde{X}_a) \subseteq \widetilde{X}_b $ が成り立つ。
• 結果はすべての状況に一貫して成立する：$ I(a,b) \in \{2,3\} $ かつ $ N_{a\cup b} $ が非可換である場合、または $ I(a,b) \geq 4 $ である場合、$ N_{a\cup b} $ の可換性に関係なく成立する。
• 証明は位相的複雑性に対しても頑健であり、$ I(a,b) $ や $ I(c,a) $ が任意に大きくても反例が存在するが、それでも自由性の結果は成り立つ。