[论文解读] Spectral gap of scl in graphs of groups and $3$-manifolds

Lvzhou Chen, Nicolaus Heuer|arXiv (Cornell University)|Oct 30, 2019

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

一句话总结

本文建立了群在树上作用时稳定交换子长度（scl）的精确谱间隙，特别针对图群和3-流形群。对于此类群中的双曲元素，当边稳定子在顶点稳定子中为 $n$-相对有限群时，scl 的下界为 $1/2 - 1/n$，当 $n = \infty$ 时，该下界为精确的 $1/2$。这些结果通过到 $K(G,1)$ 复形的曲面映射和拟同态构造得出，并应用于通过 JSJ 分解证明闭3-流形基本群中的谱间隙。

ABSTRACT

Stable commutator length scl_G(g) of an element g in a group G is an invariant for group elements sensitive to the geometry and dynamics of G. For any group G acting on a tree, we prove a sharp bound scl_G(g)>=1/2 for any g acting without fixed points, provided that the stabilizer of each edge is relatively torsion-free in its vertex stabilizers. The sharp gap becomes 1/2-1/n if the edge stabilizers are n-relatively torsion-free in vertex stabilizers. We also compute scl_G for elements acting with a fixed point. This implies many such groups have a spectral gap, that is, there is a constant C>0 such that either scl_G(g)>=C or scl_G(g)=0. New examples include the fundamental group of any 3-manifold using the JSJ decomposition, though the gap must depend on the manifold. We also obtain the optimal spectral gap of graph products of group without 2-torsion. We prove these statements by characterizing maps of surfaces to a suitable K(G,1). For groups acting on trees, we also construct explicit quasimorphisms and apply Bavard's duality to give a different proof of our spectral gap theorem under stronger assumptions.

研究动机与目标

• 建立群在树上作用且边稳定子受控时，双曲元素的稳定交换子长度（scl）的精确下界。
• 以顶点群的 scl 和边稳定子调整为条件，刻画椭圆元素的 scl。
• 通过 JSJ 分解和几何化方法，证明闭3-流形基本群中谱间隙的存在性。
• 通过圆作用显式构造实现自由群中 $1/2$-间隙的齐次拟同态。
• 推广并加强先前关于图群的谱间隙结果，包括 [CFL16]、[Che18b]、[DH91] 和 [Heu19] 中的结果。

提出的方法

• 使用曲面映射到 $K(G,1)$ 复形来表征 scl，特别是通过将曲面映射提升到有限覆叠并分析其拓扑结构。
• 应用褶皱曲面理论和双曲几何，包括二维 Margulis 引理以及曲面的薄-厚分解。
• 通过圆作用在自由群上显式构造拟同态，其缺陷 $\leq 1$，且在双曲元素上的取值 $\geq 1$。
• 将椭圆链的 scl 计算约化为顶点群中调整链的下确界，计入边稳定子的贡献。
• 利用德恩扭转和压缩操作，确保曲面映射不通过圆，从而保持几何控制。
• 分析共轭双曲元素对及其交换子，以排除小平移长度，利用冯·戴克群中的统一下界。

实验结果

研究问题

• RQ1 在边稳定子相对于顶点稳定子为 $n$-相对有限群的树作用群中，双曲元素的稳定交换子长度的精确下界是什么？
• RQ2 scl 中的谱间隙如何依赖于边稳定子在顶点稳定子中的相对有限群条件？
• RQ3 能否通过 JSJ 分解和几何方法建立闭3-流形基本群中的谱间隙？
• RQ4 在张量积自由群 $G = A \star_\mathbb{Z} B$ 中，元素 $t$ 的 $\mathrm{scl}_G(t)$ 的精确值是多少？
• RQ5 能否构造出显式实现自由群中 $1/2$-间隙的拟同态？

主要发现

• 对于作用在树上的群 $G$ 中的任意双曲元素 $g$，若边稳定子在顶点稳定子中为 $n$-相对有限群，则 $\mathrm{scl}_G(g) \geq 1/2 - 1/n$，且等号可能成立。
• 当边稳定子为相对有限群（即 $n = \infty$）时，精确下界为 $\mathrm{scl}_G(g) \geq 1/2$，该结果最优。
• 对于任意紧致连通的闭定向3-流形 $M$，其基本群 $\pi_1(M)$ 具有正的谱间隙 $C(M) > 0$，且 $C(M)$ 依赖于 $M$；该结果通过 JSJ 分解和几何化方法证明。
• 图群中椭圆元素链的 scl 由顶点群中调整后链的 scl 值之和的下确界给出，需考虑边稳定子中的链调整。
• 对于 $G = A \star_\mathbb{Z} B$，当 $t$ 生成被黏合的 $\mathbb{Z}$ 时，有 $\mathrm{scl}_G(t) = \min(\mathrm{scl}_A(t), \mathrm{scl}_B(t))$。
• 在自由群上存在显式齐次拟同态，可实现 $1/2$-间隙，其缺陷 $\leq 1$，且在双曲元素上的取值 $\geq 1$，这些拟同态由圆作用构造而成。