[논문 리뷰] The 4-class group of real quadratic number fields

Franz Lemmermeyer|arXiv (Cornell University)|2013. 10. 24.

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

한 줄 요약

이 논문은 이중 제곱 잔여 기호와 판별식의 인수분해 성질을 사용하여 실이차수 수체에서 4계급군의 구조에 관한 A. 쇼르츠의 결과에 대한 초등적 증명을 제공한다. 이는 무한대 외부에서 분할되지 않은 순환 4차 확장을 전체적으로 실수체로 만들 수 있는 조건을 규명하며, 이는 이중 제곱 잔여 기호 $(d_1/d_2)_4$와 $(d_2/d_1)_4$의 곱이 +1일 때 성립함을 보이고, 4-rank가 4 이상이면 2계급체의 탑이 무한함을 증명하여 하지르의 방법을 통해 마레의 결과를 강화한다.

ABSTRACT

In this paper we give an elementary proof of results on the structure of 4-class groups of real quadratic number fields originally due to A. Scholz. In a second (and independent) section we strengthen C. Maire's result that the 2-class field tower of a real quadratic number field is infinite if its ideal class group has 4-rank at least $4$, using a technique due to F. Hajir.

연구 동기 및 목표

• 실이차수체의 4계급군에 관한 쇼르츠의 결과에 대해 체계론을 사용하지 않는 초등적 증명을 제공하는 것.
• 4-rank가 4 이상일 경우 2계급체의 탑이 무한함을 보이는 마레의 결과를 강화하는 것.
• 무한대 외부에서 분할되지 않은 전체적으로 실수인 순환 4차 확장을 이중 제곱 잔여 기호를 통해 특성화하는 것.
• 벡터 공간 $\mathbb{F}_2$ 위에서의 $C_4^+$-인수분해와 그 섬유 분해를 통해 판별식의 구조를 분석하는 것.
• 일부 경우에서 서로 독립적인 $C_4^+$-인수분해가 존재할 경우, 한 인수가 소 판별식이거나 특정 교차 패턴을 가진 인수분해가 존재함을 보이는 것.

제안 방법

• 지역 기호를 포함한 정의에 따라 이중 제곱 자코비 기호 $(d/d')_4$를 사용한다. 이때 $d=2$인 경우의 관례도 포함한다.
• 무한대 외부에서 분할되지 않은 순환 4차 확장 문제를 $d = d_1 d_2$인 경우의 디오판틴 방정식 $x^2 - d_1 y^2 = d_2 z^2$로 환원한다.
• 해의 모듈로 축소 기법을 적용하여 이중 제곱 기호의 곱에 대한 조건을 도출한다.
• $C_4^+$-인수분해를 $t$가 $d$를 나누는 소 판별식의 수일 때 $\mathbb{F}_2^t / X$ 안의 벡터로 모델링하고, 좌표의 합을 통해 섬유 분해 $V_\nu$를 정의한다.
• $\mathbb{F}_2$-벡터 공간에서의 조합론적 추론, 특히 딜레르트의 상자 원리 등을 사용하여 4차원 부분공간에서 특정 구성이 존재함을 증명한다.
• 트레이스 사상 $T_{2k}$를 사용하여 $2k$개의 음성 소 인수를 가진 인수분해에 대응하는 부분공간 $V^{(2k)}$를 정의하고, 그 섬유 구조를 분석한다.

실험 결과

연구 질문

• RQ1 무한대 외부에서 분할되지 않은 실이차수체의 순환 4차 확장이 전체적으로 실수체가 되는 조건은 무엇인가?
• RQ2 판별식의 다수의 $C_4^+$-인수분해가 존재할 경우, 그 중 하나가 소 인수를 가진다는 것을 보장하는 조건은 무엇인가?
• RQ3 $(d_1/d_2)_4 (d_2/d_1)_4$의 곱과 확장 $k(\sqrt{d_1}, \sqrt{\alpha})$의 실수성 사이의 관계는 무엇인가?
• RQ4 실이차수체의 4-rank가 4 이상이면 그 2계급체의 탑이 무한할 수 있는가?
• RQ5 $V$의 4차원 부분공간에서 $a + b + c = 0$의 해가 존재하도록 하는 $C_4^+$-인수분해의 구조적 조건은 무엇인가?

주요 결과

• 무한대 외부에서 분할되지 않은 순환 4차 확장 $k(\sqrt{d_1}, \sqrt{\alpha})$가 전체적으로 실수체일 조건은 $d = d_1 d_2$가 $C_4^+$-인수분해일 때 $(d_1/d_2)_4 (d_2/d_1)_4 = +1$이 성립함이다.
• 무한대 외부에서 분할되지 않은 순환 8차 확장이 이러한 4차 확장을 포함한다면 $(d_1/d_2)_4 = (d_2/d_1)_4 = +1$이 성립한다.
• 만일 $t = 6$이라면, $V$의 임의의 4차원 부분공간 $U$는 $V_1$을 피하고도 $V_2$와 비자명하게 만날 수 있으며, 이는 소 판별식을 가진 $C_4^+$-인수분해 또는 공통 소 인수를 가진 두 인수분해의 존재를 의미한다.
• 만일 $t = 7$이라면, $V^{(2k)}$의 임의의 4차원 부분공간 $U$는 $V^{(2k)}_1$ 또는 $V^{(2k)}_2$와 비자명하게 만날 수 있으며, 이는 낮은 무게의 구성 방식을 피할 수 없음을 의미한다.
• 섬유의 기수 $\#V_\nu$는 명시적으로 계산된다: $t = 2s+1$이면 $\#V\_\nu = \binom{t}{\nu}$이며, $t = 2s$이고 $\nu = s$이면 $\#V_\nu = \frac{1}{2}\binom{t}{s}$이다.
• 부분공간 $U$가 $V^{(2k)}$에 속하고 $U \cap V^{(2k)}_1 = U \cap V^{(2k)}_2 = \varnothing$를 만족하면 모순이 발생하므로, 이러한 부분공간은 반드시 무게 1 또는 2를 가진 원소를 포함해야 한다.