[論文レビュー] 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 の有界コホモロジーを調査し、それがすべての正の次数で自明である可能性を示唆すること。

提案手法

• Berrick と Varadarajan のアセイクル性証明枠組みを、有界比較写像を用いて有界コホモロジーに適応すること。
• 再帰的埋め込み条件によって定義される二重群の構造を用い、有界コホモロジーの自明性を示す明示的なチェーンホモトピーを構成すること。
• トポロジカル双対による単体的分解の有界コホモロジー解体を用い、チェーン写像におけるノルム推定を活用すること。
• 群の準同型がノルム非増大チェーン写像を誘導することを用い、二重群のアセイクル性と有界アセイクル性を組み合わせて普遍的有界アセイクル性を証明すること。
• 補題 B.1 を通じた組合せ的カップ積計算（カップ積の累乗）を用い、特に命題 6.9 の証明の文脈でカップ積の性質を分析すること。
• 任意の群を2段階の部分正規部分群埋め込みを通じて二重群に埋め込むことにより、有界アセイクル性における2/3の性質の反例を構成すること。

実験結果

リサーチクエスチョン

• RQ1 二重群は有界的アセイクルであるか？ また、これにより、Homeo_c(ℝⁿ) やミトーシス的群といった既存の非可換例が統合されるか？
• RQ2 有界アセイクル性は拡大で保たれるか？ また、群の拡大における有界アセイクル性の2/3の性質は成り立つか？
• RQ3 任意の完備付値体上、二重群は普遍的に有界的アセイクルであるか？
• RQ4 新規な枠組みを用いて、トンプソン群 F、T、V の有界コホモロジーについて何が言えるか？
• RQ5 円周上に作用する群の有界コホモロジーは、二重群の枠組みを用いて計算可能か？

主な発見

• すべての二重群は有界的アセイクルであり、非可換な有界的アセイクル群の統合的枠組みを提供する。
• 二重群は普遍的に有界的アセイクルである：任意の完備付値体 𝕂 およびすべての n ≥ 1 に対して Hⁿ_b(Γ;𝕂) ≅ 0 が成り立つ。
• 任意の正の整数 n ≥ 2 に対して、有界コホモロジーが連続次元を持つ正規部分群 H を持つ有界的アセイクル群 Γ が存在するが、商群 Γ/H は有界的アセイクルである。
• 有界的アセイクル群の有向合併は有界的アセイクルであり、閉包性質が拡張される。
• トンプソン群 F、T、V の有界コホモロジーは、すべての正の次数で自明である可能性が示唆される。
• 組合せ的カップ積の恒等式（補題 B.1）により、alt(f₂∪ᵏ) = (2ᵏ·k!)/(2k)! · f₂ₖ が確認され、重要なコホモロジー計算を支援する。