[論文レビュー] Topological complexity of arithmetic locally symmetric spaces

Mikołaj Frączyk, Sebastián Hurtado+1 more|arXiv (Cornell University)|Feb 28, 2022

Advanced Algebra and Geometry被引用数 4

ひとこと要約

本稿は、算術的局所対称空間のトポロジカルな複雑性が体積に対して線形であり、ベッチ数が中間次元を除き体積に対して非線形であることを確立する。精密化されたマーガリス補題、軌道積分推定、ベンジャミン–シュラムの収束を用いて、ゲランダーの予想である一様ホモトピー的複雑性を確認し、$L^2$-ベッチ数を介して体積に関するベッチ数の漸近的線形性を証明する。

ABSTRACT

We prove that any arithmetic locally symmetric space is homotopy equivalent to a simplicial complex where the number of simplices is bounded linearly in the volume of the space. This settles a well-known conjecture of Gelander. The main technical ingredient, which is of independent interest, is a strengthened version of the Margulis' collar lemma for arithmetic locally symmetric spaces based on the height gap theorem of Breuillard, in which the Margulis constant is made linear in the degree of the trace field of the lattice.

研究の動機と目的

• 体積に対する三角形分割のサイズの上限を用いて、算術的局所対称空間の均一ホモトピー的複雑性を確立すること。
• 特に中間次元を除く領域において、体積との関係でのベッチ数の漸近的挙動を分析すること。
• 単純なリー群における算術的格子の系列に対して、ベンジャミン–シュラムの収束を確立すること。
• 非コンパクトな対称空間における算術的格子に対して、マーガリス補題および軌道積分推定を精緻化すること。
• トレース体の次数が細い部分およびトポロジカル不変量を制御する役割を解明すること。

提案手法

• 算術的局所対称空間における細い部分の幾何を制御するための新しい算術的マーガリス補題を構築する。
• 小さな移動距離を持つ群元の数を制御するために、軌道積分の推定を用いる。
• 単純なリー群における算術的格子に特化した、精緻化されたマーガリス補題のバージョンを適用する。
• ガロアコhomオロジーおよびブルハット–ティツのビルディング理論を用いて、共役類およびコンパクトコホモロジー類を分析する。
• トレース体の次数に基づいて細い部分の体積をバウンドすることで、ベンジャミン–シュラムの収束を確立する。
• 極限乗数結果と$L^2$-ベッチ数理論を組み合わせて、漸近的ベッチ数バウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 算術的局所対称空間の最小三角形分割のサイズは、体積に対して線形に増加するか？
• RQ2 算術的局所対称空間のベッチ数は、中間次元を除き体積に対して非線形であるか？
• RQ3 トレース体の次数が無限大に発散する単純なリー群における算術的格子の系列に対して、ベンジャミン–シュラムの収束を確立できるか？
• RQ4 軌道積分および移動距離のカウントは、算術的局所対称空間における細い部分の幾何をどのように制約するか？
• RQ5 ガロアコホモロジーにおけるコンパクトコホモロジー類の数は、算術的商のトポロジーにどの程度影響を与えるか？

主な発見

• 算術的局所対称空間の三角形分割における最小tetrahedron数は、体積に対して線形以下である。
• ベッチ数は中間次元を除き体積に対して非線形に増加するが、その範囲外では漸近的に消えることが確認された。
• 算術的局所対称空間の族は一様ホモトピー的複雑性を有し、ゲランダーの予想が確認された。
• トレース体の次数が無限大に発散する算術的格子の系列に対して、ベンジャミン–シュラムの収束が成り立ち、細い部分の体積に明示的なバウンドが得られた。
• 小さな移動距離を持つ共役類の数は、群の型にのみ依存する一様なバウンドを持つ。
• 合同算術的格子に対しては、$b_k(M) \sim \beta_k^{(2)}(G) \cdot \mathrm{vol}(M)$ が成り立ち、ここで $\beta_k^{(2)}(G)$ は $G$ の $k$ 番目の $L^2$-ベッチ数を表す。