Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
171 views

A conjecture on the scheme-theoretic image of a moduli map

Let $K/\mathbb{Q}_p$ be a finite extension with residue field $k$, and let $K'/K$ be a finite tamely ramified Galois extension with residue field $k'$. Let $E/\mathbb{Q}_p$ be a sufficiently large ...
2 votes
0 answers
233 views

Representability of moduli problem of elliptic curves with complex multiplication

I'd like to know whether the moduli problem for elliptic curves with complex multiplication by a fixed imaginary quadratic number field $K$ (and with suitable level structure to be picked) is ...
6 votes
0 answers
590 views

Affine GIT quotients and the excursion algebra in Fargues–Scholze

Some background: Let us fix a non-archimedean local field $E$ with residue characteristic $p$, and let $G$ be some connected reductive group over $E$. In [FS, §VIII.1.1] the authors define a moduli ...
9 votes
0 answers
194 views

Methods to compute the Kodaira dimension of moduli spaces

It is known that the moduli space $\bar{M_g}$ of genus $g$ stable curves over $\mathbb C$ is of general type for $g \geq 24$ with Kodaira dimension $3g-3=\dim \bar{M_g}$. The idea is that one can ...
8 votes
0 answers
174 views

Geometry of moduli problem in practice: how to check it is connected / irreducible / normal / reduced / locally complete interesection...?

Moduli spaces are very common and useful in the world of algebraic geometry. From the point view of functors, one can already check many geoemtric properties of it. I like examples, and you can assume ...
1 vote
0 answers
278 views

Level structures in deformation spaces of $p$-divisible groups

I am reading (parts of) the paper "Moduli of $p$-divisible groups" by Scholze and Weinstein, and I am stuck at understanding the definition of level structures in Rapoport-Zink spaces (cf. Definition ...
4 votes
0 answers
195 views

lemma II.2.4 in Harris-Taylor (about drinfeld-katz-mazur level structure on 1-dimensional $p$-divisible groups)

Lemma II.2.4 on page 82 in Harris and Taylor's "The Geometry and Cohomology of Some Simple Shimura Varieties" (or lemma 3.2 here), says that given a Drinfeld(-Katz-Mazur) level structure $\alpha:(p^{-...
3 votes
1 answer
424 views

Moduli problem of stable nodal curves over the integers

Over an algebraically closed field of characteristic zero, e.g. $\overline{\mathbb{Q}}$, the Deligne-Mumford stack $\overline{\mathcal{M}}_{g,n}$ represents the functor $$\overline{\mathcal{M}}_{g,n}(...
5 votes
0 answers
327 views

Is there a concrete way to show the existence of canonical model for non-modular Shimura curves?

I am trying to read Carayol's article on the construction of Galois representations associated to Hilbert modular forms (http://archive.numdam.org/article/CM_1986__59_2_151_0.pdf). The main geometric ...
17 votes
1 answer
745 views

Special fiber of $X(p)$ in characteristic $p$

Let $p \geq 5$ be a prime. Let $Y(p)$ be the fine moduli space representing elliptic curves + basis of the $p$-torsion over $\mathbb{Q}_p$ and let $Y_0(p)$ be the fine moduli space representing ...
3 votes
0 answers
132 views

Arithmetic version of "Attaching maps" for moduli of curves

I am looking for a reference for attaching maps of moduli of curves with marked points. Especially I would like to know whether they descend over $\mathbb{Z}$. On one hand this seems very hard to ...
12 votes
1 answer
1k views

What's wrong with my understanding of the scheme $\text{Isom}(E_\lambda, E_{\lambda'})$?

Let $\mathcal{M}_{1,1}$ be the moduli stack of elliptic curves (over the complex numbers). Define $$\begin{eqnarray*} X &:=& \Bbb{A}^1_{\lambda} - \{0,1\}\\ X' &=& \Bbb{A}^1_{\lambda'} ...
10 votes
1 answer
581 views

Intuitive reasons for the existence of modular parametrizations

Whenever I encounter anything about modular parametrizations, I have a feeling it is something very unnatural: you have some kind of moduli space and all of a sudden it parametrizes an object ...
17 votes
2 answers
3k views

Why is one interested in the mod p reduction of modular curves and Shimura varieties?

Why is one interested in the mod p reduction of modular curves and Shimura varieties? From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the ...
9 votes
0 answers
649 views

Motivic fundamental group of the moduli space of curves?

Suppose I have a smooth projective family of varieties of varieties over $\mathcal M_g$ - i.e. a universal functor, commuting with deformations, from curves to smooth projective varieties. Can I ...
7 votes
3 answers
2k views

moduli interpretations for modular curves

Some big picture questions - What are some applications of the moduli interpretation for congruence curves? Specifically, the interpretations for congruence curves parametrizing elliptic curves with ...
5 votes
0 answers
522 views

Moduli interpretation of Hecke operators on Shimura curves

In his book on Automorphic Forms, Shimura gives (chapter 9) definitions of the the Hecke operators for Shimura curves. One can give definitions of the Hecke and Atkin-Lehner operators in terms of the ...
5 votes
2 answers
674 views

Why is the supersingular locus the zero locus of a modular form?

This question is related to my other question here: Examples of subspaces singled out by modular forms. Here I am wondering if there is a philosophical explanation about why the supersingular locus ...
3 votes
0 answers
154 views

Examples of subspaces singled out by modular forms

I am wondering what subspaces of modular varieties defined as the zero locus of modular forms have been studied in the literature. To be more clear let me explain the example I have in mind. Let $N\...
11 votes
0 answers
264 views

What is the lowest-weight non-cyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?

I want to know about low-weight Galois representations in $H^i(\overline{\mathcal M}_{g,n}, \overline{\mathbb Q}_\ell)$ that aren't cyclotomic. This should be equivalent to finding $p,q$ such that $H^{...
3 votes
1 answer
229 views

On Universal Abelian surfaces over a Shimura curve.

Let ${\cal O}, {\cal O}'$ be two order in ${\mathrm M}_2({\Bbb R})$ that are sets of all $2 \times 2$ matrices over real number ${\Bbb R}$. Assume that we have the relation ${\cal O}' = a{\cal O}a^{-1}...
17 votes
0 answers
1k views

Katz--Mazur for abelian varieties

Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties. Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac 1N]...
10 votes
1 answer
535 views

examples of "exotic" moduli problems for elliptic curves?

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as ...
1 vote
1 answer
174 views

reference request for the finiteness of cuspidal subgroup of $X_0(N)$?

I've seen stated offhand in many sources that the cuspidal subgroup of the Jacobian of $X_0(N)$ is finite. Do they mean that the subgroup of the jacobian generated by $\mathbb{Q}$-rational cusps is ...
12 votes
1 answer
2k views

what exactly is the moduli functor for classifying elliptic curves with (full) level N structure?

So, when people say, "the moduli problem of classifying elliptic curves over $\mathbb{C}$ with level $N$ structure", there are usually two associated functors I've seen: $P_N : \textbf{Ell}\...
5 votes
1 answer
752 views

Some help in digesting a paragraph in the introduction of Deligne/Rapoport's "Les Schemas de Modules de Courbes Elliptique"

http://www.springerlink.com/content/04x54gr171v556m4/fulltext.pdf On page 149 (DeRa-7), in the middle of the page, I can translate the middle paragraph that starts "3. La surface de Riemann ..." as ...
4 votes
1 answer
552 views

When does a Shimura variety have contractible universal cover?

Disclaimer: I know very little about Shimura varieties. Some Shimura varieties have a contractible universal covering space, for instance $A_g$ itself. Are there any nice necessary and/or sufficient ...
4 votes
0 answers
1k views

level structures and moduli of abelian varieties

Hello, In the definition of level structure of level $n$ for an elliptic curve $A$, there are two versions: an isomorphism of group schemes $(\mathbf Z/n\mathbf Z)^2 \to A[n]$. an isomorhpism of ...
8 votes
2 answers
2k views

(nontrivial) isotrivial family of elliptic curves

I think it should be a standard procedure to construct such things, can anyone give a reference or give a hint? Can this be done over any base scheme?