技術的要約：非残留有限な $\tilde{C}_2$-格子

問題設定

本論文は、幾何学的群論およびビューティン（building）の理論における長年の未解決問題である、既約ユークリッド・ビューティン上の非残留有限な格子の存在に対処している。積木（可約なビューティン）上の格子が非残留有限になり得ること（例：Burger–Mozes–Wise 群）は確立されているが、代数群から派生しない「エキゾチック」な既約ビューティン上の格子は一般に非残留有限であるという予想があるものの、本研究までその具体的な例が検証されたことはなかった。具体的には、著者らは、既約 $\tilde{C}_2$-ビューティン上の非残留有限な格子の最初の例を構成し、検証することを目指している。

手法

著者らは、計算機による探索、組合せ群論、および幾何学的剛性議論を組み合わせて用いている。

1. Raduグラフによる計算機探索:
   構成の核となるのは、有限の非正曲率組合せチャンバー複体（GAB）のための探索アルゴックである。著者らは、複体の局所幾何学を符号化する「Raduグラフ」の概念を利用している。彼らは部分的な三角形被覆のサイズに基づく「スコア」関数を定義し、型保存置換の下でのRaduグラフの軌道を通じて貪欲探索を行う。この探索により、目的の格子に対する基本領域として機能する特定の複体 $Y^q_i$ が特定された。

2. 非残留有限部分群の埋め込み:
   非残留有限性を証明するために、著者らは既知の非残留有限部分群を部分複体として含む新しい格子 $\Gamma^q_i$ を構成する。

   • $q=2$ の場合、複体 $Y^2_1$ はRadu群 $\Gamma_R$（木の積上のBMW群）に関連する正方形複体 $S_R$ の細分を含む。
   • $q=3$ の場合、複体 $Y^3_k$ はJanzen–Wise群 $\Gamma_{JW}$ に関連する正方形複体 $S_{JW}$ の細分を含む。
     補題2.2（局所凸部分群の基本群の単射性）により、これらの部分複体の基本群は $\Gamma^q_i$ に埋め込まれる。これらの部分群が非残留有限であることが既知であるため、より大きな群もその性質を継承する。

3. 標準形と剛性:
   （特に自己同型群の決定および単純性の検証のために）これらの格子における語の「標準形」を計算するためのアルゴリズムを開発する。これには、普遍被覆（ビューティン）における標準的なパスの定義と書き換え規則の確立が含まれる。このアルゴリズムにより、ケイリー図の有限な球を計算することが可能となり、これを用いて格子がそれぞれのビューティンの全自己同型群であること（あるいは特定の有限指数拡大を持つこと）を証明する。

4. $\tilde{A}_2$-格子の分類:
   二次的かつ独立した結果として、著者らは厚さ3の $\tilde{A}_2$-ビューティン上のすべての型保存・頂点正則な格子を網羅的に分類する。これは、特定の組合せ的制約を持つすべての可能なGABを列挙し、その基本群を分析することを含む。

主な貢献と結果

1. 非残留有限な既約格子の存在 (定理 A)

主要な貢献は、5つの有限三角形複体 $Y^2_1, Y^3_1, Y^3_2, Y^3_3, Y^3_4$ の構成である。

• それらの普遍被覆 $X^q_i$ は、厚さ $q+1$（$q=2$ のときは厚さ3、$q=3$ のときは厚さ4）のエキゾチックな $\tilde{C}_2$-ビューティンである。
• それらの基本群 $\Gamma^q_i = \pi_1(Y^q_i)$ は、非残留有限な一様格子である。
• 具体的には、有限残留 $\check{\Gamma}^q_i = (\Gamma^q_i)^{(\infty)}$ は $\Gamma^q_i$ において有限指数を持つ。
  • $q=2$ の場合、$\Gamma^2_1$ は自身の有限残留である（すなわち、真の有限指数部分群を持たない）。
  • $q=3$ の場合、指数 $[\Gamma^3_i : \check{\Gamma}^3_i]$ は $i=1,2$ で4、$i=3,4$ で8である。

2. 性質 (T) を持つ単純 CAT(0) 群 (系 B)

主定理と先行研究（特に [LW26]）を組み合わせることで、著者らは有限残留 $\check{\Gamma}^q_i$ が単純群であることを導き出す。

• これらの群はCAT(0)群である（CAT(0)空間上に固有かつコンパクトに作用するため）。
• これらはカズダン（Kazhdan）の性質 (T) を有する。著者らはOzawaの手法と半正定値計画法を用いて $\bar{\Gamma}^2_1$ に対する性質 (T) を検証し、少なくとも $0.4147$ のカズダン定数を確立した。
• 決定的なことに、これらの群は真の直積に準等長（quasi-isometric）ではない。これは、木の積に準等長である既知の非残留有限な格子（非残留有限な積木上の格子）とは異なる。

3. 剛性と非同型性

著者らは、ビューティン $X^q_i$ が互いに非同型であり、格子 $\Gamma^q_i$ が互いに非準等長であることを証明する。

• これは、ケイリー図の有限な球を再構成し、結果として得られる商 $\check{\Gamma}^q_i \backslash X^q_i$ が非同型であることを示すことで達成される。
• これらのビューティンの自己同型群は離散的であり、その「エキゾチック」な性質を裏付けている。

4. $\tilde{A}_2$-格子の分類 (定理 C および 定理 6.1)

本論文は、厚さ3の $\tilde{A}_2$-ビューティン上の型保存・頂点正則な格子を完全に分類している。

• これらの格子は（共変性を除いて）正確に13個存在する。
• 算術的な例: これらのうち6つは算術的である。特に、一つの算術的な例（$\Gamma_6$ に関連するもの）は体 $K = \mathbb{Q}(\sqrt{-23})$ 上で定義されており、以前に研究された格子とは共メンス（commensurable）ではない。著者らは、この格子の一般的なユニタリ群 $GU(f)(\mathbb{Q}_2)$ への明示的な埋め込みを提供している。
• エキゾチックな例: 残りの7つの格子はエキゾチックなビューティン上で作用する。著者らはそれらの自己同型群と商を分析し、いくつかが小さな商を持たない完全群であることを特定している。

意義

本論文は、既約なビューティン上の非残留有限な格子が存在するという、これまで検証されていなかった予想を解決し、既知の最初の例を提供したと主張している。

その意義は以下の分野に及ぶ：

• 群論: 直積に準等長ではない、性質 (T) を持つ単純なCAT(0)群の最初の例を提示した。これは、このような文脈における性質 (T) と単純性が、可約な構造と結びついているという直観に挑戦するものである。
• 幾何学的剛性: 非残留有限な振る舞いが、可約なビューティン（木の積）に限定されず、既約な設定でも起こり得ることを示し、既知の格子挙動の風景を広げた。
• 分類: 厚さ3の $\tilde{A}_2$-格子に関する網羅的な分類は、算術的な格子とエキゾチックな格子の関係を理解するための具体的なデータセットを提供し、新たな算術的な例と豊かな多様性を持つエキゾチックな構造を明らかにしている。

著者らは、この構成が計算機による探索と検証（特に、特定の要素が有限残留に含まれることを確認することによる非残留有限性の確認、および大きな球の自己同型群の計算）に依存していることを強調している。検証をサポートするために、コードとデータは公開されている。