[论文解读] The Large Scale Geometry of Nilpotent-by-Cyclic Groups

Ashley Reiter Ahlin|ArXiv.org|Jul 14, 2005

Geometric and Algebraic Topology参考文献 19被引用 6

一句话总结

本文建立了有限表示的非多项式幂零-循环群的拟等距刚性，表明任何与此类群拟等距的群均为（拟幂零）-by-循环群。文章引入了发散率和生长空间作为不变量，并猜想定义自同态的置换绝对若尔当代数形式是拟等距不变量，通过在此条件下不变量等价提供了部分证据。

ABSTRACT

A nonpolycyclic nilpotent-by-cyclic group Gamma can be expressed as the HNN extension of a finitely-generated nilpotent group N. The first main result is that quasi-isometric nilpotent-by-cyclic groups are HNN extensions of quasi-isometric nilpotent groups. The nonsurjective injection defining such an extension induces an injective endomorphism phi of the Lie algebra g associated to the Lie group in which N is a lattice. A normal form for automorphisms of nilpotent Lie algebras--permuted absolute Jordan form-- is defined and conjectured to be a quasi-isometry invariant. We show that if phi, theta are endomorphisms of lattices in a fixed Carnot group G, and if the induced automorphisms of g have the same permuted absolute Jordan form, then Gamma_phi and Gamma_theta are quasi-isometric. Two quasi-isometry invariants are also found: the set of ``divergence rates'' of vertical flow lines: D_phi the ``growth spaces'': g_n subset g These do not establish that permuted absolute Jordan form is a quasi-isometry invariant, although they are major steps toward that conjecture. Furthermore, the quasi-isometric rigidity of finitely-presented nilpotent-by-cyclic groups is proven: any finitely-presented group quasi-isometric to a nonpolycyclic nilpotent-by-cyclic group is (virtually-nilpotent)-by-cyclic.

研究动机与目标

• 对非多项式幂零-循环群按拟等距关系进行分类。
• 研究定义自同态的置换绝对若尔当代数形式是否为拟等距不变量。
• 建立有限表示的幂零-循环群的拟等距刚性。
• 识别如发散率和生长空间等粗几何不变量，这些不变量可能用于检测拟等距类。

提出的方法

• 将幂零-循环群分析为有限生成幂零群的上升HNN扩张。
• 利用与幂零群相关的李代数，并研究其在李代数上的诱导自同态。
• 引入置换绝对若尔当代数形式作为拟等距不变量的候选。
• 将模型空间中竖直流线的发散率定义为拟等距不变量。
• 在李代数内引入生长空间作为另一不变量。
• 应用时间变换刚性和粗拓扑，将拟等距映射与模型空间上的结构保持映射联系起来。

实验结果

研究问题

• RQ1 两个拟等距的非多项式幂零-循环群是否必然为拟等距幂零群的HNN扩张？
• RQ2 定义自同态的置换绝对若尔当代数形式是否为群的拟等距不变量？
• RQ3 群的模型空间的发散率和生长空间是否构成拟等距类的完备不变量？
• RQ4 这些不变量在多大程度上能检测自同态的代数结构？
• RQ5 有限表示的幂零-循环群类是否具有拟等距刚性？

主要发现

• 任何与非多项式幂零-循环群拟等距的有限表示群均为（拟幂零）-by-循环群，从而确立了拟等距刚性。
• 拟等距的幂零-循环群源于拟等距幂零群的HNN扩张。
• 若两个在相同卡诺群中格的自同态具有相同的置换绝对若尔当代数形式，则其相关的HNN扩张是拟等距的。
• 发散率集合 ${\mathcal{D}}_{\phi}$ 和生长空间 $\mathfrak{g}_{n}$ 是群的拟等距不变量。
• 构造了一个例子，其中两个群具有相同的发散率和生长空间，但置换绝对若尔当代数形式不同，表明该形式可能不是完备不变量。
• 这些不变量为置换绝对若尔当代数形式是拟等距不变量的猜想提供了有力证据。