INVARIANT CURVES FOR BIRATIONAL SURFACE MAPS JEFFREY DILLER & DANIEL JACKSON & ANDREW SOMMESE Abstract. We classify invariant curves for birational surface maps that are expanding on cohomology. When the expansion is exponential, the arithmetic genus of an invariant curve is at most one. This implies severe constraints on both the type and number of irreducible components of the curve. In the case of an invariant curve with genus equal to one, we show that there is an associated invariant meromorphic two form. 1. Introduction One of the first things (see e.g. [Bea], p65) one learns about dynamics on the Riemann sphere is that no non-trivial rational function f : P1 leaves more than two points totally invariant. This fact, an elementary consequence of the Riemann-Hurwitz Theorem, has been generalized [FS], [SSU], [BCS] to holomorphic maps f : Pk in any dimension. For 2 example, if f : P is holomorphic, then the largest totally f -invariant curve C = f −1 (C) is a union of at most three lines. In this paper, we classify curves invariant under a non-trivial birational map of two complex variables. There are two important differences between the birational and holomorphic cases. First of all, it is much too restrictive to consider only those curves which are totally invariant in the strictest sense. If f : P2 is a birational map that is not linear, then no curve C can be f -invariant if one allows components of the critical set of f in the preimage. So instead, we define the preimage f −1 (C) of a curve C to exclude the critical set, and we say that C is invariant if C = f −1 (C). That is, C is equal to its proper transform under f . The second way in which the birational case is different is that one cannot hope to obtain a general theorem concerning birational maps of P2 without also considering birational maps of other complex surfaces. The problem is as follows. If one begins with, say, a linear map L : P2 that preserves a line ℓ and then conjugates with a cremona transformation g : P2 of very high algebraic degree d(g), then the birational map f := g ◦ L ◦ g −1 : P2 will leave invariant the curve g(ℓ), which has degree d(g). Hence there is no limit on the degree of a birationally invariant curve. We observe, however, that the map f in such an example always degenerates when one starts to iterate it. In particular, the algebraic degree d(f n ) of f n is not d(f )n as one would hope. Rather, it is bounded above by (and in typical cases equal to) d(g)2 . In a sense, both the map f and the invariant curve g(ℓ) are relatively simple objects disguised as something Date: April 25, 2005. 1991 Mathematics Subject Classification. 32H50, 14E07, 14H45. Key words and phrases. birational map, complex dynamics, invariant curve. The authors gratefully acknowledge support from the National Science Foundation during the preparation of this paper. 1 2 April 25, 2005 more complicated by a poor birational choice of coordinate. In particular, it was shown in [DF] that by blowing up points in P2 and lifting everything to the new complex surface, one can always arrive at a birational map that is algebraically stable. That is, (f n )∗ = (f ∗ )n where f ∗ is the induced linear action of f on Pic (X). In this case, the degree of f is replaced by the spectral radius λ(f ) of f ∗ , i.e. the so-called (first) dynamical degree of f . Our first main result (see section 3) is Theorem 1.1. Let f : X be an algebraically stable birational map of a complex projective surface with λ(f ) > 1. Then the genus of any connected f -invariant curve C is zero or one. By genus here, we mean what is commonly called the arithmetic genus of C. In particular, if C is irreducible, then the Riemann surface obtained by desingularizing C is either the Riemann sphere or a torus. And if X = P2 , then the theorem amounts to saying that the degree of an f -invariant curve is at most three. In fact, we will prove (see Section 3) somewhat more than the assertion in Theorem 1.1, classifying invariant curves for any bimeromorphic map f : X of any compact Kähler surface X for which the sequence kf n∗ k is unbounded. Beyond the intrinsic interest of Theorem 1.1, we note that invariant curves play a decisive role in many dynamically interesting examples of birational maps. For instance, Example 4 in [Fav] concerns a birational map that restricts to a rotation on a particular line, and this example has turned out to be important for testing the limits of what is known about ergodic theory of birational maps. In another direction, the papers [BD3] and [BD1] give detailed descriptions of the real dynamics of some families of birational maps, and the analysis in these papers depends heavily on the fact that indeterminacy orbits of the maps are constrained to lie in invariant curves. More generally, it is natural to consider the class of birational maps on a surface that preserve a given meromorphic two form. The support of the divisor of such a two form will necessarily be invariant in some sense. We show in section 4 that Theorem 1.2. Let f : X be an algebraically stable birational map of a complex projective surface, and C a connected f -invariant curve of genus one. By contracting curves in X, one can arrange additionally that −C is the divisor of a meromorphic two form η satisfying f ∗ η = cη. The constant c ∈ C is determined solely by the curve C and the induced automorphism f :C . Among other things, this theorem allows us to be quite precise about the possibilities for a genus one invariant curve (see Corollary 4.3). The plan of the paper is as follows. Section 2 contains (mostly well-known) definitions and results concerning geometry of surfaces and birational maps on surfaces. It also reviews a classification of birational self-maps from [DF] that we will rely on heavily. Section 3 presents, among other things, the proof of Theorem 1.1. The central ingredient is Corollary 3.3 which says that if C is an invariant curve and KX the canonical class of X, then (C + KX ) · θ ≤ 0 1,1 for some nef class θ ∈ HR (X). Section 4 concerns the case of genus one invariant curves and contains the proof of Theorem 1.2. Section 5 discusses the number of irreducible components of an invariant curve. In the genus one case, we give an upper bound that depends only on the surface and not the map. In the genus zero case, we give an upper bound that is more April 25, 2005 3 complicated, but aside from one exceptional situation, the bound again depends only on the surface. 2. Background 2.1. Complex surfaces. Throughout this paper, X will denote a complex surface, by which we mean a connected compact complex manifold of complex dimension two. Usually X will be rational. The book [BHPV] is a good general reference for complex surfaces. Here we recount only needed facts. Given divisors, D, D′ on X, we will write D ∼ D′ to denote linear equivalence, D ≤ D′ if D′ = D + E where E is an effective divisor and D . D′ if D′ − D is linearly equivalent to an effective divisor. By a curve in X, we will mean a reduced effective divisor. We let Pic (X) denote the Picard group on X, i.e. divisors modulo linear equivalence. We let KX ∈ Pic (X) denote the (class of) a canonical divisor on X, which is to say, the divisor of a meromorphic two form on X. Taking chern classes associates each element of Pic (X) with a cohomology class in H 1,1 (X)∩ 1,1 H 2 (X, Z). We will have need of the larger group HR (X) := H 1,1 (X) ∩ H 2 (X, R). We call 1,1 a class θ ∈ HR (X) nef if θ2 ≥ 0 and θ · C ≥ 0 for any complex curve. We will repeatedly rely on the following consequence of the Hodge index theorem. 1,1 (X) is a non-trivial nef class, and C is a curve, then θ · C = 0 Theorem 2.1. If θ ∈ HR implies that either • the intersection form is negative when restricted to divisors supported on C; or • θ2 = 0 and there exists an effective divisor D supported on C such that D ∼ tθ for some t > 0. In particular if θ has positive self-intersection, then the intersection form is negative definite on C. Proof. The hypotheses imply that θ · D = 0 for every divisor D supported on C. Suppose that the intersection form restricted to C is not negative definite. That is, there is a nontrivial divisor D with supp D ⊂ C and D2 ≥ 0. Then we may write D = D+ − D− as a difference of effective divisors supported on C with no irreducible components in common. Since D+ · D− ≥ 0, we have 2 2 0 ≤ D 2 ≤ D+ + D− , so replacing D with D+ or D− allows us to assume that D is effective. In particular, D 1,1 (X). Since D · θ = 0 and θ2 , D2 ≥ 0, we see that the represents a non-trivial class in HR 1,1 (X) generated by D and θ. By intersection form is non-negative on the subspace of HR Corollary 2.15 in [BHPV, page 143], such a subspace must be one-dimensional. Thus D = tθ for some t > 0.  By the genus g(C) of a curve C ⊂ X, we will mean the quantity 1−χ(OC ), or equivalently, 1 + h0 (KC ) minus the number of connected components of C. If C is smooth and irreducible, then g(C) is just the usual genus of C as a Riemann surface. If C is merely irreducible, then g(C) is usually called the arithmetic genus of C, and in this case it dominates the genus of the Riemann surface obtained by desingularizing C. If C is connected then g(C) ≥ 0, but 4 April 25, 2005 our notion of genus is a bit non-standard in that we do not generally require connectedness of C in what follows. For any curve C, connected or not, we have the following genus formula (1) g(C) = C · (C + KX ) + 1. 2 2.2. Birational maps. Now suppose that Y is a second complex surface and f : X → Y is a birational map of X onto Y . That is, f maps some Zariski open subset of X biholomorphically onto its image in Y . In general the complement of this subset will consist of a finite union of rational curves collapsed by f to points, and a finite set I(f ) of points on which f cannot be defined as a continuous map. We call the contracted curves exceptional and the points in I(f ) indeterminate for f . The birational inverse f −1 : Y → X of f is obtained by inverting f on the Zariski open set where f acts biholomorphically. Note that what we call a birational map is perhaps more commonly called a birational correspondence, the former term often being understood to mean that I(f ) = ∅. We adopt the following conventions concerning images of proper subvarieties of X. If C ⊂ X is an irreducible curve, then f (C) is defined to be f (C − I(f )), which is a point if C is exceptional for f and a curve otherwise. If p ∈ X is a point of indeterminacy, then f (p) will denote the union of f −1 -exceptional curves that f −1 maps to p. We apply the same conventions to images under f −1 . Our convention for the inverse image of an irreducible curve extends by linearity to a proper transform action f ♯ D of f on divisors D, provided we identify points with zero. We also have the total transform action f ∗ D of f on divisors obtained by pulling back local defining functions for D by f . Total transform has the advantage that it preserves linear equivalence and therefore descends to a linear map f ∗ : Pic (Y ) → Pic (X). We denote the proper and total transform under f −1 by f∗ and f♯ , respectively. In general, f ∗ D − f ♯ D is an effective divisor with support equal to a union of exceptional curves mapped by f to points in supp D. It will be important for us to be more precise about this point. To do so, we use the ‘graph’ Γ(f ) of f obtained by minimally desingularizing the variety {(x, f (x)) ∈ X × Y : x ∈ / I(f )}. We let π1 : Γ(f ) → X, π2 : Γ(f ) → Y denote projections onto first and second coordinates. Thus Γ(f ) is an irreducible complex surface and π1 , π2 are proper modifications of their respective targets, each holomorphic and birational and therefore each equal to a finite composition of point blowups. One sees readily that f = π2 ◦ π1−1 , and that the exceptional and indeterminacy sets of f are the images under π1 of the exceptional sets of π2 and π1 , respectively. Given a decomposition σn ◦ · · · ◦ σ1 of π2 into point blowups, we let E(σj ) denote the center of the blowup σj and ∗ Êj (f ) = σ1∗ . . . σj−1 E(σj ), S Ej (f ) = π1∗ Êj (f ). In particular, supp Ej (f ) is the exceptional set. We call Pthe individual divisors Ej (f ) the exceptional components of f and call their sum E(f ) := Ej (f ) the exceptional divisor of f . It should be noted that, as we have defined them, the exceptional components of f are connected, but in general they are neither reduced nor irreducible. April 25, 2005 5 The following proposition assembles some further information about the exceptional components. These can be readily deduced from well-known facts about point blowups. We recall that the multiplicity of a curve C at a point p is just the minimal multiplicity of the intersection of C with an analytic disk meeting C only at p. Proposition 2.2. Let σj , Ej (f ), and E(f ) be as above, and C ⊂ X be a curve. • E(f ) = (f ∗ η) − f ∗ (η) for any meromorphic two form η on X (here (η) denotes the divisor of η). Less precisely, E(f ) ∼ KX − f ∗ KX . • Ej (f ) and Ei (f ) have irreducible components in common if and only if f (Ej (f )) = f (Ei (f )). If this is the case, then i ≤ j implies that Ei (f ) ≤ Ej (f ). • The multiplicity with which an irreducible curve E occurs in E(f ) is bounded above by a constant that depends only on the number of exceptional components Ej (f ) that include E. P • f ∗C − f ♯C = cj Ej (f ) where cj is the multiplicity of (σn ◦ · · · ◦ σj+1 )♯ (C) at the point σj (E(σj )). • In particular, cj vanishes if pj := f (Ej (f )) ∈ / C, cj ≤ 1 if pj is a smooth point of C, and cj > 0 if pj ∈ C and Ej (f ) is not dominated by any other exceptional component of f . • Hence (in light of the 2nd and 5th items), supp f ∗ C − f ♯ C = f −1 (C ∩ I(f −1 )). We will also need the following elementary fact. Lemma 2.3. Let C ⊂ X be a curve such that no component of C is exceptional for f . If p ∈ C − I(f ), then multiplicity of f (C) at f (p) is no smaller than that of C at p. In particular, f (p) is singular for f (C) if p is singular for C. 2.3. Classification of birational self-maps. Supposing that f : X is a birational selfmap, we now recall some additional information from [DF]. First of all, there are pullback 1,1 (X) compatible with the total transforms f ∗ , f∗ : and pushforward actions f ∗ , f∗ : HR Pic (X) . The actions are adjoint with respect to intersections, which is to say that (2) f ∗ α · β = α · f∗ β, 1,1 (X). Less obviously, f n∗ is ‘intersection increasing’, meaning for all α, β ∈ HR (f n∗ α)2 ≥ α2 The first dynamical degree of f is the quantity λ(f ) := lim kf n∗ k1/n ≥ 1. n→∞ It is less clear than it might seem that λ(f ) is well-defined, as it can happen that (f n )∗ 6= (f ∗ )n for n large enough. However, λ(f ) can be shown to be invariant under birational change of coordinate and one can take advantage of this to choose a good surface on which to work. Theorem 2.4. The following are equivalent for a birational map f : X surface. • (f n )∗ = (f ∗ )n for all n ∈ Z. • I(f n ) ∩ I(f −n ) = ∅ for all n ∈ N. on a complex 6 April 25, 2005 n • f (C) ∈ / I(f ) for any f -exceptional curve C. −n • f (C) ∈ / I(f −1 ) for any f −1 exceptional curve C. By blowing up finitely many points in X, one can always arrange that these conditions are satisfied. We will call maps satisfying the equivalent conditions of this theorem AS (for algebraically or analytically stable). If f is AS , then λ = λ(f ) is just the spectral radius of f ∗ . If X is Kähler, then there is a nef class θ+ satisfying f ∗ θ+ = λθ+ . From (2) we have that λ(f −1 ) = λ(f ), so we let θ− denote the corresponding class for f −1 . The following theorem summarizes many of the main results of [DF], and we will rely heavily on it here. Theorem 2.5. If f : X is an AS birational map of a complex Kähler surface X with λ(f ) = 1, then exactly one of the following is true (after contracting curves in supp E(f n ), if necessary). • kf n∗ k is bounded independent of n, and f is an automorphism some iterate of which is isotopic to the identity. • kf n∗ k ∼ n and f preserves a rational fibration. In this case θ+ = θ− is the class of a generic fiber. • kf n∗ k ∼ n2 and f is an automorphism preserving an elliptic fibration. Again θ+ = θ− is the class of a generic fiber. If, on the other hand, λ(f ) > 1, then θ+ · θ− > 0 and either X is rational or f is (up to contracting exceptional curves) an automorphism of a torus, an Enriques surface, or a K3 surface. We remark that the classes θ± are unique up to positive multiples whenever kf n∗ k is unbounded, and indeed under the unboundedness assumption, we have f n∗ θ lim = cθ+ n→∞ kf n∗ k for any Kähler class θ and some constant c = c(θ) > 0. In what follows, we will largely ignore the case in which kf n∗ k is bounded. After all, if some iterate of f is the identity map, then every curve in X will be f -invariant. To close this section, we recall a result from [BD2], which we will use in section 4. Theorem 2.6. If f : X is an AS birational map of a complex Kähler surface X with λ(f ) > 1, then after contracting curves in supp E(f n ), we can arrange additionally that θ+ · f (p) > 0 for every p ∈ I(f ) and θ− · f −1 (p) > 0 for every p ∈ I(f −1 ). 3. Invariant curves Unless otherwise noted in what follows, f : X will always be an AS birational map on a complex Kähler surface X. We will call a curve C ⊂ X invariant for f if f (C) = C. If C is f -invariant, then f lifts to a biholomorphism of the desingularization of C. In particular April 25, 2005 7 f permutes the irreducible components of C and no such component is exceptional. Clearly C is f -invariant if and only if C is f −1 -invariant. Theorem 3.1. If C is an f -invariant curve, then C ∩ I(f ) consists of smooth points of C. The proof of this result boils down, essentially, to the fact that if p = f (p) is a fixed singular point of C that also lies in an exceptional curve, then f n (p) should eventually be much more singular for C than p is, contradicting f -invariance of C. Proof. In order to keep the notation simpler, we will prove the equivalent statement that C ∩ I(f −1 ) consists of smooth points of C. We suppose in order to reach a contradiction that some point p ∈ I(f −1 ) is also a singular point of C. Since f is AS , f k (p) is well-defined for all k ≥ 0. By Lemma 2.3 and invariance of C, all points in the forward orbit of p are singular for C. But the singular set of C is finite, so replacing f by f k if necessary, we may assume that p is fixed by f and that C is the connected curve obtained by keeping only those irreducible components containing p. Because p ∈ I(f −1 ), we have that f −1 (p) is a connected curve in supp E(f ), and because f (p) = p we see that p ∈ E ⊂ f −1 (p) for some irreducible exceptional curve E. In particular, f ∗ E ≥ E by the fifth conclusion in Proposition 2.2. More generally, for k ≥ 1, the first item in Proposition 2.2 and the fact that f is AS imply that (3) E(f k ) = (f k∗ η) − f k∗ (η) = k−1 X f j∗ ((f (k−j)∗ η) − f ∗ (f (k−j−1)∗ η)) = j=0 k−1 X f j∗ E(f ) ≥ kE. j=0 We will complete the proof by suitably interpreting (3) from another point of view. Let Γ be a minimal desingularization of the graph of f k and π1 , π2 : Γ → X be projections onto source and target. Because p ∈ I(f −1 ) and f is AS , it follows that p ∈ / I(f k ). Hence there is a neighborhood U ∋ p such that π1 maps π1−1 (U ) biholomorphically onto U . We let C0 = π1♯ (C), E0 = π1♯ E, p0 = π1−1 (p) and observe that C0 is a connected curve meeting E0 at p0 . After decomposing π2 = σn ◦ · · · ◦ σ1 into a sequence of point blowups, we further define Cj = σj ◦ · · · ◦ σ1 (C0 ), Ej = σj ◦ · · · ◦ σ1 (E0 ), pj = σj ◦ · · · ◦ σ1 (p0 ). In particular, Cj is connected and meets Ej (which will be a point for j large enough) at pj . By f invariance of p and C, we see that Cn = C and pn = p. Let m ∈ N be larger than g(C). By the third item in Proposition 2.2, we can choose k large enough in (3) to deduce that there are at least m-indices j for which pj = Ej = σj (E(σj )) is the point blown up by σj . It is well-known (see e.g. [GH], p506) that blowing up a singular point of a curve strictly decreases its genus. Thus, g(Cj−1 ) ≤ g(Cj ) − 1 for m different values of j. The cumulative effect of this is that g(C0 ) ≤ g(C) − m < 0, contradicting the fact that the genus of a connected curve is always non-negative.  Corollary 3.2. Let C ⊂ X be an f -invariant curve. Then up to linear equivalence, we have f ∗ (C + KX ) . C + KX 8 April 25, 2005 Proof. In light of Theorem 3.1 and the fifth and first items in Proposition 2.2, we have f ∗ C ≤ C + E(f ) ∼ C + KX − f ∗ KX , which rearranges to give the inequality we seek.  Corollary 3.3. Suppose that kf n∗ k is unbounded. Then for any f -invariant curve C, we have θ± · (C + K) ≤ 0 In particular, when λ(f ) > 1, (C + K) · θ ≤ 0 for some nef class θ with θ2 > 0. Proof. Let θ be a Kähler class on X. Then by Corollary 3.2, we have 0≥ 1 kf n∗ k θ · ((C + K) − f∗n (C + K)) = θ − f n∗ θ · (C + K) → cθ+ · (C + K), kf n∗ k which verifies the first assertion. If λ(f ) > 1, then Theorem 2.5 tells us that (θ+ + θ− )2 ≥ 2θ+ · θ− > 0. Hence the second assertion holds for the particular class θ− + θ+ .  Theorem 3.4. Suppose that kf n∗ k ∼ n2 . Then any connected f invariant curve is contained in a fiber of the elliptic fibration preserved by f . Proof. Let S be a Riemann surface and π : X → S be the elliptic fibration preserved by f . Then θ+ is the class of a fiber of π. Since the self-intersection of a fiber is zero and generic fibers are smooth elliptic curves, the genus formula tells us that 0 = θ+ (θ+ + KX ) = θ+ · KX . Therefore, from Corollary 3.3 we see that any f invariant curve C satisfies C · θ+ ≤ 0. Since θ+ is nef, it follows that C · θ+ = 0. This can only happen if C is contained in some fiber of π.  Theorem 3.5. Suppose that kf n∗ k ∼ n and let π : X → S denote the rational fibration preserved by f . Let C denote the union of all irreducible f -invariant curves not contained in fibers of π. If C is non-empty, then exactly one of the following is true. • C consists of one or two irreducible components, each mapped biholomorphically by π onto S. • C consists of one irreducible component, and π : C → S is a two to one branched cover. In this case, some power of f induces the identity map on S. In particular if the surface X is rational, then the base of the rational fibration is P1 . Therefore, f -invariant curves must be rational or, in the case where some iterate of the induced map is trivial, hyperelliptic. We observe that hyperelliptic curves really do arise in this fashion. If, for example, A and B are meromorphic functions on P1 and f : P1 × P1 is given by   A(x)y + B(x) f (x, y) = x, − , y then f restricts to the identity map on the curve y 2 + A(x)y + B(x) = 0. April 25, 2005 9 + Proof. As in the previous proof, θ is the class of a generic fiber of π, and the genus formula implies that θ+ ·KX = −2 (this time fibers are rational rather than elliptic curves). Therefore if C is an f -invariant curve, we see from Corollary 3.3 that C · θ+ ≤ 2. After removing all components of C contained in fibers of π, we obtain that π|C is an at most 2 to 1 branched cover of S semiconjugating f |C to an automorphism f˜ : P1 . In particular, C has at most two irreducible components, and if there are two, they are necessarily isomorphic to S. If f˜ is not periodic, then S is either a torus and f˜ an ergodic translation or S is P1 and f˜ a linear fractional transformation. In either case f |C is also aperiodic. Hence C is also a torus or an elliptic curve. In the case where f˜ is a linear fractional transformation, f n |C must have a finite, non-zero number of fixed points for all n ∈ N which means that C is rational.  Theorem 3.6. Let f : X be an AS birational map with λ(f ) > 1. Then any f -invariant curve C satisfies g(C) ≤ 1. In particular, if C is connected, then g(C) is 0 or 1. Proof. Let us suppose first that X is irrational. Then by Theorem 2.5, we may blow down curves in E(f n ) (in particular not components of C) and assume that X is an Enriques surface, a K3 surface or a torus, and f is an automorphism. In the last two cases KX = 0, so Corollary 3.3 tells us that C · θ = 0 for some nef class θ with positive self-intersection. It follows that C · (C + KX ) = C 2 < 0, so by the genus formula C has genus zero and is in fact a smooth rational curve with self-intersection -2. If X is an Enriques surface, it is double-covered by a K3-surface ([BHPV], page 339), and the theorem follows from lifting everything to the K3 surface. Now we turn to the rational case. With V as in the theorem and KX , KC the canonical bundles of X and C, respectively, we have the standard short exact sequence of line bundles 0 → KX → KX + C → KC → 0, which gives rise to the long exact sequence · · · → H 0 (X, KX + C) → H 0 (C, KC ) → H 1 (X, KX ) → . . . However, since X is a rational surface, H 1 (X, KX ) vanishes, so the sections of KX +C surject onto those of KC . But Corollary 3.3 tells us that KX + C has non-positive intersection with a nef class with positive self-intersection. It follows then from Theorem 2.1 that 0 ≤ h0 (KC ) ≤ dim h0 (KX + C) ≤ 1. We conclude g(C) = 1 − h0 (OC ) + h0 (KC ) ≤ h0 (KC ) ≤ 1.  4. Genus 1 For the remainder of this paper, we will assume f : X is a birational map on a complex Kähler surface, as in the hypotheses of Theorem 3.6. Specifically, f is AS and λ(f ) > 1. For irreducible invariant curves C, the implications of Theorem 3.6 are clear: C is either a rational curve with at most one simple cusp or normal crossing, or C is a smooth elliptic curve. But the conclusion of the theorem also says much about reducible invariant curves. For instance, in the genus 0 case, the following is well-known (see e.g. [BHPV], page 85) 10 April 25, 2005 Theorem 4.1. A connected curve C = C1 ∪ · · · ∪ Ck has genus 0 if and only if C is a tree of smooth rational curves Cj . That is, C ′ · C ′′ = 1 for every decomposition of C = C ′ ∪ C ′′ into connected curves without common components. In the case where C is a connected genus 1 invariant curve, it turns out that we can give an even more specific description. To do this, it is necessary first to refine the argument from Theorem 3.6 and prove Theorem 4.2. Let f : X be an AS birational map with λ(f ) > 1, and suppose that V = f (V ) is a connected invariant curve with g(V ) = 1. Then by contracting finitely many curves, one may further arrange the following. • V ∼ −KX is an anticanonical divisor. • I(f n ) ⊂ V for every n ∈ Z. • Any connected curve strictly contained in V has genus zero. • If W is a connected f -invariant curve not completely contained in V , then W has genus zero, is disjoint from V , and is equal to a tree of smooth rational curves, each with self-intersection −2. We remark that in general, contracting curves will be necessary to achieve the conclusions of this theorem. One can always cause the conclusions to fail trivially up finitely S by blowing n many consecutive elements in the orbit of a point not contained in n∈Z I(f ). Proof. Let us observe from the outset that contracting exceptional curves for f and f −1 will not disconnect V , nor change the fact that f (V ) = V , and since the genus of V cannot decrease when a curve is contracted, it follows from Theorem 3.6 that g(V ) will remain equal to one. After contracting exceptional curves, we can assume that the conclusion of Theorem 2.6 is in force. So if C is a curve containing a point p ∈ I(f n ), then we have that n f n∗ θ+ + f∗ C θ ·C = · C = θ · n > 0, λn λ n∗ because the last item in Proposition 2.2 tells us that f C contains the the f −n -exceptional curve f n (p). Similarly, θ− · C > 0 whenever C ∩ I(f −n ) 6= 0. From the proof of Theorem 3.6 and the assumption that g(V ) = 1, we see that h0 (KX ) = 0 h (KV ) = 1. In particular, the line bundle KX + V is effective. So assuming that KX 6∼ −V , we have that KX + V ∼ D, + where D is a non-trivial effective divisor. We will show that we can contract a set of mutually disjoint components of D without changing the facts that V is invariant, that g(V ) = 1, and especially, that f is AS. By Corollary 3.2 and the fact that the set of effective divisors is preserved by pullback we have 0 ≤ f n∗ D . D for all n ∈ Z. In addition, Corollary 3.3 implies that every irreducible component of D is intersection orthogonal to θ+ and θ− . From this, we have that the intersection form is April 25, 2005 11 negative definite for divisors supported on D. Thus the previous inequality actually holds on the level of divisors: 0 ≤ f n∗ D ≤ D. The second paragraph of the proof implies that I(f n ) ∩ supp D = ∅ for all n ∈ Z. So for each irreducible component C of D and each n ∈ Z, we have that f n (C) = f∗n C is either a point (i.e. 0) or an irreducible curve dominated by D. In the latter case, the absence of points of indeterminacy in D combines with Lemma 2.3 to imply that f n (C) will be smooth if and only if C is. The irreducible components C of D are now seen to fall into two classes: periodic components, satisfying C = f n (C) for some n ∈ N, and eventually exceptional components satisfying C ⊂ supp E(f n ) for n ∈ N large enough. Since a component is periodic for f if and only if it is periodic for f −1 , it must also be the case that a component is eventually exceptional for f if and only if it is eventually exceptional for f −1 . To find a component of D to contract, we apply the genus formula and the hypothesis g(V ) = 1 to arrive at D · V = 0. Thus 0 > D2 = D · (V + KX ) = D · KX . We can therefore choose an irreducible component C of D satisfying C · KX < 0. Because C 2 < 0, ([BHPV], p91) tells us that such a component must actually be a smooth rational curve with self-intersection −1—i.e. contractible. Any non-trivial image f n (C) = f∗n C of C will therefore also be a smooth rational curve. Because f∗n is intersection increasing and (f∗n C)2 < 0, we see that (f∗n C)2 must also be −1. Finally, if f∗n C is distinct from C, then (f∗n C + C)2 < 0 implies that f n (C) ∩ C = ∅. Hence the entire one-dimensional portion of the orbit of C can be contracted simultaneously, yielding a smooth surface in which each irreducible curve in the orbit of C has been replaced by a point. The map f descends to a birational map on this new surface. In the case where the contracted curves are eventually exceptional, there exist both points of indeterminacy and exceptional curves that are eliminated by the contraction, but in neither case is a point of indeterminacy or an exceptional curve created. Hence f remains AS after the contraction. As in the first paragraph of the proof, the connectedness, the invariance, and the genus of V are unaffected by the contraction (even though, in the case where C is periodic, it could happen that C ⊂ V ). So after contracting, either we have V ∼ −KX , or we can repeat the preceding argument to contract yet more curves in X. The dimension of Pic (X) is finite and decreases with every contraction, so eventually the process will end and it will then be the case that V ∼ −KX . That is, we have established the first assertion of the theorem. Since V ∼ −KX , the first and fifth conclusions of Proposition 2.2 together with Lemma 3.1 imply for every n ∈ Z that E(f n ) + V ∼ f n∗ V ≤ E(f n ) + V, which can only happen if f n∗ V = E(f n ) + V . The fifth item in Proposition 2.2 therefore yields additionally that I(f n ) ⊂ V for all n ∈ Z. That is, the second assertion in the theorem holds. Now suppose that W is a connected curve strictly contained in V , and let W ′ = V − W be the complementary curve. Since V is connected, we have W · W ′ > 0. Hence V ∼ −KX 12 April 25, 2005 ′ implies that W · (W + K) = W · (−W ) < 0. So by the genus formula, g(W ) = 0, and the third assertion is proved. Finally, we consider a connected f -invariant curve W not completely contained in V . If W ∩V 6= ∅, then W ∪V is a connected f -invariant curve of genus at least one and not linearly equivalent to −KX . Therefore, we can apply the first assertion of the theorem to V ∪ W in place of V , blowing down curves in X until V ∪ W descends to a curve linearly equivalent to −KX . Again, this process can only be repeated finitely many times, so after contracting more curves if necessary, we can suppose with no loss of generality that an f -invariant curve W 6⊂ V is actually disjoint from V . In particular W · KX = 0 and W ∩ I(f n ) = ∅ for every n ∈ Z. The latter property implies that W = f ∗ W = f∗ W is invariant on the level of total, as well as proper, transform. Therefore, λθ+ · W = f ∗ θ+ · W = θ+ · f∗ W = θ+ · W, which implies that θ+ · W = 0. Similarly, θ− · W = 0. Since θ+ + θ− is nef and has positive self-intersection, we conclude from Theorem 2.1 that the intersection form restricted to W is negative definite. The last assertion in Theorem 4.2 now follows from the discussion of A-D-E curves in [BHPV, page 92].  Corollary 4.3. The curve V in the conclusion of the Theorem 4.2 is one of the following • a smooth elliptic curve; • a rational curve with an ordinary cusp; • a rational curve with a single normal crossing; • a union of two smooth rational curves meeting tangentially; • a union of two smooth rational curves meeting transversely at two distinct points. • a union of three smooth rational curves intersecting at a single point; • a ‘cycle’ C1 , . . . , Ck of two or more smooth rational curves satisfying Cj Cj+1 = 1 for all j ≥ 1, Ck C1 = 1 and Cj Ck = 0 for distinct j, k otherwise. By paying a little more attention in the proof of Theorem 4.2 we can extract another piece of information that will prove useful below. Corollary 4.4. Suppose that the curve V in the conclusion of Theorem 4.2 contains a cusp, a triple point, or a tangency. Then V has one of these singularities even before contraction. Proof. If the corollary is false, then V develops a cusp, a triple point, or a tangency in the course of contracting a −1 curve C. Suppose first that C 6⊂ V . If C · V > 1, then the genus of V will strictly increase when C is contracted. Since the genus of an invariant curve cannot exceed one and attains this value even before contraction, we see that in fact C · V ≤ 1. So either C does not intersect V , or C meets V transversely at some smooth point of V . In neither case will contracting V add to or change the singular points of V . That is, no cusps, triple points, or tangencies can be created when C 6⊂ V . Now suppose that C ⊂ V . Then contracting C leads to a cusp only if C is tangent to some other component of V and contracting C leads to a tangency only if C meets two other components of V at the same point. Hence, the only real concern is that contracting C might create a triple point. If that happens, then we see that C meets at least three other April 25, 2005 13 components of V . Thus C · V = C · C + C · (V − C) ≥ −1 + 3 = 2. Once again, combining this estimate with the genus formula implies that the genus of V will strictly increase when C is contracted. Since this cannot happen, the proof is complete.  If V ∼ −KX then there is a meromorphic two form η on X, unique up to constant multiple, with simple poles along V and no zeroes or poles elsewhere. If V is also f -invariant, then (f ∗ η) = f ∗ (η) − E(f ) = −f ∗ V − E(f ) = −V + E(f ) − E(f ) = −V = (η). Hence f ∗ η = tη (4) for some t ∈ C. The constant t can be computed by looking at f |V , as we will now explain. We recall that the explicit version of the linear transformation H 0 (X, KX +V ) → H 0 (V, KV ) is the Poincaré residue map ([BHPV], p66), which prescribes to each meromorphic two form on X with simple poles along V a meromorphic one form on V . If V has local defining function h on some open set U ⊂ X, then we can write dh η= ∧ η ′ + τ, h on U , where η ′ is a holomorphic 1-form and τ is a holomorphic 2-form. It turns out that res(η) := η ′ |V is independent of the choice of defining function. Since h0 (KV ) = 1 and f |V is an automorphism, it follows that (5) f ∗ res(η) = t res(η) for some t ∈ C. Proposition 4.5. The constant t is the same in (4) and (5). Proof. It’s enough to observe that f ∗ (applied to meromorphic one and two forms) commutes with the Poincaré residue map. This is clear from the definition of the Poincaré residue, since near any point p ∈ V − I(f −1 ) − supp E(f −1 ), we have that h ◦ f remains a local defining function for V near f −1 (p) and f ∗η = d(h ◦ f ) ∧ f ∗ η ′ + f ∗ τ, h◦f on f −1 (U ). This shows that res(f ∗ η) = f ∗ res(η) on a dense open subset of V , and by analytic continuation, the equality holds everywhere on V .  Corollary 4.6. Let f : X be an AS birational map preserving a curve V with genus one. Then there is a meromorphic two form η on X satisfying f ∗ η = tη for some t ∈ C. Moreover, t is a root of unity unless one of the following holds: • some rational component of V has an ordinary cusp; • two distinct rational components of V meet tangentially; • three distinct rational components of V meet transversely at a single point; 14 April 25, 2005 Proof. Let V be an f -invariant curve with genus one. Let us first assume that V is as in the conclusion of Theorem 4.2. Then as described above, we may choose η to be a meromorphic two form with divisor (η) = −V , and conclude that f ∗ η = tη. In general, it will be necessary to contract curves in X to reach this situation. However, if π : X → X̃ is the map that accomplishes the contraction, and η̃ is the invariant (up to scale) two form on X̃, then it follows that, η := π ∗ η̃ is invariant on X simply because invariance is a pointwise condition for a two form and need only be verified on an open set that avoids the curves contracted by π. Now for the conclusion concerning the specific value of t, Corollary 4.4 allows to assume that V ∼ −KX is one of the curves in the conclusion of Corollary 4.3. We recall some facts about meromorphic one forms in the range of the Poincaré residue operator associated to a curve V ∼ −KX . It is evident from the definition above that such a form will be holomorphic and non-zero at smooth points of v. Less obviously, a non-trivial form in the range of res will have simple poles at any normal crossing of V and double poles at other singularities. Let us consider the implications of these facts in two contrasting particular cases. If V = C ′ ∪ C ′′ is a union of two smooth rational curves intersecting transversely at two distinct points, then we can choose a uniformizing parameter z for C ′ so that the normal crossings correspond to z = 0 and z = ∞. Thus forms in the range of the residue operator will be multiples of dz in this coordinate. On the other hand, the restriction of f to C ′ will z either preserve or switch z = 0 and z = ∞; that is f |C ′ : z 7→ az or f |C ′ : z 7→ a/z. From this, it is clear that (f |C ′ )∗ dz = ± dz . In particular, t = ±1. z z Suppose instead that V = C ′ ∪ C ′′ is a union of two smooth rational curves intersecting tangentially at a single point. In this case we choose a parameter z on C ′ so that the intersection occurs at z = ∞. Thus forms in the range of res are multiples of dz and f |C ′ : z 7→ az + b. It follows that t = a. The remaining cases in Corollary 4.6 can all be analyzed in a similar fashion with the result that t is a root of unity unless V is a rational curve with a cusp, a union of two lines meeting tangentially, or a union of three lines meeting at a single point.  Example 4.7. For a, b, c ∈ C, the map f = fabc : P2 by given in homogeneous coordinates fabc : [x, y, z] 7→ [x(x + ay + z/b), y(x/a + y + cz), z(bx + y/c + z)] is birational and preserves the curve {xyz = 0}, which is a union of three lines and has genus 1. The inverse of fabc is the map fa−1 b−1 c−1 . For generic values of a, b, c, one can check using the second item in Theorem 2.4 that f is AS . In this case λ(f ) = 2 is just the degree of the homogeneous polynomials defining f . The meromorphic two form, given in affine coordinates by dx ∧ dy/xy is invariant under f . In his thesis [Jac], Jackson gives examples of birational maps f : P2 with genus 1 invariant curves of each of the last four types presented in Corollary 4.3. Such examples seem plentiful. However, we are not presently aware of an example of an AS birational map f : X with λ(f ) > 1 that preserves an irreducible genus 1 curve. April 25, 2005 15 5. The number of irreducible components of an invariant curve Throughout this section, we take X to be a rational surface and set h1,1 := dim H 1,1 (X) = dim Pic (X). We take f : X to be an AS birational map with first dynamical degree λ(f ) > 1, and we suppose that C ⊂ X is a (not necessarily connected) f -invariant curve. It would be nice to have an upper bound for the number of components of C that depended only on X and not on f . Our results so far come close to giving such a bound, but in the case where each connected component of C has genus 0, we are not presently able to rule out the possibility that C contains arbitrarily many fibers in a rational fibration. Consider, for instance, the following example that shows it is possible to have at least three such fibers invariant. Example 5.1. Let f : P1 × P1 be given in affine coordinates by   xy + 3y − 4 xy + 3y − 4 f (x, y) = x . , 4xy − 6x + 2 xy 2 + 5y − 6 Then f is birational with I(f ) = {(∞, 0), (0, ∞), (1, 1), (−1, 2)}. For any choice of three points p1 , p2 , p3 ∈ I(f ), there is a unique hyperbola of the form (x − a)(y − b) = c passing through p1 , p2 , p3 , and the four hyperbolas obtained this way constitute the exceptional set of f . The lines {x = 0}, {x = 1} and {x = ∞} are all f -invariant. Moreover, if we take the classes of a horizontal and a vertical line as a basis for Pic (P1 × P1 ), then f ∗ is given by the matrix   2 1 . 1 2 The map f is not by itself AS : for instance, f ({xy = −2}) = (1, 1) ∈ I(f −1 ) ∩ I(f ). ), then g will be AS for generic However, if we set g(x, y) = L ◦ f , where L(x, y) = (x, ay+b cy+d choices of a, b, c, d, and all of the other properties of f that we have just described will be retained for g. In particular, λ(g) will be the largest eigenvalue 3 of f ∗ . Our aim in this section is to show that, once large unions of fibers in a rational fibration are excluded, we have the desired upper bound on the number of components of C. We rely on the following variation on a result [BHPV, pp. 111] of Zariski. Proposition 5.2. Let V ⊂ X be a curve and H ⊂ Pic (X) be the subspace generated by divisors supported on V . Suppose that the intersection form is non-positive on H. Then there is a unique choice of k effective divisors D1 , . . . , Dk with the following properties. • For each 1 ≤ j ≤ k, supp Dj is a distinct connected component of V . P • A divisor D supported on V has self-intersection 0 if and only if D = cj Dj for some cj ∈ Z. P • Every linear equivalence among divisors supported on V has the form kj=1 cj Dj ∼ 0 for some cj ∈ Z. • If k ≤ 1, then V has at most h1,1 − 1 irreducible components. • If k ≥ 2, then there is a fibration π : X → P1 such that each Dj is a (possibly non-generic) fiber of π. Moreover, V has at most h1,1 + k − 2 irreducible components. 16 April 25, 2005 Proof. Suppose first that V is connected and that there is a non-trivial divisor D with supp D ⊂ V and D2 = 0. Suppose that E ⊂ V is an irreducible component of V − supp D such that E ∩ supp D 6= ∅. Replacing D by −D if necessary, we may assume that D · E > 0. Thus (D + nE)2 = 2nE · D + E 2 > 0 for n large enough, contradicting our assumption that the intersection form is non-positive for divisors supported on V . It follows that supp D = V . As in the proof of Theorem 2.1, we may assume that D is effective. If D′ is some other non-trivial effective divisor supported on V with D′2 = 0, then we may choose a, b ∈ N so that aD − bD′ vanishes on some irreducible component of V . However, our hypothesis on V and Theorem 2.1 imply that 0 ≥ (aD′ − bD)2 = 2abD′ · D ≥ 0. That is, (aD − bD′ )2 = 0. If aD − bD′ were non-trivial, then the argument in the first paragraph would force supp aD − bD′ = V . By construction, this is not the case, so we conclude aD = bD′ . Furthermore by minimizing b/a, we arrive at an effective divisor D supported on V such that any other divisor D′ supported on V with D′2 = 0 is an integer multiple of D. Now let us drop the assumption that V is connected. In this case, our arguments so far yield divisors D1 , . . . , Dk satisfying the first two conclusions of the proposition. Any linear equivalence involving only divisors supported on V may be written (6) D0+ + D1+ + · · · + Dk+ = D0− + D1− + · · · + Dk− where Dj± are effective divisors with no irreducible components in common and satisfying • supp Dj± ⊂ supp Dj for j = 1, . . . , k; and • supp D0,+ ∩ supp Dj = ∅, for j = 1, . . . , k. If D0+ 6= 0, then intersecting both sides of (6) with D0+ and applying our hypothesis on V implies that 0 > D0+2 = D0+ · D0− ≥ 0. Hence D0+ = 0, and similarly D0− = 0. The same argument shows for j ≥ 1, that Dj± is a multiple of Dj . Since the divisors Dj are minimal among effective divisors with self-intersection 0, the multiples are integers. This establishes the third conclusion of the proposition. To obtain the desired upper bounds on the number of irreducible components of V , we observe that H 6= Pic (X) because X is rational and must contain curves with positive self-intersection. Hence dim H ≤ h1,1 − 1. The third conclusion of the proposition implies that there are no more than max{0, k − 1} independent equivalences among the irreducible components of V . Hence V has at most h1,1 − 1 + max{0, k − 1} irreducible components. Finally, if k ≥ 2, then Theorem 2.1 tells us that aD1 ∼ bD2 for some a, b ∈ N. Since supp D1 ∩ supp D2 = ∅, we can choose a surjective holomorphic function π : X → P1 with divisor (π) = aD1 − bD2 . By Stein Factorization [BHPV, pp. 32], we can assume that π has connected fibers. In particular, each of the other divisors Dj must have support equal to a fiber of π, and since we have chosen Dj to be minimal, we conclude for each j that some integer multiple of Dj is linearly equivalent to the generic fiber of π.  April 25, 2005 17 Theorem 5.3. Suppose that every connected component of C has genus 0. Then either • C has at most h1,1 + 1 connected components; or • there is a holomorphic map π : X → P1 , unique up to automorphisms of P1 , such that C contains exactly k ≥ 2 distinct fibers of π, and C has at most h1,1 + k − 1 irreducible components. Actually, we know of no examples of a birationally invariant curve C equal to a disjoint union of connected genus 0 curves and comprising more than h1,1 +1 irreducible components. Proof. If C supports no divisors with positive self-intersection, then the corollary follows immediately from Proposition 5.2. So we assume with no loss of generality that C supports a divisor D with positive self-intersection. We may assume that supp D is connected, since (D1 + D2 )2 = D12 + D22 for divisors with disjoint supports. Hence there is a connected component C0 ⊂ C containing supp D, and by Theorem 2.1, the intersection form is negative definite on C − C0 . Let E0 ⊂ supp D be any irreducible component. If C0 − E0 supports no divisors with positive self-intersection, then once again the theorem follows from Proposition 5.2. Otherwise, we apply the argument from the first paragraph and obtain a unique connected component C1 of C0 − E0 that supports a divisor with positive self-intersection. Moreover, by Theorem 4.1, the curve C0 is a tree of smooth rational curves, and there is a unique irreducible component E1 of C1 that meets E0 . We then (uniquely) continue this process, obtaining two finite sequences of curves Ej , Cj ⊂ C, 0 ≤ j ≤ n, subject to the following conditions. • Cj supports a divisor with positive self-intersection; • Cj+1 is a connected subtree of Cj . • Ej is the unique irreducible component of Cj that meets C − Cj . The terminal index n is the first for which the intersection form Cn − En supports no divisors with positive self-intersection. That is, the intersection form is non-positve on Cn − En . There are now two possibilities to consider. The first is that the intersection form is negative definite for divisors supported on Cn − En . Because Cn supports a divisor with positive self-intersection and Cn ∩ (C − Cn − En−1 ) = ∅, the intersection form is also negative definite for divisors supported on C − Cn − En−1 . All told, the intersection form is negative for divisors supported anywhere on C −En −En−1 , and the theorem follows from Proposition 5.2. The other possibility is that Cn − En supports divisors with zero self-intersection. In this case, the intersection form will be non-positive on Cn − En . Let H, H ′ ⊂ Pic (X) be the subspaces spanned by divisors supported on C − En and C, respectively. Then dim H < dim H ′ , because H ′ contains elements with positive self-intersection, whereas H does not. Hence the theorem follows again from the bound on dim H given in Proposition 5.2.  Theorem 5.4. If the invariant curve C contains a curve of genus 1, then the number of irreducible components of C is no larger than h1,1 + 2. Proof. By Theorem 1.1 no connected component of C has genus larger than 1; and (with our notion of genus) the genus of a sum of two disjoint curves is less than the sum of 18 April 25, 2005 their individual genera. It follows that if C contains a curve of genus 1, then that curve is connected. Contracting a −1 curve reduces h1,1 by one, while it reduces the number of connected components of C by at most one. Thus we may apply Theorem 4.2 to conclude that C = C ′ +C ′′ is a disjoint union of a connected genus one curve C ′ as in the conclusion of Corollary 4.3, and a curve C ′′ that supports only divisors with negative self-intersection. Going through the list of possibilities in Corollary 4.3, we see that removing an irreducible component E0 of C ′ leaves us with a (possibly empty) chain C0 of smooth rational curves. This allows us to employ the argument from Theorem 5.3 and find an irreducible component E1 ⊂ C0 such that the intersection form is non-positive on C0 − E1 and therefore, more generally, on C − E0 − E1 . Moreover, the only connected components of C − E0 − E1 that can support non-trivial divisors with zero self-intersection are the (at most) two components of C0 − E1 . By the first and second conclusions of Proposition 5.2, it follows that there are at most two independent divisors with zero self-intersection. Hence C − E0 − E1 contains at most h1,1 irreducible components.  References [BHPV] Wolf P. Barth, Klaus Hulek, Chris A. M. Peters, and Antonius Van de Ven. Compact complex surfaces, volume 4 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, second edition, 2004. [Bea] Alan F. Beardon. Iteration of rational functions, volume 132 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1991. Complex analytic dynamical systems. [BD1] Eric Bedford and Jeffrey Diller. Dynamics of a Two Parameter Family of Plane Birational Maps: Maximal entropy. in preparation. [BD2] Eric Bedford and Jeffrey Diller. Energy and invariant measure for birational surface maps. to appear in Duke Math. J. [BD3] Eric Bedford and Jeffrey Diller. Real and Complex Dynamics of a Family of Birational maps of the Plane: The Golden Mean Subshift. to appear in Amer. J. Math. [BCS] Jean-Yves Briend, Serge Cantat, and Mitsuhiro Shishikura. Linearity of the exceptional set for maps of Pk (C). Math. Ann. 330(2004), 39–43. [DF] J. Diller and C. Favre. Dynamics of bimeromorphic maps of surfaces. Amer. J. Math. 123(2001), 1135–1169. [Fav] Charles Favre. Points périodiques d’applications birationnelles de P2 . Ann. Inst. Fourier (Grenoble) 48(1998), 999–1023. [FS] John Erik Fornæss and Nessim Sibony. Complex dynamics in higher dimension. I. Astérisque (1994), 5, 201–231. Complex analytic methods in dynamical systems (Rio de Janeiro, 1992). [GH] Phillip Griffiths and Joseph Harris. Principles of algebraic geometry. John Wiley & Sons Inc., New York, 1994. Reprint of the 1978 original. [Jac] Daniel Jackson. Invariant curves for birational maps. PhD thesis, University of Notre Dame, 2005. [SSU] Bernard Shiffman, Mitsuo Shishikura, and Tetsuo Ueda. On totally invariant varieties of holomorphic mappings of Pn . preprint. Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556 E-mail address: diller.1@nd.edu, djackso1@nd.edu, sommese@nd.edu