[论文解读] The variety of characters in PSL(2,C)

Michael Heusener, Joan Porti|arXiv (Cornell University)|Feb 7, 2003

Geometric and Algebraic Topology参考文献 10被引用 31

一句话总结

本文研究了到 PSL(2,C) 的表示的特征簇的代数几何，建立了表示模共轭的商空间与特征簇之间的自然双射。证明了对任意 n，存在具有环面边界的一类 3-流形，其特征簇至少包含 n 个不可约的一维分支，且这些分支无法提升到 SL(2,C)，并精确刻画了秩 ≥3 的自由群的特征簇的奇异点集，即 Ad-可约特征的集合。

ABSTRACT

We study some basic properties of the variety of characters in PSL(2,C) of a finitely generated group. In particular we give an interpretation of its points as characters of representations. We construct 3-manifolds whose variety of characters has arbitrarily many components that do not lift to SL(2,C). We also study the singular locus of the variety of characters of a free group.

研究动机与目标

• 建立对有限生成群的 PSL(2,C)-特征簇的基石性理解。
• 澄清特征簇中点的几何与代数解释，即表示的特征。
• 构造具有任意多不可约分支的 3-流形，这些分支无法提升到 SL(2,C)。
• 刻画秩 ≥3 的自由群的特征簇的奇异点集。
• 分析从 PSL(2,C) 到 SL(2,C) 的表示的提升问题，尤其关注与 Ad-可约性相关的问题。

提出的方法

• 使用不变量理论，将特征簇 X(Γ) 定义为代数商 R(Γ)//PSL(2,C)，其中 R(Γ) 是表示簇。
• 通过迹映射，建立 X(Γ) 与特征 χρ(γ) = tr²(ρ(γ)) 的集合之间的自然双射。
• 应用上同调技术，特别是 H¹(Fₙ, Ad∘ρ)，以分析 X(Γ) 的切空间与奇点。
• 利用 sl₂(C) 分解为 h₀ ⊕ (h₊ ⊕ h₋) 的结构，研究稳定子 Stabρ 在上同调上的作用。
• 分析稳定子群在 H¹(Fₙ, Ad∘ρ) 上的作用，以确定商空间何时为奇异。
• 利用 PSL(2,C) ≅ SO₃(C) 的事实，将表示空间的代数结构与正交几何联系起来。

实验结果

研究问题

• RQ1 PSL(2,C)-特征簇 X(Γ) 中的点的精确几何解释是什么？
• RQ2 在哪些表示中，X(Γ) 中的特征无法提升到 SL(2,C)，并且此类分支的数量可以达到多少？
• RQ3 对于秩 n ≥ 3 的自由群 Fₙ，特征簇 X(Fₙ) 的奇异点集结构如何？
• RQ4 表示的 Ad-可约性如何影响特征簇中对应点的光滑性？
• RQ5 能否构造具有环面边界、其特征簇包含任意多不可约分支且无法提升到 SL(2,C) 的 3-流形？

主要发现

• PSL(2,C)-特征簇 X(Γ) 的点与表示 ρ: Γ → PSL(2,C) 的特征之间存在自然双射，其中 χρ(γ) = tr²(ρ(γ))。
• 对每个正整数 n，存在一个紧致不可约的 3-流形 M，其边界为环面，使得 X(M) 至少包含 n 个不可约的一维分支，其特征无法提升到 SL(2,C)。
• 对于秩 n ≥ 3 的自由群 Fₙ，X(Fₙ) 的奇异点集恰好是 Ad-可约特征的集合。
• 当表示不可约但 Ad-可约时，特征簇 X(Fₙ) 在对应点处为奇异，原因在于上同调上稳定子作用非平凡。
• 当且仅当 ρ 为 Ad-可约时，特征 χρ ∈ X(Fₙ) 处的 Zariski 切空间的维数严格大于 3n−3，这表明该点为奇异点。
• 当 n ≥ 3 时，X(Fₙ, SL(2,C)) 的奇异部分恰好是可约特征的集合，其结构与 PSL(2,C) 情况一致。