Timeline for formal completion of smooth morphism
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10, 2018 at 2:23 | comment | added | nfdc23 | Oops, I made a typo: I should have written 17.12.1 rather than 17.2.1 (and part (c') there exists and addresses exactly the quasi-regular condition). | |
| Apr 9, 2018 at 17:02 | comment | added | JJH | nfdc23: Thank you. To apply 16.9.9, we need to know the section $p: S\to X$ is quasi-regular, it doesn't seem we can apply 17.2.1 to get it. Actually 17.2.1(c') doesn't exist. | |
| Apr 7, 2018 at 22:05 | history | edited | R.P. | CC BY-SA 3.0 |
fixed latex
|
| Apr 7, 2018 at 18:00 | comment | added | nfdc23 | EGA IV$_4$, 16.9.9 and 17.2.1(c') (with $Y=S$ in the latter; i.e., $h = {\rm{id}}_S$ there). It's ultimately a quite concrete thing, building on the structure of $I/I^2$ that can be read off from the case of the zero-section of affine space over which the given situation is suitably etale. | |
| Apr 7, 2018 at 16:06 | history | asked | JJH | CC BY-SA 3.0 |