Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
1  
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

 
discard

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

Browse other questions tagged or ask your own question.