[論文レビュー] Sieve in discrete groups, especially sparse

Emmanuel Kowalski|arXiv (Cornell University)|Jul 30, 2012

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

ひとこと要約

本論文は、特に算術群の無限位数部分群を含むスパースな離散群に対して、特に小さなふるいと大きなふるいを用いたふるい法を開発・適用する。ランダムウォークの指数的等分布性とガロア群の上への全射性を確立し、ザリスキ密でスパースな部分群に対して、非全射的ガロア作用の確率が指数的に減少することを示し、群の軌道における素数分布に関する強力な定量的結果を得る。

ABSTRACT

We survey the recent applications and developments of sieve methods related to discrete groups, especially in the case of infinite index subgroups of arithmetic groups.

研究の動機と目的

• 算術群のスパースで無限位数の部分群、特に指数的成長を示すものに古典的ふるい理論を拡張すること。
• 離散群の文脈において、小さなふるいと大きなふるいの両方を適用する一般枠組みを構築すること。
• ふるい技法を用いて、スパース群の軌道における定量的等分布性と素数分布の結果を確立すること。
• ふるいに基づく結果が、群作用における素数とガロア群の分布に与える影響を調査すること。
• ケイリー図の平均的拡張性および有効なふるいの境界に関する未解決問題を特定すること。

提案手法

• 素数を法とする群の商への包含・除外原理と局所的・大域的原理を用いて、古典的ふるい枠組みを離散群に適応する。
• 大きなふるいを用いて、ガロア作用が自明となる要素の密度を評価し、それらがすべての共役類を避けるという事実を応用する。
• 群上のランダムウォークを用いて等分布性をモデル化し、非全射的ガロア作用の確率がステップ数とともに指数的に減少することを示す。
• ジョルダンの補題を用いて、共役類の集合をすべて避けるような群の部分集合が存在しない場合、その集合は大きくなると結論づけ、局所的データから大域的結論を得る。
• スペクトル的およびエルゴディック的手法を統合し、組合せ的ボールのサイズとそれらを素数で割った剰余類への射影の大きさを推定する。
• アフィンふるいの枠組みを活用し、座標積などの関数の値の分布を解析する。

実験結果

リサーチクエスチョン

• RQ1 スパースな群の文脈において、明示的な拡張推定が得られない状況下で、ふるいパラメータ ω に対する有効な境界を導出可能か？
• RQ2 個々の図に対してではなく、ケイリー図の族全体に対して『平均的』に拡張性を示せるか？
• RQ3 ランダムウォークではなく語長ボールを用いて、等分布性およびふるいの結果を確立可能か？
• RQ4 スパース群の軌道における素数の数え上げ関数の予想的関数を仮定した場合、どのような数論的帰結が生じるか？
• RQ5 ハーディ＝リトルウッドの k-タプル予想の均一版は、短い区間における素数のポisson分布とどのように関係するか？

主な発見

• SL₂(Z) のザリスキ密でスパースな部分群におけるランダムウォークの要素が非全射的ガロア作用を持つ確率は、ステップ数とともに指数的に減少する。
• 有限群における任意の共役類の有限集合に対して、真の部分群がそれらすべてと交わることはできない。この事実を用いて、局所的ふるいデータから大域的全射性を導出する。
• 大きなふるいにより、ガロア作用が自明となる群の要素の集合は、スパース群におけるランダムウォークで指数的に小さい密度を持つ。
• スパース群における明示的な拡張推定が存在しないため、ふるいパラメータ ω に対する有効な境界は未だ不明である。
• ハーディ＝リトルウッドの k-タプル予想の均一版が成り立つ限り、長さ λ log x の短い区間における素数の分布は漸近的にポアソン分布に従う。
• アフィンふるいの枠組みにより、離散群の生成する値における素因数の個数が正規分布に従うことが示され、エルドシュ＝カックの定理が群の軌道へ一般化される。