Definition 8.1 . [039W]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Definition 8.1.
We say that is of geometric origin from a -dimensional family over a field if there exist a normal -dimensional variety over , a point of codimension one and a projective variety over such that
- (i)
there exists an isomorphism of rings where denotes the completion of the discrete valuation ring ,
- (ii)
an isomorphism over with induced by (i).
Usually, we read these isomorphisms as identifications. Moreover, if is a line bundle (resp. if is a closed -form) on , we say that (resp. ) is of geometric origin from a -dimensional family over a field if the above conditions are satisfied and if we can also find a line bundle on inducing by the base change (resp. a line bundle on an -model of inducing by the base change ).