[論文レビュー] Helly meets Garside and Artin

Jingyin Huang, Damian Osajda|arXiv (Cornell University)|Apr 19, 2019

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

ひとこと要約

この論文は、有限型の弱ガルサイ群およびFC型のアーティン群が、ヘリーグラフに幾何的に作用することを確立し、それらがヘリーグラフであることを証明する。セル・ヘリー複体の概念を導入し、局所から大域への原理を活用することで、これらの群は非正曲率に類似した構造を有し、強い組合せ的凸性を示す。その結果、双自動性、境界の存在、およびファーロン＝ジョーンズ予想や粗いボーム＝コンヌス予想といった主要な予想の解消が示される。

ABSTRACT

A graph is Helly if every family of pairwise intersecting combinatorial balls has a nonempty intersection. We show that weak Garside groups of finite type and FC-type Artin groups are Helly, that is, they act geometrically on Helly graphs. In particular, such groups act geometrically on spaces with convex geodesic bicombing, equipping them with a nonpositive-curvature-like structure. That structure has many properties of a CAT(0) structure and, additionally, it has a combinatorial flavor implying biautomaticity. As immediate consequences we obtain new results for FC-type Artin groups (in particular braid groups and spherical Artin groups) and weak Garside groups, including e.g.\ fundamental groups of the complements of complexified finite simplicial arrangements of hyperplanes, braid groups of well-generated complex reflection groups, and one-relator groups with non-trivial center. Among the results are: biautomaticity, existence of EZ and Tits boundaries, the Farrell-Jones conjecture, the coarse Baum-Connes conjecture, and a description of higher order homological and homotopical Dehn functions. As a mean of proving the Helly property we introduce and use the notion of a (generalized) cell Helly complex.

研究の動機と目的

• 弱ガルサイ群の有限型およびFC型アーティン群の幾何的モデルをヘリーグラフを用いて確立すること。
• セル・ヘリー複体を用いて、C(4)-T(4) 条件の一般化としての高次元へのスモールキャンセレーションの概念を拡張すること。
• CAT(0)を超える非正曲率の組合せ的・局所から大域への枠組みを提供し、双自動性よりも強い凸性を実現すること。
• このような群がヘリーグラフを通じて、注入型距離空間に幾何的に作用することを証明し、強固な凸構造を備えること。

提案手法

• スモールキャンセレーション条件の高次元版としての（一般化された）セル・ヘリー複体の概念を導入すること。
• 【weaklymodular】におけるヘリーグラフの局所から大域への特徴付けを用いて、局所的な組合せ的条件によってヘリーグラフ性を検証すること。
• FC型アーティン群のサルベッティ複体の普遍被覆が、球面的部分複体内のセルの交差を分析することで、セル・ヘリー複体であることを証明すること。
• ガルサイ圏のラティス的性質およびコクセター複体の構造を用いて、互いに交わるセルが空でない全体的交差を持つことを示すこと。
• セル・ヘリー複体の太さを加えたものの1次元スケルトンとしてヘリーグラフを構成し、群による幾何的作用を保証すること。
• ヘリーグラフが凸的測地線二重結合と注入型距離空間構造を有することを活用し、強力なアルゴリズム的および幾何的帰結を得ること。

実験結果

リサーチクエスチョン

• RQ1 弱ガルサイ群の有限型はヘリーグラフに幾何的に作用するか。その結果、非正曲率に類似した構造を有するか。
• RQ2 スモールキャンセレーション条件 C(4)-T(4) は、高次元に一般化可能か。その場合、高次元アーティン群の幾何を捉えることができるか。
• RQ3 FC型アーティン群は、そのサルベッティ複体を通じてヘリーグラフ構造を有するか。もしそうならば、その普遍被覆におけるセルの交差の性質は何か。
• RQ4 セル・ヘリー性と関連するヘリーグラフにおける凸的測地線二重結合の存在との関係は何か。
• RQ5 ヘリーグラフのヘリーグラフ性は、CAT(0) やガルサイ正規形が提供するものよりも、より強い凸性およびアルゴリズム的性質（例：双自動性）をどのようにもたらすか。

主な発見

• 弱ガルサイ群の有限型およびFC型アーティン群はヘリーグラフ群である。これは、それらがヘリーグラフに幾何的に作用することを意味する。
• FC型アーティン群のサルベッティ複体の普遍被覆は、セル・ヘリー複体であり、高次元のスモールキャンセレーション条件を満たす。
• サルベッティ複体内の任意の有限個のペアワイズに交わるセルの交差は空でなく、かつ可縮的である。これによりヘリーグラフ性が保証される。
• セル・ヘリー複体の太さを加えたものの1次元スケルトンはヘリーグラフであり、群はその上に幾何的に作用する。
• ヘリーグラフ構造により、双自動性、EZ境界およびティーツ境界の存在、およびファーロン＝ジョーンズ予想と粗いボーム＝コンヌス予想の解消が示される。
• 高階のホモロジー的およびホモトピー的デーン関数は、ヘリーグラフの凸性および注入型距離空間構造を用いて記述される。