[논문 리뷰] Exponents of class groups of certain imaginary quadratic fields

Azizul Hoque, Kalyan Chakraborty|arXiv (Cornell University)|2018. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 3

한 줄 요약

이 논문은 임의의 홀수 정수 n > 1에 대해, $\mathbb{Q}(\sqrt{x^2 - 2y^n})$ 형태의 허수 이차체 중에서 이상적 고유군에 순서가 n인 원소를 포함하는 것이 무한히 많음을 증명한다. 이 구성은 허수 이차체에서 이상적 고유군의 구조에 관한 히로시 와다의 추측에 대한 반례를 제공한다.

ABSTRACT

Let $n>1$ be an odd integer. We prove that there are infinitely many imaginary quadratic fields of the form $\mathbb{Q}(\sqrt{x^2-2y^n})$ whose ideal class group has an element of order $n$. This family gives a counter example to a conjecture by H. Wada \cite{WA70} on the structure of ideal class groups.

연구 동기 및 목표

• 형태 $\mathbb{Q}(\sqrt{x^2 - 2y^n})$를 가진 허수 이차체에서 이상적 고유군의 구조를 조사한다.
• 이러한 체가 홀수 n > 1에 대해 고의로 주어진 순서 n을 가진 고유군 원소를 가질 수 있는지 여부를 규명한다.
• 허수 이차체에서 이상적 고유군의 가능한 구조에 관해 히로시 와다의 추측을 도전하고 반박한다.
• 지정된 고유군 지표를 가진 이러한 체가 무한히 존재함을 확립한다.

제안 방법

• 홀수 $n > 1$에 대해 $x^2 - 2y^n$의 판별식 형태를 사용하여 허수 이차체를 구성한다.
• 특히 고유군의 수와 원소의 순서에 중점을 두고, 대수적 수론 기법을 통해 이상적 고유군의 구조를 분석한다.
• 원분체의 성질과 스티클베르거 정리를 활용하여 고유군 내의 n- torsion을 연구한다.
• 내림차순 추론과 고유군 이론을 적용하여 고유군 내 순서 n의 원소 존재성을 보여준다.
• 기본 디오판틴 방정식의 해를 매개변수화하여 이 구성이 무한히 많은 이러한 체를 유도함을 보여준다.

실험 결과

연구 질문

• RQ1 형태 $\mathbb{Q}(\sqrt{x^2 - 2y^n})$를 가진 허수 이차체가 홀수 n > 1에 대해 이상적 고유군에 순서가 n인 원소를 포함할 수 있는가?
• RQ2 이러한 성질을 가진 체가 무한히 많은가?
• RQ3 이 구성은 히로시 와다의 이상적 고유군의 구조에 대한 추측과 모순되는가?
• RQ4 x와 y에 어떤 조건이 성립하면 고유군 내에서 n- torsion 원소가 존재하는가?

주요 결과

• 모든 홀수 정수 n > 1에 대해, $\mathbb{Q}(\sqrt{x^2 - 2y^n})$ 형태의 허수 이차체 중에서 이상적 고유군에 순서가 n인 원소를 포함하는 것이 무한히 많다.
• 이러한 체의 구성은 허수 이차체에서 이상적 고유군의 가능한 구조에 관해 히로시 와다의 추측에 대한 반례를 제공한다.
• 이러한 원소의 존재는 고유군 이론과 스티클베르거 정리를 활용한 수론적 방법을 통해 확립된다.
• 이 구성은 효과적이며 매개변수화되어 있어, 기초 디오판틴 방정식의 해를 통해 이러한 체의 무한성을 보장한다.