[논문 리뷰] Quadratic Uniformity of the Mobius Function

Ben Green, Terence Tao|arXiv (Cornell University)|2006. 06. 04.

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단계 닐다양체에 대해 모비우스 및 닐순열 추측을 증명한다.
• 모비우스 함수와 닐다양체 위의 리프시츠 함수 사이의 강한 점근적 수직성을 확립하며, 이때 상한선이 로그 N의 어떤 거듭제곱보다도 더 빠르게 감쇠한다.
• 하디-리틀우드 방법을 소수에서의 선형방정식계에 적용하기 위한 기초 도구를 제공하며, 특히 차원이 2 이하인 문제에 초점을 맞춘다.
• 빈요그와 볼던의 지수합 기법을 닐순열 설정으로 일반화하여, 모비우스 함수의 고차 상관관계 분석을 가능하게 한다.
• 비퇴화된 애핀 격자에서 소수 점의 점근적 수를 세는 데 기여하며, 예를 들어 4항 산술등차수열의 소수를 포함한다.

제안 방법

• 빈요그와 볼던의 방법을 변형하여 닐다양체 위에서의 이차 지수합을 다루며, 주 및 부역 분해를 사용한다.
• 좌표 변환을 통해 닐순열을 이차형식과 분수부로 표현함으로써 문제를 진동하는 합의 추정으로 환원한다.
• 2단계 아벨리안 리 군과 그 동차 공간 이론을 활용하여 닐다양체 위에서의 닐로테이션의 역학을 모델링한다.
• 닐다양체 위의 리프시츠 함수와 그 등분포 성질을 이용하여 모비우스 함수와의 상관관계를 제어한다.
• 자기자랑 모멘트 추정(예: $\mathbb{E}_{n\leq N} \tau(n)^m \ll_m (\log N)^{2^m - 1}$)을 사용하여 필터 이론적 추론에서 충돌 확률을 제어한다.
• 주항 추정과 자기자랑 패킹 보조정리를 결합하여 산술적 구성에서 겹치는 해의 수를 제어한다.

실험 결과

연구 질문

• RQ1 모비우스 함수가 2단계 닐순열과 강하게 점근적으로 수직임을 입증할 수 있는가? 이는 대쉬의 선형 위상에 대한 결과를 일반화하는가?
• RQ2 1- 및 2단계 닐다양체 위의 리프시츠 함수에 대해 상관관계 $\mathbb{E}_{n\leq N} \mu(n) F(T_g^n \cdot x)$ 의 정량적 감쇠 속도는 무엇인가?
• RQ3 하드리-리틀우드 방법은 어떻게 닐순열 수직성에 기반하여 소수에서의 선형방정식계에 확장될 수 있는가?
• RQ4 노름군의 역학은 다항수열을 따라 승법 함수의 상쇄를 제어하는 데 어떤 역할을 하는가?
• RQ5 모비우스 함수의 상쇄는 닐로테이션 전역에서 균일하게 정량화될 수 있는가? 오차 항은 로그 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$ 을 이차 위상 및 닐순열로 일반화한다.
• 증명은 주역과 부역으로의 분해에 기반하며, 부역 기여는 빈요그 유사 추정에 의해 제어된다.
• 자기자랑 패킹 보조정리 $|\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)의 소수 점의 점근적 수를 세는 데 가능하게 한다.
• 상한선의 암묵적 상수는 랑데-시겔 제로의 가능성을 고려해 비효율적이다. 이는 필터 이론의 고전적 결과와 일치한다.