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

DOI10.1112/S0010437X19007048zbMATH Open1435.11084arXiv1612.00105WikidataQ128200927 ScholiaQ128200927MaRDI QIDQ5227664FDOQ5227664

Andrea Conti

Publication date: 7 August 2019

Published in: Compositio Mathematica (Search for Journal in Brave)

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.

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

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

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)

Cites Work

• A \(p\)-adic Jacquet-Langlands correspondence
• Characterization of characters and pseudo-characters
• On classical weight one forms in Hida families
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classical and overconvergent modular forms
• On the conductors of mod \(\ell\) Galois representations coming from modular forms
• Galois representations associated to Siegel modular forms of low weight
• Overconvergent modular forms and the Fontaine-Mazur conjecture
• Functorial products for \(\text{GL}_2\times \text{GL}_3\) and the symmetric cube for \(\text{GL}_2\).
• Crystalline Dieudonné module theory via formal and rigid geometry
• \(p\)-adic families of Siegel modular cuspforms
• on l-adic representations attached to modular forms II
• An infinite dimensional Hodge-Tate theory
• Classicity of overconvergent modular forms
• \(p\)-adic representations and differential equations
• Cohomology of arithmetic families of \((\varphi ,\Gamma)\)-modules
• On \(\ell\)-adic representations attached to modular forms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compact subgroups of linear algebraic groups
• Subnormal structure of symplectic groups over local rings
• Familles p-adiques de formes automorphes pour GLn
• On the image of \(\Lambda\)-adic Galois representations
• Big Image of Galois Representations Associated with Finite Slope p-adic Families of Modular Forms
• Continuous cohomology and \(p\)-adic Galois representations
• Siegel modular forms of genus 2 attached to elliptic curves
• Lie algebras of Galois groups arising from Hodge-Tate modules
• Universal eigenvarieties, trianguline Galois representations, and \(p\)-adic Langlands functoriality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two-dimensional trianguline representations
• Modularity, Siegel forms and abelian surfaces
• Title not available (Why is that?)
• 2-dimensional potentially trianguline representations
• Title not available (Why is that?)
• \(p\)-adic functoriality for inner forms of unitary groups in three variables
• Title not available (Why is that?)
• Trianguline representations
• On admissible tensor products inp-adic Hodge theory
• Big Galois representations and -adic -functions
• Twisting of Siegel modular forms with characters, and $L$-functions
• On the image of the Galois representation associated to a non-CM Hida family
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• 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)