[论文解读] Detecting large groups

Marc Lackenby|ArXiv.org|Feb 20, 2007

Finite Group Theory Research参考文献 5被引用 6

一句话总结

本文证明了通过p进态和p进素数完备化、L²-Betti数以及有限指数子群中的同调增长，可以检测有限生成群的“大”性质。关键贡献在于证明了同构的p进态或p进素数完备化意味着等价的大性质，从而建立了新的检测标准，并应用于拟自由群和3-流形群。

ABSTRACT

Let G be a finitely presented group, and let p be a prime. Then G is 'large' (respectively, 'p-large') if some normal subgroup with finite index (respectively, index a power of p) admits a non-abelian free quotient. This paper provides a variety of new methods for detecting whether G is large or p-large. These relate to the group's profinite and pro-p completions, to its first L2-Betti number and to the existence of certain finite index subgroups with 'rapid descent'. The paper draws on new topological and geometric techniques, together with a result on error-correcting codes.

研究动机与目标

• 通过超越直接子群分析的代数不变量，发展新的检测有限生成群是否为大群的标准。
• 建立大群性质是p进态和p进素数不变量的性质，即同构的完备化意味着等价的大群性质。
• 将L²-Betti数与有限指数子群中的同调增长联系起来，以揭示群的大群性质。
• 将这些结果应用于弱拟自由群和3-流形群，证明在特定拓扑与上同调条件下群为大群。
• 通过同调增长与完备化不变量的概念，统一群论、3-流形拓扑与L²-不变量等不同领域。

提出的方法

• 利用Lück定理，将L²-Betti数与有限指数正规子群中普通一阶Betti数的渐近增长速率联系起来。
• 应用关于有限指数子群中模p同调线性增长的结果，通过极限 $ d_p(G_i)/[G:G_i] $ 检测大群性质。
• 运用定理5.1将上循环向上提升至正规p覆盖，确保其支集包含于原像中，并增加独立上同调类的数量。
• 利用定理6.1构造上循环的子空间，使其支集相对于1-胞复形数量逐渐缩小，确保相对大小趋于零。
• 对序列 $\{G_i\}$ 强制施加快速下降条件，以确保 $d_p(G_i)$ 的增长足够快，从而推出大群性质。
• 结合上述工具，证明若同调增长为线性且相对支集大小趋于零，则群为p-大群，避免了对相对大小的统一下界假设。

实验结果

研究问题

• RQ1 能否从其p进态完备化中检测有限生成群的大群性质？
• RQ2 p进素数完备化同构是否意味着p-大群性质的等价性？
• RQ3 在剩余有限性条件下，正L²-Betti数在多大程度上蕴含大群性质？
• RQ4 有限指数子群中的同调增长能否用于检测大群性质？何种条件可确保这一点？
• RQ5 在何种拓扑或代数条件下，3-流形群为p-大群，特别是关于$\mathbb{Z}_p$-cobordism时？

主要发现

• 若两个有限生成群具有同构的p进态完备化，则其中一个为大群当且仅当另一个也是大群。
• 若两个有限生成群对某个素数 $p$ 具有同构的p进素数完备化，则其中一个为p-大群当且仅当另一个也是p-大群。
• 具有正L²-Betti数且虚拟残余p-有限的有限生成群为大群。
• 弱拟自由的有限生成群，若其一阶Betti数大于1，则为大群。
• 若两个闭3-流形拓扑上$\mathbb{Z}_p$-同痕，则它们的基本群同时为p-大群。
• 在嵌套的有限指数子群序列中，模p同调的线性增长意味着群为大群，前提是上同调类的相对支集大小趋于零。