[论文解读] Delzant's variation on Scott complexity

G. A. Swarup|ArXiv.org|Jan 23, 2004

Advanced Algebra and Logic参考文献 3被引用 8

一句话总结

本文将斯科特的群复杂度不变量推广至从有限生成群到有限生成群的满同态，引入了一种基于通过有限表示商群的分解的新型复杂度度量。主要贡献是利用该复杂度框架，对三维流形群的共性（coherence）给出了一个新的证明，以及对塞拉的无椭圆性可及性定理给出了一个初等证明，该框架借助斯廷斯廷的绑定关系（binding ties）和三维流形中的不可压缩曲面实现。

ABSTRACT

We give an exposition of Delzant's ideas extending the notion of Scott complexity of finitely generated groups to surjective homomorphisms of finitely presented groups to finitely generated groups.

研究动机与目标

• 将斯科特对有限生成群的群复杂度概念推广至从有限表示群到有限生成群的满同态。
• 利用该扩展的复杂度不变量，为三维流形群的共性提供一种新的、初等的证明。
• 针对在共轭和子群取法下封闭的子群族，建立塞拉无椭圆性可及性定理在有限表示群上的推广。
• 展示如何通过该复杂度框架，从有限表示情形的类似结果推导出有限生成不可约群的结果。

提出的方法

• 将满同态 φ: G → H 的复杂度定义为所有满足 φ = ψ∘α 且 α 为满射、G' 有限表示的分解中 c(G') 的上确界。
• 利用斯廷斯廷的绑定关系方法，将 H 的标准分解提升至 G，且在满足单射性假设下保持不可约因子与 ℤ-因子不变。
• 应用复杂度序，证明若 c(G) = c(H) 且 φ 在不可约因子上限制为单射，则 φ 是同构。
• 通过迭代地添加或在嵌入圆盘上分裂，构造三维流形中的不可压缩子流形，从而得到有限表示的基本群。
• 利用复杂度框架，对任意最小 (k, C)-无椭圆性 G-树 T，有 T/G 的顶点数有界，其中 C 是在共轭和取子群下封闭的子群族。
• 证明若 G 不在 C 的元素上分裂，则 T/G 的顶点数有界，该界仅依赖于 k 和 G。

实验结果

研究问题

• RQ1 斯科特对有限生成群定义的复杂度不变量能否推广至从有限表示群到有限生成群的满同态？
• RQ2 该扩展的复杂度框架是否能为三维流形群的共性提供新的证明？
• RQ3 德兰佐的复杂度方法能否以更初等的方式证明塞拉的无椭圆性可及性定理？
• RQ4 是否存在一个仅依赖于 k 和 G 的统一有界值，控制有限表示群作用下最小 (k, C)-无椭圆性树的商图 T/G 的顶点数？
• RQ5 同态的复杂度与源群和目标群的分裂性质之间有何关系？

主要发现

• 对任意满足：对 G 的每个不可约因子 K，φ(K) 均共轭于 H 的不可约因子的满同态 φ: G → H，有 c(G) ≥ c(H)。
• 若 c(G) = c(H)，且 φ 将 G 的每个不可约因子映射至 H 的不可约因子（模共轭），则 φ 是同构。
• 该复杂度框架为三维流形群的共性提供了新证明：通过构造一个基本群同构于原群的不可压缩子流形。
• 德兰佐的复杂度方法为任意最小 (k, C)-无椭圆性 G-树 T 提供了 T/G 的顶点数的统一有界值 n(k, G)，其中 C 是在共轭和取子群下封闭的子群族。
• 该有界值 n(k, G) 通过 G 的三角形表示定义，将塞拉的无椭圆性可及性定理推广至有限表示情形下任意子群族。
• 该方法表明：若 G 不在 C 的元素上分裂，则 T/G 的顶点数有界于 n(k, G)，从而证明了更强形式的无椭圆性可及性。