MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

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-compact be a closed immersion with $Y$ irreducible of codimension $1$, $y$ the generic point of $Y$, and $Z_i \subset Y$ be a directed family of proper closed subschemes (edit: for the transition maps to be affine, one probably has to take a cofinal subsystem). Is then $\varprojlim_i(X \setminus Z_i) = \mathrm{Spec}\mathcal{O}_{X,y}$? (edit: this is of course nonsense. One additionally has to use excision to restrict to smaller and smaller open neighbourhoods of $Y \setminus Z_i$.)

And do we have ($\mathcal{F}$ an étale sheaf on $X$) $H^p_{\{y\}}(\mathrm{Spec}\mathcal{O}_{X,y}, \mathcal{F}) = \varinjlim_iH^p_{Y \setminus Z_i}(X\setminus Z_i,\mathcal{F})$?

share|cite|improve this question
What part of $Y \hookrightarrow X$ is quasi-compact? Is it the map, the source, or the target? – S. Carnahan Feb 2 '12 at 3:18
I think you can assume both to be quasi-compact. – Timo Keller Feb 2 '12 at 8:22

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.