[論文レビュー] Expanding polynomials over finite fields of large characteristic, and a regularity lemma for definable sets

Terence Tao|arXiv (Cornell University)|Nov 13, 2012

Limits and Structures in Graph Theory参考文献 33被引用数 24

ひとこと要約

この論文は、大特徴値有限体上の多項式について、強い代数的意味での集合の拡張性が中程度に発生するか、あるいは $ Q(F(x)+G(y)) $ や $ Q(F(x)G(y)) $ のような構造的形を取るかの二分法を確立する。主な貢献は、すべての成分が高々正則であることを保証する、有限体上の定義可能集合に対する新しい代数的正則性補題であり、これはエタール基本群と非標準解析に依存する。

ABSTRACT

Let $P: \F imes \F o \F$ be a polynomial of bounded degree over a finite field $\F$ of large characteristic. In this paper we establish the following dichotomy: either $P$ is a moderate asymmetric expander in the sense that $|P(A,B)| \gg |\F|$ whenever $A, B \subset \F$ are such that $|A| |B| \geq C |\F|^{2-1/8}$ for a sufficiently large $C$, or else $P$ takes the form $P(x,y) = Q(F(x)+G(y))$ or $P(x,y) = Q(F(x) G(y))$ for some polynomials $Q,F,G$. This is a reasonably satisfactory classification of polynomials of two variables that moderately expand (either symmetrically or asymmetrically). We obtain a similar classification for weak expansion (in which one has $|P(A,A)| \gg |A|^{1/2} |\F|^{1/2}$ whenever $|A| \geq C |\F|^{1-1/16}$), and a partially satisfactory classification for almost strong asymmetric expansion (in which $|P(A,B)| = (1-O(|\F|^{-c})) |\F|$ when $|A|, |B| \geq |\F|^{1-c}$ for some small absolute constant $c>0$). The main new tool used to establish these results is an algebraic regularity lemma that describes the structure of dense graphs generated by definable subsets over finite fields of large characteristic. This lemma strengthens the Szémeredi regularity lemma in the algebraic case, in that while the latter lemma decomposes a graph into a bounded number of components, most of which are $\eps$-regular for some small but fixed $ε$, the latter lemma ensures that all of the components are $O(|\F|^{-1/4})$-regular. This lemma, which may be of independent interest, relies on some basic facts about the étale fundamental group of an algebraic variety.

研究の動機と目的

• 大特徴値有限体上の二変数多項式を、その拡張性質に基づいて分類すること。
• 対称的および非対称的設定における中程度、弱、ほぼ強い拡張性の構造対拡張の二分法を解明すること。
• 有限体上の代数幾何における定義可能集合のための、古典的なSzémeredi正則性補題を改善した新しい正則性補題の開発。

提案手法

• サイズが増加する有限体の列と有界次数の多項式を扱うために、非標準解析の枠組みを導入する。
• 定義可能集合の構造とそのファイバー積を分析するためにエタール基本群を用いる。
• 代数的多様体から部分多様体を除いたものの基本群のプロファイント完成の弱いエタールヴァン・カンペン定理を証明する。
• すべてのグラフ分解の部分が $ O(|\mathbf{F}|^{-1/4}) $-正則であることを保証する、新しい代数的正則性補題を確立する。これは、古典的補題がほとんどすべての部分について $ \varepsilon $-正則であるのに対し、より強く保証する。
• 正則性補題を多項式写像 $ P(A,B) $ の像のサイズを分析するために適用し、二分法の結果を得る。
• 基本群の構造を用いて、特定の拡張行動を除外し、多項式を構造的か拡張的かに分類する。

実験結果

リサーチクエスチョン

• RQ1 大特徴値有限体 $ \mathbf{F} $ 上の多項式 $ P(x,y) $ が、$ \mathbf{F} $ の大きな部分集合 $ A,B \subset \mathbf{F} $ に対して $ |P(A,B)| \gg |\mathbf{F}| $ を満たすのはどのような条件下か？
• RQ2 多項式 $ P(x,y) $ が必ず $ Q(F(x)+G(y)) $ または $ Q(F(x)G(y)) $ の形を取るのはいつか？ また、それが顕著に拡張するのはいつか？
• RQ3 定義可能集合に対する正則性補題を、古典的なSzémeredi補題を越えて、すべての部分で一様な正則性を持つように強化できるか？
• RQ4 代数的多様体のエタール基本群は、有限体上の多項式写像の拡張性質とどのように関係するか？
• RQ5 入力集合 $ A,B $ のサイズに関して、拡張の正確な閾値は何か？ そしてそれは多項式 $ P $ の代数的構造とどのように関係するか？

主な発見

• 大特徴値有限体上の多項式 $ P(x,y) $ は、非対称的中程度拡張性を示すか、あるいは $ Q(F(x)+G(y)) $ や $ Q(F(x)G(y)) $ のような構造的形を取る。閾値は $ |A||B| \geq C|\mathbf{F}|^{2-1/8} $ である。
• 弱拡張性の場合、同じ二分法が成り立ち、閾値は $ |A| \geq C|\mathbf{F}|^{1-1/16} $ であり、構造的形は再び $ Q(F(x)+G(y)) $ または $ Q(F(x)G(y)) $ である。
• ほぼ強い非対称的拡張性の場合、分類は部分的に満足できる。$ |P(A,B)| = (1-O(|\mathbf{F}|^{-c}))|\mathbf{F}| $ ならば、$ P $ は構造的であるか、強い拡張条件を満たす。
• 新しい代数的正則性補題は、すべてのグラフ分解の部分が $ O(|\mathbf{F}|^{-1/4}) $-正則であることを保証し、古典的補題がほとんどすべての部分について $ \varepsilon $-正則であるのに対し、顕著な改善である。
• 証明はエタール基本群とそのプロファイント完成に依存し、弱いエタールヴァン・カンペン定理により、$ \pi_1(W\setminus(W_1\cup W_2),p) $ が $ \pi_1(W\setminus W_1,p) $ と $ \pi_1(W\setminus W_2,p) $ の $ \pi_1(W,p) $ を中心とするファイバー積へ全射であることが示される。
• 結果は、サイズが増加する有限体の列全体にわたって一様であり、非標準解析によって形式化されており、極限においても二分法は一様に成り立つ。