Timeline for Is this formally étale morphism of schemes an isomorphism?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 8, 2014 at 15:51 | comment | added | Matthieu Romagny | Two questions: 1) I'd be happy to have details on the proof that $\mathfrak{m}'=\mathfrak{m}B$. 2) For formal glueing in the very last step, the quoted lemma from the Stacks Project requires to know that $B$ is a finite $A$-module, how do you deal with this issue? | |
| Nov 5, 2014 at 7:46 | comment | added | user27920 | Vlad, very nice use of the classic punctured spectrum dimension induction trick. | |
| Nov 5, 2014 at 2:37 | comment | added | Jason Starr | Vlad the Impaler? Is that Halloween humor? | |
| Nov 5, 2014 at 1:38 | review | First posts | |||
| Nov 5, 2014 at 1:50 | |||||
| Nov 5, 2014 at 1:34 | history | answered | Vlad the Impaler | CC BY-SA 3.0 |