[논문 리뷰] Bounded gaps between primes in number fields and function fields

Abel Castillo, Chris Hall외 3명|arXiv (Cornell University)|2014. 03. 23.

Analytic Number Theory Research참고 문헌 6인용 수 4

한 줄 요약

이 논문은 소수 사이의 유한 간격에 관한 Maynard-Tao 정리가 수체와 유한체 위의 함수체로 확장됨을 보여준다. 수체 설정에서 Maynard-Tao 방법을 적응시키고 함수체 $\mathbb{F}_q(t)$에서의 유사 정리를 증명함으로써, 수체의 정수환 내의 소수 원소 사이와 $\mathbb{F}_q[t]$ 내의 모닉 기약 다항식 사이에 무한히 많은 유한 간격이 존재함을 입증한다. 이 간격의 크기는 복소 임bedding의 수에만 의존하거나 $q$에 무관하게 명시적인 상한을 가진다. 핵심 결과는 함수체에서의 균일한 $k_0(2) = 105$로서, 이는 전적으로 실수인 수체에서 간격의 차수 600을 가능하게 하고, 간격 다항식의 양의 밀도를 보장한다.

ABSTRACT

The Hardy--Littlewood prime $k$-tuples conjecture has long been thought to be completely unapproachable with current methods. While this sadly remains true, startling breakthroughs of Zhang, Maynard, and Tao have nevertheless made significant progress toward this problem. In this work, we extend the Maynard-Tao method to both number fields and the function field $\mathbb{F}_q(t)$.

연구 동기 및 목표

• 소수 사이의 유한 간격에 관한 Maynard-Tao 정리를 수체 및 함수체의 맥락으로 확장하는 것.
• 특히 전적으로 실수인 수체에서 수체 $K$의 정수환 내의 소수 원소 사이에 무한히 많은 유한 간격이 존재함을 확립하는 것.
• 기본적으로 소수가 역할을 하는 기약 다항식이 존재하는 함수체 $\mathbb{F}_q(t)$에서 Maynard-Tao 정리의 유사 정리를 증명하는 것.
• 수체 내 소수 원소 사이의 간격 크기와 함수체 내 기약 다항식 사이의 간격 크기에 대한 정량적 상한을 유도하는 것.
• 함수체에서의 유한 간격을 확보하기 위해 필요한 $k_0$-값이 $q$에 독립적이며, 모든 유한체에 걸쳐 균일한 상한을 허용함을 보이는 것.

제안 방법

• 수체 설정에서 Maynard-Tao 방법을 적응시키기 위해, $\mathcal{O}_K$의 소수 이상 $\mathfrak{p}$에 대해 $k$-튜플의 적합성 조건을 정의함으로써, $\mathcal{O}_K/\mathfrak{p}$를 덮지 않도록 보장한다.
• 모든 $m \geq 2$에 대해, $k_0 = k_0(m,K)$가 존재하여, $k \geq k_0$인 $\mathcal{O}_K$ 내의 적합한 $k$-튜플이 무한히 많은 $\alpha \in \mathcal{O}_K$를 유도함으로써, $\alpha + h_i$ 중 최소 $m$개가 소수임을 보장한다.
• 기본적으로 $\mathbb{F}_q[t]$에서의 적합성 조건을, 각 기약 다항식 $P$에 대해 $\{h_1,\dots,h_k\}$가 $\mathbb{F}_q[t]/P$를 덮지 않도록 정의하고, 이 조건을 만족하는 설정에서 Maynard-Tao 방법을 적용한다.
• 함수체 $\mathbb{F}_q(t)$에서의 유한 간격을 확보하기 위해 필요한 $k_0(m)$이 $q$에 독립적이며, 따라서 Maynard의 값들, 예를 들어 $k_0(2) = 105$가 유효함을 보인다.
• 수체 $K$에서의 소수의 분포 수준과 $K$가 전적으로 실수일 경우 $\theta < 1/2$임을 이용하여, Maynard의 $M_k$-값 결과를 적용한다.
• $k$에 대한 귀납법을 통해 간격 다항식의 밀도 결과를 확립하여, 차수 $n$의 기약 다항식에서의 차수 $d$ 다항식이 간격으로 나타나는 비율이 $\frac{1}{k-1} - \frac{1}{q-1}$ 이상임을 보인다.

실험 결과

연구 질문

• RQ1 소수 사이의 유한 간격에 관한 Maynard-Tao 방법은 수체로 일반화될 수 있는가? 그리고 $\mathcal{O}_K$에서 이러한 간격이 존재하기 위한 조건은 무엇인가?
• RQ2 수체 $K$의 정수환 내에서 $m$개의 소수 원소 사이의 유한 간격을 보장하기 위해 필요한 최소의 $k_0$는 얼마인가?
• RQ3 Maynard-Tao 방법은 함수체 $\mathbb{F}_q(t)$로 확장될 수 있는가? 그리고 필요한 $k_0$는 $q$에 독립적으로 선택될 수 있는가?
• RQ4 고정된 큰 차수 $n$을 가진 $\mathbb{F}_q[t]$ 내의 모닉 기약 다항식 사이의 간격 크기에 대해 어떤 상한을 도출할 수 있는가?
• RQ5 차수 $d$의 다항식 중에서, $\mathbb{F}_q[t]$ 내의 차수 $n$ 기약 다항식 사이의 간격으로 나타날 수 있는 비율은 얼마인가?

주요 결과

• 모든 전적으로 실수인 수체 $K$에 대해, 임베딩 $\sigma$에 대해 모든 $\sigma(\alpha_1 - \alpha_2)| \leq 600$이 되는 무한히 많은 소수 원소 $\alpha_1, \alpha_2 \in \mathcal{O}_K$가 존재한다. 이는 직경 600인 유리수 정수의 적합한 105-튜플에 기반한다.
• 함수체에서의 기약 다항식 사이의 유한 간격을 확보하기 위해 $k_0(2) = 105$가 충분하며, 이 값은 $q$에 무관하여, Maynard의 결과를 함수체로 확장한다.
• 모든 $d$에 대해, 충분히 큰 $n$에 대해 $\mathbb{F}_q[t]$ 내의 차수 $n$ 기약 다항식 사이에서 차수 $d$ 다항식이 간격으로 나타나는 비율은 $\frac{1}{k_0-1} - \frac{1}{q-1}$ 이상이다. 여기서 $k_0 = k_0(2)$이다.
• 모든 단항식 $a \cdot t^d$는 $q \geq k_0 + 1$이면 $(n-d, q-1) = 1$인 충분히 큰 모든 $n$에 대해, 모닉 기약 다항식 사이의 간격으로 나타난다.
• $\mathbb{F}_q(t)$에서의 유한 간격 존재성은 임의의 $q$와 $k_0(2) = 105$에 대해 보장되며, 고전적 경우와 동일한 $k_0$를 사용한다.
• 이 방법은 $\mathbb{F}_q[t]$ 내의 적합한 $k$-튜플에 대해 $k \geq k_0$일 경우, 무한히 많은 $f \in \mathbb{F}_q[t]$가 존재하여 $f + h_i$ 중 최소 $m$개가 기약임을 보장하며, 이때 $k_0$는 $q$에 독립적이다.