[논문 리뷰] Expanding polynomials over finite fields of large characteristic, and a regularity lemma for definable sets

Terence Tao|arXiv (Cornell University)|2012. 11. 13.

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 정규성 보조정리보다 향상시키는 것.

제안 방법

• 크기가 증가하는 유한체의 수열과 유한 차수 다항식을 다루기 위해 비표준 해석의 프레임워크를 도입한다.
• 정의 가능한 집합과 그 섬유 곱의 구조를 분석하기 위해 에탈 기본군을 사용한다.
• 부분다양체를 제거한 대수다양체의 기본군의 프로피니트 완비화에 대한 약한 에탈 van Kampen 정리를 증명한다.
• 모든 그래프 분해의 부분이 $ O(|\mathbf{F}|^{-1/4}) $-정규임을 보장하는 새로운 대수적 정규성 보조정리를 확립한다. 이는 고전적 보조정리에서 대부분의 부분이 $ \varepsilon $-정규임을 보장하는 것과 대비된다.
• 정규성 보조정리를 다항식 사상 $ P(A,B) $의 이미지 크기 분석에 적용하여 이분법 결과를 이끌어낸다.
• 기본군의 구조를 이용해 특정한 확장 행동을 배제함으로써 다항식을 구조적 또는 확장 유형으로 분류한다.

실험 결과

연구 질문

• RQ1 대형 특성의 유한체 $ \mathbf{F} $ 위에서 다항식 $ P(x,y) $ 가 큰 집합 $ 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 $-정규임을 보장하는 것보다 크게 향상되었다.
• 증명은 에탈 기본군과 그 프로피니트 완비화에 의존하며, 약한 에탈 van Kampen 정리는 $ \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) $ 에 대한 섬유곱으로부터 전사임을 보여준다.
• 결과는 크기가 증가하는 유한체 수열 전반에 걸쳐 균일하며, 비표준 해석을 통해 형식화되었고, 이분법은 극한에서도 균일하게 유지된다.