[论文解读] A finitely presented group of piecewise projective homeomorphisms

Yash Lodha, Justin Tatch Moore|arXiv (Cornell University)|Aug 20, 2013

Geometric and Algebraic Topology参考文献 15被引用 4

一句话总结

本文引入了一个有限生成、无挠、非阿民布尔的分段射影实直线同胚群，是首个不包含非交换自由子群的此类例子。该群由三个显式分段射影函数生成，通过适配Monod的方法证明其非阿民布尔性，具有显式的有限表示和类似于Thompson群F的树图表示。

ABSTRACT

In this article we will describe a finitely presented subgroup of Monod's group of piecewise projective homeomorphisms of R. This in particular provides a new example of a finitely presented group which is nonamenable and yet does not contain a nonabelian free subgroup. It is in fact the first such example which is torsion free. We will also develop a means for representing the elements of the group by labeled tree diagrams in a manner which closely parallels Richard Thompson's group F.

研究动机与目标

• 构造一个有限生成、无挠、非阿民布尔群，且不包含非交换自由子群，从而解决几何群论中长期悬而未决的开放问题。
• 提供首个不依赖于挠或归纳构造的此类例子，为冯·诺伊曼-戴伊问题提供更具体、更易分析的反例。
• 通过带标签的树图表示，发展群元素的组合表示方法，其结构类似于Thompson群F。
• 建立一个包含3个生成元和9条关系的有限表示，并通过系统化约化系统证明其与无限表示的等价性。

提出的方法

• 该群作为Monod的群H（即R上保持无穷远点的分段射影同胚群）的子群被构造，使用三个显式生成元：a(t) = t+1，以及分段有理函数b(t)和c(t)。
• 为群元素开发了带标签的树图表示，其中每个元素对应一对带有有限集标签的有限二叉树，推广了Thompson群F的图示演算。
• 引入基于标准形式和高级移动的约化系统，以规范化无限表示中的字词，从而推导出有限表示。
• 有限表示的证明依赖于证明：在群中若一个字词等于单位元，则必须仅通过给定的9条关系，经一系列高级移动和规范化步骤约化为单位元。
• 通过适配Monod的方法证明非阿民布尔性，该方法依赖于H中不存在非交换自由子群，结合对群在实直线上作用及其组合结构的细致分析。
• 关键技术突破在于使用有限二叉序列的递归构造，以揭示在无限二叉序列上作用的非尾等价性，从而证明非平凡Y-字词不可能等于单位元。

实验结果

研究问题

• RQ1 能否构造一个有限生成、无挠、非阿民布尔群，且不包含非交换自由子群？
• RQ2 是否存在一种具体、显式的此类群表示，避免先前反例中使用的复杂归纳构造？
• RQ3 Thompson群F的结构能否推广至更广泛的分段射影群类，使其具有类似的图示表示？
• RQ4 何种条件可确保群中一个字词等于单位元？能否通过有限条关系捕捉这一性质？

主要发现

• 由a(t) = t+1、b(t)和c(t)生成的群G₀具有3个生成元和9条关系的有限表示，这是首个无挠、非阿民布尔群且不包含非交换自由子群的显式有限表示。
• 该群是非阿民布尔的，通过适配Monod的方法证明，该方法表明H（因而G₀）不包含非交换自由子群。
• 该群具有类似于Thompson群F的带标签树图表示，使得群元素的组合与可视化分析成为可能。
• 通过使用高级移动和标准形式的规范化过程，证明了G₀的无限表示与有限表示等价，从而证明9条关系已足够。
• 任何在群中等于单位元的字词，必须仅通过9条关系约化为单位元，这是通过证明非平凡Y-字词由于在二叉序列上作用的非尾等价性，不可能等于单位元而得出的。