3차 제자리형(3,3) 슈어 σ 군의 구조와 3 탑 그룹에 대한 새로운 증거

초록

이 논문은 p=3인 경우, 허수 이차체 K의 최대 비분지 3‑확장군 G_K가 (3,3) 형태의 Zassenhaus 타입을 가질 때 가능한 13가지 유한 인용체 G_K/D₄(G_K) 중 10가지에 대해 D₂(G_K)가 강력(p‑powerful)함을 보이고, 따라서 G_K는 p‑adic 해석군이며 PGL₂(ℚ₃)의 열린 부분군과 동형임을 증명한다. 또한, Fontaine‑Mazur 추측·Cohen‑Lenstra‑유사 휴리스틱과 결합해 McLeman의 “if” 부분을 통계적으로 지지하고, 삼중 Massey 곱을 이용한 대규모 계산으로 실험적 검증을 수행한다.

상세 분석

본 연구는 먼저 슈어 σ‑군의 정의와 그 기본 성질을 정리하고, 특히 d(G)=2인 경우 Zassenhaus 타입 (3,3)일 때 발생하는 구조적 복잡성을 강조한다. p>3일 때는 D₃(F₂) 차원이 2이지만, p=3에서는 차원이 4가 되어 13가지 서로 다른 유한 인용체 G/D₄(G)가 존재한다는 점이 핵심이다. 저자들은 이러한 13가지 경우 중 10가지에 대해 D₂(G) 가 강력(p‑powerful)임을 판정하는 새로운 기준을 제시한다. 이 기준은 E(G)라 불리는 일반적인 열린 정규 부분군이 강력인지 여부를 G/E²(G) 의 유한 인용체만으로 판단할 수 있게 하며, 이를 위해 GAP의 ANUPQ 패키지를 활용해 모든 가능한 G/E²(G)를 전산적으로 생성한다.

강력성을 확보하면 Lazard의 정리에 의해 G는 p‑adic 해석군이 되고, 강한 슈어 σ‑군(특히 p‑tower 군)인 경우에는 추가적인 구조 정리를 이용해 G가 Q₃ 위의 PGL₂ 형태의 열린 부분군과 동형임을 증명한다. 이는 Fontaine‑Mazur 비분지 추측과 결합하면, 해당 10가지 경우에 해당하는 p‑tower 군 G_K는 반드시 유한해야 함을 의미한다.

또한, 저자들은 삼중 Massey 곱을 이용해 G_K/D₄(G_K) 의 구체적 표현을 얻는다. Vögel의 결과를 étale cohomology 로 옮긴 뒤, 앞서 저자와 Carlson이 제시한 삼중 Massey 곱 공식(특히 d(G_K)=2인 경우)으로 실제 계산을 수행한다. 이를 통해 −10⁸ < d_K < 0 범위의 모든 허수 이차체에 대해 G_K/D₄(G_K) 의 동형류를 결정하고, 앞서 Boston‑Bush‑Hajir가 제시한 IPAD 데이터와 완벽히 일치함을 확인한다.

통계적으로는 19가지 가능한 인용체(13가지 (3,3) 타입 포함) 중 각 경우의 발생 빈도를 히스토그램으로 제시하고, Cohen‑Lenstra‑유사 휴리스틱이 예측하는 확률과 비교한다. 가장 희귀한 경우인 F₂/D₄(F₂) (즉, Zassenhaus 타입 (a,b) with a,b≥5)는 46개의 체에서만 관측되었으며, 이는 이론적으로 무한한 G_K 를 의미한다는 Ko‑ch–Venkov 결과와 일치한다.

결과적으로, 본 논문은 p=3인 경우에도 (3,3) 타입이 거의 항상 유한 p‑tower 를 초래한다는 강력한 증거를 제공하고, 강력성 판정 기법과 전산적 구현이 향후 다른 슈어 σ‑군 연구에 널리 활용될 수 있음을 보여준다.