Flatmates and the bounded cohomology of algebraic groups

技術的要約：フラットメイト（Flatmates）と代数群の有界コホモロジー

問題設定
本研究の主要な目的は、非アルキメデス局所体上の代数群における連続有界コホモロジーの消滅を確立することである。具体的には、本論文は以下の空白領域に対処している。すなわち、このような体上の単純代数群の通常の連続コホモロジーが正の次数で消滅することは既知であるが（Garland, Casselman, Wigner, Harderによる古典的な結果）、有界コホモロジーの振る舞いは未知であった。

この問題は、リー群の有界コホモロジーを理解するというより広い文脈の中に位置づけられる。Dupontの予想（連結な単純リー群の実連続コホモロジー類は有界であるという予想）は、多くの群に対して未解決のままであるが、非アルキメデス的なケースは異なる課題を提示している。通常の文脈では、関連するブルア・ティッツ・ビューチン（Bruhat–Tits building）がその次元の可縮複体であるため、高次での消滅は自明である。しかし、この「ソフト」な原理は有界コホモロジーにおいては成立しない。例えば、$SL_2(\mathbb{Q}_p)$ に関連する樹形（tree）は可縮であるが、次数2において非自明な有界コホモロジーを持つ。本論文は、他の文脈における「近似コサイクル（almost-cocycles）」の挙動とは異なり、これらの群の有界コホモロジーはすべての正の次数において完全に消滅することを証明することを目的としている。

手法
証明戦略は、代数群から、それに関連するブルア・ティッツ・ビューチン（Bruhat–Tits buildings）の幾何学への還元、およびこれら幾何学的構造の有界コホモロジーに対する新しい組合せ論的手法に基づいている。

1. ビューチンへの還元: 代数群の消滅定理（定理A）は、ブルア・ティッツ・ビューチンの自己同型群に関する言明（定理B）へと還元される。構造論を用いることで、問題は、局所有限なユークリッド・ビューチン上に強移行的（strongly transitive）に作用する単純群のケースへと簡約される。
2. フラットメイト複体（Flatmate Complex）: コアとなる技術的革新は、「フラットメイト複体」（cokotcomplexとも呼ばれる）の解析である。この単体的複体は、ビューチン内の共通のアパートメント（flat）内に存在する頂点のタプルから構成される。著者らは以前、樹形の文脈においてこの対象を提案したが［BM19］、高ランクのビューチンへの一般化において重大な組合せ論的困難に直面した。
3. 単体的ツールとサポート制御: ビューチンにおける任意の点配置の組合せ論的な複雑さを克服するため、著者らは一連の単体的ツールを導入している：
   • サポート制御（Support Control）: ホモロジーサイクル上の$\ell^1$ノルムを利用した原理。これは、もし$n$個の頂点を持つあらゆる有限部分複体が、高々$\phi(n)$個の頂点を持つ可縮な部分複体に包含されるならば、その複体は一様に可縮である（有界な縮退ホモトピーを許容する）ことを確立する。
   • 一様ネル原理（Uniform Nerve Principles）: 著者らは、ネル補題の一様版を開発した。被覆がハイパーサインプリックス（hypersimplices）からなり（かつそれらの共通部分もまたハイパーサインプリックスである）場合、その複体は被覆のネル（nerve）と一様にホモトピー同値であり、その境界は次数のみに依存することを証明している。
4. ビューチンへの適用: 著者らは、これらのツールをユークリッド・ビューチンのアパートメント系に適用する。彼らは、アパートメント系のネルが一様に可縮であることを示す。一様ネル原理により、これによりフラットメイト複体自体が一様に可縮であることが示される。

主要な結果

• 定理 A (代数群): 非アルキメデス局所体$k$上の任意の代数群$G$について、$G(k)$の実係数による連続有界コホモロジーは、すべての正の次数で消滅する。
• 定理 B (ビューチン): 局所コンパクト群$G$が、局所有限なユークリッド・ビューチンに対して自己同型として適切かつ強移的に作用する場合、その連続有界コホモロジーはすべての正の次数で消滅する。
• 定理 F (フラットメイト): 離散的な既約ユークリッド・ビューチンのフラットメイト複体は一様に可縮である。これは［BM19］で提起された「フラットメイト予想」を解決するものである。
• 定理 D & Dbis (算術群): 本論文は、$S$-算術群に関する消滅および不変性の定理を導出している。
  • $G$がアルキメデス完備化において非スプリット（anisotropic）である場合、$S$-算術群$\Gamma$の有界コホモロジーは、次数 $0 < n < 2 \sum_{v \in S} \text{rank}_{K_v}(G)$ において消滅する。
  • 孤立した（isotropic）アルキメデス的な局所が存在する場合、$\Gamma$の有界コホモロジーは、対応するアルキメデス・リー群の直積のコホモロジーと同型である。

意義と主張
本論文は、定理Aが非アルキメデス群に関する古典的な消滅定理の強化を提供すると主張している。通常のコホモロジーの消滅はよく理解されているが、有界コホモロジーの消滅は「厳格な強化」であり、これは「近似コサイクル」（例えば次数2における準同型写像）さえもが自明でなければならないことを意味する。

著者らは、本研究を、半単純リー群の有界コホモロジーと通常のコホモロジーの間の同型に関する予想（非アルキメデス版）に対する解決策として位置づけている。これらの群に対して通常のコホモロジーは消滅するため、この結果は、有界コホモロジーも消滅することを意味しており、これはこれまでランク1の群（樹形）においてのみ知られていた事実である。

さらに、本論文は「サポート制御」の原理と「一様ネル原理」を一般的な単体的ツールとして導入している。著者らは、これらの手法が独立した関心事であり、代数群を超えた文脈、特に複体の接着や大きな変換群の研究において適用可能である可能性を示唆している。

これらの結果は、$S$-算術群の有界コホモロジーの研究における欠落していたピースを埋めるものであり、離散的な算術群のコホモロジーを、その周囲のリー群の連続コホモロジーに関連付ける不変性定理の導出を可能にする。これは、次数2またはランク1のケースに限定されていた従来の成果を拡張するものである。