[論文レビュー] Super-approximation, II: the p-adic and bounded power of square-free integers cases

Alireza Salehi Golsefidy|arXiv (Cornell University)|Feb 1, 2016

Algebraic Geometry and Number Theory参考文献 46被引用数 4

ひとこと要約

この論文は、平方因子を持たない整数および素数のべきを法とする算術群のカイaley群におけるスーパー近似のif-and-only-if条件を確立し、そのような族が拡張子族を形成するのは、群のザリスキ閉包の連結成分が完全である場合に限ることを示している。証明は有界生成、p進解析、スぺクトルギャップ技法に依拠しており、従来の平方因子を持たない法に関するスーパー近似の結果を、より広い範囲の剰余法にまで拡張している。

ABSTRACT

Let $Ω$ be a finite symmetric subset of GL$_n(\mathbb{Z}[1/q_0])$, and $Γ:=\langle Ω angle$. Then the family of Cayley graphs $\{{ m Cay}(π_m(Γ),π_m(Ω))\}_m$ is a family of expanders as $m$ ranges over fixed powers of square-free integers and powers of primes that are coprime to $q_0$ if and only if the connected component of the Zariski-closure of $Γ$ is perfect. Some of the immediate applications, e.g. orbit equivalence rigidity, {\em largeness} of certain $\ell$-adic Galois representations, are also discussed.

研究の動機と目的

• 平方因子を持たない整数のべきおよび素数のべきを法とする算術群のカイaley群におけるスーパー近似の完全な特徴付けを確立すること。
• これらのカイaley群族が拡張子族を形成するための正確な代数的条件を特定すること。
• 平方因子を持たない法に限らないスーパー近似理論を、有界な素数のべきおよび平方因子を持たない整数へと拡張すること。
• 軌道同値性の剛性および$α$-進ガロア表現の研究への応用の基盤を提供すること。
• p進および合同手法を用いて、鋭い基準を証明することで、従来のスーパー近似に関する結果を一般化すること。

提案手法

• 群$Γ = \langle \Omega \rangle$の$\mathrm{GL}_n$におけるザリスキ閉包を用いて、合同剰余群$\pi_m(\Gamma)$の構造を分析する。
• 有界生成技法を適用し、完全な代数群が一様に有界なステップ数で交換子によって生成可能であることを示す。
• p進解析的手法を用い、特に決定的成長が制御された多項式曲線の構成を通じてスぺクトルギャップを確立する。
• 剰余写像の統計的非分裂性を活用し、真の部分群への「逃げ出し」を防ぐ。
• p進解析写像の定量的オープン・イメージ定理を用いて、群の元の還元写像の像を制御する。
• 問題を、ザリスキ閉包の連結成分が完全であること、すなわち$[\mathbb{G}^\circ, \mathbb{G}^\circ] = \mathbb{G}^\circ$であることを確認することに還元する。

実験結果

リサーチクエスチョン

• RQ1 平方因子を持たない整数の有界なべきを法とする際、$m$がその範囲を走るとき、カイaley群族$\mathrm{Cay}(\pi_m(\Gamma), \pi_m(\Omega))$が拡張子族を形成するのはどのような代数的条件下か？
• RQ2 群$\Gamma$のザリスキ閉包が完全な連結成分を持つ場合に、$m$が$q_0$と互いに素な素数のべきを走るとき、同じ族が拡張子族を形成するのはいつか？
• RQ3 $\Gamma$のザリスキ閉包の完全性と、対応するカイaley群におけるスぺクトルギャップとの正確な関係は何か？
• RQ4 完全な強い近似が成り立たない状況下で、有界生成とp進近似をどのように組み合わせてスーパー近似を証明できるか？
• RQ5 剰余写像の非分裂性が、すべての法において拡張性を保証するために果たす役割は何か？

主な発見

• 平方因子を持たない整数の有界なべきを法とする際、カイaley群族$\mathrm{Cay}(\pi_m(\Gamma), \pi_m(\Omega))$が拡張子族を形成するのは、$\Gamma$のザリスキ閉包の連結成分が完全である場合に限る。
• 同様に、$m$が$q_0$と互いに素な素数のべきを走るとき、同じ族が拡張子族を形成するのは、$\Gamma$のザリスキ閉包が完全な連結成分を持つ場合に限る。
• 証明により、スーパー近似が成立するのは群がほとんど可解でない場合に限ることが示され、完全性は非自明なアーベル商を持たないことを示唆する。
• 著者らは、完全性条件のもとで、すべてのこのような法においてスぺクトルギャップが$0$から一様に離れていることを示した。
• この手法は、p進空間内の多項式曲線を構成し、そのヤコビアン行列式が制御されたレートで成長することに依拠しており、これにより像が大きな部分加群を生成することが保証される。
• この結果は、従来の平方因子を持たない法に関するスーパー近似定理を一般化し、必要十分条件として鋭い基準を提供する。