[논문 리뷰] Common divisors of a^n-1 and b^n-1 over function fields

Joseph H. Silverman|ArXiv.org|2004. 01. 26.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 10

한 줄 요약

이 논문은 유한체 $\mathbb{F}_q$ 위의 다항식 $a, b$에 대해 $a^n - 1$과 $b^n - 1$의 최대공약수(GCD)의 차수를 조사한다. 소수정리의 함수장 유사체와 $r$-거듭제곱 상호작용을 사용하여, 승법적으로 독립인 $a, b$에 대해, $p \nmid n$과 같은 제약 조건이 있더라도 무수히 많은 $n$에 대해 GCD 차수가 $n$에 대해 선형적으로 증가함을 증명한다. 이는 $\mathbb{C}[T]$에서의 유계성과 $\mathbb{Z}$에서의 상용대수적 성장과는 극명하게 대비된다. 핵심 결과는 어떤 $c>0$에 대해 무수히 많은 $n$에 대해 $\deg(\gcd(a^n-1,b^n-1)) \geq cn$이라는 하한을 제공한다. 이 결과는 $\mathbb{Z}$, $\mathbb{F}_q[T]$, $\mathbb{C}[T]$에서의 디오판틴 나눗셈에 대한 본질적인 삼분법을 드러낸다. 이는 양의 특성에서 Ailon-Rudnick 상한이 성립하는지에 대한 질문을 해결하며, 심지어 $n$에 대한 강력한 제약 조건이 있더라도 성립하지 않음을 보여준다. 증명은 함수장에서의 합동 조건과 상호작용 법칙을 통해 $a^n-1$과 $b^n-1$을 모두 나누는 기약다항식을 구성하는 데 의존한다.

ABSTRACT

Ailon and Rudnick have shown that if $a,b \in C[T]$ are multiplicatively independent polynomials, then $°(\gcd(a^n-1,b^n-1))$ is bounded for all $n\ge1$. We show that if instead $a,b \in F[T]$ for a finite field $F$ of characteristic $p$, then $°(\gcd(a^n-1,b^n-1))$ is larger than $Cn$ for a constant $C=C(a,b)>0$ and for infinitely many $n$, even if $n$ is restricted in various reasonable ways (e.g., $gec(n,p)=1$).

연구 동기 및 목표

• 승법적으로 독립인 $a, b \in \mathbb{F}_q[T]$에 대해 $\deg(\gcd(a^n - 1, b^n - 1))$의 행동을 조사하기.
• Ailon-Rudnick 상한—$\deg(\gcd(a^n - 1, b^n - 1))$가 $n$에 관계없이 유계임—이 양의 특성에서 조건 $p \nmid n$이 있더라도 성립하는지 여부를 판단하기.
• 함수장에서 GCD의 차수에 대한 하한을 확립하여, $n$에 대해 선형적으로 증가함을 보이며, 이는 $\mathbb{Z}$에서의 상용대수적 성장과 $\mathbb{C}[T]$에서의 유계성과 대비됨을 보여주기.
• Ailon-Rudnick 상한이 $\mathbb{F}_q[T]$에서 실패하는 것이 강력한 제약 조건이 있더라도 견고하게 유지됨을 보여주기.

제안 방법

• 함수장에서 소수정리의 유사체를 사용하여 $\mathbb{F}_Q[T]$에서 차수 $N$인 기약다항식의 수를 추정하기.
• 함수장에서 산술급수의 소수정리를 적용하여 $\pi \equiv 1 \pmod{\ell}$를 만족하는 차수 $N$인 기약다항식 $\pi$의 수를 세기, 여기서 $\ell = \mathrm{LCM}[a,b]$.
• $\mathbb{F}_q[T]$에서의 $r$-거듭제곱 상호작용을 활용하여, $\pi \equiv 1 \pmod{\ell}$이면 $a$와 $b$가 모듈로 $\pi$에서 $r$-거듭제곱임을 보장하고, 따라서 $n = (Q^N - 1)/r$일 때 $a^n \equiv 1$ 및 $b^n \equiv 1 \pmod{\pi}$임을 도출하기.
• 해당 $\pi$의 차수를 합하여 $\deg(\gcd(a^n - 1, b^n - 1))$에 대한 하한을 구하기, 결과적으로 $\deg(\gcd) \geq \frac{r}{\Phi_Q(\ell)} \cdot n + O(\sqrt{n})$를 얻으며, 여기서 $\Phi_Q(\ell)$는 함수장 오일러 피타고라스 함수이다.
• $n$이 $p$의 배수일 경우를 다루기 위해 항등식 $\gcd(a^{p^i n} - 1, b^{p^i n} - 1) = \gcd(a^n - 1, b^n - 1)^{p^i}$를 사용하여 $n$에 대한 선형 성장을 유지하기.
• $Q = q^m$이며 $m < 2kq^k$를 만족하는 어떤 $m$이 존재함을 이용하여 $r \mid Q - 1$임을 보장하고, 이로써 $\mathbb{F}_Q[T]$에서 $r$-거듭제곱 상호작용이 적용됨을 보장하기.

실험 결과

연구 질문

• RQ1 승법적으로 독립인 $a, b \in \mathbb{F}_q[T]$에 대해 $p \nmid n$ 조건이 있더라도 Ailon-Rudnick 상한 $\deg(\gcd(a^n - 1, b^n - 1))$이 성립하는가?
• RQ2 강력한 제약 조건이 있더라도 $\mathbb{F}_q[T]$에서 $\gcd(a^n - 1, b^n - 1)$의 차수는 $n$에 관계없이 유계로 유지되는가?
• RQ3 $\mathbb{F}_q[T]$에서 $\deg(\gcd(a^n - 1, b^n - 1))$의 성장은 $\mathbb{Z}$와 $\mathbb{C}[T]$의 경우와 어떻게 비교되는가?
• RQ4 무수히 많은 $n$에 대해 $\deg(\gcd(a^n - 1, b^n - 1)) \geq cn$을 만족하는 $c > 0$의 양의 하한이 존재하는가, 심지어 $n$이 $p$의 배수가 아닐 경우에도?
• RQ5 기본다항식 모듈로에서의 승법군의 구조는 $\pi$ 모듈로에서 $a$와 $b$의 차수를 제어하는 데 어떤 역할을 하는가?

주요 결과

• 승법적으로 독립인 $a, b \in \mathbb{F}_q[T]$에 대해, $p \nmid n$ 조건이 있더라도 어떤 $c > 0$에 대해 무수히 많은 $n$에 대해 $\deg(\gcd(a^n - 1, b^n - 1)) \geq cn$임을 보였다.
• 하한은 $\ell = \mathrm{LCM}[a,b]$에 대해 $\pi \equiv 1 \pmod{\ell}$를 만족하는 차수 $N$인 기약다항식 $\pi$가 무수히 많이 존재함을 근거로 한다. 이 경우 $n = (Q^N - 1)/r$일 때 $a^n \equiv b^n \equiv 1 \pmod{\pi}$이다.
• 상수 $c$는 $c < \frac{1}{\Phi_Q(\ell)}$를 만족하며, 여기서 $\Phi_Q(\ell)$는 함수장 오일러 피타고라스 함수이며 $Q = q^m$이고 $m < 2kq^k$이다.
• 항등식 $\gcd(a^{p^i n} - 1, b^{p^i n} - 1) = \gcd(a^n - 1, b^n - 1)^{p^i}$를 사용함으로써 $n$이 $p$의 배수일 경우에도 결과가 유지되며, 이는 선형 성장을 유지한다.
• 논문은 날카로운 삼분법을 확립한다: $\mathbb{Z}$에서는 GCD 로그가 어떤 $\epsilon n$보다도 느리게 증가한다; $\mathbb{F}_q[T]$에서는 선형적으로 증가한다; $\mathbb{C}[T]$에서는 유계이다.
• 증명은 Ailon-Rudnick 상한이 양의 특성에서 실패함을 보이며, 이는 상호작용과 합동 조건에서 기인하는 많은 기약소인자를 고려할 때 성립하지 않음을 보여준다.