Timeline for Formal smoothness implies local freeness of the sheaf of relative differentials
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 1, 2017 at 6:55 | history | edited | Arrow | CC BY-SA 3.0 |
added 6 characters in body
|
| Aug 1, 2017 at 4:45 | comment | added | nfdc23 | The real technical headaches in the proof of 19.5.3 have to do with the topological aspects when $(0)$ isn't an ideal of definition. I shouldn't have written "very easy", but for the discrete topology the proof of 19.5.3 is an ordinary long proof, not ultimately so overwhelming. For $Y$ noetherian and $f$ smooth, the fact that $\Omega^1_{X/Y}$ is a vector bundle can be proved without going through this: you can assume $Y$ is artin local with algebraically closed residue field, and then enough to prove completed local rings at closed points are power series rings, which really is not hard. | |
| Aug 1, 2017 at 4:26 | comment | added | Anonymous Coward | Regarding EGA $0_IV$ 20.4.9: the proof seems to rely on theorem 19.5.3, which in itself seems just as nontrivial. I will try to read this tomorrow. About finiteness: just to make sure I understand, from the above it follows that for a smooth morphism (i.e.: formally smooth + essentially finite type) $f:X\rightarrow Y$ with $Y$ Noetherian $\Omega _{X/Y}$ is locally free of finite rank? (because then $\Omega _{X/Y}$ will be coherent and projective on an affine open cover which since $X$ is Noetherian implies locally free?) | |
| Aug 1, 2017 at 4:13 | comment | added | Anonymous Coward | Thanks for the digital copy of EGA which I didn't know the existence of! | |
| Aug 1, 2017 at 3:34 | comment | added | nfdc23 | One can read EGA without being able to read a French menu or book for French 3-year-olds ("math French" requires no knowledge of French grammar or spelling and almost no vocabulary if one knows English). Without finiteness hypotheses on $f$, a more apt property than "locally free" is "projective on an affine open cover" (see 3.1.4(3) in Raynaud-Gruson for deep results on this notion), which holds for $\Omega^1_{X/Y}$ for formally smooth $f$ by EGA 0$_{\rm{IV}}$ 20.4.9 with discrete topologies (whose proof is very easy!): math.harvard.edu/~gaitsgde/Schemes_2009/EGA-IVa.pdf | |
| Aug 1, 2017 at 2:49 | history | asked | Anonymous Coward | CC BY-SA 3.0 |