# Tagged Questions

The tag has no usage guidance.

65 views

### On orders of stabilisers of group actions and stacks

Let $X$ be a finite type irreducible separated DM-stack over $\mathbb C$. Let $x$ be an object of $X(\mathbb C)$ with stabilizer $G_x$. Let $y$ be an object of $X(\mathbb C)$ with stabilizer $G_y$. ...
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$ ...
106 views

### Is there a reference for boundedness of smooth canonically polarized varieties over Z (No…)

In Kollár's paper Quotient spaces modulo algebraic groups, Kollár mentions right above Theorem 1.8 that the stack $\mathcal M_P$ of smooth canonically polarized varieties over Spec $\mathbb Z$ with ...
223 views

### The quotient of a scheme by a proper equivalence relation

Let $X$ be a scheme and $R$ be a proper equivalence relation on $X$. What can be said about the geometric structure of the quotient $X/R$? Is it representable by a stack, for example?
132 views

### Are these moduli problems of curves “well-behaved”?

Let X be a smooth projective surface over $\mathbb C$, and let $d\geq 3$ be an integer. Suppose that all smooth hypersurfaces of degree $d$ are of genus $g\geq 2$. Let $H_{X,d}$ be the Hilbert scheme ...
60 views

### Psi-classes on moduli spaces of weighted curves

Let $\overline{\mathcal{M}}_{g,A[n]}$ be the stack of weighted genus $g$ curves with weights $A[n]=(a_1,...,a_n)$, and let $\pi:\mathcal{C}\rightarrow \overline{\mathcal{M}}_{g,A[n]}$ be the universal ...
93 views

### Mayer-Vietoris sequence for orbifolds

Is there a version of the Mayer-Vietoris long exact sequence for orbifolds? I am interested in orbifold homology as opposed to the homology of the underlying topological space.
151 views

### $\mathbb E$-descent maps in topological spaces in terms of different sites?

The paper Facets of Descent I by Janelidze and Tholen defines $\mathbb E$-descent maps as those for which $\Phi^p:\mathbb EB\longrightarrow \mathsf{Des}_\mathbb{E}(p)$ is an equivalence of categories. ...
8k views

### Good introductory references on algebraic stacks?

Are there any good introductory texts on algebraic stacks? I have found some readable half-finsished texts on the net, but the authors always seem to give up before they are finished. I have also ...
383 views

### Representable map of Deligne-Mumford stacks

Let $\mathscr{M}\to\mathscr{N}$ be a map of (Deligne-Mumford) stacks. Recall that it is said to be representable by affine schemes if for all affine maps $\operatorname{Spec}R\to \mathscr{N}$, the ...
175 views

927 views

### Seeing stacks in the Calculus of Functors

Recently I was told (by an algebraic geometer) that when algebraic geometers look at the Calculus of Functors, they think of stacks. When I look at the Calculus of Functors, I see a categorification ...
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 ...
171 views

### Are there any non-trivial $G$-gerbes over the analytic space $\mathbb C$

Does there exist a finite (abstract) group $G$ and a non-trivial $G$-gerbe $\mathcal X\to \mathbb C$, where we work in the category of analytic stacks. My guess is that $G$-gerbes for $G$ an abelian ...
130 views

### Gromov-Witten invariants for arithmetic surfaces counting sections passing through points

Suppose we are given an arithmetic surface, $X\to \text{Spec}\mathbb{Z}[1/N]$ smooth and quasi-projective, and a finite set of closed points all in different vertical fibers. Can we count the number ...
112 views

### How to realize the descent data of Qcoh as a (pseudo)-limit in Cat?

It is well-know that $Qcoh$ is a fibered category on $Sch$. In more details let $\mathcal{C}$ be the category $(Sch/S)$ of schemes over a fixed base scheme S. For each scheme $U$ we define $Qcoh(U)$ ...
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 ...
957 views

### Applications of topological and diferentiable stacks

What are some examples of theorems about topology or differential geometry that have been proven using topological/differentiable stacks, or, some examples of proofs made easier by them? I'm well ...
108 views

### Representablility of fiber product over stacks

Let $(\mathcal{C},\mathcal{T})$ be a site and $\mathcal{X}$ a stack over it. Suppose $(\mathcal{C},\mathcal{T})$ subcanonical and hence for every object $U$ in $\mathcal{C}$ consider the associated ...
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$,...
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 ...
139 views

### Stacks with representable morphisms to algebraic stacks

If $Y$ is an algebraic stack over a scheme $S$ and $X$ is a stack such that there exists an $S$-morphism $X\to Y$ representable by algebraic spaces, then is $X$ an algebraic stack (in the sense that ...
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 (...
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$. ...
119 views

### Is there a difference between the inertia stack and the universal automorphism group

Let $\mathcal M$ be a stack representing some moduli problem. Let $\mathcal X\to \mathcal M$ be the corresponding universal family. What is the difference between the inertia stack $I\to \mathcal M$ ...
295 views

### Algebraic spaces which are automatically schemes

Let $S$ be a scheme, and let $f:X\to S$ be a morphism of algebraic spaces. If $f$ is smooth proper curve of genus at least two, then $X$ is a scheme. (Here I mean that $f$ is a smooth proper morphism ...
164 views

### On functors which are generically representable

Let $F$ be a set-valued (contravariant) functor on the category of schemes. Let $F_{\mathbb Q}$ be the associated functor on the category of schemes over $\mathbb Q$. Suppose that $F_{\mathbb Q}$ is ...
1k views

### algebraic group G vs. algebraic stack BG

I've gathered that it's "common knowledge" (at least among people who think about such things) that studying a (smooth) algebraic group G, as an algebraic group, is in some sense the same as studying ...
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 ...
124 views

### Singularities of the moduli stack of polarized hyperkahler varieties

Inspired by the recent question on singularities of the moduli stack of Calabi-Yau threefolds (Singularities of the moduli stack of Calabi-Yau threefolds) I'd like to ask the following question. Is ...
144 views

### Descending a monomorphism of stacks

The question is about Proposition 3.8.1 in Laumon and Moret-Bailly book on algebraic stacks. Let $S$ be a scheme and let $F: \mathscr{X} \rightarrow \mathscr{Y}$ be a morphism of $S$-stacks (for the ...
310 views

### Singularities of the moduli stack of Calabi-Yau threefolds

Let $M$ be the moduli of polarized Calabi-Yau threefolds over $\mathbb C$ with fixed Euler characteristic. The coarse moduli space is singular (as usual), but what about the stack? In many cases I ...
335 views

### Separation condition for higher Deligne-Mumford stacks

Let $X$ be a stack of $n$-groupoids on the site of affine schemes over a fixed base, with the etale topology. If $n=1$ then for $X$ to be Deligne-Mumford, aside from having an etale atlas from an ...
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 ...
2k views

### Representation of Groupoids

The title is vague, my actuall question is the following: Has the representations of groupoids been systematically studied? Is there any new phenomenon, compare with the representation of groups? (...
672 views

### Conditions for “bootstrapping” a smooth DM stack?

In the preprint "Smooth toric DM stacks", Fantechi, Mann and Nironi define the stacks of their title, and show that each of these can be obtained through the following sequence of steps: 1) start ...
We are taught that, in general: A type of objects that has nontrivial automorphisms cannot have a fine moduli space. The proof generally goes along the lines of: Take an object $X$ with a ...