[論文レビュー] Notes on Thin Matrix Groups

Peter Sarnak|arXiv (Cornell University)|Dec 14, 2012

Mathematical Dynamics and Fractals被引用数 7

ひとこと要約

本稿は、薄型行列群に対する基本的拡張定理を確立し、そのザリスキ閉包の単位成分が完全である限り、$SL_n(\mathbb{Z})$ の有限生成な薄型部分群の合同カイリー図形が拡張子族を形成することを証明する。この結果は、非算術的群へのスーパー強い近似の拡張を実現し、ディオファントス近似、モノドロミー群、およびゴナリティーやハイガールド genus といった幾何的不変量への応用を可能にする。

ABSTRACT

These notes were prepared for the MSRI hot topics workshop on superstrong approximation (2012). We give a brief overview of the developments in the theory, especially the fundamental expansion theorem. Applications to diophantine problems on orbits of integer matrix groups, the affine sieve, group theory, gonality of curves and Heegaard genus of hyperbolic three manifolds, are given. We also discuss the ubiquity of thin matrix groups in various contexts, and in particular that of monodromy groups.

研究の動機と目的

• 算術的群を超えた非算術的群へのスーパー強い近似の拡張を含む、薄型行列群の一般化された拡張性質を確立すること。
• 薄型群が $SL_n(\mathbb{Z})$ に属する場合、合同カイリー図形がややいなごろの代数的条件下で拡張子族を形成することを示すこと。
• 拡張定理を、アフィンのふるいによるディオファントス問題の解決および超幾何方程式のモノドロミー群の解析に応用すること。
• 幾何的および表現論的技法を用いて、モノドロミー群の薄型性を強固に証明すること。
• 拡張性質が、$GL_m$ に対するラマヌジャン予想を含む深い数論的予想とどのように関係するかを結びつけること。

提案手法

• 基本的拡張定理の利用：ザリスキ閉包 $ G $ の単位成分 $ G^o $ が完全であれば、平方自由で有限個の素数と素な $ q $ に対して、合同グラフ $ (\pi_q(\varGamma), S) $ は拡張子族を形成する。
• 三段階構造の証明戦略：序盤（小集合の成長）、中盤（フラットネス補題と和積定理）、終盤（表現論的推定による閉路の境界）。
• 中間集合における成長を制御するために、有限体における和積定理とバログ＝ツェメレーディ＝ガウアーズ定理を適用する。
• フラットネス補題を用いて、問題を $ G(\mathbb{Z}/q\mathbb{Z}) $ 上の表現論的推定によるスペクトルギャップの境界に還元する。
• 最小距離グラフ $ X_f $ の成分がコクセター群のカイリー図形であることに着目し、モノドロミー群の薄型性を証明する。
• 整数的同値な形（例：$ x^2 + 3xy + y^2 $ と $ -g $）とヴィンバーグの反射群理論を用いて、$ O_f(\mathbb{Z})/R_f $ 上の有限像を構成する。

実験結果

リサーチクエスチョン

• RQ1 薄型行列群の合同カイリー図形がどのような条件下で拡張子族を形成するか。
• RQ2 スーパー強い近似性質は、$SL_n(\mathbb{Z})$ の非算術的かつ無限指数部分群へ拡張可能か。
• RQ3 どのような幾何的または代数的不変量がモノドロミー群が薄型であることを証明できるか。
• RQ4 薄型群における拡張性質は、$GL_m$ に対するラマヌジャン予想とどのように関係するか。
• RQ5 拡張性質は、双曲的3次元多様体の算術的商において、どのように一様なスペクトルギャップを示唆するか。

主な発見

• 基本的拡張定理が成立：有限生成な薄型部分群 $ \varGamma \leq SL_n(\mathbb{Z}) $ に対して、$ G^o $ が完全であれば、平方自由で有限個の素数と素な $ q $ に対して、合同グラフ $ (\pi_q(\varGamma), S) $ は拡張子族を形成する。
• 拡張定数は原則的に計算可能ではあるが、必ずしも実用的ではない。
• 超幾何微分方程式の族 (3.6) および (3.7) のモノドロミー群は $ n \geq 5 $ に対して薄型であり、その証明は $ K_f = O_f(\mathbb{Z})/R_f $ 上の像が有限であることに依存する。
• 双曲的超幾何モノドロミー群の薄型性は、最小距離グラフ $ X_f $ の連結成分におけるカルタン対合によって生成される群が $ K_f $ の有限部分群に写ることを示すことによって証明される。
• 薄型性の証明は、二変数形式 $ g = x^2 + 3xy + y^2 $ の整数的逆数性に依存しており、これにより薄型性の強固な幾何的証明が可能になる。
• 結果として、最大算術的反射群は有限個しかなく、算術的合同曲面のゴナリティおよび算術的双曲的3次元多様体のハイガールド genus は、それぞれ genus および体積に比例して線形に増加することが、一様なスペクトルギャップにより示唆される。