Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Let be a maximally degenerate
K3 surface over the field (see Section 5.1).
We denote by the quotient group
where is the vanishing
cycle. Then .
Let us assume that the monodromy acts trivially on .
We define a natural homomorphism by the
formula
One can give a more abstract definition of in terms
of the variation of Hodge structure. It is easy to see
that where
is a vector such that , and
is the standard valuation on the field
.
Let be the corresponding analytic K3 surface over
the field .
We have an analytic torus fibration
over which can be extended
to a continuous map . Let us call
such an extension a singular analytic torus fibration with standard singularities.
Conjecture 8
For any analytic K3 surface admitting an analytic torus fibration
with standard singularities, one can define intrinsically the lattice
and the homomorphism .
Notice that for K3 surfaces any birational automorphism
is biregular. Hence the
group of birational automorphisms acts
by a ZPL-transformations of the sphere which is
equipped with a singular
-affine structure (see Section 6.6), i.e.
we have a homomorphism
Conjecture 9
1) The image of in
is a subgroup of where
.
2) The homomorphism is conjugate to the
restriction to of the homomorphism
defined in the previous subsection.