7
$\begingroup$

I would like to know more about Nisnevich cohomology (especially, on its properties that could be easily formulated). In particular, I would like to know which of the following statements are true, and what restrictions are needed for them.

  1. The higher Nisnevich cohomology of a smooth (is this necessary?) variety $V$ (over a perfect field $k$) with coefficients in a constant sheaf is zero.

The results of Suslin and Voevodsky reduce this statement to its Zariski counterpart; yet they do not tell much about the case of a non-smooth $V$ (especially, if the characteristic of $k$ is positive, so that one cannot apply cdh-descent). Does there exist an easier reasoning?

  1. Assertion 1 seems to imply: for an open embedding $j$ of smooth varieties, the higher direct images $R^ij_*$ of a constant sheaf are zero (for $i>0$). Again, is smoothness necessary here?

  2. Total direct images from derived categories of etale sheaves to those of Nisnevich ones commutes with inverse images with respect to embeddings. It seems easy to check this is stalks; yet I wonder which restrictions are required for this result.

Upd. It seems that assertion 1 fails already when $V$ is an irreducible nodal cubic. Hence assertion 2 is wrong for the embedding of a smooth open subvariety of $V$ into $V$.

It seems that over characteristic zero field one can fix this by considering cdh-topology instead of the Nisnevich one (and h-topology instead of the etale one; this does not seem to affect the cohomology of smooth varieties with coefficients in constant sheaves). Does anybody know whether a similar scheme could be applied in positive characteristic $p$ to $l$-torsion constant sheaves ($l$ is a prime distinct from $p$) if one considers Gabber's $l'$-topology?

$\endgroup$
2
  • $\begingroup$ Are you still interested in this? Do you have a precise question about the ldh topology? The comparison results in Section 3.8 of arxiv.org/abs/1305.5349 seem relevant to what you're asking. See also Example 3.3.2(1) in loc. cit. $\endgroup$
    – name
    Jun 7, 2013 at 14:53
  • $\begingroup$ Thank you very much! I am still interested in these matters; yet at the moment (unfortunately) I am not able to prove what I want even using resolution of singularities. $\endgroup$ Jun 11, 2013 at 15:13

1 Answer 1

2
$\begingroup$

For smooth schemes you can use (the same argument as for) a Gersten resolution to show that the cohomology of a constant sheaf agrees with the cohomology of the generic point, and this vanishies as fields have no higher Nisnevich cohomology.

I believe you could do the $l$-part in characteristic $p$ with Gabbers $l$-topology. As far as I know, Chisinki and Kelly have some results in this direction.

$\endgroup$
2

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.