[論文レビュー] Additivity for parametrized topological Euler characteristic and Reidemeister torsion

Bernard Badzioch, Wojciech Dorabiała|ArXiv.org|Jun 13, 2005

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

本稿は、コンパクトな位相的多様体のファイバー束の文脈において、パラメータ付きトポロジカルリードマイスター torsion およびオイラー特性の加法性を確立する。A理論およびホワイトヘッド空間におけるホモトピー論的構成を用いて、ファイバーごとの codimension-one 分割を許す束について、部分束の包含を含む正確な加法的公式が成り立つことを証明する。これは、代数的トポロジーにおける古典的加法性と類似する。

ABSTRACT

Dwyer, Weiss, and Williams have recently defined the notions of parametrized topological Euler characteristic and parametrized topological Reidemeister torsion which are invariants of bundles of compact topological manifolds. We show that these invariants satisfy additivity formulas paralleling the additive properties of the classical Euler characteristic and Reidemeister torsion of finite CW-complexes.

研究の動機と目的

• コンパクトな位相的多様体の束について、ファイバーごとの codimension-one 分割を許す場合に、パラメータ付きトポロジカルリードマイスター torsion の加法性を確立すること。
• 従来、ホモトピー torsion に対して知られていた加法性原理を、エキシーシブ A理論を用いて、トポロジカルな設定へと拡張すること。
• 滑らか、ホモトピー、トポロジカルなカテゴリーにおけるパラメータ付き torsion 不変量の振る舞いを、共通のホモトピー論的枠組みによって統一すること。
• Dwyer, Weiss, および Williams が定義した torsion 不変量のホモトピー論的基盤を提供し、CW複体における古典的加法性と整合することを示すこと。

提案手法

• コンパクトな位相的多様体のためのエキシーシブ A理論 $A^{\%}(M)$ を用いて、トポロジカルホワイトヘッド空間 $\Phi^{t}_{\rho}(p)$ を構成する。
• 写像 $A^{\%}(E) \to K(R)$ のホモトピーファイバーを介して、ファイブレーション $\Phi^{t}_{\rho}(p) \to B$ のセクションとして、パラメータ付きトポロジカル torsion $\tau^{t}_{\rho}(p)$ を定義する。
• 写像 $p$ のホモトピーファイバー上の再結合空間の Waldhausen 圏 $\mathcal{R}^{fd}(p)$ を用いて、torsion およびオイラー特性不変量をモデル化する。
• bivariant A理論空間 $A^{biv}(p)$ 内のパス $\omega^{biv}_{p}$ を構成し、$\chi^{biv}(p)$ から $j_{1*}\chi^{biv}(p_1) + j_{2*}\chi^{biv}(p_2) - j_{0*}\chi^{biv}(p_0)$ へとつなぐ。これにより加法性が保証される。
• このパスをアサイクル bivariant A理論空間 $A^{ac}(p)$ に上げ、その後ホモトピー・ホワイトヘッド空間 $\Phi^{h}_{\rho}(p)$ へ写像することで、torsion のための加法性パス $\omega^{h}_{\rho}$ を得る。
• 一般化されたコアセมブリーマップ $\alpha^*: A^{biv}(p) \to A(p)$ を用いて、bivariant 構成とホモトピー・オイラー特性を関連づけ、不変量間の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ付きトポロジカルリードマイスター torsion は、CW複体の古典的 torsion に類似した加法的公式を満たすか？
• RQ2 エキシーシブ A理論を用いて、ホモトピー torsion の加法性原理をトポロジカルな設定へと拡張できるか？
• RQ3 ファイバーごとの分割がなされた束において、不変量 $\tau^{t}_{\rho}(p)$, $\tau^{h}_{\rho}(p)$, および $\tau^{s}_{\rho}(p)$ の関係は何か？
• RQ4 トポロジカルホワイトヘッド空間内で、$\tau^{t}_{\rho}(p)$ から $j_{1*}\tau^{t}_{\rho}(p_1) + j_{2*}\tau^{t}_{\rho}(p_2) - j_{0*}\tau^{t}_{\rho}(p_0)$ へとつなぐ、標準的なホモトピー類のパスが存在するか？
• RQ5 トポロジカルオイラー特性のための加法性パスを、torsion ホワイトヘッド空間内で整合性を持つパスへと上げることができるか？

主な発見

• パラメータ付きトポロジカルリードマイスター torsion $\tau^{t}_{\rho}(p)$ は、加法的公式を満たす。具体的には、ファイバーごとの codimension-one 分割を持つ束に対して、$\Phi^{t}_{\rho}(p)$ 内に、$\tau^{t}_{\rho}(p)$ から $j_{1*}\tau^{t}_{\rho}(p_1) + j_{2*}\tau^{t}_{\rho}(p_2) - j_{0*}\tau^{t}_{\rho}(p_0)$ へとつなぐ優先順位のホモトピー類のパスが存在する。
• 加法性パスは、bivariant A理論空間 $A^{biv}(p)$ を介して構成され、これは束の相対的ホモトピー型をモデル化する。このパスは $A^{ac}(p)$ を通してホモトピー・ホワイトヘッド空間 $\Phi^{h}_{\rho}(p)$ に持ち上げられる。
• この構成は、bivariant および標準 A理論を関連付ける一般化されたコアセムブリーマップ $\alpha^*: A^{biv}(p) \to A(p)$ に依存しており、ホモトピー・オイラー特性と整合性を保証する。
• ホモトピー torsion のパス $\omega^{h}_{\rho}$ は、[2] の手法を模倣して、アサイクル bivariant A理論 $A^{ac}(p)$ を中間段階として用いることで構成される。
• トポロジカル torsion の加法性結果は、CW複体に対する組み合わせ的リードマイスター torsion の古典的加法性と類似しており、異なる設定間での一貫性を確認する。
• 一般の場合を、引き戻しを用いて離散的構造群の場合に還元することで、コンパクトな位相的多様体の一般の束に対しても加法性パスが存在することを保証する。