On the semi-simplicity of the U_p-operator on modular forms

DOI10.1007/S002080050140zbMATH Open0902.11020arXivalg-geom/9611013OpenAlexW2593432474WikidataQ105622550 ScholiaQ105622550MaRDI QIDQ1377076FDOQ1377076

Authors: Robert F. Coleman, Bas Edixhoven 

Publication date: 1 February 1998

Published in: Mathematische Annalen (Search for Journal in Brave)

Abstract: Let $p$ be a prime number and $N$ an integer prime to $p$. We show that the operator $U_p$ on the space of cuspidal modular forms of level $pN$ and weight two is semi-simple. It follows from this that the Hecke algebra acting on the space of weight two forms of level $M$ is reduced if $M$ is cube free. Assuming Tate's conjecture for cycles on smooth projective varieties over finite fields, we generalize these results to higher weights. The main point in the proof is that the crystalline Frobenius of the reduction mod $p$ of the motive associated to a newform of level prime to $p$ and weight at least two cannot be a scalar. Assuming Tate's conjecture, it follows that Ramanujan's inequality is strict. For $N$ prime, we relate the discriminant of the weight two Hecke algebra to the height of the modular curve $X_0(N)$, for which we get an upper bound.

Full work available at URL: https://arxiv.org/abs/alg-geom/9611013

Recommendations

• On the \(U_p\) operator in characteristic \(p\)
• On the Hecke operator \(U(p)\) (with an appendix by Ralf Schmidt)
• Diagonalizing “Bad” Hecke Operators on Spaces of Cusp Forms
• A remark on dimensions of spaces of modular forms
• On the action of Hecke operators on Drinfeld modular forms

zbMATH Keywords

cusp formsHecke operatorcrystalline Frobenius elementssemi-simplicity of the \(U_p\)-operator on modular forms

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) Local ground fields in algebraic geometry (14G20) Arithmetic varieties and schemes; Arakelov theory; heights (14G40)

Cited In (40)

• Congruence formula for certain dihedral twists
• The image and kernel of Atkin's \(U_p\) operator modulo \(p\)
• Diagonalizing “Bad” Hecke Operators on Spaces of Cusp Forms
• On extra zeros of 𝑝-adic Rankin–Selberg 𝐿-functions
• On the equality case of the Ramanujan Conjecture for Hilbert modular forms
• Hecke eigenforms as products of eigenforms
• Endoscopy on \(\mathrm{SL}_2\)-eigenvarieties
• Zero-cycles on Hilbert-Blumenthal surfaces
• The effective Shafarevich conjecture for abelian varieties of -type
• A \(p\)-adic Jacquet-Langlands correspondence
• On \(p\)-adic \(L\)-functions for Hilbert modular forms
• On the Hecke operator \(U(p)\) (with an appendix by Ralf Schmidt)
• The Eisenstein ideal with squarefree level
• A geometric view on Iwasawa theory
• On the space of theta functions whose levels are square-free
• Non-minimal modularity lifting in weight one
• On the \(U_p\) operator in characteristic \(p\)
• Modularity of Galois representations and Langlands functoriality
• \(p\)-adic Banach spaces and families of modular forms
• Triple product \(p\)-adic \(L\)-functions for balanced weights
• Euler systems for Rankin-Selberg convolutions of modular forms
• Pseudorepresentations of weight one are unramified
• Raising the level at your favorite prime
• On the Siegel-Eisenstein measure and its applications
• CODIMENSION TWO CYCLES IN IWASAWA THEORY AND ELLIPTIC CURVES WITH SUPERSINGULAR REDUCTION
• The Jacquet–Langlands correspondence for overconvergent Hilbert modular forms
• Title not available (Why is that?)
• On the action of the \(U_p\) operator on the local (at \(p\)) representation attached to congruence level Siegel modular forms
• Local constancy for reductions of two-dimensional crystalline representations
• On the Structure and Slopes of Drinfeld Cusp Forms
• On Gouvêa's conjecture on controlling the conductor
• The limit theorem with respect to the matrices on non-backtracking paths of a graph
• Image of \(\varLambda \)-adic Galois representations modulo \(p\)
• Two variable \(p\)-adic \(L\) functions attached to eigenfamilies of positive slope
• \(p\)-adic \(L\)-functions and rational points on CM elliptic curves at inert primes
• Upper bounds for constant slope \(p\)-adic families of modular forms
• A geometric perspective on \(p\)-adic properties of mock modular forms
• On the BDP Iwasawa main conjecture for modular forms
• Slopes of Modular Forms
• \(\boldsymbol{U_p}\)-operators and congruences for Shimura images

This page was built for publication: On the semi-simplicity of the \(U_p\)-operator on modular forms

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