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.

Articles by others on the same topic (0)

There are currently no matching articles.