[論文レビュー] Quadratic Uniformity of the Mobius Function

Ben Green, Terence Tao|arXiv (Cornell University)|Jun 4, 2006

Analytic Number Theory Research参考文献 11被引用数 4

ひとこと要約

本稿は、1段階および2段階のニルシーケンスに対して、モービウス関数とニルシーケンスの予想を確立し、その結果、モービウス関数がそれらのニル多様体上のリプシッツ関数と強く漸近的に直交することを証明した。この結果は、ダベンポートの指数和推定値を一般化し、素数の数論における漸近公式の主要な要素を提供する。具体的には、4項の素数等差数列や、余次元が2以下の非退化なアフィン格子問題が含まれる。

ABSTRACT

This paper is a part of our programme to generalise the Hardy-Littlewood method to handle systems of linear questions in primes. This programme is laid out in our paper Linear Equations in Primes [LEP], which accompanies this submission. In particular, the results of this paper may be used, together with the machinery of [LEP], to establish an asymptotic for the number of four-term progressions p_1 < p_2 < p_3 < p_4 <= N of primes, and more generally any problem counting prime points inside a ``non-degenerate'' affine lattice of codimension at most 2. The main result of this paper is a proof of the Mobius and Nilsequences Conjecture for 1 and 2-step nilsequences. This conjecture is introduced in [LEP] and amounts to showing that if G/Γis an s-step nilmanifold, s <= 2, if F : G/Γ-> [-1,1] is a Lipschitz function, and if T_g : G/Γ-> G/Γis the action of g \in G on G/Γ, then the Mobius function μ(n) is orthogonal to the sequence F(T_g^n x) in a fairly strong sense, uniformly in g and x in G/Γ. This can be viewed as a ``quadratic'' generalisation of an exponential sum estimate of Davenport, and is proven by the following the methods of Vinogradov and Vaughan.

研究の動機と目的

• ダベンポートの古典的指数和推定値を拡張し、1段階および2段階のニル多様体に対するモービウス関数とニルシーケンスの予想を証明すること。
• リプシッツ関数とニル多様体上のモービウス関数との間の強い漸近的直交性を確立し、そのバインドが log N の任意のべきよりも速く減少することを示すこと。
• ハーディー＝リトルウッド法における素数の連立一次方程式系への応用を可能にする基盤的道具を提供すること、特に余次元が2以下の問題に特化すること。
• ヴィノグラドフおよびヴォーンの指数和技法をニルシーケンスの文脈に一般化し、モービウス関数の高階相関の解析を可能にすること。
• 非退化なアフィン格子における素数点の漸近的数え上げを支援すること、例として4項の素数等差数列が含まれる。

提案手法

• ヴィノグラドフおよびヴォーンの手法を、ニル多様体上の二次指数和を扱うように適応し、主要弧と微小弧の分解を用いる。
• 座標変換を用いてニルシーケンスを二次形式および分数部分で表現し、問題を振動的和の推定に還元する。
• 2段階の可解なリー群およびその同次空間の理論を用いて、ニル回転の動的挙動をモデル化する。
• ニル多様体上のリプシッツ関数とその等分布性の性質を用いて、モービウス関数との相関を制御する。
• 除数のモーメント推定（例：$\mathbb{E}_{n\leq N} \tau(n)^m \ll_m (\log N)^{2^m - 1}$）を用いて、スieve的議論における衝突確率を制御する。
• 主要項の推定と除数パッキング補題を組み合わせ、算術的配置における重複解の数を制御する。

実験結果

リサーチクエスチョン

• RQ1 モービウス関数が2段階のニルシーケンスに対して強く漸近的に直交することを示せるか。これは、線形位相におけるダベンポートの結果の一般化である。
• RQ2 1段階および2段階のニル多様体上のリプシッツ関数について、相関 $\mathbb{E}_{n\leq N} \mu(n) F(T_g^n \cdot x)$ の定量的減少率は何か。
• RQ3 ハーディー＝リトルウッド法は、ニルシーケンスの直交性を用いて、素数における連立一次方程式系にどのように拡張できるか。
• RQ4 可解群のダイナミクスは、多項式列における乗法的関数のキャンセルを制御する上で果たす役割は何か。
• RQ5 ニル回転全体にわたるモービウス関数のキャンセルは、log N の任意のべきよりも速く減少する誤差項を伴って一様に定量化可能か。

主な発見

• モービウス関数は1段階および2段階のニルシーケンスに対して強く漸近的に直交する：$\left| \mathbb{E}_{n\leq N} \mu(n) F(T_g^n \cdot x) \right| \ll_A \|F\|_{\text{Lip}} \log^{-A} N$ が $g \in G$ および $x \in G/\Gamma$ に関して一様に成り立つ。
• この結果は、ダベンポートの推定 $\mathbb{E}_{n\leq N} \mu(n) e(-\alpha n) \ll_A \log^{-A} N$ を二次位相およびニルシーケンスへ一般化する。
• 証明は、主要弧と微小弧への分解に依拠し、微小弧寄与はヴィノグラドフ型推定により制御される。
• スieve的文脈での衝突を制御するために、除数パッキング補題 $|\bigcup_{d\in\mathfrak{D}} A_d| \gg_\kappa \delta^2 |\mathfrak{D}|^2 |A| \alpha^\kappa \log^{-2^{2/\kappa}} N$ が用いられる。
• 主要結果により、4項の素数等差数列 $p_1 < p_2 < p_3 < p_4 \leq N$ の漸近的数え上げおよび、余次元 ≤ 2 の非退化なアフィン格子におけるより一般的な素数点の数え上げが可能になる。
• バインドにおける隠れた定数は、ランダウ＝シエルベルグ零点の可能性があるため、無効である。これは、スieve理論の古典的結果と整合的である。