[论文解读] On property (T) for $\operatorname{Aut}(F_n)$ and $\operatorname{SL}_n(\mathbb{Z})$

Marek Kaluba, Dawid Kielak+1 more|arXiv (Cornell University)|Dec 9, 2018

Advanced Topology and Set Theory参考文献 16被引用 5

一句话总结

该论文证明了当所有 n ≥ 6 时，Aut(Fₙ) 具有 Kazhdan 的性质 (T)，结合先前的工作后，完成了对所有 n ≥ 5 的分类证明。通过使用半定规划寻找群代数中拉普拉斯元素的平方和分解，作者推导出 Kazhdan 常数的显式下界，并表明 SAut(Fₙ) 和 SLₙ(ℤ) 的 Kazhdan 半径均不超过 2。

ABSTRACT

We prove that $\operatorname{Aut}(F_n)$ has Kazhdan's property (T) for every $n \geqslant 6$. Together with a previous result of Kaluba, Nowak, and Ozawa, this gives the same statement for $n\geqslant 5$. We also provide explicit lower bounds for the Kazhdan constants of $\operatorname{SAut}(F_n)$ (with $n \geqslant 6$) and of $\operatorname{SL}_n(\mathbb{Z})$ (with $n \geqslant 3$) with respect to natural generating sets. In the latter case, these bounds improve upon previously known lower bounds whenever $n > 6$.

研究动机与目标

• 证明当 n ≥ 6 时，Aut(Fₙ) 具有 Kazhdan 的性质 (T)，从而完成对所有 n ≥ 5 的分类。
• 针对自然生成集，为 SAut(Fₙ)（n ≥ 6）和 SLₙ(ℤ)（n ≥ 3）提供 Kazhdan 常数的显式下界。
• 证明 SAut(Fₙ) 和 SLₙ(ℤ) 的 Kazhdan 半径在给定的 n 范围内均不超过 2。
• 通过在交错群上的对称化，将群代数中的平方和分解方法推广至无限群族。
• 使用 Julia 中的 SCS 求解器和 JuMP 建模语言，通过半定规划验证并复现数值结果。

提出的方法

• 利用 Ozawa 对性质 (T) 的刻画：存在平方和分解 Δ² − λΔ = ∑ ξᵢ*ξᵢ 在 ℝG 中成立。
• 通过交错群对基元素的作用应用对称化技术，将问题约化为有限维群代数。
• 使用半定规划数值求解对应于群代数元素的平方和分解的正定矩阵。
• 通过 Julia 中的 JuMP 建模语言调用 SCS 求解器，计算 ℝ[SAut(Fₙ)] 和 ℝ[SLₙ(ℤ)] 中元素的近似平方和分解。
• 应用命题 4.1，基于在 n=5 处验证的单一分解，将局部分解扩展至所有 n ≥ 103 的全局性质 (T)。
• 通过预计算的数据和 Jupyter 笔记本（包括轨道分解和乘法表）验证结果，适用于 SLₙ(ℤ) 和 SAut(Fₙ)。

实验结果

研究问题

• RQ1 当 n ≥ 6 时，Aut(Fₙ) 是否满足 Kazhdan 的性质 (T)？
• RQ2 SAut(Fₙ) 和 SLₙ(ℤ) 在标准生成集下的 Kazhdan 常数的显式下界是什么？
• RQ3 SAut(Fₙ) 和 SLₙ(ℤ) 的 Kazhdan 半径是否可分别在 n ≥ 6 和 n ≥ 3 时被上界控制为 2？
• RQ4 能否通过群代数中的平方和分解结合对称化方法，证明无限群族的性质 (T)？
• RQ5 数值半定规划在多大程度上能以高置信度验证 Aut(Fₙ) 和 SLₙ(ℤ) 等群的性质 (T)？

主要发现

• 当所有 n ≥ 6 时，Aut(Fₙ) 具有 Kazhdan 的性质 (T)，结合先前结果后，对所有 n ≥ 5 成立。
• 为 SAut(Fₙ)（n ≥ 6）和 SLₙ(ℤ)（n ≥ 3）提供了 Kazhdan 常数的显式下界，对 n > 6 的情况优于以往结果。
• SAut(Fₙ) 和 SLₙ(ℤ) 的 Kazhdan 半径分别在所有 n ≥ 6 和 n ≥ 3 时均不超过 2。
• 成功计算了 I·SAut(F₅) 中元素 Adj₅ + 2Op₅ − 0.28Δ 的平方和分解，确认了 SAut(Fₙ) 在 n ≥ 103 时具有性质 (T)。
• Adj₅ + 1.5Op₅ 的优化问题在数值上条件良好，收敛速度优于较小的 n，表明在更大群中具有更好的稳定性。
• 通过开源 Julia 代码、Jupyter 笔记本和 Zenodo 上托管的数据，支持结果的复现，可验证所有计算过程。