Canonical heights for Hénon maps

We consider the arithmetic of Henon maps phi(x, y) = (ay, x + f(y)) defined over number fields and function fields, usually with the restriction a=1. We prove a result on the variation of Kawaguchi's canonical height in families of Henon maps, and derive from this specialization theorem, showing that the set of parameters above which a given non-periodic point becomes periodic is a set of bounded height. Proving this involves showing that the only points of canonical height zero for a Henon map over a function field are those which are periodic (in the non-isotrivial case). In the case of quadratic Henon maps phi(x, y)=(y, x+y(2)+b), we obtain a stronger result, bounding the canonical height from below by a quantity that grows linearly in the height of b, once the number of places of bad reduction is fixed. Finally, we propose a conjecture regarding Q-rational periodic points for quadratic Henon maps defined over Q, namely that they can only have period 1, 2, 3, 4, 6, or 8. We check this conjecture for the first million values of b is an element of Q, ordered by height.