[论文解读] Local coordinates for SL(n,C) character varieties of finite volume hyperbolic 3-manifolds

Pere Menal-Ferrer, Joan Porti|arXiv (Cornell University)|Nov 18, 2011

Geometric and Algebraic Topology参考文献 4被引用 13

一句话总结

本文通过将单值化提升与 SL(2,C) 的 n 维不可约表示复合，构造了有限体积双曲 3-流形的 SL(n,C)-特征簇的显式局部坐标。证明了该表示的特征在所有在边界处为幂幺的表示中是孤立的，并利用边界元素上的迹的对称多项式建立了局部全纯微分同构，推广了 Kapovich 对 n=2 的结果。

ABSTRACT

Given a finite volume hyperbolic 3-manifold, we compose a lift of the holonomy in SL(2,C) with the n-dimensional irreducible representation of SL(2,C) in SL(n,C). In this paper we give local coordinates of the SL(n,C)-character variety around this representation. As a corollary, this representation is isolated among all representations that are unipotent at the cusps.

研究动机与目标

• 为通过将单值化提升与 SL(2,C) 的 n 维不可约表示复合得到的表示周围的 SL(n,C)-特征簇提供显式局部坐标。
• 证明该表示的特征在所有在边界子群处为幂幺的表示中是孤立的。
• 通过证明边界元素上的迹函数构成局部坐标系，将 Kapovich 对 n=2 的结果推广至任意 n ≥ 2。

提出的方法

• 使用 n 维不可约表示 ςₙ: SL(2,C) → SL(n,C)，其作为 C² 的 (n−1)-阶对称幂实现。
• 利用李代数作用与表示 ςₙ，在边界处构造显式的无穷小形变 1-形式。
• 在边界上定义微分形式 ωᵢ，以描述表示形变空间的切空间。
• 计算对称多项式 σᵢ^γ（ρ(γ) 的 i 阶初等对称函数的迹）关于这些形变形式的导数。
• 通过基于 ςₙ(𝑓) 和 ςₙ(𝑔) 构造的幂零矩阵上的迹计算，证明 σᵢ^γ 关于 ωᵢ 的导数矩阵满秩。
• 应用全纯隐函数定理，得出结论：映射 (σ₁^{γ₁}, ..., σ_{n−1}^{γₗ}) 在 χₙ 处是局部全纯微分同构。

实验结果

研究问题

• RQ1 能否在有限体积双曲 3-流形的 SL(n,C)-特征簇上，围绕由单值化提升与 n 维表示复合得到的表示，显式构造局部坐标？
• RQ2 该特征 χₙ 在所有在边界子群处为幂幺的表示中是否孤立？
• RQ3 对于 n > 2，边界元素上的对称多项式 σᵢ^γ 是否构成 χₙ 附近的局部坐标系？
• RQ4 单值化提升的无穷小形变在 n 维表示下的行为如何？其在特征簇中起什么作用？
• RQ5 χₙ 处特征簇的切空间结构是怎样的？其与边界迹有何关联？

主要发现

• 从特征簇到 C^{l(n−1)} 的映射 (σ₁^{γ₁}, ..., σ_{n−1}^{γₗ}) 在 χₙ 处是局部全纯微分同构，提供了显式局部坐标。
• 特征 χₙ 在所有在边界子群处为幂幺的表示中是孤立的，确认了其在特征簇中的刚性。
• 边界元素 γ₁, ..., γₗ 上的对称多项式 σᵢ^γ 构成 χₙ 附近的局部坐标系，且该映射的雅可比矩阵满秩。
• 无穷小形变由显式微分 1-形式 ωᵢ 描述，这些形式通过表示 ςₙ 与李代数作用构造。
• 编码 σᵢ^γ 导数的多项式 Qᵢ^γ(λ) 线性无关，且张成所有次数 ≤ n−1 且被 λ 整除的多项式空间，确保了坐标独立性。
• 当 n=2 时，结果恢复了 Kapovich 定理：变形空间 X(M,SL(2,C)) 局部由边界元素的迹参数化。