[論文レビュー] Twisted Alexander invariant and non-abelian Reidemeister torsion for hyperbolic three-dimensional manifolds with cusps

Jérôme Dubois, Yoshikazu Yamaguchi|arXiv (Cornell University)|Jun 8, 2009

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

ひとこと要約

本稿は、穴あき付きの双曲的3次元多様体に対して、ねじれアレクサンダー不変量と非アーベルリードマイスター torsion（双曲的 torsion）を結ぶ一般化された導出公式を確立する。トポロジー的・準同型的・表現的条件を課すことにより、ねじれアレクサンダー多項式の多変数導出が符号を除き非アーベルリードマイスター torsion に一致することを証明し、不変量がローレンツ多項式であることを示す。この枠組みをホワイトヘッドリンク外部の torsion の計算に応用し、ドゥンフィリングの極限挙動の研究が可能になる。

ABSTRACT

We study a computational method of the hyperbolic Reidemeister torsion (also called in the literature the non-abelian Reidemeister torsion) induced by J. Porti for complete hyperbolic three-dimensional manifolds with cusps. The derivative of the twisted Alexander invariant for a hyperbolic knot exterior gives the hyperbolic torsion. We prove such a derivative formula of the twisted Alexander invariant for hyperbolic link exteriors like the Whitehead link exterior. We provide the framework for the derivative formula to work, which consists of assumptions on the topology of the manifold and on the representations involved in the definition of the twisted Alexander invariant, and prove derivative formula in that context. We also explore the symmetry properties (with sign) of the twisted Alexander invariant and prove that it is in fact a polynomial invariant, like the usual Alexander polynomial.

研究の動機と目的

• ねじれアレクサンダー不変量の導出公式を、リンク外部、特にホワイトヘッドリンクに対して拡張し、非アーベルリードマイスター torsion を計算すること。
• ねじれアレクサンダー不変量の導出が非アーベルリードマイスター torsion を与えるための、正確なトポロジー的および表現論的条件を同定すること。
• 適切な仮定の下で、初期には分数体 ℂ(t₁,…,tₙ) 内にあるとされるねじれアレクサンダー不変量が実際にローレンツ多項式であることを証明すること。
• 多変数ねじれアレクサンダー多項式を用いた非アーベルリードマイスター torsion の計算フレームワークを提供すること。
• 境界トーラスを持つ双曲的3次元多様体の文脈において、ねじれアレクサンダー不変量の対称性と多項式的性質の関係を明らかにすること。

提案手法

• 本フレームワークは3つの主要仮定に依存する：(A_M) 多様体 M は b 個のトーラスからなる境界を持つこと；(A_φ) 多変数を符号化する π₁(M) → ℤⁿ の全射準同型 φ が存在すること；(A_ρ) 表現の文字多様体の幾何的成分に属する非可約 SL₂(ℂ)-表現 ρ が存在すること。
• 非アーベルリードマイスター torsion は、随伴表現 Ad∘ρ と多様体 M のホモロジー方向性を用いて定義される。
• 導出公式は、すべての変数 tᵢ → 1 の極限において、ねじれアレクサンダー不変量 Δ_M^{φ⊗Ad∘ρ}(t₁,…,tₙ) の導出を、積 ∏(t₁^{a₁^{(ℓ)}}⋯tₙ^{aₙ^{(ℓ)}} − 1) で正規化することで得られ、結果として (−1)ᵇ·𝕋ᴹ_λ(ρ) が得られる。
• 証明は、仮定のもとでのねじれ複体の構造と、複体の非退化性（acyclicity）に依拠し、非退化複体のリードマイスター torsion の導出を用いて torsion を計算できるようにする。
• 本稿は、φ と ρ に関する技術的条件のもとで、ねじれアレクサンダー不変量が ℂ[t₁^±¹,…,tₙ^±¹] に単項式因子を除いて含まれることを確立する。
• ホワイトヘッドリンク外部について詳細な計算が行われ、ドゥンフィリングにおける漸近的挙動の研究に本手法の有効性が示されている。

実験結果

リサーチクエスチョン

• RQ1 穴あき付きの双曲的3次元多様体に対して、多変数ねじれアレクサンダー不変量の導出が非アーベルリードマイスター torsion を計算するための、どのようなトポロジー的および表現論的条件下に成立するか。
• RQ2 初期には分数体 ℂ(t₁,…,tₙ) 内にあるとされるねじれアレクサンダー不変量が、φ と ρ に関する適切な仮定のもとでローレンツ多項式であることをどのように示せるか。
• RQ3 リンク外部の文脈において、非アーベルリードマイスター torsion とねじれアレクサンダー不変量の導出との正確な関係は何か。
• RQ4 ねじれアレクサンダー不変量の対称性は、その多項式的性質および多様体のホモロジー方向性とどのように関係するか。
• RQ5 一般化された導出公式をホワイトヘッドリンクなどのリンク外部に適用し、非アーベルリードマイスター torsion を計算することは可能か。また、ドゥンフィリングにおけるその洞察は何か。

主な発見

• 非アーベルリードマイスター torsion 𝕋ᴹ_λ(ρ) は、積 ∏(t₁^{a₁^{(ℓ)}}⋯tₙ^{aₙ^{(ℓ)}} − 1) で正規化された、ねじれアレクサンダー不変量 Δ_M^{φ⊗Ad∘ρ}(t₁,…,tₙ) の多変数導出に等しく、符号 (−1)ᵇ を除いて一致する。
• 技術的条件 (A_φ) と (A_ρ) の下で、ねじれアレクサンダー不変量 Δ_M^{φ⊗Ad∘ρ}(t₁,…,tₙ) が単項式因子を除いて ℂ[t₁^±¹,…,tₙ^±¹] に含まれることが示された。
• このフレームワークにより、ねじれアレクサンダー不変量がローレンツ多項式であることが証明され、古典的アレクサンダー多項式と類似した多項式的性質が裏付けられた。
• ホワイトヘッドリンク外部では、一般化された導出公式を用いて非アーベルリードマイスター torsion が明示的に計算され、ドゥンフィリングにおける torsion の挙動の解析が可能になった。
• ホモロジー群の短完全系列の torsion は (−1)ᵇᵇ⁻¹⁾⁄² として計算され、複体全体の torsion に寄与し、導出公式における符号構造が確認された。
• 非退化複体を利用することで、非退化でないねじれ複体からの直接計算を回避し、非アーベルリードマイスター torsion の計算が計算的に実行可能であることが示された。