Questions tagged [stacks]
In mathematics a stack or 2-sheaf is a sheaf that takes values in categories rather than sets.
513 questions
6
votes
0
answers
299
views
Is there a Geometric/Smooth version of Homotopy Hypothesis using the path $\infty$-Groupoid of a Smooth Space?
A version of Homotopy Hypothesis says that the Fundamental $n$-grupoids model Homotopy $n$-types... and if we continue upto $\infty$, then the Fundamental $\infty$- groupoids or Kan Complexes model ...
- 1,215
1
vote
0
answers
223
views
Two definitions of cotangent complex
I have reading a paper by Professor Pridham(https://arxiv.org/abs/0905.4044v4). Page 47-48 contains a comparison of the two definitions of the cotangent complex, but there is a part I don't understand....
- 479
1
vote
1
answer
667
views
Stabilizer $G_x$ of a $k$-valued point of an algebraic Stack
An algebraic stack or Artin stack is a stack in
groupoids $\mathcal{X}$ over the étale site such that the diagonal
map of $\mathcal{X}$ is representable and there exists a smooth
surjection from (the ...
- 5,998
2
votes
0
answers
164
views
Infinititesimal Automorphisms intuition (algebraic stacks)
Let $F$ be a category cofibered in groupoids over category $C$. Given a morphism $x'\to x$ in $F$ lying over a morphism $A′\to A$ in $C$, there is an induced homomorphism
$\operatorname{Aut} A'(x')\to ...
- 5,998
5
votes
1
answer
445
views
Fixed point stack for a torus action
In this paper, M. Romagny defines for an action of a group scheme $G$ on a stack $X$ the fixed point stacks $X^G$ associated
to the group action on a stack and in Theorem 3.3 he proves that if
the ...
- 988
7
votes
1
answer
786
views
Definition of the cotangent complexes of Artin stacks
I am studying the notion of the cotangent complexes of Artin stacks reading LMB's book and Olsson's paper. According to them, the cotangent complexes are defined as projective systems in their derived ...
- 479
4
votes
0
answers
199
views
The definition of flat sheaves of rings on algebraic stacks
Reading Sheaves on Artin stacks by M. Olsson I find this definition (3.7, (i)):
Let $\mathcal X$ be an algebraic stack on a scheme $S$. A sheaf of rings $\mathcal A$ on $\mathcal X_{\textrm{lis-et}}...
- 2,079
2
votes
0
answers
97
views
Representability result
Let $X$ and $S$ be schemes over a field $k$.
Reading this paper, there is a result on the representability of a morphism (proposition 3.1, page 4).
Which result or reference on representability is ...
- 339
3
votes
1
answer
133
views
Is there any relation between two pseudofunctors associated to two different cleavages of the same fibered category?
It is well known that given a Fibered category $P_F: E \rightarrow C$ with a cleavage $K$ we can construct a pseudofunctor $F_K: C^{op} \rightarrow Cat$. Now if one chooses a different cleavage $L$ ...
- 1,215
3
votes
0
answers
115
views
Coverings of (DM) stacks and categories of descent data
If $X$ is a DM stack, we know that there is a surjective étale morphism $U \to X$ with $U$ a scheme. Combining Lemma 4.5 of these notes and Proposition 12.7.4 of Champs Algébriques one should be able ...
- 2,079
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 ...
- 6,023
1
vote
0
answers
108
views
Relationship between Quasicoherent sheaves and $\mathbb A^1$-fpqc modules over an fpqc stack
In what follows, assume several universes for simplicity.
Let $X$ be a stack in groupoids on the fpqc site of small affine schemes $\mathbf{Aff}_{\text{fpqc}}$. We can define $\mathbf{QCoh}(X)$ ...
- 493
5
votes
0
answers
383
views
What is the motive of $\operatorname{Bun}_G(X)$?
$\DeclareMathOperator\Bun{Bun}$Let $X$ be a scheme over algebraically closed field $k$, $G$ a reductive group and $\Bun_G(X)$ the stack of $G$ bundles on $X$. Write $[\Bun_G(X)]\in K_\text{st}$ for ...
- 5,701
4
votes
0
answers
118
views
How big is the complement of stable locus $\operatorname{Bun}G$
Let $\Sigma$ be a smooth projective curve, and $G$ a reductive group. Let $\operatorname{Bun}G$ be the stack of principal $G$ bundles on $\Sigma$ (with a fixed topological type).
What is the ...
- 385
8
votes
0
answers
205
views
What are the Newton groupoids from Drinfeld's paper on the Grinberg-Kazhdan theorem?
The paper the Grinberg-Kazhdan formal arc theorem and the Newton groupoids by Drinfeld seems to contain many interesting things which are beyond me. For now, I am trying to get some intuition for the ...
- 10.5k
3
votes
0
answers
460
views
Why not consider categorical quotient in stacks?
Let's say we have a $k$ group scheme $G$ acting on a $k$ scheme $X$, we can consider its quotient in the category of stacks, the usual definition of it would be the quotient stack $[X/G]$ defined by
...
- 385
1
vote
1
answer
279
views
Are morphisms from affine schemes to Artin stacks affine morphisms?
It is explained in this MO discussion that if one has a morphism $f:X\rightarrow Y$ of schemes such that $X$ is an affine scheme, then $f$ need not be an affine morphism. However, if $Y$ is separated, ...
- 2,751
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 ...
- 1,093
4
votes
2
answers
667
views
Serre's theorem on global generations on stacks
Let $X$ be a quasi-projective scheme, the followings are quite useful.
Every coherent sheaf is globally generated after tensoring with a suitable line bundle.
Every coherent sheaf has trivial ...
- 385
7
votes
3
answers
1k
views
How should one think about the band of a gerbe?
Let $X$ be a topological space. Let $\mathcal{F}$ be a fibered category over $X$; seen as an assignment of a category $\mathcal{F}(U)$ for each open $U\subseteq X$.
A fibered catgeory $\mathcal{F}$...
- 6,023
1
vote
0
answers
115
views
connections on Lie groupoids/differentiable stacks
Let $(\Gamma_1\rightrightarrows \Gamma_0)$ be a Lie groupoid.
There are many places which define the notion of connection on a Lie groupoid.
As far as I have seen, there is no mention of these ...
- 6,023
3
votes
0
answers
316
views
Reference request: Derived structure on the moduli stack of Higgs bundles
I am reading arXiv:1708.08124. When talking about the moduli stack of Higgs bundles on a projective curve $X$. It is said on page 59, first paragraph that
It is often better to put
derived ...
- 385
3
votes
2
answers
409
views
Do disjoint unions of stacks commute with finite fibre products?
Choose a big $\mathit{fppf}$-site $(\mathbf{Sch})_{\mathit{fppf}}$ and let $S$ be a scheme in that site.
Let $\{\mathcal{X}_i\mid i\in I\}$ be a family of stacks in groupoids over $S$ and let $\...
- 91
3
votes
1
answer
439
views
Integrality of Atkin-Lehner operator for $\Gamma_1(N)$
A result due to B. Conrad (http://math.stanford.edu/~conrad/papers/prasanna-inv.pdf, Theorem A.1) states that the Atkin-Lehner operator $w_{Q,k}$ is $\mathbb{Z}[1/Q]$-integral on $M_k(\Gamma_0(N))$. ...
- 465
0
votes
1
answer
378
views
basic question on quotient stacks
Let $X$ be a scheme over $S$, and $G$ be an affine group scheme over $S$ acting on $X$. This Wikipedia article (or also this related MO question) defines a quotient stack $[X/G]$ as a category of ...
5
votes
0
answers
428
views
Limit of quotient stacks
Let $k$ be a field (we can set it to be either perfect or algebraically closed if necessary), let $G$ be a (split) reductive group over $k$. Let $(X_i)$ be a filtered projective system of finite type $...
- 51
3
votes
0
answers
87
views
Smoothness of the stack of Shtukas without modifications
It is a well-known fact, that the stack of shtukas $\mathop{\mathcal{S}\!\mathit{ht}_{\pm 1}^1}$ with two legs and elementary modifications (i.e. those of type $(1,0,\dotsc,0)$ or $(0,\dotsc,0,-1)$) ...
- 91
4
votes
0
answers
229
views
Does $\text{Bun}_G$ have the homotopy type of a classifying space in positive characteristic?
In these lecture notes by Jacob Lurie, he identifies the homotopy type of $\text{Bun}_G$ with that of a certain classifying space $B\mathcal{P}_{sm}$ when the group scheme $G$ is over $\mathbb{C}$. ...
- 2,044
5
votes
0
answers
190
views
Compactly supported cohomology of a topological DM stack
Consider a separated topological Deligne-Mumford stack $\mathfrak X$, i.e., a topological stack which is presentable by a proper etale topological groupoid (equivalently, $\mathfrak X$ is locally ...
- 1,761
4
votes
1
answer
638
views
What is the local structure of a general Artin stack?
Let $X$ be an Artin stack over the complex numbers. What can one say about the local structure of $X$, i.e. what is the simplest class of stacks by which were can always find a cover of $X$ by open ...
- 18.7k
3
votes
1
answer
576
views
Stacks as local quotients or via atlases
If one looks up the definition of a Deligne--Mumford stack or an Artin stack, one usually finds something like:
A DM (resp. Artin) stack is a stack $X$ satisfying [insert condition in the diagonal ...
- 18.7k
3
votes
3
answers
522
views
Lie groupoids in practice
I am familiar with the notion of Lie groupoids.
But, only easy examples of Lie groupoids I am familiar with are the following:
Lie groupoids coming from manifolds; that are of the form $(M\...
- 6,023
2
votes
0
answers
193
views
Reference for calculating the dimension of algebraic stacks
I am interested in the dimension of algebraic stacks.But, I’m in trouble because I can’t calculate it.Are there any good reference or tools for calculating it?
I use the “Champs algébriques” by ...
- 479
1
vote
0
answers
72
views
Spaces of Bordered (Ordinary, Spin- or Super-) Riemann Surfaces
It is known from the work of Deligne and Mumford that the "space" of punctured/marked Riemann surfaces is a Deligne-Mumford stack. I have few questions regarding similar statement for the spaces of ...
- 989
2
votes
1
answer
245
views
$C^*$-algebras appearance in study of Lie groupoids and differentiable stacks
I am reading Differentiable stacks, gerbes, and twisted K-Theory by Ping Xu.
To talk about (twisted) K-theory of differentiable stacks, author introduced (page $41$) the set up of $C^*$-algebras. All ...
- 6,023
3
votes
0
answers
181
views
Connectedness for stacks
Let $X$ be a stack for the Zariski (or etale) site over an arbitrary field $k$. The functor $\pi_0(X) : Alg_k \to Sets$ of path-components of $X$ is defined as the composition
$$Alg_k \overset{X}{\...
- 3,019
4
votes
1
answer
411
views
Reducing the stack condition (descent condition) over an fpqc site to the case of single coverings
This is the lemma 4.25 of Vistoli's note
Let $S$ be a scheme, $\mathscr{F} \to \mathscr{S}ch/S$ a fibred category.
Then $\mathscr{F}$ is a stack over the fpqc site on $S$ iff
(1) $\mathscr{F}$ ...
- 1,364
2
votes
0
answers
227
views
Significance of some expected results when defining Grothendieck topology
Let $\mathcal{C}$ be a category. Fixing an object $U$ of $\mathcal{C}$, there are some obvious functors we can associate to it, for example:
$h_U:\mathcal{C}^{op}\rightarrow \text{Set}$ given by $V\...
- 6,023
2
votes
1
answer
558
views
Stack associated to Groupoid object in category $\text{Sch}/S$
Consider the category of manifolds $\text{Man}$.
A groupoid object in the category of manifolds is called a Lie groupoid, denoted by $\mathcal{G}$. There is a way to associate a stack (over the ...
- 6,023
3
votes
0
answers
84
views
stack (in groupoids) over a site $\mathcal{C}$
Question : What is a stack (in groupoids) over a site $\mathcal{C}$ for you?
There are two a ways to think about it.
A stack over a site $\mathcal{C}$ is a category $\mathcal{D}$ with a functor $\...
- 6,023
1
vote
1
answer
125
views
Reference requence: scheme of complete homomorphisms of rank $r$ via blowups
I'm reading these notes
where it states in section $3$: (transcribed because I can't post image)
Step 1. Introduce the stacks of degenerated and iterated shtukas
which extends that of shtukas.
This ...
- 113
3
votes
0
answers
465
views
Prerequisites for understanding algebraic geometry of “algebraic gerbes”
I am trying to learn about algebraic geometry of gerbes.
I am familiar with set up of gerbes in the case of differential geometry. Though there is some similarity between differentiable gerbes and ...
- 6,023
8
votes
0
answers
178
views
Smooth sub-orbifolds in the language of stacks
In most geometric categories, "monomorphism" is too general to describe useful notions of "embedding". This is the case e.g. for schemes, complex manifolds, and differentiable manifolds.
So "embedding"...
- 23.3k
3
votes
0
answers
785
views
Road map for moduli space/moduli problem/moduli stack
I am familiar with (most of the) contents of Angelo Vistoli's notes on Descent theory (Stacks). I am also comfortable with basics of Schemes, their Cohomology (Cech), from Hartshorne's Algebraic ...
- 6,023
2
votes
1
answer
373
views
Local question and descent category for a quasi-coherent sheaf on $\mathbb{G}_m$-gerbe
Update: I removed what I thought was unecessary and tried to be more straightforward in the hope to get an answer.
Context:
Suppose I have a $\mathbb{G}_m$-gerbe $\mathcal{G}$ over a scheme $X$ with ...
- 65
3
votes
0
answers
240
views
Stacks in moduli spaces of sheaves research
I want to get some practice and build more appreciation for the use of stacks in the context of classical moduli spaces of sheaves. Here by classical I vaguely mean hands-on description of the ...
- 1,190
2
votes
0
answers
318
views
Surjectivity of pushforward on Chow rings for stacks
Let $f:X\rightarrow Y$ be a proper morphism of smooth Deligne-Mumford stacks of finite type over $\mathbb{C}$ that is birational, but not flat. The coarse spaces of $X$ and $Y$ are both not smooth. Is ...
- 776
16
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 ...
- 18.7k
6
votes
1
answer
414
views
Etale sheaves on algebraic spaces vs. Etale sheaves on affines
Let's fix a field $k$. First, consider $Aff_k$ to be the category of affine finite type $k$ schemes. On this category, one can define the etale topology and thus consider the site $Aff_k^{et}$, then ...
- 595
12
votes
0
answers
2k
views
Visualization and new geometry in higher stacks
I am trying to develop a geometrical intuition for "higher spaces", i.e. both in the sense of higher dimensional spaces (more than three dimensions) and in the sense of abstractions beyond ...
- 787