가중치 1 이국적 뉴폼의 헤케 필드와 갈루아 이미지 전면 분류

초록

본 논문은 가중치 1 이국적(즉 A₄, S₄, A₅ 형) 뉴폼에 대해, 네뷸러스(nebentypus) 차수 d 에 따라 헤케 필드 K_f 를 정확히 규정하고, 각 경우에 대응하는 갈루아 이미지 ρ_f(G_ℚ) 의 군 구조를 완전히 기술한다. 또한 ‘강하게 최소’인 뉴폼을 정의해 가능한 d 값을 제한하고, 특정 소수 집합이 K_f 를 생성하는 밀도도 구한다.

상세 분석

이 논문은 가중치 1 모듈러 형식의 프로젝트ive 갈루아 표현 ρ̄_f 가 유한군 A₄, S₄, A₅ 중 하나와 동형임을 출발점으로 삼는다. 먼저, ρ̄_f 가 차지하는 각 원소의 차수에 따라 소수 p 에 대한 Frobenius 행렬의 차수를 R_m 집합으로 구분하고, Lemma 3.2 를 이용해 a_p(f) 가 생성하는 필드가 ζ_{2d}, √5 등의 원시 2d‑제곱근과 결합된 형태임을 보인다.

A₄형에 대해서는 모든 p에 대해 차수가 1, 2, 3만 가능하므로 K_f ⊂ℚ(ζ_{2d})가 되며, Chebotarev와 밀도 계산을 통해 실제로 등호가 성립함을 증명한다(Thm 3.3). A₅형에서는 차수가 5인 경우가 추가되므로 K_f =ℚ(ζ_{2d},√5)라는 보다 복잡한 구조가 나타난다(Thm 3.5). S₄형은 ord₂(d) 에 따라 세 가지 경우로 나뉘며, ζ_d와 √{-2} 혹은 ζ_{4d}가 결합된 네 가지 후보가 제시된다(Thm 3.7). 여기서 ord₂(d)=1, 2인 경우 두 개의 가능성이 존재하는데, Theorem 3.9 에서 χ^{d/2}와 sgn ∘ ρ̄_f 의 일치 여부에 따라 정확한 필드를 구분한다.

다음으로, ‘강하게 최소’(strongly minimal) 뉴폼을 정의한다. 이는 트위스트 최소성뿐 아니라 모든 소수에 대해 최소한의 분기 차수를 갖는다는 추가 조건을 포함한다. Theorem 5.3 은 A₄형에서는 d=3·2^k (k≥1), A₅형에서는 d=2^k·3^{δ₃}·5^{δ₅} (δ₃,δ₅∈{0,1}), S₄형에서는 d=2^k 또는 d=3·2^k (k≥1)임을 보인다. Theorem 5.14, 5.21, 5.22 는 각 가능한 d에 대해 실제로 강하게 최소인 뉴폼이 존재함을 constructive하게 제시한다.

갈루아 이미지의 군 구조는 마지막 장에서 완전히 기술된다. A₄형에서는 ρ_f(G_ℚ)≅(SL₂(𝔽₃)×ℤ/2dℤ)/⟨(-I,d)⟩ 혹은 (SL₂(𝔽₃)×ℤ/3ℤ×ℤ/2dℤ)/⟨(-I,d)⟩ 로, 여기서 ℤ/3ℤ는 SL₂(𝔽₃)의 아벨화와 대응한다. A₅형은 (SL₂(𝔽₅)×ℤ/2dℤ)/⟨(-I,d)⟩ 로 단순히 묘사된다. S₄형은 이진 이십사면체군 BO₄₈과 ℤ/2dℤ의 직접곱을 (z,d)으로 나눠서 만든 군으로, χ^{d/2}=sgn ∘ ρ̄_f 인지 여부에 따라 BO₄₈×ℤ/2ℤ×ℤ/2dℤ 형태가 추가된다(Thm 6.9, Prop 6.14).

밀도 결과는 각 형에 대해 K_f를 단일 a_p(f) 로 생성할 수 있는 소수 집합 P_f의 디리클레 밀도를 구한다. A₄형에서는 χ의 핵과 A₄의 아벨화 핵 사이 포함 관계에 따라 3φ(d)/(4d) 혹은 φ(d)/d 가 된다. A₅형은 d에 5가 나누어지는지에 따라 2φ(d)/(5d) 또는 3φ(d)/(4d) 로, S₄형은 ord₂(d)와 χ와 sgn ∘ ρ̄_f 의 관계에 따라 복잡한 경우 구분이 이루어진다(Thm 4.1‑4.3).

전반적으로, 논문은 가중치 1 이국적 뉴폼의 헤케 필드와 갈루아 이미지 사이의 정밀한 사상 관계를 완전히 규정하고, 이를 통해 기존에 알려지지 않았던 무한히 많은 경우의 존재와 동시에 가능한 경우는 유한함을 동시에 보여준다.