All Questions
5 questions
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, ...
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]\...
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$ ...
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, ...
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 ...