세프틱 수체에서 큰 폴리아 군과 판별식의 새로운 전개

초록

해시모토–호시가 만든 순환 7차 수체 {K_t}에 대해 판별식을 명시적으로 구하고, 다항식 E(t)=t⁶+2t⁵+11t⁴+t³+16t²+4t+8이 5제곱 자유일 때 폴리아 군의 구조를 ω(E(t))에 의해 완전히 기술한다. ω(E(t))가 충분히 크면 폴리아 군이 (ℤ/7ℤ)^{ω(E(t))−c}와 동형이며, 이를 이용해 무한히 많은 비폴리아 체와, Bunyakovsky 추측을 가정하면 무한히 많은 폴리아 체를 구성한다. 또한 임의의 m에 대해 연속된 m개의 체에서 폴리아 군의 7‑랭크를 임의로 크게 만들 수 있음을 보이고, 이들 중 무한히 많은 체가 지수 1의 비단조성(non‑monogenic)임을 증명한다.

상세 분석

본 논문은 해시모토–호시가 제시한 일련의 순환 7차 다항식 f_t(X)으로부터 얻어지는 수체 K_t=ℚ(θ_t)를 깊이 파고든다. 먼저 Spiearman–Williams의 정리를 활용해 f_t의 계수들에서 7을 제외한 소수들의 거듭 제곱 배수를 정밀히 추적함으로써, K_t의 전도(conductor)와 판별식 d(K_t)=f(K_t)^6을 명시적으로 계산한다. 여기서 핵심은 전도에 나타나는 소수들이 모두 다항식 E(t)=t⁶+2t⁵+11t⁴+t³+16t²+4t+8의 소인수와 일대일 대응한다는 사실이다. 특히, q≡1(mod 7)이고 q|E(t)이면 q가 전도에 나타나며, 그 지수는 v_q(E(t)) mod 7에 따라 결정된다. 이를 통해 α∈{0,2}라는 지수를 도출하고, 최종적으로

 Po(K_t)≅(ℤ/7ℤ)^{ω(E(t))−2} (t 짝수),  Po(K_t)≅(ℤ/7ℤ)^{ω(E(t))−1} (t 홀수)

라는 정확한 구조식을 얻는다. 여기서 ω(z)는 서로 다른 소인수의 개수이다. 따라서 ω(E(t))가 2(짝수) 혹은 1(홀수)일 때만 폴리아 군이 자명해져 K_t가 폴리아 체가 된다.

다음 단계에서는 E(t)가 5제곱 자유인 경우가 무한히 많음을 보이기 위해 Erdős와 Halberstam의 결과를 적용한다. 특히, E(t)와 같은 6차 다항식이 (deg−1)제곱 자유값을 갖는 정수 t가 무한히 존재한다는 정리를 이용해, ω(E(t))를 임의로 크게 만들 수 있음을 증명한다. 이를 통해 폴리아 군의 7‑랭크가 무한히 커지는 비폴리아 체들의 존재를 확보한다. 또한 Bunyakovsky 추측을 가정하면 E(t)가 무한히 많은 소수값을 가짐을 전제해, ω(E(t))=1(또는 2)인 경우가 무한히 존재하므로, 무한히 많은 폴리아 체도 동시에 얻는다.

연속된 m개의 체에 대한 결과는, t를 적절히 선택해 E(t),E(t+1),…,E(t+m−1) 각각이 서로 다른 충분히 많은 소인수를 갖도록 하는 데서 출발한다. Halberstam–Richert의 평균적 소인수 분포 정리를 이용해, 주어진 m과 r>1에 대해 ω(E(t+i))≥r+1인 t가 무한히 존재함을 보이고, 따라서 각 K_{t+i}의 폴리아 군이 (ℤ/7ℤ)^r을 포함한다는 결론을 얻는다.

마지막으로, Gras의 단조성 판정과 7차 순환 체에 대한 특수한 조건을 결합해, K_t가 지수 1의 비단조성(non‑monogenic)임을 보인다. 이는 2·7+1=15가 소수가 아니므로, Gras의 필요조건을 만족하지 못하는 경우가 무한히 존재한다는 사실과 일치한다. 전체적으로 논문은 다항식의 소인수 구조와 클래스 군, 폴리아 군 사이의 미묘한 관계를 정량적으로 밝히며, 고차 순환 체에서 큰 폴리아 군을 구성하는 새로운 방법론을 제시한다.