Let V be an irreducible variety over an algebraically closed field k. Define the tangent space of V at a point P. Show that for any integer r⩾0, the set {P∈V∣dimTV,P⩾r} is a closed subvariety of V.
Assume that k has characteristic different from 2. Let V=V(I)⊂P4 be the variety given by the ideal I=(F,G)⊂k[X0,…,X4], where
F=X1X2+X3X4,G=X0X1+X32+X42
Determine the singular subvariety of V, and compute dimTV,P at each singular point P. [You may assume that V is irreducible.]