Definition 76.6.5. Let $S$ be a scheme. Let $i : Z \to X$ be an immersion of algebraic spaces over $S$. The *normal cone $C_ ZX$* of $Z$ in $X$ is

\[ C_ ZX = \underline{\mathop{\mathrm{Spec}}}_ Z(\mathcal{C}_{Z/X, *}) \]

see Morphisms of Spaces, Definition 67.20.8. The *normal bundle* of $Z$ in $X$ is the vector bundle

\[ N_ ZX = \underline{\mathop{\mathrm{Spec}}}_ Z(\text{Sym}(\mathcal{C}_{Z/X})) \]

## Comments (0)