[論文レビュー] On representations of integers in thin subgroups of SL(2,Z)

Jean Bourgain, Alex Kontorovich|arXiv (Cornell University)|Jan 25, 2010

Analytic Number Theory Research参考文献 8被引用数 5

ひとこと要約

本稿は、Hausdorff次元 >0.9999493550 である SL(2,ℤ) の細かい部分群が、ほとんどすべての局所的に許容される整数を表すことを確立している。非代表化整数の例外集合は、N までで O(N^{1−ε₀}) に縮小する。円法の変種と双線形形式の評価、Gamburdのスペクトルギャップを組み合わせることで、篩法の偶奇障壁を克服し、このような軌道に無限に多くの素数が存在することを示した。これは、篩法のみで達成できるものよりも、例外集合においてパワー・サバスを達成している。

ABSTRACT

Let Gamma < SL(2,Z) be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive non-zero vectors v0, w0 in Z^2. We consider the set S of all integers occurring in , for gamma in Gamma. Assume that the limit set of Gamma has Hausdorff dimension delta>0.99995, that is, Gamma is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd's 5/6-th spectral gap in infinite-volume, we show that S contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set E(N) of integers |n|=1) but fail to be globally represented, n is not in S, has a power savings, $|E(N)| << N^{1-epsilon0}$ for some epsilon>0.

研究の動機と目的

• SL(2,ℤ) の細かい軌道における実際の素数の検出を妨げていた篩法の偶奇障壁を克服すること。
• Hausdorff次元が十分に大きい（δ > 0.9999493550）SL(2,ℤ) の細かい部分群が、ほとんどすべての局所的に許容される整数を表すことを確立すること。
• すべての局所的障害を通過しても、グローバルには表されない整数の集合が、パワー・サバス密度を持つこと：|𝔼(N)| ≪ N^{1−ε₀}（ある ε₀ > 0 に対して）。
• 双線形形式の評価を組み込むことで、アフィン線形篩の枠組みを拡張し、単に準素数ではなく実際に素数を生成すること。

提案手法

• SL(2,ℤ) の細かい軌道における指数和に円法を適応し、主要弧と微小弧に分解して整数の表現を分析する。
• 双線形形式の評価を用いて偶奇障壁を回避し、準素数ではなく実際に素数を検出可能にする。
• 無限体積設定における Gamburd の 5/6 スペクトルギャップを用いて、微小弧上の指数和の L² ノルムを制御する。
• 三角関数 ψ を用いて主要弧と微小弧を定義し、微小弧寄与を SN(θ) の L∞ と L² ノルムを用いて分析する。
• 微小弧を dyadic 分解により領域 WQ,K と Pβ に分割し、SN(θ) の L² および L∞ ノルムを制御する。
• δ, σ, α, κ を含む不等式系を確立し、単位区間内のすべての関連 θ をカバーすることで、微小弧寄与が十分に小さくなることを保証する。

実験結果

リサーチクエスチョン

• RQ1 双線形形式の手法をアフィン線形篩に統合し、SL(2,ℤ) の細かい軌道における実際に素数を検出することは可能か？
• RQ2 Hausdorff次元 δ がどれほど小さい場合でも、局所的に許容される整数のほとんどを表し、例外集合にパワー・サバスを達成できるか？
• RQ3 スペクトルギャップの評価と指数和解析の組み合わせが、無限体積・細かい群における円法の微小弧寄与をどのように制御するか？
• RQ4 動的軌道を含む SL(2,ℤ) の文脈において、篩法の偶奇障壁はどの程度克服可能か？
• RQ5 δ₀ という定量的閾値が存在し、δ > δ₀ のとき、軌道に表れない整数の例外集合の密度が O(N^{1−ε₀}) となるか？

主な発見

• 局所的に許容されるが、グローバルには軌道に表れない整数 |n| < N の例外集合 𝔼(N) のサイズは、ある ε₀ > 0 に対して |𝔼(N)| ≪ N^{1−ε₀} である。
• 極限集合のHausdorff次元 δ の閾値は、立方程式 1020 − 8897x − 5010x² + 12888x³ の最大根によって明示的に下界で与えられ、およそ δ > 0.9999493550 である。
• 証明は、モンゴメリー＝ヴォーグナーのゴールドバッハ問題に関する結果に類似したパワー・サバスを例外集合に達成しているが、成長する軌道を伴う不定形設定においてである。
• 双線形形式とスペクトルギャップの評価、指数和解析を組み合わせることで、篩理論における偶奇障壁を成功裏に克服した。
• 微小弧寄与の L² ノルムは、ある η > 0 に対して O(N^{4δ−1−η}) で有界であり、最終的なパワー・サバス推定において極めて重要である。
• この結果は、代表化された整数の集合が許容される整数においてフル密度を持ち、例外集合が log N の任意のべきよりも速く縮小することを示唆している。