Congruences between modular forms modulo prime powers

DOI10.4171/RMI/1037MaRDI QIDQ1725558zbMATH OpenOpenAlexFDO

Authors Maximiliano Camporino, Ariel Pacetti

Publication date 14 February 2019

Published in Revista Matemática Iberoamericana (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1312.4925, http://hdl.handle.net/11336/88143

zbMATH Keywords

Galois representationsmodular forms

Mathematics Subject Classification ID

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

Abstract: Given a prime $pge5$ and an abstract odd representation $h{o}_n$ with coefficients modulo $p^n$ (for some $nge1$) and big image, we prove the existence of a lift of $h{o}_n$ to characteristic $0$ whenever local lifts exist (under some technical conditions). Moreover, we can chose the inertial type of our lift at all primes but finitely many (where the lift is of Steinberg type). We apply this result to the realm of modular forms, proving a level lowering theorem modulo prime powers and providing examples of level raising. In particular, our method shows that given a modular eigenform $f$ without Complex Multiplication or inner twists, for all primes $p$ but finitely many, and for all positive integers $n$, there exists another eigenform $geqf$, which is congruent to $f$ modulo $p^n$.

Review text

Summary: Given a prime \(p \geq 5\) and an abstract odd representation \(\rho_n\) with coefficients modulo \(p^n\) (for some \(n \geq 1\)) and big image, we prove the existence of a lift of \(\rho_n\) to characteristic \(0\) whenever local lifts exist (under minor technical conditions). Moreover, our results allow to chose the lift's inertial type at all primes but finitely many (where the lift is of Steinberg type). We apply this result to the realm of modular forms, proving a level lowering theorem modulo prime powers and providing examples of level raising. An easy application of our main result proves that given a modular eigenform \(f\) whose Galois representation is not induced from a character (i.e., \(f\) has no inner twists), for all primes \(p\) but finitely many, and for all positive integers \(n\), there exists an eigenform \(g\neq f\), which is congruent to \(f\) modulo \(p^n\).

Recommendations

• On the level raising of cuspidal eigenforms modulo prime powers
• On modular Galois representations modulo prime powers
• scientific article; zbMATH DE number 124556
• Congruences between modular forms and lowering the level mod ^n
• Quantitative level lowering for Galois representations

Cites work

• Advanced Topics in Computional Number Theory
• Constructing Galois Representations with Very Large Image
• Constructing semisimple p -adic Galois representations with prescribed properties
• Deformations of certain reducible Galois representations, II
• Deforming Galois representations and the conjectures of Serre and Fontaine-Mazur.
• Hilbert modular forms modulo p and values of extensions between Galois characters
• scientific article; zbMATH DE number 433068 (Why is no real title available?)
• scientific article; zbMATH DE number 48446 (Why is no real title available?)
• scientific article; zbMATH DE number 1481366 (Why is no real title available?)
• Lifting Galois representations
• Modularity of \(p\)-adic Galois representations via \(p\)-adic approximations
• Nearly ordinary deformations of irreducible residual representations
• on l-adic representations attached to modular forms II
• Sur les représentations galoisiennes modulo attachées aux formes modulaires. (On Galois representations modulo attached to modular forms)
• The Tamagawa number conjecture of adjoint motives of modular forms

Cited in

(8)

• A generalization of Ramanujan's congruence to modular forms of prime level
• CONGRUENCES RELATED TO MODULAR FORMS
• scientific article; zbMATH DE number 5121635 (Why is no real title available?)
• On modular Galois representations modulo prime powers
• scientific article; zbMATH DE number 3297290 (Why is no real title available?)
• Dihedral group, 4-torsion on an elliptic curve, and a peculiar eigenform modulo 4
• On the level raising of cuspidal eigenforms modulo prime powers
• Congruences with intervals and subgroups modulo a prime

Describes a project that uses

Uses Software

• SageMath
• PARI/GP

This page was built for publication: Congruences between modular forms modulo prime powers

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