Skip to main content

All Questions

Filter by
Sorted by
Tagged with
10 votes
2 answers
961 views

What is a(n algebro-geometric) family of modular forms?

We know that a family of elliptic curves is a morphism of schemes $f:X \to Y$ such that the fiber of every point of $Y$ is an elliptic curve (and we usually require the morphism to be smooth, proper, ...
David Corwin's user avatar
  • 15.4k
8 votes
2 answers
403 views

Mazur's Question on Mod $N$ Galois representations

In Rational Isogenies of Prime Degree, Mazur poses: "the problem of determining all elliptic curves $E'/\mathbb{Q}$ with symplectic $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ isomorphisms $E'[N]\...
Rdrr's user avatar
  • 901
4 votes
0 answers
279 views

On De Shalit's Lemma in Wiles' proof of R=T

In Wiles' proof of ``$R = {\Bbb T}$", if we associate the extra primes the set of which is denoted $D$, there is a famous result in the following$\colon$ Theorem(De Shalit's Lemma). Let ${\Bbb T}_N$ ...
Pierre MATSUMI's user avatar
2 votes
1 answer
338 views

Finite Flat Group Schemes for Modular Forms of Higher Weight

Let $f$ be a newform (normalized, cuspidal) of weight $k \ge 2$. Then for a prime $\ell$ there is an $\ell$-adic Galois representation associated to $f$. If $k=2$, this comes from an abelian variety, ...
David Corwin's user avatar
  • 15.4k
0 votes
1 answer
278 views

Proof of the coherence of ${\Bbb F}_q[[X_1,\dots,X_{\infty}]]$

We shall define the infinitely-many-variable formal power series ring $A = {\Bbb F}_q[[X_1,\ldots,X_{\infty}]]$ over a finite field ${\Bbb F}_q$ as the following$\colon$ $A \colon= \underset{n \geq ...
Pierre's user avatar
  • 563