유니터리 프리드버그 자케트 주기법 첫 명시적 상보법칙

초록

본 논문은 CM 확장 F/F⁺ 위의 유니터리 군 U₂ᵣ에 대해, 베일린슨‑블록‑카토 예측을 연구하고, 유니터리 프리드버그‑자케트 주기와 구별되는 자동형식 π에 대해, 그 베이스 체인지 Π의 블록‑카토 Selmer 군이 특정 ‘허용 가능한’ 프라임에 대해 사라짐을 증명한다. 이는 첫 번째 명시적 상보법칙을 구축하고, 이를 이용한 Euler 시스템 논법을 통해 주요 정리를 얻는다.

상세 분석

이 논문은 두 차원에서 중요한 기여를 한다. 첫째, 유니터리 군 U₂ᵣ(𝔸_{F⁺}) 위의 자동형식 π가 유니터리 프리드버그‑자케트 주기 P_H에 의해 구별될 때, 그 베이스 체인지 Π=BC(π) 에 대응하는 Galois 표현 ρ_{Π,λ} 의 Bloch–Kato Selmer 군 H¹_f(F,ρ_{Π,λ}(r)) 이 ‘허용 가능한’ 프라임 λ에 대해 전혀 존재하지 않음을 보인다. 여기서 ‘허용 가능한’ 프라임은 (L1)–(L6)이라는 일련의 기술적 가정(L1‑L2은 기본적인 배제, L3‑L6은 이미지와 차원 조건)을 만족하는 프라임을 의미한다. 이러한 가정은 대부분의 경우에 대해 유한 개의 예외만을 남기며, 특히 Π가 더 작은 군으로부터 전이되지 않은 경우에 자연히 충족된다.

두 번째 핵심은 ‘첫 번째 명시적 상보법칙(First explicit reciprocity law)’의 구축이다. 저자는 전통적인 레벨 상승(congruence) 방법을 확장하여, p‑adic 근방 Shimura variety Sh_{K^{\mathrm{near}}} 위에 정의된 특수 사이클 Z_H 을 ‘유도 적분 모델(derived integral model)’로 승격시킨다. 이 과정에서 두 가지 새로운 장애물을 극복한다. 첫째, r>1일 때 Z_H가 직접적으로 P_H와 대응되지 않으며, H‑invariant 함수가 기본 함수의 다중배가 되는지 여부가 H‑Hecke 대수의 자유 모듈 차원 2r‑1 에 의해 복잡해진다. 이를 해결하기 위해 저자는 Z_H의 Hecke 변환을 포함하는 더 풍부한 사이클 군을 도입하고, 이를 통해 C^∞_c(H(F⁺_p)\G(F⁺_p)/K_p) 내에서 기본 함수의 다중배를 생성한다. 둘째, Z_H의 모듈러 해석적 적분 모델이 균일 차원을 갖지 않아 직접적인 교차수 계산이 어려운 점이다. 이를 위해 ‘유도 적분 모델(LZ)’을 정의하고, K‑이론과 G‑이론을 이용해 교차수를 K‑이론적 차원에서 계산한다. 특히, 섹션 2에서 가중 스펙트럼 서열과 잠재 지도(potential map)를 확장하고, 섹션 3에서 Rapoport‑Zink 공간에서의 교차수를 K‑이론적으로 평가한다.

그 후, 섹션 5에서는 지역 조화 분석을 수행한다. 여기서는 구형 함수(spherical function)와 Satake 변환, 그리고 Sakellaridis의 역 Satake 변환을 활용해, 파라미터 공간 Param_p 과 C^∞_c(X(F⁺_p)) 사이의 동형 φ_p를 명시적으로 구성한다. 이 동형은 ‘상대 Cartan 분해’를 제공하며, Satake∘φ_p의 역은 역 Satake 변환과 동일한 형태를 갖는다. 이를 통해 φ_p가 기본 함수의 Hecke 다중배를 포함한다는 것을 보인다. 최종적으로 섹션 6에서 이러한 모든 구성 요소를 결합해 첫 번째 명시적 상보법칙을 증명하고, 섹션 7에서 Euler 시스템 논법을 적용해 메인 정리(Theorem 1.1.2)를 얻는다. 이 정리는 F⁺=ℚ인 경우에 한해, π가 프리드버그‑자케트 주기에 의해 구별될 때, 모든 허용 가능한 프라임 λ에 대해 Bloch–Kato Selmer 군이 영임을 보인다. 또한, 이 결과는 Iwasawa 메인 정리의 ‘두 번째 상보법칙’과 결합될 잠재력을 가지고 있다.