arxiv: v2 [math.ds] 17 Apr 2014

Transcription

1 ACTION OF THE CREMONA GROUP ON FOLIATIONS ON P C : SOME CURIOUS FACTS by arxiv: v [math.ds] 17 Apr 014 Dominique CERVEAU & Julie DÉSERTI Abstract. The Cremona group of birational transformations of P C acts on the space F() of holomorphic foliations on the complex projective plane. Since this action is not compatible with the natural graduation of F() by the degree, its description is complicated. The fixed points of the action are essentially described by Cantat-Favre in [3]. In that paper we are interested in problems of "aberration of the degree" that is pairs (φ,f) Bir(P C ) F() for which degφ F <(degf + 1)deg φ+degφ, the generic degree of such pull-back. We introduce the notion of numerical invariance (degφ F = deg F ) and relate it in small degrees to the existence of transversal structure for the considered foliations. 010 Mathematics Subject Classification. 14E07, 37F75 1. Introduction Let us consider on the complex projective plane P C a foliation F of degree d and a birational map φ of degree k. If the pair (F,φ) is generic then degφ F =(d+ 1)k+k. For example if F and φ are both of degree, then φ F is of degree 6. Nevertheless one has the following statement which says that "aberration of the degree" is not exceptional: Theorem A. For any foliation F of degree on P C there exists a quadratic birational map ψ of P C such that degψ F 3. Holomorphic singular foliations on compact complex projective surfaces have been classified up to birational equivalence by Brunella, McQuillan and Mendes ([1]). Let F be a holomorphic singular foliation on a compact complex projective surface S. Let Bir(F) (resp. Aut(F)) denote the group of birational (resp. biholomorphic) maps of S that send leaf to leaf. If F is of general type, then Bir(F)=Aut(F) is a finite group. In [3] Cantat and Favre classify the pairs (S,F ) for which Bir(F) (resp. Aut(F)) is infinite; in the case of P C such foliations are given by closed rational 1-forms. In this article we introduce a weaker notion: the numerical invariance. We consider onp C a pair (F,φ) of a foliation F of degree d and a birational map φ of degree k. The foliation F is numerically invariant Second author supported by the Swiss National Science Foundation grant no PP00P_184 /1 and by ANR Grant "BirPol" ANR-11-JS

2 DOMINIQUE CERVEAU & JULIE DÉSERTI under the action of φ if degφ F = degf. We characterize such pairs (F,φ) with degf = deg φ=which is the first degree with deep (algebraic and dynamical) phenomena, both for foliations and birational maps. We prove that a numerically invariant foliation under the action of a generic quadratic map is special: Theorem B. Let F be a foliation of degree on P C numerically invariant under the action of a generic quadratic birational map ofp C. Then F is transversely projective. In that statement generic means outside an hypersurface in the space Bir of quadratic birational maps of P C. For any quadratic birational map φ of P C there exists at least one foliation of degree on P C numerically invariant under the action of φ and we give "normal forms" for such foliations. We don t know if the foliations numerically invariant under the action of a non-generic quadratic birational map have a special transversal structure. Problem: for any birational map φ of degree d 3, does there exist a foliation numerically invariant under the action of φ? A foliation F on P C is primitive if degf degφ F for any birational map φ. Foliations of degree 0 and 1 are defined by a rational closed 1-form (it is a well-known fact, see for example []). Hence a nonprimitive foliation of degree is also defined by a closed 1-form that is a very special case of transversely projective foliations. Generically a foliation of degree is primitive. Remark that there are foliations that are pull-back by a rational map of degree greater than 1, and that are nevertheless primitive. This is the case of the foliation given by Q 1 dq Q dq 1 where Q 1 and Q denote two generic polynomials of degree 3, in other words a generic pencil of elliptic curves. The following problem seems relevant: classify in any degree the primitive foliations numerically invariant under the action of birational maps of degree ; are such foliations transversely projective or is this situation specific to the degree? In this vein we get the following statement. Theorem C. A foliation F of degree on P C numerically invariant under the action of a generic cubic birational map of P C satisfies the following properties: F is given by a closed rational 1-form (Liouvillian integrability); F is non-primitive. Is it a general fact, i.e. if F is numerically invariant under the action of φ and degφ degf is F Liouvillian integrable? The text is organized as follows: we first give some definitions, notations and properties of birational maps of P C and foliations on P C. In 3 we give a proof of Theorem A; we focus on foliations of degree on P C that have at least two singular points, and then on foliations of degree on P C with exactly one singular point. The section 4 is devoted to the description of foliations of degree on P C numerically invariant under the action of any quadratic birational map. This allows us to prove Theorem B. At the end of the paper, 5, we describe the foliations of degree numerically invariant under some cubic birational maps of P C, and we finally establish Theorem C. Acknowledgment. We thank Alcides Lins Neto for helpful discussions, and the anonymous referee for remarks and suggestions.

3 ACTION OF THE CREMONA GROUP ON FOLIATIONS ON P C : SOME CURIOUS FACTS 3. Some definitions, notations and properties.1. About birational maps of P C. A rational map φ of P C is a "map" of the type φ: P C P C, (x : y : z) (φ 0(x,y,z) : φ 1 (x,y,z) : φ (x,y,z)) where the φ i s are homogeneous polynomials of the same degree and without common factor. The degree of φ is by definition the degree of the φ i s. A birational map φ of P C is a rational map having a rational "inverse" ψ, i.e. φ ψ = ψ φ = id. The first examples are the birational maps of degree 1 which generate the group Aut(P C )=PGL(3;C). Let us give some examples of quadratic birational maps: σ: (x : y : z) (yz : xz : xy), ρ: (x : y : z) (xy : z : yz), τ: (x : y : z) (x : xy : y xz). These three maps, which are involutions, play an important role in the description of the set of quadratic birational maps of P C. The birational maps of P C form a group denoted Bir(P C ) and called Cremona group. If φ is an element of Bir(P C ) then O(φ) is the orbit of φ under the action of Aut(P C ) Aut(P C ): O(φ)= { lφl l,l Aut(P C )}. A very old theorem, often called Nœther Theorem, says that any element of Bir(P C ) can be written, up to the action of an automorphism of P C, as a composition of quadratic birational maps ([4]). In [5, Chapters 1 & 6] the structure of the set Bir d (resp. Bir d ) of birational maps of P C of degree d (resp. of degree d) has been studied when d = and d = 3. Theorem.1 (Corollary 1.10, Theorem 1.31, [5]). One has the following decomposition Furthermore Bir = O(σ) O(ρ) O(τ). Bir = O(σ) where O(σ) denotes the ordinary closure of O(σ), and dimo(τ)=1, dimo(ρ)=13, dimo(σ)=14. Note that there is a more precise description of Bir in [5, Chapter 1]. We will further do some computations with birational maps of degree 3. Let us consider the following family of cubic birational maps: Φ a,b : (x : y : z) ( x(x + y + axy+bxz+yz) : y(x + y + axy+bxz+yz) : xyz ) with a, b C, a 4 and b {a± a 4}. The structure of Bir 3 is much more complicated than the structure of Bir (see [5, Chapter 6]), nevertheless one has the following result. Theorem. (Proposition 6.35, Theorem 6.38, [5]). The closure of X = { O(Φ a,b ) a, b C, a 4, b {a± a 4} } in the set of rational maps of degree 3 is an irreducible algebraic variety of dimension 18. Furthermore the closure of X in Bir 3 is Bir 3.

4 4 DOMINIQUE CERVEAU & JULIE DÉSERTI In the sequel we will say that a Φ a,b is a generic element of Bir 3. The "most degenerate model" (1) is up to automorphisms of P C.. About foliations. Ψ: (x : y : z) ( xz + y 3 : yz : z 3). Definition.3. Let F be a foliation (maybe singular) on a complex manifold M; the foliation F is a singular transversely projective one if there exists a) π: P M ap 1 -bundle over M, b) G a codimension one singular holomorphic foliation on P transversal to the generic fibers of π, c) ς: M P a meromorphic section generically transverse to G, such that F = ς G. Let us give an other characterization of singular transversely projective foliations. Let F be a foliation on P C ; assume that there exist three rational 1-forms θ 0, θ 1 and θ onp C such that i) F is described by θ 0, i.e. F = F θ0, ii) the θ i s form asl(;c)-triplet, that is dθ 0 = θ 0 θ 1, dθ 1 = θ 0 θ, dθ = θ 1 θ. Then F is a singular transversely projective foliation. To see it one considers the manifolds M = P C, P = P C P1 C, the canonical projection π: P M, and the foliation G given by θ=dz+θ 0 + zθ 1 + z θ where z is an affine coordinate of P 1 C ; in that case the transverse section is z=0. When one can choose the θ i s such that θ 1 = θ = 0 (resp. θ = 0) the foliation F is defined by a closed 1-form (resp. is transversely affine). Classical examples of singular transversely projective foliations are given by Riccati foliations. Definition.4. A Riccati equation is a differential equation of the following type E R : y = a(x)y + b(x)y+c(x) where a, b and c are meromorphic functions on an open subset U of C. To the equation E R one associates the meromorphic differential form ω ER = dy ( a(x)y + b(x)y+c(x) ) dx defined on U C. In fact ω ER induces a foliation F ωer on U P 1 C that is transverse to the generic fiber of the projection U P 1 C U. One can check that θ 0 = ω ER, θ 1 = (a(x)y+b(x))dx, θ = a(x)dx is asl(;c)-triplet associated to the foliation F ωer. We say that ω ER is a Riccati 1-form and F ωer is a Riccati foliation. 1. In the following sense: the exceptional locus of any element of Bir 3 is a union of degree 6 of conics and lines; the exceptional locus of Ψ is reduced to a single line of multiplicity 6.

5 ACTION OF THE CREMONA GROUP ON FOLIATIONS ON P C : SOME CURIOUS FACTS 5 Let S be a ruled surface, that is a surface S endowed with f : S C, where C denotes a curve and f 1 (c) P 1 C. Let us consider a singular foliation F on S transverse to the generic fibers of f. The foliation F is transversely projective. Recall that a foliation F on a surface S is radial at a point m of S if in local coordinates (x, y) around m the foliation F is given by a holomorphic 1-form of the following type ω=xdy ydx+ h.o.t. Let us denote by F(n;d) the set of foliations of degree d on P n C (see []). The following statement gives a criterion which asserts that an element of F(;) is transversely projective. Proposition.5. Let F F(;) be a foliation of degree on P C. If a singular point of F is radial, then F is transversely projective. Proof. Assume that the singular point is the origin 0 in the affine chart z = 1, the foliation F is thus defined by a 1-form of the following type ω=xdy ydx+q 1 dx+q dy+q 3 (xdy ydx) where the q i s denote quadratic forms. Let us consider the complex projective plane P C origin; this space is denoted by Bl(P C,0). Let blown up at the π: Bl(P C,0) P C be the canonical projection. Then π F is transverse to the generic fibers of π, and in fact transverse to all the fibers excepted the strict transforms of the lines xq 1 + yq = 0. Hence the foliation π F is transversely projective; since this notion is invariant under the action of a birational map, F is transversely projective. Remark.6. The same argument can be involved for foliations of degree onp C having a singular point with zero 1-jet. Remark.7. The closure of the set R of foliations inf(;) having a radial singular point is irreducible, of codimension inf(;). Indeed R is the Aut(P C )-orbit of the set { xdy ydx+q1 dx+q dy+q 3 (xdy ydx) qi quadratic form } ; in fact it is easy to see that R is the Aut(P C )-orbit of { λ(xdy ydx)+q1 dx+q dy+q 3 (xdy ydx) λ C, qi quadratic form }. In particular R is an unirational set in F(;). 3. Proof of Theorem A We establish Theorem A in two steps: we first look at foliations that have at least two singular points and then at foliations with exactly one singular point.

6 6 DOMINIQUE CERVEAU & JULIE DÉSERTI 3.1. Foliations of degree on P C with at least two singularities. Any F F(;) is described in homogeneous coordinates by a 1-form ω that can be written ( dy ω=q 1 yz y dz ) ( dz + q xz z z dx ) ( dx + q 3 xy x x dy ) (3.1) y where q 1 = a 0 x + a 1 y + a z + a 3 xy+a 4 xz+a 5 yz, q = b 0 x + b 1 y + b z + b 3 xy+b 4 xz+b 5 yz, q 3 = c 0 x + c 1 y + c z + c 3 xy+c 4 xz+c 5 yz. Proposition 3.1. For any F F(; ) with at least two distinct singularities there exists a quadratic birational map ψ O(ρ) such that degψ F 3. Proof. In homogeneous coordinates F is described by a 1-form ω as in (3.1). Up to an automorphism ofp C one can suppose that(1 : 0 : 0) and(0 : 1 : 0) are singular points of F, that is a 1 = b 0 = c 0 = c 1 = 0. If c 3 0, resp. c 3 = 0 and b 4 0, resp. c 3 = b 4 = 0, then let us consider the quadratic birational map ψ of O(ρ) defined as follows ( ψ: (x : y : z) xy : z + b 3 c 4 + (b 3 c 4 ) + 4b 4 c ) 3 yz : yz, c 3 resp. ( ψ: (x : y : z) xy : z + yz : b 3 c ) 4 yz, resp. ψ = ρ. A direct computation shows that ψ ω = yz ω where ω denotes a homogeneous 1-form of degree 4. The foliation F defined by ω has degree at most Foliations of degree on P C with exactly one singularity. Such foliations have been classified: Theorem 3. ([6]). Up to automorphisms ofp C there are four foliations of degree onp C having exactly one singularity. They are described in affine chart by the following 1-forms: Ω 1 = x dx+y (xdy ydx), Ω = x dx+(x+y )(xdy ydx), Ω 3 = xydx+(x + y )(xdy ydx), Ω 4 =(x+y x y)dy+x(x+y )dx. Proposition 3.3. There exists a quadratic birational map ψ 1 O(ρ) such that degψ 1 F Ω 1 = ; furthermore F Ω1 has a rational first integral and is non-primitive. For k =, 3, there is no birational map ϕ k such that degϕ k F Ω k = 0 but there is ψ k in O(τ) such that degψ k F Ω k = 1. In particular F Ω and F Ω3 are non-primitive. There is a quadratic birational map ψ 4 O(τ) such that degψ 4 F Ω 4 = 3, and F Ω4 is primitive. Remark 3.4. If φ=(x : xy : xz+y ), then degφ F Ω = degφ F Ω3 =. A contrario we will see later there is no quadratic birational map φ such that deg φ F Ω4 = (see Corollary 4.15). Corollary 3.5. For any element F of F(; ) with exactly one singularity there exists a quadratic birational map ψ such that degψ F 3. b 4

7 ACTION OF THE CREMONA GROUP ON FOLIATIONS ON P C : SOME CURIOUS FACTS 7 Proof of Proposition 3.3. The foliation F Ω1 is given in homogeneous coordinates by if ψ 1 : (x : y : z) (x : xy : yz) then Ω 1 =(x z y 3 )dx+xy dy x 3 dz; ψ 1Ω 1 ( y(xz y )dx+x(y xz)dy x ydz ) = 0. The foliation F Ω1 has a rational first integral and is non-primitive, it is the image of a foliation of degree 0 by a cubic birational map: (x 3 : x y : x z+y 3 /3) Ω 1 ( zdx xdz ) = 0. The foliation F Ω is described in homogeneous coordinates by Ω =(x z xyz y 3 )dx+x(xz+y )dy x 3 dz; let us consider the birational map ψ : (x : y : z) (x : xy : xz x xy y ) then One can verify that ψ Ω ( (xz yz)dx+xzdy x dz ) = 0. (+ ) 1x ( y + yx + x exp y ) x is a first integral of F Ω ; it is easy to see that F Ω has no rational first integral so there is no birational map ϕ such that degϕ F Ω = 0. The foliation F Ω3 is given in homogeneous coordinates by the 1-form if ψ 3 : (x : y : z) (x : xy : xz+y /) then The function is a first integral of F Ω3, and F Ω3 degϕ 3 F Ω 3 = 0. Let us consider the birational map ofp C given by In homogeneous coordinates Ω 3 = y(xz x y )dx+x(x + y )dy x ydz; ψ 3Ω 3 ( y(z x)dx+x dy xydz ) = 0. ( ( y 1 y exp x) x 1 ) x has no rational first integral so there is no birational map ϕ 3 such that ψ 4 : (x : y : z) ( x : xy : y xz) Ω 4 = x(xz+y )dx+(xz + y z x y)dy+(xyz y 3 x 3 )dz; a direct computation shows that ψ 4 Ω 4 η=0 where η=(3y 3 z x y + x 3 z xyz )dx+(x 3 y 4y 4 x z + 3xy z)dy +x(y 3 x 3 xyz)dz. The foliation F Ω4 has no invariant algebraic curve so F Ω4 is not transversely projective ([6, Proposition 1.3]). In fact a foliation of degree without invariant algebraic curve is primitive (see Introduction); as a consequence F Ω4 is a primitive foliation.

8 8 DOMINIQUE CERVEAU & JULIE DÉSERTI 4. Numerical invariance In the sequel num. inv. means numerically invariant. In this section we determine the foliations F of F(;) num. inv. under the action of σ (resp. ρ, resp. τ). Note that if φ is a birational map of P C and l an element of Aut(P C ) then deg(φl) F = degφ F ; hence following Theorem.1 we get the description of foliations num. inv. under the action of a quadratic birational map of P C by giving normal forms. Recall that σ is given in a fixed system of homogeneous coordinates (x : y : z) by σ: (x : y : z) (yz : xz : xy), and remark that σ is invariant under conjugacy by elements of the group S 3 of standard permutations of coordinates. Lemma 4.1. An element F of F(;) is num. inv. under the action of σ if and only if it is given up to permutations of coordinates and standard affine charts by 1-forms of the following type either ω 1 = y ( κ+εy ) dx+ ( βx+δy+αx + γxy ) dy, or ω = ( δ+βy+κy ) dx+ ( α+εx+γx ) dy, where α, β, γ, δ, ε, κ(resp. α, β, γ, δ, ε, κ) are complex numbers such that degf ω1 = (resp. degf ω = ). Proof. The foliation F is defined by a homogeneous 1-form ω of degree 3. The map σ is an automorphism ofp C {xyz= 0}; hence if σ ω=pω, with ω a 1-form of degree 3 and P a homogeneous polynomial, then P=x i y j z k for some integers i, j, k such that i+ j+ k = 4. Up to permutation of coordinates it is sufficient to look at the four following cases: P = x 4, P = x 3 y, P = x y and P = x yz. Let us write ω as in (3.1). Computations show that x 4 (resp. x 3 y) cannot divide σ ω. If P=x yz, then σ ω=pω if and only if c 0 = b 0 = a = b = a 1 = c 1 = b 4 = c 3 = 0, b 3 = c 4 that gives ω 1. Finally one has σ ω=x y ω if and only if in that case we obtain ω. c 1 = c 0 = b 0 = a 1 = b 4 = c 3 = a 5 = 0, b 3 = c 4, c 5 = a 3 ; Proposition 4.. A foliation F F(;) num. inv. under the action of an element of O(σ) is Aut(P C )- conjugate either to a foliation of type F ω1, or to a foliation of type F ω. In particular it is transversely projective. Proof. Let φ be an element of O(σ) such that degφ F = ; the map φ can be written l 1 σl where l 1 and l denote automorphisms of P C. By assumption the degree of (l 1σl ) F = l (σ (l 1F)) is. Hence degσ (l 1 F)= and the foliationl 1 F is num. inv. under the action of σ. Sincel 1F and F are conjugate and since the notion of transversal projectivity is invariant by conjugacy it is sufficient to establish the statement for φ = σ. The proposition thus follows from the fact that 1-forms of Lemma 4.1 are Riccati ones (up to multiplication). Remark 4.3. For generic values of parameters α, β, γ, δ, ε, κ a foliation of type F ω1 given by the corresponding form ω 1 is not given by a closed meromorphic 1-form. This can be seen by studying the holonomy group of F ω1 that can be identified with a subgroup of PGL(;C) generated by two elements f and g. For generic values of the parameters f and g are also generic, in particular the group f, g is free. When F ω1 is given by a closed 1-form, then the holonomy group is an abelian one. Remark that a contrario the foliations given by 1-forms of type ω are given by a closed meromorphic 1-form.

9 ACTION OF THE CREMONA GROUP ON FOLIATIONS ON P C : SOME CURIOUS FACTS 9 Remark 4.4. Let i denote the closure of the set of elements off(;) conjugate to a foliation of type F ωi. In the affine chart x=1 an element of type F ω1 is radial at (0,0) as soon as α 0. Since R is closed, the inclusion 1 R holds. If the components of ω are not constant, then an element of type F ω has a singular point inc, and up to an ad-hoc translation F ω is an element of type F ω1. As 1 is closed, one has 1. Remark 4.5. The notion of num. inv. is not related to the dynamic of the map (see [3] for example): the foliations num. inv. by the involution σ ("without dynamic") are conjugate to the foliations num. inv. by Aσ, A Aut(P C ), which has a rich dynamic for generic A. The foliations of F(;) invariant by σ are particular cases of num. inv. foliations: Proposition 4.6. An element of F(;) invariant by σ is given up to permutations of coordinates and affine charts either by y(1+y)dx+(βx+αy+αx + βxy)dy, or by y(1 y)dx+(βx αy+αx βxy)dy, or by ydx+(α+εx+αx )dy, where the parameters are complex numbers such that the degree of the associated foliations is. Proof. With the notations of Lemma 4.1 one has σ ω 1 = y(ε+κy)dx (γx+αy+δx + βxy)dy; thus σ ω 1 ω 1 = 0 if and only if either γ=β, δ=α, ε=κ, or γ= β, δ= α, ε= κ. One has σ ω = (κ+βy+δy )dx (γ+εx+αx )dy, and ω σ ω = 0 if and only if γ=α, δ=0 and κ=0. Remark 4.7. The foliations associated to the two first 1-forms with parameters α, β of Proposition 4.6 are conjugate by the automorphism (x, y) (x, y). Lemma 4.8. A foliation F F(;) is num. inv. under the action of ρ if and only if F is given in affine chart either by ω 3 = y ( κ+εy+λy ) dx+ ( β+κx+δy+γxy+αy λxy ) dy, or by ω 4 = y ( µ+ δx+γy+εxy ) dx+ ( α+βx+λy+δx + κxy εx y ) dy, or by ω 5 = ( λ+γy+κxy+εy ) dx+ ( β+δx+αx ) dy, where the parameters of ω i are such that degf ωi =. Proof. Let us take the notations of the proof of Lemma 4.1. The map ρ is an automorphism of P C {yz = 0}; therefore if ρ ω = Pω with ω a 1-form of degree 3 and P a homogeneous polynomial then P = y j z k for some integers j, k such that j+k = 4. We have to look at the five following cases: P = z 4, P=yz 3, P=y z, P=y 3 z and P=y 4. Computations show that y 4 (resp. y 3 z) cannot divide ρ ω. If P=z 4 then ρ ω=pω if and only if c 0 = b 0 = c 3 = b 4 = b = 0, a 0 = c 4, b 3 = c 4, a 4 = c b 5 ; this gives the first case ω 3. The equality ρ ω=yz 3 ω holds if and only if b 0 = c 0 = b 4 = c 1 = a 1 = b = 0, a 0 = c 4 b 3 and we obtain ω 4. Finally one has ρ ω=y z ω if and only if c 1 = b 0 = c 3 = a 5 = a 1 = c 0 = b 4 = 0, c 5 = a 3

10 10 DOMINIQUE CERVEAU & JULIE DÉSERTI which corresponds to ω 5. Proposition 4.9. The foliations of type F ω3 and F ω5 are transversely projective. In fact the F ω3 are transversely affine, and the F ω5 are Riccati ones. Proof. A foliation of type F ω3 is described by the 1-form ( β+δy+αy ) + ( κ+γy λy ) x θ 0 = dx y ( κ+εy+λy ) dy and it is transversely affine; to see it consider the sl(;c)-triplet θ 0, A foliation of type F ω5 is given by θ 1 = κ+γy λy y(κ+εy+λy ) dy, θ = 0. dy+ λ+(γ+κ)y+εy β+δx+αx and thus is a Riccati foliation. In fact the fibration x/z = constant is transverse to F ω5 that generically has three invariant lines. We don t know if the F ω4 are transversely projective. For generic values of the parameters a foliation of type F ω4 hasn t meromorphic uniform first integral in the affine chart y=1. Thus if F ω4 is transversely projective then it must have an invariant algebraic curve different from y=0 (see [7]). We don t know if it is the case. A foliation of degree is conjugate to a generic F ω4 (by an automorphism of P C ) if and only if it has an invariant line (say y=0) with a singular point (say 0) and local model xdy ydx. The closure of the set of such foliations has codimension. Note that the three families F ω3, F ω4 and F ω5 have non trivial intersection. The set {F ω4 } contains many interesting elements such that the famous Euler foliation given by y dx+(y x)dy; this foliation is transversely affine but is not given by a closed rational 1-form. Proposition A foliation F F(;) num. inv. under the action of an element of O(ρ) is conjugate to a foliation either of type F ω3, or of type F ω4, or of type F ω5. Let us look at special num. inv. foliations, those invariant by ρ. Proposition An element of F(;) invariant by ρ is given by a 1-form of one of the following type y(1 y)dx+(β+x)dy, y dx+( 1+y)dy, y(1 y)(γ+δx)dx+(1+y)(α+βx+δx )dy, y(1+y)(γ+δx)dx+(1 y)(α+βx+δx )dy, (1 y )dx+(β+δx+αx )dy, where the parameters are complex numbers such that the degree of the associated foliations is. Corollary 4.1. An element of F(;) invariant by ρ is defined by a closed 1-form. Remark The third and fourth cases with parameters α, β, γ, δ are conjugate by the automorphism (x,y) (x, y). From Lemmas 4.1 and 4.8 one gets the following statement. dx

11 ACTION OF THE CREMONA GROUP ON FOLIATIONS ON P C : SOME CURIOUS FACTS 11 Proposition A foliation num. inv. by an element of O(φ), with φ = σ, ρ, preserves an algebraic curve. Corollary There is no quadratic birational map φ of the complex projective plane such that degφ F Ω4 =. Proof. The foliation F Ω4 has no invariant algebraic curve ([6, Proposition 1.3]); according to Proposition 4.14 it is thus sufficient to show that there is no birational map φ O(τ) such that degφ F Ω4 = that can be established with a direct and tedious computation. Remark The map ρ can be written l 1 σl σl 3 with l 1 =(z y : y x : y), l =(y+z : z : x), l 3 =(x+z : y z : z). We are interested by the "intermediate" degrees of a numerically invariant foliation F, that is the sequence degf, deg(l 1 σ) F, deg(l 1 σl σl 3 ) F = degf. A tedious computation shows that for generic values of the parameters the sequence is, 5,. We schematize this fact by the diagram 5 A similar argument to Lemma 4.1 yields to the following result. Lemma An element F off(;) is num. inv. under the action of τ if and only if F is given in affine chart by a 1-form of type ω 6 = ( δx+αy εx + θxy+βy + κx y+µxy + λy 3) dx where the parameters are such that degf ω6 =. + ( 3αx+ξx + (δ β)xy+αy κx 3 µx y λxy ) dy We don t know the qualitative description of foliations of type F ω6. For example we don t know if the F ω6 are transversely projective. If it is the case, this implies the existence of invariant algebraic curves, and that fact is unknown. Proposition A foliation F F(;) num. inv. under the action of an element of O(τ) is conjugate to F ω6 for suitable values of the parameters. Let us describe some special num. inv. foliations under the action of τ, those invariant by τ. Proposition An element of F(;) invariant by τ is given either by ( εx + θxy+βy + εxy ( ξ + θ)y3) dx+x ( ξx βy εxy+( ξ + θ)y) dy, or by ( 3 δx+αy+ δy + κx y+µxy + λy 3) dx ( 3αx+δxy αy + κx 3 + µx y+λxy ) dy, where the parameters are complex numbers such that the degree of the associated foliations is. The foliations associated to the first 1-form are transversely affine.

12 1 DOMINIQUE CERVEAU & JULIE DÉSERTI Proof. The 1-jet at the origin of the 1-form ω= ( εx + θxy+βy + εxy ( ξ + θ)y3) dx+x ( ξx βy εxy+( ξ + θ)y) dy is zero so after one blow-up F ω is transverse to the generic fiber of the Hopf fibration; furthermore as the exceptional divisor is invariant, F ω is transversely affine. Remark 4.0. The map τ can be written l 1 σl σl 3 σl σl 4 with l 1 =(x y : x y : x+y z), l 3 =( y : x 3y+z : x), l =(x+z : x : y), l 4 =(y x : z x : x y). Let us consider a foliation F num. inv. under the action of τ; set F =l 1F. We compute the intermediate degrees: To summarize: degσ F = 5, deg(σl σ) F = 4, deg(σl 3 σl σ) F = Higher degree We will now focus on similar questions but with cubic birational maps of P C and elements of F(;). The generic model of such birational maps is: Φ a,b : (x : y : z) ( x(x + y + axy+bxz+yz) : y(x + y + axy+bxz+yz) : xyz ) with a, b C, a 4 and b {a± a 4}. Lemma 5.1. An element F of F(;) is num. inv. under the action of Φ a,b if and only if F is given in affine chart either by ω 7 = y(α+γy)dx x(α+κx)dy, or by ω 8 = b ( b ab+1+(a b)y+y ) dx+ ( (b ab+1)+(ab )x+x ) dy, where the parameters are such that degf ω7 = degf ω8 =. Remark 5.. Remark that the foliations F ω7 do not depend on the parameters of Φ a,b, that is, the F ω7 are num. inv. by all Φ a,b, whereas the F ω8 only depend on a and b. Furthermore F ω7 is num. inv. by σ and ρ. Proposition 5.3. Any F F(;) num. inv. under the action of Φ a,b, and more generally any F F(;) num. inv. under the action of a generic cubic birational map of P C, satisfies the following properties: F is given by a rational closed 1-form; F is non-primitive.

13 and for F and F ω8 ACTION OF THE CREMONA GROUP ON FOLIATIONS ON P C : SOME CURIOUS FACTS 13 Proof. Let us establish the properties for F ω7 ; remark that F ω7 is given by dx x(α+κx) dy y(α+γy) which is a closed rational 1-form (remark that ( α + κ )( α + γ ) 0 since degf ω7 = ). The foliation F ω7 is non-primitive: indeed one has σ ω 7 = 1 ( ) x y (αx+κ)dx (αy+γ)dy that defines a foliation of degree 0. The idea and result are the same for the foliations F ω8 (except that it gives a birational map φ such that degφ F ω8 = 1). Let us consider an element F off(;) num. inv. under the action of a birational map of degree 3; is F defined by a closed 1-form? Remark 5.4. The foliations F ω7 are contained in the orbit of the foliation F η. Remark 5.5. Any map Φ a,b can be written l 1 σl σl 3 with l =(a 0 y+a 1 z : a y+a 3 z : a 4 x+a 5 y+a 6 z) (see [5, proof of Proposition 6.36]). Let us consider the birational map ξ=σl σ with l =(a 0 y+a 1 z : a y+a 3 z : a 4 x+a 5 y+a 6 z) Aut(P C). As in Lemma 5.1 there are two families of foliations F 1, F of degree, one that does not depend on the parameters of ξ and the other one depending only on the parameters of ξ, such that ξ F 1 and ξ F are of degree. One question is the following: what is the intermediate degree? A computation shows that for generic parameters degσ F 1 = 4 and that degσ F =. This implies in particular that F ω8 is num. inv. under the action of σ. For F 1 and F ω7 one has 4 Let us now consider the "most degenerate" cubic birational map Ψ: (x : y : z) ( xz + y 3 : yz : z 3). Lemma 5.6. An element F of F(;) is num. inv. under the action of Ψ if and only if F is given in affine chart by ω 9 = ( α+βy+γy ) dx+ ( ε 3βx+κy 3γxy+λy ) dy where the parameters are such that degf ω9 =. In particular F is transversely affine.

14 14 DOMINIQUE CERVEAU & JULIE DÉSERTI Remark 5.7. The map ψ can be written l 1 σl σl 3 σl 4 σl 5 σl 4 σl 6 σl σl 7 with l 1 =(z y : y : y x), l =(y+z : z : x), l 3 =( z : y : x y), l 4 =(x+z : x : y), l 5 =( y : x 3y+z : x), l 6 =( x : y z : x+y), l 7 =(x+y : z y : y). As previously we consider the problem of the intermediate degrees; if F = l 1F, a computation shows that for generic parameters degσ F = 4, deg(σl σ) F = 3, deg(σl σl 3 σ) F = 5, deg(σl σl 3 σl 4 σ) F = 3, deg(σl σl 3 σl 4 σl 5 σ) F = 5, that is deg(σl σl 3 σl 4 σl 5 σl 4 σ) F = 3, deg(σl σl 3 σl 4 σl 5 σl 4 σl 6 σ) F = 4, We have not studied the quadratic foliations numerically invariant by (any) cubic birational transformation. It is reasonable to think that such foliations are transversely projective. References [1] M. Brunella. Birational geometry of foliations. Monografías de Matemática. Instituto de Matemática Pura e Aplicada (IMPA), Rio de Janeiro, 000. Available electronically at [] F. Cano, D. Cerveau, and J. Déserti. Théorie élémentaire des feuilletages holomorphes singuliers. Echelles. Belin, 013. [3] S. Cantat and C. Favre. Symétries birationnelles des surfaces feuilletées. J. Reine Angew. Math., 561:199 35, 003. [4] G. Castelnuovo. Le trasformationi generatrici del gruppo cremoniano nel piano. Atti della R. Accad. delle Scienze di Torino, 36: , [5] D. Cerveau and J. Déserti. Transformations birationnelles de petits degré, volume 19 of Cours Spécialisés. Société Mathématique de France, Paris, to appear. [6] D. Cerveau, J. Déserti, D. Garba Belko, and R. Meziani. Géométrie classique de certains feuilletages de degré deux. Bull. Braz. Math. Soc. (N.S.), 41(): , 010. [7] D. Cerveau, A. Lins-Neto, F. Loray, J. V. Pereira, and F. Touzet. Complex codimension one singular foliations and Godbillon-Vey sequences. Mosc. Math. J., 7(1):1 54, 166, 007.

15 ACTION OF THE CREMONA GROUP ON FOLIATIONS ON P C : SOME CURIOUS FACTS 15 DOMINIQUE CERVEAU, Membre de l Institut Universitaire de France. IRMAR, UMR 665 du CNRS, Université de Rennes 1, 3504 Rennes, France. dominique.cerveau@univ-rennes1.fr JULIE DÉSERTI, IMJ-PRG, UMR 7586, Université Paris 7, Bâtiment Sophie Germain, Case 701, 7505 Paris Cedex 13, France. julie.deserti@imj-prg.fr