[論文レビュー] An introduction to the abelian Reidemeister torsion of three-dimensional manifolds

Gwénaël Massuyeau|arXiv (Cornell University)|Mar 12, 2010

Geometric and Algebraic Topology参考文献 54被引用数 5

ひとこと要約

本稿は、閉じた向き付け可能な3次元多様体におけるアーベル的リーデマイスター torsion について包括的な紹介を提供し、アレクサンダー多項式およびトゥレイヴの修正への関連性に重点を置いている。torsion が普遍アーベル被覆のホモロジーから生じることを説明し、自由微分法と群環構造を通じて位相的不変量を符号化する役割を示し、最終的に群環の商体における符号および群作用の曖昧性を除いた普遍 torsion 不変量に至る。

ABSTRACT

These notes accompany some lectures given at the autumn school "Tresses in Pau" in October 2009. The abelian Reidemeister torsion for 3-manifolds, and its refinements by Turaev, are introduced. Some applications, including relations between the Reidemeister torsion and other classical invariants, are surveyed.

研究の動機と目的

• 3次元多様体におけるアーベル的リーデマイスター torsion を、特にレンズ空間とリンク補空間の文脈で、位相的不変量として導入すること。
• ミルナーの再解釈を用いて、リーデマイスター torsion と古典的アレクサンダー多項式の関係を明確化すること。
• ホモロジー的向き付けとオイラー構造を用いて符号および作用の曖昧性を解消することで、トゥレイヴの普遍 torsion 不変量を、1次ホモロジー群の整域群環の商体に構成すること。
• torsion 不変量が、サーフェスのトゥルストンノルムや3次元多様体位相の研究への古典的不変量への応用を概説すること。

提案手法

• 本稿は、3次元多様体の定義にトライアングレーションと折りたたみ可能な構造を用い、3次元におけるトライアングレーションと滑らかさのモイゼの定理を活用している。
• 自由微分法のフックスの手法を応用し、自由群の自己同型のヤコビ行列を計算することで、torsion の構成の根幹をなす。
• アーベル的リーデマイスター torsion は、3次元多様体の最大アーベル被覆のホモロジーを用いて定義され、有理関数体を係数とするチェイン複体のリーデマイスター torsion を用いる。
• トゥレイヴの修正は、追加の構造を導入することで、符号および作用の曖昧性を解消し、$\mathbb{Q}(\mathbb{Z}[H]) / \pm H$ における普遍 torsion 不変量を構成する。ここで $H = H_1(M;\mathbb{Z})$ である。
• 本手法は、自由微分の基本公式に依拠している：$\partial_*\left(\widetilde{f}\right) = \sum_{i=1}^n \frac{\partial f}{\partial x_i} \cdot \widetilde{x}_i$ はホモロジーにおいて成り立つ。
• 自己同型のマグナス表現 $\operatorname{M}(\phi) = \overline{J(\phi)}$ は、自由群の自己同型を研究するために用いられ、重要な恒等式 $\overline{J(\psi\phi)} = \overline{J(\psi)} \cdot \psi(\overline{J(\phi)})$ が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 アーベル的リーデマイスター torsion は、3次元多様体におけるアレクサンダー多項式とどのように関係しているか？
• RQ2 自由微分法は、3次元多様体の torsion 不変量を計算する際に果たす役割は何か？
• RQ3 トゥレイヴの普遍 torsion 不変量は、リーデマイスター torsion の符号および群作用の曖昧性をどのように解消するか？
• RQ4 アーベル的リーデマイスター torsion は、トゥルストンノルムのような幾何的・位相的性質を検出する際にどのような役割を果たすか？
• RQ5 ホモロジー的向き付けとオイラー構造は、普遍 torsion 不変量の不定性をどのように固定するか？

主な発見

• アーベル的リーデマイスター torsion は、$\mathbb{Q}(\mathbb{Z}[H])$ を係数とするチェイン複体を用いて、最大アーベル被覆のホモロジーから定義され、閉じた向き付け可能な3次元多様体の位相的不変量として与えられる。
• リンク補空間のアレクサンダー多項式が、有理関数体を係数とするリーデマイスター torsion と等価であることが示され、その対称性や性質が明確にされた。
• トゥレイヴの普遍 torsion $\tau(M) \in \mathbb{Q}(\mathbb{Z}[H]) / \pm H$ は、ホモロジー的向き付けとオイラー構造を導入することで、符号および作用の曖昧性が解消された標準的不変量として構成された。
• torsion 不変量は、$H_0(\pi^{-1}(\star))$ において恒等式 $\partial_*\left(\widetilde{f}\right) = \sum_{i=1}^n \frac{\partial f}{\partial x_i} \cdot \widetilde{x}_i$ を満たし、これは自由微分法のアプローチの基盤である。
• マグナス表現 $\operatorname{M}(\phi) = \overline{J(\phi)}$ は、$\operatorname{Aut}(F_n)$ から $\operatorname{GL}(n; \mathbb{Z}[F_n])$ へのクロスホモロジー写像であり、$\operatorname{IAut}(F_n)$ に制限し、交換子部分群を法として縮約すると、真の群準同型に変わる。
• シュール–ブランヒール基準が確立された：$f \in R'$ であるための必要十分条件は、すべての $i$ に対して $\left\{ \frac{\partial f}{\partial x_i} \right\} = 0$ が $\mathbb{Z}[F_n/R]$ 内で成り立つことである。自由微分の位相的解釈を用いて証明された。