[論文レビュー] Poincaré duality and degrees of twisted Alexander polynomials

Stefan Friedl, Taehee Kim+1 more|arXiv (Cornell University)|Jul 15, 2011

Geometric and Algebraic Topology参考文献 20被引用数 9

ひとこと要約

本稿は、3次元多様体におけるねじれ Reidemeister torsion とねじれ Alexander 多項式の双対定理を確立し、Turaev の研究を一般化する。ねじれ torsion が双対表現とチャーン類を含む双対関係を満たすことを証明し、多くの場合にねじれ Alexander 多項式の次数の偶奇を決定する。

ABSTRACT

We prove duality theorems for twisted Reidemeister torsions and twisted Alexander polynomials generalizing the results of Turaev. As a corollary we determine the parity of the degrees of twisted Alexander polynomials of 3-manifolds in many cases.

研究の動機と目的

• Turaev の Reidemeister torsion の双対定理をねじれ不変量の設定に一般化すること。
• 表現とその双対との間のねじれ torsion 不変量の双対関係を確立すること。
• 双対結果を用いて、3次元多様体のねじれ Alexander 多項式の次数の偶奇を決定すること。
• Spin^c 構造とホモロジー向きを用いた符号修正 torsion の理解のための枠組みを提供すること。
• ねじれ Alexander 多項式の不確定性と、Spin^c 構造およびホモロジー向きの変更における挙動を明確にすること。

提案手法

• 3次元多様体 N、表現 φ、Spin^c 構造 s、ホモロジー向き ω に対して、不確定性のない符号修正ねじれ torsion 不変量 τ(N, φ, s, ω) を導入する。
• 群作用における不変性を分析するため、形式的変換性質 τ(N, φ, h·s, ε·ω) = ε^d · det(φ(h⁻¹)) · τ(N, φ, s, ω) を用いる。
• 体に対合がある場合の双対表現 φ^†(g) = ¯φ(g⁻¹)^t を定義し、τ(N, φ, s, ω) と τ(N, φ^†, s, ω) の関係を確立する。
• 定理 1.1 の証明：¯τ(N, φ, s, ω) = (-1)^{db₀(∂N)} · det(φ(c₁(s))) · τ(N, φ^†, s, ω) を示し、双対性を確立する。
• φ: π₁(N) → F（自由アーベル群）であるテンソル表現 α ⊗ φ を用いて、双対性をねじれ Alexander 多項式に適用する。
• 普遍係数定理と非退化内積を用いた双対性により、表現複体のコホモロジーとホモロジーを関係付ける。

実験結果

リサーチクエスチョン

• RQ1 ねじれ torsion 不変量は、Spin^c 構造およびホモロジー向きの変更に対してどのように振る舞うか？
• RQ2 ねじれ torsion とその双対表現のねじれ torsion の間にはどのような双対関係があるか？
• RQ3 Spin^c 構造のチャーン類は、ねじれ torsion 不変量の双対性にどのように影響するか？
• RQ4 双対定理は、ねじれ Alexander 多項式の次数にどのような制約を課えるか？
• RQ5 ねじれ Alexander 多項式が Spin^c 構造およびホモロジー向きの選択に依存しない条件は何か？

主な発見

• 双対定理（定理 1.1）により、ねじれ torsion の複素共役と双対表現の torsion の間の明確な関係が確立され、チャーン類における表現の行列式を含む係数でスケーリングされる。
• ねじれ Alexander 多項式の次数は、表現の次元 d と境界の位相に依存し、双対関係によって偶数または奇数に決定される。
• 不変量 τ(N, α⊗φ, s, ω) は、{ε·f^d·a | ε=±1, f∈F, a∈det(α(π))} の元による乗法的不定性を除いて一意に定まる。これはねじれ Alexander 多項式の不確定性を特徴付ける。
• 双対結果により、ねじれ Alexander 多項式の次数は、チャーン類を含む補正因子を除き、双対多項式の次数と mod 2 で合同であることが示される。
• 証明は、非退化内積を用いたホモロジー複体の双対性による複体レベルの双対同型写像に依拠しており、これは表現複体のコホモロジーとホモロジーの間の同型写像を誘導する。
• H_*^φ(∂N; F^d) = 0 という仮定により双対性が成り立ち、この条件下では双対同型写像は自然であり、表現の構造を尊重する。