Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
There exist
a normal affine variety over a perfect field ,
a codimension one point ,
a projective regular integral scheme over ,
and line bundles and over such
that there exist
(i)
a flat morphism
,
(ii)
an isomorphism
,
(iii)
an isomorphism
over the isomorphism in (ii),
(iv)
and an isomorphism
where is the generic point of and
the line bundle on is ample.
Usually we read all the isomorphisms above as identifications.