Are all Galois cohomology groups also étale cohomology groups? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T06:26:42Z http://mathoverflow.net/feeds/question/28749 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/28749/are-all-galois-cohomology-groups-also-etale-cohomology-groups Are all Galois cohomology groups also étale cohomology groups? Sam Derbyshire 2010-06-19T12:42:08Z 2010-06-19T13:39:35Z <p>Let $K$ be a field and $K^s$ a separable closure of $K$, and let $\mathcal{F}$ be a sheaf on $\mathrm{Spec}(K)$ (in the étale topology).</p> <p>By Grothendieck's Galois Theory, we have the isomorphism</p> <p><code>$$H_{\text{et}}^k(\mathrm{Spec}(K),\mathcal{F}) \cong H^k(\mathrm{Gal}(K^s/K),\mathcal{F}_{\mathrm{Spec}(K^s)})$$</code></p> <p>i.e. the étale cohomology groups of $\mathrm{Spec}(K)$ with coefficients in $\mathcal{F}$ correspond to the Galois cohomology groups of the absolute Galois group of $K$ acting on the stalk of $\mathcal{F}$ at the (separably closed) geometric point $\mathrm{Spec}(K^s) \to \mathrm{Spec}(K)$.</p> <p><strong>Question:</strong> Is there any similar interpretation of more general Galois cohomology groups in terms of étale cohomology groups? For instance, can we write the cohomology groups $H^k(\mathrm{Gal}(L/K),L^\times)$ directly in terms of étale cohomology groups?</p> <p>I do not see how this would be possible, given that topos-theoretically we can just restrict our attention to points with separably closed residue field for the geometric points of the relevant étale topos.<br> Is there any chance we can describe more Galois cohomology groups if we consider other topologies on a category of schemes (<strong><em>Edit:</strong> preferably to obtain a uniform description using a single site</em>)?<br> Finally, if this is not possible, are there any "higher dimensional" appearances of this discrepancy? This is deliberately vague, but I am thinking about some sort of cohomology groups that restrict to étale cohomology groups when considering just separably closed geometric points (via some sort of higher dimensional version of Grothendieck's Galois Theory). </p> http://mathoverflow.net/questions/28749/are-all-galois-cohomology-groups-also-etale-cohomology-groups/28750#28750 Answer by Angelo for Are all Galois cohomology groups also étale cohomology groups? Angelo 2010-06-19T13:18:50Z 2010-06-19T13:18:50Z <p>If $L/K$ is a Galois extension, then one can define a site in which the objects are intermediate fields $K \subseteq E \subseteq L$ which are finite over $K$. Or, you can take finite étale algebras $A$ over $K$ with a homorphism of $K$-algebras $A \to L$. The topology is the étale topology. These two sites define the same topos. There is an equivalence between sheaves on either of these sites and discrete $\mathrm{Gal}(L/K)$-modules, hence cohomology coincides with Galois cohomology.</p> <p>Does this answer your question? I am not sure I understand what you have in mind.</p>