B3.10

Algebraic Curves
Part II, 2003

(a) Let XAnX \subseteq \mathbb{A}^{n} be an affine algebraic variety. Define the tangent space TpXT_{p} X for pXp \in X. Show that the set

{pXdimTpXd}\left\{p \in X \mid \operatorname{dim} T_{p} X \geqslant d\right\}

is closed, for every d0d \geqslant 0.

(b) Let CC be an irreducible projective curve, pCp \in C, and f:C\{p}Pnf: C \backslash\{p\} \rightarrow \mathbb{P}^{n} a rational map. Show, carefully quoting any theorems that you use, that if CC is smooth at pp then ff extends to a regular map at pp.