[論文レビュー] Right-angled Artin groups and finite subgraphs of curve graphs

Sanghyun Kim, Thomas Koberda|Osaka City University (Osaka City University)|Oct 17, 2013

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

ひとこと要約

この論文は、曲線グラフを介した右側アーティン群（RAAG）が曲面の写像類群に埋め込まれる明確な条件を確立する。複雑度が3未塔の曲面に対しては、RAAGが写像類群に埋め込まれるための必要十分条件は、その定義グラフが曲線グラフの誘導部分グラフとして埋め込まれることである。複雑度が3以上の曲面では、グラフが曲線グラフに埋め込まれない場合でも埋め込みが可能であるが、グラフにN重の星構造（N-thick stars）があり、曲面の複雑度がNである場合には、そのような埋め込みは成立しない。

ABSTRACT

We show that for a sufficiently simple surface $S$, a right-angled Artin group $A(Γ)$ embeds into $\Mod(S)$ if and only if $Γ$ embeds into the curve graph $\mC(S)$ as an induced subgraph. When $S$ is sufficiently complicated, there exists an embedding $A(Γ) o\Mod(S)$ for some $Γ$ not contained in $\mC(S)$.

研究の動機と目的

• 曲面の写像類群に右側アーティン群（RAAG）が埋め込まれる条件を特定すること。
• RAAGの埋め込みと曲線グラフの誘導部分グラフとの関係を明確化すること。
• 既知の埋め込み結果の逆を解明すること：$ A(\Gamma) \leq \operatorname{Mod}(S) $ ならば $ \Gamma \leq \mathcal{C}(S) $ となる条件は何か？
• 特にN重の星構造というグラフ論的性質が、その逆が成り立つように強制する仕組みを解明すること。
• 複雑度3の曲面について、一般の二分岐が未解決の状態にあるため、その状況を特定すること。

提案手法

• 有限単体的グラフ $ \Gamma $ の埋め込みのための環境空間として曲線グラフ $ \mathcal{C}(S) $ を用いる。頂点は本質的かつ非周辺的単純閉曲線のホモトピー類を表す。
• 標準的構成法を適用：$ \Gamma $ の各頂点を、対応する曲線に関するDehnねじれの$ N $ 乗に写像し、同型写像 $ A(\Gamma) \to \operatorname{Mod}(S) $ を得る。
• Dehnねじれが可換であるのは、その曲線が交わらないときのみであるという事実に依拠して、$ \Gamma \leq \mathcal{C}(S) $ のときこの写像が単射であることを証明する。
• N重の星構造の概念を導入する：各頂点は、ちょうどその頂点で交わる2つのサイズ$ N $ のクリークを含む。
• Dehnねじれ部分群の台集合およびその交わりの構造を用いて、$ A(\Gamma) \leq \operatorname{Mod}(S) $ かつ $ \Gamma $ が$ N $ 重の星構造をもち $ \xi(S) = N $ であるとき、$ \Gamma \leq \mathcal{C}(S) $ であることを示す。
• グラフの直積操作を用いて、$ \xi(S) > 3 $ の場合の反例を構成する：$ \Lambda_n = \Gamma_0 \ast K_{n-4} $ とし、$ A(\Lambda_n) \leq \operatorname{Mod}(S) $ であるが $ \Lambda_n \not\leq \mathcal{C}(S) $ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 写像類群への埋め込み $ A(\Gamma) \leq \operatorname{Mod}(S) $ が、$ \Gamma $ が曲線グラフ $ \mathcal{C}(S) $ の誘導部分グラフとして埋め込まれることを意味するのはいつか？
• RQ2 グラフ論的性質としての$ N $ 重の星構造が、定理1の逆が成り立つように強制する条件は何か？
• RQ3 複雑度 $ \xi(S) = 3 $ の曲面では、一般の二分岐が未解決のため、$ A(\Gamma) \leq \operatorname{Mod}(S) $ ならば $ \Gamma \leq \mathcal{C}(S) $ が成り立つか？
• RQ4 RAAGが $ \mathcal{C}(S) $ に埋め込まれない定義グラフを持つ場合でも、$ \operatorname{Mod}(S) $ に埋め込まれる可能性があるか？ もしあるなら、どのような条件下で成立するか？
• RQ5 曲面の複雑度 $ \xi(S) $ が、このような埋め込みの存在をどのように制約するか？

主な発見

• 複雑度 $ \xi(S) < 3 $ の曲面に対しては、$ A(\Gamma) \leq \operatorname{Mod}(S) $ if and only if $ \Gamma \leq \mathcal{C}(S) $ であり、完全な特徴付けが得られた。
• 複雑度 $ \xi(S) > 3 $ の曲面では、$ A(\Gamma) \leq \operatorname{Mod}(S) $ だが $ \Gamma \not\leq \mathcal{C}(S) $ であるような有限グラフ $ \Gamma $ が存在し、一般には逆が成り立たないことが示された。
• $ \Gamma $ が$ N $ 重の星構造をもち $ \xi(S) = N $ であるとき、$ A(\Gamma) \leq \operatorname{Mod}(S) $ ならば $ \Gamma \leq \mathcal{C}(S) $ であることが示され、逆が成り立つための十分条件が得られた。
• 反対称的かつ $ \eta(\Gamma_0) > 4 $ を満たすグラフ $ \Gamma_0 $ を用いて、直積操作による反例を構成する：$ \Lambda_n = \Gamma_0 \ast K_{n-4} $。
• $ \xi(S) = n > 3 $ のとき、RAAG $ A(\Lambda_n) $ は $ \operatorname{Mod}(S) $ に埋め込まれるが、$ \Lambda_n \not\leq \mathcal{C}(S) $ である。これは $ \eta(\Lambda_n) > n $ であるため、定理3が証明された。
• 複雑度 $ \xi(S) = 3 $ の場合のケースは未解決のままである：$ S \cong S_{2,0}, S_{1,3}, S_{0,6} $ に対して、$ A(\Gamma) \leq \operatorname{Mod}(S) $ ならば $ \Gamma \leq \mathcal{C}(S) $ が成り立つかどうか不明であるが、$ \operatorname{Mod}(S_{2,0}) $ と $ \operatorname{Mod}(S_{0,6}) $ は可換であり、それらの曲線グラフは同型である。