Arxiv:Math/0405006V1 [Math.NT] 1 May 2004 Fmrhssascae Ihln Bundles

Home , Height function

arXiv:math/0405006v1 [math.NT] 1 May 2004 fmrhssascae ihln bundles. line with associated morphisms of subvarie of heights canonical however, constructed. surfaces, K3 Wheler’s For urnsfrsc ytm when systems such for currents ytm when systems r oeie fgetuse. ( great properties of nice enjoy sometimes that are heights Weil particular and geometry, ucin cle aoia egtfntoso Néron–Tate or heigh functions height canonical (called functions egt o ate xmls hc r eti noopim of endomorphisms certain are which Lattès examples, for heights morphism a sa is L K hn osrce aoia egt fsbaite fproject of subvarieties of o subvarieties heights of canonical heights canonical constructed constructed Zhang [8] Kramer and [8] t analogous theory arithmetic an varieties. developed abelian and [13]) cf. surfaces, iebundle line egtfntoso eti 3surfaces K3 certain on functions height endoe ubrfil hc di morphism a admit which field number a over defined n[]Cl n ivra osrce aoia egtfntoso p on functions height canonical constructed Silverman and Call [7] bundles line in ample symmetric to respect with AOIA EGT,IVRATCRET,ADDYNAMICAL AND CURRENTS, INVARIANT HEIGHTS, CANONICAL ⊗ Let . u rtrslsaecntuto fcnnclhihso subvar of heights canonical of construction are results first Our vraeinvarieties abelian Over key the of one play heights Weil heights. canonical explain we Firstly, eadn aoia egt fsbaite fpoetv varietie projective of subvarieties of heights canonical Regarding Let e od n phrases. and words Key 1991 d YTM FMRHSSASCAE IHLN BUNDLES LINE WITH ASSOCIATED MORPHISMS OF SYSTEMS yaia ytmof system dynamical od.Teproeo hspprt osrc aoia egt o heights canonical construct to paper this of purpose The holds. X ahmtc ujc Classification. Subject Mathematics rpris eas osrc nain urnsfrsc syste such for currents an invariant field, construct number also a over We defined properties. bundles line with associated morphisms Abstract. L eapoetv ait vrafield a over variety projective a be ealn udeon bundle line a be L f K n some and : sanme edadsuysm fterpoete,adconstruct and properties, their of some study and field number a is X ecntutcnnclhihso uvreisfrdnmclsys dynamical for subvarieties of heights canonical construct We → aoia egt nain urn,dnmclsystem. dynamical current, invariant height, canonical A X > d k endoe ubrfield number a over defined opim over morphisms with X .I nte ieto,Slemn[0 osrce canonical constructed [20] Silverman direction, another In 1. and , K f ∗ is ( L k > d H KAWAGUCHI SHU Introduction C 15,1G0 58F23. 14G40, 11G50, ) eas eako itiuino onso small of points of distribution on remark also We . ≃ S K elnme.W a htapi ( pair a that say We number. real a ihtoinvolutions two with L K ⊗ L 1 and d soitdwith associated hc nosnc rpris oegenerally, More properties. nice enjoys which o oeln bundle line some for f i : f X K : ´rnadTt osrce height constructed Tate Néron and , → X → X sover ms ( L X i v varieties ive functions) t 1 = fdegree of eisfrdnmclsystem dynamical for ieties isse o ohv been have to not seem ties with ald“aoia”heights) “canonical” called σ bla aite.I [26], In varieties. abelian f on theory arithmetic the o P 1 td oeo their of some study d ,Piipn[7,Gubler [17], Philippon s, σ , N C , · · · . . 2 uvreisfrsuch for subvarieties f f L oetv varieties rojective ∗ cle hlrsK3 Wheler’s (called oe nDiophantine in roles eso several of tems k , ( L n some and d opim over morphisms ) ) if X b h ≃ L N X L hc admit which : ; ⊗ i k A =1 f d 1 ( invariant , o some for K f · · · > d i ∗ ) ( L → f , ) X k ≃ 1. R ) 2 SHU KAWAGUCHI

Theorem A (cf. Theorem 1.2.1, Proposition 1.3.1, Theorem 2.3.1, Theorem 4.3.1). Let (X; f1, , fk) be a dynamical system of k morphisms over a number ﬁeld K associated with a line··· bundle L of degree d>k. Then (1) there exists a unique real-valued function

hL, f1, ,f : X(K) R { ··· k} → with the following properties: b (i) hL, f1, ,fk is a Weil height corresponding to L, i.e., hL, f1, ,fk = hL + O(1); k{ ··· } { ··· } (ii) i=1 hL, f1, ,fk (fi(x)) = d hL, f1, ,fk (x) for all x X(K). (2) Assumeb L is{ ample.··· } Then { ··· } ∈b P (a) hL, f1,b ,fk (x) 0 for all x b X(K). (b) Let{C(···x) :=} f≥ f (x)∈ l 0, 1 i , , i k denote the forward orbit { i1 ◦···◦ il | ≥ ≤ 1 ··· l ≤ } bof x under f1, , fk . Then hL, f1, ,fk (x)=0 if and only if C(x) is finite. (3) Assume that L is{ ample,··· X}is normal and{ ···f , } , f are all surjective. Then one can 1 ··· k define the canonical height hL, f1, ,fbk (Y ) 0 for any subvariety Y XK . { ··· } ≥ ⊂ (4) Assume X is normal. Then the function hL, f1, ,fk decomposes into the sum of local canonical height functions. b { ··· } b Consider Wheler’s K3 surface S. It is shown that (S; σ1, σ2) becomes a dynamical system of two morphisms associated with a certain ample line bundle of degree 4. Applying Theorem A to (S; σ1, σ2), one obtains a height function hL, σ1,σ2 : S(K) R. It will be shown that (1+ { } → √3)hL, σ1,σ2 coincides with the the canonical height function defined by Silverman. In this way, Theorem{ } A generalizes Call–Silvermanb and Zhang’s construction of canonical heights for dynamicalb systems of one morphism to dynamical systems of k morphisms, incorporating Silverman’s canonical height functions on Wheler’s K3 surfaces. Moreover, one has canonical heights of subvarieties of Wheler’s K3 surfaces. Using Theorem A, we can similarly construct canonical height functions (and canonical heights of subvarieties) on other K3 surfaces: K3 surfaces in P2 P2 given by the intersection of two hypersurfaces of bidegrees (1, 2) and (2, 1); and K3 surfaces× in P1 P1 P1 given by hypersurfaces of tridegree (2, 2, 2). For arithmetic properties of the last surfaces,× × see Mazur [13] and Wang [25]. Another example of a dynamical system is the projective space PN N N and several surjective morphisms fi : P P such that deg fi 2 for some i. For their properties over C in the case N = 1 (dynamics→ of finitely generated≥ rational semigroups), we refer to Hinkkanen and Martin [9], which studies the theory of the dynamics of semigroups of rational functions on P1. See 1.4 for other examples. Secondly, we explain invariant§ currents. In [10], Hubbard and Papadopol introduced an invariant current, called the Green current, for a morphism f : PN PN of degree d 2, which is a generalization of the Brodin measure (also called the equilibriu→ m measure)≥ of N = 1. (More strongly, the Green current of f is defined when f : PN PN is an algebraically stable rational map, cf. [18], Théorème 1.6.1.) Properties of the··· Green → current of f have since been deeply studied by many authors, see for example the survey of Sibony [18] and the references therein. Our second results are the existence of (1, 1)-currents with nice properties, which we call invariant currents, for dynamical systems of morphisms over C associated with line bundles. CANONICAL HEIGHTS 3

Theorem B (cf. Theorem 3.1.1, Theorem 3.2.1). Let (X; f1, , fk) be a dynamical system of k morphisms over C associated with a line bundle L of degree··· d>k. We assume that X is smooth and L is ample. 1,1 (1) Let η0 A (X(C)) be a closed C∞ (1, 1)-form whose cohomology class coincides with c (∈L). We inductively deﬁne η A1,1(X(C)) by 1 n ∈ 1 η = (f ∗η + + f ∗η ). n+1 d 1 n ··· k n

Then, [ηn] converges to a closed positive (1, 1)-current T . Moreover, T is independent of the choice of η0, and satisﬁes f1∗T + + fk∗T = dT . (2) The current T admits a locally continuous··· potential. Indeed, there is a unique continuous metric , called the admissible metric (cf. [26]), on L with d = k·k∞ k·k∞ ϕ∗(f1∗ fk∗ ), and T is given by c1(L, ). k·k∞ ··· k·k∞ k·k∞ When f : PN PN is a morphism of degree d 2, the current T for (PN ; f) is nothing but the Green current→ of f. Consider Wheler’s K3≥ surface S. In this case, σ σ (resp. 2 ◦ 1 σ1 σ2) has a strictly positive topological entropy, and by the results of Cantat [5] there exists ◦ + + a closed positive (1, 1)-current T (resp. T −), unique up to scale, such that (σ2 σ1)∗(T )= + ◦ (7+4√3)T (resp. (σ1 σ2)∗(T −)=(7+4√3)T −). It will be shown that the current T for ◦ + the dynamical system (S; σ1, σ2) is equal to T + T − with a certain normalization of a scale. Since Szpiro, Ullmo and Zhang [23] proved equidistribution of small points for abelian varieties, and since heights of subvarieties and currents both with nice properties are constructed for (X; f1, , fk), it is tempting to pose a question for (X; f1, , fk) how the ··· T T ··· Galois orbit of x is distributed with respect to µ := ∧···∧dim X (dim X-times) whenever there n c1(L)

exists a sequence xn n∞=1 of X(K) of small points. Using the methods of [23] and [6], we remark that this question{ } is true for Lattès examples, which are endomorphisms of PN for which the Green currents are on some non-empty (analytic) open subset smooth and strictly positive. The organization of this paper is as follows. In 1, we construct canonical heights, study some of their properties, and give some examples.§ In 2, we construct canonical heights of subvarieties of X using adelic intersection theory developed§ by Zhang. In 3, we construct invariant currents on X(C). Then, we remark on distribution of points of§ small height for Lattès’s examples. In 4, we construct canonical local heights and see that the canonical height in 1 decomposes§ into the sum of these canonical local heights. The case k = 1 is § studied by Call and Silverman. In the appendix, we show finiteness of f1, , fk -periodic points of bounded degree in a more general setting. { ··· } The author expresses his sincere gratitude to Professors Atsushi Moriwaki and Vincent Maillot for helpful conversations, to Professor Tetsuo Ueda for explaining Lattès examples of PN .

1. Canonical heights 1.1. Quick review of heights. In this subsection, we brieﬂy review some part of height theory. We formulate it in terms of R-line bundles (not just line bundles), since R-line bundles are used in [20]. For details of height theory, we refer to [11] and [19]. 4 SHU KAWAGUCHI

n Let K be a number ﬁeld and OK its ring of integers. For x =(x0 : : xn) P (K), the logarithmic naive height of x is deﬁned by ··· ∈

1 hnv(x)= max ordP (xi) log #(OK/P )+ max log σ(xi) . [K : Q]  0 i n{− } 0 i n{ | |} ≥ ≥ P Spec(OK ) 0 ≤ ≤ σ:K֒ C ∈ X \{ } X→   By the product formula, hnv(x) is independent of the homogeneous coordinates of x. It is also independent of the choice of fields over which x is defined. Thus, we have the logarithmic naive height function h : Pn(Q) R. nv → Let X be a projective variety over Q. Let Pic(X) denote the group of isomorphic classes of line bundles on X. For L, M Pic(X), we will often denote the tensor product additively, ∈ i.e., L + M in place of L M. Let F (X) := f : X(Q) R be the space of real-valued ⊗ { → } functions on X(Q), and B(X) := f : X(Q) R supx X(Q) f(x) < the space of real- { → | ∈ | | ∞} valued bounded functions on X(Q). We use the notation h1 = h2 + O(1) if h1, h2 F (X) satisfies h h B(X). ∈ 1 − 2 ∈ Theorem 1.1.1 (cf. [19]). For any projective variety X over Q, there exists a unique map h : Pic(X) R F (X) modulo B(X), L h X ⊗Z −→ 7→ X,L with the following properties:

(1) hX,L is R-linear; n n n (2) If X = P and L = P (1), then hP , Pn (1) = hnv + O(1); (3) If f : X Y is a morphismO of projectiveO varieties and L is an element of P ic(X) → ⊗Z R, then h ∗ = h f + O(1). X,f L Y,L ◦ Proof. See [19], 3 for a proof when Pic(X) Z R is replaced by Pic(X), and R-linear by Z-linear. (The theorem§ there holds without the⊗ assumption of the smoothness of X.) Let hX : Pic(X) F (X) modulo B(X) be the map defined in [19], 3. By tensoring R over Z, we have a map→ § h : Pic(X) R F (X) modulo B(X). X ⊗Z −→ Obviously, h satisfies (1) and (2). To see h satisfies (3), let L be an element of Pic(X) R. X X ⊗Z We write L = r L + + r L for r R and L Pic(X). By [19], 3 it follows that ∼ 1 1 ··· n n i ∈ i ∈ § h ∗ = h f, and by (1) it follows that h ∗ = h f. Thus we have X,f Li Y,Li ◦ X, i rif Li Y, i riLi ◦ h ∗ = h f. The uniqueness of h follows from [19], 3 and R-linearity. ✷ X,f L Y,L ◦ X P § P By slight abuse of notation, we will use the same notation h F (X) for a represen- X,L ∈ tative of hX,L F (X) modulo B(X). We will often abbreviate hX,L by hL. The following Northcott’s finiteness∈ theorem is useful in the study of rational points on projective varieties. Theorem 1.1.2 (Northcott’s finiteness theorem). Let X be a projective variety over Q, and L Pic(X) Z R an ample R-line bundle. Then for any positive number M and a positive integer∈ D, the⊗ set x X(Q) [Q(x): Q] D, h (x) M ∈ | ≤ L ≤ is finite. CANONICAL HEIGHTS 5

Proof. See [19], 3 for a proof when Pic(X) Z R is replaced by Pic(X). In general, write L = r L + + r §L for r > 0 and ample L⊗. By changing representatives if necessary, ∼ 1 1 ··· n n i i we can take hLi F (X) such that hLi 0 and hL = i rihLi F (X). Then, the assertion follows from ∈ ≥ ∈ P [Q(x): Q] D, [Q(x): Q] D, ≤ x X(Q) ≤ x X(Q) M . ∈ hL(x) M ⊆  ∈ h (x)  L1 ≤  ≤ r1 

  ✷

1.2. Construction of canonical heights. Let X be a projective variety deﬁned over a number ﬁeld K, and f1, , fk : X X be morphisms over K. Assume that there exists R ··· → k an -line bundle L on X such that i=1 fi∗(L) ∼= dL for some positive real number d>k in Pic(X) R. ⊗ P We set 0 := id and l := fi1 fil 1 i1, , il k for l 1. We set := (=F f , { , f} ). F { ◦···◦ | ≤ ··· ≤ } ≥ F F1 { 1 ··· k}

Theorem 1.2.1. Let X be a projective variety over a number ﬁeld K, and f1, , fk : X X morphisms over K. Assume that there exists an R-line bundle L on X such··· that k→ for some positive real number in R. Then there exists a i=1 fi∗(L) ∼= dL d>k Pic(X) unique real-valued function, ⊗ P

hL, : X(K) R F → with the following properties: b

(i) hL, = hL + O(1). kF (ii) i=1 hL, (fi(x)) = dhL, (x) for all x X(K). We call hL, the canonical height bfunction Fassociated with FL and . ∈ F F P b b b Proof. First let us construct hL, . We take any representative hL F (X) of hL F k ∈ ∈ F (X) modulo B(X) and ﬁx it. Since i=1 fi∗(L) ∼= dL, there exists a constant C > 0 such that b P k

hL(fi(x)) dhL(x) C − ≤ i=1 X for all x X(K). Set a (x) := h (x) and ∈ 0 L 1 a (x) := h (f(x)) R. l dl L ∈ f X∈Fl 6 SHU KAWAGUCHI

We claim a (x) ∞ is a Cauchy sequence. Indeed, we have { l }l=0 1 1 a (x) a (x) = h (f(x)) h (f(x)) | l+1 − l | dl+1 L − dl L f l+1 f l ∈FX X∈F k 1 = h (f f(x)) dh (f(x )) dl+1 L i ◦ − L f ( i=1 ) X∈Fl X l # l k C F C = . ≤ dl+1 dl+1 klC C ∞ Since l=0 dl+1 = d k < , al(x) l∞=0 is a Cauchy sequence. − ∞ { } WeP define hL, (x) := liml al(x). we need to show hL, satisfies (i) and (ii). Note that F l 1 →∞ C F − al(x) a0(x) α=0 aα+1(x) aα(x) d k . Since a0(x)= hL(x), by letting l we obtain| − b| ≤ | − | ≤ − b →∞ P C hL, (x) hL(x) . F − ≤ d k k − Since al(fi(x)) = dal+1(x), we also obtain (ii) by letting l . i=1 b →∞ To see the uniqueness of hL, , suppose both h1 and h2 satisfy (i) and (ii). By (i) there P F exists a constant C′ with h1(x) h2(x) C′ for all x X(K). By (ii) it follows that 1 | − | ≤ ∈ h (x)= l h (f(x)). Sinceb b b j d f l j ∈F b b l P # l k C′ b b h (x) h (x) F C′ = , | 1 − 2 | ≤ dl dl we obtain h (x)= h (x) by letting l . ✷ 1 2 b →∞b 1.3. Someb propertiesb of canonical heights. Let the notation and assumption be as in 1.2. For x X(K), we define the forward orbit of x under to be § ∈ F C(x) := f(x) f for some l 0 . { | ∈Fl ≥ } Note that when there is only one morphism f1, i.e., k = 1, C(x) is finite if and only if x is preperiodic with respect to f1. Proposition 1.3.1. Let the notation and assumption be as in Theorem 1.2.1. Assume L Pic(X) R is ample. Then ∈ ⊗Z (1) hL, (x) 0 for all x X(K). F ≥ ∈ (2) hL, (x)=0 if and only if C(x) is finite. b F Proof. (1): Take a height function h F (X) corresponding to L. Since L is ample, b L ∈ there exists a constant C such that h (x) C for all x X(K). Then we have L ≥ ∈ 1 hL, (x) = lim hL(f(x)) F l dl →∞ f X∈Fl b 1 l lim sup l k C =0 ≥ l d →∞ CANONICAL HEIGHTS 7

(2): We first show the “only if” part. Let K′ be a finite extension of K such that k x X(K′). Since hL, 0 and hL, (fi(x)) = dhL, (x), it follows that hL, (f(x))=0 ∈ F ≥ i=1 F F F for all f l 0 l. Then by Northcott’s finiteness theorem (Theorem 1.1.2), C(x) y ∈ ≥ F P ⊆ { ∈ X(K′) hL, (y)=0b is finite. b b b | SF } k We next show the “if” part. Suppose a := hL, (x) > 0. Since hL, (fi(x)) = F i=1 F b d k dhL, (x), it follows that hL, (fi1 (x)) a for some i1. Since hL, (fi(fi1 (x))) = F F k i=1P F ≥ db2 b dhL, (fi1 (x)), it follows that hL, (fi2 fi1 (x)) ( ) a for some i2. Similarly, for any l Z>0, F F ◦ ≥ k P ∈ b b d l d b ✷ there exists f l with hL, (f(x)) ( k ) a. Since k > 1, C(x) cannot be finite. b ∈F Fb ≥ b Corollary 1.3.2. Let the notation and assumption be as in Theorem 1.2.1. Assume L Pic(X) R is ample. Then for any D Z , ∈ ⊗Z ∈ >0 x X(K) [K(x): K] D, C(x) is finite ∈ | ≤ is finite.

Proof. The assertion follows from Proposition 1.3.1(2) and Theorem 1.1.2. ✷

1.4. Examples.

1.4.1. Abelian varieties. Let A be an abelian variety over Q, and L a symmetric ample line bundle on A. Since [2]∗(L) = 4L, the canonical height function hL,[2] : A(Q) R 0, called ∼ → ≥ Néron-Tate’s height function, is defined so that hL,[2] is a height corresponding to L and b hL [2] = 4hL. ◦ b b1.4.2. Projectiveb spaces. Let F , , F Q[X , ,X ] be homogeneous polynomials of 0 ··· N ∈ 0 ··· N degree d 1 such that 0 is the only common zero of F0, , FN . Then f = (F0 : : FN ) ≥ N N ··· ··· defines a morphism of P to P . Assume d 2. Since f ∗ N (1) = N (d), the canonical ≥ OP ∼ OP height function h associated with N (1) and f is defined. PN (1),f P O O N N More generally, for i = 1, ,k, let fi : P P be morphisms of degree di 1. ··· k → k ≥ Assume d 2b for some i. Since f ∗( N (1)) N ( d ), the canonical height i ≥ i=1 i OP ≃ OP i=1 i function h associated with N (1) and f , , f is defined. We note that the PN (1), f1, ,fk P 1 k O { ··· N } N O { ··· P} dynamical system (P ; f1, , fk) over C in the case N = 1 (dynamics of finitely generated rational semigroups)b is studied··· in [9].

1.4.3. Toric varieties. Let P(∆) be a smooth projective toric variety Q, and D an ample torus-invariant Cartier divisor on P(∆). Let p 2 be an integer, and [p]: P(∆) P(∆) the ≥ → p morphism associated with the multiplication of ∆ by p. Since [p]∗( (D)) (D)⊗ , OP(∆) ≃ OP(∆) the canonical height function h (D),[p] : P(∆)(Q) R associated with P(∆)(D) and [p] OP(∆) → O is deﬁned. For details, we refer Maillot [12], Theorem 3.3.3. b 8 SHU KAWAGUCHI

1.4.4. K3 surfaces, I. Let S be a K3 surface in P2 P2 given by the intersection of two hypersurfaces of bidegrees (1, 1) and (2, 2) over Q.× Such K3 surfaces are called Wheler’s K3 surfaces (cf. [13]). Silverman [20] constructed a canonical height function on S and developed an arithmetic theory. Here, we will show we can construct a height function on S by using Theorem 1.2.1, which turns out to coincide with the one Silverman constructed up to a constant multiple. Let p : S P2 be the projection to the i-th factor for i =1, 2. Since p is a double cover, i → i it gives an involution σ Aut(S). Set L := p∗ 2 (1). By [20], Lemma 2.1, we have i ∈ i i OP σ∗(L ) = L , σ∗(L ) = L +4L , 1 1 ∼ 1 2 1 ∼ − 1 2 σ∗(L ) = 4L L , σ∗(L ) = L . 1 2 ∼ 1 − 2 2 2 ∼ 2 Thus the ample line bundle L := L1 + L2 on S satisﬁes σ1∗(L)+ σ2∗(L) ∼= 4L. Applying

Theorem 1.2.1 to S, L and σ1, σ2 , we obtain a height function hL, σ1,σ2 : S(Q) R 0. { } { + } → ≥ Let us recall Silverman’s construction of a height function. Setting E := (2+√3)L1 L2 1 − and E− := L +(2+ √3)L , we have (σ σ )± ∗(E±)=(7+4b√3)E±. Then we obtain − 1 2 2 ◦ 1 two height functions h± which are characterized by being a height corresponding to E± and 1 + + h± (σ2 σ1)± = (7+4√3)h±. (In the notation of Theorem 1.2.1, h = hE ,σ2 σ1 and ◦ ◦ ◦ + − b h− = hE ,σ1 σ2 .) Silverman deﬁned a canonical height function on S to be h + h−, which b ◦ b b b is denoted by hSil in the following. b b b b The next proposition relates hSil with hL, σ1,σ2 . b { }

Proposition 1.4.1. hSil = (1+ √3) hL, σ1,σ2 . b {b } Proof. It suffices to show 1 h satisfies the two conditions of Theorem 1.2.1. Since b 1+√3 Silb + √ hSil is by construction a height corresponding to E + E− ∼= (1 + 3)L, it follows that 1 h satisfies the first condition.b By [20], Theorem 1.1(ii), we have 1+√3 Sil b 1 1 b h± σ1 = (2+ √3)∓ h∓, h± σ2 =(2+ √3)± h∓. ◦ ◦ Then we have b b b b 1 1 hSil(σ1(x)) + hSil(σ2(x)) 1+ √3 1+ √3 1 + + = b h (σ1(x)) + h−(σ1(bx)) + h (σ2(x)) + h−(σ2(x)) 1+ √3 n o 1 1 + 1 = (2b + √3)+(2+b √3)− (bh (x)+ h−(xb))=4 hSil. 1+ √3 1+ √3 Thus 1 h also satisfies the second conditionb of Theoremb 1.2.1. b ✷ 1+√3 Sil

b 1.4.5. K3 surfaces, II. Let S be a K3 surface in P2 P2 given by the intersection of two × 2 hypersurfaces of bidegrees (1, 2) and (2, 1) over Q. Let pi : S P be the projection to the i-th factor for i = 1, 2. Since p is a double cover, it gives an→ involution σ Aut(S). Set i i ∈ CANONICAL HEIGHTS 9

L := p∗ 2 (1). By similar computations as above, we have i i OP σ∗(L ) = L , σ∗(L ) = L +5L , 1 1 ∼ 1 2 1 ∼ − 1 2 σ∗(L ) = 5L L , σ∗(L ) = L . 1 2 ∼ 1 − 2 2 2 ∼ 2 Thus the ample line bundle L := L1 + L2 on S satisﬁes σ1∗(L)+ σ2∗(L) ∼= 5L. Applying

Theorem 1.2.1 to S, L and σ1, σ2 , we obtain a height function hL, σ1,σ2 : S(Q) R 0. { } { } → ≥ 1.4.6. K3 surfaces, III. Let S be a hypersurface of tridegrees (2, 2, 2) in P1 P1 P1 over b × × Q (cf. [13]). For i = 1, 2, 3, let p : S P1 P1 be the projection to the (j, k)-th factor i → × with i, j, k = 1, 2, 3 . Since pi is a double cover, it gives an involution σi Aut(S). { } 1 { } ∈ Let qi : S P be the projection to the i-th factor, and set Li := qi∗ P1 (1). By similar computations→ as above, we have O

σ∗(L ) = L +2L +2L for i, j, k = 1, 2, 3 , i i ∼ − i j k { } { } σ∗(L ) = L for i = j. j i ∼ i 6 Thus the ample line bundle L := L1 + L2 + L3 on S satisﬁes σ1∗(L)+ σ2∗(L)+ σ3∗(L) ∼= 5L.

Applying Theorem 1.2.1 to S, L and σ1, σ2, σ3 , we obtain a height function hL, σ1,σ2,σ3 : { } { } S(Q) R 0. We remark that Wang [25] constructed a height function on S. It may be → ≥ b interesting to compare it with hL, σ1,σ2,σ3 . To illustrate Proposition 1.3.1(2),{ suppose} now S is deﬁned by the aﬃne equation x(1 bx)+ y(1 y)+ z(1 z) xyz =0. − − − − Then S is smooth. It is easy to check that the orbit of (0, 0, 0) under σ , σ , σ is { 1 2 3} (0, 0, 0), (1, 0, 0), (0, 1, 0), (0, 0, 1), (1, 1, 0), (1, 0, 1), (0, 1, 1) { }

and thus finite. In particular, hL, σ1,σ2,σ3 ((0, 0, 0)) = 0. { } 1.4.7. Product of a projective space and an abelian variety. Let A be an abelian variety over b Q, and L a symmetric ample line bundle on A. Let f = (F : : F ): PN PN be a 0 ··· N → morphism defined by the homogeneous polynomials F0, , FN of degree d> 1 such that 0 N··· is the only common zero of F , , F . Set X = A P , g = [2] id N , and g = id f. 0 ··· N × 1 × P 2 A × Put M = p∗L p∗ N (1), where p and p are the obvious projections. Then 1 ⊗ 2OP 1 2 (d 1) times − (4d 1) g∗(M) g∗(M) g∗(M) g∗(M) g∗(M) M ⊗ − . 1 ⊗···⊗ 1 ⊗ 2 ⊗ 2 ⊗ 2 ≃ N Thus we have thez canonical}| height{ function hM, g1, ,g1,g2,g2,g2 on A P (Q). It is easy to { ··· } × see hM, g1, ,g1,g2,g2,g2 = hL p1 + h N (1),f p2. { ··· } ◦ OP ◦ b b 2.b Canonicalb heights of subvarieties In this section, first we briefly review the adelic intersection theory due to Zhang [26]. Then we construct an adelic sequence for a given dynamical system of k morphisms associated with a line bundle, and finally define canonical heights for its subvarieties. We refer to [26] and [16] for details of adelic intersection theory, to [22] and [1] for details of Gillet-Soulé’s arithmetic intersection theory and height theory of subvarieties in general. 10 SHU KAWAGUCHI

2.1. Adelic sequence. Let K be a number field and OK its ring of integers. By a projective arithmetic variety, we mean a flat and projective integral scheme over O . A pair = K L ( , ) is called a C∞-hermitian Q-line bundle over a projective arithmetic variety if L k·k X L is a Q-line bundle over and is a C∞-hermitian metric on C that is invariant under X k·k L⊗Z the complex conjugation. Recall that is said to be C∞ if, for any analytic morphism k·k h : M C from any complex manifold M, h∗( ) is a C∞-hermitian metric on → X ⊗Z k·k h∗( C). L ⊗Z Following [15], we say that is nef if the first Chern form c ( C, ) is semipositive L 1 L ⊗Z k·k on X(C), and for all one-dimensional integral closed subschemes Γ of , deg( ) 0. We X L Γ ≥ say that is Q-effective (denoted by & 0) if there is a positive integer n and a non-zero L 0 n L section s H ( , ⊗ ) with s sup 1. For two C∞-hermitian Q-line bundlesd and , ∈ X L k k ≤ 1 L M we use the notation & if − & 0. We quote [15], Proposition 2.3 here. L M L ⊗ M Proposition 2.1.1 ([15]). Set dim X = e. (1) If , , are nef, then deg(c ( ) c ( )) 0. L1 ··· Le+1 1 L1 ··· 1 Le+1 ≥ (2) If 1, , e are nef and is Q-effective, then deg(c1( 1) c1( e) c1( )) 0. L ··· L M d L ··· L · M ≥ Let X a projective variety over K andb L a Q-lineb bundle over X. A pair ( , ) of a d X L projective arithmetic variety and a C∞-hermitian Q-line bundleb is calledb a Cb ∞-model of

(X, L) if one has OK K = X and OK K = L. Following [26] andX ⊗ [16], we make followingL ⊗ deﬁnitions.

Deﬁnition 2.1.2. (1) Let ( , ) ∞ be a sequence of C∞-models of (X, L). We say { Xn Ln }n=0 that ( n, n) n∞=0 is an adelic sequence of (X, L) if it satisﬁes the following three conditions:{ X L } (i) For every n 0, n is nef; (ii) There exists≥ a ZariskiL dense open set U Spec(O ) such that, for every n 0, ⊆ K ≥ n U = n+1 U and n U = n+1 U ; We set Spec OK U = P1, , Pr ; X | X | L | L | \ { ′ ··· } (iii) For every n 0, there exist a projective arithmetic variety n, birational mor- ≥ ′ ′ X phisms µ : and ν : , and positive rational numbers n Xn → Xn n Xn → Xn+1 cn1, ,cnr Q>0 and positive real numbers cnσ R>0 for every σ : K ֒ C such··· that ∈ ∈ → r

π∗ ′ cnα[Pα], cnσ[σ] . µn∗ ( n) νn∗( n+1) Xn − − L − L !! α=1 σ:K֒ C → X X r

. π∗ ′ cnα[Pα] cnσ[σ] , Xn !! α=1 σ:K֒ C X X→ ∞ ∞ (c < (α =1, ,r), c < (σ : K ֒ C nα ∞ ··· nσ ∞ → n=0 n=0 X ′ X where π ′ : n Spec(OK) is the structure morphism. Xn X → A open set U of Spec(OK) satisfying (ii) and (iii) is called a common base of ( , ) ∞ . Note that if U is a common base of ( , ) ∞ and U ′ is a non- { Xn Ln }n=0 { Xn Ln }n=0 empty Zariski open set of U, then U ′ is also a common base of ( , ) ∞ . { Xn Ln }n=0 CANONICAL HEIGHTS 11

(2) Two adelic sequences ( , ) ∞ and ( , ) ∞ of (X, L) aresaid to be equiv- { Xn Ln }n=0 { Yn Mn }n=0 alent if there exists a non-empty Zariski open set U of Spec(OK) with the following properties:

(i) U is a common base of both ( n, n) n∞=0 ande ( n, n) n∞=0. (ii) For every n 0, there exist{ X a projectiveL } arithmetic{ Y M variety} , birational ≥ Zn morphismse µn : n n and νn : n n, and positive rational numbers c , , c and positiveZ → X real numbersZc →for Y every σ : K ֒ C such that n1 ··· nr nσ → r e e e e e e π∗ n cnα[Pα], cnσ[σ] . µn∗ ( n) νn∗( n) Z − e − L − M !! α=1 σ:K֒ C X X→ e e e e e r . π∗ ′ cnα[Pα], cnσ[σ] , Zn e !! α=1 σ:K֒ C X X→ ∞ ∞ e e e (c < (α =1, , r), c < (σ : K ֒ C nα ∞ ··· nσ ∞ → n=0 n=0 X X wheree Spec OK U = P1, e, Pr and eπ n : n Spec(OK) is the structure morphism. \ { ··· } Z Z → e The next lemma follows directlye frome Deﬁnitione 2.1.2.

Lemma 2.1.3. Let ( , ) ∞ be an adelic sequence of (X, L). { Xn Ln }n=0 (1) Let Y be a subvariety of X such that Y is defined over K. Let be the Zariski K Yn closure of Y in n. Then ( n, n ) ∞ is an adelic sequence of (Y, L ). n n=0 Y X { Y L Y } | ′ Let be a finite extension field of and ′ its ring of integers. We set (2) K′ K OK n = ′ ′ ′ X Spec(O′ ) and = O′ . Then ( , ) ∞ is an adelic Xn ×Spec(OK ) K Ln Ln ⊗OK K { Xn L′n }n=0 sequence of (XK′ , LK′ ). The next theorem (a special case of [26], Theorem (1.4) and [16], Proposition 4.1.1) asserts the existence of the adelic intersection number.

Theorem 2.1.4 (A special case of adelic intersection number [26]). Let ( n, n) n∞=0 be an adelic sequence of (X, L). Then the arithmetic intersection number { X L } deg c ( )dim X+1 1 Ln converges as n goes to . Moreover, the limit is independent of the choice of equivalent ∞ adelic sequences. We call the limit thed adelicb intersection number of ( , ) ∞ . { Xn Ln }n=0 Proof. Since we adopt a slightly different definition for an adelic sequence, we sketch a ′ ′ proof here. Let U be a common base and µn : n n and νn : n n+1 birational morphisms as in Definition 2.1.2. Then X → X X → X c ( )dim X+1 c ( )dim X+1 1 Ln − 1 Ln+1 dim X+1 dim X+1 = c (µ∗ ( )) c (ν∗( )) 1 n Ln − 1 n Ln+1 b b dim X i dim X i = bc1 µ∗ ( n) ν∗( n+1b) c1(µ∗ ( n)) c1(ν∗( n)) − , n L − n L n L n L ( i=0 ) X b b b 12 SHU KAWAGUCHI

where we use the projection formula in the ﬁrst equality. Since

π∗ ′ cnα[Pα], cnσ[σ] . µn∗ ( n) νn∗( n+1) Xn − − L − L !! α=1 σ:K֒ C → X X r

. π∗ ′ cnα[Pα], cnσ[σ] , Xn !! α=1 σ:K֒ C X X→ it follows from the projection formula and Proposition 2.1.1 that

dim X+1 dim X+1 c (µ∗ ( )) c (ν∗( )) 1 n Ln − 1 n Ln+1 r dim X i dim X i b π∗ n cnα[Pαb], cnσ[σ] c1(µn∗ ( n)) c1(νn∗( n)) − ≤ X L L ( α=1 σ:K֒ C !! ( i=0 X X→ X r 1 b b = c log #(O /P )+ c c (L)dim X . nα K α 2 nσ 1 ! α=1 σ:K֒ C X X→ dim X+1 Since ∞ c < and ∞ c < , deg c ( ) converges as n goes to . n=0 nα ∞ n=0 nσ ∞ 1 Ln ∞ Next let ( , ) ∞ and ( , ) ∞ be equivalent adelic sequences for (X, L). Take P { Xn Ln }n=0 P { Yn Mn }n=0 birational morphisms µn : n n anddνnb : n n as in Deﬁnition 2.1.2. Note Z → X dim X+1 Z → Y dim X+1 dim X+1 that by the projection formula c1( n) = c1(µn∗ ( n)) and c1( n) = dim X+1 L L M c (ν∗( )) . A similar argument as above yields 1 n Mn e e b r b e b dim X+1 dim X+1 1 dim X bc1(eµ∗ ( n)) c1(ν∗( n)) cnα log #(OK/Pα)+ cnσ c1(L) . n L − n M ≤ e 2 ! α=1 σ:K֒ C X X→ e Thusb e deg c ( )dim Xb+1e and deg c ( )dim X+1e have the same limit as n goese to . ✷ 1 Ln 1 Mn ∞ d b d b 2.2. Adelic sequence arising from several morphisms. Let (X; f1, , fk) be a dynamical system of k morphisms over K associated with L of degree d>k··· . In 2.2 we assume that X is normal, f , f are surjective and L is an ample Q-line bundle. § 1 ··· k Since X is normal and L is ample, we can take a C∞-model ( , ) of (X, L) such that X L is normal and is nef. We take a non-empty Zariski open subset U Spec(OK) such X L ⊆ d that each fi : X X extends to fi : U U and that f1∗( U ) fk∗( U ) U⊗ in → X → X L ⊗···⊗ L ≃ L d Pic( U ) Q. By ﬁxing an isomorphism, we use the notation f1∗( U ) fk∗( U )= U⊗ in theX following.⊗ L ⊗···⊗ L L (i) Let us construct another C∞-model of (X, L) from ( , ). Let be the normalization of X L X f . ֒ i XU −→ XU → X We denote the induced morphism by f (i) : (i) . Let be the Zariski closure of X → X X1 k ,(k) (1) ֒ ∆ XU −→ XU ×U ···×U XU → X ×OK ···×OK X z }| { CANONICAL HEIGHTS 13

(1) (k) (i) where ∆ is the diagonal map. Let pi : OK OK denote the projection to the i-th factor. We set X × ···× X → X

1 (1) (k) ⊗ d 1 = (f p1)∗ (f pk)∗ . 1 L ◦ L⊗···⊗ ◦ L X h i Then we get the C∞-model ( , )of(X, L) from ( , ) := ( , ). Inductively we obtain X1 L1 X0 L0 X L the C∞-model ( , ) of (X, L) from ( , ). Xn+1 Ln+1 Xn Ln Theorem 2.2.1. (1) ( , ) ∞ is an adelic sequence of (X, L). We call ( , ) ∞ { Xn Ln }n=0 { Xn Ln }n=0 the adelic sequence of (X, L) associated with ( 0, 0) and f1, , fk . ′ ′ X L ′ { ··· } ′ (2) Let ( 0, 0) be another C∞-model of (X, L) such that 0 is normal and 0 is nef. X ′L ′ X ′ ′ L Let ( n, n) n∞=0 be the adelic sequence associated with ( 0, 0) and f1, , fk . { X L } ′ ′ X L { ··· } Then ( , ) ∞ and ( , ) ∞ are equivalent. { Xn Ln }n=0 { Xn Ln }n=0 Proof. (1) By construction, n is nef for all n 0. Moreover, over U, n U = U and L 1 ≥ X | X d n+1 U = [f1∗( U ) fk∗( U )]⊗ = U . Thus, we have only to check the condition (iii) ofL Definition| 2.1.2.L ⊗···⊗ L L Let us first estimate the difference between ( 1, 1) and ( 2, 2), using the difference (i) X(i) L X L fi ֒ between ( 0, 0) and ( 1, 1). Let 0 (resp. 1 ) be the normalization of U U X L fi X L X X (i) (Xi) −→ X → .resp. U U ֒ 1). We denote the induced morphism by f0 : 0 0 (resp) 0 X(i) (i) X −→ X → X X → X f1 : 1 1). By the definition of ( n, n) n∞=0, 1 (resp. 2) is the Zariski closure of ∆X → X (1) { X L(k) } X ∆ X (1) U U U U U ֒ 0 OK OK 0 , (resp. U U U U U ֒ 1 OK X −→ X(k×) · · ·× X (1)→ X × · · ·× (k)X (i) X −→ X(1)× · · ·× X →(k X) × (i) OK 1 . Let p0i : 0 OK OK 0 0 (resp. p1i : 1 OK OK 1 1 denote···× theX projectionX to the× i-th···× factor.X → X X × ···× X → X Take a projective arithmetic variety such that there exist birational morphisms ρ : Y 0 0 and ρ1 : 1 that are the identity maps over U. For example, we may take Y → X Y → X (i) Y as the integral closure of the image of the diagonal map from X to 0 OK 1. Let be the normalization of X × X Y f . ֒ = i = YU XU −→ YU XU →Y We denote the induced morphism by g(i) : (i) . Let be the Zariski closure of Y →Y Z k ,(k) (1) ֒ ∆ YU −→ YU ×U ···×U YU →Y ×OK ···×OK Y where ∆ is the diagonal map.z Then}| there{ are biratinal morphisms µ0 : 1 and (1) (k) Z →(i) X µ1 : 2 that are identity maps over U. Let qi : OK OK denote the projectionZ → X to the i-th factor. Y × ···× Y → Y

k k (i) (i) Claim 2.2.1.1. (1) (ρ g q )∗ = µ∗ (f p )∗ . 0 ◦ ◦ i L0 0 0 ◦ 0i L0 i=1 ! i=1 ! 1 k O k Z O X (i) (i ) (2) (ρ1 g qi)∗ 1 = µ∗ (f p1i)∗ 1 . ◦ ◦ L 1 1 ◦ L i=1 ! i=1 ! 2 O Z O X

14 SHU KAWAGUCHI

Indeed, for each i =1, ,k, we consider two morphisms: ··· (i) ∆ g qi ρ0 (1) (k) ◦ and Z −→ Y ×OK ···×OK Y −→ Y −→ X0 (i) µ ∆ f p0i 0 (1) (k) 0 ◦ . Z −→ X1 −→ X ×OK ···×OK X −→ X0 These two morphisms coincide with each other over U, and hence over OK. Thus we get the ﬁrst assertion. The second assertion follows by the same argument.

k 1 (i) (i) Claim 2.2.1.2. µ0∗( 1) µ1∗( 2)= (ρ0 g qi)∗ 0 (ρ1 g qi)∗ 1 L − L d ◦ ◦ L − ◦ ◦ L ! i=1 O Z Indeed, it follows from Claim 2.2.1.1 that

k k (i) (i) (ρ g q )∗ = µ∗ (f p )∗ 0 ◦ ◦ i L0 0 0 ◦ 0i L0 i=1 ! i=1 ! 1 X Z X X = µ∗(d 1)= dµ∗( 1) 0 L 0 L and similarly k (i) (ρ1 g qi)∗ 1 = dµ1∗( 2). ◦ ◦ L ! L i=1 X Z Since ρ0 : 0 and ρ1 : 1 give the same morphism over U, there are positive rational numbersY → Xc , ,c andY → positive X real numbers c (σ : K C) such that 01 ··· 0r 0σ → r

π∗ c0α[Pα], c0σ[σ] . ρ0∗( 0) ρ1∗( 1) Y − − L − L α=1 σ:K C !! → X X r

. π∗ c0α[Pα], c0σ[σ] . Y α=1 σ:K C !! X X→ Then it follows from Claim 2.2.1.2 that r k k π∗ c0α[Pα], c0σ[σ] . µ0∗( 1) µ1∗( 2) Z − d − d L − L α=1 σ:K C !! X X→ r k k . π∗ c0α[Pα], c0σ[σ] . Z d d α=1 σ:K C !! X X→ Inductively we ﬁnd that there exist a projective arithmetic variety , and birational morphisms ν : and ν : such that W n W → Xn n W → Xn+1 r kn kn π∗ c0α[Pα], c0σ[σ] . µn∗ ( n) νn∗( n+1) W − dn − dn L − L α=1 σ:K C !! X X→ r kn kn . π∗ c0α[Pα], c0σ[σ] . W dn dn α=1 σ:K C !! X X→ CANONICAL HEIGHTS 15

k n Since ∞ < , ( , ) ∞ satisfies the condition (iii) of Definition 2.1.2. n=0 d ∞ { Xn Ln }n=0 (2) TakeP a non-empty Zariski open set U of Spec(OK) that is a common base of both ′ ′ ′′ ( n, n) n∞=0 and ( n, n) n∞=0. Let 0 be a projective arithmetic variety such that there {existX birationalL } morphisms{ X L µ} : ′′ X e and ν : ′′ ′ that are the identity maps 0 X0 → X0 0 X0 → X0 over U. Then there are positive rational numbers c , , c and positive real numbers 01 ··· 0r c0σ (σ : K C) such that e e → e e r e e e ′ π∗ ′′ c0α[Pα], c0σ[σ] . µ0∗( 0) ν0∗( 0) X0 − e − L − L α=1 σ:K C !! X X→ e e e e e r . π∗ ′′ c0α[Pα], c0σ[σ] , X0 e α=1 σ:K C !! X X→ ′′ e e e where Spec OK U = P1, , Pr and π ′′ : 0 Spec(OK) is the structure morphism. \ { ··· } X0 X → ′′ ′′ f ′′ ′′ ′′ Let (i) be the normalization of i ֒ . Let be the Zariski closure of 0 e 0U 0U 0 1 X e e e ′′ X −→ X →′′ X X k). Then there are biratinal morphisms) (1) ֒ ′′ ′′ ∆ ′′ 0U 0U U U 0U 0 e OK OeK 0 X −→′′ X × ···× X′′ → X′ × ···× X µ1 : 1 and ν1 : that are identity maps over U. By the same argument as e 1 e e e 1 e 1 in (1),X we→ have X X → X e e r e k k ′ π∗ ′′ c0α[Pα], c0σ[σ] . µ1∗( 1) ν1∗( 1) X1 − e d − d L − L α=1 σ:K C !! X X→ e e e e er k k . π∗ ′′ c0α[Pα], c0σ[σ] . X1 e d d α=1 σ:K C !! X X→ e e′′ e Inductively we find that there exist a projective arithmetic variety n , birational morphisms µ : ′′ and ν : ′′ ′ such that X n Xn → Xn n Xn → Xn r n n e k e k ′ ∗ ′′ P . ∗ ∗ π n cnα[ α], n c0σ[σ] µn( n) νn( n) Xn − e d − d L − L α=1 σ:K C !! X X→ e e e e r kne kn ′′ P . π∗ n c0α[ α], n c0σ[σ] . Xn e d d α=1 σ:K C !! X X→ kn e Since ∞ < , we get the assertion. e e ✷ n=0 dn ∞ P 2.3. Adelic intersection and heights of subvarieties. As in 2.2, let (X; f1, , fk) be a dynamical system of k morphisms over K associated with L §of degree d>k···, and we assume that X is normal, f , , f are surjective, and L is an ample Q-line bundle. Fix a 1 ··· k C∞-model ( , ) of (X, L). X L Let Y X be a subvariety. Take a finite extension field K′ of K over which Y is defined. ⊂ K Let denote the Zariski closure of Y in O ′ . We define the height of Y with respect Y X ⊗OK K 16 SHU KAWAGUCHI

to ( , ) to be X L dim Y +1 ′ deg c1 OK OK L ⊗ Y h( , )(Y )= dim Y . X L [K : Q](dim Y + 1)deg( L K · ) ′ d b ⊗K ′|Y In particular, if Y is a closed point of XK, then

′ deg OK OK L ⊗ Y h( , )(Y )= . X L [K′ : Q] d Then we have the following theorem. Theorem 2.3.1. Let (X; f , , f ) be a dynamical system of k morphisms over K associ- 1 ··· k ated with L of degree d>k. We assume that X is normal, f1, , fk are surjective, and L is an ample Q-line bundle. ···

(1) Let ( , ) be a C∞-model of (X, L) such that is normal and is nef. Let X0 L0 X0 L0 ( n, n) n∞=0 be the adelic sequence of (X, L) associated with ( 0, 0) and = {fX, L, f} . Then, for any subvariety Y X , X L F { 1 ··· k} ⊂ K

hL, (Y ) := lim h( n, n)(Y ) F n X L →∞

converges. The limit hL, b(Y ) is independent of the choice of C∞-models ( 0, 0) of F X L (X, L), and hL, 1 (Y ) 0 for all Y XK. We call this limit the canonical height of Y associated withF L andb≥ . ⊂ F (2) Let ( , ) beb a C∞-model of (X, L). Then there exists a constant C such that X L

hL, (Y ) h( , )(Y ) C F − X L ≤

for any subvariety Y X . ⊂ Kb (3) When Y is a closed point of XK , hL, (Y ) coincides with the canonical height in Theorem 1.2.1. F b Proof. (1) Let denote the Zariski closure of Y in O ′ . By Lemma 2.1.3, Yn Xn ⊗OK K ( n, n O OK′ ) ∞ is an adelic sequence of (Y, L ). Then it follows from Theo- K n n=0 Y { Y L ⊗ Y } | rem 2.1.4 that h( n, n)(Y ) converges as n goes to . It follows from Theorem 2.1.4 and X L ∞ Theorem 2.2.1(2) that this limit is independent of the choice of ( , ). Moreover, since X0 L0 n is nef, h( n, n)(Y ) 0 by Proposition 2.1.1. Thus hL(Y ) = limn h( n, n)(Y ) 0. L X L ≥ →∞ X L ≥ (2) Take a C∞-model ( ′, )of(X, L) such that ′ is normal and is nef. By [1], Propo- X L′ X b L′ sition 3.2.2, there exists a constant C1 such that

h( , )(Y ) h( ′, ′)(Y ) C1 X L − X L ≤

for any subvariety Y XK. Thus, to prove (2), we may assume that ( , ) is nef. ⊂ ′ ′ X L We take birational morphisms µn : n n and νn : n n+1 as in Deﬁnition 2.1.2. X ′ → X X → X Let ′ be the Zariski closure of Y in . Then by a similar argument as in the proof of Y Xn CANONICAL HEIGHTS 17

Theorem 2.1.4, we have

dim Y +1 dim Y +1 ′ ′ c1(µn∗ ( n) OK OK ′ ) c1(νn∗( n+1) OK OK ′ ) L ⊗ Y − L ⊗ Y r kn 1 b b [K′ : K] c log #(O /P )+ c . ≤ dn 0α K α 2 0σ α=1 σ:K C ! X X→ dim Y +1 dim Y +1 Since by the projection formula c1( n O OK′ ) = c1(µ∗ ( n) O OK′ ′ ) K n n K dim Y +1 L ⊗ Y dim Y +1L ⊗ Y ′ ′ and c1( n+1 OK OK ) = c1(νn∗( n+1) OK OK ′ ) , we have L ⊗ n+1 L ⊗ Y b Y b kn r c O /P 1 c α=1 0α log #( K α)+ 2 σ C 0σ b h( n, n)(Y ) h( n+1, n+1)(Y ) b → . X L − X L ≤ dn[K : Q](dim Y + 1) P P d r c log #(O /P )+ 1 c ( α=1 0α K α 2 σ→C 0σ) Putting C = (d k)[K:Q] , we obtain the desired estimate. P − P

(3) Let us check that if y X(K) is a closed point, hL, 1 (y) defined via adelic intersection ∈ F satisfies (i) and (ii) of Theorem 1.2.1. Note that h( 0, 0) = hL + O(1). Then it follows from X L (2) that hL, = hL + O(1). To show (ii), let K′ be a finiteb extension field of K over which y F (n) ′ is defined. Let ∆y denote the Zariski closure of y in n Spec(OK ) Spec(OK ). Put b X × deg n O OK′ (n) L ⊗ K ∆y bn(y) := . [K′ : Q] d Then bn(y) is independent of the choice of K′, and by definition hL, (y) = limn bn(y). F →∞ Claim 2.3.1.1. k b f y d b y . i=1 n( i( )) = n+1( ) b Let us show theP assertion for n = 0. The assertion for n 1 can be shown by the same argument. We follow the notation in the beginning of 2.2.≥ By the projection formula, we have § k b (f (y)) d b (y) 0 i − 1 i=1 X

′ k deg 0 OK OK (0) ′ ∆ deg 1 OK OK (1) L ⊗ fi(y) ∆y = d L ⊗ [K : Q] − [K : Q] i=1 d ′ ′ X d (i) k ′ ′ deg (f pi)∗( 0 OK OK ) ∆(1) deg 1 OK OK ∆(1) = ◦ L ⊗ y d L ⊗ y [K : Q] − [K : Q] i=1 ′ ′ X d d k (i) ′ ′ deg i=1 (f pi)∗( 0 OK OK ) d( 1 OK OK ) ∆(1) = ◦ L ⊗ − L ⊗ y =0 P [K′ : Q] d k By letting n to in Claim 2.3.1.1, we get hL, (fi(y)) = dhL, (y). ✷ ∞ i=1 F F P b b 18 SHU KAWAGUCHI

3. Admissible metrics and invariant currents In this section, we introduce an invariant current for a dynamical system of k morphisms over C associated with a line bundle L of degree d>k. If X = PN , f : PN PN is a → morphism of degree d 2, and L = N (1), then this invariant current coincides with the ≥ OP Green current of f introduced by Hubbard–Papadopol [10]. When (X; σ1, σ2) is Wheler’s + K3 surface, we will relate the invariant current with the currents T and T − corresponding respectively to σ2 σ1 and σ1 σ2 introduced by Cantat [5]. Finally we pose a question regarding distribution◦ of small points,◦ and show that this question is true for Latt´es examples, which are certain endomorphisms of Pn.

3.1. Admissible metrics. Let (X; f1, , fk) be a dynamical system of k morphisms over ··· d C associated with a line bundle L of degree d>k. We ﬁx an isomorphism ϕ : L⊗ ∼ → f1∗L fk∗L. The following theorem is a generalization of [26], Theorem(2.2) of one morphism⊗···⊗ to k morphisms over C.

Theorem 3.1.1. (1) Let 0 be a continuous metric on L. We inductively deﬁne a metric on L by k·k k·kn d n = ϕ∗(f1∗ n 1 fk∗ n 1). k·k k·k − ··· k·k − Then n converges uniformly to a metric, which we denote by . (2) k·kis the unique continuous metric on L with k·k∞ k·k∞ d = ϕ∗(f1∗ fk∗ ). k·k∞ k·k∞ ··· k·k∞ 1 (3) If ϕ is replaced with cϕ (c =0 C), then is replaced with c d−k . We call the metric the admissible6 ∈ metrick·kfor ∞L. | | k·k∞ k·k∞ 1 Proof. Set H = k·k . Then H is a continuous function on X(C). We have 0 k·k 1 d ϕ∗(f ∗ f ∗ ) k·kn+1 (x)= 1 k·kn ··· k k·kn (x) n ϕ∗(f1∗ n 1 fk∗ n 1) − − k·k k·k ··· k·k 1 d n n = k·k (f1(x)) k·k (fk(x)) n 1 ··· n 1 − − k·k k·k 1 1 dn dn = = k·k1 (f(x)) = H f (x). ··· 0 ◦ f n ! f n ! Y∈F k·k Y∈F 1 n 1 dl n 1 1 dl Thus we get n = 0 l=0− f H f . We set Hn = l=0− f (H f) . k·k k·k · ∈Fl ◦ ∈Fl ◦ Claim 3.1.1.1. The functionQ H convergesQ uniformly as n .Q Q n →∞ For positive integers m and n, we have

n 1 m 1 − 1 − 1 H H = (H f) dl (H f) dl 1 . n+m − n ◦ ◦ − l=0 f ! l=n f ! Y Y∈Fl Y Y∈Fl CANONICAL HEIGHTS 19

We set M = max 1, supx X(C) H(x) and m = min 1, infx X(C) H(x) . Then 0 < m M. ∈ { ∈ 1 } k l { } ≤ dl ( d ) It follows from f (H f) M that ∈Fl ◦ ≤ n 1 Q − 1 n−1( k )l ∞ ( k )l d (H f) dl M l=0 d M l=0 d = M d−k . ◦ ≤ ≤ l=0 f P P Y Y∈Fl 1 1 m 1 m−1( k )l ( k )n d m 1 We also have − (H f) dl M l=n d M d d−k and − (H f) dl l=n f l l=n f l k d ∈F ◦ ≤ ≤ ∈F ◦ ≥ m−1( k )l ( )n P m l=n d mQ d d−Qk . Then we have Q Q P ≥ d ( k )n d ( k )n d H H M d−k max M d d−k 1, 1 m d d−k 0 (n, m ). k n+m − nksup ≤ − − → →∞ n o This shows Hn converges uniformly. Let H denote the limit of Hn. Since ∞

∞ 1 ∞ ( k )l d inf H (x) = inf (H(f(x))) dl m l=0 d m d−k , x X(C) ∞ x X(C) ≥ ≥ ∈ ∈ l=0 f P Y Y∈Fl we find that H is a positive function. Thus n = 0Hn converges uniformly to a metric ∞ k·k k·k := 0H . Thus we have shown (1). k·k∞ k·k ∞ d d Next we show (2). Letting n in n+1 = ϕ∗(f1∗ n fk∗ n), we get = → ∞ k·k k·k ··· k·k k·k∞ ϕ∗(f1∗ fk∗ ). To show the uniqueness of , suppose continuous metrics ∞ ∞ ∞′ ∞ k·k′ ··· k·k k·k k·k and both satisfy the equality in (2). We set A = k·k∞ . Then A is a positive continuous ∞ k·k∞ k·k d k function on X(C), and satisfies A = i=1 A fi. Then it follows from supx X(C) A(x) = ◦k ∈ d k d k supx X(C) i=1 A(fi(x)) supx X(CQ) A(x) and d < 1 that supx X(C) A(x) 1. It ∈ ∈ ∈ ≤ k ≤ q d k d k follows fromQ infx X(C) A(x)= infx X(C) i=1A(fi(x)) infx X(C) A(x) and < 1 that ∈ ∈ ≥ ∈ d infx X(C) A(x) 1. Hence A isq identically 1. We have shown (2). ∈ ≥ Q To show (3), set ϕ = cϕ. Let ^ denote the metric with respect to cϕ. Set α = ∞ ∞ k·k d 1 k·k ^ ^ ^ ^ k d d−k ✷ . Since ϕ(f1∗ fk∗ )= , we have c α = α . Thus α = c . k·k∞ k·ke ∞ ··· k·k∞ k·k∞ | | | | 3.2. Invariante currents. Let M be a complex manifold. A closed (1, 1)-current S on M is said to admit a locally continuous potential if, for every m M, there exists an open neighborhood U of m and a continuous function u on U such that∈ S = ddcu. Let π : N M be a morphism of complex manifolds. If a closed (1, 1)-current S on M → c admits a locally continuous potential, we can define its pull-back π∗S by π∗S −1 = dd π∗u. |π (U) Since π∗u is continuous and unique up to a pluriharmonic function, this formula is well- defined and defines a global current π∗S on N. (cf. [10], p330.) p,p p,p We denote by A (M) the space of C∞ (p,p)-forms on X, and by D (M) the space of (p,p)-currents on X. For η Ap,p(M), we denote by [η] Dp,p(X) the current corresponding to η. ∈ ∈ The next theorem is the main theorem of this section.

Theorem 3.2.1. Let (X; f1, , fk) be a dynamical system of k morphisms over C associated with a line bundle L of degree··· d>k. We assume that X is smooth and L is ample. 20 SHU KAWAGUCHI

c 2 (1) Let be the admissible metric of L. We set T = c1(L, ) := dd [ log s ]+ k·k∞ 1,1 k·k∞ − k k∞ δdiv(s) D (X(C)), where s is a non-zero rational section of L. (This formula does not depend∈ on s and deﬁnes a closed (1, 1)-current on X.) Then T is positive. (2) Since T admits a locally continuous potential by (1), we have the pull-back fi∗T D1,1(X(C)). Then we have ∈

f ∗T + + f ∗T = dT. 1 ··· k 1,1 (3) Let η0 A (X(C)) be any closed C∞ (1, 1)-form whose cohomology class coincides with c ∈(L). We inductively deﬁne η A1,1(X(C)) by 1 n ∈ 1 η = (f ∗η + + f ∗η ). n+1 d 1 n ··· k n

Then, [ηn] converges to T as currents. Proof. (1) Since X is a smooth projective variety and L is an ample line bundle, there 1,1 exists a C∞ metric 0 on L such that its Chern form ω0 := c1(L, ) A (X) is everywhere positive.k·k k·k∞ ∈ d ∼ By fixing ϕ : L⊗ f1∗L1 fk∗Lk, as in the proof of Theorem 3.1.1, we inductively define a metric →on L by⊗···⊗ k·kn 1 = ϕ∗(f ∗ f ∗ ) d . k·kn+1 { 1 k·kn ··· k k·kn } 1 As in Theorem 3.1.1, let H = k·k . Then H is a C∞ positive function on X(C). By replacing 0 ϕ with cϕ with c > 0 if necessary,k·k we may assume that H 1. (Indeed we may take 1 ≥ c = (minx X(C) H(x)) d .) ∈ C , ω ω 1 f ω We define a ∞ (1 1)-form n by n = dn f n ∗ 0. For x X(C), we take a non-zero rational section∈F s of L such that s(x) = 0. We set ∈ P 6 2 U = X Supp(div(s)). We define a C∞ map G : U R by G = log s . \ n,s → n,s − k kn c Claim 3.2.1.1. Gn,s is non-increasing with respect to n. Moreover, dd Gn,s = ωn U , and c | thus dd Gn,s is everywhere positive.

1 dn

Indeed, by the proof of Theorem 3.1.1, we have n+1 = n f n H f . Thus k·k k·k · ∈F ◦ we ﬁnd 1 Q log s 2 = log s 2 + 2 log H f. − k kn+1 − k kn dn − ◦ f n X∈F 1 Since H 1, dn f n 2 log H f 0. Thus Gn,s is non-increasing. ≥ ∈F − ◦ ≤ On the other hand, we have ddcG = c (L, ) . Since P n,s 1 k·kn |U 1 c1(L, n)= f1∗ c1(L, n 1)+ + fk∗ c1(L, n 1) k·k d { k·k − ··· k·k − } 1 = = f ∗ c (L, )= ω , ··· dn 1 k·k0 n f n X∈F c we have dd Gn,s = ωn U , which is everywhere positive. | c Since G is a C∞-function with dd G 0 by Claim 3.2.1.1, G is a psh (plurisubhar- n,s n,s ≥ n,s monic) function. Since Gn,s is non-increasing and bounded from below, G ,s := limn Gn,s ∞ →∞ CANONICAL HEIGHTS 21

is also a psh function. By Theorem 3.1.1, we have G ,s = log s . Thus G ,s is a continuous psh function, and so ddc[ log s 2 ] is a positive∞ current− k onk∞U. ∞ − k k∞ Since positivity of a current is a local condition and we see that c1(L, ) does not depend k·k∞ on s, we ﬁnd that the closed (1, 1)-current T = c1(L, ) admits a locally continuous k·k∞ potential and is positive. We note limn [ωn]= T as currents. →∞ (2) Since T admits a locally continuous potential, the currents fi∗T are deﬁned. Locally, we have

c 2 2 f1∗T + + f1∗T = dd [f1∗( log s )+ + fk∗( log s )] ··· − k k∞ ··· − k k∞ = ddc[ log s 2d]= dT. − k k∞ Thus we get (2). 1,1 (3) Let η0 A (X) be a closed (1, 1)-form whose cohomology class coincides with c1(L). ∈ c Since the cohomology class of ω0 is the same as that of η0, by dd -lemma, there exists c u C∞(X(C)) with η ω = dd u. Then we have ∈ 0 − 0 1 n η = f ∗(η ) n d 0 f n X∈F n n n 1 c 1 c 1 = f ∗(ω )+ dd f ∗(u) = ω + dd f ∗(u) . d 0 d n d f n f n ! f n ! X∈F X∈F X∈F 1 n k n Here u is a bounded function, and d f n f ∗(u) d u sup 0 as n . ∈F sup ≤ k k → → ∞ 1 n P Thus, as currents, d f n f ∗(u ) goes to zero as n . Since [ωn] T as currents, ∈F →∞ → ✷ we get limn [ηn]=h T . i →∞ P

3.3. Examples.

3.3.1. Projective spaces. We remark that, for the projective space, the invariant current in Theorem 3.2.1 coincides with the Green current.

N N Proposition 3.3.1. Let f : PC PC be a morphism over C of degree d 2, and let TG → N ≥ denote the Green current of f. We regard (PC , f) as a dynamical system associated with N (1) of degree d, and we denote by T the invariant current in Theorem 3.2.1. Then OP T = TG, Proof. 1 n By deﬁnition, TG is the limit of dn (f )∗ωFS as d , where ωFS is the Fubini- 1 →∞n Study metric. On the other hand, by Theorem 3.2.1(3), dn (f )∗ωFS converges to T . Thus T = TG. ✷

Remark 3.3.2. We remark that our assumption f being a morphism is rather strong, and that, to define the Green current, f suffices to be an algebraically stable rational map (cf. [18], Théorème 1.6.1). 22 SHU KAWAGUCHI

3.3.2. Wheler’s K3 surfaces. Let (S; σ , σ ) be Wheler’s K3 surface as in 1.4.4. 1 2 § 1,1 1,1 Lemma 3.3.3. Let (σ σ )∗ : H (S, R) H (S, R) be the R-linear map induced by 2 ◦ 1 → σ σ : S S, and let λ = max t det(tI (σ σ )∗)=0 be the spectral radius of 2 ◦ 1 → {| | | − 2 ◦ 1 } σ σ . Then λ =7+4√3. 2 ◦ 1 + + Proof. With the notation in 1.4.4, (σ σ )∗(E ) = (7+4√3)E . Thus λ 7+4√3. On § 2 ◦ 1 ≥ the other hand, it follows from [14], Theorem 3.2 that (σ σ )∗ has at most one eigenvalue 2 ◦ 1 λ with λ > 1. Thus λ =7+4√3. ✷ | | It is known that the topological entropy of σ2 σ1, denoted by htop(σ2 σ1), is equal to log λ (cf. [5], Th´eor`eme 2.1). Cantat [5] proved the◦ following theorem about◦ K3 automorphisms with strictly positive topological entropy. Theorem 3.3.4 ([5], 2, cf. [14], Theorem 11.3). Let X be a K3 surface with an automor- § phism φ whose topological entropy htop(φ) = log λ is strictly positive. Then there exists a + + + closed positive (1, 1)-current T , unique up to scale, such that f ∗(T ) = λT . Moreover, for any other closed positive (1, 1)-current ω, there is a constant c+ such that

1 n + + (f ∗) (ω) c T (n ) λn → →∞ as (1, 1)-currents. 1 Considering φ− , we have a closed positive (1, 1)-current T −. The next proposition relates + T and T − with the invariant current T in Theorem 3.2.1 for (S; σ1, σ2).

Proposition 3.3.5. Let the notation be as in 1.4.4. Let λ = 7+4√3. Let (S; σ1, σ2) be Wheler’s K3 surface over C, which we regard§ as a dynamical system of two morphisms associated with L of degree 4. Let T be the invariant current in Theorem 3.2.1. Let η be a positive C∞ (1, 1)-form on S whose cohomology class is equal to c1(L). We set

+ 1 n 1 1 n T = lim (σ2 σ1)∗ (η), T − = lim (σ2 σ1)− ∗ (η), n n n n →∞ λ ◦ →∞ λ ◦ + whose convergence is assured by Theorem 3.3.4. Then T = T + T −. Proof. We set 1 n 1 1 n S = (σ σ )∗ (η)+ (σ σ )− ∗ (η), n λn 2 ◦ 1 λn 2 ◦ 1 1 T = f ∗(η), n 4n f n X∈F where = σ σ i =1, 2, 1 j n . Since σ2 = σ2 = id, we have Fn { i1 ◦···◦ in | j ≤ ≤ } 1 2 n n 1 2n (n i) 1 (n i) 1 2n n i T2n = (σ2 σ1)∗ − (η)+(σ2 σ1)− ∗ − (η) = λ − Sn i. 42n i ◦ ◦ 42n i − i=0 i=0 X + X From the deﬁnition, as n goes to , Sn converges to T + T − and T2n converges to T . Thus it is suﬃcient to show the following∞ claim to prove the proposition.

Claim 3.3.5.1. Let sn n∞=1 be a sequence with sn C that converges to s as n . We 1 n 2n{ n} i ∈ ∞ →∞ set t2n = 2n λ − sn i. Then limn t2n = s . 4 i=0 i − →∞ ∞ P CANONICAL HEIGHTS 23

2n Note that √λ + 1 = 2n 2n λn i. Since √λ = 2+√3, this shows 1 2n 2n λn i = √λ i=0 i − 42n i=0 i − 1 2n n i λ n 2n i 1. On the other hand, for ﬁxedP i (0 i n), we have 42n i λ − = 42 Pi λ− goes to ≤1 ≤ 2n 2n n i 1 2n 2n 1 2n zero as n . Moreover, we have n λ − < n < n (1 + 1) , → ∞ 42 i=n+1 i 42 i=n+1 i 42 and thus 1 2n 2n λn i goes to zero as n . Combining these estimates, we obtain 42n i=n+1 i − P P the claim. →∞ ✷ P

3.4. Question about distribution of small points. Let (X; f1, , fk) be a dynamical system of k morphisms over a number field K associated with a line··· bundle L of degree d>k. In 2, we have defined the canonical heights of subvarieties, and in 3 we have defined the invariant§ current T on X(C). Here, we would like to pose a question§ regarding distribution of small points. A sequence x ∞ of X(K) is said to be generic if for any closed subscheme Y ( X there { n}n=1 exists n such that x Y for n n . A sequence x ∞ of X(K) is called a sequence 0 n 6∈ ≥ 0 { n}n=1 of small points if limn hL, (xn) = 0. For x X(K), let O(x) denote the Galois orbit of x over K. Since T admits→∞ a locallyF continuous∈ potential by Theorem 3.2.1, we can define a b 1 probability measure µ := dim X T T (dim X-times). c1(L) ∧···∧ Question 3.4.1 (distribution of small points). Suppose there exists a generic sequence 1 xn n∞=1 of X(K) of small points. Then does #O(x ) y O(xn) δy converge weakly to µ as n { } n ∈ goes to ? ∞ P We note that Szpiro, Ullmo and Zhang [23] proved equiditribution of small points for abelian varieties, Bilu [2] for algebraic tori, and Chambert-Loir [6] for certain semi-abelian varieties. We would like to point out a similarity between the above question and the theorem by Briend and Duval for morphisms f : PN PN of degree d 2 over C. (Here we list only a part of their results.) → ≥ Theorem 3.4.2 (Briend and Duval). (1) (Distribution of repelling periodic points of f.) 1 The measure n δ converge weakly to µ as n goes to . dkn f (y)=y,y is repelling y ∞ (2) (Distribution of preimages of points outside the exceptional set.) The exceptional set P E of f is defined as the biggest proper algebraic set of PN that is totally invariant by N 1 f. Then for any a P (C) E, dkn y PN (C),f n(y)=a δy converge weakly to µ as n goes to . ∈ \ ∈ ∞ P

Suppose f is deﬁned over a number ﬁeld K. Then, for any periodic point x, h N (1),f (x)= OP 0. Also for a PN (K) E, consider the set B = x X(K) f n(x) = a for some n 0 . ∈ 1 \ n { ∈ | b ≥ } Note h n (1),f (x) = n h N (1),f (a) if f (x) = a. Since a E, we can choose a generic OP d OP N 6∈ sequence xn of P (K) of small points with xn B for every n 0. Thus Question 3.4.1 mightb be{ seen} as an arithmeticb analogue of Theorem∈ 3.4.2 for f : P≥N PN of degree d 2. → ≥ Remark 3.4.3. When f : P1 P1 is a polynomial map, Baker and Hsia [3] have recently → showed the distribution theorem for small points on P1(K). 24 SHU KAWAGUCHI

3.5. Distribution of small points for Lattès examples. In this subsection, using the methods of [23] and [6], we would like to briefly remark that Question 3.4.1 is true for Lattès examples.

3.5.1. Quick Review of Latt`es examples. Let U(N) be the unitary group of size N, and N N E(N)= (U, a) U U(N), a C the complex motion group acting on AC . A subgroup G of E(N{ ) is called| ∈ a complex∈ crystallographic} group if G is a discrete subgroup of E(N) with compact quotient. N Berteloot and Loeb [4] obtained a geometric characterization of morphisms of PC whose Green current is smooth and strictly positive on some non-empty (analytic) open subset. N N Recall that, by Proposition 3.3.1, for a morphism f : PC PC of degree d 2, the invariant current in Theorem 3.2.1 is nothing but the Green current→ of f. ≥

N N Theorem 3.5.1 ([4], Théorème 1.1, Proposition 4.1). Let f : PC PC be a morphism over C of degree d 2, and T the Green current of f. Assume that→T is smooth and strictly ≥ N positive on some non-empty (analytic) open subset of PC . Then there exists a complex N N crystallographic group G, and an affine transformation D : AC AC whose linear part is √ N →N dU with U U(N) such that the ramified covering σ : AC PC satisfies σ f = D σ ∈ → √ 1 N ◦ ◦ and that G acts on the fibers of σ transitively. Moreover, σ∗(T )= − dz dz , where 2π i=1 i ∧ i z ’s are the standard coordinate of AN . i C P N N Endomorphisms f : PC PC that satisfy the assumption of Theorem 3.5.1 are called Lattès examples. →

Example 3.5.2 (Some Lattès examples). (1) Let τ C with Im(τ) > 0. Set G1 = ( 1, m + nτ) m, n Z E(1), and let D : A∈1 A1 be the [d]-th map. Then { ± 1| ∈ } ⊂ 1 → 1 1 the quotient A /G1 is isomorphic to P and D descends a morphism f1 : P P . 1 1 1 → 1 (2) (Ueda [24]) Consider the morphism f1 f1 : P P P P ×···× 1 ×···×1 → ×···× (N-times). The N-th symmetric group SN acts on P P by σ (x1, , xn)= (x , , x ) for σ S . Observing that the quotient×···× (P1 · ···P1)/S is σ(1) ··· σ(n) ∈ N ×···× N isomorphic to PN , one finds that f f descends a morphism f : PN PN . C 1 ×···× 1 N C → C We need the following proposition in the next subsection. Proposition 3.5.3. Let f : PN PN be a Lattès example, and T the Green current of f. C → C (1) There exists c> 0 such that T cωFS as a current. N ≥ (2) Let v : P (C) R be a C∞-function. Then there exists ε0 > 0 such that, for all ε with 0 <ε ε→, T + εddcv is positive as a current. ≤ 0 Proof. N N Let σ : AC PC be the ramified covering as in Theorem 3.5.1. Since σ∗ωFS is a → N √ 1 N C∞ bounded (1, 1)-form on A (C), there exists c> 0 such that − dz dz c σ∗ω 2π i=1 i ∧ i − FS is a strictly positive (1, 1)-form. Then considering the pull-back by σ and observing σ∗T = √ 1 N P − dz dz , we find T cω . The assertion (2) follows from (1). ✷ 2π i=1 i ∧ i ≥ FS P 3.5.2. Distribution of small points for Lattès examples. We follow [23] and [6]. In this subsection, we use the terminology in [26] freely. CANONICAL HEIGHTS 25

Theorem 3.5.4 ([23], Thèoréme 3.1, [6], Proposition 6.2). Let X be a projective variety defined over a number field K C, and L an ample line bundle on X. Let be an ample adelic metric on L. Assume⊂ that the height of X is zero with respect to (L,k·k ). Let k·k xn n∞=1 be a generic sequence of small points in X(K). Let v : X(C) R is a continuous { } c → function such that, for all sufficiently small ε> 0, c1(L, )+ εdd v is positive as a current on X(C). Then we have k·k 1 c (L, )dim X lim inf v(y) v 1 k·k . n dim X →∞ #O(xn) ≥ X c1(L) y O(xn) Z ∈X Using Theorem 3.5.4, we find that Question 3.4.1 is true for Lattès examples. Theorem 3.5.5. Let f : PN PN be a Lattès example defined over a number field K C, → N ⊂ T the Green current of f, and µ = T . Let xn n∞=1 be a generic sequence of small points in . Then 1 ∧converges weakly{ } to . X(K) #O(x ) y O(xn) δy µ n ∈ Proof. We fix an isomorphismP ϕ : PN (d) f ∗( PN (1)), where d is the degree of f. N O ≃ O Fix a C∞ model ( , ) of (P , PN (1)) such that is ample and c1( C) is strictly positive N X L O L L on P (C). Then, by [26], (2.3), we inductively obtain a sequence of C∞ models ( n, n) N X L of (P , N (1)), considering the pull-backs by ϕ (cf. Theorem 2.2.1 and its proof). By OP [26], (2.3), the models ( n, n) induces an ample adelic metric on PN (1). In particular, by [26],X Theorem(2.2),L the induced metric at infinityO is characterized by d k·k∞ a continuous metric on PN (1) with = ϕ∗f ∗ . By Proposition 3.3.1, c1( PN (1), O C k·k∞ k·k∞ O C k· ) is equal to the Green current T . k∞To apply Theorem 3.5.4, we will show that the height of PN is zero with respect to N N ( P (1), ). On one hand, it follows from [26], Theorem(2.4) that h N (1), (P ) 0. O k·k OP k·k ≥ One the other hand, since ( PN (1), ) is ample metrized line bundle, if follows from [26], Thereom(1.10) that O k·k sup inf h (x) h (PN ), ( PN (1), ) ( PN (1), ) Y N x PN Y (K) O k·k ≥ O k·k (P ∈ \ where Y runs through the algebraic subsets of X. (In the notation of Theorem 2.3.1, N h( (1), ) = h (1),f .) If x P (K) is a periodic point, then h( (1), )(x) = 0. Since OPN k·k OPN ∈ OPN k·k the support of T is PN (cf. [18], Théorème 1.6.5), the set of periodic points are Zariski dense in PN (K) (cf.b Theorem 3.4.2(1)). Hence the left-hand-side of the above inequality is zero, N and so h( (1), )(P ) = 0. OPN k·k Let v : PN (C) R be a continuous function. We need to show → 1 lim v(y)= vµ. n #O(xn) X →∞ y O(xn) ∈X Z N Since the C∞-functions are dense in the set of continuous functions on P (C), we may assume c v is C∞. Since, by Proposition 3.5.3, T + εdd v is positive for all sufficiently small ε> 0, it 1 follows from Theorem 3.5.4 that lim infn v(y) vµ. Considering v →∞ #O(xn) y O(xn) X 1 ∈ ≥ − instead of v, we find lim supn #O(x ) y O(xn) v(y) X vµ. Thus we get the assertion. →∞ n ∈ P≤ R ✷ P R 26 SHU KAWAGUCHI

4. Local canonical heights In this section, for normal projective varieties, we see that there exists canonical local heights for closed points and that the canonical height in 1.2 decomposes into a sum of these canonical local heights. In particular, this gives yet another§ construction of the canonical heights for closed points. The argument goes similarly as in [11], Chap. 10 and [7], 2 which treat the case k = 1. § 4.1. Quick review of local heights. In this subsection, we briefly review local heights and their properties. For details, we refer to Lang’s book [11], Chap. 10. Let X be a projective variety over a number field K, and U a non-empty Zariski open set of X. In this subsection, we assume X is normal. Let MK denote the set of absolute values of K, and M denote the set of absolute values on K extending those of K. Definition 4.1.1. (1) A function λ : U(K) M is said to be M -continuous if, for every × K v M, λv : U(K) R, x λ(x, v) is continuous with respect to v-topology. (2) A∈ function γ : M → R is7→ said to be M -constant if γ(v) = 0 for all but finitely K → K many v M . For v′ M that is an extension of v M , we set γ(v′) := γ(v). ∈ K ∈ ∈ K Then γ is extended to a function γ : M R, which is also said to be MK-constant. (3) A function λ : U(K) M is said to be M →-bounded if there is a M -constant function × K K γ such that α(x, v) γ(v) for all (x, v) U(K) M. (4) Let D Div(| X) |R ≤. A function ∈ × ∈ ⊗Z λ :(X Supp(D))(K) M R X,D \ × → is said to be a local height (or a Weil local height function) associated with D if it has the following property: There are an affine covering Ui of X, a Cartier divisor (U ,s ) representing D such that α (x, v) := λ (x,{ v) } v s (x) for x { i i } i X,D − ◦ i ∈ (U Supp(D))(K) and v M is M -bounded and M -continuous. i \ ∈ K K Note that, for every s K(X)∗, ∈ λ :(X Supp(div(s)))(K) M R, (x, v) v s(x) X,div(s) \ × → 7→ ◦ is a local height function associated with div(s). We list some properties of local heights that we will use later.

Theorem 4.1.2 ([11]). (1) For every D Div(X) Z R, there exists a local canonical height function associated with D. ∈ ⊗ (2) Let λX,D be a local height function associated with D. Suppose there exists a proper Zariski closed set Z containing Supp(D) such that λ is M -bounded on (X X,D K \ Supp(Z))(K) M. Then D = 0, and λ extends uniquely to a M -bounded and × X,D K M -continuous function on X(K) M. K × (3) If λX,D and λX,D′ are local height functions associated with D and D′ respectively, then λX,D + λX,D′ is a local height function associated with D + D′. (4) Let g : Y X be a morphism of normal projective varieties, D an element of → Div(X) Z R, and λX,D a local height function associated with D. Assume that φ(Y ) is not contained⊗ in Supp(D). Then

λ (g id ):(Y Supp(φ∗D))(K) M R D ◦ × M \ × → CANONICAL HEIGHTS 27

is a local height function associated with φ∗D. Proof. For (1) see [11], Chap. 10, Theorem 3.5. For (2) see [ibid.], Prop 2.3, Prop 1.5, Cor 2.4. Note that the assumption that X is normal is enough to show (2). For (3) and (4), see [ibid.], Prop 2.1 and Prop 2.6. These proofs can apply for Div(X) R. ✷ ⊗Z In the remainder of this subsection, we recall how local height functions are related to global height functions. Let λX,D be a local height function associated with a divisor D. Then, for any point x (X Supp(D))(K), the associated height is defined by ∈ \ 1 h (x)= [L : K ]λ (x, w), λX,D [L : K] w v X,D w ML X∈ where L is an extension field of K with x X(L) and w is an extension of v. The height ∈ λX,D is defined for all x X(K). Indeed, for any point x X(K), there exists a rational function s such that x ∈Supp(D div(s)): Then we define∈ 6∈ −

hλX,D (x) := hλX,D−div(s) (x). By the product formula, this value does not depend on the choice of s.

Theorem 4.1.3 ([11]). Let hX, X (D) : X(K) R be a height function corresponding to O → X (D) deﬁned in 1.1. Then hλX,D = hX, X (D) + O(1). O § O Proof. For its proof, we refer to [11], Chap. 10, 4. ✷ § 4.2. Construction of local canonical heights. Let X be a normal projective variety over a number ﬁeld K, and f1, , fk : X X be morphisms over K. Set = f1, , fk as before. Let E an element of··· Div(X) →R. Assume that f (X) is not containedF { in··· Supp(}E) ⊗Z i for each i, and that f ∗E + + f ∗E dE with d>k. Take s Rat(X) R with 1 ··· k ∼ ∈ ⊗ f ∗E + + f ∗E = dE + div(s) ( Rat(X) R). 1 ··· k ∈ ⊗ Theorem 4.2.1. Let the notation and assumption be as above. Then there exists a unique function

λX,E, ,s :(X Supp(E))(K) M R F \ × → with the following properties: b (1) λX,E, ,s is a Weil local height associated with E. F (2) For any x (X (Supp(E) Supp(f ∗E ) Supp(f ∗E))) and any v M, ∈ \ ∪ 1 1 ∪···∪ k ∈ b k

λX,E, ,s(fi(x), v)= dλX,E, ,s(x, v)+ v(s(x)). F F i=1 X We ﬁrst prove the followingb lemma. b

Lemma 4.2.2. Let X be a topological space, f1, , fk : X X continuous maps, and γ : X R a bounded continuous function. Fix a real··· number d→larger than k. Then, there exists→ a unique bounded continuous function γ : X R such that → k γ(x)= γ(bfi(x)) dγ(x) − i=1 X b b 28 SHU KAWAGUCHI

for any x X. Moreover, ∈ 2d +1 γ γ k ksup ≤ d k k ksup − Proof. We can prove the lemma as in [11], Chap. 11 Lemma 1.2 and [7], Lemma 2.1. b Namely, for a continuous function δ : X R, deﬁne Sδ : X R by Sδ(x)= 1 k δ(f (x)) γ(x) . → → d i=1 i − l h i Claim 4.2.2.1. S γ ∞ is a Cauchy sequence with respect to the sup norm. P { }l=0 k Note that for bounded continuous functions δ1, δ2 : X R, Sδ1 Sδ2 sup d δ1 δ2 sup. l l k l → k lk − kl ≤ k − k ∞ Then S δ1 S δ2 sup d δ1 δ2 sup. Since l=1 d < , S γ l∞=0 is a Cauchy sequence.k − k ≤ k − k ∞ { } l P Set γ(x) := liml S γ(x) for x X. Then γ : X R is a continuous function. It follows →∞ k∈ → from Sγ(x)= γ(x) that γ(x)= γ(f (x)) dγ(x). On the other hand, we have i=1 i − l 1 b b− l l P α+1 α b S γ bsup S γ γ sup + γb sup bS γ S γ sup + γ sup k k ≤k − k k k ≤ k − k k k α=0 X l 1 α − k d Sγ γ + γ Sγ γ + γ . ≤ d k − ksup k ksup ≤ d k k − ksup k ksup α=0 X − Since 1 k 1 Sγ γ sup = sup γ(fi(x)) +1 γ(x) k − k X d − d x i=1 ∈ X k 1 d + k +1 + +1 γ = γ , ≤ d d k ksup d k ksup l 2d+1 2d+1 we have S γ sup d k γ sup. By letting l , we get γ sup d k γ sup. Finally k k ≤ − k k →∞ k k ≤ k − k k we show the uniqueness of γ. Indeed suppose γ1, γ2 satisfy γ(x) = i=1 γj(fi(x)) dγj(x) k − for j = 1, 2. Then i=1(γ1 γ2)(fi(x)) = d(γ1 γ2)(x). Thenb we have γ1 γ2 sup k − − P k − k ≤✷ γ1 γ2 sup. Since d>k,b we have γ1 = γ2. b b b b d k − k P b b b b b b Proof of Theorem 4.2.1. Take a local height function λX,E. Since, by the assumption, f (bX) isb not contained in Supp(E) forb eachb i, λ (f id ) is a local height function i X,E ◦ i × M associated with f ∗(E) by Theorem 4.1.2(4). We put λ ∗ := λ (f id ). Set i X,fi E X,E ◦ i × M Z := Supp(E) Supp(f ∗E) Supp(f ∗E). Since f ∗E + + f ∗E = dE + div(s), ∪ 1 ∪···∪ k 1 ··· k k γ(x, v) := λ ∗ (x, v) dλ (x, v) v(s(x)) X,fi E − X,E − i=1 X is an M -bounded and M -continuous function on (X Z)(K) M. By Theorem 4.1.2(2), K K \ × γ extends to an M -bounded and M -continuous function on X(K) M. Then, by K K × Lemma 4.2.2, there exists an MK -bounded and MK -continuous function γ : X(K) M R such that × → k γ(x, v)= γ(f (x), v) dγ(x, v) b i − i=1 X b b CANONICAL HEIGHTS 29

for x X(K) and v M. ∈ ∈ We deﬁne a function λX,E, ,s :(X Supp(E))(K) M R to be F \ × →

λX,E, ,s(x, v) := λX,E(x, v) γ(x, v). b F −

Let us see λX,E, ,s enjoys the properties (1) and (2). Since γ is an MK -bounded and MK - F b b continuous function, λX,E, ,s is a local height function associated with E. Moreover, for F x (X Zb)(K) and v M, we have b ∈ \ ∈ k b k k

λX,E, ,s(fi(x), v)= λX,E(fi(x), v) γ(fi(x), v) F − i=1 i=1 ! i=1 ! X X X b=(dλ (x, v)+ v(s(x)) + γ(x, v)) (dγ(x, v)+ γ(x, v)) X,E − b = d (λX,E(x, v) γ(x, v)) + v(s(x)) − b = dλX,E, ,s(x, v)+ v(s(x)). F b Next we see the uniquenessb of λX,E, ,s. Suppose λX,E, ,s and λX,E,′ ,s are two functions F F F satisfying (1) and (2). Set δ = λX,E, ,s λX,E,′ ,s. By Theorem 4.1.2(2), δ extends to an b F − F b b MK -bounded and MK -continuous function on X(K) M. Moreover, b b × k

δ(fi(x), v)= dδ(x, v) i=1 X holds for x (X Z)(K) and v M, and hence for all x X(K) and v M by MK - continuity. Take∈ M\ -constant γ : M∈ R with δ(x, v) γ(v∈). Then ∈ K → | | ≤ 1 kl δ(x, v) δ(f(x), v) γ(v) 0 (l ), | | ≤ dl ≤ dl → →∞ f l X∈F hence δ(x, v) = 0 for all x X (K) and v M. This shows the uniqueness. ✷ ∈ ∈

4.3. Decomposition of canonical heights into local canonical heights. In this subsection, we show that the associate height of λX,E, ,s is the canonical height h X (E), constructed in 4.2 coincides with the canonical heightF constructed in 1.2. In particular,O F this § § gives another construction of the canonical heightsb when X is a normal projectiveb variety. Theorem 4.3.1. Let the notation and assumption be the same as in Theorem 4.2.1. Let h be the associated height of λX,E, ,s. Let h X (E), be the canonical height constructed λX,E,F,s F O F in Theorem 1.2.1. Then h = h X (E), . b λX,E,F,s b O F b Proof. b Since λX,E, ,s is a local heightb function associated with E, h = h X (E) + F λX,E,F,s O O(1) by Theorem 4.1.3. Thus in virtue of Theorem 1.2.1, we have only to show b b (4.3.1.0) h (f (x)) = dh (x) λX,E,F,s i λX,E,F,s

b b 30 SHU KAWAGUCHI

for any x X(K). First suppose x Z = Supp(E) Supp(f1∗E) Supp(fk∗(E)). Then, the equation∈ (4.3.1.0) follows from 6∈ ∪ ∪···∪ k

λX,E, ,s(fi(x), v)= dλX,E, ,s(x, v)+ v(s(x)) F F i=1 X and the product formula.b Next, suppose z bZ. By taking a suitable rational function t ∈ and setting E′ := E div(t), we have x Supp(E′) Supp(f1∗(E′)) Supp(fk∗(E′)). d k − 1 6∈ ∪ ∪···∪ Put s′ = st f ∗(t− ) in Rat(X) R. Then, since f ∗E′ + + f ∗E = dE′ + div(s′), we i=1 i ⊗ 1 ··· k similarly obtain h (fi(x)) = dh (x). On the other hand, h = h Q λX,E′,F,s′ λX,E,F,s′ λX,E′,F,s′ λX,E,F,s by the product formula. Thus the equation (4.3.1.0) holds for all x X(K). ✷ b b ∈ b b

Appendix: Finiteness results for -periodic points F Let K be a number field, and X a projective variety defined over K. Let f1, f2, , fk : X X be rational maps. As in 1.2, we set = id , = f f ··· 1 ··· → § F0 { } Fl { i1 ◦···◦ il | ≤ i1, , il k for l 1. We set := 1(= f1, , fk ). For f l 0 l, let I(f) denote ··· ≤ } ≥ F F { ··· } ∈ ≥ F the set of indeterminacy of f. Set V = X f I(f). \ ∈ l≥0 Fl S We say that x X(K) is -periodic if the followingS conditions are satisfied: (1) x V (K); ∈ F S ∈ (2) C(x) = f(x) f l 0 l is finite; (3) If C′ C(x) satisfies fi(C′) C′ for every { | ∈ ≥ F } ⊆ ⊆ i = 1, ,k, then C′ = C(x). Note that when k = 1 and f1 : X X is a morphism, x is -periodic··· if and only if Sx is periodic with respect to f . → F 1 In Corollary 1.3.2, for dynamical systems (X; f1, , fk) associated with ample line bundles, we show finiteness of the number of finite forward-orbits··· of bounded degree, whence finiteness of the number of -periodic points of bounded degree. Here we would like to show finiteness of -periodic pointsF of bounded degree under a milder condition. F Theorem App. 1. Let K be a number field, X a projective variety over K, f1, f2, , fk : X X rational maps. Let S be a subset of V (K) such that f (S) S for··· every ··· → i ⊆ i = 1, ,k. (For example, we can take S as V (K) itself.) Assume there exists an ample line bundle··· L Pic(X) R over X and a positive number ǫ> 0 such that ∈ ⊗Z k h (f (x)) (k + ǫ)h (x)+ O(1) L i ≥ L i=1 X for all x S. Then for any D Z , ∈ ∈ >0 [K(x): K] D, x S ≤ ∈ x is -periodic F is finite.

Proof. Take a height function hL F (X) corresponding to L and ﬁx it. By the assumption, there exist a constant C such that,∈ for all x S, ∈ k (App. 1.0) h (f (x)) (k + ǫ)h (x) C. L i ≥ L − i=1 X CANONICAL HEIGHTS 31

Suppose x S has the finite forward orbit C(x) = x , , x . For each x , consider the ∈ { 1 ··· n} j set f1(xj), , fk(xj) and let aij Z 0 denote the number such that xi appears aij times in {f (x ), ···, f (x ) }for i =1, ∈, n.≥ Thus we have { 1 j ··· k j } ··· h (f (x )) + + h (f (x )) = a h (x )+ + a h (x ). L 1 j ··· L k j 1j L 1 ··· nj L n Since a 0 for all 1 i, j n and a + + a = k for each j = 1, , n, by ij ≥ ≤ ≤ 1j ··· nj ··· Lemma App. 2 below, there exist c , ,c 0 such that (c ,...,c ) = 0 and k a c = 1 ··· n ≥ 1 n 6 j=1 ij j kci. P Substituting x = xj in (App. 1.0), multiplying it by cj, and taking the sum with respect to j =1, , n, we get ··· n k (c h (x )+ + c h (x )) (k + ǫ)(c h (x )+ + c h (x )) C c . 1 L 1 ··· n L n ≥ 1 L 1 ··· n L n − j j=1 ! X C n Thus we get c1hL(x1)+ + cnhL(xn) ǫ j=1 cj . ··· ≤ n Take xα for which hL(xα) = min hL(x1), , hL(xn) . Since c1, ,cn 0 and cj > { ···P } ··· ≥ j=1 0, we have h (x ) C . By Northcott’s finiteness theorem (Theorem 1.1.2), L α ≤ ǫ P C x X(K) [K(x): K] D and h (x) ∈ ≤ L ≤ ǫ is finite. By the definition of -periodic points, x C(xα). Thus F ∈ y S,[K(y): K] D, ∈ ≤ [K(x): K] D C x S ≤ C(y) and h (y)  ∈ x is -periodic ⊂ L ≤ ǫ F    C(y) is finite 

is ﬁnite.   ✷   Lemma App. 2. Let k, n be positive integers.

(1) Let A =(aij) M(n, n, R) be a real valued (n, n) matrix. Assume that aij 0 for all ∈ n ≥ 1 i, j n and i=1 aij = k for every j = 1, , n. Then there exists a non-zero ≤ ≤ t n ··· vector c = (c1, ,cn) R such that ci 0 for every i =1, , n and Ac = kc. ···P ∈ ≥ n··· (2) Assume further that aij > 0 for all 1 i, j n. Then c R as above is unique up to positive scalars. ≤ ≤ ∈ Proof. We only sketch a proof. Since (1) follows from (2) by taking a suitable limit, t we will prove (2). Since det(A kIn) = 0, there exists a non-zero vector c = (c1, ,cn) with (A kI )c = 0 . Without− loss of generality, we may assume c = 1. Deﬁne··· a − n n (n 1, n 1) matrix B = (bij) by bii = k aii (1 i n 1) and bij = aij (1 i, j− n −1, i = j). Then by the following− claim, which≤ ≤ can be− shown by the− induction≤ ≤ − 6 1 on the size of matrix, B is invertible and every component of B− is non-negative. Since t 1 t (c1, ,cn 1)= B− (a1n, , an 1n), we have ci 0 for i =1, , n 1. ··· − ··· − ≥ ··· − Claim App. 2.1. Let B′ = (bij′ ) be a real valued (n 1, n 1) matrix. Assume that − −n bii′ > 0 (1 i n 1), bij′ 0 (1 i, j n 1, i = j) and i=1 bij′ > 0 (1 i n 1). ≤ ≤ − ≤ ≤ ≤ − ′ 6 ≤ ≤ − Then B is invertible and every component of B 1 is non-negative. ′ − P 32 SHU KAWAGUCHI ✷

Example App. 3 ([21]). For a Q 0 and b Q, a Hénon map φ : A2 A2 is defined by φ(x, y)=(y,y2 + b + ax∈). The\{ morphism} ∈φ is an affine automorphism→ with the 1 2 1 2 b 1 2 1 inverse φ− : A (x, y) a x a + a y, x A . The morphisms φ and φ− extend to ∋ 2 7→ − − ∈ 1 birational maps of P , which we also denote by φ and φ− respectively. Silverman has shown in [21], equation (13) that

1 5 h (1)(φ(x)) + h (1)(φ− (x)) h (1)(x)+ O(1) OP2 OP2 ≥ 2 OP2 2 2 1 for all x A (Q). Note that x A (Q) is φ-periodic if and only if x is φ,φ− -periodic. Then, by∈ Silverman’s argument,∈ or by Theorem App. 1, we obtain ﬁniteness{ of the} number of φ-periodic points in A2(Q) with bounded degree ([21], Theorem 4.1.)

References [1] J.-B. Bost, H. Gillet and C. Soulé, Heights of projective varieties and positive Green forms, J. Amer. Math. Soc. 7 (1994), 903–1027. [2] Y. Bilu, Limit distribution of small points on algebraic tori, Duke Math. J. 89 (1997), 465–476. [3] M. Baker and L.-C. Hsia, Canonical Heights, Transfinite Diameters, and Polynomial Dynamics, math.NT/0305181. [4] Berteloot and J.-J. Loeb, Une caractérisation géométrique des exemples de Lattès de Pk, Bull. Soc. Math. France 129 (2001), 175–188. [5] S. Cantat, Dynamique des automorphismes des surfaces K3, Acta Math. 187 (2001), 1–57. [6] A. Chambert-Loir, Points de petite hauteur sur les variétés semi-abéliennes, Ann. Sci. Ecole´ Norm. Sup. 33 (2000), 789–821. [7] G. Call and H. Silverman, Canonical heights on varieties with morphisms, Compositio Math. 89 (1993), 163–205. [8] W. Gubler, Höhentheorie, With an appendix by Jürg Kramer, Math. Ann. 298 (1994), 427–455. [9] A. Hinkkanen and G. J. Martin, The dynamics of semigroups of rational functions I, Proc. London Math. Soc. 73 (1996), 358–384. [10] H. Hubbard and P. Papadopol, Superattractive fixed points in Cn, Indiana Univ. Math. J. 43 (1994), 321–365. [11] S. Lang, Fundamentals of Diophantine geometry, Springer, 1983. [12] V. Maillot, Géométrie d’Arakelov des variétés toriques et fibrés en droites intégrables, Mém. Soc. Math. Fr. No. 80, 2000. [13] B. Mazur, The topology of rational points, Experiment. Math. 1 (1992), 35–45. [14] C. T. McMullen, Dynamics on K3 surfaces: Salem numbers and Siegel disks, J. Reine Angew. Math. 545 (2002), 201–233. [15] A. Moriwaki, Arithmetic height functions over finitely generated fields, Invent. Math. 140 (2000), 101– 142. [16] A. Moriwaki, The canonical arithmetic height of subvarieties of an abelian variety over a finitely generated field, J. reine angrew. Math. 530 (2001), 33–54. [17] P. Philippon, Sur des hauteurs alternatives, Math. Ann. 289 (1991), 255–283. [18] N. Sibony, Dynamique des applications rationnelles de Pk. in Dynamique et géométrie complexes (Lyon, 1997), 97–185, Soc. Math. France, 1999. [19] J. Silverman, The theory of height functions, in Arithmetic geometry, Springer (1986), 151–166. [20] J. Silverman, Rational points on K3 surfaces: a new canonical height, Invent. Math. 105 (1991), 347– 373. [21] J. Silverman, Geometric and arithmetic properties of the Hénon map, Math. Z. 215 (1994), 237–250. CANONICAL HEIGHTS 33

[22] C. Soul´eet al, Lectures on Arakelov Geometry, Cambridge Univ. Press, Cambridge, 1992. [23] L. Szpiro, E. Ullmo and S. Zhang, Equir´epartition´ des petits points, Invent. Math. 127 (1997), 337–347. [24] T. Ueda, Fatou sets in complex dynamics on projective spaces, J. Math. Soc. Japan 46 (1994), 545–555. [25] L. Wang, Rational points and canonical heights on K3-surfaces in P1 P1 P1, in Recent developments in the inverse Galois problem (Seattle, WA, 1993), Contemp. Math. 1×86 (1995),× 273–289. [26] S. Zhang, Small points and adelic metrics, J. Algebraic Geom. 4 (1995), 281–300.

Department of Mathematics, Faculty of Science, Kyoto University, Kyoto, 606-8502, Japan E-mail address: [email protected]