Timeline for Clarifying the connection between 'etale locally' and 'formally locally'
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 20, 2016 at 12:12 | answer | added | nfdc23 | timeline score: 20 | |
| Sep 19, 2016 at 15:51 | comment | added | Leo Alonso | The "formal topology" should be finer than Nisnevich's. Given a point $x \in X$ we have the chain of local rings $$O_{X,x} \to O_{X,x}^{h} \to \widehat{O_{X,x}}$$ corresponding to the Zariski and Nisnevich topologies, both with common completion. As for the étale topology, its local ring is $O_{X,x}^{sh} $ whose completion has as residue field the separable closure of $k(x)$, the residue filed at $x$ that , in principle, may be obtained from $O_{X,x}$ by an inverse limit procedure. This would be correspond to a non-existent "formal-étale" topology. Is this related to your question? | |
| Sep 19, 2016 at 11:16 | history | edited | SomeGuy | CC BY-SA 3.0 |
added 9 characters in body
|
| Sep 19, 2016 at 11:00 | history | asked | SomeGuy | CC BY-SA 3.0 |