Let be a curve and be the dual curve. We say that has traditional singularities if every point of and is smooth, a node or a cusp. That is, if we take affine coordinates around and get equation for , and look in the ring of formal power series , then we have a ring isomorphic to one of , or , the first being a regular point, the second a node, and the third a cusp.

Geometrically, a node on the dual curve corresponds to a bitangent on the original curve, that is, a tangent line which is tangent to two points on simultaneously, and a cusp on the dual curve corresponds to a flex, that is, a smooth point of where the tangent line has contact of order three. As , we have the converse statements as well.

Now, let be the geometric genus of , and let , be the number of bitangents of , the number of flexes of , the number of cusps and the number of nodes, and let be the corresponding numbers for .

Immediately, we note that , , and . Now, the degree of is the number of points where intersects a generic line in the dual projective space. That is, the number of tangent lines to passing through a generic point in . Assume that is a point in which doesn’t lie on the tangents to any singular points of . We can choose coordinates such that , and then if is given by a polynomial , the tangent lines to through are given by the smooth points of with . Now, this is an equation of degree , and it passes through each node with multiplicity 2 and each cusp with multiplicity 3. So then we have that the number of solutions, which is the number of tangents through , is , by applying Bezout and using these observations.

Now we’ll look at the projection map from to the line and apply Hurwitz’s Theorem. It gives us that where is the number of branch points of the map. So a smooth point is a branch point if and only if its tangent passes through the point we’re projecting from, so we have branch points among the smooth points, and it happens that though nodes aren’t branch point, cusps are, so Hurwitz tells us that . This is then , a more refined genus formula, which gets the geometric genus of mildly singular curves.

Now, we combine all this to get the classical Plücker formulas, which are the above genus formula, as well as , and . We can use these to say quite a bit about the geometry of specific curves, now.

For instance, take a smooth cubic curve in the plane. Bezout’s Theorem tells us that there aren’t any bitangents, because then a line would have to intersect the cubic in four points. Similarly, a tangent with multiplicity higher than two can have at most three, so the cubic has traditional singularities and the Plücker formulas hold. So then, we plug and into the formulas to get and which tells us that , so an elliptic curve will have nine flex points. In fact, these points are rather special for a second reason: any line connecting two flex points on an elliptic curve will intersect it in a third one.

Now look at a smooth plane quartic with traditional singularities. then , and . But the genus formula tells us that , and so we have a system of linear equations. We can solve this, and get that there are exactly 24 flexes and 28 bitangents on a quartic curve.

More generally, if we have a smooth plane curve of degree with traditional singularities, we can solve the Plücker formulas to tell us that there are flexes and bitangents.

Are you applying a version of Hurwitz theorem that applies to curves with singularities when applying the genus formula? If so, how would you modify the proof of Hurwitz in the blog and how would you compute the ramification at a singular point?