[论文解读] Rational growth in the Heisenberg group

Moon Duchin, Michael Shapiro|arXiv (Cornell University)|Nov 16, 2014

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

一句话总结

本文证明了整数海森堡群在所有有限生成集下具有有理增长，解决了长期悬而未决的开放问题。作者通过分析离散群中的字度量与连续海森堡李群上的Carnot-Carathéodory Finsler度量之间的关系，利用测地线的几何与组合控制，证明了增长级数是有理的，并且该群在任意字度量下都是几乎凸的。

ABSTRACT

A group presentation is said to have rational growth if the generating series associated to its growth function represents a rational function. A long-standing open question asks whether the Heisenberg group has rational growth for all finite generating sets, and we settle this question affirmatively. We also establish almost-convexity for all finite generating sets. Previously, both of these properties were known to hold for hyperbolic groups and virtually abelian groups, and there were no further examples in either case. Our main method is a close description of the relationship between word metrics and associated Carnot-Caratheodory Finsler metrics on the ambient Lie group. We provide (non-regular) languages in any word metric that suffice to represent all group elements.

研究动机与目标

• 解决海森堡群在所有有限生成集下是否具有有理增长的开放问题。
• 在任意字度量下建立海森堡群的几乎凸性。
• 提供一个几何框架，将离散字度量与李群上的连续Carnot-Carathéodory Finsler度量联系起来。
• 通过平面投影与形状分类，刻画海森堡群中测地线的组合结构。
• 将对幂零群中增长函数的理解扩展至已知情况（如双曲群与几乎阿贝尔群）之外。

提出的方法

• 利用Pansu定理，将H(Z)上的字度量与H(R)上的左不变Carnot-Carathéodory Finsler度量联系起来。
• 基于在R²上的投影，按其“形状”对字测地线进行分类，从而实现平面几何分析。
• 基于路径的几何控制，构造表示所有群元素的非正则语言，用于字度量。
• 应用度量比较技术，以统一常数K界定字度量与cc度量之间的差异。
• 利用cc度量下的连续几乎凸性，在离散设置中构造连接邻近群元素的有界长度字路径。
• 利用基本域的有界直径，将连续路径四舍五入至整数格点，误差可控。

实验结果

研究问题

• RQ1 海森堡群在所有有限生成集下是否具有有理增长？
• RQ2 海森堡群在任意字度量下是否几乎凸？
• RQ3 生成集的选择如何影响拟多项式增长的周期与系数？
• RQ4 有理增长性质能否推广至其他幂零群，特别是与H(Z) × Z^d几乎同构的群？
• RQ5 何种生成集条件会导致超越增长？这与增长函数中的体积常数有何关联？

主要发现

• 海森堡群在所有有限生成集下具有有理增长，解决了长期悬而未决的开放问题。
• 该群在任意字度量下都是几乎凸的，即在有界字距离内的元素可通过同一球内长度有界的路径连接。
• 增长函数最终为拟多项式，其周期与振荡系数与生成集的基本多边形及其在Z²中生成的子格的几何结构相关。
• 对于标准生成集，球面增长函数σ(n)为周期为十二的拟多项式，仅常数项振荡，球增长函数β(n)也为同周期的拟多项式。
• 球增长函数β(n)的最高次项系数等于H(R)中相应Carnot-Carathéodory球的体积，第二项系数可能对应于“表面积”项。
• 增长函数β(n)与一个真正的多项式保持有界距离，表明该群的增长渐近为多项式，仅带有微小振荡。