IntroductionThe birational geometry of algebraic varieties is governed by the group of birational self-maps. It is in general very difficult to determine this group for an arbitrary variety and as a matter of facts only few examples are completely understood. The special case of the projective plane attracted lots of attention since the XIX th -century. The pioneering work of Cremona and then the classical geometers of the Italian and German school were able to give partial descriptions of it but it was only after Noether and Castelnuovo that generators of the group were described. The Noether-Castelnuovo Theorem, see for instance [1], states that the group of birational self-maps of P 2 , usually called the plane Cremona group and denoted by Cr (2), is generated by linear automorphisms of P 2 and a single birational non biregular map, the so-called elementary quadratic transformation σ : P 2 P 2 defined by σ([x : y : z]) = [yz : xz : xy]. Even if the generators of Cr(2) have been known for a century now, many other properties of this group are still mysterious. Only after decades, see [26], a complete set of relations has been described, and more recently the non simplicity of Cr(2) has been showed, [9], and a good understanding of its finite subgroups has been achieved, see [17] and [5]. This brief and fairly incomplete list is only meant to stress the difficulties and the large unknown parts in the study of Cr(2), for a more complete picture the interested reader should refer to [15] and [14]. Amid all its subgroups the one associated to polynomial automorphisms of the plane, Aut(C 2 ), attracted even more attention than Cr(2) itself, [3]. The generators of Aut(C 2 ) are known since 1942, [29], and later on, [32], has been proved that Aut(C 2 ) is the amalgamated product of two of its subgroups, more precisely of the affine and elementary ones. Nevertheless this group is not less mysterious and challenging than the entire Cremona group. Jung's description yields a natural decompositioninto sets of polynomial automorphisms of multidegree (d 1 , · · · , d m ) and the affine subgroup A. In [22], Friedland and Milnor proved that G[d 1 , · · · , d m ] is a smooth analytic manifold of dimension (d 1 +d 2 +· · · d m +6). Later on, Furter, [23], computed the number of irreducible components of polynomial automorphisms of C 2 with fixed degree less or equal to 9 and proved that the variety of polynomial automorphisms of the plane with degree bounded by the positive integer n, is reducible when n 4. Later on Edo and Furter,[18], studied some degenerations of the multidegrees: for example they were able to show that G[3] ∩ G[2, 2] = ∅ using the lower semicontinuity of the length of a plane polynomial automorphism as a word of the amalgamated product, [24]. Contrarily to what happens in the Cremona group Cr(2), see [6], the group of polynomial automorphisms G of the plane can be endowed with a structure of an infinite-dimensional algebraic group. Denoted by G d the set of polynomial automorphisms of fixed degree d, Furte...