[論文レビュー] Cocompactly cubulated 2-dimensional Artin groups

Jingyin Huang, Kasia Jankiewicz+1 more|arXiv (Cornell University)|Oct 28, 2015

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

ひとこと要約

本稿では、2次元および3生成子アーティン群が（擬的に）共通コンpactに立方体化されるための完全な特徴付けを提供する。このような群がCAT(0)立方体複体上に固有かつ共通コンパクトな作用をもつための必要十分条件は、定義グラフが特定のラベル条件を満たすことである。具体的には、すべての内部辺が2でラベル付けされており、すべての葉が偶数でラベル付けされている必要がある。この結果は、右アングルでない場合のアーティン群の立方体化に関する幾何群論における重要な問いを解決する。

ABSTRACT

We give a necessary and sufficient condition for a 2-dimensional or a three-generator Artin group $A$ to be (virtually) cocompactly cubulated, in terms of the defining graph of $A$.

研究の動機と目的

• 2次元アーティン群が（擬的に）共通コンパクトに立方体化されるための必要十分条件を同定すること。
• この特徴付けを3生成子アーティン群に拡張すること。
• 4縄のブレード群のような代表的な例の立方体化状態を解明すること。
• 定義グラフの構造がアーティン群の立方体幾何に与える役割を明確にすること。
• このクラスのアーティン群の共通コンパクト立方体化の完全な分類を提供すること。

提案手法

• CAT(0)立方体複体および群作用の理論を用いて、2生成子特殊部分群の幾何を分析する。
• 共通コンパクト立方体化が、これらの部分群の凸共通コンパクト性を意味することを証明し、それらが縦型および横型因子の積に分解されることを示す。
• 証明は、上位ランクの双曲群の積がCAT(0)立方体複体上で凸共通コンパクトであることを示す重要な結果（定理3.8）に依存する。
• 代数的および幾何的議論により、定義グラフがラベル条件を満たさない場合、部分群の交わりが縦型でも横型でもなく、凸共通コンパクト性に矛盾することを示す。
• 立方体小群理論およびグラフ多様体の基本群の構造の結果を応用し、右アングルでない場合を分析する。
• 商群における準等長埋め込みおよび漸近的ランクの議論を用いて、特定の非2次元ケースでは立方体化が不可能であることを除外する。

実験結果

リサーチクエスチョン

• RQ1 定義グラフにどのような条件が満たされると、2次元アーティン群が共通コンパクトに立方体化されるか？
• RQ2 3生成子アーティン群が擬的に共通コンパクトに立方体化されるのはいつか？
• RQ3 なぜ4縄のブレード群は擬的に共通コンパクトに立方体化されないのか？
• RQ4 2次元アーティン群が固有かつ共通コンパクトにCAT(0)立方体複体上に作用するとき、定義グラフにどのような構造的制約が生じるか？
• RQ5 特に2および偶数のラベルが与えられた辺と内部辺の存在が立方体化にどのように影響するか？

主な発見

• 2次元アーティン群が共通コンパクトに立方体化されるための必要十分条件は、その定義グラフの各連結成分において、すべての内部辺が2でラベル付けされており、すべての葉が偶数でラベル付けされていることである。
• 3生成子アーティン群の場合、共通コンパクト立方体化が成立するのは、定義グラフが同じ条件を満たすか、またはちょうど2つの辺が2でラベル付けされている場合に限る。
• 4縄のブレード群は、その定義グラフが必要なラベル条件を満たさないため、擬的に共通コンパクトに立方体化されない。
• コクセター群では共通コンパクトと擬的共通コンパクトの等価性が成立しないが、本稿で扱うアーティン群では成立する。
• 本稿では、定理1.1 (iii) の条件が、2次元に限らず一般のアーティン群に対しても共通コンパクト立方体化を示すことを確立している。
• 著者らは、群が共通コンパクトに立方体化されるならば、その2生成子特殊部分群は、積構造を持つ凸部分複体上で凸共通コンパクトに作用することを示している。