[논문 리뷰] On local characterizations of Hida families of Siegel modular forms

Shaunak V. Deo, Bharathwaj Palvannan|arXiv (Cornell University)|2026. 02. 24.

Advanced Algebra and Geometry인용 수 0

한 줄 요약

논문은 (i) p-adic 가족의 두 변수(Hida)에서 p에서의 de Rham weight (k,2) 특수화의 밀도와 (ii) p에서의 Λ-adic Galois 표현의 분해가능성에 비유적으로 GL2의 CM-특성화에 대해 genus-two Siegel 모듈형 형식의 p-adic 가족의 국소 특성화를 제공합니다. R = T 정리의 증명, p-adic Yoshida 승수의 존재성/고유성, 그리고 pseudonull 가설 하에서의 조건부 비밀도/비분해 가능성 결과를 제공합니다.

ABSTRACT

We provide new local characterizations of Hida families of Siegel modular forms with genus two arising from automorphic inductions (stable Yoshida lifts), analogous to the characterizations of Hida families of CM modular forms provided by Ghate--Vatsal. Our characterizations involve (i) density of de Rham at $p$ specializations at the singular weights $(k,2)$ and (ii) local decomposability at $p$ of the associated $Λ$-adic Galois representation. Our approach is similar to that of Castella--Wang-Erickson who provided an alternate strategy to reproving the main results of Ghate--Vatsal by applying Ribet's method when an anti-cyclotomic class group is assumed to be pseudo-null and cyclic as a $Λ$-module. Along these lines, one key input to our methods involves an assumption of pseudo-nullity of Selmer groups that are defined by imposing stricter conditions at $p$ than those imposed for the usual Greenberg Selmer groups appearing in the Asai main conjectures over real quadratic fields. Following Genestier--Tilouine and Pilloni, we also prove a minimal $R=\mathbb{T}$ theorem that is essential to establishing our results at various stages.

연구 동기 및 목표

• Ghate–Vatsal의 GL2 CM 가족에 대한 국소 특성화에 대한 GSp4의 유사한 해석으로 Yoshida 승수를 사용하여 모티브를 제시한다.
• 로컬 p-adic 표현 특성과 밀도 결과를 통해 자동적 유도에서 비롯된 Hida 계열을 특징화한다.
• ordianry GSp4 Hecke 대수의 지배를 위한 R= T 프레임워크를 개발하고 이를 GL2 변형 이론과 연계한다.
• 이 설정에서 Selmer 모듈의 pseudonull 가설이 Ribet-스타일의 Selmer 클래스 구성에 어떤 영향을 주는지 조사한다.

제안 방법

• Hilbert 및 Siegel 설정에서 실수 제곱 기반의 안정 Yoshida 승수를 이용한 두 변수 Hida 이론을 구성한다.
• Taylor–Wiles 방법을 GSp4/Hida 맥락에 맞게 수정하여 최소 normal한 GSp4 변형에 대해 R=T 정리를 증명한다.
• Siegel Hida 계열에 부착된 Λ-adic Galois 표현의 de Rham 성질 및 p- локAL 분해가능성을 분석한다.
• pseudo-null성 가설(IntPN, FinPN) 아래 Selmer 클래스 요소를 생성하기 위해 Ribet–Bellaïche–Chenevier 전략을 활용한다.
• 최소 GSp4 변형 링을 실수 제곱 필드 위의 거의 ordinary GL2 변형 링의 한 quotient와 연결한다(정리 1.4).
• 안정성 및 Yoshida-승수 구성으로 p-adic 계열을 생성하고 그 고유성을 연구한다(정리 1.2).

실험 결과

연구 질문

• RQ1 p에서의 de Rham-성질(가중치 (k,2) 특수화)과 p에서의 분해가능성에 의해 안정 Yoshida 승수에서 유래한 Siegel 모듈형 형식의 p-adic Hida 가족을 국소적으로 특징화할 수 있는가?
• RQ2 pseudo-null Selmer 가설 하에서 p에서의 de Rham (k,2) 특수화의 밀도가 존재하는가, 그리고 p에서의 국소 분해가능성이 Yoshida 승수인가와 동치인가?
• RQ3 이 GSp4 가족에 대한 R=T 정리가 존재하는가, 그리고 그 결과로 얻어지는 Hecke 대수가 Yoshida 승수에 대응하는 p-adic 가족들로 분해되는가?
• RQ4 이 설정에서 GSp4의 변형 링과 실수 제곱 필드 위의 거의 ordinary GL2 사이의 관계는 무엇인가?
• RQ5 Selmer 모듈에 대한 순환성 가설(Int-Cyc, Fin-Cyc)이 GV형 특징화를 얻기에 충분한가?

주요 결과

• Ordinary GSp4 환경에서 R=min ≅ T 정리가 성립하며, T는 두 변수 아이와 IA(Λ) 위에서 자유롭다.
• 기저 Siegel 형식 f0를 지나가는 안정 Yoshida 승수의 p-adic 계열이 존재하며, 이 계열은 k1 > k2 ≫ 0일 때 GSp4 Hida 계열들 중에서 고유하다.
• de Rham (k,2) 특수화와 decomposable-p 특수화가 Yoshida 구성요소로 매핑되는 두 자연스러운 단서가 GV-유사 특징화를 제공한다.
• Int-PN(Int-PN) 및 Fin-PN 가설과 더불어 순환성(Int-Cyc, Fin-Cyc) 가정 하에서 GV1 및 GV2 특징화가 성립한다.
• Yoshida-구성요소 사출이 동형이 아니면(즉 모든 GSp4 Hida 계열이 Yoshida 승수에서 비롯된 것은 아닐 때), 대응하는 pseudo-null성 가설 하에서 de Rham 혹은 분해가능성 기준 중 하나가 성립하지 않을 수 있다.
• 이 연구는 적절한 순환성 가정이 없으면 Ribet-스타일 방법과 pseudonullity만으로는 GSp4 맥락에서 GV-type 특징화를 완전히 얻기 어렵다는 점을 강조한다.