Canonical Vector Heights on Algebraic K3 Surfaces with Picard Number Two

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 h : V -Pic(V) (sleet)R and show the existence of a canonical vector height widehat h with the following properties: { h} ((sigma) P) = (sigma){ h} (P) hD (P) = { h} (P) .D + O(1), where sigma \in mathcal{A}, (sigma)* is the pushforward of (sigma) (the pullback of (sigma)^-1), and hD 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 {A}-orbit satisfies ... Here, (mu)(P) is a nonnegative integer, s is a positive integer, and (omega) is a real quadratic fundamental unit.