[논문 리뷰] Spectral gap of scl in graphs of groups and $3$-manifolds

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

Geometric and Algebraic Topology참고 문헌 32인용 수 4

한 줄 요약

이 논문은 수명이 있는 공변자 길이(scl)의 날카로운 스펙트럴 갭을 수명이 있는 나무에 작용하는 군, 특히 그래프의 군과 3차원 다면체 군에서 확립한다. 특히, 모서리 안정화자가 정점 안정화자에 대해 $n$-상대적으로 순환적일 경우, 이러한 군 내의 쌍곡 원소에 대해 scl이 $1/2 - 1/n$ 이상으로 유계임을 증명한다. $n = \infty$일 경우 날카로운 $1/2$ 갭이 성립한다. 이러한 결과는 표면 사상과 쿼시모르피즘 구성에 의해 도출되며, 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을 특성화하는 것, 특히 유한 커버로 표면 사상을 올리고 그 위상적 성질을 분석하는 것.
• 플리티드 표면 이론과 쌍곡 기하학의 적용, 특히 2차원 마르골리스 보조정리와 표면의 얇은-두꺼운 분해.
• 원환면 작용을 통한 자유군 위의 명시적 쿼시모르피즘 구성, 결함은 $\leq 1$이며 쌍곡 원소에서 값은 $\geq 1$.
• 정점 군에서 조정된 체인을 고려하여, 타원 체인에 대한 scl 계산을 정점 군에서의 infimum로 환원하는 것, 이는 모서리 안정화자의 기여를 반영한다.
• 데인 투습과 압축을 사용하여 표면 사상이 원환면을 통과하지 않도록 보장하고 기하적 제어를 유지하는 것.
• 쌍곡 원소의 공액 쌍과 그들의 교환자에 대한 분석을 통해 작은 이동 길이를 배제하며, 바르트그룹에서의 균일한 하한을 활용한다.

실험 결과

연구 질문

• RQ1 수명이 있는 나무에 작용하는 군에서 모서리 안정화자가 정점 안정화자에 대해 $n$-상대적으로 순환적일 경우, 쌍곡 원소의 안정 공변자 길이(scl)에 대한 날카로운 하한은 무엇인가?
• 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$을 가지며 원환면 작용에서 유도된다.