All Questions

I have a concern about the first assertion in the proof of proposition 4.3.38 of Qing liu's "Algebraic Geometry and Arithmetic Curves". Referring to smooth morphisms, he says "The ...

For a morphism $X\rightarrow Y$ of qcqs schemes, one has the usual notion of formal smoothness which says that for a pair $(R,I)$ with $I^2=0$, if there is a point $y\in Y(R)$ such that $y_{\vert R/I}$...

What is the least restrictive finiteness assumptions guaranteeing that for a formally smooth morphism of schemes $f:X\rightarrow Y$, the sheaf of relative differentials $\Omega _{X/Y}$ would be ...