2025-11-21T10:25:15.484555

Geometric property (T) for box spaces and sofic approximations

Alekseev, Drigalla

We prove that every sofic approximation of a property (T) group is approximately isomorphic to one having geometric property (T), and more generally, a box space of graphs which has boundary geometric property (T) is approximately isomorphic to one having geometric property (T). We also prove that a sequence of bounded degree graphs is approximately isomorphic to a disjoint union of expanders if and only if the Laplacian has spectral gap in the ultraproduct. Finally, we prove a local geometric criterion for geometric property (T) in the spirit of Å»uk's criterion for property (T) for groups.

academic

Geometric property (T) for box spaces and sofic approximations

基本信息

论文ID: 2511.16515
标题: Geometric property (T) for box spaces and sofic approximations
作者: Vadim Alekseev (Technische Universität Dresden), Stefan Drigalla (Universität Leipzig)
分类: math.GR (Group Theory), math.MG (Metric Geometry), math.OA (Operator Algebras)
发表时间: 2025年11月20日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2511.16515

摘要

本文证明了性质(T)群的每个sofic逼近都近似同构于一个具有几何性质(T)的逼近。更一般地，具有边界几何性质(T)的图盒空间(box space)近似同构于具有几何性质(T)的盒空间。文章还证明了有界度图序列近似同构于膨胀图的不交并，当且仅当Laplace算子在超积中具有谱间隙。最后，文章在Żuk关于群性质(T)判别准则的精神下，证明了几何性质(T)的局部几何判别准则。

研究背景与动机

问题背景

核心问题: 研究sofic群逼近的粗几何性质与群解析性质之间的关系。具体而言，对于具有Kazhdan性质(T)的群，其sofic逼近是否必然具有相应的几何性质(T)？
重要性:
- Kazhdan性质(T)是群论中的基本刚性性质，在表示论、遍历理论和几何群论中有广泛应用
- Willett和Yu在WY14中证明，对于剩余有限群，几何性质(T)是Kazhdan性质(T)在盒空间层面的正确对应
- 理解sofic逼近的几何性质对于研究非剩余有限群至关重要
现有方法的局限性:
- Kun Kun19证明了性质(T)群的每个sofic逼近近似同构于膨胀图序列，但膨胀性严格弱于几何性质(T)
- 前期工作AF19, AB21解决了可顺从群和a-T-menable群的情况，但性质(T)的情况仍未解决
- 现有结果主要关注"几乎处处"的性质，而非全局几何性质
研究动机:
- 完善sofic逼近理论框架，将性质(T)纳入统一理论
- 建立粗边界群胚的测度性质(T)与盒空间几何性质(T)之间的桥梁
- 为构造具有几何性质(T)的图序列提供判别准则

核心贡献

本文的主要贡献包括：

主要定理(Theorem A/5.5): 证明了具有几乎边界几何性质(T)的图盒空间近似同构于具有几何性质(T)的盒空间
Sofic逼近完整刻画(Theorem B/6.3): 对有限生成sofic群Γ，以下等价：
- Γ具有性质(T)
- Γ的每个sofic逼近具有几乎边界几何性质(T)
- Γ存在具有几何性质(T)的sofic逼近
谱间隙刻画(Theorem C/5.4): 盒空间在超积中具有谱间隙当且仅当它近似同构于膨胀图
局部判别准则(Theorem D/7.4): 提供了类似Żuk准则的局部几何判别准则：若连接图Lx的第一正特征值λ₁(Lx) ≥ λ > 1/2在密度趋于1的子集上成立，则盒空间具有几乎边界性质(T)
测度群胚性质(T)理论: 引入了离散p.m.p.测度群胚的性质(T)定义，并证明其与标准Borel群胚的经典定义等价

方法详解

任务定义

输入:

图盒空间 X = ⊔ᵢXᵢ，其中(Xᵢ)是一致有界度有限图序列，|Xᵢ| → ∞
对于sofic逼近：有限生成群Γ = ⟨S⟩及其sofic逼近序列(Xᵢ)

输出:

判定X是否具有几何性质(T)
构造近似同构的具有几何性质(T)的盒空间X'

核心概念:

几何性质(T): Laplace算子Δ在极大一致Roe代数C*ᵤ,ₘₐₓ(X)中具有谱间隙
边界几何性质(T): Δ在边界群胚C*ₘₐₓ(∂G(X))中具有谱间隙
近似同构: 存在子图Yᵢ ⊆ Xᵢ和Y'ᵢ ⊆ X'ᵢ同构，且|Yᵢ|/|Xᵢ| → 1, |E(Yᵢ)|/|E(Xᵢ)| → 1

核心架构

文章的证明策略采用分层结构：

性质(T)群的sofic逼近
         ↓
几乎边界几何性质(T) (测度论性质)
         ↓
超积中的谱间隙
         ↓
近似同构于膨胀图 (Theorem 5.3)
         ↓
几何性质(T) (Proposition 3.4)

关键技术组件

1. 粗边界群胚框架

定义: 对于盒空间X，粗群胚定义为 $G(X) = \bigcup_{R>0} \overline{E_R} \subseteq \beta X \times \beta X$ 其中 $E_R = \{(x,y) \in X \times X: d(x,y) \leq R\}$ ，闭包在Stone-Čech紧化βX中取。

核心(core)构造: 对于Yᵢ ⊆ Xᵢ满足|Yᵢ|/|Xᵢ| → 1，定义 $Z = \text{core}(Y) = (\text{sat}(\partial\beta Y^c))^c$ 其中sat(A)是A的饱和集。核心Z是闭的、不变的、满测度的子集。

关键性质: $Z = \bigcap_{R>0} \partial\beta(B_R(Y^c))^c$

2. 测度群胚性质(T)

定义4.2: 离散p.m.p.测度群胚(G,μ)具有性质(T)，如果存在c > 0和有限多个双截面φ₁,...,φₙ生成G，使得对每个正规表示π:CG → B(H)和ξ ∈ H^π_⊥（不变向量的正交补），至少存在一个i使得 $\|(φ_i - Ψ(φ_i))ξ\| \geq c\|ξ\|$

关键结果(Proposition 4.5): 测度性质(T)等价于Laplace算子在每个正规表示中具有谱间隙

连接定理(Proposition 4.6): 若紧生成étale拓扑群胚G具有拓扑性质(T)，μ是G⁽⁰⁾上的不变测度，则(G,μ)具有测度性质(T)

3. 超积中谱间隙的刻画

Markov算子: 定义 $M = 1 - \frac{1}{2d}\Delta \in C[X]$

关键引理(Lemma 5.8): 若X在超积中具有谱间隙c，则对任意ε > 0, δ > 0, k ∈ ℕ，存在I ∈ u使得对所有i ∈ I和μᵢ(T) ≥ δ的T ⊆ Xᵢ： $\|M^{k+1}χ_T - M^k χ_T\| \leq ((1-c_M)^k + ε)\|Mχ_T - χ_T\|$ 其中 $c_M = c/2d$ 。

分解定理(Proposition 5.11): 存在常数C > 0使得对任意α > 0，存在I ∈ u使得每个Xᵢ (i ∈ I)可分解为 $X_i = \bigsqcup_{\ell=0}^{L_i} P^\ell_i$ 满足：

|P⁰ᵢ| < α|Xᵢ|（"坏"部分）
对ℓ ≥ 1：|∂P^ℓᵢ| < α|P^ℓᵢ|（小边界）
对ℓ ≥ 1和T ⊆ P^ℓᵢ满足|T| ≤ |P^ℓᵢ|/2：|∂T| ≥ C|T|（内部膨胀）

4. 重新布线技术

引理5.12: 若P满足内部膨胀条件且|∂P|足够小，则通过添加/删除至多α|P|条边，再删除至多(α/C)|P|个顶点，可使P成为Cheeger常数至少C/6的连通图。

核心思想:

选择稀疏点集F ⊆ E(P,P)，距离至少2r = 8/C
将∂P中的边重新连接到F的端点
移除新产生的小连通分量

技术创新点

从测度性质到几何性质的提升:
- 关键创新在于处理"小测度"子集的膨胀性
- Kun的方法依赖于对任意小子集应用谱间隙，而本文只能对"大测度"子集应用
- 通过引入"好"/"坏"子集的二分法和精细的测度估计解决这一困难
核心构造的精确控制:
- 核心Z = core(Y)的构造保证了几何和测度性质的兼容性
- 引理2.24证明近似同构保持核心结构：∂G(X)|W ≅ ∂G(X')|{W'}
分解-重构范式:
- 第一步：通过Proposition 5.11将图分解为几乎膨胀的部分
- 第二步：通过Lemma 5.12的重新布线技术修正为真正的膨胀图
- 关键：证明重构后的空间仍保持近似同构关系
局部到全局的提升机制:
- Theorem 7.4通过局部连接图Lₓ的谱信息推导全局几何性质(T)
- 使用平方和表示：证明Δ²_τ - cΔ_τ是CX中的平方和
- 权重Laplace算子Δ_τ的引入是关键技术创新

实验设置

注: 本文是纯理论数学论文，不包含实验部分。所有结果都是严格的数学定理及其证明。

示例构造

Example 2.18:

取性质(T)群Γ（如SL(n,ℤ), n ≥ 3）的盒空间X = ⊔ᵢXᵢ
通过在两个Xᵢ副本间添加一条边构造X'ᵢ
X'不是膨胀图（因为连通），但具有几乎边界性质(T)
X'近似同构于具有几何性质(T)的（非连通）膨胀图

Example 6.4: 构造了一个复杂的sofic逼近示例

Γ = SL(n,ℤ)的膨胀sofic逼近X'ᵢ
Λ = 自由群的膨胀盒空间(Yᵢ)，|Yᵢ|/|X'ᵢ| → 0
定义Xᵢ = X'ᵢ ⊔ Yᵢ并适当连接
证明Xᵢ是膨胀序列且具有几何性质(T)
但存在不变子集"来自Λ的逼近"，展示了结构的复杂性

实验结果

主要理论结果

Theorem 5.5（主要结果）: 具有几乎边界性质(T)的盒空间X近似同构于具有几何性质(T)的盒空间X'。

证明路径:

由Corollary 5.4：X近似同构于膨胀图X''
由Proposition 2.25：X''具有几乎边界性质(T)
由Theorem 3.8：X''近似同构于具有几何性质(T)的X'

Theorem 6.3（Sofic群刻画）: 对有限生成sofic群Γ，以下等价：

(i) Γ具有性质(T)
(ii) Γ的每个sofic逼近具有几乎边界几何性质(T)
(iii) Γ存在具有几何性质(T)的sofic逼近

谱间隙定量估计（Remark 3.5）: 若膨胀常数为C，则几何性质(T)的谱间隙至少为 $\frac{c^2}{144d^2}$

判别准则的应用

Theorem 7.4的具体形式: 若连接图Lₓ满足λ₁(Lₓ) ≥ λ > 1/2在密度→1的子集上，则：

谱间隙至少为 c = 2 - 1/λ
对应Kazhdan常数 ε = √(2c)

与Żuk准则的对应: 群的情况下，link L(Γ,S)的λ₁ > 1/2即可推出性质(T)；盒空间情况需要"几乎处处"版本。

关键引理的定量结果

Proposition 5.10:

存在常数 C = c²_M/72
对任意α > 0，存在K使得"坏"子集T可被"好"子集U替换
|U△T| < |T|/4，|∂U| < α|U|

Lemma 5.9（水平集估计）: 对0 < a < b < 1和f ∈ ℓ²G，存在t ∈ (a,b)使得U = {f > t}满足 $|∂U|^2 \leq \frac{4d^2}{a^2(b-a)^2}\|Mf-f\|\|f\|^3$

结论与讨论

主要结论

完整刻画定理: 对于性质(T)群，sofic逼近的"几何化"是可能的——每个sofic逼近都近似同构于具有几何性质(T)的逼近
谱间隙的充要性: 超积中的谱间隙精确刻画了近似同构于膨胀图的性质
局部-全局原理: 通过局部连接图的谱信息可以推导全局几何性质(T)
测度-几何桥梁: 建立了测度群胚性质(T)与几何性质(T)之间的系统联系

局限性

连通性假设:
- Proposition 3.4需要Xᵢ连通的假设
- Example 3.7展示了这个假设的必要性
- 但Theorem 3.8通过分解技术绕过了这个限制
谱间隙的定量估计:
- Remark 3.5给出的下界 $\frac{c^2}{144d^2}$ 可能不是最优的
- 与原始谱间隙c的关系涉及较大常数因子
判别准则的充分性:
- Theorem 7.4只给出了充分条件
- Question 8.2询问是否可以刻画为充要条件
扩散性与原子性:
- 文章主要关注扩散情况，原子情况相对简单
- Example 6.4展示了复杂结构的存在