[論文レビュー] The quantitative behaviour of polynomial orbits on nilmanifolds

Ben Green, Terence Tao|arXiv (Cornell University)|Sep 22, 2007

Limits and Structures in Graph Theory参考文献 27被引用数 31

ひとこと要約

この論文は、ニル多様体上の多項式軌道に関するライブニッツの定理の定量的版を確立し、任意の有限多項式軌道が滑らか項、有理（周期的）項、および部分ニル多様体内での一様分布項に分解可能であることを示している。誤差許容度と長さNに依存しない一様な多項式的境界が得られる。

ABSTRACT

A theorem of Leibman asserts that a polynomial orbit $(g(1),g(2),g(3),\ldots)$ on a nilmanifold $G/Γ$ is always equidistributed in a union of closed sub-nilmanifolds of $G/Γ$. In this paper we give a quantitative version of Leibman's result, describing the uniform distribution properties of a finite polynomial orbit $(g(1),\ldots,g(N))$ in a nilmanifold. More specifically we show that there is a factorization $g = εg'γ$, where $ε(n)$ is "smooth", $γ(n)$ is periodic and "rational", and $(g'(a),g'(a+d),\ldots,g'(a + d(l-1)))$ is uniformly distributed (up to a specified error $δ$) inside some subnilmanifold $G'/Γ'$ of $G/Γ$, for all sufficiently dense arithmetic progressions $a,a+d,\ldots,a+d(l-1)$ inside $\{1,..,N\}$. Our bounds are uniform in $N$ and are polynomial in the error tolerance delta. In a subsequent paper we shall use this theorem to establish the Mobius and Nilsequences conjecture from our earlier paper "Linear equations in primes".

研究の動機と目的

• ニル多様体上での多項式軌道の等分布に関するライブニッツの定理の定量的精緻化を提供すること。
• ニル多様体 G/Γ 内の有限多項式軌道 (g(n)Γ)ₙ∈[N] の一様分布の挙動を記述すること。
• g = εg'γ という分解 g = εg'γ を確立し、ε は滑らか、γ は有理的かつ周期的、g' は部分ニル多様体内で一様分布することを示すこと。
• 境界が N に対して一様で、誤差許容度 δ に対して多項式的であることの保証。
• 併論文でモービウス関数とニルシーケンスの予想を証明する基盤を築くこと。

提案手法

• マリーチェフ基底を用いてニル多様体上の距離を定義し、群の元同士の距離を制御すること。
• 多項式写像 g(n) を三つの成分に分解すること：滑らかな誤差項 ε(n)、有理的周期的成分 γ(n)、およびよく分布した成分 g'(n)。
• 算術的等差数列 P ⊆ [N] における δ-等分布の概念を適用し、一様性を定量化すること。
• マリーチェフ基底における有理的性の概念を用いて、Γ の離散構造と G との相互作用を制御すること。
• 距離比較補題（例：補題 A.17）を用いて、部分ニル多様体内の距離を全ニル多様体内の距離と関連付けること。
• 整数座標を持つマリーチェフ基底は、離散部分群に有界性および有理的制約をもたらすという事実を活用すること。

実験結果

リサーチクエスチョン

• RQ1 ライブニッツの定理におけるニル多様体上での多項式軌道の定性的等分布結果を、どのように定量化できるか？
• RQ2 有限多項式軌道が滑らか、周期的、および一様分布成分にどのように正確に分解できるか？
• RQ3 等分布の誤差が N に対して一様かつ δ に対して多項式的であるように境界を定めることは可能か？
• RQ4 べき零群およびその格子の幾何学的・代数的構造は、軌道の分布にどのように影響を与えるか？
• RQ5 多項式軌道がある長さの算術的等差数列上で部分ニル多様体内で一様分布するための条件は何か？

主な発見

• 任意の有限多項式軌道 (g(n)Γ)ₙ∈[N] は、g = εg'γ という分解をもつ。ここで ε(n) は滑らか、γ(n) は有理的かつ周期的であり、g'(n)Γ は十分に密度の高いすべての算術的等差数列 P ⊆ [N] において部分ニル多様体 G'/Γ' 内で δ-等分布する。
• 誤差 δ に関する境界は δ に対して多項式的であり、N への依存はすべての N に対して一様である。
• Q-有理的マリーチェフ基底に対して、マリーチェフ距離に関する直径が有界であり、G/Γ の直径は Q^O(1) で抑えられることを示した。
• 有理的基底の仮定のもとで、部分ニル多様体 G'/Γ' 内の距離は、全ニル多様体 G/Γ 内の距離と Q^O(1) の因子で比較可能である。
• 固定された要素からの距離 M 以内に存在する群の要素 γ ∈ Γ の数は、有限であり、マリーチェフ基底の有理的性と座標の整数性により一様に有界である。
• 群の要素 γ がマリーチェフ座標において有理的部分空間に十分近いならば、距離が有理的パrameter Q に対して十分小さければ、その要素は有理的部分群に属している、という事実に依拠している。