[论文解读] Effective Separability of Finitely Generated Nilpotent Groups

Mark Pengitore|arXiv (Cornell University)|Feb 18, 2015

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

一句话总结

本文为有限生成幂零群中的剩余有限性与共轭分离性提供了有效且多项式有界的渐近估计。研究证明，为分离非单位元或不同共轭类所需最小有限商群的大小，随字长对数的幂次增长，其指数由赫施长度与幂零类决定，给出了紧致的界，并在马尔采夫完备化下保持不变。

ABSTRACT

We give effective proofs of residual finiteness and conjugacy separability for finitely generated nilpotent groups. In particular, we give precise asymptotic bounds for a function introduced by Bou-Rabee that measures how large the quotients that are need to separate non-identity elements of bounded length from the identity which improves the work of Bou-Rabee. Similarly, we give polynomial upper and lower bounds for an analogous function introduced by Lawton, Louder, and McReynolds that measures how large the quotients that are need to separate pairs of distinct conjugacy classes of bounded work length using work Blackburn and Mal'tsev.

研究动机与目标

• 为有限生成幂零群中的剩余有限性函数建立精确的渐近界。
• 将有效界扩展至共轭分离性，量化区分非共轭元素所需有限商群的大小。
• 证明这些分离性函数的渐近行为是群的马尔采夫完备化的不变量。
• 刻画剩余有限性增长为字长对数的条件，将其与群的中心联系起来。
• 证明渐近界中指数可由赫施长度及下中央列的最后一个非平凡项等结构数据计算得出。

提出的方法

• 作者定义函数 $\operatorname{F}_{\Gamma}(n)$，用于衡量为将字长为 $n$ 的元素与单位元分离所需最小有限商群的大小。
• 通过幂零群的结构性质及上中央列的精化，证明了上界。
• 通过构造显式的一组群元素序列，建立下界，其分离要求商群大小至少为 $C(\log(C\|\gamma_i\|_S))^{\psi_{\text{RF}}(\Gamma)}$。
• 证明利用了 $\Gamma/T(\Gamma)$ 的马尔采夫完备化，表明 $\operatorname{F}_{\Gamma}(n)$ 的渐近行为仅依赖于该完备化。
• 对于共轭分离性，作者定义 $\operatorname{CD}_{\Gamma}(n)$，并利用下中央列中的群论构造，推导出多项式上界与下界。
• 通过 $p$-群与中心元素的性质，证明共轭分离所需的最小商群大小按 $n^{\psi_{\text{RF}}(\Gamma)(c(\Gamma)-1)}$ 增长。

实验结果

研究问题

• RQ1 有限生成幂零群中剩余有限性函数 $\operatorname{F}_{\Gamma}(n)$ 的精确渐近增长速率是什么？
• RQ2 此类群中，共轭分离性函数 $\operatorname{CD}_{\Gamma}(n)$ 如何随字长增长？
• RQ3 能否从群的代数不变量计算 $\operatorname{F}_{\Gamma}(n)$ 渐近界中的指数？
• RQ4 当 $\Gamma/T(\Gamma)$ 的马尔采夫完备同构时，$\operatorname{F}_{\Gamma}(n)$ 的渐近行为是否保持不变？
• RQ5 在何种条件下成立 $\operatorname{F}_{\Gamma}(n) \approx (\log n)^{h(\Gamma)}$？

主要发现

• 剩余有限性函数 $\operatorname{F}_{\Gamma}(n)$ 满足 $\operatorname{F}_{\Gamma}(n) \approx (\log n)^{\psi_{\text{RF}}(\Gamma)}$，其中 $\psi_{\text{RF}}(\Gamma)$ 是从 $ (\Gamma/T(\Gamma))_c $ 结构导出的可计算不变量。
• 指数 $\psi_{\text{RF}}(\Gamma)$ 等于赫施长度 $h(\Gamma)$ 当且仅当 $\Gamma/T(\Gamma)$ 的中心具有赫施长度 1。
• $\operatorname{F}_{\Gamma}(n)$ 的渐近行为是 $\Gamma/T(\Gamma)$ 的马尔采夫完备化的不变量，因此同构的完备化产生等价的增长率。
• 对于共轭分离性，函数 $\operatorname{CD}_{\Gamma}(n)$ 满足 $n^{\psi_{\text{RF}}(\Gamma)(c(\Gamma)-1)} \preceq \operatorname{CD}_{\Gamma}(n)$，且上界匹配。
• 增长速率 $\operatorname{F}_{\Gamma}(n) \precnsim (\log n)^3$ 通过其共(compact)格点，刻画了 $\mathbb{R}^d$ 在 $\mathbb{Q}$-定义的幂零李群中的特征。
• $\psi_{\text{RF}}(\Gamma)$ 在有限指数子群下保持不变，且在马尔采夫完备同构下也保持不变，确保了边界的稳健性。