Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
A model of is given by a proper flat scheme
over
together with an isomorphism between
and the generic fiber of the -scheme
which we read as an identification.
Given a model of
there is a canonical surjective reduction map
where
denotes the special fiber
of over .
Let be a line bundle on the proper variety .
A model of
or briefly a model of is given by a model
of together with a line bundle on
and an isomorphism between and
which we read as an identification.
Given a model of
for some
there is a unique metric
on over which satisfies the following:
Given an open subset of ,
a frame of over , and a section
of over we write
for some regular function on
and get
on .
Such a metric on is called a
model metric determined on .