극대 차원에서의 편극 자동형 가수표현의 불가분성

초록

7이 나누어지지 않고, 4가 나누어질 경우 n=4p(p는 소수)인 경우에 한해, 총실수 혹은 허수 CM체 위의 편극 정규대수적 cusp형 자동표현 π에 대응하는 가환계 (ρ_λ)ₗ는 Dirichlet 밀도 1인 유리소수 ℓ에 대해 모두 불가분임을 보인다.

상세 분석

이 논문은 기존의 “극히 정규 가중(weight) 가정” 없이도, n이 충분히 큰 경우(단 7이 나누어지지 않고, 4가 나누어질 때는 n=4p 형태) 자동형 Galois 표현의 불가분성을 거의 모든 소수에 대해 확보한다는 점에서 중요한 진전을 이룬다. 핵심 아이디어는 다음과 같다.

첫째, Xia의 감소 단계(섹션 3)를 이용해 원래의 차원 n을 나누는 m | n을 찾아, GL_m에 대한 또 다른 편극 정규대수적 cusp형 자동표현 π₁을 만든다. π₁과 원래의 π 사이에 불가분성은 동치이며, 이 과정에서 얻어지는 유한 확장 E/F⁺에 대해 Galois 이미지의 Zariski 폐쇄가 연결됨을 확보한다.

둘째, 연결성에 기반해 λ₀를 선택하고, ρ_{λ₀}|{G_E}를 텐서곱 ⊗{i=1}^k ρ’_i 로 분해한다. 여기서 각 ρ’i는 단순 리 대수 g_i=Lie(G{der}^∘(ρ’_i))에 대응하고, g_i는 모두 단순함을 보인다. Patrik Scholze(‘Pat19’)의 결과를 이용해 각 ρ’i를 기하학적(즉, 잠재적 자동형)으로 만들고, Kronecker 곱을 통해 ρ{λ₀}(G_E)⊂im(κ)임을 확인한다.

셋째, 복소공액(conjugation) 작용을 정밀히 추적하여 ρ_{λ₀}(G_F)도 동일한 이미지에 들어가게 함으로써 ρ_{λ₀}≅⊗_{i=1}^k ρ_i 라는 텐서곱 분해를 얻는다. 이때 복소공액에 대한 꼬리표(1.1)인 (ρ’_i)^σ≅(ρ’i)^∨⊗χ{σ,i} 를 증명하는 것이 핵심 기술이며, 이는 정규성 및 선택된 소수 집합 L’의 밀도 1 특성을 활용한다.

넷째, 각 ρ_i에 대해 잠재적 자동형 정리를 적용한다. 여기서는 BLGGT14의 잠재적 자동형 정리와, 정규 가중에 대한 “형식 문자(formal character)” 일치성을 이용한다. 형식 문자가 λ마다 동일함을 보이는 Serre‑Hui 기법을 통해, g_{λ₀}와 g_λ는 같은 차수와 같은 타입 A 요인을 갖는다는 사실을 얻는다. 특히, g_{λ₀}=sl_k(k≥9)인 경우, 형식 문자와 가중치의 다중도(freedom)를 이용해 ρ_λ가 반드시 강불가분(strongly irreducible)임을 추론한다.

마지막으로, 모든 가능한 단순 리 대수에 대해 경우별 검토를 수행한다(섹션 5). g_{λ₀}=g₂(7차)와 같이 7이 나누는 경우는 현재 기술로는 처리할 수 없으며, 4가 나누어지는 경우에는 텐서곱 요인들의 ‘홀수성’이 보장되지 않아 잠재적 자동형 정리를 적용하기 어렵다. 이러한 제한을 명시하면서도, n이 위의 두 조건을 만족하면 Dirichlet 밀도 1인 소수 집합 L에 대해 ρ_λ는 언제나 불가분임을 증명한다.