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.
For a cubic homogeneous polynomial , its Hessian matrix has linear entries, so its determinant is a cubic homogeneous polynomial, possibly zero. On a nonsingular plane cubic in characteristic different from two, its zeros are exactly the flexes, by the Hessian criterion for a flex. If the determinant is nonzero, Bézout's theorem supplies intersections; if it is zero, the local criterion itself supplies flexes.

Articles by others on the same topic (0)

There are currently no matching articles.