[논문 리뷰] A result of Lemmermeyer on class numbers

Paul Monsky|arXiv (Cornell University)|2010. 09. 21.

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

한 줄 요약

이 논문은 프라임 수 $ p \equiv 9 \pmod{16} $ 에 대해 프리 퀀티크 필드 $ \mathbb{Q}(p^{1/4}) $ 의 클래스 수가 $ 2 \pmod{4} $ 와 합동임을 프란츠 렘머마이어가 조건 없이 증명한다. 가우스의 실 이차 필드의 클래스 수에 관한 결과와 두 번의 암묵적 클래스 수 공식 적용을 통해, 중간 확장에서 클래스 수의 홀수성을 확립함으로써, $ \mathbb{Q}(p^{1/4}) $ 의 클래스 수가 2로 나누어지지만 4로는 나누어지지 않음을 증명한다.

ABSTRACT

I present Franz Lemmermeyer's proof that if p is a prime congruent to 9 mod 16 then the class number of Q(p^(1/4)) is congruent to 2 mod 4.

연구 동기 및 목표

• 프라임 수 $ p \equiv 9 \pmod{16} $ 에 대해 $ \mathbb{Q}(p^{1/4}) $ 의 클래스 수를 규명하여 이전에 버치-스위너톤다이어 추측에 의존한 조건부 추측을 해결한다.
• 대수적 수론 도구를 사용하여 클래스 수 합동식 $ h(\mathbb{Q}(p^{1/4})) \equiv 2 \pmod{4} $ 에 대한 조건 없는 증명을 제공한다.
• 프라임 수 $ p \equiv 9 \pmod{16} $ 일 때 $ \mathbb{Q}(p^{1/4}) $ 의 클래스 수가 짝수이지만 4로 나누어지지 않음을 보여주어 오랫동안 유지된 추측을 확인한다.
• 확장 $ F(p^{1/4}) $ 가 $ \mathbb{Q}(p^{1/4}) $ 의 무분할 이차 확장임을 보여주며, 이는 클래스 수가 4로 나누어지지 않음을 암시한다. 여기서 $ F $ 는 $ \mathbb{Q}(\mu_p) $ 의 최대 실부분체이다.

제안 방법

• 확장 $ k(\sqrt{\epsilon})/k $ 에 암묵적 클래스 수 공식을 적용한다. 여기서 $ k = \mathbb{Q}(\sqrt{p}) $ 이고 $ \epsilon $ 은 노름이 $-1$ 인 기본 단위이다.
• 클래스 수가 홀수이고 $ \epsilon $ 이 노름 $-1$ 을 가지므로, $ k(\sqrt{\epsilon}) $ 에서의 분할 및 노름 조건을 분석한다.
• 로컬 분석을 통해 2와 $ \sqrt{p} $ 에서의 분석을 이용하여, $ k(\sqrt{\epsilon}) $ 에서는 $ k $ 의 오직 두 개의 소수만 분할됨을 보인다: 하나는 무한소이고 다른 하나는 $ \sqrt{p} $ 위의 소수이다.
• 다시 한 번 암묵적 클래스 수 공식을 확장 $ F(\sqrt{\epsilon})/k(\sqrt{\epsilon}) $ 에 적용하여, $ p \equiv 9 \pmod{16} $ 일 때 암묵적 클래스 수가 홀수임을 보인다.
• $ \sqrt{\epsilon} $ 가 $ k(\sqrt{\epsilon}) $ 의 $ \sqrt{p} $ 위의 두 소수에서 국소 노름이 아님을 증명함으로써 $ j $ 가 짝수임을 유도하고, 따라서 암묵적 클래스 수가 홀수임을 보인다.
• 계급체 이론과 $ F(p^{1/4}) $ 가 $ \mathbb{Q}(p^{1/4}) $ 의 무분할 이차 확장임을 조합하여, $ \mathbb{Q}(p^{1/4}) $ 의 클래스 수가 $ \equiv 2 \pmod{4} $ 임을 결론짓는다.

실험 결과

연구 질문

• RQ1 프라임 수 $ p \equiv 9 \pmod{16} $ 일 때 $ \mathbb{Q}(p^{1/4}) $ 의 클래스 수는 무엇이며, 4로 나누어지는가?
• RQ2 클래스 수 합동식 $ h(\mathbb{Q}(p^{1/4})) \equiv 2 \pmod{4} $ 는 버치-스위너톤다이어 추측을 가정하지 않고도 조건 없이 증명될 수 있는가?
• RQ3 암묵적 클래스 수 공식은 다단계 갈루아 확장에서 클래스 수의 기수성을 결정하는 데 어떻게 기여하는가?
• RQ4 $ p \equiv 9 \pmod{16} $ 일 때, 왜 $ \sqrt{\epsilon} $ 가 $ k(\sqrt{\epsilon}) $ 의 $ \sqrt{p} $ 위의 소수에서 국소 노름이 아닐까?
• RQ5 $ k(\sqrt{\epsilon}) $ 에서 $ (\sqrt{p}) $ 의 분할 행동은 클래스 수 추론에서 어떤 역할을 하는가?

주요 결과

• 프라임 수 $ p \equiv 9 \pmod{16} $ 에 대해 $ \mathbb{Q}(p^{1/4}) $ 의 클래스 수는 $ 2 \pmod{4} $ 와 합동이며, 이는 2로 나누어지지만 4로는 나누어지지 않음을 의미한다.
• $ F $ 가 $ \mathbb{Q}(\mu_p) $ 의 최대 실부분체일 때, 확장 $ F(p^{1/4}) $ 는 $ \mathbb{Q}(p^{1/4}) $ 의 무분할 이차 확장이며, 이는 $ \mathbb{Q}(p^{1/4}) $ 의 클래스 수가 4로 나누어지지 않음을 암시한다.
• $ k(\sqrt{\epsilon}) = \mathbb{Q}(\sqrt{p}, \sqrt{\epsilon}) $ 의 클래스 수는 암묵적 클래스 수 공식과 무한소에서 $ -1 $ 이 국소 노름이 아니라는 사실을 통해 홀수임을 보였다.
• $ p \equiv 9 \pmod{16} $ 일 때, $ F(\sqrt{\epsilon})/k(\sqrt{\epsilon}) $ 의 암묵적 클래스 수는 홀수이며, 이는 $ \sqrt{\epsilon} $ 가 모듈로 $ p $ 에서 8제곱근 단위이자 $ \mathbb{F}_p^* $ 에서 제곱이 아니기 때문이다.
• $ k $ 의 소수 $ (\sqrt{p}) $ 는 $ k(\sqrt{\epsilon}) $ 에서 분할되며, 이 두 소수 위의 소수들은 $ F(\sqrt{\epsilon}) $ 에서 모두 분할된다. 이는 암묵적 클래스 수 계산에 필수적이다.
• 증명은 두 번의 암묵적 클래스 수 공식 적용에 기반하며 버치-스위너톤다이어 추측에 대한 가정을 피하여 오랫동안 유지된 추측에 대한 조건 없는 해결책을 제공한다.