1
vote
0answers
191 views

Is the upper half plane an algebraic stack?

Here by algebraic stack I mean an algebraic stack over the etale site $\textbf{Sch}/\mathbb{C}$. So I've read from various nonrigorous sources that the upper half plane $\mathcal{H}$ is a fine moduli ...
10
votes
4answers
611 views

Soft question: beginners reference to moduli spaces

What is a geometrically intuitive yet reasonably general first introduction to the theory of Moduli spaces? (Possibly introducing stacks also)? I'm looking for something which really gets the pictures ...
0
votes
0answers
72 views

How can information about morphisms between modular curves be read from the morphism of their corresponding stacks?

$\newcommand{\yY}{\mathcal{Y}}$ $\newcommand{\PSL}{\text{PSL}}$ $\newcommand{\SL}{\text{SL}}$ $\newcommand{\ZZ}{\mathbb{Z}}$ $\newcommand{\CC}{\mathbb{C}}$ $\newcommand{\mM}{\mathcal{M}}$ Let $Y(1)$ ...
3
votes
2answers
194 views

Sheaf of isogenies representable?

It is well-known that "the" stack of elliptic curves (allow me to be vague as to singular curves, compactifications etc) has a presentation by a groupoid in schemes. One of the things that needs to be ...
2
votes
2answers
341 views

Differentials for algebraic stacks

Let $S$ be a base scheme. For which algebraic stacks $X$ over $S$ can we define a sheaf of differentials $\Omega^1_{X/S}$ (classifying derivations)? Probably it works when $X$ is Deligne Mumford ...
7
votes
2answers
379 views

Is a Deligne-Mumford curve defined over Qbar if and only if its coarse moduli space is

Let $\mathcal X$ be a smooth proper finite type Deligne-Mumford stack over $\mathbb C$ that is generically a scheme. Let $X$ be its coarse moduli space. If $\mathcal X$ can be defined over ...
5
votes
1answer
200 views

The singularity of the algebraic stack and the singularity of the coarse moduli space

It is possible that an algebraic stack is smooth while the coarse moduli space is not smooth. I want to know what is relationship between the singularity of the algebraic stack and that of its coarse ...
2
votes
0answers
71 views

Quasi-finite morphisms of stacks

Let $f:X\to Y$ be a morphism of ``nice" stacks over $\mathbf C$ such that the induced morphism on coarse moduli spaces is quasi-finite. Is $f$ quasi-finite? By a "nice" stack I mean a smooth finite ...
11
votes
1answer
540 views

Several simple questions on the geometry of higher stacks

I'm trying to understand definition/work out some examples. So, there are some simple questions about higher stacks. For the simplicity assume that we are working with higher DM (Deligne-Mumford) ...
5
votes
0answers
201 views

Homology of stack points (from math.stackexchange)

(This question is duplicated here) This is a very basic question about how definitions in homology carry over to the easiest example of stacks. Let $G$ be a finite cyclic group. Consider the ...
2
votes
1answer
169 views

Algebraic stacks: limit preserving versus locally of finite presentation

I'm wondering what the precise relationship is between an algebraic stack being locally of finite presentation and being limit preserving. Under some mild hypotheses on the diagonal (in force ...
6
votes
1answer
470 views

Is “stackiness” transitive? (and a couple other basic questions about stacks)

Say, $B$ is a category fibered in groupoids over some category $C$, and $A$ is a category fibered in groupoids over $B$. Suppose $A$ is a stack (over whatever site) over $B$, and $B$ is a stack over ...
3
votes
1answer
287 views

The fibre product of two quotient stacks

My question is to know whether the fibre product of $[X/G]$ by $[Y/H]$ over a base scheme is $S$ is $[X \times_S Y/G \times H]$? And if yes, do you have any reference for it? Thank you.
2
votes
0answers
114 views

Are there any results on stable maps to Artin stacks with infinite stabilizers?

The Abramovich-Vistoli/Chen-Ruan theory of twisted stable maps into Deligne-Mumford stacks is extremely useful, as is the generalization to tame Artin stacks in positive characteristic. I am ...
5
votes
1answer
324 views

What does it mean for a Deligne-Mumford stack to have trivial generic stabilizers?

I have stumbled upon some literature on Deligne-Mumford stacks, and it seems to me, at least superficially, that there is a strong link between DM-stacks which have "trivial generic stabilizers" and ...
4
votes
1answer
163 views

Group action on a stack and fixed points

This is mostly a reference question. Suppose that I have an action of (say, finite) group $G$ on an algebraic stack $X$ (in my case it is a Deligne-Mumford stack, but this shouldn't matter). As far as ...
2
votes
1answer
129 views

Vector bundles on a weighted projective stack

Put $X := \mathbb A^{n+1}\!-\lbrace0\rbrace$. Let $G=\mathbb C^*$ act on $X$ with (positive) weights $w_0,\dots,w_n$. The quotient stack $[X/G]$ is called the weighted projective stack. Each vector ...
4
votes
2answers
327 views

Explicit description of the stack associated to a groupoid

Let $\{X_1 \rightrightarrows X_0\}$ be a smooth groupoid object in the category of affine schemes ($X_0 \to X_1$, $X_1 \to X_1$ and $X_1 \times_{X_0} X_1 \to X_1$ also belong to the datum). ...
4
votes
1answer
239 views

Do Deligne-Mumford curves also have rational functions

If $X$ is a curve over a field of characteristic zero, then $X$ has a rational function, i.e., a finite morphism to the projective line. Question. Suppose that $X$ is a Deligne-Mumford (or just ...
3
votes
0answers
245 views

On the local structure of Deligne-Mumford stacks

Is it true that for any DM stack $\mathcal{X}$ (quasicompact, separated, of finite type over a field) there is a Zariski covering $\mathcal{U}_i \to \mathcal{X}$ by open substacks, such that for all ...
9
votes
1answer
276 views

Is $\mathcal{D} \bigl( \mathrm{QCoh}(\mathfrak{X}) \bigr)$ compactly generated?

An object $E$ in a triangulated category $\mathcal{T}$ with (small) coproducts is called compact if the functor $\mathrm{Hom}_{\mathcal{T}}(E,-)$ commutes with arbitrary coproducts or, equivalently, ...
3
votes
0answers
170 views

Stack theoretic image?

If $X \xrightarrow{f} Y$ is a morphism of schemes then the scheme theoretic image of $f$ is the smallest closed subscheme $Z \subset Y$ through which $f$ factors through. Is this notion defined for ...
1
vote
0answers
148 views

Zariski's Main Theorem for stacks

Let $X$ be a separated Deligne Mumford stack of finite type over a base field $k$ and $Y$ be a proper Deligne Mumford stack over $k$. Assume there is a quasifinite, representable, surjective and ...
4
votes
0answers
225 views

Coarse moduli spaces of quotient stacks

Suppose you have a separated Deligne Mumford quotient stack $[V/G]$ over a field of characteristic $0$, where $V$ is a quasiprojective variety and $G$ is an algebraic group that does not necessarily ...
4
votes
1answer
171 views

Stabilizer Action on vector bundle on a stack

Suppose you have a Deligne Mumford stack $X$ and a geometric point $x:Spec{k}\rightarrow X$ with stabilizer group $Stab(x)$.Let $F$ be a locally free sheaf on $X$. How is the action of $Stab(x)$ on ...
3
votes
0answers
95 views

Normalization of quotient stacks

Suppose you have a Deligne Mumford stack which is a quotient $[X/G]$ of a scheme $X$ by an algebraic group $G$ . What is the normalization of that? Is it true that its normalization is a quotient ...
7
votes
1answer
568 views

Is every module the colimit of its finitely generated submodules? (for algebraic spaces or stacks)

For (quasi-compact and quasi-separated) schemes there is a categorical way to characterise quasi-coherent sheaves of finite type using purely the abelian category $\operatorname{QCoh}(X)$. In an ...
2
votes
0answers
157 views

Subgroups of a group algebraic space

I found in the literature many references on the representability of quotients of group schemes but almost nothing about subgroups. For this reason I hope that my question is a silly one and that what ...
19
votes
1answer
777 views

What is $Aut(Ell)$?

Consider the stack $Ell$ (of groupoids) of elliptic curves. I'm interested in the autoequivalence 2-group of $Ell$, the objects of which consists of transformations $Ell \Rightarrow Ell: Ring \to Gpd$ ...
3
votes
0answers
147 views

Chow ring of a $\mu_2$-gerbe

Suppose that $X$ is a stack, and $Y \to X$ is a $\mu_2$-gerbe. Is there any relationship between the integral Chow rings (in the sense of Edidin and Graham) of $X$ and $Y$? (I assume they become ...
2
votes
0answers
182 views

Lang isogeny for group stacks

Let $G$ be a commutative algebraic group stack over $\mathbb{F}_q$ (I don't really care about the precise definition: I'm secretly thinking about the Picard stack of a projective curve). To what ...
1
vote
1answer
222 views

Finite-type Artin Stack over $\mathbb C$

Suppose I have an Artin stack $\mathfrak M$ locally of finite-type over $\mathbb C$ with presentation $M\rightarrow \mathfrak M$. Suppose further that $\mathfrak M$ "represents" (in the stack sense) ...
5
votes
1answer
258 views

universal property of blow up for stacks?

I will use as a reference Hartshorne Prop. II.7.14, the universal property of blow-up. $\tilde{X}$ is the blow up of $X$ along a sheaf of ideals. $Z\to X$ is the morphism that is to be lifted to ...
3
votes
0answers
58 views

Are two “nice” transformation groupoids with the same coarse moduli and isomorphic inertia isomorphic?

Hi! I am stuck with the following question: suppose we have a semisimple connected algebraic group acting on a quasi-affine variety X by closed orbits, and suppose that inertia is flat. Suppose we ...
2
votes
1answer
125 views

Some bounded theorem of algebraic stack of coherent sheaves

Let $X$ be a connected projective scheme. Let $U$ be a finite type open substack of the algebraic stack of coherent sheaves on $X$ with a fixed Hilbert polynomial. Can one take $p>0$ such that ...
6
votes
1answer
263 views

on a Deformation long exact sequence of moduli space of stable maps

I am reading the book "mirror symmetry" by Hori,Katz,Klemm,etc. And I want to understand the following Deformation long exact sequence \begin{align} 0 & \to Aut(Σ, p_1, . . . , p_n, f)\to Aut(Σ, ...
4
votes
0answers
314 views

A question on an intuitive way to look at stacks

I am reading the chapter "Introducing Algebraic Stacks" in The Stacks Projects to get a feeling for them. There is a small point that throws me off. They denote $\mathcal{M}_{1, 1}$ the moduli stack ...
5
votes
1answer
329 views

If $X$ is a smooth and proper stack, does it admit a smooth and proper atlas?

Fix a ground scheme $S$ (a field say). By atlas for an algebraic stack I mean a smooth and surjective morphism $Y \to X$ from a scheme (or algebraic space or affine scheme) $Y$. If the stack $X$ is ...
2
votes
1answer
263 views

Representability of the diagonal morphism of stacks

Corollaire 3.13 in "Champs algebriques" says that the diagonal 1-morphism of stacks $\Delta:\mathcal{X} \to \mathcal{X} \times_S \mathcal{X}$ is representable if and only if the sheaf ...
3
votes
0answers
196 views

Cohomology of line bundles on smooth projective toric Deligne-Mumford stacks

Let $\mathcal{X}$ be a smooth projective toric Deligne-Mumford stack with coarse moduli scheme $\pi\colon \mathcal{X}\rightarrow X.$ Let $[D]$ be a Cartier divisor on $\mathcal{X}$ such that ...
1
vote
0answers
229 views

Fourier-Mukai transforms on stacks

I have "generic" questions about Fourier-Mukai transforms. Question 1: Does there exist a well-defined notion of Fourier-Mukai transform on (Deligne-Mumford) stacks? Question 2: Do there exist ...
10
votes
1answer
527 views

coarse moduli space and $\pi_0$

I've been reading this really nice paper by Alper http://math.columbia.edu/~jarod/good_moduli_spaces.pdf, and there's a question that doesn't seem to be answered (perhaps it's not relevant). Any ...