3
votes
0answers
105 views

Grothendieck duality for stacks

Let $\mathcal{X}$ be a smooth, proper and separated Deligne-Mumford stack and let $\pi:\mathcal{X}\rightarrow X$ be its coarse moduli space. Does Grothendieck duality hold for the morphism $\pi$ ? In ...
7
votes
2answers
471 views

$Pic$ of the stack of elliptic curves vs. $Pic$ of the coarse space

There's a natural map $f:\overline{\mathcal{M}}_{1,1}\to \overline{M}_{1,1}\cong \mathbb{P}^1$ from the stack of elliptic curves to the coarse space. Both spaces have $Pic=\mathbb{Z}$ hence ...
2
votes
1answer
131 views

picard group of moduli of elliptic r-prym curves

Let $\overline{\mathcal{M}}_{1,1}$ be the DM compactification of the moduli stack of elliptic curves. Its Picard group is $\mathbb{Z}$. Let us now consider stack of $r$-prym curves ...
2
votes
1answer
218 views

Rigidification and good moduli space (morphism) in the sense of Alper

Let $\mathcal{X}$ be an Artin stack. In "Abramovich, Graber, Vistoli - Twisted bundles and admissible covers", the authors describe a procedure to rigidify $\mathcal{X}$ by a central subgroup $H$ of ...
1
vote
2answers
444 views

are moduli stacks deligne-mumford stacks in general

Let M be your favorite moduli stack over the field of complex numbers. Is it reasonable to expect M to be a Deligne-Mumford stack? I know this is true for the moduli space of curves of genus g, ...
0
votes
1answer
173 views

universal families and maps to quotient stacks

Suppose I have a certain (contravariant) moduli functor $M:Schemes \to Groupoids$ that is represented by a quotient stack $[X//G]$ where $X$ is a scheme and $G$ a linearly reductive group. Roughly ...
5
votes
2answers
411 views

Passage from the moduli functor to the functor of points of the coarse moduli space

Let $F: (Sch)^{o}\to (Set)$ be a functor that admits a coarse moduli $Y$ (a scheme). We can consider $Y$ as a representable functor $h_{Y}: (Sch)^{o}\to (Set)$. Is there a direct way to produce $h_Y$ ...
6
votes
3answers
422 views

examples of moduli functors for which coarse moduli space does not exists

Well, the title almost says it all. I would like to list as many examples as possible of moduli functors, for which a coarse moduli space does not exist (and maybe explain why). So, examples such as ...
8
votes
1answer
501 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 : ...
1
vote
0answers
143 views

Irreducibility of monodromy of eigenspaces of families of cyclic coverings

In the article "La conjecture de Weil", Deligne proves that for the primitive cohomology of a universal family $f:X \rightarrow S$ for $M_{d,n}$ the moduli stack of hypersurfaces of degree $d$ in ...
3
votes
1answer
226 views

Representability of Hom-sheaves of various moduli spaces

(May be a poor title, happy to update) Recall that for a stack $\mathcal{X} \to Sch$ on schemes (e.g. fppf site) and a pair of morphisms $x,y\colon U\to \mathcal{X}$ ($U$ a representable stack) there ...
4
votes
0answers
171 views

Properties of the Zariski-Riemann topology on the set of valuations

One can classify all valuations on a function field $K$ of transcendence degree $2$ over $\mathbf{C}$. Let's consider the set $S_K$ of all valuations on $K$ endowed with the Zariski-Riemann topology. ...
13
votes
1answer
487 views

Does a degeneration always have a larger-dimensional automorphism group?

Suppose $\newcommand{\X}{\mathcal{X}}\X$ is an algebraic stack over a field $k$, $\xi$ is a $k$-point which has another $k$-point $x$ in its closure ($x$ is an isotrivial degeneration of $\xi$). ...
5
votes
3answers
680 views

Proving that a map is a morphism

Example : Consider the (open, not compactified) moduli space of stable maps $ \mathcal M_g(1,d)$ of maps of smooth curves of genus $ g$ to $\mathbb P^1$. To each map we associate its branch divisor, ...
8
votes
0answers
272 views

What is the signficance of the existence of a moduli stack to a moduli problem?

This is a question in pretty unfamiliar territory for me, so if I have conceptual mistakes please correct me. Let's say we begin with a naive moduli problem: we want a moduli space (whatever space ...
19
votes
2answers
688 views

Different interpretations of moduli stacks

I'm taking my first steps in the language of stacks, and would like something cleared up. The intuitive idea of moduli spaces is that each point corresponds to an object of what we're trying to ...
10
votes
2answers
989 views

Is the Torelli map an immersion?

The Torelli map $\tau\colon M_g \to A_g$ sends a curve C to its Jacobian (along with the canonical principal polarization associated to C); see this question for a description which works for ...
9
votes
1answer
986 views

Kodaira-Spencer Theory and moduli of curves

I was looking at a paper of Farkas and the following confusing point came up. Let $\mathscr{M}_g$ be the moduli stack of smooth genus $g$ curves and let $\pi: \mathscr{C} \to \mathscr{M}_g$ be the ...