The left exactness of conormal sequence when $X$ is singular When $X$ is a nonsingular variety over a field $k$ and Z is a closed nonsingular subvariety, it is known that the conormal sequence
$$
0\to\mathscr{I}/\mathscr{I}^2\to \mathscr{O}_Z \otimes_{\mathscr{O}_X}\Omega_X\to\Omega_Z \to 0
$$
is short exact as $\mathscr{O}_Z$-module. When the condition that $X$ and $Z$ are nonsingular is dropped, it is only assured to be right exact. I wanted to know what is happening when $X$ is singular. For simplicity, I only tried when $X$ is affine.

*

*$X=\mathrm{Spec}\ k[x,y,z,w]/(xy-zw)$, $I=(x,z)$, $Z=\mathrm{Spec}\ k[y,w]$. I wrote $R=k[x,y,z,w]/(xy-zw)$, $S=R/I$.

The computation is as followed.

*

*$I/I^2= \frac{Sx\oplus Sw}{xy=zw}$

*$S\otimes \Omega_R = \frac{Sdx\oplus Sdy\oplus Sdz \oplus Sdw}{ydx=wdz}$

*$\Omega_S = Sdy \oplus Sdw$
It seems that the sequence is still left exact.


*$X=\mathrm{Spec}\ k[x,y,z]/(xz-y^2)$, $I=(x,y)$, $Z=\mathrm{Spec}\ k[z]$. I wrote $R=k[x,y,z]/(xz-y^2)$, $S=R/I$.


*

*$I/I^2 = kx \oplus ky \oplus kzy \oplus kz^2 y \oplus \cdots = kx \oplus Sy $

*$S\otimes \Omega_R = kdx \oplus Sdy \oplus Sdz$

*$\Omega_S = Sdz$
It again seems the sequence is still left exact.
I first thought those sequences (or at least one of them) should not be left exact, but in my calculation, it was not the case. I debt my calculation is wrong, but I could not find anything wrong. Could you tell me where is wrong in my calculation? Or is this really right?
Thanks in advance.
 A: It is easier to think in terms of smoothness instead of nonsingularity (by Grothendieck's EGA 0$_{IV}$ 22.5.8, both comcepts are the same if the base field $k$ is perfect). Then EGA 0$_{IV}$ 22.6.1, 22.6.2, etc. will let you see what is happening. A less complete reference but including the cited results is Matsumura, Commutative Ring Theory, section 28.
If you want to know what is at the left of this sequence in the non-smooth case, the reference is EGA 0$_{IV}$ 20.6.22, or for a more exhaustive study (a whole long homology exact sequence whose last three terms are the ones of your exact sequence) the keyword is "cotangent complex" or "André-Quillen homology". You will can find this long exact sequence for example in the book M. André, Homologie des Algèbres Commutatives, Théorème 5.1.
These references are very general. They do not require any finiteness hypothesis and that is the reason for taking into account the topologies. If you are interested only in schemes of finite type over a field, there are simpler sources, for instance Bourbaki, Algèbre Commutative, chapitre X.
