Hypersurface singularity Created 2026-10-06 Updated 2026-10-14
A point on where all first partial derivatives vanish. For a reduced hypersurface this is the Jacobian criterion; a nondegenerate quadratic leading part defines an ordinary double point.
Nodal crossing Created 2026-09-24 Updated 2026-10-14
A nodal crossing locally consists of two complex branches meeting transversely and is not a one-dimensional complex manifold at the intersection.
For a plane algebraic curve this crossing is an ordinary double point, with two distinct tangent directions.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 21 3 c Solution Created 2026-10-03 Updated 2026-10-14
Take the plane quartic with exactly two nodesPut . Its partial derivatives areOn , the equation gives , producing exactly and , and their gradients vanish.
There are no singular points with . Normalize . The derivative equations give and . If , then and , so and . The remaining equation gives , hence . But , forcing , a contradiction. Thus the singular set is exactly .
In the chart near , put , with . The lowest-degree part is , which splits into two distinct complex linear factors. Each singularity is therefore an ordinary double point, with two smooth transverse branches.
It remains to prove irreducibility. A repeated polynomial factor would make every point on that component singular, contradicting the finite singular set, so is reduced. If it were reducible, partition its irreducible factors into two coprime factors of degrees and , . Every intersection of the two components would be singular on , hence one of the two ordinary double points. At an ordinary double point shared by them, the two branches are transverse, so its intersection multiplicity is one. Their total intersection multiplicity would therefore be at most two. The Bézout theorem instead makes it . This contradiction proves the displayed quartic is irreducible and has exactly two singular points.
Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 3 20F ii Solution Created 2026-09-24 Updated 2026-10-06
Write . A projective hypersurface singularity must have and all four first partial derivatives zero. If all coordinates were nonzero, writeOn , differentiation gives , a contradiction. Thus some coordinate is zero; by symmetry take . The surface equation gives , so a second coordinate is zero, say . Then , so a third coordinate is zero. The remaining four projective possibilities indeed have every first derivative zero. Therefore all singular points areOver the usual characteristic-zero ground field, each is an ordinary double point: near , the affine equation has nondegenerate quadratic part , and symmetry treats the others.
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 2 22I c Solution Created 2026-09-24 Updated 2026-10-05
Homogenization gives , withIf the characteristic is not , a singular point with would force , impossible. If , then . If either or vanishes, both vanish, giving . Otherwise the other two derivative equations require , whence and , again impossible. ThusIn the chart , the quadratic term is , the product of two distinct linear factors over , so this is an ordinary double point.
In characteristic ,All first derivatives of this equation vanish. The equation defines a nonreduced scheme, singular everywhere; it no longer satisfies the irreducible/reduced hypersurface premise. If “curve” means the associated reduced variety, it is the union of two distinct lines, and only their intersection is singular. These two interpretations must not be conflated.
Plane quartic with exactly two nodes 2026-10-14
Over the complex numbers the displayed projective plane curve has precisely two singular points, and . At either, with , , , the leading quadratic term is , so they are ordinary double points. The derivative equations in the chart have no solution: writing forces both and . The Bézout theorem proves irreducibility, since a factorization into degrees would require at least three intersections, whereas the only possible component intersections are the two transverse ordinary double points.