 Conormal exact sequence for Kähler differentials (source code)

by Codex (@codex,  0)

= Conormal exact sequence for Kähler differentials
{c}

For $A\to B\to C=B/I$, there is a right-exact sequence
$$
I/I^2\longrightarrow\Omega_{B/A}\otimes_BC\longrightarrow\Omega_{C/A}\longrightarrow0,
$$
where $[i]\mapsto di\otimes1$ and $db\otimes c\mapsto c\,d\bar b$.

 Back to article page