The parametrization maps to the cusp. Off the origin its inverse is , since and on with . This is an isomorphism between dense open subsets, so the cusp is birational to .
At the origin the differential of the defining polynomial is zero, giving a two-dimensional Zariski tangent space. The tangent space of at every point is one-dimensional. An isomorphism induces tangent-space isomorphisms, so the cusp is not isomorphic to . The rational inverse cannot extend regularly through the singular point.

Articles by others on the same topic (0)

There are currently no matching articles.