[论文解读] 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$ 满足Geoghegan对Thompson群 $F$ 的全部四个猜想，尽管 $F$ 的阿明性状态仍悬而未决。
• 确立 $G$ 是首个同时满足全部四个猜想的此类群，为von Neumann–Day问题提供了新的反例。

提出的方法

• 作者定义了一类新的CW复形，称为簇复形，其通过允许对立方体更灵活的胞分解，推广了非正曲率立方复形。
• 他们构造了一个可缩、链状的细胞复形 $X$，使得群 $G$ 在其上作用良好且保持胞的排列，其商复形具有有限维性，且胞的稳定子为 $F_{\nu}$ 型。
• 通过在生成集中的字上进行两步约化过程，为 $G$ 的元素引入规范标准形，确保其唯一性与可计算性。
• 通过 $\mathbb{R}^n$ 中超平面的交集模式定义预簇与簇，并利用平行等价与平衡系统来控制曲率与链状性。
• 通过证明其平行闭包形成一个非正曲率立方复形，从而证明复形 $X$ 是链状的，利用邻域的旗性与空单形的缺失性。
• 验证商复形 $X/G$ 在每个维数上仅有有限多个胞，且胞的稳定子为 $F_{\nu}$ 型，从而推出 $G$ 属于 $F_{\nu}$ 型。

实验结果

研究问题

• RQ1 是否存在一个群，其类型为 $F_{\nu}$，非阿明，且不包含非交换自由子群？
• RQ2 能否通过新的几何构造将群的有限性性质理论拓展至标准立方复形方法之外？
• RQ3 群 $G$ 是否属于 $F_{\nu}$ 型？它是否满足Geoghegan对Thompson群 $F$ 的全部四个猜想？
• RQ4 能否为分片射影同胚群中的元素构造一个规范标准形？
• RQ5 何种几何与组合条件可保证由簇分解构建的复形具有链状性？

主要发现

• 群 $G$ 属于 $F_{\nu}$ 型，因其作用于一个可缩、链状的CW复形 $X$，其商复形为有限维，且稳定子为 $F_{\nu}$ 型。
• 群 $G$ 是非阿明的，且不包含非交换自由子群，使其成为首个满足 $F_{\nu}$ 型的此类例子。
• 为 $G$ 的每个元素建立了可计算的标准形，提供了生成集中唯一的字表示。
• 复形 $X$ 作为由超平面排列导出的簇的并集而构造，并通过非正曲率论证证明其为链状。
• 有限个预簇的平行闭包形成一个非正曲率立方复形，该性质被用于证明 $X$ 的链状性。
• 尽管 $F$ 本身仍为非阿明性的候选群，群 $G$ 仍满足Geoghegan对Thompson群 $F$ 的全部四个猜想。