[論文レビュー] Metric systolicity and two-dimensional Artin groups

Jingyin Huang, Damian Osajda|arXiv (Cornell University)|Oct 14, 2017

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

ひとこと要約

本稿は、非正曲率を一般化する新しい幾何的枠組みである「距離的単調的単体複体」を導入し、すべての2次元アーティン群がそのような複体上で幾何的に作用することを証明する。これにより、新たな結果が得られる：共役問題は解ける、デーン関数は二次的である。また、有限生成部分群は距離的単調的性と準等長的剛性の性質を引き継ぐ。

ABSTRACT

We introduce the notion of metrically systolic simplicial complexes. We study geometric and large-scale properties of such complexes and of groups acting on them geometrically. We show that all two-dimensional Artin groups act geometrically on metrically systolic complexes. As direct corollaries we obtain new results on two-dimensional Artin groups and all their finitely presented subgroups: we prove that the Conjugacy Problem is solvable, and that the Dehn function is quadratic. We also show several large-scale features of finitely presented subgroups of two-dimensional Artin groups, lying background for further studies concerning their quasi-isometric rigidity.

研究の動機と目的

• 2次元アーティン群の非正曲率を一般化する新しい幾何的枠組み「距離的単調的複体」を構築すること。
• 2次元アーティン群のアルゴリズム的性質に関する長年の未解決問題（たとえば、共役問題の可解性）を解消すること。
• 2次元アーティン群の有限生成部分群の大規模幾何的性質（充填半径、準等長埋め込み性質など）を確立すること。
• CAT(0)とは異なる非正曲率モデルの代替案を提供し、CAT(0)作用が失敗する2次元設定においても幾何的解析を可能にする。

提案手法

• すべての頂点リンクにおける本質的ループの角度長さが少なくとも $2\pi$ であるという距離的条件により、距離的単調的複体を定義する。
• 距離的単調的複体における充填性や曲率の分析に、CAT(0)円盤図を主要な道具として用いる。
• 標準的な提示複体を分割・単調化することで、2次元アーティン群の修正されたカイリー複体を構成する。
• 三角形に所定の角度（$\pi/2$, $\pi/2n$）を割り当て、その結果得られる複体に折りたたみユークリッド計量を導入し、距離的単調的性を保証する。
• 円盤図技法を用いて、距離的単調的複体が二次的デーン関数を備え、2次元準円盤に関してモース補題を満たすことを証明する。
• 2次元アーティン群が構成された複体上で作用することを活用し、群自身およびその部分群のアルゴリズム的・幾何的性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 2次元アーティン群に対して、CAT(0)より弱いが、それでもアルゴリズム的および幾何的結果を導くのに十分な力を持つ、非正曲率に類似した構造を定義できるか？
• RQ2 すべての2次元アーティン群に対して、共役問題は可解であり、デーン関数は二次的であると期待できるか？
• RQ3 2次元アーティン群の有限生成部分群は、距離的単調的性を引き継ぎ、準等長的剛性を示すか？
• RQ4 距離的単調性を用いて、2次元アーティン群におけるアーベル群および可解部分群の準等長的埋め込みを確立できるか？

主な発見

• すべての2次元アーティン群は、距離的単調的複体上で幾何的に作用し、それらの新しい幾何的モデルが確立される。
• すべての2次元アーティン群のデーン関数は、距離的単調的構造のおかげで二次的である。
• 群が torsion-free であり、冪共役性が等価性を意味する限り、すべての2次元アーティン群に対して共役問題は可解である。
• 2次元アーティン群の有限生成部分群は、自身が距離的単調的であり、周囲の群の幾何的・アルゴリズム的性質を引き継ぐ。
• 距離的単調的複体における2次元球面的サイクルの充填半径は定数であり、強い大規模幾何的制御が得られることを示す。
• 2次元アーティン群のアーベル部分群は、準等長的に埋め込まれており、非自明な可解部分群は $\mathbb{Z}$ または $\mathbb{Z}^2$ の部分群である。