[論文レビュー] Arithmetic Groups Have Rational Representation Growth

Nir Avni|ArXiv.org|Mar 10, 2008

Advanced Algebra and Geometry参考文献 8被引用数 5

ひとこと要約

この論文は、合同部分群性質を備えた数体上の半単純代数群の算術的格子に対して、表現ゼータ関数の収束の横座標が有理数であることを証明する。マーガリスのスーパー剛性およびイグーサ＝デネフの積分法を用いた局所ゼータ関数とオイラー積因数分解を通じて、著者たちは、無限次元表現の多項式的成長率が有理指数によって支配されることを示し、算術群における表現成長の主要な側面を解消する。

ABSTRACT

Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a rational number.

研究の動機と目的

• 算術的格子に合同部分群性質を備える場合の表現ゼータ関数の収束横座標の性質を特定すること。
• このような群の既約表現の成長率が有理指数を伴う多項式的成長であることを確立すること。
• 数体およびそのプロファイント完備化における局所ゼータ関数の分析を通じて、算術群における表現成長の理解を拡張すること。
• ゼータ関数をアーチメデス的および非アーチメデス的局所因子に分解することにより、収束横座標が有理数であることを証明すること。

提案手法

• 証明は、算術的格子 Γ の有限指数部分群 Δ に対する表現ゼータ関数のオイラー風因数分解を用い、それをアーチメデス的因子と非アーチメデス的場所の積に分解する。
• イグーサとデネフの p進積分技法を用いて、各素数 p における局所ゼータ関数を分析し、p^s に関する有理関数の和として表現する。
• 有限体上の表現数を制御する V 関数と R 関数の存在に依拠し、指数和による漸近的解析を可能にする。
• アーチン集合における素数の無限積の極と収束性を分析することにより、収束横座標を特定する。密度論的議論と素数のゼータ関数との比較を用いる。
• 素数の集合を有限個のアーチン集合に分割し、各集合において局所ゼータ関数の均一な漸近的制御を可能にする。
• グローバルゼータ関数の収束横座標が、各局所因子の収束横座標の最大値に等しいことを確立し、各因子が有理数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 合同部分群性質を備えた算術的格子の表現ゼータ関数の収束横座標は有理数か？
• RQ2 このような格子の表現成長は、有理指数を伴う多項式的成長率として記述可能か？
• RQ3 有限場における局所ゼータ関数は、グローバルな収束横座標にどのように寄与するか？
• RQ4 アーチン集合および素数における均一な漸近的挙動は、収束横座標を決定する上で果たす役割は何か？

主な発見

• 合同部分群性質を備える算術的格子 Γ に対して、表現ゼータ関数の収束横座標 αΓ は有理数である。
• アーチメデス的局所因子 ζG(C)(s) の収束横座標は有理数であり、先行研究 [15] で確立されている。
• 各非アーチメデス的場所において、局所ゼータ関数 ζGp(s) の収束横座標は有理数であり、有限体上での R 関数および V 関数の構造から導かれる。
• 正の解析的密度を持つ集合 A に対する無限積 ∏p∈A ζGp(s) の収束横座標は有理数であり、max{∑Bj + di + 1 / (ei + ∑Aj), max{Bj / Aj}} に等しい。
• 積の収束性は、∏(1 + 1/p) および ∏(1 + 1/p^{1+ε}) との比較により制御され、s が有理数の閾値を超えると収束することが示される。
• 有限指数部分群に移行しても収束横座標は変化せず、これによりゼータ関数が因数分解可能な群に還元可能である。