arxiv:math/ v5 [math.dg] 4 May 2004

Transcription

1 arxiv:math/ v5 [mathdg] 4 May 2004 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES PHILIPPE MONNIER AND NGUYEN TIEN ZUNG Abstract We prove the existence of a local smooth Levi ecomposition for smooth Poisson structures an Lie algebrois near a singular point This Levi ecomposition is a kin of normal form or partial linearization, which was establishe in the formal case by Wae [Wa97] an in the analytic case by the secon author [Zun03] In particular, in the case of smooth Poisson structures with a compact semisimple linear part, we recover Conn s smooth linearization theorem [Con85], an in the case of smooth Lie algebrois with a compact semisimple isotropy Lie algebra, our Levi ecomposition result gives a positive answer to a conjecture of Weinstein [Wei00] on the smooth linearization of such Lie algebrois In the appenix of this paper, we show an abstract Nash- Moser normal form theorem, which generalizes our Levi ecomposition result, an which may be helpful in the stuy of other smooth normal form problems 1 Introuction In the stuy of Poisson structures, in particular their local normal forms, one is le naturally to the problem of fining a semisimple subalgebra of the (infiniteimensional) Lie algebra of functions uner the Poisson bracket: such a subalgebra can be viewe as a semisimple Lie algebra of symmetry for the corresponing Poisson structure, an by linearizing it one get a partial linearization of the Poisson structure, which in some case leas to a full linearization We call it the Levi ecomposition problem, because it is an infinite-imensional analog of the classical Levi ecomposition for finite-imensional Lie algebras Recall that, if l is a finite-imensional Lie algebra an r is the solvable raical of l, then there is a semisimple subalgebra g of l such that l is a semi-irect prouct of g with r: l = g r This semiirect prouct is calle the Levi ecomposition of l, an g is calle the Levi factor of l The classical theorem of Levi an Malcev says that g exists an is unique up to conjugations in l, see, eg, [Bou60] The Levi-Malcev theorem oes not hol for infinite imensional algebras in general But a formal version of it hols for filtere pro-finite Lie algebras: if L L 1 L i where L i are ieals of a Lie algebra L such that [L i,l j ] L i+j an iml/l i are finite, then the projective limit lim i L/L i amits a Levi factor (which is isomorphic to the Levi factor for L/L 1 ) The proof Date: March/ Mathematics Subject Classification 53D17, 32S65 Key wors an phrases Poisson structures, singular foliations, Lie algebrois, normal forms, Levi ecomposition, semisimple algebra of symmetry, linearization Ph Monnier was partially supporte by POCTI/FEDER an by FCT Fellowship SFRH/BPD/12057/2003 1

2 2 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG of this formal infinite imensional Levi ecomposition is absolutely similar to the proof of the classical Levi-Malcev theorem An the formal Levi ecomposition for singular foliations [Cer79] an Poisson structures [Wa97] are instances of this infinite imensional formal Levi ecomposition In [Zun03], the secon author obtaine the local analytic Levi ecomposition theorem for analytic Poisson structures which vanish at a point This theorem generalizes Conn s linearization theorem for analytic Poisson structure with a semisimple linear part [Con84], an is at the base of some new analytic linearization results for Poisson structures an Lie algebrois [Zun03, DZ02] The aim of this paper is to establish the local smooth Levi ecomposition theorem for smooth Poisson structures an Lie algebrois which vanish at a point Our main theorem (Theorem 11) is a generalization of Conn s smooth linearization theorem [Con85] for Poisson structures with a compact semisimple linear part, an provies a local smooth semi-linearization for any smooth Poisson structure whose linear part (when consiere as a Lie algebra) contains a compact semisimple subalgebra Let Π be a C p Poisson structure (p N { }) in a neighborhoo of 0 in R n, which vanishes at the origin Denote by l the n-imensional Lie algebra of linear functions in R n uner the Lie-Poisson bracket Π 1 which is the linear part of Π at 0, an by g a compact semisimple subalgebra of l (Without loss of generality one can assume that g is a maximal compact semisimple subalgebra of l, an we will call g a compact Levi factor of l) Denote by (x 1,,x m,y 1,,y n m ) a linear basis of l, such that x 1,,x m span g (img = m), an y 1,,y n m span a linear complement r of g in l which is invariant uner the ajoint action of g Denote by c k ij an ak ij the structural constants of g an of the action of g on r respectively: [x i,x j ] = k ck ij x k an [x i,y j ] = k ak ij y k We say that Π amits a local C q - smooth Levi ecomposition with respect to g ifthere existsalocal C q -smooth system of coorinates (x 1,,x m,y 1,,y n m ), with x i = x i + higher orer terms an = y i + higher orer terms, such that in this coorinate system the Poisson y i structure has the form (11) Π = 1 2[ c k ij x k x i x j + a k ij y k x i y j + F ij y i y j where F ij are some functions in a neighborhoo of 0 in R n In other wors, we have (12) {x i,x j } = c k ijx k an {x i,y j } = a k ijy k, ie the functions x 1,,x m span a compact Levi factor (isomorphic to g) an their Hamiltonian vector fiels X x 1,,X x m are linear in the coorinate system (x 1,,x m,y 1,,y n m ) Theorem 11 There exists a positive integer l (which epens only on the imension n) such that any C 2q 1 -smooth Poisson structure Π in a neighborhoo of 0 in R n which vanishes at 0, where q N { }, q l, amits a local C q -smooth Levi ecomposition (with respect to any compact semisimple Lie subalgebra g of the Lie algebra l which correspons to the linear part of Π at 0) A particular case of the above theorem is when g = l, ie when the linear part of Π is compact semisimple In this case a local Levi ecomposition is nothing but a local linearization of the Poisson structure, an we recover the smooth linearization ]

3 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 3 theorem of Conn [Con85] for a smooth Poisson structure with a compact semisimple linear part When l = g R, a Levi ecomposition is still a linearization of Π In general, one may consier a Levi ecomposition (we also call it a Levi normal form, see [Zun03]) as a partial linearization of Π Similarly to the analytic case [Zun03], an analogue of Theorem 11 hols for smooth Lie algebrois: Theorem 12 Let A be a local N-imensional C 2q 1 -smooth Lie algebroi over (R n,0) with the anchor map # : A TR n, such that #a = 0 for any a A 0, the fiber of A over point 0, where q = or is a natural number which is large enough (q l, where l is a natural number which epens only on N an n) Denote by l the N-imensional Lie algebra in the linear part of A at 0 (ie the isotropy algebra of A at 0), an by g a compact semisimple Lie subalgebra of l Then there exists a local C q -smooth system of coorinates (x 1,,x n ) of (R n,0), an a local C q -smooth basis of sections (s 1,s 2,,s m,v 1,,v N m ) of A, where m = img, such that we have: (13) [s i,s j ] = k ck ij s k, [s i,v j ] = k ak ij v k, #s i = j,k bk ij x k / x j, where c k ij,ak ij,bk ij are constants, with ck ij being the structural constants of the compact semisimple Lie algebra g The meaning of the above theorem is that the algebra of sections of A amits a Levi factor (Lie isomorphic to g), spanne by s 1,s 2,,s m, whose action can be linearize Theorem 12 is calle the local smooth Levi ecomposition theorem for smooth Lie algebrois As a particular case of this theorem, we obtain the following result, conjecture by A Weinstein [Wei00]: any smooth Lie algebroi whose anchor vanishes at a point an whose corresponing isotropy Lie algebra at that point is compact semisimple is locally smoothly linearizable Remark that, compare to the analytic case, in the smooth case consiere in [Con85] an in the present paper we nee the aitional conition of compactness on our semisimple Lie (sub)algebra g In a sense, this compactness conition is necessary, ue to the following result of Weinstein [Wei87]: any real semisimple Lie algebra of real rank at least 2 is smoothly egenerate, ie there is a smoothly nonlinearizable Poisson structure with a linear part corresponing to it We hope that the results of this paper will be useful for fining new smoothly nonegenerate Lie algebras (an Lie algebrois) in the sense of Weinstein [Wei83] In particular, our smooth Levi ecomposition is one of the main steps in the stuy of smooth linearizability of Poisson structures whose linear part correspons to a real semisimple Lie algebra of real rank 1 (this case was left out by Weinstein [Wei87]) This problem will be stuie in a separate work Our proof of Theorem 11 is base on the Nash-Moser fast convergence metho (see, eg, [Ham82]) applie to Fréchet spaces of smooth functions an vector fiels In particular, our algorithm for constructing a convergent sequence of smooth coorinate transformations, which is a combination of smoothing operators with the algorithm in [Zun03] for the analytic case, is inspire by Hamilton s near projections in his proof of the so-calle Nash-Moser theorem for exact sequences[ham77]

4 4 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG Besies smoothing operators for tame Fréchet spaces, we will nee homotopy operators for certain Chevalley-Eilenberg complexes with vanishing first an secon cohomologies The homotopy operators an the smoothing operators are both alreay present in Conn s paper [Con85], an in a sense the present paper is a further evelopment of [Con85] an follows more or less the same organization Using the fact that Lie algebrois can be viewe as fiber-wise linear Poisson structures, one can immeiately euce Theorem 12 from the proof given below of Theorem 11, simply by restricting some functional spaces, in a way absolutely similar to the analytic case (see Section 6 of [Zun03]) That s why we will mention only briefly the proof of Theorem 12, after the full proof Theorem 11 The rest of this paper, except the appenix, is evote mainly to the proof of Theorem 11, an is organize as follows In Sections 2 an 3 we write own important inequalities involving homotopy operators an smoothing operators that will be use Then in Section 4 we present our algorithm for constructing the require new systems of coorinates, an give a proof of Theorem 11, moulo some technical lemmas These lemmas are prove in Section 5 In Section 6 we briefly explain how to moify (in an obvious way) the proof of Theorem 11 to get a proof of Theorem 12 In the appenix, we present an abstract Nash-Moser smooth normal form theorem, which generalizes Theorems 11 an 12 We hope that this abstract normal form theorem can be use or easily aapte for the stuy of other smooth normal form problems(of functions, ynamical systems, various geometric structures, etc) 2 Homotopy operators Similarly to the analytic case [Con84, Zun03], in orer to prove Theorem 11, we will nee a norme version of Whitehea s lemma about the vanishing of cohomology of the semisimple algebra g, with respect to certain orthogonal moules of g constructe below Our moules will be spaces of real functions or vector fiels, equippe with Sobolev norms, an the action of g will preserve these norms Consier a Lie algebra l of imension n together with a compact semisimple Lie subalgebra g l of imension m (Our Poisson structure will live in a neighborhoo of 0 in the ual space R n = l of l) Denote by G the simply-connecte compact semisimple Lie group whose Lie algebra is g Then G acts on R n = l by the coajoint action Since G is compact, we can fix a linear coorinate system (x 1,,x m,y 1,,y n m ) such that the Eucliean metric on R n with respect to this coorinate system is invariant uner the action of G, an the first m coorinate (x 1,,x m ) come from g In other wors, there is a basis (ξ 1,,ξ m ) of g such that each ξ i, consiere as an element of l an viewe as a linear function on l, gives rise to the coorinate x i For each positive number r > 0, enote by B r the close ball of raius r in R n centere at 0 The group G (an hence the algebra g) acts linearly on the space of functions on B r via its action on B r : for each function F an element g G we put (21) g(f)(z) := F(g 1 (z)) = F(A g 1z) z B r

5 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 5 For each nonnegative integer k 0 an each pair of real-value functions F 1,F 2 on B r, we will efine the Sobolev inner prouct of F 1 with F 2 with respect to the Sobolev H k -norm as follows: (22) F 1,F 2 H k,r := α k B r ( )( α! α )( F 1 α ) α! z α (z) F 2 z α (z) µ(z), where µ is the stanar Lebesgue measure on R n The Sobolev H k -norm of a function F on B r is (23) F H k,r := F,F k,r We will enote by C r the subspace of the space C (B r ) of C -smooth realvaluefunctions onb r, which consistsoffunctionsvanishingat 0whosefirsterivatives also vanish at 0 Then the action of G on C r efine by (21) preserves the Sobolev inner proucts (22) Denote by Y r the space of C -smooth vector fiels on B r of the type (24) u = n m i=1 u i / y i, such that u i vanish at 0 an their first erivatives also vanish at 0 Recall that (ξ 1,,ξ m ) is the basis of g which correspon to the coorinates (x 1,,x m ) on R n = l The space Y r is a g-moule uner the following action: [ (25) ξ i u j / y j := c k ij x k + a k ij x y k, ] u j / y j, j j y j jk jk j where X i = jk ck ij x k / x j + jk ak ij y k / y j are the linear vector fiels which generate the linear orthogonal coajoint action of g on R n Equip Y r with Sobolev inner proucts: n m (26) u,v H k,r := u i,v i k,r, i=1 an enote by Y H k,r the completion of Y r with respect to the corresponing H k,r - norm ThenY H k,r isaseparablerealhilbertspaceonwhichgangactorthogonally The following infinite imensional norme version of Whitehea s lemma is taken from Proposition 21 of [Con85]: Lemma 21 (Conn) For any given positive number r, an W = C r or Y r with the above action of g, consier the (truncate) Chevalley-Eilenberg complex Then there is a chain of operators such that (27) W δ0 W 1 g δ 1 W 2 g δ 2 W 3 g W h0 W 1 g h 1 W 2 g h 2 W 3 g δ 0 h 0 +h 1 δ 1 = I W 1 g, δ 1 h 1 +h 2 δ 2 = I W 2 g

6 6 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG Moreover, there exist a constant C > 0, which is inepenent of the raius r of B r, such that (28) h j (u) H k,r C u H k,r, j = 0,1,2 for all k 0 an u W j+1 g If u vanishes to an orer l 0 at the origin, then so oes h j (u) Proof Strictly speaking, Conn [Con85] only prove the above lemma in the case when g = l an for the moule C r, but his proof is quite general an worksperfectly in our situation without any moification Here, we will just recall the main iea of this proof The action of g on W can be extene to the completion W k of W with respect to the H k,r -norm (this is the Sobolev space H k (B r ) when W = C r an Yk,r H when W = Y r ) We can ecompose W k as an orthogonal irect sum of g-moules W k 0 W k 1 where W k 0 is a trivial g-moule an W k 1 can be ecompose as a Hilbert irect sum of finite imensional irreucible g-invariant subspaces This ecomposition inuces a ecomposition W = W 0 W 1 We can construct a homotopy operator h i : W0 i+1 g W 0 i g by tensoring the ientity mapping of W 0 with a homotopy operator for the trivial g-moule R To construct the homotopy operator h i on W 1 i+1 g, we can restrict to the case when W 1 is irreucible Then we efine the h i by h 0 (w) = Γ 1 ( i ξ k w(ξ k )) h 1(w) = i ξ (Γ 1 ( k ξ k w(ξ i ξ k ))) h 2 (w) = ij ξ i ξ j (Γ 1 ( k ξ k w(ξ i ξ j ξ k ))) where {ξi } is the ual basis of {ξ i} an Γ is the Casimir element of g Then one can show that h i (w) H k,r C w H k,r with C = m(min γ J γ ) 1, where J is the weight lattice of g For simplicity, in the sequel we will enote the homotopy operators h j in the above lemma simply by h Relation (27) will be rewritten simply as follows: (29) I δ h = h δ The meaning of the last equality is as follows: if u is an 1-cocycle or 2-cocycle, then it is also a cobounary, an h(u) is an explicit primitive of u: δ(h(u)) = u If u is a near cocycle then h(u) is also a near primitive for u For convenience, in the sequel, instea of Sobolev norms, we will use the following absolute forms: (210) F k,r := sup sup D α F(z) z B r α k for F C r, where the sup runs over all partial erivatives of egree α at most k More generaly, if F = (F 1,,F m ) is a smooth maping from B r to R m we can efine (211) F k,r := sup i sup sup D α F i (z) z B r α k

7 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 7 Similarly, for u = n m i=1 u i / y i Y r we put (212) u k,r := sup i sup sup D α u i (z) z B r α k The absolute norms k,r are relate to the Sobolev norms H k,r as follows: (213) F k,r C 1 F H k+s,r an F H k,r C 2(n+1) k F k,r for any F in C r or Y r an any k 0, where s = [ n 2 ]+1 an C 1 an C 2 are positive constants which o not epen on k A priori, the constants C 1 an C 2 epen continuously on r (an on the imension n), but later on we will always assume that 1 r 2, an so may assume C 1 an C 2 to be inepenent of r The above first inequality is a version of the classical Sobolev s lemma for Sobolev spaces The secon inequality follows irectly from the efinitions of the norms Combining it with Inequality (28), we obtain the following estimate for the homotopy operators h with respect to absolute norms: (214) h(u) k,r C(n+1) k+s u k+s,r for all k 0 an u W j+1 g (j = 0,1,2), where W = C r or Y r Here s = [ n 2 ] + 1, C is a positive constant which oes not epen on k (an on r, provie that 1 r 2) 3 Smoothing operators an some useful inequalities We will refer to [Ham82] for the theory of tame Fréchet spaces use here It is well-known that the space C (B r ) with absolute norms (210) is a tame Fréchet space Since C r is a tame irect summan of C (B r ), it is also a tame Fréchet space Similarly, Y r with absolute norms (212) is a tame Fréchet space as well In particular, C r an Y r amit smoothing operators an interpolation inequalities: For each t > 1 there is a linear operator S(t) = S r (t) from C r to itself, with the following properties: (31) S(t)F p,r C p,q t (p q) F q,r an (32) (I S(t))F q,r C p,q t (q p) F p,r for any F C r, where p,q are any nonnegative integers such that p q, I enotes the ientity map, an C p,q enotes a constant which epens on p an q The secon inequality means that S(t) is close to ientity an tens to ientity when t The first inequality means that F becomes smoother when we apply S(t) to it For these reasons, S(t) is calle the smoothing operator Remark Some authors write e t(p q) an e t(q p) instea of t (p q) an t (p q) in the aboveinequalities The twoconventionsarerelatebyasimplerescalingt = e τ There is a similar smoothing operator from Y r to itself, which by abuse of language we will also enote by S(t) or S r (t) We will assume that inequalities (31) an (32) are still satisfie when F is replace by an element of Y r

8 8 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG For any F in C r or Y r, an nonnegative integers p 1 p 2 p 3, we have the following interpolation estimate: (33) ( F p2,r) p3 p1 C p1,p 2,p 3 ( F p1,r) p3 p2 ( F p3,r) p2 p1 where C p1,p 2,p 3 is a positive constant which may epen on p 1,p 2,p 3 Remark A priori, the constants C p,q an C p1,p 2,p 3 also epen on the raius r But later on, we will always have 1 r 2 an so we may choose them to be inepenent of r In the proof of Theorem 11, we will use local iffeomorphisms of R n of type I + χ where χ(0) = 0, an I enotes the ientity map from R n to itself The following lemmas allow to control operations on this kin of iffeomorphisms as the composition with a map or the inverse Lemma 31 Let r an η < 1 be two strictly positive real numbers Consier a smooth map Φ : B r R n of the type I+χ with χ(0) = 0 Suppose that χ 1,r < η Then we have (34) B r(1 η) Φ(B r ) B r(1+η) Proof : Accoring to the hypotheses we have χ(x) < η x for every x in B r Therefore, we can write Φ(x) < (1+η)r an so, Φ(B r ) B r(1+η) Now, we consier the map ˆΦ : B r(1+η) B r(1+η) which is Φ on B r an is efine on B r(1+η) \B r as follows Let x be such that x = r We consier x 1 = 2+η 2 x an x 2 = (1 + η)x If z = λx+(1 λ)x 1 with 0 λ 1, then ˆΦ(z) = λφ(x)+(1 λ)x If z = λx 1 +(1 λ)x 2 then ˆΦ(z) = λx+(1 λ)x 2 This map is continous an is the ientity on the bounary of B r(1+η) Accoring to Brouwer s theorem, the image of ˆΦ is B r(1+η) Now, note that if z = λx+(1 λ)x 1 with 0 λ 1 then we have Therefore, ˆΦ(z) > r(1 η) ˆΦ(z) = x+λχ(x) x λ χ(x) Moreover, if v = λx 1 +(1 λ)x 2 with 0 λ 1 then we have ˆΦ(v) = λx+(1 λ)(1+η)x = r(1+η(1 λ)) > r We euce that if z = λx + (1 λ)x 1 with 0 λ 1 then we have y is in B r(1 η) then, we have y = ˆΦ(z) (z is, a priori, in B r(1+η) ) an z must be in B r Consequently, y is in the image of Φ Lemma 32 ([Con85]) Let r > 0 an 1 > η > 0 be two positive numbers Consier two smooth maps f : B r(1+η) R q an χ : B r R n (where the close balls B r an B r(1+η) are in R n, an q is a natural number) such that χ(0) = 0 an χ 1,r < η Then the composition f (i+χ) is a smooth map

9 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 9 from B r to R n which satisfies the following inequalities: (35) f (i+χ) k,r f k,r(1+η) (1+P k ( χ k,r )) (36) f (i+χ) f k,r Q k ( χ k,r ) f k,r(1+η) +M χ 0,r f k+1,r(1+η) where M is a positive constant an P k (t),q k (t) are polynomials of egree k with vanishing constant term (an which are inepenent of f an χ) The proof of the above lemma, which can be foun in [Con85], is straightforwar an is base solely on the Leibniz rule of erivation We will call inequalities such as in the above lemma Leibniz-type inequalities Similarly, we have another Leibniztype inequality, given in the following lemma Lemma 33 With the same hypotheses as in the previous lemma, we have (37) f (i+χ) 2,r f 2,r(1+η) P k ( χ k,r ) + χ 2,r f k,r(1+η) Q k ( χ k,r ), where P k (t) an Q k (t) are polynomials (which are inepenent of f an χ) Proof Denote by θ the map I+χ If I is a multiinex such that I 2k 1 ( I enotes the sum of the components of I), it is easy to show, by inuction on I, that I (f θ) x I where A α (θ) is of the type (38) A α (θ) = = 1 α I 1 u i n, β i 1 β 1 ++ β α = I ( α f x α θ) A α (θ), a βu β1 θ u1 x β1 β α θ uα x β α where θ u1 is the u 1 -component of θ an the a βu are nonnegative integers We may write I (f θ) x I = k< α I ( α f x α θ) A α (θ)+ 1 α k ( α f x α θ) A α (θ) When k < α I 2k 1, all the β i in the sum (38) efining A α (θ) are smaller than k This gives the first term of the right han sie of Inequality (37) On the other han, when 1 α k, then in each prouct in the expression (38) of A α (θ) there is at most one factor β θ u with β > k (the others have β k x β This gives the secon term of the right han sie term of inequality (37), an the lemma follows Lemma 34 Let r > 0 be a real number an k 1 a positive integer There exist a positive real number η < 1 an a polynomial P k (t) such that if Φ : B r R n is a smooth map of the type I +χ with χ(0) = 0 an χ 0,r < η then Φ is a smooth local iffeomorphism which possesses an inverse Ψ = Φ 1 of the type I + ξ with ξ(0) = 0, which is efine on (a set containing) B r(1 η) an satisfies the following inequality: (39) ξ 2,r(1 η) χ 2,r P k ( χ k,r )

10 10 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG Proof We choose the constant η such that for every smooth map I+χ : B r R n such that χ 1,r < η, the Jacobian matrix of I+χ is invertible at each point of B r If Φ is a smooth map as in the theorem, accoring to the inverse function theorem, it is a local iffeomorphism an has an inverse Ψ = I+ξ which is smooth on B r(1+η) (see Lemma 31) Since Φ Ψ = I, enoting Ψ = (Ψ 1,,Ψ n ) (an the same thing for Φ), we can write Ψ i = Pol({ Φu x v }) Ψ x j JacΦ where JacΦ is the Jacobian eterminant of Φ an Pol({ Φu x v }) is a homogeneous polynomial in the { Φu x v } uv of egree n 1 By inuction, we can see that for all α Z n + with α = α i > 0 we can write (trying to simplify the writing) α Ψ i x α = 1 β l α,p α +1 l ( β l 1)= α 1 [ a β,p (JacΦ) p β1 Φ u1 x β1 βk Φ ] uk x β Ψ k wherethe a β,p arenonnegativeintegers In thisformula, the termjacφisboune on B r, for instance, 0 < b JacΦ(z) c < 1 for all z in B r This formula is not very explicit but it is sufficient to estimate sup z Br α (ξ) x (z) like in (39) for α α > 1 (note that in this case, we have α (Ψ i) x = α (ξ i) α x ) Now we have to stuy α the case α = 1 In this case, writing the Jacobian matrix, we have 1+ ξ χ = (1+ x x ) 1 Φ Denoting by the stanarnorm oflinearoperatorson a finite imensional vector space we can assume that χ χ x < 1 Then, since (1 + x ) 1 = 1+ ( χ q, q 1 x) we obtain ξ x = ( ( χ) q ) Φ x We then get q 1 ξ x M χ x where M is a positive constant an we conclue using the equivalence of the norms 4 Proof of Theorem 11 In orer to prove Theorem 11, we will construct by recurrence a sequence of local smooth coorinate systems (x,y ) := (x 1,,x m,y 1,,y n m), where (x 0,y 0 ) = (x 1,,x m,y 1,,y n m ) is the original linear coorinate system as chosen in Section 2, which converges to a local coorinate system (x,y ) =

11 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 11 (x 1,,x m,y 1,,y n m ), in which the Poisson structure Π has the require form For simplicity of exposition, we will assume that Π is C -smooth However, in every step of the proof of Theorem 11, we will only use ifferentiability of Π up to some finite orer, an that s why our proof will also work for finitely (sufficiently highly) ifferentiable Poisson structures We will enote by Θ the local iffeomorphisms of (R n,0) such that (41) (x,y )(z) = (x 0,y 0 ) Θ (z), where z enotes a point of (R n,0) Denote by Π the Poisson structure obtaine from Π by the action of Θ : (42) Π = (Θ ) Π Of course, Π 0 = Π Denote by {,} the Poisson bracket with respect to the Poisson structure Π Then we have (43) {F 1,F 2 } (z) = {F 1 Θ,F 2 Θ }(Θ 1 (z)) Assume that we have constructe (x,y ) = (x,y) Θ Let us now construct (x +1,y +1 ) = (x,y) Θ +1 This construction consists of two steps : 1) fin an almostlevi factor, ie coorinatesx +1 i such that the errorterms {x +1 i,x +1 j } k ck ij x+1 k are small, an 2) almost linearize it, ie fin the remaining coorinates y +1 such that in the coorinate system (x +1,y +1 ) the Hamiltonian vector fiels of the functions x +1 i are very close to linear ones In fact, we will efine a local iffeomorphism θ +1 of (R n,0) an then put Θ +1 = θ +1 Θ In particular, we will have Π +1 = (θ +1 ) Π an (x +1,y +1 ) = (x,y ) (Θ ) 1 θ +1 Θ We write the current error terms (that we want to make smaller by going from (x,y ) to (x +1,y +1 )) as follows: m (44) fij (x,y) = {x i,x j } c k ij x k, an k=1 n m (45) giα (x,y) = {x i,y α } a β iα y β Consier the 2-cochain β=1 (46) f = ij f ij ξ i ξ j of the Chevalley-Eilenberg complex associate to the g-moule C r, where r = r epens on an is chosen as follows: (47) r = In particular, r 0 = 2, r /r , an lim r = 1 is positive This choice of raii r means in particular that we will be able to arrange so that the Poisson structure Π = (Θ ) Π is efine in the close ball of raius r (For this to hol,

12 12 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG we will have to assume that Π is efine in the close ball of raius 2, an show by recurrence that B r θ (B r 1 ) for all N) Put (48) ϕ +1 := ϕ +1 i ξi = S(t ) ( h(f ) ), i where h is the homotopy operator as given in Lemma 21, S is the smoothing operator an the parameter t is chosen as follows: take a real constant t 0 > 1 (which later on will be assume to be largeenough) an efine the sequence (t ) 0 by t +1 = t 3/2 In other wors, we have ( (3 ) ) (49) t = exp lnt 0, lnt 0 > 0 2 The abovechoiceofsmoothingparametert is astanarone in problemsinvolving the Nash-Moser metho, see, eg, [Ham77, Ham82] The number 3 2 in the above formula is just a convenient choice The main point is that this number is greater than 1 (so we have a very fast increasing sequence) an smaller than 2 (where 2 correspons to the fact that we have a fast convergence algorithm which quaratizes the error term at each step, ie go from an ε-small error term to an ε 2 -small error term) Accoring to Inequality (214), in orer to control the C k -norm of h(f ) we nee to control the C k+s -norm of f, ie we face a loss of ifferentiability That s why in the above efinition of ϕ +1 we have to use the smoothing operator S, which will allow us to compensate for this loss of ifferentiability This is a stanar trick in the Nash-Moser metho Next, consier the 1-cochains g = ( g ) iα ξ (410) y i, i α α ĝ = g ( {h(f ) ) i,y α } ξ (411) y i i α α of the ifferential of the Chevalley-Eilenberg complex associate to the g-moule Y r, where r = r = , an put (412) ψ +1 := ψ +1 α = S(t ) ( h(ĝ ) ), y α α wherehisthehomotopyoperatorasgiveninlemma21, ans(t )isthesmoothing operator (with the same t as in the efinition of ϕ +1 ) Now efine θ +1 to be a local iffeomorphism of R n given by (413) θ +1 := I+χ +1 := I+(ϕ +1,ψ +1 ), where (ϕ +1,ψ +1 ) now means (ϕ +1 1,,ϕ +1 m,ψ +1 1,,ψ +1 n m) This finishes our construction of Θ +1 = θ +1 Θ an (x +1,y +1 ) = (x,y) Θ +1 This construction is very similar to the analytic case [Zun03], except mainly for the use of the smoothing operator Another ifference is that, for technical reasons, in the smooth case consiere in this paper we use the original coorinate system an the transforme Poisson structures Π for etermining the error terms, while in the

13 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 13 analytic case the original Poisson structure an the transforme coorinate systems are use (In particular, the close balls use in this paper are always balls with respect to the original coorinate system this allows us to easily compare the Sobolev norms of functions on them, ie bigger balls correspon to bigger norms) In orer to show that the sequence of iffeomorphisms efine above converges to a smooth local iffeomorphism Θ an that the limit Poisson structure (Θ ) Π is in Levi normal form, we will have to control the norms of δf an δĝ, where δ enotes the ifferential of the corresponing Chevalley-Eilenberg complexes This will be one with the help of the following two simple lemmas: Lemma 41 For every i,j an k, we have (414) δf (ξ i ξ j ξ k ) = ijk ( u fiu fjk + x u α giα fjk ), y α where enotes the cyclic sum Lemma 42 For every i,j an α, the coefficient of y α in δĝ (ξ i ξ j ) is u fiu gjα x u β giβ gjα + y β u fju giα + x u β gjβ giα y β + u u fiu {h(f ) j,y α } + x u β fju {h(f ) i,y α } x u β giβ {h(f ) j,y α } y β gjβ {h(f ) i,y α } y β + {h(f ) i,g jα} {h(f ) j,g iα} + {y α, u f iu h(f ) j x u u f ju h(f ) i x u + β g iβ h(f ) j y β β g jβ h(f ) i y β } {y α,h(δf ) ij } The first lemma is a irect consequence of the Jacobi ientity {x i,{x j,x k } } + {x j,{x k,x i } } + {x k,{x i,x j } } = 0 The secon one follows from the Jacobi ientity {x i h(f ) i,{x j h(f ) j,y α } } + {x j h(f ) j,{y α,x i h(f ) i } } + {y α,{x i h(f ) i,x j h(f ) j } } = 0 an the homotopy relation (29) Roughly speaking, the above lemmas say that δf an δĝ are quaratic functions in f, g an their first erivatives, so if f an g are ε-small then δf an δĝ are ε 2 -small Let us now give some expressions for the new error terms, which will allow us to estimate their norms Recall that the new error terms after Step are (415) (416) f +1 ij (x,y) = {x i,x j } +1 k g +1 iα (x,y) = {x i,y α } +1 β c k ijx k, a β iα y β

14 14 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG We can also write, for instance, (417) f +1 ij (x,y) = [{x i +ϕ +1 i,x j +ϕ +1 j } k c k ij (x k +ϕ +1 k )](θ 1 +1 (x,y)) A simple irect computation shows that (418) (419) where Q ij (420) Q ij = u f +1 ij = [ (δϕ +1 ) ij +f ij +Q ij] (θ+1 ) 1, g +1 iα = [ (δψ +1 ) iα +ĝ iα +T iα +U iα] (θ+1 ) 1, an T iα are quaratic functions, namely (fiu ϕ +1 j f ϕ +1 i ju )+ x u x u β (giβ ϕ +1 j gjβ y β ϕ +1 i y β )+{ϕ +1 i,ϕ +1 j }, an (421) T iα = u f iu ψ +1 α x u + β g iβ ψ +1 α y β +{ϕ +1 i,ψ +1 α }, an Uiα is efine by (422) Uiα = {h(f ) i S(t )h(f ) i,y α } Putting Q = ij Q ij ξ i ξ j, T = i U = i ( α ( α Tiα U iα ) ξi, y α ) ξi, y α we can write (423) (424) f +1 = (δϕ +1 +f +Q ) (θ +1 ) 1, g +1 = (δψ +1 +ĝ +T +U ) (θ +1 ) 1 Equality (29) allows us to give another expression for f +1 an g +1, which will be more convenient: (425) (426) f +1 = [ δ ( ϕ +1 +h(f ) ) +h(δf )+Q ] (θ +1 ) 1, g +1 = [ δ ( ψ +1 +h(ĝ ) ) +h(δĝ )+T +U ] (θ +1 ) 1 The following two technical lemmas about the norms will be the key points of the proof of Theorem 11 In orer to formulate them, we nee to introuce some positive constants A,l an L Recall that we enote s = [ n 2 ] + 1 (this number s appears in the Sobolev inequality an measures the loss of ifferentiability in our algorithm) Put A = 6s+9 We will use the fact that (427) A > 6s+8

15 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 15 Choose an auxilliary positive constant ε < 1 such that (428) (1 ε)+aε < 3 4 Choose an integer l > s such that (429) 3s+5 < ε (this is the number l which appears in the formulation of Theorem 11), an put (430) L = 2 Recall also that t 0 > 1, t = exp((3/2) lnt 0 ) an r = (note that we have r +1 = r (1 1 (+2) )) By choosing t 2 0 large enough, we can assume that t 1/2 < 1 (+2) for every 2 Lemma 43 Suppose that Π is efine on B r0 an satisfies the following inequalities: (431) f 0 l,r0 < t 1 0, g0 l,r0 < t 1 0, Π L,r 0 < t A 0, f 0 L,r0 < t A 0, g 0 L,r0 < t A 0, where t 0 > 1 is a sufficiently large number Then for every nonnegative integer, Π is well-efine on B r an we have the following estimates: (1 ) χ +1 l,r < t 1/2 (recall that χ +1 = (ϕ +1 1,,ψn m +1 )) (2 ) Π L,r < t A (3 ) Π l,r < C +1 +2, where C is a positive constant inepenent of (4 ) f L,r < t A an g L,r < t A (5 ) f l,r < t 1 an g l,r < t 1 Roughly speaking, Inequality (1 ) is the one which ensures the convergence of Θ when in C l -topology Inequality (3 ) says that Π l stays boune Inequality (5 ) means that the error terms converge to 0 very fast in C l -topology, while Inequalities (2 ) an (4 ) mean that things on t get ba too fast in C L - topology Lemma 44 Suppose that for an integer k l, there exists a constant C k > 0 an an integer k 0 such that for any k, the following inequalities are satisfie: (432) f k,r < C k t 1, g k,r < C k t 1, f 2,r < C k t A, g 2,r < C k t A, Π 2,r < C k t A, Π k,r < C k ( ) Then there exists a constant C k+1 > 0 an an integer k+1 > k such that, for any k+1, we have i) χ +1 k+1,r < C k+1 t 1/2 ii) Π k+1,r < C k+1 ( ) iii) f k+1,r < C k+1 t 1 an g k+1,r < C k+1 t 1 iv) f 2k+1,r < C k+1 t A, g 2k+1,r < C k+1 t A an Π 2k+1,r < C k+1 t A

16 16 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG The above two technical lemmas will be prove in Section 5 Let us now finish the proof of Theorem 11 moulo them Proof of Theorem 11 Assume for the moment that Π is sufficiently close to its linear part, more precisely, that the conitions of Lemma 43 are satisfie Let p be a natural number greater or equal to l such that Π is at least C 2p 1 -smooth Applying Lemma 43 to Π, an then applying Lemma 44 repetitively, we get the following inequality: there exist an integer p an a positive constant C p such that for every p we have (433) χ +1 p,r C p t 1/2 ( = C p exp 1 ( 3 lnt0 ) 2 2) The right han sie of the above inequality tens to 0 exponentially fast when This, together with Lemmas 32 an 34, implies that (434) (Θ ) 1 = (θ 1 ) 1 (θ ) 1, where θ = I+χ, convergesin C p -topology on the ball B 1 of raius 1 (we show in Lemma 43 that (Θ ) 1 is well-efine on the ball of raius r > 1) The fact that Θ = lim Θ is a local C p -iffeomorphism shoul now be obvious It is also clear that Π = (Θ ) Π is in Levi normal form (Inequalities in (5 ) of Lemma 43 measure how far is Π from a Levi normal form; these estimates ten to 0 when ) If Π oes not satisfy the conitions of Lemmas 43 an 44, then we may use the following homothety trick: replace Π by Π t = 1 t G(t) Π where G(t) : z tz is a homothety, t > 0 The limit lim t Π t is equal to the linear part of Π So by choosing t high enough, we may assume that Π t satisfies the conitions of Lemmas 43 an 44 If Φ is a require local iffeomorphism (coorinate transformation) for Π t, then G(1/t) Φ G(t) will be a require local smooth coorinate transformation for Π 5 Proof of the technical lemmas Proof of Lemma 43: We prove this lemma by inuction on The main tools use are Leibniz-type inequalities, an interpolation inequalities (Inequality (33)) involving C l -norms, C L -norms an the norms in between Roughly speaking, (2 ) an (4 ) will follow from Leibniz-type inequalities The proof of (1 ) an (5 ) will make substantial use of interpolation inequalities Point (3 ) will from from an analog of (1 ) an Leibniz-type inequalities In orer to simplify the notations, we will use the letter M to enote a constant, which oes not epen on but which varies from inequality to inequality (ie it epens on the line where it appears) We begin the reuction at = 0 For = 0, the only point to be checke is (1 0 ) We will use a property of the smoothing operator (equation (31)), the estimate of the homotopy operator (214) an the interpolation relation (33)

17 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 17 Recall that ϕ 1 = S(t 0 ) ( h(f 0 ) ) We then have ϕ 1 l,r0 M h(f 0 ) l,r0 by (31) M f 0 l+s,r0 by (214) M f 0 l s 1 l,r 0 Mt l s 1 0 t A s 0 On the other han, we have ψ 1 = S(t 0 ) ( h(ĝ 0 ) ), then f 0 s L,r 0 by (33) ψ 1 l,r0 M ĝ 0 l+s,r0 by (31) an (214) M g 0 +{h(f 0 ),y} 0 l+s,r0 M( g 0 l+s,r0 + Π 0 l+s,r0 h(f 0 ) l+s+1,r0 ); note that since the efinition of ĝ 0 involves the first erivatives of h(f 0 ) we have to estimate by h(f 0 ) l+s+1 Now, using (214) an the interpolation relation (33), we get ψ 1 l,r0 M( g 0 l+s,r0 + Π 0 l+s,r0 f 0 l+2s+1,r0 ) s Since we obtain < 2s+1 M( g 0 l s 1 l,r 0 M(t l s 1 +A s g 0 s L,r 0 + Π 0 l s 1 l,r 0 Π 0 s +A 2s+1 +A s 0 +t l 2s 2 0 ) L,r 0 f 0 l 2s 2 l,r 0 f 0 2s+1 L,r 0 ) we have l s 1 +A s < l 2s 2 +A 2s+1 +A s Therefore, χ 1 l,r0 < Mt l 2s 2 +A 3s+1 0 By assumptions (429), we see that 2s+1 an 3s+1 are strictly smaller than ε Therefore, l 2s 2 +A 3s+1 is strictly smaller than (1 ε)+aε Then, accoring to inequality (428), we have χ 1 l,r0 Mt µ 0 with µ < 3/4 < 1/2 We may choose t 0 sufficiently large such that Mt µ 0 < t 1/2 0, which gives (51) χ 1 l,r0 < t 1/2 0 Now, by inuction, we suppose that for some 0, Π is well efine on B r an that the inequalities (1 ),,(5 ) are true We will show that they still hol when we replace by +1 To simplify the writing we will omit the inex r in the norms, unless the raius in question is ifferent from r Since r +1 = r (1 1 (+2) ), accoring to Inequality (1 2 ) ( χ +1 l,r < t 1/2 1 which is, by assumption, strictly smaller than (+2) for every ) an Lemma 31, 2 we know that B r+1 is inclue in θ +1 (B r ) an so Π +1 will be well efine on B r+1 Proof of (1 +1 ): absolutely similar to the proof of (1 0 ) given above Proof of (2 +1 ): Recall that, ue to the fact that Π +1 = (Θ +1 ) Π = (θ +1 ) Π, we have {x i,x j } +1 = {x i +ϕ +1 i,x j +ϕ +1 j } (θ +1 ) 1, an similar formulas for {x i,y α } +1 an {y α,y β } +1

18 18 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG Applying Lemmas 33 an 34 we obtain {x i,x j } +1 L,r+1 {x i +ϕ +1 i,x j +ϕ +1 j } L,r P( χ +1 l,r ) + {x i +ϕ +1 i,x j +ϕ +1 j } l,r χ +1 L,r Q( χ +1 l,r ), where P an Q are polynomials functions which o not epen on By the Leibniz rule of erivation, the term {x i +ϕ +1 i,x j +ϕ +1 j } l may be estimate by M Π l (1+ ϕ +1 l+1 ) 2 an, using the same technic as in the proof of (1 0 ), we can write ϕ +1 l+1 < t 1/2 Therefore, using (3 ), we can write {x i +ϕ +1 i,x j + } l M Consequently, we have ϕ +1 j {x i,x j } +1 L,r+1 M {x i +ϕ +1 i,x j +ϕ +1 j } L,r +M χ +1 L,r We first stuy the term χ +1 Actually, we will estimate χ +1 L+1 rather than χ +1 L because it will be useful for the estimation of {x i +ϕ +1 i,x j +ϕ +1 j } L We first write ϕ +1 L+1 Mt s+1 h(f ) L s by the property (31) of the smoothing operator Using the estimate (214) for the homotopy operator, we obtain ϕ +1 L+1 Mt s+1 f L Mt A+s+1 Now, we have ψ +1 L+1 Mt 3s+2 ĥ(ĝ ) L 3s 1 by (31) Mt 3s+2 ĝ L 2s 1 by (214) Then the efinition of ĝ, the Leibniz rule of erivation (recall that L = 2) an Inequality (214) give ψ +1 L+1 Mt 3s+2 ( g L 2s 1 + Π L 2s 1 h(f ) l s Π l s 1 h(f ) L 2s 1+1 ) Therefore, we can write Mt 3s+2 ( g L + Π L f l + Π l f L ) Mt A+3s+2 χ +1 L+1,r Mt A+3s+2 Notethatinthesamewayasintheproofof(1 0 ), onecanshowthat χ +1 l+1,r < t 1/2 an then, using once more the Leibniz formula of the erivation of a prouct, we get {x i +ϕ +1 i,x j +ϕ +1 j } L,r M ( Π L (1+ ϕ +1 l+1 ) 2 + Π l (1+ ϕ +1 l+1 )(1+ ϕ +1 L+1 ) ) M( Π L + ϕ +1 L+1 +1) M( Π L +t A+3s+2 +1) Mt A+3s+2 Exactly in the same way, we can estimate the terms {x i +ϕ +1 i,y α +ψα +1 } L,r an {y α +ψα +1,y β +ψ +1 β } L,r by Mt A+3s+2 To conclue, since by our choice A = 6s + 9 we have A + 3s + 2 < 3A/2, these estimates lea to Π +1 L,r+1 Mt D where D is a positive constant such that D < 3A/2 Therefore, we may choose t 0 large enough (in a way which oes not epen on ) in orer to obtain

19 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 19 Π +1 L,r+1 < t 3A/2 = t A +1 Proof of (3 +1 ): Recall again that we have {x i,x j } +1 = {x i +ϕ +1 i,x j +ϕ +1 j } (θ +1 ) 1, an similar formulas involving also y i -components The estimates in Lemmas 32 an 34 give (52) Π +1 l,r+1 Λ +1 l,r (1+P( χ +1 l,r )), where p is a polynomial (which oes not epen on ) with vanishing constant term, an (53) Λ +1 = {x i +ϕ +1 i,x j +ϕ +1 j } + x ij i x j + {x i +ϕ +1 i,y α +ψ +1 α } + {y α +ψα +1,y β +ψ +1 β } x iα i y α y α y β αβ Notice that Λ +1 is equal to Π plus terms which involve χ +1 an the Π - bracket Hence, by the Leibniz formula, we can write (54) Λ +1 l,r Π l,r (1+M χ +1 l+1,r ) 2, which implies that (55) Π +1 l,r+1 Π l,r (1+M χ +1 l+1,r ) 2 (1+p( χ +1 l,r )) Similarly to the proofof (1 +1 ), it is easy to see that χ +1 l+1,r < t 1/2, which is exponentially small when By choosing the constant t 0 large enough, we may assume that (56) (1+M χ +1 l+1,r ) 2 (1+p( χ +1 1 l,r )) < 1+ (+1)(+3) Together with the inuction hypothesis Π l,r < C(+1) (+2), we get (57) Π +1 l,r+1 < C(+1) (+2) (1+ 1 (+1)(+3) ) = C(+2) (+3) Proof of (4 +1 ): Recall that f +1 ij = {x i,x j } +1 k c k ijx k, It is easy to check that for every i an j, c k ij x k L,r+1 B Π 1,r+1 B Π L,r+1, k whereb is apositive constant which onlyepens on the imension n This implies immeiately that f +1 L,r+1 (B +1) Π +1 L,r+1 In Point (2 +1 ), we showe that Π +1 L,r+1 < Mt D where D is a positive constant such that D < 3A/2 therefore, replacing t 0 by a larger real number (which of course oes not epen on ) if necessary, we have f +1 L,r+1 < t 3A/2 = t A +1

20 20 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG The estimate of g +1 L,r+1 can be one in the same way Proof of (5 +1 ) : Recall the formula (425) f +1 = [ δ ( ϕ +1 +h(f ) ) +h(δf )+Q ] (θ +1 ) 1 We then have, using lemmas 32 an 34 (58) f +1 l,r+1 M δ ( ϕ +1 +h(f ) ) +h(δf )+Q l,r (1+P(t 1/2 )), where P is a polynomial function Thus, we only have to estimate δ ( ϕ +1 +h(f ) ) +h(δf )+Q l,r To o that, we use the secon property of the smoothing operator (32), the estimate of the homotopy operator (214) an the interpolation inequality We first write Then, we have δ ( ϕ +1 +h(f ) ) l M h(f ) S(t )h(f ) l+1 Mt 1 h(f ) l+2 by (32) Mt 1 f l+2+s by (214) Mt 1 f l s 3 l f s+2 L by (33) (59) δ ( ϕ +1 +h(f ) ) l Mt 1 l s 3 +As+2 Next, we write h(δf ) l M δf l+s by (31) Thus, M( f l+s f l+s+1 + g l+s f l+s+1 ) by Lemma 41 M( f 2 l+s+1 + g l+s+1 f l+s+1 ) M( f 2l s 2 l f 2s+1 L + g l s 2 (510) h(δf ) l Mt 2l s 2 +2As+1 Finally, by the efinition (420) of Q, we have l g s+1 L f l s 2 l f s+1 L ) Q l M( f l ϕ +1 l+1 + g l ϕ +1 l+1 + Π l ϕ +1 2 l+1) Inthesamewayasintheproofofthepoint(1 0 ), wecaneasilyshowthat χ +1 l+1 < Mt l 2s 3 +A 3s+3 Therefore, we can write (511) Q l M(t 1 l 2s 3 +A 3s+3 Combining (59), (510) an (511) we obtain Now, by (429), 2s+2 2A 3s+3 +t 2l 2s 3 +2A 3s+3 ) f +1 l,r+1 < Mt 2l 2s 3 +2A 3s+3 are strictly smaller than ε, an then 2l 2s 3 + is strictly smaller than 2(1 ε) + 2Aε To finish, the inequality (428) where α < 3 2 We may choose t 0 large enough (in a gives f +1 l,r+1 < Mt α an 3s+3

21 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 21 waywhichepens onαbut noton) in orertoobtain f +1 l,r+1 < t 3 2 = t 1 +1 Now, we apply the same technic to estimate g +1 l,r+1 Recall the formula (426) g +1 = [ δ ( ψ +1 +h(ĝ ) ) +h(δĝ )+T +U ] (θ +1 ) 1 In the same way as above, accoring to Lemmas 32 an 34, we just have to estimate δ ( ψ +1 +h(ĝ ) ) +h(δĝ )+T +U l We first write δ ( ψ +1 +h(ĝ ) ) l M S(t )h(ĝ )+h(ĝ ) l+1 Using the interpolation inequality (33), we obtain Mt 1 h(ĝ ) l+2 by (32) Mt 1 ĝ l+s+2 by (214) Mt 1 g +{h(f ),y} l+s+2 Mt 1 ( g l+s+2 + Π l+s+2 h(f ) l+s+3 ) Mt 1 ( g l+s+2 + Π l+s+2 f l+2s+3 ) δ ( ψ +1 +h(ĝ ) ) l Mt 1 ( g l s 3 l g s+2 L an then, since s+2 < 2s+3, + Π l s 3 l Π s+2 L f l 2s 4 l f 2s+3 M(t 1 l s 3 +As+2 +t 1 l 2s 4 +A 3s+5 ) (512) δ ( ψ +1 +h(ĝ ) ) l Mt 1 l 2s 4 +A 3s+5 We also have, by the estimate of the homotopy operator (214), h(δĝ ) l M δĝ l+s, L ) an using Lemma 42 an the interpolation inequality (33), we obtain ( h(δĝ ) l M f l+s g l+s+1 + g l+s g l+s+1 + Π l+s+1 f l+s h(f ) l+s+2 + Π l+s+1 g l+s h(f ) l+s+2 + Π l+s h(f ) l+s+1 g l+s+1 + Π l+s f l+s+1 h(f ) l+s+2 + Π l+s g l+s+1 h(f ) l+s+2 ) + Π l+s h(δf ) l+s+1 ( M f l+2s+2 g l+2s+2 + g 2 l+2s+2 + Π l+s+1 f 2 l+2s+2 ) + Π l+s+1 g l+2s+2 f l+2s+2 + Π l+s h(δf ) l+s+1 ) M (t 2l 2s 3 +2A 2s+2 +As+1 + Π l+s h(δf ) l+s+1 In the same way as in the proof of (510) one can show that h(δf ) l+s+1 Mt 2l 2s 3 +2A 2s+2

22 22 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG This gives, applying the interpolation inequality to Π l+s, (513) h(δĝ ) l Mt 2l 2s 3 +2A 2s+2 +As+1 Now, recalling the efinition of T (421), we have T l M( f l + g l + Π l ϕ +1 l+1 ) ψ +1 l+1, an using the estimate of χ +1 l+1,r given above, we can show that (514) T l M(t 1 l 2s 3 +A 3s+3 Finally, by the efinition of U (422), we can write We then obtain +t 2l 2s 3 +2A 3s+3 ) U l M Π l h(f ) S(t )h(f ) l+1 M Π l t 1 h(f ) l+2 by (32) Mt 1 f l+s+2 by (3 ) an (214) Mt 1 f l s 3 l f s+2 L by (33) (515) U l Mt 1 l s 3 +As+2 Combining (512), (513), (514) an (515), we obtain g +1 l,r+1 < Mt 2l 2s 4 +2A 3s+5, an we can conclue in the same way as for the estimate of f +1 l,r+1 Lemma 43 is prove Proof of Lemma 44: Themain toolsusein the proofofthislemma arethe same as in the previous lemma: Leibniz-type inequalities an interpolation inequalities To simplify the notations, we will enote by M k a positive constant which epens on k but not on an which varies from inequality to inequality Proof of (i): If k, we have ϕ +1 k+1,r = S(t )h(f ) k+1 M k f k+s+1 by (31) an (214) In the same way, we get M k f k s 2 k f s+1 2 by (33) M k t k s 2 ψ +1 k+1,r = S(t )ĥ(ĝ ) k+1 M k ĝ k+s+1 s+1 +A Therefore, we have M k g +{h(f ),y} k+s+1 M k ( g k+s+1 + Π k+s+1 h(f ) k+s+2 ) M k ( g k+s+1 + Π k+s+1 f k+2s+2 ) M k (t k s 2 s+1 +A +t A s+1 χ +1 k+1,r M k t k 2s 3 +A 3s+3 k 2s 3 +A 2s+2 )

23 LEVI DECOMPOSITION FOR SMOOTH POISSON STRUCTURES 23 Accoring to the inequality (429), the terms 2s+2 are strictly smaller than ε Then, k 2s 3 +A 3s+3 is strictly smaller than (1 ε)+aε Therefore, by (428), we can write χ +1 k+1,r < Mt µ with µ < 3/4 < 1/2 We conclue that there exists a positive integer k+1 > k such that k+1, χ +1 k+1,r < t 1/2 Moreover, in the same way, we can prove that an 3s+3 χ +1 k+2,r M k t k 2s 4 +A 3s+5, anwecanassume(replacing k+1 byahigherintegerifnecessary),that χ +1 k+2,r < t 1/2 for every k+1 Proof of (ii) : Let k+1 Proceeing in the same way as in the proof of Point (3 ) of the previous lemma, we get (516) Π +1 k+1 Π k+1 (1+M k χ +1 k+2 ) 2 (1+p( χ +1 k+1 )), where p is a polynomial with vanishing constant term Now, since χ +1 k+1 an χ +1 k+2 are strictly smaller than t 1/2, replacing k+1 by a higher integer if necessary, we can assume that k+1, we have (517) (1+M k χ +1 k+2 ) 2 (1+p( χ +1 k+1 )) < 1+ 1 (+1)(+2) We choose a positive constant C k+1 such that Π k+1 k+1 < C ( k+1 +1 k+1 k+1 +2 we can conclue by inuction, as in the previous lemma, that for all k+1, (518) Π k+1,r < C k+1 ( ) ) an Note that the constant C k+1 is not the C k+1 of the lemma Later, we will choose C k+1 to be greater than C k+1 an satisfying other conitions Proof of (iii) : The iea is exactly the same as in the previous lemma, using the interpolation inequality (33) with k an 2k 1 Let k+1 1 k By Lemmas 32 an 34, in orer to estimate f +1 k+1,r+1 we just have to estimate δ ( ϕ +1 +h(f ) ) +h(δf )+Q k+1,r As above, we write δ ( ϕ +1 +h(f ) ) k+1 M k h(f ) S(t )h(f ) k+2 Then, since f k < C k t 1 an f 2 < C k t A M k t 1 h(f ) k+3 by (32) M k t 1 f k+s+3 by (214) M k t 1 f k s 4 k f s+3 2 by (33) we have s+3 +A δ ( ϕ +1 +h(f ) ) k+1 M k t 1 k s 4 InthesamewayasinPoint(5 )ofthepreviouslemma,wecanestimate h(δf ) k+1 by M k t 2k s 3 s+2 +2A Now, we just have to estimate Q k+1 By the efinition

24 24 PHILIPPE MONNIER AND NGUYEN TIEN ZUNG of Q, we have Q k+1 M k ( f k+1 + g k+1 + Π k+1 ϕ +1 k+1 ) ϕ +1 k+2 M k ( f k 2 k f g k 2 k g 1 + Π k+1 ϕ +1 k+1 ) ϕ +1 k+2 2 Wesawin(ii)that Π k+1 C k+1 Moreoverwesawin(i)that χ +1 k+2,r M k t k 2s 4 +A 3s+5 1 Since, we obtain We then obtain < 2s+3 Q k+1 M k t 2k 2s 4 +2A 3s+5 f +1 k+1,r+1 M k t 2k 2s 4 +2A 3s+5, an we euce, in the same way as in the proof of Point (5 ) of the previous lemma that for all k+1 1, f +1 k+1,r+1 < M k t µ, where µ < 3/2 Therefore, replacing k+1 by a greater integer if necessary, we have for every k+1 1 (519) f +1 k+1,r+1 < t 3/2 In the same way, we can show that (520) g +1 k+1,r+1 < t 1 +1 Proof of (iv) : First recall that we have = t 1 +1 f ij = {x i,x j } u c u ij x u g iα = {x i,y α } β a β iα y β an, as in the proof of Point (4 +1 ) of the previous lemma, we can write (521) f 2k+1,r < V Π 2k+1,r, g 2k+1,r < V Π 2k+1,r, where V > 1 is a positive constant inepenent of an k Now, we estimate Π +1 2k+1,r+1 for k+1 Recall that we have {x i,x j } +1 = {x i +ϕ +1 i,x j +ϕ +1 j } θ 1 an the same type of equality for {x i,y α } +1 an {y α,y β } +1 Applying Lemmas 33 an 34 we obtain {x i,x j } +1 2k+1,r+1 {x i +ϕ +1 i,x j +ϕ +1 j } 2k+1,r P k ( χ +1 k+1,r ) + {x i +ϕ +1 i,x j +ϕ +1 j } k+1,r χ +1 2k+1,r Q k ( χ +1 k+1,r ), where P k an Q k are polynomials functions which o not epen on In the same way as in the proof of (2 ), since Π k+1,r < C +1 k+1 +2 an χ+1 k+2,r < t 1/2, +1