[论文解读] Invariants of hyperbolic 3-manifolds in relative group homology

José Antonio Arciniega-Nevárez, José Luis Cisneros‐Molina|arXiv (Cornell University)|Mar 12, 2013

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

一句话总结

该论文为有限体积的完备、定向双曲3-流形 M 构造了一个在 Adamson 相对群上同调 H₃([PSL₂(ℂ):P̄];ℤ) 中的明确定义的不变量 βₚ(M)，使用子群族的分类空间。它表明 Zickert 的 Takasu 相对上同调中的类 F(M) 在一个典范同态下映射到 βₚ(M)，从而导出计算 M 的体积和陈-西蒙斯不变量的简化、更高效的公式。

ABSTRACT

Let $M$ be a complete oriented hyperbolic $3$--manifold of finite volume. Using classifying spaces for families of subgroups we construct a class $β_P(M)$ in the Adamson relative homology group $H_3([PSL_2(\mathbb{C}):\bar{P}];\mathbb{Z})$, where $\bar{P}$ is the subgroup of parabolic transformations which fix $\infty$ in the Riemann sphere. We also prove that the classes $F(M)$ in the Takasu relative homology groups $H_3(PSL_2(\mathbb{C}),\bar{P};\mathbb{Z})$ constructed by Zickert, which are not well-defined and depend of a choice of decorations by horospheres, are all mapped to $β_P(M)$ via a canonical comparison homomorphism $H_3(PSL_2(\mathbb{C}),\bar{P};\mathbb{Z}) o H_3([PSL_2(\mathbb{C}):\bar{P}];\mathbb{Z})$. To do this, we simplify the construction of the classes $F(M)$ using a simpler complex which computes $H_3(PSL_2(\mathbb{C}),\bar{P};\mathbb{Z})$, getting a simple simplicial formula for $F(M)$, which in turn gives a simpler and more efficient formula to compute the volume and Chern--Simons invariant than the one given by Zickert. The constructions can be extended for any boundary-parabolic $PSL_2(\mathbb{C})$-representation.

研究动机与目标

• 为有限体积双曲3-流形 M 构造 Adamson 相对群上同调 H₃([PSL₂(ℂ):P̄];ℤ) 中明确定义的不变量 βₚ(M)。
• 解决 Zickert 的类 F(M) 在 Takasu 相对上同调中因水平球装饰而产生的歧义。
• 建立从 Takasu 相对上同调到 Adamson 相对上同调的典范比较同态，使得 F(M) 映射到 βₚ(M)。
• 通过一个新复形简化 F(M) 的单纯公式，从而实现体积和陈-西蒙斯不变量的更高效计算。
• 将构造推广至边界抛物的 PSL₂(ℂ)-表示，并通过 Rogers 二对数关联不变量与复体积。

提出的方法

• 使用各稳定子子群族的分类空间来定义 Adamson 相对上同调群 H₃([PSL₂(ℂ):P̄];ℤ)。
• 利用几何表示 ρ: π₁(M) → PSL₂(ℂ) 构造一个典范映射 ψ̂ₚ: M̂ → Bℱ(𝑃̄)(PSL₂(ℂ))。
• 将 βₚ(M) 定义为在同调中由基本类诱导的映射的像。
• 通过简化 Zickert 的截断单纯形复形，推导出 H₃(PSL₂(ℂ),P̄;ℤ) 中 F(M) 的新、更简单的单纯公式。
• 建立从 H₃(PSL₂(ℂ),P̄;ℤ) 到 H₃([PSL₂(ℂ):P̄];ℤ) 的典范比较同态，使得 F(M) 映射到 βₚ(M)。
• 对 βₚ(M) 应用 Rogers 二对数同态 ŝL，以计算复体积，从而将其与 M 的陈-西蒙斯不变量和体积关联。

实验结果

研究问题

• RQ1 能否为有限体积双曲3-流形构造一个在 Adamson 相对上同调中明确定义的不变量 βₚ(M)，且独立于装饰选择？
• RQ2 依赖于水平球装饰的 Zickert 的类 F(M) 与新不变量 βₚ(M) 之间有何关系？
• RQ3 是否存在从 Takasu 相对上同调到 Adamson 相对上同调的典范同态，使得 F(M) 映射到 βₚ(M)？
• RQ4 新推导的 F(M) 的单纯公式是否能实现比 Zickert 原始公式更高效的体积和陈-西蒙斯不变量计算？
• RQ5 该构造能否推广至边界抛物表示，并通过 Rogers 二对数计算复体积？

主要发现

• 类 βₚ(M) ∈ H₃([PSL₂(ℂ):P̄];ℤ) 是有限体积双曲3-流形 M 的一个明确定义的不变量，通过子群族的分类空间构造而成。
• 依赖于水平球装饰的 Zickert 的类 F(M) ∈ H₃(PSL₂(ℂ),P̄;ℤ) 在一个典范比较同态下映射到 βₚ(M)。
• 推导出 F(M) 的新、简化单纯公式，使得体积和陈-西蒙斯不变量的计算效率高于 Zickert 的原始工作。
• 对 βₚ(M) 应用 Rogers 二对数同态 ŝL，得到复体积 i( Vol(M) + i CS(M) )，与 Neumann 的公式一致。
• 该构造可推广至边界抛物表示 ρ: π₁(M) → PSL₂(ℂ)，得到可由发展映射计算的不变量 β_B(ρ) 和 β_T(ρ)。
• 若存在一个同态 H₃([PSL₂(ℂ):P̄];ℤ) → H₃(PSL₂(ℂ);ℤ)，则 βₚ(M) 的像将恢复 PSL₂(ℂ)-基本类 [M]_PSL，尽管目前尚未构造出这样的同态。