The stacks tag has no wiki summary.

**12**

votes

**0**answers

685 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 ...

**11**

votes

**0**answers

265 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] + ...

**11**

votes

**0**answers

310 views

### Atiyah-Bott from Beauville-Laszlo

This is a question about the cohomology groups of the stack of vector bundles (with fixed discrete invariants) on an algebraic curve. Explicit formulas for these cohomology groups are known, and they ...

**11**

votes

**0**answers

338 views

### Is there a non-quotient stack with affine stabilizers whose good moduli space is a geometric point?

Definitions: One says that a map $\pi\colon\mathcal X\to X$ from an algebraic stack to an algebraic space is a good moduli space if $\pi$ is cohomologically affine and universal for maps to schemes. ...

**11**

votes

**0**answers

529 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 ...

**10**

votes

**0**answers

433 views

### Deformations of some simple quotient stacks.

I am interested in stacks of vector bundles on varieties and how deformations of the variety (including non-commutative ones) reflect themselves in deformations of the stack of vector bundles.
I will ...

**10**

votes

**0**answers

471 views

### Two questions on algebraic stacks

Question 1: The main reference on algebraic stacks (Laumon and Moret--Bailly) defines a separable algebraic stack as one having universally closed diagonal. For schemes separability is simply defined ...

**9**

votes

**0**answers

208 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 ...

**8**

votes

**0**answers

274 views

### What is the signficance of the existence of a moduli stack to a moduli problem?

This is a question in pretty unfamiliar territory for me, so if I have conceptual mistakes please correct me.
Let's say we begin with a naive moduli problem: we want a moduli space (whatever space ...

**7**

votes

**0**answers

347 views

### Quasi-coherent sheaves on $M_{FG}$ and the exact functor theorem

I'm struggling with these notes, and one of the things I don't really understand is the following. The notes consider the stack $M_{FG}$ of formal groups; this is the stack associated to the prestack ...

**7**

votes

**0**answers

182 views

### Separation condition for higher Deligne-Mumford stacks

Let $X$ be a stack of $n$-groupoids on the site of affine schemes over a fixed base, with the etale topology. If $n=1$ then for $X$ to be Deligne-Mumford, aside from having an etale atlas from an ...

**7**

votes

**0**answers

395 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 ...

**5**

votes

**0**answers

97 views

### KK-witnesses of Gysin maps between differentiable stacks

In 1982 Alain Connes gave the construction of a KK-element $f! \in KK(C(X), C(Y))$ that "witnesses" the fiber integration/Gysin/Umkehr/wrong-way map on topological $K$-theory along a K-orientable map ...

**5**

votes

**0**answers

178 views

### Does every stack with a connection admit an atlas with a connection?

Dear all,
Let $S$ be a scheme in characteristic $0$,
and let $\mathscr{X}/S$ mean a crystal in Artin stacks over $S$ in the sense of this handout, page 4, Definition 0.5, where we replace the scheme ...

**5**

votes

**0**answers

129 views

### Maximal algebraic sub-groupoids

By a theorem of Ehresmann, topological and Lie categories (by which I mean categories internal to $Top$ and $Diff$ respectively, with the condition that the source and target in the latter case are ...

**4**

votes

**0**answers

129 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 ...

**4**

votes

**0**answers

204 views

### Differential Geometry of (Non-Abelian) Gerbes in the language of Brylinski

Context
In an effort to have a definition for connection on a non-abelian gerbe, in the style of Brylinski, I am reading Breen and Messing's Differential Geometry of Gerbes [BM]. It seems that there ...

**4**

votes

**0**answers

196 views

### What is the structure of the stack of complexes supported in dimension less than r?

Let $X$ be something. (smooth and projective variety over C are my assumptions)
The stack $M$ parameterising coherent sheaves on $X$ splits as a disjoint union of open and closed substacks $M_\alpha$, ...

**4**

votes

**0**answers

178 views

### Properties of the Zariski-Riemann topology on the set of valuations

One can classify all valuations on a function field $K$ of transcendence degree $2$ over $\mathbf{C}$. Let's consider the set $S_K$ of all valuations on $K$ endowed with the Zariski-Riemann topology.
...

**4**

votes

**0**answers

359 views

### Stack cohomology vs cohomology of the quotient

Let $X$ be an affine scheme over an algebraically closed field $K$ of positive characteristic, $G$ a finite group acting on $X$, $[X/G]$ the quotient stack and
$p:[X/G]\to X/G$ the natural map of ...

**4**

votes

**0**answers

435 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 ...

**3**

votes

**0**answers

147 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

44 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 ...

**3**

votes

**0**answers

175 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 ...

**3**

votes

**0**answers

243 views

### On the local structure of Deligne-Mumford stacks

Is it true that for any DM stack $\mathcal{X}$ (quasicompact, separated, of finite type over a field) there is a Zariski covering $\mathcal{U}_i \to \mathcal{X}$ by open substacks, such that for all ...

**3**

votes

**0**answers

291 views

### Analysis of Eilenberg-MacLane Stacks

In a series of three papers from the fifties, Eilenberg and MacLane did a pretty exhaustive study of what we now call "Eilenberg-MacLane spaces" and used a lot of machinery to do it, e.g. Whitehead's ...

**3**

votes

**0**answers

128 views

### Where does the ''hyper'' go?

There is a model structure on the category $Grpd$ of groupoids such that weak equivalences are equivalences of categories, cofibrations are the injections on objects (see nlab) and there is a Quillen ...

**3**

votes

**0**answers

147 views

### Chow ring of a $\mu_2$-gerbe

Suppose that $X$ is a stack, and $Y \to X$ is a $\mu_2$-gerbe. Is there any relationship between the integral Chow rings (in the sense of Edidin and Graham) of $X$ and $Y$?
(I assume they become ...

**3**

votes

**0**answers

81 views

### How does the machinery of left-exact comonads generalize from sheaves to stacks?

Suppose that we have two Grothendieck sites, their associated sheaves $\mathcal{E}=\rm{Sh}(\bf{C},J)$ and $\mathcal{F}=\rm{Sh}(\bf{D},K)$ and a geometric surjection $f:\mathcal{E}\to\mathcal{F}$. This ...

**3**

votes

**0**answers

194 views

### Definition of derived category of a stack

In their book, Bernstein an Lunts define the equivariant derived category in several ways. One can be expressed as follows:
Let $X$ be a say complex variety with an action by an algebraic group $G$.
...

**3**

votes

**0**answers

195 views

### Cohomology of line bundles on smooth projective toric Deligne-Mumford stacks

Let $\mathcal{X}$ be a smooth projective toric Deligne-Mumford stack with coarse moduli scheme $\pi\colon \mathcal{X}\rightarrow X.$
Let $[D]$ be a Cartier divisor on $\mathcal{X}$ such that ...

**3**

votes

**0**answers

203 views

### properness of stack

Hi,
assume we have an algebraic stack $A$ over $Sch(\mathbb{Z})$ which is quasi-compact and with separated diagonal. Assume that I have a stack $B$ which is obtained by rigidifying $A$ by a subgroup ...

**3**

votes

**0**answers

190 views

### Derived pullback of quasi-coherent complexes between algebraic stacks

Let $X$ and $Y$ be Artin algebraic stacks, and $f:X\to Y$ a morphism. I am interested in a pullback morphism
$Lf^\ast : D^-_{qcoh}(Y)\to D^-_{qcoh}(X)$.
In his paper Sheaves on Artin stacks, ...

**3**

votes

**0**answers

161 views

### When is a category of groupoid schemes fibred over schemes?

The category of topological categories $Cat(Top)$ is fibred over $Top$ - the functor sending a groupoid $X_1 \rightrightarrows X_0$ to its object space $X_0$ is a Grothendieck fibration. Now one can ...

**3**

votes

**0**answers

880 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 ...

**2**

votes

**0**answers

77 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 ...

**2**

votes

**0**answers

57 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 ...

**2**

votes

**0**answers

68 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 ...

**2**

votes

**0**answers

367 views

### what's the coherent sheaf and sheaf cohomology on Deligne-Mumford stack ?

hello, everyone, I am reading Deligne-Mumford's paper, and the section 4 of this paper, they given some properties of Deligne-Mumford stack without proof. I can't understand the coherent sheaf and ...

**2**

votes

**0**answers

298 views

### Is the category of quasi-coherent sheaves on a concentrated stack locally finitely presentable?

Let's call an Artin stack $X$ concentrated iff it is quasi-compact and quasi-separated (the latter usually being included in the definition of an Artin stack). The category of quasi-coherent sheaves ...

**2**

votes

**0**answers

500 views

### Coarse Moduli space of proper Deligne-Mumford stacks

Let F be a finite type proper Deligne-Mumford Stack over a perfect field. Is it true that the coarse moduli space of F is proper?

**1**

vote

**0**answers

146 views

### Zariski's Main Theorem for stacks

Let $X$ be a separated Deligne Mumford stack of finite type over a base field $k$ and $Y$ be a proper Deligne Mumford stack over $k$.
Assume there is a quasifinite, representable, surjective and ...

**1**

vote

**0**answers

146 views

### Irreducibility of monodromy of eigenspaces of families of cyclic coverings

In the article "La conjecture de Weil", Deligne proves that for the primitive cohomology of a universal family $f:X \rightarrow S$ for $M_{d,n}$ the moduli stack of hypersurfaces of degree $d$ in ...

**1**

vote

**0**answers

160 views

### stack quotient question

Hi,
I have the following question:
let $k$ a field with $char(k)= p>0$, which we can assume to be perfect, $W(k)$ the ring of Witt vector, and $a,b$ positive integers.
Consider the ring ...

**1**

vote

**0**answers

140 views

### $G_m$-cohomology of a motif (that corresponds to a stack?)

As in the question For a G-variety, what could one say about the motif of the corresponding simplicial variety
I am in the following situation: $G$ is an algerbraic group, and X is a smooth ...

**0**

votes

**0**answers

48 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
$$
...

**0**

votes

**0**answers

131 views

### Weighted projective space, its varieties, the universal hyperplane section description and the Segre embedding

We will view here the weighted projective space as an orbifold.
Let $S=k[x_0,...,x_n]$ be a positively graded ring (I don't assume $S$ to be finitely generated in degree 1). To the grading ...

**0**

votes

**0**answers

121 views

### quotient by a proper equivalence relation

Let X be a scheme and R be a proper equivalence relation on X. What can be said about the geometric structure of the quotient X/R?
Is it representable by a stack, for example?

**0**

votes

**0**answers

144 views

### Terminology for a partition of unity for an étale groupoid

I would like to ask about terminology for a partition of unity for an étale groupoid.
I am reading the lecture notes "Cohomology of Stacks" by Prof. Behrend. A partition of unity is defined in ...