All Questions
31 questions
26
votes
2
answers
2k
views
Flat versus étale cohomology
Although the definition of étale ($\ell$-adic) cohomology is scary, I have at least some intuition for how it should behave: for instance, when it makes sense, I expect that it should be “similar” to ...
9
votes
0
answers
691
views
In Mann's six-functor formalism, do diagrams with the forget-supports map commute?
One of the main goals in formalizing six-functor formalisms is to obtain some sort of "coherence theorem", affirming that "every diagram that should commute, commutes". In these ...
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 ...
2
votes
0
answers
245
views
Proof of the projection formula (for cohomology of $\mathbf{P}V$)
Let $V\to X$ be a vector bundle (over say a scheme).
Then the cohomology of its projectivisation is
$$\text{H}^*(\mathbf{P}V)\ =\ \text{H}^*(X)[t]/(t^{n+1}+c_1(V)t^n+\cdots+c_n(V))$$
as an algebra, ...
8
votes
1
answer
2k
views
Cohomology of Grothendieck topology
My naïve cartoon picture of the construction of étale cohomology is this:
start with a scheme, associate to it a Grothendieck topology (making a site).
A functor from the Grothendieck topology to ...
2
votes
0
answers
156
views
Rigid \'etale cohohomology of flag variety minus its rational points e.g $p$-adic Drinfeld half plane
Let $Fl=G/B$ over $\mathbb Q_p$ be the flag variety of a quasi-split reductive group $G$ over $\mathbb Q_p$, then $X=Fl-Fl(Q_p)$ shall exist as a rigid analytic variety over $\mathbb Q_p$, how to ...
10
votes
0
answers
479
views
How do I produce a basis of cohomology?
Suppose I am discussing a smooth projective variety over an algebraically closed field with my friend on the phone and I want to make a statement about its $l$-adic cohomology (integral or rational). ...
9
votes
1
answer
448
views
Structure of the variety of $n$-tuples of $m \times m$ matrices with zero product
Consider the functor sending a commutative ring $R$ to $\{(A_1,\dots,A_n) \in ( M_m(R) )^n | A_1 \dots A_n =0 \}$ which defines a scheme over $\mathbb Z$, let $X$ be its base change to $\mathbb C$.
...
32
votes
2
answers
2k
views
Etale cohomology can not be computed by Cech
It can be proven that if in a quasicompact scheme $X$ any finite subset is contained in an affine open subset then for any sheaf $\mathcal{F}$ on $X$ its Cech cohomology $\hat{H_{et}^{\bullet}}(X,\...
9
votes
0
answers
703
views
étale vs syntomic vs flat cohomology
Let $\mathscr{A}/X$ be an abelian scheme over $X$ of characterisitic $p$. The étale topology is not fine enough for the Kummer sequence for $\mathscr{A}$ to be (right) exact, but the syntomic and flat ...
2
votes
1
answer
247
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$ (i.e. $H^0(k,M) \times H^1(k,M^\vee) \to H^1(k,\mathbf{Z}/n) = \mathbf{Z}/n$...
11
votes
1
answer
1k
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
0
answers
247
views
Torsors for discrete groups in the etale topology
Let $S$ be a smooth variety over $\mathbb C$ or a smooth quasi-projective integral scheme over Spec $\mathbb{Z}$.
Let $G$ be an (abstract) discrete group. For instance, $G =\mathbb{Z}^n$ or $G$ a ...
7
votes
0
answers
483
views
independence of $\ell$ for $p$-adic cohomology of varieties over finite fields
Let $X/k$ be a smooth projective geometrically integral variety ($X = A$ an Abelian variety suffices) over $k = \mathbf{F}_q$ with absolute Galois group $\Gamma$, $\bar{X} = X \times_k \bar{k}$, $q = ...
2
votes
0
answers
281
views
Can one compute the (etale) cohomology with support at a point for a "big" regular $k$-scheme via limit arguments?
I am trying to understand the coniveau spectral sequence for the cohomology of a "big" regular scheme over a field. This involves cohomology with support at points, and I am getting some strange ...
0
votes
1
answer
158
views
If $J$-coverings can be glued $I$-locally is $J$-locality an $I$-local property? (Reducing descent problems to simpler ones)
Let $(C,J)$ be a category with a grothendieck topology. For every object $X \in C$ there's (I hope) a little site which is the full subcategory of the slice category $C_{/X}$ whose objects are the ...
12
votes
1
answer
2k
views
difference between the small and big étale/flat/... site
What is the difference between the small and the big étale (or flat or syntomic or ...) site? How does the cohomology vary? When should I use which one? Up to now, I have always used the small sites.
4
votes
1
answer
272
views
Finiteness of cohomology with finite coefficients
Let $G$ be a finite abelian group and let $S$ be a variety over $\mathbb{F}_p$. It is natural (I think) to expect that the cohomology group $H^i(S,G)$ is finite. But with respect to which cohomology?
...
0
votes
1
answer
235
views
cohomology of an intermediate extension of a local system
Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$.
Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...
2
votes
0
answers
347
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 ...
1
vote
0
answers
116
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
1
answer
245
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
1
answer
243
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 ...
5
votes
1
answer
2k
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
0
answers
232
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 ...
3
votes
0
answers
230
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$ quasi-...
1
vote
1
answer
596
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.) ...
1
vote
0
answers
333
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}$ vanishes....
9
votes
2
answers
523
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 ...
13
votes
2
answers
842
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(\...
25
votes
1
answer
3k
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
$$H_{...