2
votes
0answers
139 views

l-adic cohomology and perverse sheaves

Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...
3
votes
0answers
176 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 ...
1
vote
0answers
90 views

A certain 'coniveau-like' filtration for cohomology: what can one say about the intersection of $Ker H^i(X)\to H^i(Z)$ for $Z$ running through subvarieties of $X$ of dimension $m$?

Let $X$ be a smooth variety (say, a complex one; denote its dimension by $n$). What can one say about the intersection of $Ker (H^i(X)\to H^i(Z))$ for $Z$ running through (closed, not necessarily ...
1
vote
1answer
214 views

Are these connecting homomorphisms commutative?

Are the connecting homomorphism induced by Kummer sequence and that of localization sequence commutative? In other words, is the following statement true? If it is true, then, how can one prove it? ...
1
vote
1answer
165 views

How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smooth in high codimension?

Let $V$ be a variety (or a Whitney stratified space); $C$ is a constant etale ('topological') sheaf on it. Let $t$ denote the middle perverse t-structure for the corresponding derived category (of ...
3
votes
1answer
570 views

The Gysin long exact sequence for the complement of the zero section of a line bundle over a (possibly) singular base

Let $pr:X\to Z$ be a line bundle of (possibly) singular varieties (that could be reducible) over a characteristic $p$ field ($p$ could be zero); $U$ is the complement to the zero section $Z\to X$. ...
1
vote
0answers
200 views

What can one say about a smooth variety whose lower cohomology is trivial?

Let $X$ be a smooth (quasi-affine) complex variety; suppose that its cohomology (say, with integral coefficients) is trivial in degrees $0 < i\le s$ (for some $s>0$). What can one say about such ...
1
vote
1answer
352 views

vanishing of cohomology sheaves with supports and values in the multiplicative group

Let $X$ be a locally noetherian regular scheme and $Y$ be a closed subscheme of codimension $d > 0$ in every point. Why does it "immédiatement" (Grothendieck, Groupe de Brauer III, §6, p. 133 f.) ...
3
votes
0answers
186 views

limit of étale cohomology with supports

I would like to know if the following generalisation of Milne Étale Cohomology, Lemma III.1.16, p. 88 holds: (all cohomology groups with respect to the étale topology) Let $Y \hookrightarrow X$ ...
1
vote
1answer
177 views

combination of two duality theorems

For a variety $X$ over a finite field $k$, one combines étale Poincaré duality for $X \times_k \bar{k}$ with duality for $k$ ($H^0(k,M) \times H^1(k,M^\vee) \to H^1(k,\mathbf{Z}/n) = \mathbf{Z}/n$) to ...
1
vote
0answers
288 views

Does n-multiplication maps of cohomology groups vanish if it vanishes at the 0th cohomology?

In general, we know that a morphism $f=(f ^ {q})$ between universal (cohomological) $\delta$ functors $S=(S ^ {q}),T=(T ^ {q})\ $vanishes if and only if $f ^ {0} \ \colon \ S^{0} \to T^{0}$ ...
8
votes
2answers
420 views

Concrete interpretations of higher (sheaf) cohomology groups

$H^1$ has an interpretation as torsors. But what about the higher $H^i$ (in the setting of algebraic geometry, and étale or flat cohomology)? For example $H^2(X, \mathbf{G}_m)$ is (often) isomorphic ...
5
votes
0answers
195 views

Which pure categories related with Weil cohomology theories are semi-simple?

As far as I understand, the category of pure polarizable Hodge modules is semi-simple, whereas the cohomology of the corresponding schemes is graded polarizable. Is it true that one doesn't have any ...
14
votes
1answer
1k views

Are all Galois cohomology groups also étale cohomology groups?

Let $K$ be a field and $K^s$ a separable closure of $K$, and let $\mathcal{F}$ be a sheaf on $\mathrm{Spec}(K)$ (in the étale topology). By Grothendieck's Galois Theory, we have the isomorphism ...
6
votes
1answer
739 views

Flat cohomology and Picard groups

Let $(R,m)$ be a local complete intersection of dimension $3$. Let $X=Spec(R)$ and $U=Spec(R) -\{m\}$ be the punctured spectrum of $R$. I am trying to understand the following comment by Gabber (see ...
6
votes
2answers
420 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 ...