Bijective monomial cusp parametrization with nonregular inverse

ID: bijective-monomial-cusp-parametrization-with-nonregular-inverse

The morphism given by is bijective on points over an algebraically closed field, but is not an isomorphism. At a nonzero curve point, is the unique inverse parameter, while the origin has unique preimage zero. The induced map on coordinate rings has image , which lacks the monomial : all its monomial exponents have the form , with . Nor can be regular at the cusp, since an equality with would produce a nonzero degree-one term in and none in . Thus pointwise bijectivity does not guarantee an algebraic inverse, even though the inverse is regular away from one singular point.

New to topics? Read the docs here!