Pith. sign in

REVIEW 1 cited by

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

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv alg-geom/9611013 v1 pith:D6A7IDVX submitted 1996-11-12 alg-geom math.AG

classification alg-geommath.AG
keywords primeweightformslevelmodularalgebraassumingconjecture
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The Unipotent Chabauty-Kim-Kantor Method for Relative Completions

    math.NT 2024-11 conditional novelty 8.0 of 10

    A dimension inequality between global and local Galois cohomology is shown to imply finiteness of rational points on hyperbolic curves, with conditional finiteness results for all genus >= 2 curves.

Pith tools