[论文解读] Random Unitary Representations of Surface Groups II: The large $n$ limit

Michael Magee|Durham Research Online (Durham University)|Jan 8, 2021

Geometric and Algebraic Topology被引用 5

一句话总结

本文证明，对于亏格 g ≥ 2 的曲面基本群的随机酉表示（取值于 SU(n)），当 n → ∞ 时，任意非单位元群元素的期望迹保持有界。通过结合 Dehn 的字问题技术与经典不变量理论，作者证明这些表示在大 n 极限下渐近满足 Voiculescu 的自由独立性条件，将他的结果从自由群推广至曲面群。

ABSTRACT

Let $Σ_{g}$ be a closed surface of genus $g\geq 2$ and $Γ_{g}$ denote the fundamental group of $Σ_{g}$. We establish a generalization of Voiculescu's theorem on the asymptotic $*$-freeness of Haar unitary matrices from free groups to $Γ_{g}$. We prove that for a random representation of $Γ_{g}$ into $\mathsf{SU}(n)$, with law given by the volume form arising from the Atiyah-Bott-Goldman symplectic form on moduli space, the expected value of the trace of a fixed non-identity element of $Γ_{g}$ is bounded as $n o\infty$. The proof involves an interplay between Dehn's work on the word problem in $Γ_{g}$ and classical invariant theory.

研究动机与目标

• 将 Voiculescu 对自由群中哈尔酉矩阵的渐近 *-自由性结果，推广至曲面群。
• 分析 Γg = π1(Σg) 在 SU(n) 中的随机表示在大 n 极限下的行为，其中配备 Atiyah-Bott-Goldman 辛形式度量。
• 证明任意非单位元 γ ∈ Γg 的期望迹在 n → ∞ 时保持一致有界。
• 建立曲面群表示的非交换概率论中渐近自由性的类比。
• 将拓扑方法（Dehn 的字问题）与不变量理论（Weingarten 计算）统一，以控制迹期望。

提出的方法

• 利用模空间 M_{g,n} = Hom(Γg, SU(n))^{irr}/PSU(n) 上的 Atiyah-Bott-Goldman 辛形式，定义自然的概率测度。
• 应用 Weingarten 计算，通过特征理论与杨图组合学，在 SU(n) 上对积分计算期望迹。
• 通过匹配数据与手术操作，将曲面字分解为片段与圆盘，以分析迹的贡献。
• 利用 Dehn 关于曲面群字问题的结果，确保非单位元元素具有复杂度受控的循环约化表示。
• 应用投影公式与组合积分恒等式，将迹期望简化为对杨图对 (μ,ν) 的求和，系数为 D_{[μ,ν]}(n) 与 J_n(w,[μ,ν])。
• 通过分析 RR-圆盘、WR-弧与拓扑欧拉示性数的贡献，建立迹期望的有界性，最终得到一致的 O(1) 有界性。

实验结果

研究问题

• RQ1 在 SU(n) 中，随机曲面群表示下，非单位元元素的期望迹在 n → ∞ 时是否保持有界？
• RQ2 Voiculescu 对自由群的渐近 *-自由性结果能否推广至曲面群？
• RQ3 曲面字的拓扑性质（如循环约化、字长）如何影响大 n 表示中的迹期望？
• RQ4 Atiyah-Bott-Goldman 辛结构在控制迹矩增长方面起什么作用？
• RQ5 如何将不变量理论与拓扑组合学结合，以分析非自由群的随机表示？

主要发现

• 对于任意非单位元 γ ∈ Γg（g ≥ 2），期望迹 E_{g,n}[tr_γ] 在 n 上一致有界，即当 n → ∞ 时，E_{g,n}[tr_γ] = O_γ(1)。
• 即使 γ 属于交换子群 [Γg, Γg]，该有界性依然成立，将结果扩展至自由群情形之外。
• 证明依赖于将曲面字分解为片段与圆盘的拓扑结构，通过欧拉示性数与弧-边关联关系分析其贡献。
• RR-圆盘的贡献受其数量控制，且总欧拉示性数满足 ≤ -(k+ℓ)，其中 k 与 ℓ 为字长参数。
• 渐近行为由 Weingarten 计算与特征理论控制，迹期望表达为对杨图对 (μ,ν) 的求和，系数 D_{[μ,ν]}(n) 与 J_n(w,[μ,ν]) 在 n 上为 O(1)。
• zeta 函数 ζ(2g−2;n) → 1 当 n → ∞，因此归一化因子不影响 O(1) 有界性。