Timeline for Where is the local structure theory of étale morphisms needed?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Dec 2, 2018 at 14:00 | history | bounty ended | CommunityBot | ||
| S Dec 2, 2018 at 14:00 | history | notice removed | CommunityBot | ||
| Nov 24, 2018 at 16:18 | comment | added | Dylan Wilson | The beauty of the stacks project is that you can see exactly where this lemma is used (and where those results are used, etc.): stacks.math.columbia.edu/tag/02GT/statistics#dependencies. so you can decide for yourself if you think it's necessary/useful | |
| S Nov 24, 2018 at 12:51 | history | bounty started | Arrow | ||
| S Nov 24, 2018 at 12:51 | history | notice added | Arrow | Draw attention | |
| Nov 22, 2018 at 15:00 | comment | added | Colin McLarty | As you say, the local structure condition in the smooth category has to do with finite codimension--not just codimension 1. That seems analogous to condition (1) in your link to Stacks. That theorem on étale maps is used constantly. But standard étale maps correspond to embeddings with codimension precisely 1. So I would like to see an answer by someone more expert, but probably the local existence of standard étale forms is less practically useful than condition (1) just as local exist of codimension 1 embeddings in the smooth case is less useful than the implicit function theorem. | |
| Nov 21, 2018 at 21:48 | history | asked | Arrow | CC BY-SA 4.0 |