간 그로스 프라다 사이클과 padic L함수 도함수

초록

이 논문은 CM 체 위의 단위군에 대한 Gan‑Gross‑Prasad(간‑그로스‑프라다) 예측의 p‑adic 버전을 구축한다. 최소 정칙 가중치를 가진 conjugate‑selfdual 자동형 표현 Π에 대해 L값의 유리성, cyclotomic p‑adic L함수의 존재와 보간, 그리고 단위형 Shimura 다양체 위의 대각 사이클에 대한 p‑adic 높이와 L함수 도함수 사이의 정확한 관계식을 증명한다. 이를 통해 해당 모티프에 대한 p‑adic Beilinson‑Bloch‑Kato 추측을 부분적으로 확인한다.

상세 분석

본 연구는 먼저 G′=(Res_{F/F₀}GL_n×Res_{F/F₀}GL_{n+1})/(GL₁×GL₁) 위의 자동형 표현 Π가 “trivial‑weight”(즉, 최소 정칙 가중치를 갖는)이며 hermitian(자기대칭) 조건을 만족할 때, 중앙값 s=½에서의 Rankin‑Selberg L값의 비틀린 형태 L(M_Π,χ) 가 알제브라적 정수값을 갖는다는 강력한 유리성 정리를 증명한다(정리 A). 이때 χ는 CM 체의 Hecke 문자이며, L값에 곱해지는 ε‑인자는 (n+1)/2 제곱이다. 이러한 유리성은 기존의 Shimura, Grobner‑Lin, Li‑Liu‑Sun 결과를 일반화한 것으로, 복소수 계수 대신 p‑adic 계수를 다루는 기반을 마련한다.

다음 단계에서는 Π가 p‑ordinary(모든 p‑분할 자리에서 U‑연산이 단위인 고유벡터를 갖는)일 때, cyclotomic 변수 χ를 따라 변하는 p‑adic L함수 L_p(M_Π) 를 구축한다(정리 B). 여기서는 p‑adic 상대 트레이스 포뮬라를 이용해 전역적인 자동형 분포와 지역적인 p‑adic 궤도 적분을 연결한다. 특히, 비분기(p‑adic) 측정인 e_p(M_Π⊗χ) 를 명시적으로 계산하여 보간 공식에 삽입함으로써, 복소수 L값과 p‑adic L함수 사이의 정밀한 일치를 보인다. 비분기 조건을 완화하는 추측도 제시한다.

핵심적인 산술적 응용은 GGP 사이클, 즉 단위형 Shimura 다양체 위의 대각적 알제브라 사이클을 이용해 p‑adic 높이 쌍을 정의하고, 이를 L_p(M_Π)의 1차 도함수와 동일시하는 산술 상대 트레이스 포뮬라를 증명한다(정리 D). 이 과정에서 p‑adic Abel‑Jacobi 지도, biextension 구조, 그리고 Selmer 클래스의 p‑adic 높이 이론을 정교하게 결합한다. 결과적으로, L_p(M_Π)의 차수 1 영점이 존재하면 ρ_Π에 대응하는 Bloch‑Kato Selmer 군의 차원이 최소 1임을 보이며, 추가적인 비분기 가정 하에 정확히 1임을 얻는다(정리 C). 이는 고차원 Galois 표현에 대한 최초의 p‑adic Beilinson‑Bloch‑Kato 비소거 결과이며, 기존의 2차원 경우(Heegner 점)와는 근본적으로 다른 방법론을 제공한다.

전체 증명은 크게 네 부분으로 구성된다. (1) 기본 설정과 Hecke 문자, 측정, Hasse‑Weil L함수의 정의; (2) Jacquet‑Rallis식 상대 트레이스 포뮬라와 그 p‑adic 변형을 통한 L함수 보간; (3) 단위형 Shimura 다양체와 RSZ 모델을 이용한 GGP 사이클의 정밀한 기하학적 구성; (4) 두 트레이스 포뮬라를 비교하여 p‑adic 높이와 L함수 도함수 사이의 등식 도출. 각 단계에서 p‑adic 선형 대수, Gaussian 테스트 함수, 그리고 히케 측정의 정밀한 분석이 핵심 도구로 활용된다. 이러한 구조는 향후 더 일반적인 비분기 상황이나 다변량 p‑adic 가족으로의 확장 가능성을 시사한다.