[論文レビュー] Survey on analytic and topological torsion

Wolfgang Lueck|arXiv (Cornell University)|Feb 26, 2015

Geometric and Algebraic Topology参考文献 25被引用数 3

ひとこと要約

本調査は、閉リーマン多様体におけるチェオファー＝ミュラーの定理により、解析的 torsion と位相的 torsion の等価性を確立する包括的でアクセスしやすい概要を提供する。境界を持つ多様体および有限群作用を伴う多様体へ理論を拡張し、等長的 torsion 不変量を導入し、ゼータ正則化された行列式とスペクトル密度関数を通じて、それらをスペクトル不変量と結びつける。

ABSTRACT

The article consists of a survey on analytic and topological torsion. Analytic torsion is defined in terms of the spectrum of the analytic Laplace operator on a Riemannian manifold, whereas topological torsion is defined in terms of a triangulation. The celebrated theorem of Cheeger and Müller identifies these two notions for closed Riemannian manifolds. We also deal with manifolds with boundary and with isometric actions of finite groups. The basic theme is to extract topological invariants from the spectrum of the analytic Laplace operator on a Riemannian manifold.

研究の動機と目的

• 大学院生および専門外の読者向けに、解析的および位相的 torsion について自己完結的でアクセスしやすい入門を提供すること。
• リーマン多様体上の解析的ラプラシアンの固有値から、どのように位相的不変量を抽出できるかを説明すること。
• スペクトル理論とゼータ正則化の観点から、代数的、位相的、解析的視点の torsion を統一すること。
• 境界を持つ多様体および等長的有限群作用を伴うリーマン多様体へ理論を拡張し、Poincaré torsion を導入すること。
• $L^2$-torsion および $L^2$-ベッチ数を理解する基盤を、フォン・ノイマン代数とフューグレデ＝カダイソン行列式を用いて提供すること。

提案手法

• 有限次元ヒルベルト空間における行列式およびトレースの古典的不変量を、ゼータ関数正則化およびスペクトル密度関数を用いて再定式化する。
• ホッジ＝ド・ラーム分解を適用し、閉リーマン多様体上の de Rham コホロジーと調和形式を関連付ける。
• セル複体の鎖複体と組み合わせ的ラプラシアンを用いて、位相的 torsion を定義し、同型を介してヒルベルト空間構造を補正する。
• $L^2$-形式上のラプラシアンのゼータ正則化された行列式を用いて、解析的 torsion を定義し、スペクトル密度関数を主要な道具とする。
• スペクトル不変量とゼータ正則化を介して、解析的 torsion と位相的 torsion を比較することにより、チェオファー＝ミュラーの定理を確立する。
• 群作用を用いた等長的枠組みに拡張し、有限群作用の存在下で Poincaré torsion を新たな不変量として導入する。

実験結果

リサーチクエスチョン

• RQ1 スペクトル理論を用いて、有限次元から無限次元ヒルベルト空間への行列式やトレースといった古典的不変量をどのように一般化できるか。
• RQ2 閉リーマン多様体上での、三角形分割によって定義される位相的 torsion と、ラプラシアンのスペクトルによって定義される解析的 torsion の正確な関係は何か。
• RQ3 境界を持つコンパクトリーマン多様体に対して、チェオファー＝ミュラーの定理はどのように境界項によって修正されるか。
• RQ4 等長的有限群作用の存在下で、どのような新しい torsion 不変量が生じるか、それらは解析的および位相的 torsion とどのように関係するか。
• RQ5 $L^2$-不変量は、フォン・ノイマン代数とフューグレデ＝カダイソン行列式を用いて、非コンパクト被覆へ解析的および位相的 torsion をどのように一般化できるか。

主な発見

• チェオファー＝ミュラーの定理が成立：閉リーマン多様体上では、解析的 torsion と位相的 torsion は等しい。
• 境界を持つコンパクトリーマン多様体に対しては、解析的 torsion と位相的 torsion を結びつけるために、境界のオイラー特性数を含む補正項が必要である。
• 有限群作用を伴う等長的設定下では、3つの torsion 不変量が出現する：解析的、位相的、および Poincaré torsion で、後者は非等長的状況には存在しない。
• 自由な向きを保つ $G$-作用を伴う奇数次元の閉じた向き付け可能 $G$-多様体に対して、$ ho$-不変量写像 $ ho_{ ext{top}}$ の下で、解析的 torsion は位相的 torsion に等しい。
• 偶数次元の閉じた向き付け可能な $G$-多様体に対しては、解析的 torsion は消え、位相的 torsion は Poincaré torsion の半分に等しい。
• $L^2$-バージョンの torsion およびベッチ数は、群被覆およびフォン・ノイマン代数の文脈で、スペクトル密度関数とフューグレデ＝カダイソン行列式を用いて定義される。