Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
2 votes
0 answers
254 views

Finite generation of stack cohomology

Let $X$ be an Artin stack of finite type. Does it follows that its (say, $\ell$-adic or de Rham) cohomology $\text{H}^*(X)$ is a finitely generated algebra? For instance, $\text{H}^*(\text{B}\mathbf{G}...
Pulcinella's user avatar
  • 5,701
25 votes
1 answer
3k views

Is there a ring stacky approach to $\ell$-adic or rigid cohomology?

Ever since Simpson's paper [Sim], it was observed that many different cohomology theories arise in the following way: we begin with our space $X$, we associate to it a stack $X_\text{stk}$ (which ...
Gabriel's user avatar
  • 711
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 ...
Mohan Swaminathan's user avatar
3 votes
1 answer
272 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]$ ?
Bear's user avatar
  • 845
4 votes
0 answers
477 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 ...
QcH's user avatar
  • 805
1 vote
0 answers
178 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 $G$-...
Mikhail Bondarko's user avatar
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....
Qfwfq's user avatar
  • 23.3k
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 ...
Ben Webster's user avatar
  • 44.7k
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(\...
Dan Petersen's user avatar
  • 40.2k
11 votes
2 answers
2k views

Finiteness conditions on simplicial sheaves/presheaves

Could someone give an overview, or just some examples, of "finiteness conditions" for simplicial sheaves/presheaves and/or simplicial schemes? Any answer or comment about this would be interesting, ...
Andreas Holmstrom's user avatar