Questions tagged [stacks]
In mathematics a stack or 2-sheaf is a sheaf that takes values in categories rather than sets.
493
questions
6
votes
1
answer
261
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 ...
4
votes
1
answer
916
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
263
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
952
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 ...
4
votes
0
answers
152
views
$\mathcal{M}_{g,n}$ a scheme for $n \gg 0$? [duplicate]
I think that for $n \geq 3$, the Deligne-Mumford moduli stack $\mathcal{M}_{0,n}$ is a scheme. Is it more generally true that for every $g$, the Deligne-Mumford moduli stack $\mathcal{M}_{g,n}$ is a ...
4
votes
2
answers
616
views
Based loop groups as stacks?
I have been stuck for some time, thinking about the following question.
Let $G$ be a Lie group. Its classifying space $BG$ can be seen as the differentiable stack $[pt/G]$, which is of dimension $-...
3
votes
1
answer
149
views
reference for "curves over S are locally the base change of a curve over S' which is finite type over R"
So recently I heard someone claiming that if $X\rightarrow S$ is a smooth curve (not necessarily proper?) and $S$ is an arbitrary scheme over $\text{Spec }R$ (for $R$ sufficiently nice), then there is ...
7
votes
0
answers
293
views
Is the quotient of a scheme by the free action of an elliptic curve an algebraic space?
Let $X$ be a scheme (I'm happy to assume that $X$ is of finite type, separated, and over $\mathbb{C}$) and let $E$ be an elliptic curve which acts freely on $X$. Does the quotient stack $[X/E]$ have ...
13
votes
1
answer
1k
views
Do canonical stacks exist over Spec(Z)?
Suppose a scheme $X$ has tame quotient singularities. Does there exist a smooth DM stack $\mathcal X$ with coarse space $X$ so that the coarse space morphism $\mathcal X\to X$ is an isomorphism away ...
7
votes
0
answers
200
views
Groupoid cardinality of DM stack and point counting on coarse moduli spaces
Let $X$ be a finite type DM stack over a finite field $k$ with a coarse moduli space $X_c$. (We only assume $X_c$ is an algebraic space and $X$ might have infinite inertia stack.)
Under which ...
3
votes
1
answer
504
views
What if the base change of an algebraic space is representable
Let $k\subset L$ be an extension of fields of characteristic zero.
Suppose that $X/k$ is an algebraic space such that $X\otimes_k L$ is representable by a finite type $L$-scheme.
I am sure there are ...
4
votes
1
answer
319
views
Torsors in the analytic topology versus torsors in the etale topology
Let $S= \mathbb A^1_{\mathbb C}$ be the affine line, and let $G$ be a smooth connected reductive group over $S$, e.g., $G = \mathbb G_m, \mathrm{SL}_n$ or $SO_n$.
Is every analytic $G$-torsor over $S$...
6
votes
1
answer
421
views
Is there a Riemann existence theorem for orbifolds?
For smooth algebraic varieties $X$ over $\mathbb{C}$, the Riemann existence theorem establishes an equivalence of categories between the category of finite etale covers of $X$ and finite unramified ...
3
votes
0
answers
288
views
Properties of finite quotients of quasi-projective varieties
Let $G$ be a finite group acting on a (smooth) quasi-projective variety over $\mathbb C$.
One can consider the stacky quotient $[X/G]$ or the "classical" quotient $X/G$. In general, $[X/G]$ is not a ...
8
votes
1
answer
1k
views
Relation between $BG$ in topology and in algebraic geometry
This could as well have been asked in the comments to this question, but I prefer to open a new one for the sake of clarity.
Say $G$ is a reductive group over the complex numbers, with compact real ...
9
votes
3
answers
2k
views
Gerbes and Stacks
The definition of a gerbe on a smooth manifold that I know is that - after fixing an open cover $U_i$, a gerbe consists of the data of line bundles $L_{ij}$ on two-fold-intersections $U_{ij}$, ...
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 ...
6
votes
0
answers
480
views
Nowhere vanishing section of vector bundles over varieties as connectivity of morphism of stacks
The following is, amongst others, a Hartshorne exercise:
Let $V$ be a $k$-variety of dimension $n$ and $\mathcal{E}$ a vector bundle of rank greater than $n$, then, generically, a generating section ...
9
votes
2
answers
969
views
Finite etale atlas for Deligne-Mumford stacks
Let $X$ be a smooth finite type separated connected Deligne-Mumford stack over $\mathbb C$.
Does there exist a finite etale morphism $Y\to X$ with $Y$ a scheme?
What if $X$ is an algebraic space (i....
8
votes
2
answers
361
views
Map between stacks and automorphism groups
I know that the Torelli morphism $t_g:\mathcal{M}_g\rightarrow \mathcal{A}_g$ between the stacks of smooth curves of genus $g$ and principally polarized abelian varieties of dimension $g$ is of order ...
2
votes
0
answers
112
views
quotient a scheme by a stratified vector bundle
Let $k$ be a field.
Let $X$ be a $k$-scheme of finite type, normal and integral. We consider $f,g:R\rightarrow X$ an equivalence relation, surjective and such that it is a stratified vector bundle, i....
3
votes
1
answer
578
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 ...
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 $[\...
6
votes
1
answer
249
views
Question regarding 2-mathematics: Can you stackify a 2-functor without prestackifying it first?
Let $C$ be a site and $CAT$ the 2-category of categories. Given a contravariant 2-functor $A:C\rightarrow CAT$, we can of course consider the associated stack. This is done by first considering the ...
1
vote
0
answers
191
views
Why $D^b(S)\cong D^b_{\text{Car}}(\text{cosq}(X\rightarrow S))$?
Let $p: X\rightarrow S$ be a map between topological spaces and we can construct the simplicial space $\text{cosq}(X\rightarrow S)$ where $X_0=X$, $X_1=X\times_S X$ and
$$
X_n=\underbrace{ X\times_S \...
6
votes
1
answer
568
views
Pulling back quasi-coherent sheaves from a quotient stack
In a problem I am trying to solve, the following situation occurs. $X$ is a smooth variety and $G$ is a reductive group acting transitively on $X$. We have the stack $X/G$ and a morphism $\pi : X \to ...
3
votes
1
answer
229
views
Is the cotangent complexes of groupoids bounded above by degree $1$?
Let $\mathcal{X}$ be a stack given by a groupoid $X_1\rightrightarrows X_0$, where $X_0$ and $X_1$ are smooth $k$-varieties. Let $\mathbb{L}_{\mathcal{X}/k}$ be the cotangent complex of $\mathcal{X}$....
12
votes
0
answers
492
views
Other examples of the algebro-geometric Ran space
First off, sorry if this seems vague.
Let's recall some definition. Let $X$ be a curve over a field $k$ and $G$ an algebraic group, then the space $Ran_G(X)$ as defined by Lurie in his Tamagawa ...
7
votes
0
answers
446
views
Derived Functors, Projection Formula and Base Change in the Derived $\infty$-Category
Let $X$ be a smooth stack and $\mathcal O_X$ the ring of smooth functions on $X$, i.e. for any smooth $M \to X$, $\mathcal O_X(M \to X) = C^\infty(M)$.
In HigherAlgebra, the derived category $\...
1
vote
0
answers
206
views
Embedding dimension: local finiteness & intuition for more general spaces
Can every complex analytic space be covered by Stein spaces of finite embedding dimension?
I am almost sure that ought to be true. Here the definition of embedding dimension I have in mind is
$$
\...
3
votes
0
answers
141
views
Properties of the induced map between inertia stacks
Let $\mathcal X$ and $\mathcal Y$ be (separated) Deligne-Mumford stacks. A morphism of stacks $f:\mathcal X \to \mathcal Y$ induces a morphism between inertia stacks $\tilde f:I\mathcal X \to I\...
2
votes
1
answer
353
views
Moduli of curves in characteristic zero
Let $K$ be a field of characteristic zero, and let $\overline{K}$ be its algebraic closure. Let $\overline{M}_{g,n}(K)$ and $\overline{M}_{g,n}(\overline{K})$ be the coarse moduli spaces parametrizing ...
3
votes
0
answers
379
views
Is a stack that is finite etale over an algebraic stack also algebraic?
Here by "algebraic stack" I mean a stack in groupoids over $(\textbf{Sch}/S)_\text{etale}$ (for some scheme $S$) whose diagonal morphism is representable (by schemes), and which is covered by a ...
3
votes
0
answers
120
views
Representable torsors on geometric groupoid
Let $(C,\tau,\mathbb P)$ be a geometric context, as defined by Toen and Vezzosi. Let $(X_1\rightrightarrows X_0)$ be a groupoid object in $C$ such that the source and target morphisms are in $\mathbb ...
1
vote
1
answer
277
views
étalé space of sheaves on a differentiable stack
If $F$ is a sheaf on a topological space $X$, the well-known étalé space
contruction gives rise to a bundle $\Gamma F$ on $X$ such that $F$ is
isomorphic to the sheaf of sections of $\Gamma F$.
On ...
4
votes
1
answer
162
views
Deforming curves to other curves over the field of rational numbers
Let $X$ and $Y$ be smooth projective geometrically connected curves over $k$ of genus $g$ at least two.
If $k$ is an algebraically closed field of characteristic zero, there exists a connected ...
7
votes
2
answers
602
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
2
answers
542
views
Associating a principal bundle to a torsor
In Introduction to the language of stacks and gerbes, Moerdijk defines a torsor to be a sheaf $\mathcal{S}$ on $X$ with a freely transitive left-action of a sheaf of groups $\mathcal{G}$, such that $...
7
votes
1
answer
1k
views
Quasi-coherent sheaves on classifying stacks
Let $G$ be a smooth group scheme over some base $S$. Then we have the $S$-stack $BG$ whose $T$-points are the $G$-torsors on $T$. Under which conditions do we have $\mathsf{Qcoh}(BG) \simeq \mathrm{...
3
votes
0
answers
385
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 ...
4
votes
0
answers
454
views
Cohomology of BG, algebraically
Let $k$ be a field (algebraically closed if you will) and $G$ be a connected reductive group over $k$. I would like to know a purely algebraic computation of the cohomology of $BG$, as the quotient ...
13
votes
1
answer
928
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) ...
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$-...
3
votes
1
answer
484
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
426
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 ...
0
votes
1
answer
156
views
Groupoid as a 2-coequaliser
Let $G=(G_1, G_0, s, t, u, i,\circ)$ be a groupoid, where $s, t$ are source and target maps, $i$ is the inverse, $u$ is the unit, and $\circ$ is the composition.
Denote $\underline{G_1}, \underline{...
6
votes
1
answer
717
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 $...
7
votes
1
answer
2k
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.
13
votes
0
answers
869
views
Stack of Tannakian categories? Galois descent?
I'm having trouble finding a reference for something that I'm guessing the experts worked out long ago. Let's take a local or global field $F$ for this post, and fix a separable algebraic closure $\...
8
votes
1
answer
509
views
Stacks over diffeologies
Konrad Waldorf shows in his paper one may realize a Grothendieck topology on the category of diffeological spaces. Is there any work exploring stacks over the category of diffeologies?