arXiv:2002.11081v2 [math.DS] 23 Mar 2020 vr iglpoe n14 htlnaiaiiyocr when occurs linearisability that 1940 in proved Siegel ever, hryyasltrBjn xeddSee’ eutsoigta the that showing result Siegel’s dition extended Brjuno later years Thirty number rotation irrational sasffiin odto o iersblt.I 95 oczpoe tha proved Yoccoz some for 1995, hold In not linearisability. does for condition juno condition sufficient a is ojgt oteirtoa rotation irrational the to conjugate igldmi steuiu ao opnn ftemp hs auto number These irrational map. an by the rotation of a component Fatou to tangent unique are the disc is unit domain Euclidean Siegel the with line complex the iersbe[Yoc95]. linearisable iet igldmi,ie ao opnn of component Fatou a i.e. domain, Siegel a to rise qiaet hs usin eanwdl pnadvr e xlcte explicit few very and Bed18]. open [FsS92, widely known remain questions These equivalent. aiirRihrtdmi,sc steEcienbl rtepoly-disc. the in equiv or domains holomorphically Siegel ball distinct be Euclidean two to the generically, rather that, domain as likely a such Siegel is domain, a This Reinhardt expect domains. familiar not Reinhardt does of that one is where them for models morphic w exist. domains actually Siegel do (unpublishe that boundaries proved Perez-Marco [ABC04] but, Avila-Buff-Cheritat PZ04] and [PM97]) [McM98, irregular very usually oczstermi ieso n,adi eae otersnnein resonance the c to strong related in is is and This one, map dimension condition. in arithmetic theorem Brjuno’s Yoccoz’s the satisfy not does easbeuneo ( of subsequence a be fbuddsqecsin sequences bounded of n let and AUAYSRE,RSNNE,ADAUTOMORPHISMS AND RESONANCES, SERIES, LACUNARY ssonb rmri 97 ooopi germ holomorphic a 1927, in Cremer by shown As When 2010 ee eehbteape fseratmrhssof automorphisms shear of examples exhibit we Here, igldmisas xs nhge ieso n h aoia ls of class canonical the and dimension higher in exist also domains Siegel suethat Assume R P θ ahmtc ujc Classification. Subject . one n eua igldomain. Siegel regular and bounded Abstract. n f q sartoa ucino nie n uhlnaial xdpitgives point fixed linearisable such any entire, or function rational a is n − 1 OF log θ RN¸OSBREOTADDVU CHERAGHI DAVOUD AND FRANC¸ BERTELOOT OIS ∈ q ecntuttasedna uoopisof automorphims transcendental construct We A C n ϕ R +1 2 µ,q µ,q q \ n IHARUDSEE DOMAIN SIEGEL ROUND A WITH Q ′ < ′ ) ,u ,u n C ihbs ainlapoiat ( approximants rational best with ( ≥ ( + ,z w, osdrtefra oe series power formal the Consider . z θ 0 ∞ := ) sntawy iersbea h rgn[r3] How- [Cre38]. origin the at linearisable always not is , , µ =( := ) ntebs ainlapoiat ( approximants rational best the on ∈ 1. ze R 2 introduction πiµ e \ 2 z πiµ Q θ rmr 25 eodr 20,37F50. 32M05, Secondary ; 32H50 Primary n X hnteqartcmap quadratic the then , and , 7→ ∞ =0 1 w u + e 2 q n πiθ ′ ϕ C u (1 µ,q × ( = z − onaiso igldssare discs Siegel of Boundaries . ′ saSee oan ned the Indeed, domain. Siegel a is ∆ ,u f u R e ( f 2 n nwhich on z θ πiq ( ) C ) z n =( := e , = ) k C ≥ n ′ ≥ 2 µ 0 2 πiµ 2 ) θ e o hc h rdc of product the which for eogto belong p z C e r o bi-holomorphic not are 2 n q sDohnie[Sie42]. Diophantine is 2 2 πiθ z n ′ /q πiθ ) f aiga un- an having , . n ,e w, z sholomorphically is ) e + n 2 ≥ rtmtccon- arithmetic a 2 πiθ p 0 πiθ 2 n l manuscript d e ( Let . z ∞ /q nrs with ontrast z ape are xamples 2 h tangent the z fteBr- the if t morphisms t smooth ith h space the , + + n ,where ), ag class large ln oa to alent ) ti very is It · · · z n 2 ≥ biholo- q 0 n with , ′ snot is ) of n ≥ θ θ 0 2 FRANC¸OIS BERTELOOT AND DAVOUD CHERAGHI

Theorem 1.1. Assume that θ is an irrational number with best rational approxi- −1 mants (pn/qn)n≥0 satisfying limn→∞ qn log qn+1 = . Let S be a countable dense ∞ ′ subset of C z > 1 . Then, there exist a subsequence q of (qn)n≥0 and a dense × {| |∞ } Gδ-subset E2 l such that for any u E2, Aµ,q′ ,u(w,z) is an automorphism of C2 satisfying the⊂ following properties: ∈ i) A ′ is analytically conjugate to the rotation R on C ∆; θ,q ,u θ × ii) the orbit of any (w,z) C z > 1 by Aθ,q′,u is unbounded and recurrent; ∈ ×{| | ◦N} iii) the sequence of derivatives ( DA ′ (w,z) ) is unbounded, for any k θ,q ,u k N≥0 (w,z) S. ∈ 2. Proofs Let θ be an irrational real number, with continued fraction expansion 1 θ = a0 + , 1 a1 + 1 a2 + a3 + ... with integers ai 1, for all i 1, and a0 Z. The best rational approximants of θ are defined as the≥ sequence of≥ rational numbers∈

pn 1 = a0 + , n 0. qn 1 ≥ a1 + .. 1 a2 + . + an We shall assume that p and q are relatively prime, and q 0, for all n 0. It is n n n ≥ ≥ known that the sequence of integers pn and qn, for n 0, may be defined according to the following recursive relations ≥

p−2 = q−1 =0, p−1 = q−2 =1,

qn+1 = an+1qn + qn−1, pn+1 = an+1pn + pn−1. The sequence (q ) has exponential growth. For instance, since a 1, the n n≥0 i ≥ sequence qn grows at least as fast as the Fibonacci sequence. Indeed, by an inductive argument, one may see that (1) q 2(n−1)/2, n 0. n ≥ ∀ ≥ Moreover, one has the following estimate on the size of approximation p 1 (2) θ n , n 0. − q ≤ q q ∀ ≥ n n n+1

One may consult [Khi64] or [Sch80] for basic properties of continued fractions. Given z C and r> 0, we define 0 ∈ ∆(z , r) := z C : z z < r , ∆ := ∆(0, 1). 0 { ∈ | − 0| } ∞ Let us consider the (complex) Banach space (l , ∞), where (un)n≥0 ∞ is defined as sup u . We assume u C, for n 0.k k k k n≥0 | n| n ∈ ≥ Proposition 2.1. Let θ be an irrational number with best rational approximants ′ ′ (pn/qn)n≥0. For every subsequence q := (qn)n≥0 of (qn)n≥0, the following hold: (i) the Taylor series ∞ ′ q hq′ (z) := z z n nX=0 is holomorphic on ∆, but does not have holomorphic extension across any z ∂∆; ∈ AUTOMORPHISMS OF C2 WITHAROUNDSIEGELDOMAIN 3

(ii) for any u = (u ) l∞ the Taylor series n n≥0 ∈ ∞ ′ ′ ′ qn hq ,u(z) := z uqn z nX=0 is holomorphic on ∆; ∞ ′ (iii) there exists a dense Gδ subset E1 of l (which only depends on q ) such that for every u E1, hq′,u(z) does not have holomorphic extension across any z ∂∆. ∈ ∈ The series in the above proposition are special cases of Lacunary series, studied first by Weierstrass; see [Kah64] or [EM54].

Proof. By Equation (1), the series hq′,u satisfies Hadamard’s lacunarity condition ′ ′ [Had92], that is, lim infn≥0(qn+1/qn) > 1. This implies that, if the radius of con- vergence of the series hq′,u(z) about 0 is equal to some r> 0 then hq′,u(z) does not extend holomorphically across any z in ∂∆(0, r). Evidently, the radius of convergence of hq′ is equal to +1. The radius of conver- gence of hq′,u(z) is at least +1. Below we show that the radius of convergence is indeed equal to +1 for many series of the form hq′,u(z). For k 1, consider the set ≥ N k ∞ N ′ E := (un)n≥0 l : N , uqn > k .  ∈ ∃ ∈ n=0  X For every k N, Ek is open and dense in l∞. By Baire’s theorem, E = NEk ∈ 1 ∩k∈ is a dense subset of l∞. For every u E , the series u ′ is divergent.  ∈ 1 n≥0 qn P Let hq′,u : ∆ C be a map as in Proposition 2.1, with u E1. We may consider the shear map → ∈ ′ Shq′,u (w,z) = (w + hq ,u(z),z). −1 This is an automorphism of C ∆, with inverse S = S−h ′ . For µ R, let us × hq′,u q ,u ∈ consider the two dimensional rotation R : C2 C2, µ → 2πiµ 2πiµ Rµ(w,z) = (e w,e z). We define the automorphism A ′ : C ∆ C ∆ as µ,q ,u × → × −1 (3) Aµ,q′ ,u = S Rµ Sh ′ = S−h ′ Rµ Sh ′ . hq′,u ◦ ◦ q ,u q ,u ◦ ◦ q ,u We note that

A ′ (w,z)= S ′ R S ′ (w,z) µ,q ,u −hq ,u ◦ µ ◦ hq ,u = S ′ R (w + h ′ (z),z) −hq ,u ◦ µ q ,u 2πiµ 2πiµ ′ 2πiµ = S−hq′,u (e w + e hq ,u(z),e z) 2πiµ 2πiµ 2πiµ 2πiµ = e w + e h ′ (z) h ′ (e z),e z . q ,u − q ,u Let us define the map ϕ ′ : ∆ C as  µ,q ,u → 2πiµ 2πiµ ϕ ′ (z)= e h ′ (z) h ′ (e z), µ,q ,u q ,u − q ,u so that 2πiµ 2πiµ Aµ,q′,u(w,z) = (e w + ϕµ,q′ ,u(z),e z). By Equation (3), for all N N, ∈ ◦N ′ 2πiNµ ′ 2πiNµ (4) Aµ,q′,u(w,z)= ANµ,q ,u(w,z) = (e w + ϕNµ,q ,u(z),e z). When the sequence u l∞ is the constant sequence u = 1 we shall simply denote ∈ n the above maps by Aµ,q′ and ϕµ,q′ , that is, 2πiµ 2πiµ ϕ ′ (z)= e h ′ (z) h ′ (e z), µ,q q − q 4 FRANC¸OIS BERTELOOT AND DAVOUD CHERAGHI and 2πiµ 2πiµ Aµ,q′ (w,z) = (e w + ϕµ,q′ (z),e z). Evidently, ∞ ′ ′ 2πiµ 2πiq µ q ϕ ′ (z)= ze u ′ (1 e n )z n . µ,q ,u qn − nX=0 A priori, the above series is only defined and holomorphic on the unit disk ∆. However, when µ = θ and for special choices of θ, the function ϕθ,q′,u becomes entire. This phenomenon is crucial in our study.

Proposition 2.2. Assume that the best rational approximants (pn/qn)n≥0 of θ −1 ′ ∈ R Q satisfy qn log qn+1 , as n . Then, for any subsequence q of (qn)n≥0 \ ∞ → ∞ → ∞ and any u l , the Taylor series of ϕθ,q′,u defines an entire holomorphic map on C. ∈ 2 In particular, Aθ,q′,u is an automorphism of C .

By choosing an large enough, one may identify values of θ such that qn grows ar- −1 bitrarily fast. In particular, there are irrational numbers θ for which qn log qn+1 + as n + . → ∞ → ∞ Proof. By the estimate in Equation (2), we have q θ p 1/q . On the other | n − n|≤ n+1 hand, for any β [ 1/2, 1/2], 1 e2πiβ 2π β . In particular, 1 e2πiqnθ ∈ − | − | ≤ | | | − | ≤ 2π/qn+1. By the hypothesis of the proposition on the growth of qn, we conclude that the radius of convergence of the Taylor series for ϕ is . The Taylor θ,q,u ∞ series of ϕθ,q′,u is a subseries of the Taylor series of ϕθ,q,u, and hence, its radius of convergence is also .  ∞ We shall also need to identify some µ R for which the convergence radius of ∈ the Taylor series of ϕµ,q′,u is precisely equal to 1.

Lemma 2.3. Let θ R Q with best rational approximants (pn/qn)n≥0 and let ′ ′ ∈ \ q := (qn)n≥0 be a subsequence of (qn)n≥0. There exist µ R and a dense Gδ-subset E of l∞ such that for any u E , the convergence radii∈ of the Taylor series of 1 ∈ 1 ϕµ,q′,u and ϕµ,q′ are equal to 1.

′′ ′ ′′ Proof. Let (qn)n≥0 be a subsequence of q such that for all n 0 we have qn+1 ′′ ≥ ≥ 4qn. We may inductively choose a nest of closed connected intervals In on [0, 1], for n 0, such that each interval I has length 1/q′′ and each set q′′I is contained ≥ n n n n+1 in [1/4, 3/4]+ Z. We define µ as the unique element in the nest In. It follows that ′′ for all n 0, 1 e2πiqn µ √2. ≥ | − |≥ ∞ According to Proposition 2.1, there exists a dense Gδ-subset E1 of l such that ∞ ′′ ′′ ′′ qn for any u E1 the radius of convergence of hq ,u(z) = z n=0 uqn z is equal to ∈ ′′ ′′ 1/qn 1. By Cauchy-Hadamard’s formula, we must have lim supPn uqn = 1. Since ′′ | | 2 1 e2πiqn µ √2, it follows that for u E , ≥ | − |≥ ∈ 1 ′′ ′′ ′′ 2πiqn µ 1/qn lim sup uqn (1 e ) =1. n | − | ′ ′ ′′ ′ ′ 2πiqnµ 1/qn As q is a subsequence of q , and lim supn uqn (1 e ) 1, we conclude that | − | ≤ ′ ′ ′ 2πiqnµ 1/qn lim sup uqn (1 e ) =1. n | − |

Therefore, for u E1, the radius of convergence of ϕµ,q′,u(z) is equal to 1. The above arguments∈ also work when the sequence u is constant equal to 1 and thus the convergence radius of ϕµ,q′ (z) equals 1 as well.  AUTOMORPHISMS OF C2 WITHAROUNDSIEGELDOMAIN 5

Assume that θ is an irrational number which satisfies the hypothesis of Proposi- tion 2.2. For any subsequence q′ of q and any u l∞, ∈ 2πiθ 2πiθ Aθ,q′,u(w,z) = (e w + ϕθ,q′,u(z),e z) 2 is an automorphism of C . The map Aθ,q′,u has a constant Jacobian of size 1. So, it is area preserving. Moreover, Aθ,q′,u preserves the origin, with derivative e2πiθ 0 DA ′ (0, 0) = . θ,q ,u  0 e2πiθ  −1 Any irrational number θ satisfying limn→∞ qn log qn+1 = does not satisfy the Brjuno’s arithmetic condition for the linearisability [Sie42, Brj71,∞ Her87, Yoc95]. However, here DAθ,q′,u(0, 0) enjoys a resonance condition. By virtue of the com- mutative relation in Equation (3), Aθ,q′,u is conjugate to the rotation Rθ on the round domain C ∆, via the map S ′ . We would like to understand the global × hq ,u dynamics of Aθ,q′,u. In particular, if the Siegel disk of Aθ,q′,u centred at (0, 0) extends beyond C ∆. Let F : Cn C×n be a holomorphic map. We say that Ω is a Fatou component → ◦n for the iterates of F , if the family F n≥0 forms a locally equi-continuous family of maps near any point in Ω. One{ may} consult [Mil06, CG93, MNTU00] for classic books in complex dynamics in dimension one, and refer to [CGSY03, Sib99] for general theory of complex dynamics in higher dimensions. Theorem 2.4. Assume that θ is an irrational number whose best rational approx- −1 ′ imants (pn/qn)n≥0 satisfies limn→∞ qn log qn+1 = . Let q be a subsequence of (q ) . There exists a dense G -subset E of l∞ such∞ that for every u E , C ∆ n n≥0 δ 1 ∈ 1 × is a Fatou component of A ′ , and for every (w,z) C2 with z > 1 the orbit of θ,q ,u ∈ | | (w,z) under Aθ,q′,u is unbounded. Moreover, the same conclusions hold for Aθ,q′ , that is, for the constant sequence u 1. n ≡ ′ ∞ Proof. Let us fix q , and let µ R and E1 l be the Gδ dense set obtained ∈ ⊂ ∞ in Lemma 2.3. By Proposition 2.2, for every u l , Aθ,q′,u is a well-define holo- 2 ∈ morphic map on C . From now on we assume that u E1, or u is the constant sequence u 1. ∈ n ≡ Note that A ′ preserves C ∆. Indeed, by Equation 3 and Proposition 2.1, θ,q ,u × Aθ,q′,u is conjugate to an irrational rotation on C ∆. Thus, C ∆ is contained 2 × × in the Fatou set of Aθ,q′,u. Let Ω C be a Fatou component of Aθ,q′,u which contains C ∆. Assume in the contrary⊂ that Ω = C ∆. We may× choose w C, z ∂∆, and ǫ > 06 such× that the bidisk ∆(w ,ǫ) 0 ∈ 0 ∈ 0 × ∆(z0,ǫ) is contained in Ω. It follows from the formula ◦N 2πiNθ 2πiNθ A ′ (w,z) = (e w + ϕ ′ (z),e z), N 0, θ,q ,u Nθ,q ,u ≥ that the iterates of A ′ are locally equi-continuous on the tube C ∆(z ,ǫ). On θ,q ,u × 0 the other hand, since Ω is invariant under Aθ,q′,u, and Aθ,q′,u acts as an irrational rotation in the z-coordinate, Ω contains C z C : z 1 < ǫ . Thus, the ×{ ∈ || |− | } iterates of A ′ are equi-continuous on the tube T = C ∆(0, 1+ ǫ). θ,q ,u × Since A ′ is conjugate to the irrational rotation R on C ∆, there is an θ,q ,u θ × increasing sequence of positive integers mi such that

◦mi A ′ S ′ R S ′ , θ,q ,u → −hq ,u ◦ µ ◦ hq ,u with the convergence uniform on compact subsets of C ∆. Since Ω is a Fatou × set for Aθ,q′,u, we may extract an increasing subsequence ki of mi such that the ◦ki iterates Aθ,q′,u converges uniformly on compact subsets of T to a holomorphic map 6 FRANC¸OIS BERTELOOT AND DAVOUD CHERAGHI

ψ : T C2. Thus, we must have → ψ = S ′ R S ′ on C ∆. −hq ,u ◦ µ ◦ hq ,u × However, the map S ′ R S ′ is of the form −hq ,u ◦ µ ◦ hq ,u 2πiµ 2πiµ (w,z) (e w + ϕ ′ (z),e z), 7→ µ,q ,u which, by our choice of µ and u and according to Lemma 2.3, diverges at some point on C ∂∆. This contradicts ψ being defined on T . × We have just proved that C ∆ is a Fatou component of Aθ,q′,u. As we shall show below, this implies that for× any (w,z) C2 with z > 1, the orbit of (w,z) ∈ | | by Aθ,q′,u is unbounded. 2 Let us fix (w0,z0) C with z0 > 1. Assume in the contrary that there is M > 0 ◦N ∈ | | ◦(N+n) such that Aθ,q′,u(w0,z0) M, for all N 0. Then Aθ,q′,u (w0,z0) M, for | | ≤ ◦n ≥ | 2πinθ | ≤ all N 0 and all n 0. Writing Aθ,q′,u(w0,z0) =: (wn,e z0), we thus have ≥ ≥ ◦N 2πinθ simultaneously wn M and Aθ,q′,u(wn,e z0) M, for all n 0 and all N 0. Then, since| | ≤ | | ≤ ≥ ≥ ◦(N+n) ◦N 2πinθ Aθ,q′,u (w0,z0)= Aθ,q′,u(wn,e z0) 2πiNθ 2πinθ 2πi(N+n)θ = (e wn + ϕNθ,q′,u(e z0),e z0), we get that ϕ ′ 2M on e2πinθz : n 0 , for any N 0. Thus, the | Nθ,q ,u| ≤ { 0 ≥ } ≥ family of maps ϕ ′ , for N 0, is uniformly bounded on the circle z = z Nθ,q ,u ≥ | | | 0| and, by the maximum principle, on the disk ∆(0, z0 ). ◦N 2πiNθ ′ 2πiNθ| | As Aθ,q′,u(w,z) = (e w + ϕNθ,q ,u(z),e z), by the above paragraph, the iterates of A ′ are locally uniformly bounded on C ∆(0, z ). Therefore, θ,q ,u × | 0| C ∆(0, z0 ) must be a Fatou component of Aθ,q′,u, which strictly contains the Siegel× tube| C| ∆. This contradicts the earlier statement that C ∆ itself is a × × Fatou component of Aθ,q′,u.  We now aim to show that for a certain choice of the subsequence q′ and for a ∞ generic u l the Julia set of Aθ,q′,u coincides with the complement of the Siegel tube C ∆.∈ This will prove Theorem 1.1. The proof× is based on the following two lemmas. Lemma 2.5. Assume that θ is an irrational number whose best rational approx- −1 imants (pn/qn)n≥0 satisfies qn log qn+1 , as n . For any sequence of → ∞ → ∞ ′ positive numbers (εp)p≥1 converging to zero, there exist a subsequence (qn)n≥0 of (q ) and an increasing sequence of integers (N ) such that for every p 1, n n≥0 p p≥1 ≥ we have ′ ′ 1 e2πiNpθ + 1 e2πiqnNpθ pqn ε . | − | | − | ≤ p nX≥0 ′ Proof. Let us set N0 = 1 and q0 = q0. We inductively identify the pair of integers q′ and N so that the following properties are satisfied for all p 1: p p ≥ (i) Np >Np−1, p−1 ′ ′ 2iπNpθ 2iπqnNpθ qn (ii) 1 e + n=0 1 e p εp/2, | ′ − | | −′ | ≤ (iii) qp qn : n P0, qn > qp−1, qn 2Np , ∈{ pqn≥ ≥ } (iv) ′ εp/(4πNp). n;qn≥qp qn+1 ≤ P ′ ′ Assume that q0, , qp−1 and N0, ,Np−1 are already constructed. First we ··· ··· 2πiNpθ choose an integer Np so that (i) holds, and e is close enough to 1 in order ′ to satisfy property (ii). Then we choose qp according to property (iii), while large enough to guarantee property (iv). The latter choice is possible due to our as- sumption on the growth of (qn)n≥0, that is, the radius of convergence of the series qn n≥0 z /qn+1 is infinity. P AUTOMORPHISMS OF C2 WITHAROUNDSIEGELDOMAIN 7

′ ′ Let us denote by pn the integer corresponding to qn in the best rational approx- ′ ′ ′ imation of θ. We have 2πqnNpθ 2πNppn 2πNp/qn+1. On the other hand, by | − |≤ ′ ′ property (iii) in the above list, for all n p, we have Np/qn+1 Np/qp 1/2. These imply that for all n p, we must have≥ ≤ ≤ ≥ ′ (5) 1 e2iπqnNpθ 2πN /q′ . | − |≤ p n+1 ′ Also note that since (qn)n≥0 is a subsequence of (qn)n≥0, by property (iv) in the above list we have ′ q qn p n p εp ′ . qn+1 ≤ ′ qn+1 ≤ 4πNp nX≥p qnX≥qp We may now check that the conclusion of the lemma is fulfilled. Let p 1. Using the estimate in property (ii), and the above estimates, we get ≥

p−1 ′ ′ ′ ′ 1 e2πiNpθ + 1 e2πiqnNpθ pqn + 1 e2πiqnNpθ pqn − | − − nX=0 nX≥p ′ pqn ε /2+2πN ε /2+ ε /2.  ≤ p p q′ ≤ p p nX≥p n+1 Assume that θ is an irrational number which satisfies the hypothesis of Propo- ′ ∞ sition 2.2, so that for any subsequence q of q and any u l , ϕθ,q′,u is an entire function. It follows from the formula in Equation (4) that∈ for any integer N N, ∈ ϕNθ,q′,u is an entire function. Lemma 2.6. Assume that θ is an irrational number whose best rational approx- −1 ′ imants (pn/qn)n≥0 satisfy qn log qn+1 , as n . For any subsequence q → ∞ → ∞ ∞ of (qn)n≥0 and any z C with z > 1, there exists a dense Gδ-subset E(z) of l such that for every u ∈E(z), | | ∈ ′ sup ϕNθ,q′,u(z) =+ . N | | ∞ Proof. Let us fix an arbitrary subsequence q′ and a point z C with z > 1. Recall that ∈ | | ∞ ′ ′ 2πiNθ 2πiq Nθ q ϕ ′ (z)= ze u ′ (1 e n )z n . Nθ,q ,u qn − nX=0 ∞ For each N N, we consider the bounded linear operator ΦN,z : l C, defined as ∈ → ∞ ′ ′ ′ 2πiNθ ′ 2πiq Nθ q Φ (u) := ϕ ′ (z)= e u ′ (1 + q )(1 e n )z n . N,z Nθ,q ,u qn n − nX=0 The operator norm of ΦN,z satisfies ∞ ′ ′ Φ = (1 + q′ ) 1 e2πiqnNθ z qn . k N,zk n | − || | nX=0

Recall that ϕNθ,q′ is the entire function corresponding to the constant sequence un = 1, and observe that ′ (6) ϕ ′ (z) Φ = Φ . | Nθ,q |≤k N,zk k N,|z|k Let us consider the quantity K := sup Φ . We claim that for every z C z N k N,zk ∈ with z > 1, Kz = + . Otherwise, by Equation (6) and the maximum mod- | | ∞ ′ ′ ulus principle, we must have ϕNθ,q′ (z ) K0, for every integer N and every ′ ′ | | ≤ z C with z z . This implies that the family of maps ϕNθ,q′ ; N 0 ∈ | | ≤ | | { ◦N ≥ } is uniformly bounded on the disc ∆(0, (1 + z )/2). Then, since A ′ (w,z) = | | θ,q 8 FRANC¸OIS BERTELOOT AND DAVOUD CHERAGHI

2πiNθ ′ 2πiNθ ◦N (e w + ϕNθ,q (z),e z), the iterates (Aθ,q′ )N≥0 must be uniformly bounded on the tube C ∆(0, (1 + z )/2). This contradicts the latter part of Theorem 2.4. × | | By the above paragraph, for z C with z > 1 we have supN ΦN,z = + . We may employ the Banach-Steinhaus∈ theorem| | [Rud87, page 98] tok thek family∞ of ∞ linear operators ΦN,z N≥1. That gives us a a dense Gδ-subset E(z) of l , such { } ′ that for every u E(z), sup ϕ ′ (z) = sup Φ (u) =+ .  ∈ N | Nθ,q ,u | N | N,z | ∞ Proof of Theorem 1.1. Let (εp)p≥1 be a sequence of positive numbers converging to ′ zero. With Lemma 2.5, we generate a subsequence q of (qn)n≥0 and an increasing ′ sequence of integers (Np)p≥1. We also employ Theorem 2.4 with q to obtain the ∞ ′ dense Gδ subset of l denoted by E1. Similarly, for q and each z S, we use ∞ ∈ Lemma 2.6 to obtain the dense Gδ set E(z) in l . By Baire’s theorem, E2 := E(z) E is a dense G -subset of l∞. ∩z∈S ∩ 1 δ Fix an arbitrary u E2. According to Theorem 2.4, the map Aθ,q′,u is analyti- cally conjugate to the∈ rotation R on C ∆. Moreover, the orbit of any (w,z) C2 θ × ∈ with z > 1 by the map A ′ is unbounded. | | θ,q ,u Let (Np)p≥1 be the sequence of integers given by Lemma 2.5. Recall that

◦Np 2πiNpθ ′ 2πiNpθ Aθ,q′,u(w,z) = (e w + ϕNpθ,q ,u(z),e z), where ∞ ′ ′ 2πiN θ 2πiq N θ q ϕ ′ (z)= ze p u ′ (1 e n p )z n . Npθ,q ,u qn − nX=0 Fix an arbitrary (w,z) C2. For integers p z , we have ∈ ≥ | | ◦Np Aθ,q′,u(w,z) (w,z) − ′ ′ 2πiNpθ 2πiq Npθ q (w,z ) 1 e + z u ∞ 1 e n z n ≤k k · − | |k k | − | | | nX≥0 ′ ′ 2πiNpθ 2πiq Npθ q (w,z) 1 e + z u ∞ 1 e n p n ≤k k · − | |k k | − | nX≥0 ′ ′ (w,z) + z u 1 e2πiNpθ + 1 e2πiqnNpθ pqn ≤ k k | |k k∞ | − | | − |   nX≥0 

(w,z) + z u ∞ εp. ≤ k k | |k k  In the last line of the above equation we have used the estimate in Lemma 2.5. The above bound shows that the orbit of (w,z) by Aθ,q′,u is recurent. N ′ Evidently, DAθ,q′,u(w,z) ϕNθ,q′,u(z) . Therefore, by Lemma 2.6, for every k kN ≥ | | (w,z) S, we have sup DA ′ (w,z) =+ .  ∈ N k θ,q ,u k ∞ Acknowledgements. Both authors would like to thank CNRS-Imperial “Abraham de Moivre” International Research Laboratory for their kind support and hospitality during the visit of Berteloot to Imperial College in Summer 2019, when this research was carried out. Cheraghi is grateful to EPSRC(UK) for grant No. EP/M01746X/1 - rigidity and small divisors in holomorphic dynamics.

References

[ABC04] Artur Avila, Xavier Buff, and Arnaud Ch´eritat, Siegel disks with smooth boundaries, Acta Math. 193 (2004), no. 1, 1–30. MR 2155030 (2006e:37073) [Bed18] Eric Bedford, Fatou components for conservative holomorphic surface automorphisms, Geometric complex analysis, Springer Proc. Math. Stat., vol. 246, Springer, Singapore, 2018, pp. 33–54. MR 3923216 [Brj71] Alexander. D. Brjuno, Analytic form of differential equations. I, II, Trudy Moskov. Mat. Obˇsˇc. 25 (1971), 119–262; ibid. 26 (1972), 199–239. MR 0377192 AUTOMORPHISMS OF C2 WITHAROUNDSIEGELDOMAIN 9

[CG93] Lennart Carleson and Theodore W. Gamelin, Complex dynamics, Universitext: Tracts in Mathematics, Springer-Verlag, New York, 1993. MR MR1230383 (94h:30033) [CGSY03] Dominique Cerveau, Etienne´ Ghys, Nessim Sibony, and Jean-Christophe Yoccoz, Complex dynamics and geometry, SMF/AMS Texts and Monographs, vol. 10, Amer- ican Mathematical Society, Providence, RI; Soci´et´eMath´ematique de France, Paris, 2003, With the collaboration of Marguerite Flexor, Papers from the Meeting “State of the Art of the Research of the Soci´et´eMath´ematique de France” held at the Ecole´ Normale Sup´erieure de Lyon, Lyon, January 1997, Translated from the French by Leslie Kay. MR 2017612 (2004f:37002) [Cre38] Hubert Cremer, Uber¨ die H¨aufigkeit der Nichtzentren, Math. Ann. 115 (1938), no. 1, 573–580. MR MR1513203 [EM54] P. Erd¨os and A. J. Macintyre, Integral functions with gap power series, Proc. Edin- burgh Math. Soc. (2) 10 (1954), 62–70. MR 0066455 2 [FsS92] John Erik Fornæ ss and Nessim Sibony, Complex H´enon mappings in C and Fatou- Bieberbach domains, Duke Math. J. 65 (1992), no. 2, 345–380. MR 1150591 [Had92] Jacques Hadamard, Essai sur ltude des fonctions donnes par leur dveloppement de taylor, J. Math. 8 (1892), 101186. [Her87] Michael-R. Herman, Recent results and some open questions on Siegel’s lineariza- tion theorem of germs of complex analytic diffeomorphisms of Cn near a fixed point, VIIIth international congress on mathematical physics (Marseille, 1986), World Sci. Publishing, Singapore, 1987, pp. 138–184. MR 915567 [Kah64] J.-P. Kahane, Lacunary Taylor and , Bull. Amer. Math. Soc. 70 (1964), 199–213. MR 162919 [Khi64] A. Ya. Khinchin, Continued fractions, The University of Chicago Press, Chicago, Ill.- London, 1964. MR 0161833 [McM98] Curtis T. McMullen, Self-similarity of Siegel disks and Hausdorff dimension of Julia sets, Acta Math. 180 (1998), no. 2, 247–292. [Mil06] , Dynamics in one complex variable, third ed., Annals of Mathematics Studies, vol. 160, Princeton University Press, Princeton, NJ, 2006. MR 2193309 (2006g:37070) [MNTU00] S. Morosawa, Y. Nishimura, M. Taniguchi, and T. Ueda, Holomorphic dynamics, Cambridge Studies in Advanced Mathematics, vol. 66, Cambridge University Press, Cambridge, 2000, Translated from the 1995 Japanese original and revised by the authors. MR 1747010 [PM97] Ricardo P´erez-Marco, Siegel disks with smooth boundaries, Preprint http://www.math.ucla.edu/ricardo/preprints.html, 1997. [PZ04] Carsten L. Petersen and Saeed Zakeri, On the Julia set of a typical quadratic polyno- mial with a Siegel disk, Ann. of Math. (2) 159 (2004), no. 1, 1–52. [Rud87] Walter Rudin, Real and complex analysis, third ed., McGraw-Hill Book Co., New York, 1987. MR 924157 [Sch80] Wolfgang M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics, vol. 785, Springer, Berlin, 1980. MR 568710 [Sib99] Nessim Sibony, Dynamique des applications rationnelles de Pk, Dynamique et g´eom´etrie complexes (Lyon, 1997), Panor. Synth`eses, vol. 8, Soc. Math. France, Paris, 1999, pp. ix–x, xi–xii, 97–185. MR 1760844 [Sie42] , Iteration of analytic functions, Ann. of Math. (2) 43 (1942), 607–612. MR 7044 [Yoc95] Jean-Christophe Yoccoz, Th´eor`eme de Siegel, nombres de Bruno et polynˆomes quadra- tiques, Ast´erisque (1995), no. 231, 3–88, Petits diviseurs en dimension 1. MR 1367353

Universite´ Toulouse III, Institut Mathematique´ de Toulouse, Bat.ˆ 1R2, 118 route de Narbonne, F-31062 Toulouse Cedex 9, France. E-mail address: [email protected]

Department of Mathematics, Imperial College London, London, SW7 2AZ, United Kingdom E-mail address: [email protected]