[論文レビュー] A Hochschild-Serre spectral sequence for extensions of discrete measured groupoids

Roman Sauer, Andreas Thom|arXiv (Cornell University)|Jul 6, 2007

Advanced Operator Algebra Research被引用数 3

ひとこと要約

本稿は、離散測度付き群コアのL²コホモロジーに対するHochschild-Serreスペクトル系列を構築し、多様体が多様体の基本群が多様体群をもつアスpherical多様体である文脈において、Hopf-Singer予想の新たな証明および不変性結果を可能にする。スペクトル系列は、L²ベッチ数の明示的計算、消滅定理、測度的同値関係における正規部分関係の存在に対する障害をもたらす。

ABSTRACT

We construct a spectral sequence for L2-type cohomology groups of discrete measured groupoids. Based on the spectral sequence, we prove the Hopf-Singer conjecture for aspherical manifolds with poly-surface fundamental groups. More generally, we obtain a permanence result for the Hopf-Singer conjecture under taking fiber bundles whose base space is an aspherical manifold with poly-surface fundamental group. As further sample applications of the spectral sequence, we obtain new vanishing theorems and explicit computations of L2-Betti numbers of groups and manifolds and obstructions to the existence of normal subrelations in measured equivalence relations.

研究の動機と目的

• 離散測度付き群コアの文脈におけるL²コホモロジーのためのスペクトル系列フレームワークを構築すること。
• アスpherical多様体で、その基本群が多様体群であるようなファイバー束拡大の下で、Hopf-Singer予想の不変性結果を確立すること。
• 群および多様体のL²ベッチ数のための新たな計算ツールを提供すること。
• 測度的同値関係における正規部分関係の存在に関する障害を導出すること。

提案手法

• 古典的なHochschild-Serreスペクトル系列を、離散測度付き群コアおよびL²コホモロジーの文脈に適応すること。
• 群コアの拡大構造を用いて、L²複体にフィルトレーションを定義し、全群コアのL²コホモロジーに収束するスペクトル系列を導出すること。
• アスpherical多様体で、その基本群が多様体群であるような群コアのコホモロジー的性質を分析するために、スペクトル系列を適用すること。
• スペクトル系列を用いて、E²頁およびそれ以降の微分を分析することで、L²ベッチ数の消滅結果を導出すること。
• スペクトル系列を用いて、コホモロジー的不変量を通じて、測度的同値関係における正規部分関係の存在に関する障害を同定すること。
• フレームワークを適用し、特に多様体群構造をもつ群に対して、L²ベッチ数を明示的に計算すること。

実験結果

リサーチクエスチョン

• RQ1 Hochschild-Serreスペクトル系列は、L²コホモロジーを伴う離散測度付き群コアの文脈にどのように一般化可能か？
• RQ2 アスpherical多様体で、その基本群が多様体群である場合、Hopf-Singer予想はどのような条件下で成立するか？
• RQ3 アスphericalな底空間を持つファイバー束拡大の下で、Hopf-Singer予想はどのような不変性を示すか？
• RQ4 このスペクトル系列を用いて、L²ベッチ数に関する新たな消滅定理をどのように導出できるか？
• RQ5 スペクトル系列のコホモロジー的構造から、測度的同値関係における正規部分関係の存在に関する障害は何か？

主な発見

• スペクトル系列は、多様体群をもつアスpherical多様体のHopf-Singer予想を証明する計算的ツールを提供する。
• 予想が、底面が多様体群をもつアスpherical多様体であるファイバー束拡大の下でも保存されることを示した。
• スペクトル系列のE²頁および高次の微分を分析することで、L²ベッチ数に関する新たな消滅定理が導出された。
• スペクトル系列フレームワークを用いて、特定の群および多様体のクラスに対してL²ベッチ数の明示的計算が得られた。
• スペクトル系列から生じるコホモロジー的不変量を通じて、測度的同値関係における正規部分関係の存在に関する障害が同定された。
• このフレームワークは、特に階層的な多様体群構造をもつ群の文脈において、測度付き群コアにおけるL²コホモロジーのより深い構造的理解を可能にした。