Explicit small image theorems for residual modular representations

DOI10.1142/S1793042122500609MaRDI QIDQ5864325zbMATH OpenOpenAlexWikidataFDO

Authors Baptiste Peaucelle

Publication date 7 June 2022

Published in International Journal of Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

congruences for modular formsGalois representationsSturm bounds

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) Galois representations (11F80)

Abstract: Let $ho$ f,$lambda$ be the residual Galois representation attached to a newform f and a prime ideal $lambda$ in the integer ring of its coefficient field. In this paper, we prove explicit bounds for the residue characteristic of the prime ideals $lambda$ such that $ho$ f,$lambda$ is exceptional, that is reducible, of projective dihedral image, or of projective image isomorphic to A4, S4 or A5. We also develop explicit criteria to check the reducibility of $ho$ f,$lambda$ , leading to an algorithm that compute the exact set of such $lambda$. We have implemented this algorithm in PARI/GP. Along the way, we construct lifts of Katz' $heta$ operator in character zero, and we prove a new Sturm bound theorem.

Recommendations

• Explicit large image theorems for modular forms
• Explicit determination of images of Galois representations attached to Hilbert modular forms
• Ordinary representations and modular forms
• On modular mod \(\ell\) Galois representations with exceptional images
• Residually reducible representations and modular forms

Cites work

• Approximate formulas for some functions of prime numbers
• Arithmetic Properties of Generalized Bernoulli Numbers.
• Dimensions of the spaces of cusp forms and newforms on \(\Gamma_0(N)\) and \(\Gamma_1(N)\)
• Endliche Gruppen I
• Erratum: ``On the computation of local components of a newform
• Explicit large image theorems for modular forms
• Formes modulaires de poids 1
• scientific article; zbMATH DE number 3425708 (Why is no real title available?)
• scientific article; zbMATH DE number 3565087 (Why is no real title available?)
• scientific article; zbMATH DE number 3608125 (Why is no real title available?)
• scientific article; zbMATH DE number 1210358 (Why is no real title available?)
• scientific article; zbMATH DE number 1313469 (Why is no real title available?)
• scientific article; zbMATH DE number 596382 (Why is no real title available?)
• scientific article; zbMATH DE number 3434025 (Why is no real title available?)
• scientific article; zbMATH DE number 3995784 (Why is no real title available?)
• scientific article; zbMATH DE number 825072 (Why is no real title available?)
• scientific article; zbMATH DE number 834677 (Why is no real title available?)
• scientific article; zbMATH DE number 3420855 (Why is no real title available?)
• La conjecture de Weil. I
• Majorations Effectives Pour L’ Équation de Fermat Généralisée
• Modular Forms
• Number Theory
• on l-adic representations attached to modular forms II
• On -adic representations attached to modular forms
• On the computation of local components of a newform
• On the conductors of mod \(\ell\) Galois representations coming from modular forms
• Strong modularity of reducible Galois representations
• Sums involving the values at negative integers of \(L\)-functions of quadratic characters
• Sur les représentations l-adiques associées aux formes modulaires de Hilbert
• Sur les représentations galoisiennes modulo attachées aux formes modulaires. (On Galois representations modulo attached to modular forms)
• The 1-2-3 of modular forms. Lectures at a summer school in Nordfjordeid, Norway, June 2004
• The weight in Serre's conjectures on modular forms
• Twists of newforms and pseudo-eigenvalues of \(W\)-operators

Cited in

(3)

• Explicit large image theorems for modular forms
• THE REPRESENTATION OF RESIDUE CLASSES BY PRODUCTS OF SMALL INTEGERS
• On the effective version of Serre's open image theorem

Describes a project that uses

Uses Software

• PARI/GP

This page was built for publication: Explicit small image theorems for residual modular representations

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