[논문 리뷰] Solutions of diophantine equations as periodic points of $p$-adic algebraic functions, I

Patrick Morton|arXiv (Cornell University)|2014. 10. 17.

Advanced Mathematical Identities참고 문헌 11인용 수 4

한 줄 요약

이 논문은 특별한 2진 대수적 함수 $ T(z) $ 의 주기점들과 임의의 허수 제곱근 필드 $ K = \mathbb{Q}(\sqrt{-d}) $ 에서의 사차 원주율 방정식의 해 사이에 동역학적 대응을 수립한다. 여기서 $ -d \equiv 1 \pmod{8} $ 이다. 이 논문은 $ \overline{\mathbb{Q}}_2 $ 내에서 $ T(z) $ 의 주기점 중 두 개를 제외한 모든 주기점이 $ p $-적응 가능한 허수 제곱근 필드 위의 링 클래스 필드를 생성함을 증명하며, Deuring 가 처음으로 증명한 클래스 수 관계에 대한 동역학적 증명을 제공한다.

ABSTRACT

Solutions of the quartic Fermat equation in ring class fields of odd conductor over quadratic fields $K=\mathbb{Q}(\sqrt{-d})$ with $-d \equiv 1$ (mod $8$) are shown to be periodic points of a fixed algebraic function $T(z)$ defined on the punctured disk $0< |z|_2 \le \frac{1}{2}$ of the maximal unramified, algebraic extension $ extsf{K}_2$ of the $2$-adic field $\mathbb{Q}_2$. All ring class fields of odd conductor over imaginary quadratic fields in which the prime $p=2$ splits are shown to be generated by complex periodic points of the algebraic function $T$, and conversely, all but two of the periodic points of $T$ generate ring class fields over suitable imaginary quadratic fields. This gives a dynamical proof of a class number relation originally proved by Deuring. It is conjectured that a similar situation holds for an arbitrary prime $p$ in place of $p=2$, where the case $p=3$ has been previously proved by the author, and the case $p=5$ will be handled in Part II.

연구 동기 및 목표

• 주기점과 허수 제곱근 필드 위의 링 클래스 필드 사이의 동역학적 대응을 수립하기.
• Deuring 가 $ 2 $-진 설정에서 $ T(z) $ 의 주기점을 사용하여 처음으로 증명한 클래스 수 관계에 대한 동역학적 증명을 제공하기.
• 반환된 복소 곱셈과 클래스 필드 이론의 프레임워크를 확장하여, 링 클래스 필드를 $ T(z) $ 가 정의하는 $ p $-진 동역학 시스템에 통합하기.
• 모든 소수 $ p $ 에 대해 유사한 동역학적 구조가 존재할 것이라는 넓은 추측을 뒷받침하기 위해, $ p=2 $ 를 기본 사례로 삼기.

제안 방법

• $ \mathsf{K}_2 $ 라고 불리는 $ \mathbb{Q}_2 $ 의 최대 무분할 확장 내에서, $ 0 < |z|_2 \leq \frac{1}{2} $ 인 구멍 난 디스크 위에 $ 2 $-진 대수적 함수 $ T(z) $ 를 이항 전개를 사용하여 정의하기.
• 허수 제곱근 필드 $ K = \mathbb{Q}(\sqrt{-d}) $ 에서의 링 클래스 필드에서 사차 원주율 방정식의 해들이 $ T(z) $ 의 주기점임을 보이기.
• 반복된 결과식을 사용하여 주기점의 최소 다항식 $ b_d(x) $ 를 계산하고, 이를 클래스 필드 생성과 연결하기.
• $ \overline{\mathbb{Q}}_2 $ 내에서 $ T(z) $ 의 주기점 중 두 개를 제외한 모든 주기점이 $ p $-적응 가능한 허수 제곱근 필드 위의 링 클래스 필드를 생성함을 증명하기.
• 최소 주기 $ n $ 인 주기점의 수를 세어 클래스 수 관계를 유도하기. $ n > 1 $ 이면 $ \sum_{-d \in \mathfrak{D}_n} h(-d) = n N_4(n) = \sum_{k|n} \mu(n/k) 2^{2k} $ 를 얻는다.
• 결과식 다항식 $ R_n(x) $ 의 인수분해를 확인하여, 주기점이 링 클래스 필드 생성자와 대응됨을 검증하기.

실험 결과

연구 질문

• RQ1 어떻게 $ p $-진 대수적 함수의 주기점이 허수 제곱근 필드 위의 링 클래스 필드를 생성하는 데 사용될 수 있는가?
• RQ2 $ p=2 $ 에 대해 링 클래스 필드의 체 이론을 실현하는 정확한 동역학 시스템(대수적 함수)은 무엇인가?
• RQ3 이 함수의 주기점이 사차 원주율 방정식과 같은 디오판틴 방정식의 해를 매개변수화할 수 있는가?
• RQ4 $ T(z) $ 의 주기점이 $ p $-적응 가능한 허수 제곱근 필드 위의 모든 링 클래스 필드를 얼마나 잘 생성하는가? 그리고 몇 개의 예외가 존재하는가?
• RQ5 주어진 최소 주기의 주기점 수를 세는 것이 클래스 수 관계를 유도하는 데 기여하는가? 만약 그렇다면, 이 동역학적 접근을 통해 이를 증명할 수 있는가?

주요 결과

• 모든 $ p $-적응 가능한 허수 제곱근 필드 $ K = \mathbb{Q}(\sqrt{-d}) $ 에서의 홀수 차수의 링 클래스 필드는 $ 2 $-진 함수 $ T(z) $ 의 주기점에 의해 생성된다. 여기서 $ -d \equiv 1 \pmod{8} $ 이다.
• $ \overline{\mathbb{Q}}_2 $ 내에서 $ T(z) $ 의 주기점 중 두 개를 제외한 모든 주기점은 어떤 $ p $-적응 가능한 허수 제곱근 필드 위의 링 클래스 필드를 생성한다.
• 영역 $ \textsf{D}_2 = \{ y : 0 < |y|_2 \leq \frac{1}{2} \} $ 내에서 최소 주기 $ n $ 인 주기점의 수는 $ n N_4(n) = \sum_{k|n} \mu(n/k) 2^{2k} $ 로 주어지며, 이는 $ \mathfrak{D}_n $ 에 속하는 판별식 $ -d $ 에 대한 클래스 수 $ h(-d) $ 의 합과 같다.
• 주기점의 최소 다항식 $ b_d(x) $ 는 반복 결과식 $ R_n(x) $ 의 인수분해를 통해 확인되었으며, 예를 들어 $ b_{23}(x), b_{31}(x), \dots, b_{255}(x) $ 와 같은 다양한 $ d $ 에 대해 명시적인 인수분해를 통해 클래스 필드 생성에서의 역할을 확인하였다.
• 이 동역학 시스템은 Deuring 가 처음으로 증명한 클래스 수 관계에 대한 새로운 증명을 제공하며, 이제는 $ T(z) $ 의 주기 궤도 구조에서 유도된다.
• 모든 최소 주기 $ n > 1 $ 인 $ T(z) $ 의 주기점은 국소 필드 $ \mathsf{K}_2 $ 내의 소원소이다. 이는 $ 2 $-진 설정에서의 산술적 중요성을 시사한다.