[論文レビュー] Quasi-Euclidean tilings over 2-dimensional Artin groups and their applications

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

Geometric and Algebraic Topology参考文献 45被引用数 9

ひとこと要約

本稿は、メトリック・システリカルティを用いて、2次元アーティン群における準フラットの完全な組合せ的記述を確立し、アトミック・セクターと交差グラフ不変量を導入する。CLTTFアーティン群が強く準等長的剛性であることを証明し、準等長写像が自己同型写像に一様に近いことを示し、このクラスにおける強い剛性の必要十分条件を提供する。

ABSTRACT

We describe the structure of quasiflats in two-dimensio\-nal Artin groups. We rely on the notion of metric systolicity developed in our previous work. Using this weak form of non-positive curvature and analyzing in details the combinatorics of tilings of the plane we describe precisely the building blocks for quasiflats in all two-dimensional Artin groups -- atomic sectors. This allows us to provide useful quasi-isometry invariants for such groups -- completions of atomic sectors, stable lines, and the intersection pattern of certain abelian subgroups. These are described combinatorially, in terms of the structure of the graph defining an Artin group. As an important tool, we introduce an analogue of the curve complex in the context of two-dimensional Artin groups -- the intersection graph. We show quasi-isometric invariance of the intersection graph under natural assumptions. As immediate consequences we present a number of results concerning quasi-isometric rigidity for the subclass of CLTTF Artin groups. We give a necessary and sufficient condition for such groups to be strongly rigid (self quasi-isometries are close to automorphisms), we describe quasi-isometry groups, we indicate when quasi-isometries imply isomorphisms for such groups. In particular, there exist many strongly rigid large-type Artin groups. In contrast, none of the right-angled Artin groups are strongly rigid by a previous work of Bestvina, Kleiner and Sageev.

研究の動機と目的

• 2次元アーティン群における準フラットの幾何的構造を理解すること。これは、非正曲率を示唆する予想である。
• 準等長的性質を捉える組合せ的不変量—アトミック・セクターの完備化、安定直線、交差グラフ—を構築すること。
• CLTTFアーティン群における強い準等長的剛性を確立すること。すなわち、すべての準等長写像が自己同型写像に一様に近いことを示すこと。
• 右隣接アーティン群では強い剛性が成立しないが、これより一般化するため、平坦の交差グラフという新しい不変量を導入すること。
• 準等長写像が同型写像を誘導する条件と、交差グラフがグロモフ・ハイパーオリックである条件を調査し、右隣接の場合に知られている結果を拡張すること。

提案手法

• 準フラットの分析の基礎的幾何的枠組みとして、非正曲率の弱い形であるメトリック・システリカルティを用いる。
• アトミック・セクターを、普遍被覆における円板図の局所的組合せ的構造から導出される、準フラットの基本的構成要素として導入する。
• 頂点がアトミック・セクターに対応し、辺が非自明な交差に対応する、平坦の交差グラフ（「曲線複体」の類似）を構成する。
• 平坦部分複体の安定性と特異的半直線の構造を用いて、自然な仮定の下で、交差グラフが準等長写像不変量であることを証明する。
• 準フラット発展における半コクサター領域と辺の向きの理論を適用し、平坦点と特異的半直線を分類する。
• 特異的半直線の発展（プレーン、コクサター、ダイヤモンド）を用いて、準フラットのグローバル構造とその安定化部分群を分析する。

実験結果

リサーチクエスチョン

• RQ1 2次元アーティン群がいつ準等長的であるか。また、それが同型を意味するのはいつか？
• RQ2 自然な仮定のもとで、2次元アーティン群のアトミック・セクターの交差グラフが準等長写像不変量である条件は何か？
• RQ3 CLTTFアーティン群が強く準等長的剛性である（すなわち、すべての準等長写像が自己同型写像に一様に近い）のはいつか？
• RQ4 2次元アーティン群において、平坦の交差グラフはグロモフ・ハイパーオリックか。これは階層的ハイパーオリック性とどのように関係するか？
• RQ5 2次元アーティン群の自己同型写像が、交差グラフのグラフ自己同型を誘導するのはいつか。逆に、交差グラフの自己同型が群自己同型を誘導するのはいつか？

主な発見

• すべての2次元アーティン群はメトリック・システリカルであるため、局所的組合せ的構造を用いて準フラットを詳細に分析可能である。
• 2次元アーティン群における準フラットは、アトミック・セクターから構成され、これはアーベル部分群によって安定化される最小の平坦部分複体である。
• 自然な仮定のもとで、2次元アーティン群のアトミック・セクターの交差グラフは準等長写像不変量である。
• CLTTFアーティン群に対して、本稿は強い準等長的剛性の必要十分条件を提供する：外部自己同型群が有限であること、かつ交差グラフが準等長写像で不変であること。
• 右隣接アーティン群とは対照的に、多くの大型タイプのアーティン群が強く剛性を持つ。
• 定義グラフが完全な対称性を持たない場合、自己同型写像に一様に近くない準等長写像を構成することで、剛性条件の鋭さを示している。