The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
2answers
315 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
0answers
105 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 ...
0
votes
0answers
222 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?
2
votes
0answers
129 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 ...
3
votes
0answers
58 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 ...
1
vote
0answers
86 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.
1
vote
0answers
131 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. ...
43
votes
13answers
7k 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 ...
4
votes
1answer
380 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 ...
4
votes
1answer
171 views

Smooth algebraic stacks with precisely two $\mathbb C$-objects

In my quest of "understanding" stacks, I recently tried to figure out the structure of a smooth algebraic stack of finite type $\mathcal X$ over $\mathbb C$ with affine diagonal and precisely one $\...
1
vote
0answers
80 views

Pushforward for differentiable stacks/ Lie groupoids

Let $X$ be a differentiable stacks, and let $(G_{0}, G_{1}, s,t)$ be a Lie groupoid representing $X$. Let $NG_{\bullet}$ be the nerve of the above groupoid. The De rham complex of $X$ can be defined ...
3
votes
0answers
102 views

groupoids representing mapping stacks

1)Let $X$ be a differentiable stack ((2,1) sheaf over the category of smooth manifolds $Man$) and that is geometric. Let $N\in Man$, then $$ Map(y(N),X) $$ is again a differentiable stack ($y$ is the ...
2
votes
0answers
90 views

representability of some mapping stack

Let $S$ be an Artin stack of finite type. We assume that it contains a point as an open dense. Is it always true that the mapping stack: $Hom^{0}(\mathbb{P}^{1},S)$ which consists of sections ...
4
votes
1answer
184 views

Essential dimension and the moduli space of abelian varieties

The following problem is listed here: http://www-personal.umich.edu/~erman/Papers/Questions2.pdf and attributed to Vistoli: Let $\mathcal A_g$ denote the moduli stack of principally polarized abelian ...
6
votes
1answer
209 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$ ...
10
votes
1answer
255 views

Counting isomorphism classes in open subsets of Bun_G

Let $G$ be a split semisimple algebraic group and let $C$ be a curve of genus $g$ over $\mathbb F_q$. Assume $g \geq 2$. The number of $\mathbb F_q$-points of $\# \operatorname{Bun}_G(C)$, where each ...
15
votes
1answer
581 views

Algebraic spaces as locally ringed spaces

Let $S$ be a scheme (although I am more than happy to have $S=\text{Spec}(k)$ for a field $k$) and $\mathsf{AlgSp}/S$ the category of algebraic spaces over $S$. Does there exist an embedding $\...
19
votes
1answer
924 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 ...
7
votes
1answer
217 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 ...
3
votes
1answer
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 ...
1
vote
0answers
127 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 ...
6
votes
0answers
109 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)$ ...
11
votes
1answer
232 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 ...
19
votes
3answers
956 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 ...
1
vote
0answers
105 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 ...
4
votes
1answer
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
0answers
217 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 ...
1
vote
1answer
138 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 ...
4
votes
1answer
212 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
1answer
195 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
0answers
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$ ...
5
votes
1answer
293 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 ...
1
vote
1answer
163 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 ...
20
votes
4answers
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 ...
2
votes
1answer
372 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 ...
4
votes
1answer
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 ...
4
votes
1answer
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 ...
8
votes
1answer
307 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 ...
8
votes
1answer
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 ...
3
votes
0answers
217 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 ...
8
votes
6answers
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? (...
12
votes
1answer
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 ...
6
votes
0answers
182 views

Is there a more general obstruction to the existence of moduli spaces than the existence of automorphisms?

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 ...
2
votes
1answer
205 views

Given a map of classifying spaces, can the target be described as a groupoid quotient of the source mod some action of some (co)kernel?

Let $H \to G$ be a homomorphism of affine algebraic groups (over characteristic $0$, if it matters). The case I care most about is when $H \to G$ is an inclusion. There is a corresponding map $f: \...
4
votes
2answers
334 views

Universal curve of stacks of stable curve

Let $\overline{M}_{g,A}$ the moduli stack of pointed genus $g$ stable curves with weights $A = (a_1,...,a_n)$ introduced in Brendan Hassett, Moduli spaces of weighted pointed stable curves, Adv. Math....
4
votes
1answer
347 views

What are the automorphisms of $BG$?

Setup: Let's work in the category of schemes over $\mathbb C$. Let $G$ be a finite group. Let $BG=[pt/G]$ be the classifying stack of principal $G$ bundles. This is a fiberd category over the big ...
3
votes
0answers
130 views

Writing down gerbes explicitly over the projective line

Let $X = [\mathbb P^1/(\mathbb Z/2\mathbb Z)]$, where we take the trivial action of $\mathbb Z/2\mathbb Z$ on $\mathbb P^1$. Is this DM stack over $\mathbb C$ a gerbe over $\mathbb P^1$? Is it the ...
6
votes
1answer
304 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 ...
6
votes
1answer
169 views

Coherent sheaves on $\mathbb C^2$ and commuting matrices

Let $V$ be an $n$-dimensional complex vector space. The stack $Coh^n(\mathbb C^2)$ of coherent sheaves on $\mathbb C^2$ supported on $n$ points (not necessarily distinct) is equivalent to the stack ...