[论文解读] Group cocycles and the ring of affiliated operators

Jesse Peterson, Andreas Thom|arXiv (Cornell University)|Aug 31, 2007

Advanced Operator Algebra Research参考文献 24被引用 5

一句话总结

本文研究了取值于 ℓ²G 的群 1-上循环及其与隶属算子环 𝒰G 的关系，证明了对于可约群，所有此类上循环要么有界，要么为正规。关键贡献在于证明：在弱 Atiyah 猜想条件下，非零的一阶 ℓ²-Betti 数意味着在无挠群中存在自由子群，并将关于具有正 ℓ²-Betti 数的正规与 s-正规子群的结果加以推广。

ABSTRACT

In this article we study cocycles of discrete countable groups with values in l^2(G) and the ring of affiliated operators UG. We clarify properties of the first cohomology of a group G with coefficients in l^2(G) and answer several questions from [CTV]. Moreover, we obtain strong results about the existence of free subgroups and the subgroup structure, provided the group has a positive first l^2-Betti number. We give numerous applications and examples of groups which satisfy our assumptions.

研究动机与目标

• 阐明一阶上同调群 H¹(G; ℓ²G) 的结构及其与隶属算子环 𝒰G 的关系。
• 解决 [ctv] 中关于离散可数群的 ℓ²-上同调与上循环行为的开放问题。
• 建立在何种条件下具有正一阶 ℓ²-Betti 数的群包含自由子群，特别是在无挠情形下。
• 推广关于正规与 s-正规子群的 ℓ²-Betti 数结果，扩展 Karrass–Solitar、Baumslag 等人的经典定理。
• 探索在极限群、幂吸收子群以及与自由群测度等价的群中的应用，以 ℓ²-不变量作为统一工具。

提出的方法

• 分析满足 c(gh) = g·c(h) + c(g) 的 1-上循环 c: G → ℓ²G，区分内上循环（c(g) = (g−1)ξ）与一般上循环。
• 利用包含链 LG ⊂ ℓ²G ⊂ 𝒰G，关联不同模中的上同调，并研究从 Z¹(G; ℓ²G) 到 Z¹(G; 𝒰G) 的映射。
• 应用 ℓ²-不变量理论，特别是定义为 H¹(G; ℓ²G) 的冯诺依曼维数的一阶 ℓ²-Betti 数 β₁⁽²⁾(G)。
• 采用子群 H ⊂ G 的 s-正规性与 wq-正规性概念，其中对所有 g ∈ G，有 H ∩ H^g 无限。
• 利用弱 Atiyah 猜想条件，确保 ℓ²-Betti 数在群扩张与子群交集中表现良好。
• 应用 Gaboriau 等人关于测度等价与极限群的结果，将主要定理的适用范围扩展至更广大的群类。

实验结果

研究问题

• RQ1 对于可约离散可数群，H¹(G; ℓ²G) 何时平凡？这与上循环的有界性或正规性有何关系？
• RQ2 在何种条件下，非零的一阶 ℓ²-Betti 数意味着在无挠群中存在自由子群？
• RQ3 当全群具有正 β₁⁽²⁾(G) 时，s-正规或 wq-正规子群的行为如何？
• RQ4 ℓ²-Betti 数能否检测在共轭下具有无限交的子群中的有限指数？
• RQ5 隶属算子环 𝒰G 在控制群上同调与子群增长结构方面起何作用？

主要发现

• 对于可约离散可数群，取值于 ℓ²G 的每个 1-上循环要么有界，要么为正规，具体取决于相关向量 ξ 是否属于 ℓ²G。
• 若非零的一阶 ℓ²-Betti 数 β₁⁽²⁾(G) > 0，且在弱 Atiyah 猜想条件下，则在无挠群中存在自由子群。
• 若 G 无挠且 β₁⁽²⁾(G) > 0，则存在分解 G = {e} ∪ ⨆ᵢ Gᵢ，其中每个 Gᵢ 为马尔-正规子群且满足 β₁⁽²⁾(Gᵢ) = 0。
• 对于 s-正规或 wq-正规子群 H ⊂ G，若 β₁⁽²⁾(G) > 0，那么 H 在其共轭生成群或其共轭类的共轭群中具有有限指数。
• 对于具有非冗余表示的群 G = ⟨g₁,…,gₙ | r₁^{w₁},…,rₖ^{wₖ}⟩，不等式 β₁⁽²⁾(G) ≥ n−1 − ∑ⱼ 1/wⱯ 成立，为许多无挠群提供了下界。
• 在与自由群测度等价的群中，若 H 是有限生成子群且其共轭类的共轭群无限，则该共轭群要么是可约的，要么 H 在其中具有有限指数。