[論文レビュー] Poincaré - Reidemeister metric, Euler structures, and torsion

Michael Färber, Vladimir Turaev|ArXiv.org|Mar 27, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 17

ひとこと要約

本稿は、奇数次元で閉じており、向き付け可能な多様体上の平坦ベクトル束のコホモロジーの決定的線分に、符号または位相情報を取り入れたPoincaré-Reidemeister（PR）スカラー積を導入する。PRノルムの精錬である。このスカラー積をEuler構造の torsion で表す公式を確立し、その符号がStiefel-Whitney類と多様体の半的特徴量に依存することを示し、Ray-Singer解析的 torsion と2を法とするねじれ半的特徴量の計算に応用する。

ABSTRACT

In this paper we define a Poincaré-Reidemeister scalar product on the determinant line of the cohomology of any flat vector bundle over a closed orientable odd-dimensional manifold. It is a combinatorial "torsion-type" invariant which refines the PR-metric, introduced earlier by the first author, and contains an additional sign or phase information. We compute the PR-scalar product in terms of the torsions of Euler structures, introduced earlier by the second author. We show that the sign of our PR-scalar product is determined by the Stiefel-Whitney classes and the semi-characteristic of the manifold. As an application, we compute the Ray-Singer analytic torsion via the torsions of Euler structures. Another application: a computation of the twisted semi-characteristic in terms of the Stiefel-Whitney classes.

研究の動機と目的

• ノルムを超えて符号または位相情報を含むコホモロジーの決定的線分上の精錬されたPoincaré-Reidemeisterスカラー積を定義すること。
• 奇数次元多様体上でのEuler構造のtorsion で表されるPRスカラー積の明確な公式を確立すること。
• Euler構造のtorsion を用いてRay-Singer解析的 torsion を計算すること。
• 多様体および平坦束のStiefel-Whitney類を用いて、2を法とするねじれ半的特徴量の公式を導出すること。
• 特に双対性と双対写像において生じる符号の異常を扱うための代数的道具を開発すること。

提案手法

• Reidemeister torsion とPoincaré双対性の組み合わせを用いて、コホモロジーの決定的線分上にPoincaré-Reidemeisterスカラー積を定義する。
• Euler構造のtorsion を、ホモロジーの決定的線分の要素として明示的に定義し、特徴的ホモロジー類 $ c(\xi) \in H_1(X) $ に依存するように体系的に取り扱う。
• ホモロジーとコホモロジーの決定的線分間の同型写像と双対写像を用いて、双対束のtorsion を関連づけ、符号の一貫性を確立する。
• 融合同型写像と $ s(V_p) $ 不変量による符号追跡を用いて、双対写像とバンドル双対写像の合成の次数を計算する。
• Farber [Fa] の主結果（PRノルムがRay-Singerノルムと一致する）を活用し、Euler構造のtorsion を用いて解析的 torsion を計算する。
• コホモロジー的およびホモロジー的表現の双対性を活用し、主定理をコホモロジー的言語に再定式化する。

実験結果

リサーチクエスチョン

• RQ1 Poincaré-Reidemeisterスカラー積は、ノルムを超えて符号または位相情報を含むようにどのように定義できるか？
• RQ2 奇数次元多様体上でのPRスカラー積とEuler構造のtorsion の間の明確な関係は何か？
• RQ3 PRスカラー積の符号は、Stiefel-Whitney類と多様体の半的特徴量にどのように依存するか？
• RQ4 Euler構造のtorsion を用いてRay-Singer解析的 torsion を計算できるか？
• RQ5 2を法とするねじれ半的特徴量の公式は、多様体および平坦束のStiefel-Whitney類を用いてどのように表せるか？

主な発見

• Poincaré-Reidemeisterスカラー積の符号は、Stiefel-Whitney類 $ w_1(F) $, $ w_{m-1}(X) $ および多様体 $ X $ の半的特徴量に依存する。
• 偶数次元の平坦束に対しては、Euler構造 $ \xi $ のtorsion に適用されたPRスカラー積は、特徴的類 $ c(\xi) \in H_1(X) $ の行列式を介して表現される。
• 奇数次元の束に対しては、PRスカラー積はEuler構造 $ \xi $ と多様体 $ X $ のホモロジー方向の選択に依存する。
• Ray-Singer解析的 torsion は、双対性とバンドル同型写像のデータによって決定される符号を伴う、Euler構造のtorsion の符号付き和として計算される。
• $ m \equiv 1 \mod 4 $ のとき、ねじれ半的特徴量 $ s\chi_F(X) \mod 2 $ は、 $ \langle w_1(F) \cup w_{m-1}(X), [X] \rangle + s\chi(X) \cdot \dim F \mod 2 $ に等しい。
• 証明により、決定的線分上の合成 $ \phi_* \circ D $ の次数が $ (-1)^{s\chi_F(X)} $ であることが示され、これはStiefel-Whitney類の公式による符号と一致する。