most recent 30 from http://mathoverflow.net 2013-05-19T07:14:13Z http://mathoverflow.net/feeds/question/80204 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/80204/galois-cohomology-of-generic-points-of-formal-completions-of-components-of-a-hyp Mikhail Bondarko 2011-11-06T09:46:17Z 2011-11-06T09:46:17Z

<p>Let $Y$ be a closed smooth subvariety in a (smooth) affine variety $X$. What can one say about the etale cohomology of the generic points of the formal completion of $X$ along $Y$ i.e. about the Galois cohomology of the fraction fields of the completions of $X$ along the connected components of $Y$? Are there any methods for computing this? </p> <p>Actually, I am rather interested in the following situation. Let $X$ be projective (!), and consider a Zarisky (or etale) affine hypercovering $Y.$ of $Y$ ($Y$ is again a closed smooth subvariety of $X$). Then each component $Y_I$ of $Y.$ could be considered as the intersection of $Y$ with some open affine subvariety $X_I$ of $X$ (resp. with an affine etale $X_I/X$); so we may consider the formal completion $\hat{X}_{Y_I}$ of $X_I$ along $Y_I$ (it seems that it depends only on $X$ and $Y_I$). So, we obtain a 'simplicial completion'; then one may consider the generic points and their (etale=Galois) cohomology. Are there any interesting examples when one can compute this, or any general results for this setting? </p>