[論文レビュー] Torsion function on character varieties

Léo Bénard|arXiv (Cornell University)|Nov 23, 2017

Geometric and Algebraic Topology被引用数 2

ひとこと要約

本稿では、1個のカスプを持つ双曲的3次元多様体のSL₂(ℂ)-特徴写像多様体の幾何的成分上で、リーデマイスター torsion を有理関数として定義する。torsion が消えるのは、第一のねじれコホモロジー群 H¹(M, ρ) が非自明であるときであり、また、特徴写像多様体のコンパクト化における理想点において、対応する圧縮不能な曲面が非自明な残余表現をもち、境界上でトレースが2であるとき、torsion は極を持つことを証明する。

ABSTRACT

In this paper we define the Reidemeister torsion as a rational function on the geometric components of the character variety of a one-cusped hyperbolic manifold M. We study its poles and zeros, and we deduce sufficient conditions on the manifold M for this function being non-constant.

研究の動機と目的

• 1個のカスプを持つ双曲的3次元多様体のSL₂(ℂ)-特徴写像多様体の幾何的成分上で、リーデマイスター torsion を有理関数として定義すること。
• torsion 関数の消える条件を、ねじれコホモロジー群 H¹(M, ρ) の非自明性の観点から特徴づけること。
• コンパクト化された特徴写像多様体の理想点において、torsion 関数が極を持つ条件を特定すること。
• Culler-Shalen 理論を用いて、torsion の振る舞いを圧縮不能な曲面および残余表現の幾何と関連付けること。

提案手法

• ねじれコホモロジー複体が非退化であることを用いて、特徴写像多様体の幾何的成分 X 上で torsion を正則関数として定義する。
• torsion が文字 χ において消えるのは、文字 χ を持つ表現 ρ に対して H¹(M, ρ) が非自明であるときである、という事実を利用する。
• 特徴写像多様体 X を特異点の除去と無限遠の理想点の追加によって、滑らかな射影的モデル ˆX にコンパクト化する。
• Culler-Shalen 理論を適用して、各理想点 x ∈ ˆX に圧縮不能な曲面 Σ を関連付け、π₁(Σ) 上に残余表現 ρ̄Σ を定義する。
• ねじれコホモロジーの長完全系列の構造と双対性定理を用いて、理想点における torsion の振る舞いを分析する。
• Poincaré-Lefschetz 双対性と除去を用いて、境界成分と曲面成分のコホモロジー群を関連付け、主要な写像の非全射性を検出することで極を特定する。

実験結果

リサーチクエスチョン

• RQ1 リーデマイスター torsion 関数が特徴写像多様体の幾何的成分上で消える条件は何か？
• RQ2 コンパクト化された特徴写像多様体の理想点において、torsion 関数が極を持つのはいつか？
• RQ3 torsion 関数は、ねじれコホモロジー群 H¹(M, ρ) および半単純表現の変形理論とどのように関係しているか？
• RQ4 理想点に付随する圧縮不能な曲面にどのような幾何的条件が満たされると、torsion が極を持つのか？

主な発見

• torsion 関数が文字 χ ∈ X で消えるのは、文字 χ を持つ表現 ρ に対して H¹(M, ρ) が非自明であるときである。
• torsion 関数は幾何的成分 X 上で正則（極をもたない）であり、トポロジー的不変性からの予想を裏付ける。
• 理想点 x ∈ ˆX が自由な圧縮不能曲面 Σ に対応し、非自明な残余表現かつ ∂Σ 上で Tr(ρ̄Σ(∂Σ)) = 2 であるとき、torsion は x で極を持つ。
• 理想点における torsion の消えることは、ねじれコホモロジー系列における主要な写像の非全射性と同値であり、双対性と完全系列を用いて証明される。
• 関連する圧縮不能曲面が自由な曲面であり、非自明な残余表現かつ境界でトレースが2であるとき、torsion 関数は特徴写像多様体上で非定数である。
• 証明は、写像 F: H¹(M₂, ρ₂) → H¹(Σ, λ⁻¹) が全射でないことを示すことに依拠しており、これにより理想点における torsion が消えることが導かれる。