Parametrize the affine cuspidal cubic by . Removing the zero set of removes exactly the parameter values zero and one. Its regular-function ring is the localization . To recover the normalization coordinate inside this ring, use : inverting makes a unit, so lies in the localization. As is a unit, so are and , proving the displayed equality. This calculation is valid in every characteristic. At the smooth point of the original curve the local ring is instead : is a unit there, and every polynomial in nonzero at one is invertible. That point is absent from the displayed open subset, so its local ring is computed in the original curve.
Articles by others on the same topic
There are currently no matching articles.