Questions tagged [stacks]
In mathematics a stack or 2-sheaf is a sheaf that takes values in categories rather than sets.
513 questions
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 ...
- 4,070
13
votes
1
answer
2k
views
Are root stacks characterized by their divisor multiplicities?
Definitions/Background
Suppose $S$ is a scheme and $D\subseteq S$ is an irreducible effective Cartier divisor. Then $D$ induces a morphism from $S$ to the stack $[\mathbb A^1/\mathbb G_m]$ (a ...
3
votes
0
answers
2k
views
When is the base change morphism an isomorphism?
This is a rewrite of a previous question, which was in turn a follow up question to Leray-Hirsch principle for étale cohomology The motivation is to clarify some points in Torsten Ekedahl's ...
- 23.5k
3
votes
1
answer
921
views
Question about global quotient stacks
In "Brauer groups and quotient stacks", Edidin et. al prove the following theorem:
Theorem 2.7. Let $\mathcal{X}$ be an algebraic stack over a Noetherian base (of finite type). Then the diagonal $\...
- 1,841
4
votes
1
answer
341
views
Noether-style isomorphism theorem for stacks?
Let $G$ be a group, actiong on a set $X$ and $H$ a normal subgroup.
Then we have a canonical isomorphism
$$(X/H)/(G/H)\rightarrow X/G$$
I would like to have a statement like this for stacks, more ...
- 13.2k
29
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 ...
- 4,842
8
votes
3
answers
1k
views
Twisted curves, admissible covers, and an algebraic analogue of a specific monodromy computation
This problem arose when trying to understand the stack of twisted stable maps into a stack (specifically BG), as introduced by Dan Abramovich, Angelo Vistoli and several co-authors (Olsson, Graber, ...
- 40.2k
3
votes
1
answer
436
views
Notion of stack fibered in monoidal categories?
This can be seen as a follow up my question here:
Is there a notion of "fibered category with boxproducts"?
Given a monoidal fibration $f:E\rightarrow B$
(i.e. a strict monoidal functor ...
- 13.2k
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 ...
- 15.5k
12
votes
0
answers
990
views
Stacks in the fpqc topology
This is related to Matt Satriano's earlier question about an analog of Artin's theorem for stacks with an fpqc cover by a scheme.
Suppose one developed the theory of stacks in the fpqc topology and ...
- 2,083
5
votes
1
answer
631
views
Does the concept of a basis for a topology on a category exist?
If we want to define a sheaf F on a topological space X and we have a basis B for the topology of X, what we can do is to define objects and restrictions for guys in B, check that they satisfy the "B-...
- 1,993
8
votes
2
answers
875
views
Universal property of X//G?
Given an operation of say a topological group on a topological space, one can form the quotient stack X//G:
the stack associated to the action groupoid.
Does this stack satisfy some kind of universal ...
- 13.2k
8
votes
1
answer
948
views
When is a stack (NOT) geometric?
Following the terminology of $n$-Lab, a geometric stack $\mathcal{X}$ on a site $\mathcal{(C,J)}$ is a stack for which there exists a representable epimorphism $X \to \mathcal{X}$ from an object $X$ ...
- 15.5k
9
votes
1
answer
539
views
Double Category of Topological Stacks
There are two equivalent ways of describing topological stacks.
One is the "stacky" definition, that is, a topological stack is a stack $\mathbb{X}$ on $Top$ (a Grothendieck universe thereof, if you'...
- 15.5k
31
votes
7
answers
4k
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" ...
- 23.5k
7
votes
4
answers
5k
views
Cotangent bundle of a differentiable stack
If you ever wanted to construct the tangent bundle of a differentiable stack, it's relatively simple:
First, if $\mathbf{X}$ is a stack coming from a Lie groupoid $\mathcal{G}$, you could just say $\...
- 15.5k
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 ...
- 18.2k
10
votes
3
answers
1k
views
Connections on principal bundles via stacks?
Let G be a Lie group and M a smooth manifold. Suppose that P is a principal G-bundle over M. Then by Yoneda, this corresponds to a smooth map $p:M \to [G]$, where $[G]$ is the differentiable stack ...
- 15.5k
5
votes
0
answers
873
views
finite etale covering of stacks
If $Y \to X$ is a finite etale map of schemes, then there exists a finite Galois morphism $Z \to X$ (i.e. it's a $Aut(Z/X)$-torsor) that factors as $Z \to Y \to X.$ The case when $X$ is normal is easy ...
- 4,265
11
votes
2
answers
3k
views
Stacks in the Zariski topology?
I have two naive questions about stacks.
1) Is it possible to define stacks in the Zariski topology?
Presuming you can:
2) If a stack has a coarse moduli, and the coarse moduli space is a ...
- 2,218
7
votes
1
answer
403
views
What is the local structure of a Lie groupoid?
A manifold is locally $\mathbb R^n$. An orbifold is locally $\mathbb R^n/\{\text{finite group}\}$. Is there a similar way to think about the local structure of a Lie groupoid $G_1 \rightrightarrows ...
- 54.6k
20
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....
- 23.3k
12
votes
1
answer
995
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 ...
- 616
10
votes
3
answers
1k
views
Positivity in stack geometry
I was wondering how much of the theory say of Lazarsfeld books can be carried to algebraic stacks (if this has been done).
Do we have a sensible notion of an ample (big, nef) line bundle? Of an ample ...
- 14.7k
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 ...
- 21k
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? (...
- 5,052
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 ...
- 54.6k
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 ...
- 14.7k
7
votes
3
answers
800
views
Degrees of etale covers of stacks
This is probably pretty basic, but as I said before I'm just beginning my way in the language of stacks.Say you have an etale cover X->Y of stacks (in the etale site). Is there a standard way to ...
- 1,386
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 ...
- 1,386
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 ...
- 611
5
votes
1
answer
283
views
how good an approximation to the equivariant derived category is given by the Grassmannian filtration of the classifying space?
So, let's say one has an action of $GL_n$ on an algebraic variety $X$ over a field $k$, and two objects $F,G$ in the equivariant derived category (i.e., the derived category of constructible sheaves ...
- 44.7k
4
votes
1
answer
559
views
Approximation of stacks / algebraic spaces
Let $B$ be a ring which is the colimit of rings $B_\lambda$. Let $X_\lambda$ be a stack (not necessarily algebraic) over $B_\lambda$ such that $X_\lambda \times_{B_\lambda} B_\mu = X_\mu$ and let $X =...
- 611
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 ...
- 14.7k
8
votes
4
answers
2k
views
Is there a good notion of `Separated Stack'?
A scheme is separated if the diagonal inclusion $X \to X \times X$ is a closed immersion. I what to know if there is a good generalization of `separated' for algebraic stacks?
My usual stack ...
- 27.5k
7
votes
2
answers
3k
views
What is a proper stack?
I have seen the use of the word "proper Deligne-Mumford stack". Now, it is clear to me what it means for a morphism f of stacks to be proper: as usual it should be representable, and every morphism ...
- 14.7k
10
votes
1
answer
1k
views
coarse moduli space of DM stacks
This is related to another one of my questions on DM stacks. In Brian Conrad's article 'The Keel-Mori Theorem via Stacks', a sufficient condition on for an Artin stack to have coarse moduli space is ...
- 4,265
7
votes
3
answers
2k
views
Is the inertia stack of a Deligne-Mumford stack always finite?
Let X be a DM stack over a field k. We follow the definition in Laumon and Moret-Bailly's book, so that its diagonal is quasi-compact (and hence diagonal is of finite type). Then is the diagonal ...
- 4,265
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 ...
- 1,180
53
votes
1
answer
7k
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 ...
- 44.7k
13
votes
1
answer
462
views
Why are non-singleton covering families often ignored?
It seems to me that frequently when discussing stack conditions and descent, people consider only singleton covering families, i.e. there is some single covering map $U\to X$, for which one constructs ...
- 66.7k
10
votes
1
answer
785
views
Sites which are stacks over themselves
A site C with pullbacks is subcanonical (all representable presheaves are sheaves) if and only if its codomain fibration $Arr(C) \to C$ is a prestack (all hom-presheaves are sheaves). Is there a ...
- 66.7k
2
votes
1
answer
324
views
Descend finite etale algebras
Let $\pi:X\to\mathcal X$ be a presentation of an Artin stack $\mathcal X$ of finite type over a field $k,$ and let $f:Y\to X$ be a finite \'etale covering. Does there exist a finite \'etale covering $...
- 4,265
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....
- 10.5k
4
votes
4
answers
1k
views
Near Trivial Quiver Varieties
So, today I started learning the definition of a quiver variety, and wanted to make sure I'm understanding things right, so first, my setup:
I've been looking at the simplest case that didn't look ...
- 16k
11
votes
2
answers
878
views
Does sheafification preserve sheaves for a different topology?
Let $T_1$ and $T_2$ be two Grothendieck topologies on the same small category $C$, and let $T_3 = T_1 \cup T_2$ (by which I mean the smallest Grothendieck topology on $C$ containing $T_1$ and $T_2$). ...
- 66.7k
21
votes
4
answers
4k
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 ...
- 211
13
votes
2
answers
840
views
When can cohomology be calculated on the coarse moduli space?
Suppose $\cal{X}$ is a DM-stack, and X its coarse moduli space. Let F be a sheaf on $\cal{X}$, and $\pi : \mathcal{X} \to X$ the projection. In all examples I have seen, it has been true that
$H^i(\...
- 40.2k
8
votes
3
answers
891
views
Is there any Grothendieck Riemman Roch theorem for general stack ?
It seems that there is no g.r.r for stack yet according to dejong. Does anyone know anything about it? But as you might know, there are some complex manifold which is not scheme having atiyah singer ...
- 5,515
5
votes
1
answer
696
views
Local Joyal-simplicial presheaves?
It is well known that left Bousfield localizations of the global functor model category $Func(C^{op}, SSet_{standard})$ of functors with values in simplicial sets equipped with the standard model ...
- 19.8k