[论文解读] The bounded Borel class and complex representations of 3-manifold groups

Michelle Bucher, Marc Burger+1 more|arXiv (Cornell University)|Dec 10, 2014

Geometric and Algebraic Topology参考文献 17被引用 12

一句话总结

本文引入了一种针对 3-流形基本群到 PSL(n,C) 的表示的有界 Borel 类不变量，该不变量基于 Goncharov 的旗不变量导出的有界上循环。证明了该不变量在表示共轭于 PSL(2,C) 的不可约 n 维复表示时达到其最大值，建立了类似于 Milnor–Wodzicki 的不等式，且在双曲体积与群的 Gromov 范数下具有精确的上界。

ABSTRACT

If $Γ

研究动机与目标

• 通过有界上同调定义 3-流形群到 PSL(n,C) 的表示的连续有界不变量。
• 克服在具有锥点的非紧双曲 3-流形上定义 Borel 不变量的困难。
• 在双曲体积与群的 Gromov 范数下，为该不变量建立精确的上界。
• 识别出使不变量达到最大值的表示，即共轭于 PSL(2,C) 的不可约 n 维表示的那些表示。
• 研究 PSL(n,C) 在度数 3 的有界上同调，识别 Borel 类为生成元并给出其显式范数。

提出的方法

• 将 Borel 不变量 B(ρ) 定义为在 3-流形 M 的紧核心 N 的相对基本类上拉回有界类 βb(n) 的取值。
• 在 Cn 中 4-元旗的集合上使用一个有界上循环，推广 Goncharov 的不变量 Bn。
• 通过 Γ-等变装饰 ϕ: ∂H³ → F(Cn) 构造不变量，使 B(ρ) 可表示为对三角剖分中理想四面体的求和公式。
• 利用有界上同调技术及 Monod 的稳定性结果分析 H3cb(PSL(n,C), R)。
• 证明作用于边界上的更大群 Γξ 的遍历性，从而通过测度论方法获得刚性结果。
• 通过旗的对偶设定（Cn 中的平面与直线）定义并分析上循环，与 Falbel 和 Wang 的工作进行显式比较。

实验结果

研究问题

• RQ1 对于有限体积双曲 3-流形的基本群 Γ 的表示 ρ: Γ → PSL(n,C)，Borel 不变量 B(ρ) 的最大值是什么？
• RQ2 哪些表示 ρ ∈ Hom(Γ, PSL(n,C)) 达到该最大值？
• RQ3 如何为具有可约边界基本群的非紧 3-流形定义并计算 Borel 不变量？
• RQ4 有界上同调群 H3cb(PSL(n,C), R) 的结构是什么？Borel 类是否为生成元？
• RQ5 有界类 βb(n) 在 SL(n−1,C) 嵌入 SL(n,C) 时的限制如何？在不可约表示 πn: SL(2,C) → SL(n,C) 下的限制又如何？

主要发现

• Borel 不变量满足不等式 |B(ρ)| ≤ n(n²−1)/6 · Vol(M)，等号成立当且仅当 ρ 共轭于不可约 n 维表示 πn|Γ 或其复共轭表示。
• 有界类 βb(n) ∈ H3cb(PSL(n,C), R) 是有界上同调群的生成元，其 Gromov 范数为 ‖βb(n)‖ = n(n²−1)/6 · v3，其中 v3 是 H³ 中最大理想四面体的体积。
• 不变量 B(ρ) 具有明确的公式：B(ρ) = ∑ᵢ Bn(ϕ(P₀ⁱ), ϕ(P₁ⁱ), ϕ(P₂ⁱ), ϕ(P₃ⁱ))，其中对理想三角剖分求和，对任意装饰 ϕ 成立，无需一般性或重心剖分条件。
• 有界类 βb(n) 在左角嵌入 SL(n−1,C) → SL(n,C) 下限制为 βb(n−1)，在不可约表示 πn: SL(2,C) → SL(n,C) 下限制为 (n(n²−1)/6)·βb(2)。
• 群 Γξ = ⟨Λξ, γξ⟩ 在 Isom(H³) 上作用遍历，从而通过测度论方法证明了装饰的刚性。
• 定义 βb(n) 的有界上循环可延拓至旗的退化构型，推广了 Goncharov 的构造，从而在完全一般的情形下定义了该不变量。