[논문 리뷰] Recent progress in determining p-class field towers

Daniel C. Mayer|arXiv (Cornell University)|2016. 05. 31.

Cryptography and Residue Arithmetic인용 수 7

한 줄 요약

이 논문은 고전적 아르틴 패턴을 초월한 정교한 군론적 기법을 도입하여 수체에 대한 $p$-클래스 체 나선의 결정을 발전시킨다. 다층 IPAD, 샤파레비치 커버, 그리고 후손 트리 탐색을 활용하여 비메타아벨리안 $p$-나선 군을 식별하며, $p \in \{2,3,5\}$에 대해 이차 체 위에서 삼단계 $p$-클래스 체 나선을 성공적으로 구성함으로써 과정에서 새로운 트리 구조를 드러낸다.

ABSTRACT

For a fixed prime p, the p-class tower F(p,infinity,K) of a number field K is considered to be known if a pro-p presentation of the Galois group H = Gal( F(p,infinity,K)/K ) is given. In the last few years, it turned out that the Artin pattern AP(K) = (tau(K),kappa(K)) consisting of targets tau(K) = (Cl(p,L)) and kernels kappa(K) = (ker(J(L/K)) of class extensions J(L/K): Cl(p,K) --> Cl(p,L) to unramified abelian subfields L/K of the Hilbert p-class field F(p,1,K) only suffices for determining the two-stage approximation G = H/H" of H. Additional techniques had to be developed for identifying the group H itself: searching strategies in descendant trees of finite p-groups, iterated and multilayered IPADs of second order, and the cohomological concept of Shafarevich covers involving relation ranks. This enabled the discovery of three-stage towers of p-class fields over quadratic base fields K = Q( squareroot(d) ) for p = 2,3,5. These non-metabelian towers reveal the new phenomenon of various tree topologies expressing the mutual location of the groups H and G.

연구 동기 및 목표

• 수체 $K$에 대해 두 단계 근사 $\mathfrak{G} = G/G''$를 초월하여 전체 $p$-클래스 체 나선 군 $G = \mathrm{Gal}(\mathbb{F}_p^\infty K/K)$를 결정하는 것.
• 아르틴 패턴만으로 후보 군을 구분할 수 없는 경우 전체 $p$-나선 군의 모호함을 해결하는 것.
• 다층 IPAD 및 샤파레비치 커버와 같은 고급 계산 기법을 개발하고 적용하여 비메타아벨리안 $p$-나선 군을 구분하는 것.
• 이차 체 위에서 $p \in \{2,3,5\}$에 대해 삼단계 $p$-클래스 체 나선의 존재를 확립하고, 관련된 후손 트리에서 새로운 구조적 현상을 보여주는 것.
• 정밀한 전이 목표 데이터를 사용하여 임계 복소 이차 체에 대한 두 번째 $3$-클래스 군의 $3$-adic 로그 순서에 대한 날카운 하한을 제공하는 것.

제안 방법

• 후보 $p$-나선 군을 제약하기 위해 전이 목표 유형 $\tau(K) = (\mathrm{Cl}_p L)$과 핵 $\varkappa(K) = (\ker J_{L|K})$로 구성된 아르틴 패턴 $\mathrm{AP}(K) = (\tau(K), \varkappa(K))$를 활용한다.
• 두 번째 차수의 다층 IPAD—특히 두 번째 계층 전이 목표 유형 $\tau_2(K)$—를 사용하여 $\mathfrak{G} = \mathrm{G}_p^2 K$의 식별을 정밀화한다.
• 샤파레비치 커버 개념을 적용하여 관계 랭크 $d_2(G) = \dim_{\mathbb{F}_p} H^2(G, \mathbb{F}_p)$를 분석하며, $\varrho$, $r$, $\theta$를 포함한 샤파레비치 정리의 경계를 활용한다.
• 다른 $p$-군 생성 알고리즘과 후손 트리 탐색을 사용하여 주어진 메타아벨리안 군 $\mathfrak{G}$의 전체 커버 $\mathrm{cov}_c(\mathfrak{G})$를 탐색하고 가능한 $p$-나선 군 $G$를 식별한다.
• MAGMA와 같은 계산 대체 시스템을 사용하여 차수 $3^2$인 비분할 이중순환 확장 $M|K$에 대해 $\mathrm{Cl}_3(M)$을 계산함으로써 $\tau_2(K)$를 구성한다.
• 일반적인 IPAD가 부족한 경우를 해결하기 위해 IPOD의 점유 수를 도입하여 동일한 IPAD를 가진 체이지만 다른 군 구조를 가진 체를 구분한다.

실험 결과

연구 질문

• RQ1 두 단계 근사 $\mathfrak{G} = G/G''$가 여러 후보로 인해 부족할 경우 전체 $p$-클래스 체 나선 군 $G$가 유일하게 결정될 수 있는가?
• RQ2 표준 IPAD가 실패하는 경우 비메타아벨리안 $p$-나선 군을 구분하기 위해 아르틴 패턴을 초월한 추가 불변량이 필요한가?
• RQ3 관계 랭크 $d_2(G)$는 $\mathfrak{G}$의 커버에서 $G$의 구조를 제약하고 타당하지 않은 후보를 제거하는 데 어떻게 사용될 수 있는가?
• RQ4 복소 이차 체에서 $3$-클래스 군이 형식 $(1^3)$인 경우 두 번째 $3$-클래스 군 $\mathfrak{G}$의 최소 로그 순서는 얼마이며, 어떻게 하한을 구할 수 있는가?
• RQ5 $p \in \{2,3,5\}$에 대해 이차 체 위에서 삼단계 $p$-클래스 체 나선을 구성할 수 있으며, 어떤 구조적 특징을 보이는가?

주요 결과

• 복소 이차 체 $K = \mathbb{Q}(\sqrt{-4\,447\,704})$에 대해 두 번째 $3$-클래스 군 $\mathfrak{G}$는 로그 순서가 최소 $17$ 이상이므로 $\mathrm{lo}_3 \mathfrak{G} \geq 17$이다. 이는 두 번째 계층 TTT $\tau_2(K) = [32^5 1^2; 4321^5; 2^5 1^3, (3^2 21^5)^2; 2^4 1^4, 32^2 1^5; (2^2 1^7)^3, (2^3 1^5)^3]$에 기반한다.
• 다음으로, $K = \mathbb{Q}(\sqrt{-5\,067\,967})$에 대해 두 번째 $3$-클래스 군은 $\mathrm{lo}_3 \mathfrak{G} \geq 16$를 만족하며, $\tau_2(K) = [3^2 2^2 1^4; (3^2 21^5)^3; 32^2 1^5; (2^3 1^5)^8]$이다.
• 또한 $K = \mathbb{Q}(\sqrt{-8\,992\,363})$에 대해 두 번째 $3$-클래스 군은 $\mathrm{lo}_3 \mathfrak{G} \geq 15$를 만족하며, $\tau_2(K) = [32^2 1^6, (3^2 21^5)^3; 2^4 1^4, 32^2 1^5; 2^2 1^7, (2^3 1^5)^6]$이다.
• 판별식 $d \in \{-4\,447\,704, -5\,067\,967, -8\,992\,363\}$을 가진 세 임계 체의 두 번째 $3$-클래스 군은 서로 이sovolumetric하지 않으며, 이는 첫 번째 계층 IPAD가 동일함에도 불구하고 그렇다.
• 각각의 IPOD 점유 수는 $6$, $2$, $3$이며, 이는 표준 IPAD가 부족한 경우의 모호함을 해결한다.
• 이 논문은 이차 체 위에서 $p \in \{2,3,5\}$에 대해 삼단계 $p$-클래스 체 나선의 존재를 확인하며, $G$와 $\mathfrak{G}$의 상대적 위치를 반영하는 후손 트리의 새로운 구조적 위상이 드러나도록 한다.