Questions tagged [stacks]
In mathematics a stack or 2-sheaf is a sheaf that takes values in categories rather than sets.
493
questions
65
votes
17
answers
16k
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 ...
52
votes
1
answer
6k
views
D-modules, deRham spaces and microlocalization
Given a variety (or scheme, or stack, or presheaf on the category of rings), some geometers, myself included, like to study D-modules. The usual definition of a D-module is as sheaves of modules over ...
40
votes
10
answers
4k
views
Phenomena of gerbes
What is your favourite example of Gerbes?
I would like to know Where do we find Gerbes in "nature"?
The examples could vary from String theory to Galois theory. For example my favourite examples of ...
37
votes
1
answer
3k
views
What about stacks of categories in algebraic geometry?
Stacks qua moduli spaces were introduced to keep track of nontrivial automorphisms of the objects they parameterize. In essence they are groupoids of objects with some form geometric cohesion. The ...
36
votes
3
answers
6k
views
Conjectures in Grothendieck's "Pursuing stacks"
I read on the nLab that in "Pursuing stacks" Grothendieck made several interesting conjectures, some of which have been proved since then. For example, as David Roberts wrote in answer to ...
31
votes
7
answers
3k
views
Categorical construction of the category of schemes?
The answer to the following question is probably well known or the question itself is well known not to have a reasonable answer. In the latter case could you please let me know what the "right" ...
28
votes
2
answers
2k
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 ...
28
votes
2
answers
2k
views
morphisms representable by algebraic spaces vs morphisms representable by schemes
So I've been working with moduli stacks in algebraic geometry for a while now, with no formal training in the technicalities of the theory of algebraic stacks (ie, I've read a few articles and I learn ...
25
votes
3
answers
5k
views
Stacks and sheaves
I'm a bit confused by the double role which sheaves play in the theory of stacks.
On the one hand, sheaves on a site are the obvious generalization of a sheaf on a topological space. On the other ...
25
votes
4
answers
2k
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 ...
24
votes
2
answers
1k
views
Different interpretations of moduli stacks
I'm taking my first steps in the language of stacks, and would like something cleared up. The intuitive idea of moduli spaces is that each point corresponds to an object of what we're trying to ...
23
votes
3
answers
2k
views
What can we do with a coarse moduli space that we can't do with a DM moduli stack?
A couple weeks ago I attended a talk about the Keel-Mori theorem regarding existence of coarse moduli spaces for Deligne-Mumford stacks with finite inertia. Here are some questions that I have been ...
22
votes
1
answer
3k
views
fpqc covers of stacks
Artin has a theorem (10.1 in Laumon, Moret-Bailly) that if $X$ is a stack which has separated, quasi-compact, representable diagonal and an fppf cover by a scheme, then $X$ is algebraic. Is there a ...
22
votes
3
answers
1k
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 ...
22
votes
1
answer
2k
views
Is there a ring stacky approach to $\ell$-adic or rigid cohomology?
Ever since Simpson's paper [Sim], it was observed that many different cohomology theories arise in the following way: we begin with our space $X$, we associate to it a stack $X_\text{stk}$ (which ...
21
votes
3
answers
2k
views
stacks as Morita equivalence classes
I have often encountered definitions of the kind "stacks are equivalence classes of groupoids under Morita equivalence" in topological or differentiable context, with the notion of Morita equivalence ...
20
votes
7
answers
3k
views
What are the occurrences of stacks outside algebraic geometry, differential geometry, and general topology?
What are the occurrences of the notion of a stack outside algebraic geometry, differential geometry, and general topology?
In most of the references, the introduction of the notion of a stack takes ...
20
votes
2
answers
976
views
Cohomologically trivial stacks
The following theorem of Serre is well-known:
A noetherian scheme $X$ is affine if and only if $H^i(X; \mathcal{F}) = 0$ for all quasi-coherent sheaves $\mathcal{F}$ on $X$ and all $i>0$. (...
19
votes
4
answers
3k
views
Moduli stack of principally polarized abelian varieties
I'm looking for an accessible reference for the fact that the moduli stack of principally polarized abelian varieties is in fact an algebraic stack. Faltings/Chai sketch two possible proofs in their ...
19
votes
3
answers
3k
views
Stacks in modern number theory/arithmetic geometry
Stacks, of varying kinds, appear in algebraic geometry whenever we have moduli problems, most famously the stacks of (marked) curves. But these seem to be to be very geometric in motivation, so I was ...
19
votes
2
answers
3k
views
Why do gerbes live in H^2?
Line bundles on a scheme $X$ live in $H^1(X,O_X^*)$, where $O_{X}^{*}$ is the sheaf of invertible functions. If $X$ is noetherian separated, then we can think of this $H^1$ to be Čech cohmology w.r.t....
19
votes
1
answer
2k
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
1
answer
1k
views
How difficult is Morse theory on stacks?
The title is a little tongue-in-cheek, since I have a very particular question, but I don't know how to condense it into a pithy title. If you have suggestions, let me know.
Suppose I have a Lie ...
19
votes
2
answers
1k
views
Algebraic versus Analytic Brauer Group
Let $X$ be a smooth projective algebraic variety over $\mathbb{C}$. Then I think that someone (Serre?) showed that the Cohomological Etale Brauer Group agrees with the torsion part of the Analytic ...
19
votes
0
answers
602
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 quasi-projective scheme $P$ by the action of a smooth (finite type separated) reductive ...
18
votes
3
answers
2k
views
The quotient stack $[\mathbb{A}^n / \mathrm{GL}_n]$
Consider the affine space $\mathbb{A}^n$ (over some base scheme) with the usual $\mathrm{GL}_n$-action. What does the quotient stack $[\mathbb{A}^n / \mathrm{GL}_n]$ classify? If $n=1$, then we get $[\...
18
votes
0
answers
601
views
The Grothendieck Ring of Higher Stacks
The Grothendieck ring of varieties is defined to be the free abelian group spanned by isomorphism classes of varieties modulo the cut & paste (or scissor) relations, which say that $[X] = [U] + [Y]...
17
votes
2
answers
3k
views
Are curves with `fractional points' uniquely determined by their residual gerbes?
One makes precise the vague notion of "curve with a fractional point removed" (see for instance these slides) using stacks -- one should really consider Deligne-Mumford stacks whose coarse spaces are ...
17
votes
2
answers
1k
views
Applications of Stacks
I've been aware of stacks since grad school, and I can usually follow in rough lines a discussion about stacks, but I've often wondered what particular (purely!) scheme-theoretic argument or theorem ...
17
votes
1
answer
3k
views
In what topology DM stacks are stacks
Background/motivation
One of the main reason to introduce (algebraic) stacks is build "fine moduli spaces" for functors which, strictly speaking, are not representable. The yoga is more or less as ...
17
votes
1
answer
2k
views
Homotopy theory of topological stacks/orbifolds
Motivation $\newcommand{\T}{\mathscr{T}}$
I have many times found myself saying some variant of the following. Let $\T_g$ be the Teichmüller space of a surface of genus $g$, and $\Gamma_g$ its ...
17
votes
2
answers
3k
views
The different types of stacks
This question is very naive, but it will help me a lot in getting in to the vast literature about stacks.
The question is this: there are many kinds of stacks (algebraic spaces, DM, algebraic stacks, ...
16
votes
6
answers
4k
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? (...
16
votes
2
answers
3k
views
Is the Torelli map an immersion?
The Torelli map $\tau\colon M_g \to A_g$ sends a curve C to its Jacobian (along with the canonical principal polarization associated to C); see this question for a description which works for families....
16
votes
2
answers
2k
views
Understanding the definition of stacks
First of all I should apologies if this question does not count as a research level one. I asked the same question on MathUnderflow and didn't receive any answer. Let me cross post (copy and paste) it ...
16
votes
3
answers
2k
views
Is every algebraic space the quotient of a scheme by a finite group?
In this MO question it is claimed that a catchphrase for "algebraic spaces" could be that they are "the result of looking at the orbit space of the action of a finite group on a scheme".
Hence my ...
16
votes
1
answer
1k
views
GAGA for stacks
I am curious about stacky generalizations of the following GAGA theorem:
If $X, U$ are complex algebraic varieties of finite type, $X$ is proper and $f:X\to U$ is an analytic map then $f$ is ...
15
votes
2
answers
2k
views
Which definition of "proper" is better?
It is well known that topology and algebraic geometry assign different meanings to the word "proper".
Let us recall the relevant definitions from topology (and we work in the context of topological ...
15
votes
1
answer
2k
views
Qcoh(-) algebraic stack?
The $2$-functor $\text{Qcoh} : \text{Sch}^{op} \to \text{Cat}$, which sends a scheme to its category of quasi-coherent modules, is a stack by Descent Theory. Is it actually an algebraic stack? If not, ...
15
votes
2
answers
5k
views
Understanding the definition of the quotient stack $[X/G]$
I'm trying to understand the definition of the quotient stack $[X/G]$ as defined in Frank Neumann's Algebraic Stacks and Moduli of Vector Bundles.
Explicitly, let $G$ be an affine smooth group $S$-...
15
votes
2
answers
2k
views
Why is lack of functoriality of the Lisse-Etale topology specific to the Lisse-Etale topology?
I'm trying to follow the explanation given in Olsson's "Sheaves on Artin stacks" for the lack of functoriality for lisse-étale topology: Let $f:Y \to X$ be a morphism of algebraic stacks. The functor $...
14
votes
3
answers
3k
views
what is $\mathrm{Bun}(G)$?
I don't even know where to begin. There's a discussion of stacks and they talk about $\mathrm{Bun}(G)$. I don't know what it is, or what it's elements are or why it is important. Google and ...
14
votes
2
answers
6k
views
When does sheaf cohomology commute with arbitrary direct sums?
It is well known and more or less proven in Hartshorne's 'Algebraic Geometry' (p. 209) that for every noetherian scheme $X$ and every collection of abelian sheaves $\mathcal{F}_i$ the canonical map
$$...
14
votes
6
answers
2k
views
Does every morphism BG-->BH come from a homomorphism G-->H?
Given a homomorphism f:G→H between smooth algebraic groups, we get an induced homomorphism of algebraic stacks Bf:BG→BH, given by sending a G-torsor P over a scheme X to the H-torsor PxGH, ...
14
votes
1
answer
740
views
Hodge to de Rham spectral sequence for stacks
For some work I'm doing, I need a version of the Hodge to de Rham spectral sequence for stacks. I am not at all an expert on stacks, so please excuse me if I make minor technical mistakes in stating ...
14
votes
2
answers
2k
views
Ordinary cohomology of stacks
Let $\mathbf{X}$ be a stack over $Top$ (a lax sheaf of groupoids, or some such thing). If it admits a surjective representable map $F \to \mathbf{X}$ then one can form the iterated fibre product to ...
14
votes
1
answer
630
views
Does a degeneration always have a larger-dimensional automorphism group?
Suppose $\newcommand{\X}{\mathcal{X}}\X$ is an algebraic stack over a field $k$, $\xi$ is a $k$-point which has another $k$-point $x$ in its closure ($x$ is an isotrivial degeneration of $\xi$). Must ...
13
votes
2
answers
1k
views
Are non-algebraic stacks useful in algebraic geometry?
The title is a bit vague. What I want to know is if there is any geometric application of non-algebraic stacks. I know e.g. the category of coherent sheaves is an example. But I want to ask if people ...
13
votes
4
answers
2k
views
Motivation for definition of Quotient stack
I am reading "Some notes on Differentiable stacks" by J. Heinloth. In that paper, the notion of quotient stack is defined as follows.
Let $G$ be a Lie group action on a manifold $X$ (left ...
13
votes
2
answers
2k
views
Can a singular Deligne-Mumford stack have a smooth coarse space?
Let XX be a Deligne-Mumford stack and let XX \to X be a coarse moduli space. Suppose that X is smooth. Is XX smooth? If not, what is an example? What if XX is of finite type over C (the complex ...