Hessian criterion for a flex
ID: hessian-criterion-for-a-flex
For a plane curve defined by a homogeneous polynomial of degree , assume the field characteristic is different from two and is nonzero in the field. A smooth point of a variety is a flex exactly when the determinant of the homogeneous Hessian matrix vanishes there, provided its tangent line is not a component. Put the point at with tangent and . The homogeneous identities give and , so the determinant is . In the completed local ring, write the curve as a formal power series . Its linear coefficient is zero and its quadratic coefficient is . Vanishing of that coefficient is exactly intersection multiplicity at least three with the tangent, proving the criterion in these positive characteristics as well as in characteristic zero.
New to topics? Read the docs here!