The algebraic-stacks tag has no usage guidance.

**7**

votes

**1**answer

203 views

### Fiberwise criterion for a stack to be a gerbe

Let $f:X\to Y$ be a morphism of algebraic stacks.
If the geometric fibres of $f$ are algebraic spaces, then $f$ is representable by algebraic spaces.
I'm wondering about analogues of this fiberwise ...

**5**

votes

**0**answers

110 views

### Testing the vanishing of cohomology fiberwise for a proper morphism from an Artin stack

Let $S$ be a Noetherian scheme, let $f\colon\mathscr{X} \rightarrow S$ be a proper morphism with $\mathscr{X}$ an algebraic stack, and let $\mathscr{F}$ be an $S$-flat coherent sheaf on $\mathscr{X}$. ...

**8**

votes

**3**answers

484 views

### Definition of étale (etc) for non-representable morphisms of algebraic stacks?

I've stumbled upon the statement that the morphism $\pi$ from a root stack of the form $\sqrt[r]{\mathscr{L}/\mathscr{Y}}$ (i.e. the "generic" version, not the one concentrated along a divisor) to its ...

**3**

votes

**1**answer

156 views

### Question about canonical DM stacks

Let $\mathcal{X}$ be a canonical stack (edit: I forgot to say I also want $\mathcal{X}$ smooth), and $\pi : \mathcal{X}\to X$ its coarse moduli space morphism. Let also $D$ be a prime divisor (i.e. ...

**4**

votes

**0**answers

152 views

### Vanishing theorems on toric DM stacks

In chapter 9 of the book Toric varieties by Cox-Little-Schenck several cohomology vanishing theorems for toric varieties are proved or mentioned.
In this question I am interested in references for ...

**3**

votes

**1**answer

111 views

### On an example by Romagny about fixed point stack not commuting with coarse moduli space

This is to understand better Example 3.9 on page 221 of Group actions on stacks and applications by M.Romagny.
For an action of an algebraic group (scheme) $G$ on an algebraic stack $\mathcal{M}$, ...

**11**

votes

**1**answer

224 views

### Are coarse spaces of 1-dimensional smooth proper Artin stacks smooth?

Let $\mathcal{X}$ be a regular proper 1-dimensional Artin stack with finite diagonal, with coarse space morphism $\mathcal{X} \to X$.
Question: Is $X$ regular?
Some comments:
I'm happy to assume ...

**9**

votes

**1**answer

301 views

### Ramification of the map from the stack of elliptic curves to the $j$-line

Let $\mathcal{M}_{1, 1}$ be the stack of elliptic curves. Its coarse moduli space is $\mathbb{A}^1_{\mathbb{Z}}$ with the map $\mathcal{M}_{1, 1} \rightarrow \mathbb{A}^1_{\mathbb{Z}}$ given by the ...

**3**

votes

**1**answer

153 views

### Is the residual gerbe really independent of the choice of a representative?

My question is about the passage (11.1) in the book of Laumon and Moret-Bailly on algebraic stacks. There we have a scheme $S$, an algebraic stack $\mathscr{X}$ over $S$, and a point $\xi$ of ...

**3**

votes

**1**answer

143 views

### Derived pullback of the coarse moduli morphism

Let $f: \mathcal{X}\to X$ be a morphism from a smooth DM-stack $\mathcal{X}$ to its coarse moduli space $X$. Assume that $X$ is also smooth. Is it true that $Lf^*$ is fully faithful and induces an ...

**3**

votes

**1**answer

126 views

### The line bundle of the divisor at infinity of the moduli stack of stable curves of genus $g \ge 2$

Let $\overline{\mathscr{M}}_g$ be the $\mathbb{Z}$-algebraic stack of stable curves of genus $g \ge 2$, as constructed in the paper of Deligne and Mumford. The degeneracy locus of the universal stable ...

**2**

votes

**0**answers

149 views

### Help for reference of moduli stack of fake elliptic curve

I see everywhere says the following:
Let $B$ be an indefinite quaternion algebra over $\mathbb{Q}$ of discriminant $D$, $\mathcal{O}_B$ be a maximal order, $N$ be an positive integer coprime to $D$. ...

**4**

votes

**1**answer

148 views

### Are automorphism groups of polarized varieties of finite type

It is "well-known" that the stack of polarized varieties is an algebraic stack with quasi-compact and separated diagonal.
In particular, if $(X,L)$ and $(Y,M)$ are polarized schemes over a scheme ...

**6**

votes

**0**answers

209 views

### Is the stack of varieties with a big line bundle algebraic

In Starr's paper https://www.math.stonybrook.edu/~jstarr/papers/moduli4.pdf the folk result that the fibred category of pairs $(X\to S, L)$, where $S$ is an affine scheme, $X\to S$ is flat proper ...

**4**

votes

**1**answer

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

**4**

votes

**1**answer

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

**12**

votes

**1**answer

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

**4**

votes

**1**answer

429 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

**0**answers

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

**6**

votes

**1**answer

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

**4**

votes

**1**answer

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

**3**

votes

**1**answer

174 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

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

**3**

votes

**2**answers

271 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

**0**answers

111 views

### Stack of curves and universal deformations

I've just started studying algebraic stacks and I have a very basic question.
I've learned the notion of Deligne Mumford stack and I've seen as the stack of stable curves $\overline{\mathcal{M}_g}$ ...

**0**

votes

**0**answers

94 views

### pushing out families of curves

Let $f:X\rightarrow Y$ be a morphism of schemes with smooth curves as fibers. Let $g:X\rightarrow Z$ be a family of smooth or nodal curves with $Z$ a regular scheme. Does the push-out $Z\coprod_X Y$ ...

**13**

votes

**0**answers

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

**2**

votes

**1**answer

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

**11**

votes

**4**answers

1k 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 ...

**3**

votes

**2**answers

216 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

**2**answers

420 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

**2**answers

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

**6**

votes

**1**answer

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

**3**

votes

**0**answers

123 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

**1**answer

628 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

**0**answers

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

**3**

votes

**1**answer

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

**2**

votes

**1**answer

249 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

**1**answer

525 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

**1**answer

390 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

**0**answers

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

**4**

votes

**1**answer

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

**3**

votes

**1**answer

199 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

**1**answer

157 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

**2**answers

408 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

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

**5**

votes

**1**answer

448 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

**1**answer

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

**4**

votes

**0**answers

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

**2**

votes

**0**answers

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