# Questions tagged [stacks]

The tag has no usage guidance.

407 questions
Filter by
Sorted by
Tagged with
67 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 ...
2k 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 ...
91 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)$ ...
305 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 ...
68 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 ...
135 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 ...
157 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 ...
122 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, ...
1k 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 ...
306 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 ...
394 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}$...
80 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 ...
141 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 ...
217 views

66 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)$) ...
172 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}$. ...
121 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 ...
421 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 ...
332 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 ...
285 views

174 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 ...
76 views

412 views

### Yoneda Embedding and pull back

Given a manifold $M$ we have a geometric stack associated to it namely $\underline{M}$ whose objects are smooth maps to $M$. For the sake of consistency I am writing $BM$ for $\underline{M}$. Given a ...
280 views

Everything I write I mean in the in the sense of Lurie's HTT. Suppose that $\mathcal{C}$ be a site and let $F \in Fun( \mathcal{C}^{op} , \mathcal{S})$. Is it always/ever true that $Sh(\mathcal{C}... 1answer 181 views ### Central extension gives a gerbe over stack Consider a central extension of Lie groups$1\rightarrow S^1\rightarrow \hat{G}\xrightarrow{\pi} G\rightarrow 1$. I understand that this mean$\pi:\hat{G}\rightarrow G$is a surjective homomorphism ... 0answers 95 views ### Does the category of$G$-equivariant sheaves have enough injectives? The question is related to this one. Let$k$be a field and$X$be a topological space. We consider Sh$(X)$, the category of sheaves of$k$-vector spaces on$X$. Let$G$be a topological group which ... 1answer 597 views ### Understanding the definition of$G$-gerbe In Introduction to Differentiable Stacks Gregory Ginot defines a$G$-gerbe as the following. Let$G$be a Lie group. A$G$-gerbe over a stack$\mathcal{C}$is a gerbe over stack$\mathcal{D}\...
I am adding some context here. I am reading Introduction to Differentiable Stacks by Gregory Ginot. In page no $7$, just before the remark $2.2$ he says the following. One shall be careful that ...
### Criterion for a sheaf $\mathfrak{S}^{op}\rightarrow (Set)$ to be representable
I am reading Differentiable stacks and gerbes by Kai Behrend and Ping Xu. Let $\mathfrak{S}$ denote the category of smooth manifolds and smooth maps. Consider Grothendieck topology given by open ...