[논문 리뷰] Special Sets of Primes in Function Fields

Julio Andrade, Steven J. Miller외 2명|arXiv (Cornell University)|2013. 09. 22.

Analytic Number Theory Research참고 문헌 5인용 수 3

한 줄 요약

이 논문은 유한체 위의 함수체에서 처음으로 알려진 비자명한 무한 F-집합을 구성한다. 특히 $\mathbb{F}_p[x]$에서 $p \equiv 2$ 또는 $5 \pmod{9}$인 경우에 해당한다. 반복적 합성과 이차 다항식의 기하학적 성질을 이용하여, $P - \alpha_P$의 인수를 취할 때 닫혀 있는 무한한 단항 무리 다항식 집합의 존재를 증명함으로써, 소수 이론에서 오랫동안 미해결된 문제의 함수체 버전을 해결한다.

ABSTRACT

When investigating the distribution of the Euler totient function, one encounters sets of primes P where if p is in P then r is in P for all r|(p-1). While it is easy to construct finite sets of such primes, the only infinite set known is the set of all primes. We translate this problem into the function field setting and construct an infinite such set in F_p[x] whenever p is equivalent to 2 or 5 modulo 9.

연구 동기 및 목표

• 함수체에서 $p-1$의 약수에 대해 닫혀 있는 특수한 소수 집합과 유사한 비자명한 무한 무리 다항식 집합이 존재하는지 조사한다.
• 오일러 파이 함수와 레이머의 파이 문제와 관련된 곱셈수론 문제의 함수체 해석을 해결한다.
• $\mathbb{F}_p[x]$에서 $p \equiv 2$ 또는 $5 \pmod{9}$인 소수에 대해, $P$가 단항 무리 다항식일 때 $P - \alpha_P$의 무리 인수를 취할 때 닫혀 있는 명시적인 무한 F-집합을 구성한다.
• 함수체에서 이러한 무한 F-집합이 존재함을 입증함으로써 정수의 경우를 연구할 수 있는 실용적인 환경를 제공하고, 비자명한 무한 소수 집합의 가능성에 대한 통찰을 제공한다.

제안 방법

• 함수체 $\mathbb{F}_q[x]$에서 F-집합을 정의한다. 이는 단항 무리 다항식 $P$에 대해 $P - \alpha_P$의 무리 인수를 취할 때 닫혀 있는 집합을 의미하며, $\alpha_P$는 $P$의 상수항이다.
• 두 가닥의 다항식을 구성한다: $\ell \geq 0$에 대해 $f_\ell(x) = x^2 + x + 1$과 $x^{3^\ell}$의 반복 합성, 그리고 $g_\ell(x) = x^2 - x + 1$과 $x^{3^\ell}$의 반복 합성.
• Theorem 2.1에서 유도된 조건을 이용하여, $p \equiv 2$ 또는 $5 \pmod{9}$일 때 $f_\ell$와 $g_\ell$가 $\mathbb{F}_p[x]$에서 단항이고 무리임을 증명한다. 이는 $f(x^t)$의 무리성 조건을 제공한다.
• Lemma 2.3을 사용하여 $f_\ell(x) - 1$과 $g_\ell(x) - 1$이 더 낮은 차수의 $f_k, g_k$ 및 선형 항의 곱으로 분해됨을 보이고, 이는 F-집합 조건에 대한 닫힘성을 보장한다.
• 집합 $\mathcal{F} = \{f_\ell\}_{\ell=0}^\infty \cup \{g_\ell\}_{\ell=0}^\infty \cup \{x - n\}_{n=-1}^1$을 정의하고, 인수 분해 항등식을 통해 F-집합 연산에 대해 닫혀 있음을 검증한다.
• $\mathcal{F}$가 비자명함을 입증하기 위해, 예를 들어 $\mathbb{F}_2$에서 $x^3 + x + 1$이나 $p > 2$인 $\mathbb{F}_p$에서 $x+2$와 같은 무리 다항식이 $\mathcal{F}$에 포함되지 않음을 제시한다.

실험 결과

연구 질문

• RQ1 소수 $p \equiv 2$ 또는 $5 \pmod{9}$에 대해, $P$가 단항 무리 다항식일 때 $P - \alpha_P$의 무리 인수를 취할 때 닫혀 있는 비자명한 무한 F-집합 $\mathbb{F}_p[x]$에서 존재하는가?
• RQ2 함수체 설정이 정수의 경우에서 $p \in \mathcal{P}$이면 $p-1$의 약수 $r$에 대해 $r \in \mathcal{P}$임을 보장하는 조건과 유사한, 무한한 무리 다항식 집합의 구성 예를 제공할 수 있는가?
• RQ3 반복 합성된 이차 다항식을 이용해 무한 F-집합을 구성할 수 있는 $p$에 대한 조건은 무엇인가?
• RQ4 함수체에서 이러한 무한 F-집합의 존재는 실현 가능하고 구조적으로 가능하며, 정수의 경우에 대한 통찰을 제공하는가?
• RQ5 $f(x^{3^\ell})$와 $g(x^{3^\ell})$의 무리성이 특정한 산술 조건을 만족할 경우 보장될 수 있는가?

주요 결과

• 모든 소수 $p \equiv 2$ 또는 $5 \pmod{9}$에 대해 $\mathbb{F}_p[x]$에서 비자명한 무한 F-집합이 존재한다.
• 구성된 F-집합 $\mathcal{F}$는 $f_\ell(x) = (x^2 + x + 1)(x^{3^\ell})$와 $g_\ell(x) = (x^2 - x + 1)(x^{3^\ell})$의 반복 합성과 함께, $n = -1, 0, 1$에 대해 $x - n$의 선형 다항식으로 이루어져 있다.
• $f_\ell$와 $g_\ell$는 주어진 $p$ 조건 하에서 단항이고 무리이며, 이는 $f(x^t)$의 무리성에 관한 Theorem 2.1에 의해 입증된다.
• $f_\ell(x) - 1$과 $g_\ell(x) - 1$의 인수 분해는 명시적으로 주어지며, 낮은 차수의 $f_k, g_k$ 및 선형 항으로만 이루어져 있어 F-집합 조건에 대한 닫힘성을 보장한다.
• $\mathcal{F}$는 무한하고 비자명함이 증명되었으며, 예를 들어 $\mathbb{F}_2$에서 $x^3 + x + 1$이나 $p > 2$인 $\mathbb{F}_p$에서 $x+2$와 같은 무리 다항식이 이 집합에 포함되지 않음을 보여, 가족 외부에 있음을 확인한다.
• 이 구성은 $p^2 \not\equiv 1 \pmod{9}$ 조건에 의해 결정되며, 이는 $p \equiv 8 \pmod{9}$를 배제하고 Theorem 2.1의 적용 가능성을 위해 필수적이다.