[논문 리뷰] Structure of $Gal(k_2^{(2)}/k)$ for some fields $k=Q(\sqrt{ 2p_1p_2}, \sqrt{-1})$

Abdelmalek Azizi, Abdelkader Zekhnini외 1명|arXiv (Cornell University)|2015. 03. 12.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 9

한 줄 요약

이 논문은 $p_1 \equiv p_2 \equiv 5 \pmod{8}$ 를 만족하는 허수 이중이중 이중체 $
\mathds{k} = \mathbb{Q}(\sqrt{2p_1p_2}, i)$ 에 대해, 2-클래스 군이 $(2,2,2)$ 형식인 초등 아벨 군인 경우, 비아벨 갈루아 군 $
\mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 의 구조, 생성자, 니르푸텐트 계수, 코클래스를 결정한다. 이는 모든 비분할 이차 및 이중이중 이중체 확장에서 2-클래스의 카피탈류션 문제를 완전히 해결하며, 명시적인 클래시 군 불변량과 클래시 확장 호모모르피즘의 핵을 제공한다.

ABSTRACT

Let $p_1 \equiv p_2 \equiv5\pmod8$ be different primes. Put $i=\sqrt{-1}$ and $d=2p_1p_2$, then the bicyclic biquadratic field $k=Q(\sqrt{d}, \sqrt{-1})$ has an elementary abelian 2-class group of rank $3$. In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group $\mathrm{Gal}(k_2^{(2)}/k)$ of the second Hilbert 2-class field $k_2^{(2)}$ of $k$. We study the capitulation problem of the 2-classes of $k$ in its seven unramified quadratic extensions $K_i$ and in its seven unramified bicyclic biquadratic extensions $L_i$.

연구 동기 및 목표

• 특정 종류의 허수 이중이중 이중체에 대해, $G = \mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 의 동형 유형과 니르푸텐트 계수, 코클래스와 같은 구조 불변량을 결정하는 것.
• 자연스러운 클래시 확장 호모모르피즘 $j_{\mathbb{K}/\mathds{k}}$ 의 핵을 계산하여, $\mathds{k}$ 의 모든 비분할 이차 및 이중이중 이중체 확장에서 2-클래스의 카피탈류션 문제를 해결하는 것.
• 모든 비분할 확장 $\mathbb{K}$ 와 $\mathbb{L}_i$ 에서 첫 번째 및 두 번째 힐베르트 2-클래스 군의 2-클래스 군에 대한 명시적인 아벨 유형 불변량을 제공하는 것.
• 레지오드 색소 기반의 레지오드 색소 기반 조건과 $\mathbb{Q}(i)$ 에서의 소수의 분할 조건에 기반하여, 2-클래스 군의 구조와 확장에서의 핵 행동을 완전히 분류하는 것.

제안 방법

• 저자들은 다중이중체의 2-클래스 군에 대한 알려진 결과를 활용하여, 제2 힐베르트 2-클래스 군 $\mathds{k}_2^{(2)}$ 와 그 갈루아 군 $G = \mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 의 구조를 분석하기 위해 군론적 체 이론을 사용한다.
• 소수 $p_1, p_2$ 가 $\mathbb{Q}(i)$ 에서 어떻게 분해되는지 분석함으로써, $\pi_1, \pi_2, \pi_3, \pi_4$ 의 분할 행동과 클래시 군 구조에 미치는 영향을 규명하기 위해 대수적 수론 기법을 적용한다.
• 하세의 단위 지수 $Q_{K/\mathbb{Q}}$ 와 CM-체에 대한 $\omega_K$ 를 사용하여, 부분체에서의 단위 지수와 기본 단위를 명시적으로 분석함으로써, $\ker j_{\mathbb{K}/\mathds{k}}$ 의 핵을 계산한다.
• 레지오드 색소 조건 $\left(\frac{p_1}{p_2}\right)$ 와 $\left(\frac{\pi_1}{\pi_3}\right)$ 을 활용하여 경우를 분할하고, 비분할 확장의 클래시 군에 대한 서로 다른 불변량을 유도한다.
• 표 9–12 는 $d = 2p_1p_2$, $q$, $b$, $m$, $n$, $\pi$ 등의 기준에 따라 $\mathbf{C}l_2(\mathbb{K}_i)$ 와 $\mathbf{C}l_2(\mathbb{L}_i)$ 를 분류하기 위한 대수적 기준에 기반하여 구성된다. 명시적인 유형 불변량으로는 $(2,2,2)$, $(4,2)$, $(6,6,6)$ 등이 포함된다.
• 클래시 군의 전반적 행동과 카피탈류션을 바탕으로 $G$ 의 구조를 유도하며, $G$ 는 순서가 $\geq 64$ 인 비아벨 2-군이며, 니르푸텐트 계수 3, 코클래스 2임을 보여준다.

실험 결과

연구 질문

• RQ1 지정된 조건 $p_1 \equiv p_2 \equiv 5 \pmod{8}$ 와 $\mathbf{C}l_2(\mathds{k}) \simeq (2,2,2)$ 를 만족하는 $\mathds{k} = \mathbb{Q}(\sqrt{2p_1p_2}, i)$ 에 대해, 갈루아 군 $\mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 의 동형 유형은 무엇인가요?
• RQ2 2-클래스가 $\mathds{k}$ 의 일곱 개의 비분할 이차 확장 $\mathbb{K}_i$ 와 일곱 개의 비분할 이중이중 이중체 확장 $\mathbb{L}_i$ 에서 어떻게 카피탈류션되는가요?
• RQ3 첫 번째 힐베르트 2-클래스 군 내의 모든 비분할 확장 $\mathbb{K}_i$ 와 $\mathbb{L}_i$ 에서의 2-클래스 군의 아벨 유형 불변량은 무엇인가요?
• RQ4 각 비분할 확장 $\mathbb{K}$ 에 대해 핵 $\ker j_{\mathbb{K}/\mathds{k}}$ 의 구조는 무엇이며, 레지오드 색소 기반 조건 $\left(\frac{p_1}{p_2}\right)$ 와 $\left(\frac{\pi_1}{\pi_3}\right)$ 에 따라 어떻게 변화하는가요?
• RQ5 갈루아 군 $G = \mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 의 니르푸텐트 계수와 코클래스는 무엇이며, 이는 제2 힐베르트 2-클래스 군의 비아벨 구조를 어떻게 반영합니까?

주요 결과

• 갈루아 군 $G = \mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 는 순서가 최소 64인 비아벨 2-군이며, 니르푸텐트 계수 3, 코클래스 2를 가지며, 생성자와 관계식을 통해 명시적으로 기술된다.
• $d = 2p_1p_2$ 이고 $p_1 \equiv p_2 \equiv 5 \pmod{8}$ 인 경우, $\mathds{k}$ 의 2-클래스 군은 $(2,2,2)$ 형식이며, 정확히 일곱 개의 비분할 이차 확장과 일곱 개의 비분할 이중이중 이중체 확장이 존재한다.
• 일부 확장에서는 핵 $\ker j_{\mathbb{K}/\mathds{k}}$ 가 자명하다 (예: $d=130$ 에서 $\mathbb{K}_1$), 반면 다른 확장에서는 비자명한 경우가 있다. 예를 들어 $d=530$ 에서 $\ker j_{\mathbb{K}_3/\mathds{k}} \simeq (2,2)$ 이며, 이는 비자명한 카피탈류션을 나타낸다.
• $\left(\frac{p_1}{p_2}\right) = 1$ 이고 $\left(\frac{\pi_1}{\pi_3}\right) = 1$ 인 경우, $d=17090$ 에서 $\mathbb{L}_1$ 의 클래시 군은 $(9240,420)$ 이며, $\left(\frac{p_1}{p_2}\right) = -1$ 이면 $\mathbf{C}l_2(\mathbb{L}_1) = (24,2)$ 가 되며, 이는 분할 조건에 강한 의존성을 보인다.
• $d=130$ 에서 $\mathbb{K}_3 = \mathds{k}(\sqrt{2})$ 의 2-클래스 군은 $(2,2,2)$ 형식이며, $\ker j_{\mathbb{K}_3/\mathds{k}}$ 는 자명하다. 반면 $\mathbb{K}_1$ 에서는 $\mathbb{Z}/2\mathbb{Z}$ 와 동형이다.
• $G$ 의 구조는 완전히 결정되었다: 순서가 128인 비아벨 2-군이며, 도함수군 $G'$ 는 순서 16이며, $G/G' \simeq (2,2,2)$ 이다. 이는 $G$ 가 제2 힐베르트 2-클래스 군 갈루아 군으로서의 역할을 확인한다.