[论文解读] Bounded cohomology and binate groups

Francesco Fournier-Facio, Clara Loeh+1 more|arXiv (Cornell University)|Nov 8, 2021

Geometric and Algebraic Topology被引用 5

一句话总结

本文证明了双有理（伪拟对称）群是有界余挠的，统一了此前关于 Homeo_c(ℝⁿ) 和拟对称群等群的有界上同调结果。此外，本文进一步证明了在任意完备赋值域上，双有理群均为普遍有界余挠，提供了新的例子，并表明汤普森群 F、T 和 V 的有界上同调结构尽可能简单。

ABSTRACT

A group is boundedly acyclic if its bounded cohomology with trivial real coefficients vanishes in all positive degrees. Amenable groups are boundedly acyclic, while the first non-amenable examples were the group of compactly supported homeomorphisms of $\mathbb{R}^n$ (Matsumoto--Morita) and mitotic groups (Löh). We prove that binate (alias pseudo-mitotic) groups are boundedly acyclic, which provides a unifying approach to the aforementioned results. Moreover, we show that binate groups are universally boundedly acyclic. We obtain several new examples of boundedly acyclic groups as well as computations of the bounded cohomology of certain groups acting on the circle. In particular, we discuss how these results suggest that the bounded cohomology of the Thompson groups $F$, $T$, and $V$ is as simple as possible.

研究动机与目标

• 统一并推广已知的有界余挠群结果，特别是马茨莫托–莫里塔以及洛夫的研究成果。
• 证明双有理（伪拟对称）群是有界余挠的，从而扩展非阿贝尔有界余挠群的类。
• 证明双有理群在任意完备赋值域上均为普遍有界余挠，拓宽了有界上同调计算的适用范围。
• 探讨有界余挠性的遗传性质，特别是群扩张与定向并集中的情形。
• 研究汤普森群 F、T 和 V 的有界上同调，推测其在所有正度数上均为平凡。

提出的方法

• 将贝里克与瓦达拉查兰的余挠性证明框架适配至有界上同调，利用有界比较映射。
• 利用双有理群的结构——通过递归嵌入条件定义——构造显式的链同伦，以证明有界上同调的平凡性。
• 通过拓扑单纯复形的对偶的有界上同调解析，利用链映射上的范数估计。
• 通过结合双有理群的余挠性与有界余挠性，利用群同态诱导范数非增的链映射这一事实，证明普遍有界余挠性。
• 利用组合上杯积计算（通过引理 B.1）分析有界上同调中的上杯积幂，特别是在命题 6.9 的证明背景下。
• 通过两步次正规嵌入将任意群嵌入双有理群，以构造群扩张中 2/3 性质在有界余挠性下不成立的反例。

实验结果

研究问题

• RQ1 双有理群是否是有界余挠的？这一结论是否统一了此前的非阿贝尔例子，如 Homeo_c(ℝⁿ) 和拟对称群？
• RQ2 有界余挠性是否在群扩张下保持？在群扩张中，2/3 性质是否对有界余挠性成立？
• RQ3 双有理群是否在任意完备赋值域上均为普遍有界余挠？
• RQ4 在新框架下，关于汤普森群 F、T 和 V 的有界上同调可得出什么结论？
• RQ5 能否利用双有理群框架计算在圆上作用的群的有界上同调？

主要发现

• 所有双有理群均为有界余挠，为非阿贝尔有界余挠群提供了一个统一的框架。
• 双有理群是普遍有界余挠的：对任意完备赋值域 𝕂 和所有 n ≥ 1，均有 Hⁿ_b(Γ;𝕂) ≅ 0。
• 存在一个有界余挠群 Γ，其含正规子群 H，使得 Γ/H 有界余挠，但 H 在所有度数 n ≥ 2 上均有连续维的有界上同调。
• 有界余挠群的定向并集仍是其有界余挠，扩展了闭包性质。
• 汤普森群 F、T 和 V 的有界上同调猜想为最简形式，即在所有正度数上均为平凡。
• 组合上杯积恒等式（引理 B.1）证实了 alt(f₂∪ᵏ) = (2ᵏ·k!)/(2k)! · f₂ₖ，支持了关键的上同调计算。