[论文解读] Hyperbolic volume of representations of fundamental groups of cusped 3-manifolds

Stefano Francaviglia|ArXiv.org|May 19, 2003

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

一句话总结

本文建立了对带有锥点的3-流形的基本群到PSL(2,ℂ)的表示的双曲体积的良定义性，证明其仅依赖于表示本身，并可通过理想三角剖分的直线化方法进行计算。关键结果是一条刚性定理：若某表示的体积等于流形的双曲体积，则该表示是离散且忠实的，将莫斯特刚性定理推广至非紧致情形。

ABSTRACT

Let W be a compact manifold and let ρbe a representation of its fundamental group into PSL(2,C). The volume of ρis defined by taking any ρ-equivariant map from the universal cover of W to H^3 and then by integrating the pull-back of the hyperbolic volume form on a fundamental domain. It turns out that such a volume does not depend on the choice of the equivariant map. Dunfield extended this construction to the case of a non-compact (cusped) manifold M, but he did not prove the volume is well-defined in all cases. We prove here that the volume of a representation is always well-defined and depends only on the representation. We show that this volume can be easily computed by straightening any ideal triangulation of M. We show that the volume of a representation is bounded from above by the relative simplicial volume of M. Finally, we prove a rigidity theorem for representations of the fundamental group of a hyperbolic manifold. Namely, we prove that if M is hyperbolic and vol(ρ)=vol(M) then ρis discrete and faithful.

研究动机与目标

• 解决非紧致、带有锥点的3-流形表示的双曲体积的良定义性问题。
• 通过伪发展映射，将体积定义从紧致情形推广至带有锥点的3-流形。
• 建立通过直线化理想三角剖分计算体积的方法。
• 证明一条刚性定理：若表示的体积等于流形的双曲体积，则该表示是离散且忠实的。
• 提供一种基于双曲性方程解的3-流形双曲性的判定准则。

提出的方法

• 使用伪发展映射在非紧致情形下定义表示的体积。
• 引入等变映射与三角剖分的直线化概念。
• 对锥点应用锥构造，以确保可积性并控制体积行为。
• 依赖于在同伦下拉回上同调类的不变性，证明体积的独立性。
• 使用相对单纯体积作为表示体积的上界。
• 应用瑟斯顿的双曲化定理及双曲性方程的几何解的性质。

实验结果

研究问题

• RQ1 对于带有锥点的3-流形的基本群的表示，其双曲体积是否良定义，且与伪发展映射的选择无关？
• RQ2 能否通过直线化流形的理想三角剖分来计算表示的体积？
• RQ3 表示的体积与流形的相对单纯体积之间有何关系？
• RQ4 在何种条件下，表示体积与流形的双曲体积相等可推出离散性与忠实性？
• RQ5 双曲性方程存在非零体积解是否保证3-流形 admits 完全双曲结构？

主要发现

• 对于任意表示 ρ: π₁(M) → PSL(2,ℂ)，其体积是良定义的，且即使在非紧致、带有锥点的3-流形情形下，也与伪发展映射的选择无关。
• 通过直线化 M 的任意理想三角剖分，并对直线化后的单形体积求和，可计算表示的体积。
• 任意表示 ρ 的体积受 v₃ 乘以 (M, ∂M) 的相对单纯体积的上界控制，其中 v₃ 是ℍ³中正则理想单形的体积。
• 若 M 是一个完全的、有限体积的双曲3-流形，且 vol(ρ) = vol(M)，则 ρ 是离散且忠实的，且存在 φ ∈ PSL(2,ℂ) 使得 ρ(γ) = φ∘γ∘φ⁻¹。
• 双曲性方程存在非零体积解，意味着存在几何解（即存在完全双曲结构），且体积最大的解是几何解。
• 若某一三角剖分的所有双曲性方程解的体积均为零，则该流形不是双曲的，从而提供了一个非双曲性的判定准则。