[论文解读] L^2-Betti Numbers of Discrete Measured Groupoids

Roman Sauer|ArXiv.org|Dec 22, 2003

Advanced Operator Algebra Research参考文献 9被引用 7

一句话总结

本文通过冯诺依曼代数上的Lück维数理论，为离散测度群胚引入了同调代数意义上的L²-Betti数定义。证明了可数群G的L²-Betti数与G在自由保测概率作用下生成的轨道等价关系R的L²-Betti数一致，从而为L²-Betti数在轨道等价下的不变性提供了新的代数证明。

ABSTRACT

There are notions of L^2-Betti numbers for discrete groups (Cheeger-Gromov, Lueck), for type II_1-factors (recent work of Connes-Shlyakhtenko) and for countable standard equivalence relations (Gaboriau). Whereas the first two are algebraically defined using Lueck's dimension theory,Gaboriau's definition of the latter is inspired by the work of Cheeger and Gromov. In this article we give a definition of L^2-Betti numbers of discrete measured groupoids that is based on Lueck's dimension theory, thereby encompassing the cases of groups,equivalence relations and holonomy groupoids with an invariant measure for a complete transversal. We show that with our definition, like with Gaboriau's,the L^2-Betti numbers of a countable group G coincide with the L^2-Betti numbers of the orbit equivalence relation of a free action of G on a probability space. This yields a new proof of the fact the L^2-Betti numbers of groups with orbit equivalent actions coincide.

研究动机与目标

• 统一离散群、可数标准等价关系以及具有不变测度的Holonomy群胚的L²-Betti数的定义。
• 利用冯诺依曼代数维数理论，将Lück针对L²-Betti数的代数框架扩展至离散测度群胚的设定。
• 在群作用与其关联的轨道等价关系之间建立同调代数联系。
• 提供L²-Betti数在弱轨道等价下不变性的独立代数证明，不依赖于Gaboriau的几何构造。
• 通过群胚理论方法，探索II₁-因子的L²-Betti数与其关联等价关系的L²-Betti数之间的联系。

提出的方法

• 将离散测度群胚$\underline{G}$的L²-Betti数定义为$b^{(2)}_n(\underline{G}) = \dim_{\mathcal{N}(\underline{G})} \left( \operatorname{Tor}_n^{\mathbb{C}\underline{G}} (\mathcal{N}(\underline{G}), L^\infty(\underline{G}^0)) \right)$，利用Lück的$\mathcal{N}(G)$-维数理论处理群胚冯诺依曼代数上的模。
• 利用群胚环$\mathbb{C}\underline{G}$作为$L^\infty(\underline{G}^0)$-双模的结构，定义并计算冯诺依曼代数设定下的维数。
• 应用维数为零的局部判定准则，证明包含关系$L^\infty(X) \ast G \subset \mathbb{C}\mathcal{R}$是$\dim_{L\infty(X)}$-同构，从而实现Tor群的比较。
• 利用半单积环$L^\infty(X) \ast G$作为右$\mathbb{C}G$-模的平坦性，建立$\operatorname{Tor}$群在$\mathbb{C}G$与$L^\infty(X) \ast G$之间的联系。
• 利用相容双模的维数保持性质，以及$\dim_{\mathcal{N}}$在环扩张下的传递性，将$b^{(2)}_n(G)$与$b^{(2)}_n(\mathcal{R})$等同起来。
• 证明对于目标映射下像具有全测度的Borel子集$A \subset \underline{G}^0$，有缩放公式$b^{(2)}_n(\underline{G}) = \mu(A) \cdot b^{(2)}_n(\underline{G}_{|A})$。

实验结果

研究问题

• RQ1 能否以一种统一方式定义离散测度群胚的L²-Betti数，使其涵盖群、等价关系与II₁-因子的情形？
• RQ2 可数群$G$的L²-Betti数是否与$G$在自由保测概率作用下生成的轨道等价关系$\mathcal{R}$的L²-Betti数一致？
• RQ3 L²-Betti数在弱轨道等价下的不变性是否可从一个独立于Gaboriau几何构造的同调代数框架中推导而出？
• RQ4 $\mathcal{N}(\underline{G})$-维数理论如何推广至群胚？需要哪些结构性质（如维数相容性）？
• RQ5 Popa针对II₁-因子定义的$L^2$-Betti数能否通过群胚构造嵌入同调框架？

主要发现

• 离散测度群胚$\underline{G}$的L²-Betti数通过$\dim_{\mathcal{N}(\underline{G})}$对$\operatorname{Tor}_n^{\mathbb{C}\underline{G}}(\mathcal{N}(\underline{G}), L^\infty(\underline{G}^0))$的定义得以确立，推广了Lück的群论定义。
• 关键结果$b^{(2)}_n(G) = b^{(2)}_n(\mathcal{R})$通过同调代数方法证明，表明群与其轨道等价关系的$L^2$-Betti数完全相同。
• 对于任意满足$t(s^{-1}(A))$具有全测度的Borel子集$A \subset \underline{G}^0$，缩放公式$b^{(2)}_n(\underline{G}) = \mu(A) \cdot b^{(2)}_n(\underline{G}_{|A})$成立。
• 对$b^{(2)}_n(G) = b^{(2)}_n(\mathcal{R})$的证明不依赖于Gaboriau的几何定义，为轨道等价不变性提供了新的代数视角。
• 该结果表明，弱轨道等价的群其$L^2$-Betti数通过常数因子$C$相关联，而轨道等价的群则具有完全相同的$L^2$-Betti数。
• 该框架暗示了Connes-Shlyakhtenko针对II₁-因子定义的$L^2$-Betti数与通过群胚同调定义的L²-Betti数之间可能存在联系，这种联系可通过关联的等价关系实现。