On Siegel eigenvarieties at Saito–Kurokawa points
Annales de l'Institut Fourier, Volume 72 (2022) no. 3, pp. 901-961.

We study the geometry of the p-adic Siegel eigenvariety of paramodular tame level at certain Saito–Kurokawa points having a critical slope. For k2 let f be a cuspidal new eigenform of S 2k-2 (Γ 0 (N)) ordinary at a prime pN with sign ϵ f =-1 and write α for the p-adic unit root of the Hecke polynomial of f at p. Let π α be the semi-ordinary p-stabilization of the Saito–Kurokawa lift of the cusp form f to GSp(4) of weight (k,k) and paramodular tame level. Under the assumption that the dimension of the Selmer group H f,unr 1 (,ρ f (k-1)) attached to f is at most one and some mild assumptions on the automorphic representation attached to f, we show that is smooth at the point corresponding to π α , and that the irreducible component of specializing to π α is not globally endoscopic. Finally we give an application to the Bloch–Kato conjecture, by proving under some mild assumptions that the smoothness failure of Δ at π α yields that dimH f,unr 1 (,ρ f (k-1))2.

On étudie la géométrie de la variété de Hecke-Siegel Δ de niveau paramodulaire Δ associée à un entier N en certains points de Saito-Kurokawa dont la pente est critique. Pour k2, soit f une forme cuspidale de S 2k-2 (Γ 0 (N)), ordinaire en un nombre premier pN, de signe ϵ f =-1, et notons α l’unité p-adique racine du polynôme de Hecke de f en p. Soit π α la p-stabilisation semi-ordinaire du relèvement de Saito–Kurokawa de f à GSp 4 de poids (k,k) et de niveau modéré Δ. Sous l’hypothèse que la dimension du groupe de Selmer H f,unr 1 (,ρ f (k-1)) associé à f est au plus égale à 1 et certaines hypothèses supplémentaires sur la représentation p-adique ρ f associée à f, on démontre que l’espace analytique rigide Δ est lisse au point correspondant à π α . Cela signifie qu’il existe une unique composante irréductible de Δ passant par π α et on démontre que cette composante n’est pas globalement endoscopique. Pour finir, on donne une application à la conjecture de Bloch-Kato, en prouvant, sous certaines hypothèses raisonnables, qu’une singularité de Δ en π α entraîne que dimH f,unr 1 (,ρ f (k-1))2.

Received:
Revised:
Accepted:
Published online:
DOI: 10.5802/aif.3482
Classification: 11F33, 11F46, 11F80, 14G22
Keywords: Eigenvarieties for $\mathrm{GSp}_4$, Saito–Kurokawa lift, Selmer groups and pseudo-deformation theory
Mot clés : Variétés de Hecke pour $\mathrm{GSp}_4$, formes de Saito–Kurokawa, groupes de Selmer et Théorie des déformations
Berger, Tobias 1; Betina, Adel 2

1 School of Mathematics and Statistics University of Sheffield Hicks Building, Hounsfield Road Sheffield S3 7RH (UK)
2 Faculty of Mathematics University of Vienna Oskar-Morgenstern-Platz 1 A-1090 Wien (Austria)
@article{AIF_2022__72_3_901_0,
     author = {Berger, Tobias and Betina, Adel},
     title = {On {Siegel} eigenvarieties at {Saito{\textendash}Kurokawa} points},
     journal = {Annales de l'Institut Fourier},
     pages = {901--961},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {72},
     number = {3},
     year = {2022},
     doi = {10.5802/aif.3482},
     language = {en},
     url = {http://archive.numdam.org/articles/10.5802/aif.3482/}
}
TY  - JOUR
AU  - Berger, Tobias
AU  - Betina, Adel
TI  - On Siegel eigenvarieties at Saito–Kurokawa points
JO  - Annales de l'Institut Fourier
PY  - 2022
SP  - 901
EP  - 961
VL  - 72
IS  - 3
PB  - Association des Annales de l’institut Fourier
UR  - http://archive.numdam.org/articles/10.5802/aif.3482/
DO  - 10.5802/aif.3482
LA  - en
ID  - AIF_2022__72_3_901_0
ER  - 
%0 Journal Article
%A Berger, Tobias
%A Betina, Adel
%T On Siegel eigenvarieties at Saito–Kurokawa points
%J Annales de l'Institut Fourier
%D 2022
%P 901-961
%V 72
%N 3
%I Association des Annales de l’institut Fourier
%U http://archive.numdam.org/articles/10.5802/aif.3482/
%R 10.5802/aif.3482
%G en
%F AIF_2022__72_3_901_0
Berger, Tobias; Betina, Adel. On Siegel eigenvarieties at Saito–Kurokawa points. Annales de l'Institut Fourier, Volume 72 (2022) no. 3, pp. 901-961. doi : 10.5802/aif.3482. http://archive.numdam.org/articles/10.5802/aif.3482/

[1] Andreatta, Fabrizio; Iovita, Adrian; Pilloni, Vincent p-adic families of Siegel modular cuspforms, Ann. Math., Volume 181 (2015) no. 2, pp. 623-697 | DOI | MR | Zbl

[2] Arthur, James Automorphic representations of GSp (4), Contributions to automorphic forms, geometry, and number theory, Johns Hopkins University Press, 2004, pp. 65-81 | MR | Zbl

[3] Bellaïche, Joël Nonsmooth classical points on eigenvarieties, Duke Math. J., Volume 145 (2008) no. 1, pp. 71-90 | DOI | MR | Zbl

[4] Bellaïche, Joël Eigenvarieties and p-adic L-functions (2010) (book in preparation, http://people.brandeis.edu/~jbellaic/preprint/coursebook.pdf)

[5] Bellaïche, Joël Critical p-adic L-functions, Invent. Math., Volume 189 (2012) no. 1, pp. 1-60 | DOI | MR | Zbl

[6] Bellaïche, Joël; Chenevier, Gaëtan Lissité de la courbe de Hecke de GL 2 aux points Eisenstein critiques, J. Inst. Math. Jussieu, Volume 5 (2006) no. 2, pp. 333-349 | DOI | MR | Zbl

[7] Bellaïche, Joël; Chenevier, Gaëtan Families of Galois representations and Selmer groups, Astérisque, 324, Société Mathématique de France, 2009, xii+314 pages | MR

[8] Bellaïche, Joël; Dimitrov, Mladen On the eigencurve at classical weight 1 points, Duke Math. J., Volume 165 (2016) no. 2, pp. 245-266 | DOI | MR | Zbl

[9] Berger, Tobias; Klosin, Kris Deformations of Saito–Kurokawa type and the paramodular conjecture, Am. J. Math., Volume 142 (2020) no. 6, pp. 1821-1876 | DOI | MR | Zbl

[10] Berkovich, Vladimir G. Étale cohomology for non-Archimedean analytic spaces, Publ. Math., Inst. Hautes Étud. Sci. (1993) no. 78, pp. 5-161 | DOI | Numdam | MR | Zbl

[11] Betina, Adel; Dimitrov, Mladen Geometry of the eigencurve at CM points and trivial zeros of Katz p-adic L-functions https://arxiv.org/abs/1907.09422, to appear in Adv. Math. 384 (2021)

[12] Betina, Adel; Dimitrov, Mladen; Pozzi, Alice On the failure of Gorensteinness at weight 1 Eisenstein points of the eigencurve (https://arxiv.org/abs/1804.00648, to appear in Am. J. Math)

[13] Chenevier, Gaëtan Familles p-adiques de formes automorphes pour GL n , J. Reine Angew. Math., Volume 570 (2004), pp. 143-217 | DOI | MR | Zbl

[14] Coleman, Robert F.; Gouvêa, Fernando Q.; Jochnowitz, Naomi E 2 , Θ, and overconvergence, Int. Math. Res. Not. (1995) no. 1, pp. 23-41 | DOI | MR | Zbl

[15] Coleman, Robert F.; Mazur, Barry The eigencurve, Galois representations in arithmetic algebraic geometry (Durham, 1996) (London Mathematical Society Lecture Note Series), Volume 254, Cambridge University Press, 1998, pp. 1-113 | DOI | MR | Zbl

[16] Conrad, Brian Irreducible components of rigid spaces, Ann. Inst. Fourier, Volume 49 (1999) no. 2, pp. 473-541 | DOI | Numdam | MR | Zbl

[17] Faltings, Gerd; Chai, Ching-Li Degeneration of abelian varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., 22, Springer, 1990, xii+316 pages (With an appendix by David Mumford) | DOI | MR

[18] Périodes p-adiques, Astérisque, 223 (1994), pp. 1-397 (Papers from the seminar held in Bures-sur-Yvette, 1988) | MR

[19] Gee, Toby; Taïbi, Olivier Arthur’s multiplicity formula for GSp 4 and restriction to Sp 4 , J. Éc. Polytech., Math., Volume 6 (2019), pp. 469-535 | Numdam | MR | Zbl

[20] Hernandez, Valentin Families of Picard modular forms and an application to the Bloch–Kato conjecture, Compos. Math., Volume 155 (2019) no. 7, pp. 1327-1401 | DOI | MR | Zbl

[21] Hida, Haruzo Galois representations into GL 2 (Z p [[X]]) attached to ordinary cusp forms, Invent. Math., Volume 85 (1986) no. 3, pp. 545-613 | DOI | MR | Zbl

[22] Hida, Haruzo Control theorems of coherent sheaves on Shimura varieties of PEL type, J. Inst. Math. Jussieu, Volume 1 (2002) no. 1, pp. 1-76 | DOI | MR | Zbl

[23] Kato, Kazuya p-adic Hodge theory and values of zeta functions of modular forms, Cohomologies p-adiques et applications arithmétiques. III (Astérisque), Volume 295, Société Mathématique de France, 2004, pp. ix, 117-290 | Numdam | MR | Zbl

[24] Kisin, Mark Overconvergent modular forms and the Fontaine-Mazur conjecture, Invent. Math., Volume 153 (2003) no. 2, pp. 373-454 | DOI | MR | Zbl

[25] Kisin, Mark Geometric deformations of modular Galois representations, Invent. Math., Volume 157 (2004) no. 2, pp. 275-328 | DOI | MR | Zbl

[26] Laumon, Gérard Fonctions zêtas des variétés de Siegel de dimension trois, Formes automorphes. II. Le cas du groupe GSp(4) (Astérisque), Volume 302, Société Mathématique de France, 2005, pp. 1-66 | Numdam | MR | Zbl

[27] Lütkebohmert, Werner Der Satz von Remmert-Stein in der nichtarchimedischen Funktionentheorie, Math. Z., Volume 139 (1974), pp. 69-84 | DOI | MR | Zbl

[28] Majumdar, Dipramit Geometry of the eigencurve at critical Eisenstein series of weight 2, J. Théor. Nombres Bordeaux, Volume 27 (2015) no. 1, pp. 183-197 | DOI | Numdam | MR | Zbl

[29] Mazur, Barry An introduction to the deformation theory of Galois representations, Modular forms and Fermat’s last theorem (Boston, MA, 1995), Springer, 1997, pp. 243-311 | DOI | MR | Zbl

[30] Miyake, Toshitsune Modular forms, Springer, 1989, x+335 pages (Translated from the Japanese by Yoshitaka Maeda) | DOI | MR

[31] Miyauchi, Michitaka; Yamauchi, Takuya An explicit computation of p-stabilized vectors, J. Théor. Nombres Bordeaux, Volume 26 (2014) no. 2, pp. 531-558 | DOI | Numdam | MR | Zbl

[32] Mok, Chung Pang Galois representations attached to automorphic forms on GL 2 over CM fields, Compos. Math., Volume 150 (2014) no. 4, pp. 523-567 | DOI | MR | Zbl

[33] Nekovář, Jan On p-adic height pairings, Séminaire de Théorie des Nombres, Paris, 1990–91 (Progress in Mathematics), Volume 108, Birkhäuser, 1993, pp. 127-202 | DOI | MR | Zbl

[34] Nekovář, Jan Selmer complexes, Astérisque, 310, Société Mathématique de France, 2006, viii+559 pages | Numdam | MR

[35] Ochiai, Tadashi Control theorem for Greenberg’s Selmer groups of Galois deformations, J. Number Theory, Volume 88 (2001) no. 1, pp. 59-85 | DOI | MR | Zbl

[36] Pilloni, Vincent Prolongement analytique sur les variétés de Siegel, Duke Math. J., Volume 157 (2011) no. 1, pp. 167-222 | DOI | MR | Zbl

[37] Saha, Abhishek; Schmidt, Ralf Yoshida lifts and simultaneous non-vanishing of dihedral twists of modular L-functions, J. Lond. Math. Soc., Volume 88 (2013) no. 1, pp. 251-270 | DOI | MR | Zbl

[38] Schmidt, Ralf On classical Saito-Kurokawa liftings, J. Reine Angew. Math., Volume 604 (2007), pp. 211-236 | DOI | MR | Zbl

[39] Schmidt, Ralf Packet structure and paramodular forms, Trans. Am. Math. Soc., Volume 370 (2018) no. 5, pp. 3085-3112 | DOI | MR | Zbl

[40] Schmidt, Ralf Paramodular forms in CAP representations of GSp(4), Acta Arith., Volume 194 (2020) no. 4, pp. 319-340 | DOI | MR | Zbl

[41] Skinner, Christopher; Urban, Eric Sur les déformations p-adiques de certaines représentations automorphes, J. Inst. Math. Jussieu, Volume 5 (2006) no. 4, pp. 629-698 | DOI | MR | Zbl

[42] Skinner, Christopher; Urban, Eric The Iwasawa main conjectures for GL 2 , Invent. Math., Volume 195 (2014) no. 1, pp. 1-277 | DOI | MR | Zbl

[43] Sorensen, Claus M. Galois representations attached to Hilbert-Siegel modular forms, Doc. Math., Volume 15 (2010), pp. 623-670 | MR | Zbl

[44] Taylor, Richard On the l-adic cohomology of Siegel threefolds, Invent. Math., Volume 114 (1993) no. 2, pp. 289-310 | DOI | MR | Zbl

[45] Tilouine, Jacques; Urban, Eric Several-variable p-adic families of Siegel-Hilbert cusp eigensystems and their Galois representations, Ann. Sci. Éc. Norm. Supér., Volume 32 (1999) no. 4, pp. 499-574 | DOI | Numdam | MR | Zbl

[46] Urban, Eric Selmer groups and the Eisenstein-Klingen ideal, Duke Math. J., Volume 106 (2001) no. 3, pp. 485-525 | DOI | MR | Zbl

[47] Urban, Eric Sur les représentations p-adiques associées aux représentations cuspidales de GSp 4/ , Formes automorphes. II. Le cas du groupe GSp(4) (Astérisque), Volume 302, Société Mathématique de France, 2005, pp. 151-176 | MR | Zbl

[48] Weissauer, Rainer Four dimensional Galois representations, Formes automorphes. II. Le cas du groupe GSp(4) (Astérisque), Volume 302, Société Mathématique de France, 2005, pp. 67-150 | Numdam | MR | Zbl

[49] Weston, Tom Geometric Euler systems for locally isotropic motives, Compos. Math., Volume 140 (2004) no. 2, pp. 317-332 | DOI | MR | Zbl

Cited by Sources: