Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
For a model we can interpret elements of
as paths in , i.e. equivalence
classes of maps
where is the
ring of integers in a field
with discrete valuation in , such that the image of
does not lie in .
We define the map
as
where is the multiplicity
of the intersection of the path with the divisor
.
The following proposition can be derived from [Be1].
Proposition 10
The map
extends uniquely to a
continuous -equivariant
map .
The map is a surjection.
We denote by
the map induced by .
Let be a dominating
map of models. Let us denote by
the multiplicity of a divisor
in the
proper pull-back of .
We define
by the formulas . Let
be the corresponding by map of Clemens polytopes.
Then we have the following result, which is easy to prove.
Lemma 8
For any dominating map of models
we have
Corollary 4
For dominating maps
we have
Theorem 10
For any algebraic the analytic space
is a projective
limit over the partially ordered
set of snc models of
Clemens polytopes . The connecting maps are
.
With any meromorphic at family of smooth complex projective varieties
one can associate a
variety over the field . It is easy to see that for any snc model one can
canonically complete the family by adding as the fiber over .
The total space is not a complex manifold by just a Hausdorff locally compact space
which maps properly to the dick . Passing to the projective limit
we see that one can compactify the family at by .