[論文レビュー] A nonamenable type $F_{\infty}$ group of piecewise projective homeomorphisms

Yash Lodha|arXiv (Cornell University)|Aug 13, 2014

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

ひとこと要約

本稿は、型 $F_{\nu}$ で非アーベル的でなく、非アーベル自由部分群を含まない群の最初の既知の例を構成する—幾何的群論における長年の未解決問題に答えている。著者らは、クラスタ複体と呼ばれる新しい種類のセル複体を導入し、それらを用いて、有限次元セルを持つ、可縮かつ非退化な CW 複体を構築し、群がその上に適切に作用することを示した。これにより、標準的正規形と非正曲率の議論を用いて、その群の有限性性質を確立した。

ABSTRACT

We prove that the group of homeomorphisms of the circle introduced by the author with Justin Moore (Groups, Geometry and Dynamics 2015) is of type $F_{\infty}$. This makes the group the first example of a type $F_{\infty}$ group which is nonamenable and does not contain nonabelian free subgroups. To prove our result we provide a certain generalisation of cube complexes, which we refer to as cluster complexes. We also obtain a computable normal form, or a canonical unique choice of a word for each element of the group.

研究の動機と目的

• 型 $F_{\nu}$ で非アーベル的で、非アーベル自由部分群を含まない群が存在するかどうかという未解決問題を解決すること。
• クラスタ複体を導入することで、従来の立方体複体に限らない、有限性性質の理論を一般化すること。
• 部分的射影的ホメオモルフィズム群の元に対して、計算可能な正規形を提供すること。
• 3つの生成元と9つの関係式からなる群 $G$ が、トマソン群 $F$ の4つのジーオゲイアンの予想をすべて満たしていることの証明。ただし、$F$ 自体のアーベル性状態は未解決のまま。
• 群 $G$ が、4つの予想を同時に満たす最初の例であることを確立し、ヴァン・ノイマン＝デイ問題に対する新たな反例を提供すること。

提案手法

• 著者らは、立方体複体の非正曲率一般化として、より柔軟な立方体のセル分割を許容する、CW 複体の新しいクラスであるクラスタ複体を定義する。
• 群 $G$ が適切かつセルを置換するように作用する、可縮かつ非退化なセル複体 $X$ を構築し、商が有限次元で、セルの安定化部分群が $F_{\nu}$ 型であることを示す。
• 生成集合における語に対して2段階の簡約プロセスを用いて、一意的かつ計算可能である標準的正規形を $G$ の元に導入する。
• $\mathbb{R}^n$ 内の超平面の交差パターンを用いて、事前クラスタとクラスタを定義し、平行同値とバランスの取れた系を用いて曲率と非退化性を制御する。
• リンクのフラッグ性と空の単体の不在を用いて、複体 $X$ の平行閉包が非正曲率の立方体複体をなすことを示し、これにより $X$ が非退化であることを証明する。
• 商 $X/G$ が各次元で有限個のセルを持つこと、およびセルの安定化部分群が $F_{\nu}$ 型であることを確認し、$G$ が $F_{\nu}$ 型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 型 $F_{\nu}$ で非アーベル的で、非アーベル自由部分群を含まない群が存在するか？
• RQ2 新しい幾何的構成により、標準的立方体複体手法を超えた群の有限性性質を拡張できるか？
• RQ3 群 $G$ は型 $F_{\nu}$ か？ また、トマソン群 $F$ のジーオゲイアンの4つの予想をすべて満たすか？
• RQ4 部分的射影的ホメオモルフィズム群の元に対して、標準的正規形を構成できるか？
• RQ5 クラスタ分解から構成された複体の非退化性を保証する幾何的・組合せ論的条件は何か？

主な発見

• 群 $G$ は、商が有限次元で $F_{\nu}$ 型の安定化部分群を持つ、可縮かつ非退化な CW 複体 $X$ に作用するため、型 $F_{\nu}$ である。
• 群 $G$ は非アーベル的で、非アーベル自由部分群を含まないため、型 $F_{\nu}$ で初めての例である。
• $G$ のすべての元に対して、生成集合における一意的かつ計算可能な語代表を提供する、計算可能な正規形が確立された。
• 複体 $X$ は、超平面配置から導かれるクラスタの和集合として構成され、非正曲率の議論により非退化であることが示された。
• 有限個の事前クラスタの平行閉包は、非正曲率の立方体複体をなし、これが $X$ の非退化性の証明に用いられた。
• 群 $G$ は、トマソン群 $F$ のジーオゲイアンの4つの予想をすべて満たしているが、$F$ 自体の非アーベル性状態は未解決のままである。