The algebraic-stacks tag has no wiki summary.

**19**

votes

**1**answer

810 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$ ...

**12**

votes

**0**answers

288 views

### Coarse moduli spaces of stacks for which every atlas is a scheme

Let $X = [P/G]$ be a smooth finite type separated DM-stack over $\mathbb C$ given as the quotient of a smooth projective scheme $P$ by the action of a smooth (finite type separated) reductive group ...

**11**

votes

**4**answers

865 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 ...

**11**

votes

**1**answer

600 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) ...

**11**

votes

**1**answer

620 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 ...

**9**

votes

**1**answer

319 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, ...

**7**

votes

**2**answers

414 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 ...

**7**

votes

**1**answer

697 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 ...

**7**

votes

**1**answer

250 views

### Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly.
Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...

**6**

votes

**1**answer

510 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 ...

**6**

votes

**1**answer

362 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 ...

**6**

votes

**1**answer

291 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(Σ, ...

**5**

votes

**1**answer

557 views

### What is the intuition inertia orbifold (or stack)?

I am studying orbifolds with view towards Chen-Ruan cohomology. I have been struggling with inertia orbifolds but have no intuition about them at this point. I would appreciate your motivating me by ...

**5**

votes

**1**answer

261 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 ...

**5**

votes

**1**answer

273 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 ...

**5**

votes

**1**answer

188 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 ...

**5**

votes

**1**answer

230 views

### Representability of morphism of stacks

A morphism of Artin stacks $f:X\to Y$ over $\mathbb Q$ is representable by algebraic spaces if and only if its geometric fibres are algebraic spaces. I would like to know if one can use this to prove ...

**5**

votes

**1**answer

431 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 ...

**5**

votes

**0**answers

211 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 ...

**5**

votes

**0**answers

283 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

**1**answer

244 views

### Do algebraic stacks satisfy fpqc descent?

It is known, thanks to Gabber, that algebraic spaces are sheaves in the fpqc topology:
Stacks project 03W8
Is the analogous statement for algebraic (Artin) stacks true? If not, is it true under ...

**4**

votes

**2**answers

353 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

**1**answer

348 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

**1**answer

252 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 ...

**4**

votes

**1**answer

156 views

### A question on $Isom(p_1^*E,p_2^*E) \rightrightarrows X$

I am learning the moduli stacks of vector bundles and have trouble understanding some definitions. Let $E$ be a rank $n$ vector bundle over the scheme $X$. We denote by $p_i$ the $i$th projection ...

**4**

votes

**0**answers

325 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 ...

**3**

votes

**2**answers

211 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 ...

**3**

votes

**1**answer

341 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.

**3**

votes

**1**answer

183 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 ...

**3**

votes

**1**answer

180 views

### The stack of group algebraic spaces

The fibred category $\mathcal A$ of algebraic spaces over a scheme $S$ is a stack (over the category of affine schemes with the etale topology). This is proved in Laumon and Moret-Bailly's book (see ...

**3**

votes

**1**answer

169 views

### Stacks with a small coarse moduli space

Let $k$ be a field of characteristic zero.
Let $X$ be a finite type algebraic stack over $k$ with a coarse (or good) moduli space $M$.
Suppose that $M$ is isomorphic to a point, i.e., $M = Spec k$.
...

**3**

votes

**1**answer

380 views

### Algebraicity of the stack of coherent sheaves

I am trying to understand the proof of Theorem 4.6.2.1 in the book on algebraic stacks by Laumon and Moret-Bailly. The setting is this: $S$ is a Noetherian scheme, $f\colon X \rightarrow S$ is a ...

**3**

votes

**1**answer

235 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 ...

**3**

votes

**0**answers

107 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 ...

**3**

votes

**0**answers

180 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 ...

**3**

votes

**0**answers

110 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 ...

**3**

votes

**0**answers

162 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 ...

**3**

votes

**0**answers

158 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 ...

**3**

votes

**0**answers

59 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 ...

**3**

votes

**0**answers

202 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 ...

**2**

votes

**2**answers

247 views

### Heuristics for 2-morphisms of (algebraic) stacks

For topological spaces and simplicial sets one can consider each pair of parallel morphisms $f,g:X\rightrightarrows Y$ as equipped with a set of 2-morphisms given by homotopies $H:f\simeq g$ (let's ...

**2**

votes

**1**answer

134 views

### Picard group of classifying stack

Suppose $S$ is a scheme, and $G$ a smooth $S$-group scheme.
Then there exists an algebraic stack BG called the classifying stack of $G$, defined as the quotient stack $[S/G]$ where $G$ acts trivially ...

**2**

votes

**2**answers

379 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 ...

**2**

votes

**1**answer

240 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 ...

**2**

votes

**1**answer

145 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 ...

**2**

votes

**1**answer

158 views

### Galois cohomology out of the classifying stack

Suppose $G$ is a smooth and abelian $k$-group scheme, for $k$ a field.
Is it possible to get back galois cohomology groups $H^*(k,G)$ studying the cohomology of the classifying stack $BG=[*/G]$ ?

**2**

votes

**1**answer

134 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 ...

**2**

votes

**1**answer

353 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 ...

**2**

votes

**1**answer

289 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 ...

**2**

votes

**0**answers

194 views

### Finiteness of the connected components of a stack

Let $X$ be an algebaic stack over a scheme $S$, for any $S$-scheme $Y$ we can consider the groupoid $X(Y)$ of $Y$-points. Denote by $\pi_0(X(Y))$ the set of isomorphism classes of the groupoid.
Are ...