[論文レビュー] The inverse conjecture for the Gowers norm over finite fields in low characteristic

Terence Tao, Tamar Ziegler|arXiv (Cornell University)|Jan 7, 2011

Limits and Structures in Graph Theory参考文献 34被引用数 5

ひとこと要約

この論文は、低特性の有限体上のGowers均一性ノルムの逆予想を確立し、有界関数が大きなGowersノルムを持つ場合、その関数は次数が高々 s の非古典的多項式と相関するということを証明する。証明は非古典的多項式の構造的結果と等分布理論を組み合わせており、高特性における先行研究を、非古典的多項式が不可欠となる低特性の場合に拡張する。

ABSTRACT

We establish the \emph{inverse conjecture for the Gowers norm over finite fields}, which asserts (roughly speaking) that if a bounded function $f: V o \C$ on a finite-dimensional vector space $V$ over a finite field $\F$ has large Gowers uniformity norm $\|f\|_{U^{s+1}(V)}$, then there exists a (non-classical) polynomial $P: V o \T$ of degree at most $s$ such that $f$ correlates with the phase $e(P) = e^{2πi P}$. This conjecture had already been established in the "high characteristic case", when the characteristic of $\F$ is at least as large as $s$. Our proof relies on the weak form of the inverse conjecture established earlier by the authors and Bergelson, together with new results on the structure and equidistribution of non-classical polynomials, in the spirit of the work of Green and the first author and of Kaufman and Lovett.

研究の動機と目的

• 有限体の低特性設定におけるGowers均一性ノルムの逆予想を解決すること。
• 大きなGowersノルムを持つ有界関数が非古典的多項式と相関することを特徴づけること。
• 古典的多項式で十分な高特性の場合から、非古典的多項式が必要となる低特性の場合への逆予想の拡張すること。
• 有限体上での非古典的多項式の構造的および等分布的結果を開発すること。

提案手法

• 著者とBergelsonが確立した低特性における弱い逆予想を、基礎的入力として用いる。
• 非古典的多項式に関する構造的結果を適用し、GreenとTao、およびKaufmanとLovettの先行作業を一般化する。
• Furstenberg対応原理を用いて対称多項式の極限を分析し、$ S_1 $ と $ S_2 $ のようなエルゴディックな類似物を定義する。
• 加法的微分 $ \Delta_h f $ と高階微分を用いて、多項式の次数による分類を行う。
• コサイクル恒等式 $ \Delta_h P + T_h \Delta_h P = 0 $ を適用し、微分が小さい関数が定数または有限個の座標に依存することを導出する。
• 分類補題（例：補題 E.4, E.5）を用いて、次数 ≤ 2 および ≤ 3 の多項式を $ |x_i| $, $ |x_i||x_j| $, および $ S_1, S_2 $ 関数を含む明示的形に分解する。

実験結果

リサーチクエスチョン

• RQ1 低特性の有限体上での有界関数が大きなGowers $ U^{s+1} $ ノルムを持つ場合、その関数と相関する適切な関数のクラスは何か？
• RQ2 なぜ低特性において非古典的多項式が不可欠であり、構造的および挙動的側面で古典的多項式とはどのように異なるのか？
• RQ3 高特性から低特性の有限体への逆予想の拡張は可能か？その場合、どのような新しい構造的道具が必要か？
• RQ4 次数 s の非古典的多項式は加法的微分に対してどのように振る舞い、その等分布性はどのような性質を持つのか？
• RQ5 $ S_1 $ と $ S_2 $ の関数は、高次非古典的多項式の分類において果たす役割は何か？

主な発見

• 低特性の有限体上ではGowersノルムの逆予想が成立する：$ \|f\|_{U^{s+1}(V)} $ が大きいならば、$ f $ は次数が高々 $ s $ の非古典的多項式 $ P: V \to \mathbb{T} $ と相関する。
• 次数 ≤ 3 の非古典的多項式は、$ |x_i| $, $ |x_i||x_j| $, $ |x_i||S_1| $, $ |S_1| $, および $ S_2 $ を含む整数係数線形結合として分類される。ここで $ S_1 $ と $ S_2 $ は mod 2 および mod 4 条件によって定義される。
• 関数 $ \iota_4(t) = |t|/4 \mod 1 $ は次数3の非古典的多項式であり、任意の次数 ≤ 3 の多項式 $ P $ に対して $ 2P $ として書けないため、多項式階層において古典的対象ではないことが示される。
• 微分 $ \Delta_2 $ が消える関数は、有限個の座標に依存する必要があるため、次元が有限の設定への還元が可能になる。
• 次数 ≤ 2 および ≤ 3 の多項式の分類は、高階微分の消える性質とコサイクル恒等式を用いて不必要な項を排除する手法に依存する。
• 証明により、低特性では古典的多項式理論を超える新しい道具が必要となるほど、非古典的多項式の構造が高次元であることが明らかになった。