Timeline for Galois cohomology of separable closure
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 16, 2021 at 15:40 | comment | added | Peter Scholze | As $\overline{K^{\mathrm{sep}}}$ is complete and perfect, there is a map $K'\to C$ (and $C=\overline{K'^{\mathrm{sep}}}$). The Galois cohomology computation is a very special case of Proposition 7.13 here (which shows the stronger statement that $H^i(G_{K'},\mathcal O_C)$ is almost zero for $i>0$, and equal to $\mathcal O_{K'}$ for $i=0$). | |
| Mar 16, 2021 at 15:36 | comment | added | Piotr Pstrągowski | Thank you, this is very helpful. How do we identify the completed perfection of $K$ with a subspace of invariants in $C$? | |
| Mar 16, 2021 at 15:33 | history | edited | Peter Scholze | CC BY-SA 4.0 |
added 126 characters in body
|
| Mar 16, 2021 at 14:09 | vote | accept | Piotr Pstrągowski | ||
| Mar 16, 2021 at 8:49 | history | answered | Peter Scholze | CC BY-SA 4.0 |