[论文解读] Stable length in stable groups

D. Kotschick|arXiv (Cornell University)|Jun 17, 2008

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

一句话总结

该论文通过群论意义上的Mazur滑轮技巧，证明了在某些无限并群（如稳定映射类群、无限多 strands 的辫群、自由群的稳定自同构群）中，稳定交换子长度恒为零。关键结果是：这些群上的每个齐次拟同态都是同态，结合Bavard对偶定理，意味着稳定交换子长度为平凡。

ABSTRACT

We show that the stable commutator length vanishes for certain groups defined as infinite unions of smaller groups. The argument uses a group-theoretic analogue of the Mazur swindle, and goes back to the works of Anderson, Fisher, and Mather on homeomorphism groups.

研究动机与目标

• 确立在无限并群中稳定交换子长度消失的条件。
• 通过使用共轭嵌入及两两可交换元素，将经典的Mazur滑轮技巧推广至群论设定。
• 证明此类群上的齐次拟同态必为同态，从而推出稳定交换子长度的消失。
• 将该机制与Burago、Ivanov和Polterovich关于拟范数有界的结论进行比较。
• 展示稳定交换子长度在关键几何与代数群（包括微分同胚群与自同构群）中消失。

提出的方法

• 使用群论意义上的Mazur滑轮技巧，依赖于任意多个两两可交换的共轭子群。
• 应用命题2.2：若群Γ包含任意多个两两可交换的共轭子群Λi，则Γ上任意齐次拟同态在每个Λi上限制为同态。
• 利用Bavard对偶性：Γ上稳定交换子长度为零当且仅当Γ上每个齐次拟同态都是同态。
• 在稳定群（如辫群中的支撑大小或映射类群中的支撑曲面亏格）上构造显式的拟范数，以证明其无界性。
• 分析稳定群作为有限型子群的直接极限的结构，从而实现滑轮论证的有限次迭代。
• 利用拟同态的齐次化及无限并中交换子长度的性质，推导出渐近消失性。

实验结果

研究问题

• RQ1 在直接极限群中，稳定交换子长度在何种群论条件下消失？
• RQ2 能否将Mazur滑轮技巧适配至具有两两可交换共轭子群的无限群，以证明稳定交换子长度的消失？
• RQ3 稳定交换子长度的消失与稳定群上齐次拟同态的结构有何关系？
• RQ4 稳定交换子长度的消失与微分同胚群与自同构群中拟范数的存在性之间存在何种关系？
• RQ5 与Burago、Ivanov和Polterovich关于微分同胚群中拟范数有界性的结果相比，本研究结果如何？

主要发现

• 稳定交换子长度在稳定映射类群Γ∞中完全消失。
• 稳定交换子长度在无限多 strands 的辫群B∞中消失。
• 稳定交换子长度在自由群的稳定自同构群Aut∞(F)与稳定特殊自同构群SAut∞(F)中消失。
• 稳定交换子长度在ℝⁿ上紧支集辛同胚群Diff₀ᶜ(ℝⁿ,ω)中消失。
• 当D具有有限辛体积时，稳定交换子长度在Diff₀ᶜ(D,ω)中也消失，尽管该群无界。
• 所有这些群均允许无界的拟范数（例如基于支撑大小或亏格），表明其在Burago、Ivanov与Polterovich的意义下为无界群，但仍具有平凡的稳定交换子长度。