[論文レビュー] 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 相対ホモロジーから Adamson 相対ホモロジーへの自然な比較準同型を確立し、F(M) を βₚ(M) へ写すこと。
• 新しい複体を用いて Zickert の単体的公式を簡略化し、体積およびチャーン・シモンズ不変量の計算をより効率的に行えるようにすること。
• 境界的平行な PSL₂(ℂ)-表現への構成の拡張を行い、Rogers の二重対数関数を用いて複素体積と関連づけること。

提案手法

• 同型部分群の族の分類空間を用いて、Adamson 相対ホモロジー群 H₃([PSL₂(ℂ):P̄];ℤ) を定義する。
• 幾何的表現 ρ: π₁(M) → PSL₂(ℂ) を用いて、写像 ψ̂ₚ: M̂ → Bℱ(𝑃̄)(PSL₂(ℂ)) を自然に構成する。
• 誘導されたホモロジー写像による基本類の像として βₚ(M) を定義する。
• Zickert の切断された単体の複体を簡略化し、H₃(PSL₂(ℂ),P̄;ℤ) における F(M) の新しい単体的公式を導出する。
• F(M) を βₚ(M) へ写す自然な比較準同型 H₃(PSL₂(ℂ),P̄;ℤ) → H₃([PSL₂(ℂ):P̄];ℤ) を確立する。
• βₚ(M) に Rogers の二重対数関数準同型 ŝL を適用し、複素体積 i( Vol(M) + i CS(M) ) を得る。これにより、Neumann の公式と一致する。

実験結果

リサーチクエスチョン

• RQ1 水平球装飾の選択に依存しない、有限体積の双曲3次元多様体 M に対して、Adamson 相対ホモロジーにおける明確に定義された不変量 βₚ(M) を構成できるか？
• RQ2 水平球装飾に依存する Zickert の類 F(M) は、新しい不変量 βₚ(M) とどのように関係しているか？
• RQ3 Takasu 相対ホモロジーから Adamson 相対ホモロジーへの自然な準同型が存在し、F(M) を βₚ(M) へ写すか？
• RQ4 F(M) の新しい単体的公式は、Zickert の元の公式よりも体積およびチャーン・シモンズ不変量の計算をより効率的に行えるか？
• RQ5 この構成は境界的平行な表現 ρ: π₁(M) → PSL₂(ℂ) へ拡張可能であり、Rogers の二重対数関数を用いて複素体積を計算できるか？

主な発見

• H₃([PSL₂(ℂ):P̄];ℤ) に属する類 βₚ(M) は、部分群の族の分類空間を用いて構成された、有限体積の双曲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(ρ) を計算可能である。
• βₚ(M) が、仮定された準同型 H₃([PSL₂(ℂ):P̄];ℤ) → H₃(PSL₂(ℂ);ℤ) を通じて PSL₂(ℂ)-基本類 [M]_PSL を回復できるが、そのような準同型はまだ構成されていない。