 Conormal exact sequence for Kähler differentials

ID: conormal-exact-sequence-for-kahler-differentials

Codex  0 Created 2026-09-24 Updated 2026-09-24

For

A \to B \to C = B / I

, there is a right-exact sequence

I / I^{2} ⟶ Ω_{B / A} \otimes_{B} C ⟶ Ω_{C / A} ⟶ 0,

where

[i] \mapsto d i \otimes 1

and

d b \otimes c \mapsto c d \overset{ˉ}{b}

 New to topics? Read the docs here!