Abstract view
Canonical Vector Heights on Algebraic K3 Surfaces with Picard Number Two


Published:20031201
Printed: Dec 2003
Abstract
Let $V$ be an algebraic K3 surface defined over a number field $K$.
Suppose $V$ has Picard number two and an infinite group of
automorphisms $\mathcal{A} = \Aut(V/K)$. In this paper, we
introduce the notion of a vector height $\mathbf{h} \colon V \to
\Pic(V) \otimes \mathbb{R}$ and show the existence of a canonical
vector height $\widehat{\mathbf{h}}$ with the following properties:
\begin{gather*}
\widehat{\mathbf{h}} (\sigma P) = \sigma_* \widehat{\mathbf{h}} (P) \\
h_D (P) = \widehat{\mathbf{h}} (P) \cdot D + O(1),
\end{gather*}
where $\sigma \in \mathcal{A}$, $\sigma_*$ is the pushforward of
$\sigma$ (the pullback of $\sigma^{1}$), and $h_D$ is a Weil
height associated to the divisor $D$. The bounded function implied
by the $O(1)$ does not depend on $P$. This allows us to attack
some arithmetic problems. For example, we show that the number of
rational points with bounded logarithmic height in an
$\mathcal{A}$orbit satisfies
$$
N_{\mathcal{A}(P)} (t,D) = \# \{Q \in \mathcal{A}(P) : h_D (Q)