[論文レビュー] 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

ひとこと要約

本稿は、木に作用する群、特にグラフの群および3次元多様体の群における安定交換子長（scl）の鋭いスペクトルギャップを確立する。特に、辺安定化部分群が頂点安定化部分群に対して$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]の結果を一般化・強化すること。

提案手法

• 特に有限被覆への曲面写像のリフトとその位相的性質の解析を通じて、sclを特徴付けるために$K(G,1)$複体への曲面写像の使用。
• プレートド表面理論と双曲幾何の応用、特に2次元マーガリス補題および表面の薄-厚分解。
• 円作用を用いた自由群上の明示的準同型の構成、その不正確度は$\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))$である。
• 自由群上に、不正確度$\leq 1$かつ双曲的要素に対して値$\geq 1$をとる明示的一様準同型を構成でき、これは円作用から得られる。