[논문 리뷰] The unit equation has no solutions in number fields of degree prime to $3$ where $3$ splits completely

Nicholas Triantafillou|arXiv (Cornell University)|2020. 03. 05.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 3이 완전히 분해되고 $[K:\mathbb{Q}]$가 3으로 나누어지지 않는 수체 $K$에서 단위 방정정식 $x + y = 1$는 해가 없음을 증명한다. $p$-진 접근법을 통해 스코렘-샤보르티-콜먼 방법에 영감을 받은 저자들은 이러한 조건 하에서 $\mathcal{O}_K^\times$ 내의 어떤 두 단위수도 1으로 합이 될 수 없음을 보이며, 이는 고차수 수체에서 예외적 단위수를 갖지 않는 첫 번째 비자명한 무한 가족을 제공한다.

ABSTRACT

Let $K$ be a number field with ring of integers $\mathcal O_{K}$. We prove that if $3$ does not divide $ [K:\mathbb Q]$ and $3$ splits completely in $K$, then the unit equation has no solutions in $K$. In other words, there are no $x, y \in \mathcal O_{K}^{ imes}$ with $x + y = 1$. Our elementary $p$-adic proof is inspired by the Skolem-Chabauty-Coleman method applied to the restriction of scalars of the projective line minus three points. Applying this result to a problem in arithmetic dynamics, we show that if $f \in \mathcal O_{K}[x]$ has a finite cyclic orbit in $\mathcal O_{K}$ of length $n$ then $n \in \{1, 2, 4\}$.

연구 동기 및 목표

• 3이 완전히 분해되고 차수가 3과 서로소인 수체의 새로운 클래스—즉, 단위 방정식의 해가 없는 수체—를 확립하는 것.
• 2가 분해되어 잔여체가 $\mathbb{F}_2$인 경우를 제외한 비자명한 고차수 수체에서 예외적 단위수를 갖지 않는 첫 번째 무한 가족을 제공하는 것.
• 이 결과를 산술 동역학에 적용하여, 이러한 수체 위에서 다항함수 사상의 유한 궤도에서 가능한 순환 길이를 제한하는 것.
• 특히 스코렘-샤보르티-콜먼 방법을 $\mathbb{P}^1 \setminus \{0,1,\infty\}$의 스칼라 제한에 적용할 수 있도록 적용 범위를 확장하는 것.

제안 방법

• 3이 $K$에서 완전히 분해됨에 따라 유도되는 $d$개의 임bedding을 통해 $\mathcal{O}_K$를 $\mathbb{Z}_3^d$에 매립함으로써 단위 방정식에 대한 $p$-진 분석을 적용한다.
• 단위수 $\mathcal{O}_K^\times$가 이러한 매립에서 $1 + 3\mathbb{Z}_3$로 매핑됨을 이용하여, 그 로그가 양의 $3$-진 부정도를 가짐을 보장한다.
• 단위 방정식의 해에 대응하는 영이 되는 $3$-진 멱급수 $f(n) = \prod_{i=1}^d (1 + \exp(n \log u_i))$를 구성한다.
• 함수 $f(n)$의 멱급수 전개 계수에 대한 $3$-진 부정도를 분석하여, $v_3(a_0) \geq 2$는 $3 \mid d$일 때만 성립함을 보이며, 이는 가정인 $3 \nmid d$와 모순된다.
• $p$-진 로그와 지수 함수 이론을 활용하며, $\mathbb{Z}_3$에서 $\exp$와 $\log$의 수렴 조건에 의존한다.
• 결과를 $\mathbb{P}^1 \setminus \{0,1,\infty\}$의 일반화된 야코비안의 스칼라 제한과 연결하여, 해를 $3$-진 해석적 집합 내의 교점으로 해석한다.

실험 결과

연구 질문

• RQ1 3이 완전히 분해되고 차수가 높은 수체에서 단위 방정식의 해가 없는 비자명한 무한 가족이 존재하는가? (단, 2가 분해되어 잔여체가 $\mathbb{F}_2$인 경우는 제외한다.)
• RQ2 스코렘-샤보르티-콜먼 방법은 국소 조건을 통해 수체 위의 다양체에서 유리점이 존재하지 않음을 탐지하도록 어떻게 일반화될 수 있는가?
• RQ3 수체 $K$에 대한 어떤 국소 조건이 예외적 단위수의 부재(즉, $x,y \in \mathcal{O}_K^\times$ 이면서 $x + y = 1$인 해의 부재)를 유도하는가?
• RQ4 소수 $p$의 분해 행동과 $K$의 차수 간의 상호작용은 단위 방정식의 해 존재를 어떻게 제약하는가?
• RQ5 예외적 단위수가 부재한 수체에서는 다항함수 사상의 유한 궤도에 대해 어떤 동역학적 결과가 도출되는가?

주요 결과

• 3이 $K$에서 완전히 분해되고 $3 \nmid [K:\mathbb{Q}]$일 경우, 단위 방정식 $x + y = 1$은 $\mathcal{O}_K^\times$ 내에 해가 없다.
• 이 결과는 2가 분해되어 잔여체가 $\mathbb{F}_2$인 경우를 제외한 고차수 수체에서 예외적 단위수를 갖지 않는 첫 번째 알려진 비자명한 무한 가족을 확립한다.
• 증명은 노름 사상의 멱급수 전개에 대한 $p$-진 분석을 통해 수행되며, 상수항 $a_0 = 2^d - (-1)^d$의 $v_3(a_0) \geq 2$는 $3 \mid d$일 때만 성립함을 보이며, 이는 가정과 모순된다.
• 이 방법은 $\mathbb{Z}_3$에서 $\exp$와 $\log$의 수렴 조건에 의존하며, $f(n)$의 멱급수 전개에서 홀수 차수 계수의 소멸은 단위 방정식의 대칭성에 기인한다.
• 보조 정리로서, $\mathcal{O}_K[x]$에 속한 다항함수 $f$가 $\mathcal{O}_K$에서 유한 궤도를 가질 경우, 궤도 크기는 동일한 가정 하에 $n \in \{1,2,4\}$여야 한다.
• 이러한 수체에서 예외적 단위수의 부재는, 예외적 단위수가 존재하지 않는 한 홀수 차수의 유한 궤도가 존재할 수 없음을 의미하며, 이는 동역학계와 단위군의 구조를 연결한다.