[论文解读] 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谱序列，使在基本群为多曲面群的可缩流形背景下，能够对Hopf-Singer猜想提出新的证明与保持性结果。该谱序列实现了L²-Betti数的显式计算、零化定理，以及在测度等价关系中正常子关系存在的障碍。

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²上同调发展谱序列框架。
• 在基空间为可缩流形且基本群为多曲面群的纤维丛扩张下，建立Hopf-Singer猜想的保持性结果。
• 为群与流形的L²-Betti数提供新的计算工具。
• 通过上同调不变量，推导测度等价关系中正常子关系存在的障碍。

提出的方法

• 将经典的Hochschild-Serre谱序列适配到离散测度群胚与L²上同调的语境中。
• 利用群胚扩张的结构，在L²复形上定义滤子，从而得到收敛于总群胚L²上同调的谱序列。
• 将谱序列应用于分析基本群为多曲面群的可缩流形所导出的群胚的上同调性质。
• 通过分析谱序列的E²页及高阶微分，利用谱序列推导L²-Betti数的零化结果。
• 通过谱序列导出的上同调不变量，检测测度等价关系中正常子关系存在的障碍。
• 将该框架应用于具体情形，显式计算L²-Betti数，特别是具有多曲面结构的群。

实验结果

研究问题

• RQ1 Hochschild-Serre谱序列如何推广到具有L²上同调的离散测度群胚设定？
• RQ2 在基本群为多曲面群的可缩流形上，Hopf-Singer猜想在何种条件下成立？
• RQ3 当基空间为可缩流形且基本群为多曲面群时，Hopf-Singer猜想在纤维丛扩张下表现出何种保持性质？
• RQ4 利用该谱序列可导出哪些新的L²-Betti数零化定理？
• RQ5 谱序列的上同调结构如何导致测度等价关系中正常子关系存在的障碍？

主要发现

• 该谱序列提供了一种计算工具，证明了基本群为多曲面群的可缩流形的Hopf-Singer猜想。
• 证明了当基空间为基本群为多曲面群的可缩流形时，该猜想在纤维丛扩张下保持不变。
• 通过分析谱序列的E²页及高阶微分，导出了新的L²-Betti数零化定理。
• 通过谱序列框架，显式计算了特定类群与流形的L²-Betti数。
• 通过谱序列导出的上同调不变量，识别出测度等价关系中正常子关系存在的障碍。
• 该框架使对具有分层多曲面结构的群在测度群胚设定下L²上同调的深层结构性理解成为可能。