The algebraic-stacks tag has no usage guidance.

**4**

votes

**1**answer

344 views

### Inverse galois problem and étale homotopy

Is there any relation between étale homotopy theory (Grothendieck-Galois theory) and the inverse Galois problem?...I mean...in classical homotopy theory, every finite group $G$ realizes as a "Galois ...

**0**

votes

**1**answer

69 views

### representing base changes of the unit section

Let $S$ be a scheme and $G$ be a sheaf in groups on the big étale site over $S$. Let $e:S\rightarrow G$ be the unit section. Is it true that given an algebraic space in groups $H$, étale over $S$, and ...

**0**

votes

**2**answers

322 views

### The non-existence of the fine moduli scheme of vector bundles. Why?

The reference I am using is this one. The question is about the moduli space of vector bundles. I am trying to understand why the fine moduli scheme does not exist. Let $C$ a projective curve. Let $S$ ...

**1**

vote

**0**answers

83 views

### representability of a certain extension of group algebraic spaces

Let S be a scheme. Suppose we have sheaves in abelian groups $A,B,C$ over the big étale site of $S$. Suppose that $A$ and $C$ are representable by algebraic spaces in groups locally of finite type ...

**3**

votes

**1**answer

119 views

### Do equivariant morphisms induce representable maps of quotient stacks?

Let $f: X \to Y$ be a $G$-equivariant map between schemes $X$, $Y$ with action of a flat group scheme $G$. Then why is the induced map of algebraic stacks $[X/G] \to [Y/G]$ representable?

**6**

votes

**1**answer

217 views

### Are Picard stacks group objects in the category of algebraic stacks

I've been wondering about what a "group algebraic stack" should be, and ran into the notion of a Picard stack.
I'm slightly confused by the terminology here.
Given an algebraic stack $\mathcal X$ ...

**7**

votes

**1**answer

345 views

### Degree formalism for line bundles on Deligne-Mumford stacks

Let $k$ be an algebraically closed field and let $\mathcal{C}$ be proper, Cohen-Macaulay, purely $1$-dimensional Deligne-Mumford stack over $k$. From looking at section 4.3 on page 135 of the paper "...

**7**

votes

**1**answer

220 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

123 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

526 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

167 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

165 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

118 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

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

**10**

votes

**1**answer

464 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 $j$...

**3**

votes

**1**answer

170 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

150 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

147 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

195 views

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

I see everywhere 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

159 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 $S$,...

**6**

votes

**0**answers

218 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

213 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

199 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

352 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

464 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

221 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

310 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

299 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

177 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

236 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

276 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

115 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

95 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

352 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

373 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

218 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

454 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

445 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 $\overline{...

**6**

votes

**1**answer

402 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

141 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

647 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

219 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

279 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

260 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

537 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

437 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

150 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

422 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

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