MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For a variety $X$ I define its Zariski-etale site as follows: the category is the category of etale $X$-schemes, and the coverings are Zariski ones. Note that this topology is more coarse than the Nisnevich and the etale one.

Now, for a closed embedding $i:Z\to X$ I would like to study $i^\ast_{Zar-et}$. What can one say about this functor; did anybody study this setting already? In particular, I have the following question.

  1. Let $S$ be a Nisnevich (or Zariski-etale) sheaf over $X$. Is it true that $H^*(Y, i^\ast_{Zar-et}S)$ could be computed as the limit with respect to Zariski hypercoverings $Y.$ of the cohomology with coefficients in $S$ of the simplicial scheme whose components are the henselizations of the components of $Y.$ in $X$? This should be an easy consequence of the Verdier Hypercovering Theorem; yet I wonder whether I apply it correctly.

  2. If $S$ is a flabby Nisnevich sheaf, is it true that $H^j(Y, i^\ast_{Zar-et}S)=0$ for $j>0$?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.