Galois level and congruence ideal for p-adic families of finite slope Siegel modular forms

DOI10.1112/S0010437X19007048MaRDI QIDQ5227664zbMATH OpenWikidataFDO

Authors Andrea Conti

Publication date 7 August 2019

Published in Compositio Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.00105

zbMATH Keywords

Galois representationsSiegel modular formseigenvarietiestrianguline representationscongruence idealbig image

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) Galois representations (11F80) Siegel modular groups; Siegel and Hilbert-Siegel modular and automorphic forms (11F46)

Abstract: We consider $p$-adic families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zero locus defined by the Galois level of the family admits an automorphic description: it is the locus of points that arise from overconvergent eigenforms for $mathrm{GL}_2$, via a $p$-adic Langlands lift attached to the symmetric cube representation. Our proof goes via the comparison of the Galois level with a "fortuitous" congruence ideal, that describes the zero- and one-dimensional subvarieties of symmetric cube type appearing in the family. We show that some of the $p$-adic lifts are interpolated by a morphism of rigid analytic spaces from an eigencurve for $mathrm{GL}_2$ to an eigenvariety for $mathrm{GSp}_4$. The remaining lifts appear as isolated points on the eigenvariety.

Recommendations

• Big image of Galois representations associated with finite slope \(p\)-adic families of modular forms
• \(p\)-adic families of Siegel modular cuspforms
• scientific article; zbMATH DE number 6689628
• \(p\)-adic families and Galois representations for \(\mathrm{GSp}(4)\) and \(\mathrm{GL}(2)\)
• Nearly ordinary rank four Galois representations and $p$-adic Siegel modular forms

Cites work

• scientific article; zbMATH DE number 6689628 (Why is no real title available?)
• scientific article; zbMATH DE number 4175077 (Why is no real title available?)
• scientific article; zbMATH DE number 3857279 (Why is no real title available?)
• scientific article; zbMATH DE number 3991597 (Why is no real title available?)
• scientific article; zbMATH DE number 3756578 (Why is no real title available?)
• scientific article; zbMATH DE number 125801 (Why is no real title available?)
• scientific article; zbMATH DE number 3595390 (Why is no real title available?)
• scientific article; zbMATH DE number 1302899 (Why is no real title available?)
• scientific article; zbMATH DE number 691444 (Why is no real title available?)
• scientific article; zbMATH DE number 5221676 (Why is no real title available?)
• scientific article; zbMATH DE number 5036534 (Why is no real title available?)
• scientific article; zbMATH DE number 5036535 (Why is no real title available?)
• 2-dimensional potentially trianguline representations
• A \(p\)-adic Jacquet-Langlands correspondence
• An infinite dimensional Hodge-Tate theory
• Big Galois representations and \(p\)-adic \(L\)-functions
• Big image of Galois representations associated with finite slope \(p\)-adic families of modular forms
• Characterization of characters and pseudo-characters
• Classical and overconvergent modular forms
• Classicity of overconvergent modular forms
• Cohomology of arithmetic families of \((\varphi ,\Gamma)\)-modules
• Compact subgroups of linear algebraic groups
• Continuous cohomology and \(p\)-adic Galois representations
• Crystalline Dieudonné module theory via formal and rigid geometry
• Families of Galois representations and Selmer groups
• Familles p-adiques de formes automorphes pour GLn
• Functorial products for \(\text{GL}_2\times \text{GL}_3\) and the symmetric cube for \(\text{GL}_2\).
• Galois representations associated to Siegel modular forms of low weight
• Lie algebras of Galois groups arising from Hodge-Tate modules
• Modularity, Siegel forms and abelian surfaces
• On -adic representations attached to modular forms
• On admissible tensor products in \(p\)-adic Hodge theory
• On classical weight one forms in Hida families
• On the conductors of mod \(\ell\) Galois representations coming from modular forms
• On the image of -adic Galois representations
• On the image of the Galois representation associated to a non-CM Hida family
• Overconvergent modular forms and the Fontaine-Mazur conjecture
• Siegel modular forms of genus 2 attached to elliptic curves
• Subnormal structure of symplectic groups over local rings
• Trianguline representations
• Twisting of Siegel modular forms with characters, and \(L\)-functions
• Two-dimensional trianguline representations
• Universal eigenvarieties, trianguline Galois representations, and \(p\)-adic Langlands functoriality
• \(p\)-adic families of Siegel modular cuspforms
• \(p\)-adic functoriality for inner forms of unitary groups in three variables
• \(p\)-adic representations and differential equations
• on l-adic representations attached to modular forms II

Cited in

(5)

• Big image of Galois representations associated with finite slope \(p\)-adic families of modular forms
• Galois characterization of endoscopy for rational Siegel modular forms
• On the Bloch-Kato conjecture for the symmetric cube
• On adjoint Bloch-Kato Selmer groups for \(\mathrm{GSp}_{2g}\)
• On the images of Galois representations attached to low weight Siegel modular forms

This page was built for publication: Galois level and congruence ideal for $p$-adic families of finite slope Siegel modular forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5227664)