• Aucun résultat trouvé

Infinitesimal deformations of Levi flat hypersurfaces

N/A
N/A
Protected

Academic year: 2021

Partager "Infinitesimal deformations of Levi flat hypersurfaces"

Copied!
24
0
0

Texte intégral

(1)Infinitesimal deformations of Levi flat hypersurfaces Andrei Iordan. To cite this version: Andrei Iordan. Infinitesimal deformations of Levi flat hypersurfaces. Bollettino dell’Unione Matematica Italiana, Springer Verlag, In press, �10.1007/s40574-018-0176-y�. �hal-01897005�. HAL Id: hal-01897005 https://hal.sorbonne-universite.fr/hal-01897005 Submitted on 16 Oct 2018. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) Infinitesimal deformations of Levi flat hypersurfaces Andrei Iordan1 In 2009, at the Conference of Complex Analysis and Geometry—Levico Terme, Paolo de Bartolomeis proposed me to study the deformations of Levi flat hypersurfaces. From 2010, we met several months a year and wrote several papers on this subject. In the first semester of 2016, I visited the Laboratory Fibonacci in Pisa and we had a lot of interesting discussions about the connection between the classical paper of Kodaira and Spencer, where they studied the foliations by means of the DGLA of graded derivations, and our papers. The present paper has its roots in these discussions. We planned to continue our work in Paris during the spring 2017, but unfortunately, Paolo passed away on 29th of November 2016. The mathematical research of Paolo holds a major position in the great tradition of Italian geometers. I am honoured to have been Paolo’s collaborator and friend.. Abstract In order to study the deformations of foliations of codimension 1 of a smooth manifold L, de Bartolomeis and Iordan defined the DGLA Z ∗ (L), where Z ∗ (L) is a subset of differential forms on L. In another paper, de Bartolomeis and Iordan studied the deformations of foliations of a smooth manifold L by defining the canonical solutions of Maurer–Cartan equation in the DGLA of graded derivations D∗ (L). Let L be a Levi flat hypersurface in a complex manifold. Then the deformation theories in Z ∗ (L) and D∗ (L) lead to the moduli space for the Levi flat deformations of L. In this paper we discuss the relationship between the infinitesimal deformations of L defined by the solutions of Maurer–Cartan equation in Z ∗ (L) and the infinitesimal deformations of L obtained by means of the canonical solutions of Maurer– Cartan equation in the DGLA of graded derivations D∗ (L). Keywords Levi flat hypersurface · Differential graded Lie Algebras · Maurer–Cartan equation · Foliations · Graded derivations Mathematics Subject Classification Primary 32G10 · 32E99 · 16W25 · 53C12. 1 Introduction In [7] Kodaira and Spencer’s studied the deformations of multifoliate structures by means of the DGLA of graded derivations whose underlying graded algebra was defined by Frölicher and Nijenhuis in [4]. They defined as in [6,9] the infinitesimal deformations and proved that. B 1. Andrei Iordan andrei.iordan@imj-prg.fr Institut de Mathématiques de Jussieu-Paris Rive Gauche, Faculté des Sciences et Ingénierie (former Université Pierre et Marie Curie), Sorbonne Université, 4 Place Jussieu, 75252 Paris Cedex 05, France.

(3) the infinitesimal deformations are represented by the tangent vectors at origin of the solutions of Maurer Cartan equation in the DGLA of graded derivations. In the paper [1], de Bartolomeis and the author studied deformations of Levi flat hypersurfaces in complex manifolds. For this purpose, we elaborated a theory of deformations of integrable distributions of codimension 1 in smooth manifolds. Our approach was different from [7] (see remark 14 of [1] for a discussion). In [1], the DGLA algebra (Z ∗ (L) , δ, {·, ·}) associated to a codimension 1 co-orientable foliation on a manifold L is a subalgebra of the the algebra (∗ (L) , δ, {·, ·}) of differential forms on L. Its definition depends on the choice of a DGLA defining couple (γ , X ), where γ is a 1-differential form on L and X is a vector field on L such that γ (X ) = 1, but the cohomology classes of the underlying differential vector space structure do not depend on its choice. The deformations are given by forms α ∈ Z 1 (L) verifying the Maurer– Cartan equation δα + 21 {α, α} = 0 and the moduli space takes in account the diffeomorphic deformations. The infinitesimal deformations along curves are subsets of of the first cohomology group of the DGLA (Z ∗ (L) , δ, {·, ·}), which are represented by tangent vectors at the origin of   curves with values in MCδ (L) = α ∈ Z 1 (L) : δα + 21 {α, α} = 0 . If L is a Levi flat hypersurface in a complex manifold, we defined the canonical DGLA defining couple for the Levi foliation of L. Then we parametrized the Levi flat hypersurfaces near L by means of the set of smooth functions on L and we obtained a partial differential equation for the infinitesimal Levi flat deformations. In [2] we defined canonical solutions of the Maurer–Cartan equation in the DGLA of graded derivations by means of deformations of the d-operator depending on a vector valued differential 1-form  and we gave a classification of these solutions depending on their type. A canonical solution e of the Maurer–Cartan equation associated to an endomorphism  is of finite type r if there exists r ∈ N such that r [, ]F N = 0 and r is minimal with this property, where [·, ·]F N is the Frölicher-Nijenhuis bracket. We proved that a distribution ξ of codimension k on a smooth manifold is integrable if and only if the canonical solution of the Maurer–Cartan equation associated to the endomorphism of the tangent space which is the trivial extension of the k -identity on a complement of ξ in T M is of finite type  1. In [3] we proved that the deformation theory in the DGLA of graded derivation is not obstructed, but it is level-wise obstructed. Let L be a smooth  Levi flat hypersurface in a complex manifold and consider  a Levi flat deformation L at of L given by a family (at ) of smooth functions on L. Let ωa(t) , Ya(t) be the canonical DGLA defining couple of L at and eωa(t) ⊗Ya(t) the canonical solution of the Maurer–Cartan equation in  the DGLA of graded derivations associated to ωa(t) ⊗ Ya(t)  . The  family of 1 -forms ωa(t) are the inverse images of a family of 1-forms on 1-forms γa(t) on L. In this paper we show that the infinitesimal deformation represented by the tangent at the origin to the curve t  → αat , where (αat ) are solutions of Maurer–Cartan equation in the DGLA (Z ∗ (L) , δ, {·, ·}), is also represented by the tangent at the origin to the curve t  → γa(t) .. 2 Preliminaries 2.1 The DGLA of graded derivations In this subsection we recall some definitions and properties of the DGLA of graded derivations from [4,7] (see, also [8])..

(4) Definition 1 A differential graded Lie agebra (DGLA) is a triple (V ∗ , d, [·, ·]) such that:   1. V ∗ = ⊕i∈N V i , where V i i∈N is a family of C-vector spaces and d : V ∗ → V ∗ is a graded homomorphism such that d 2 = 0. An element a ∈ V k is said to be homogeneous of degree k = deg a. 2. [·, ·] : V ∗ × V ∗ → V ∗ defines a structure of graded Lie algebra i.e., for homogeneous elements we have [a, b] = − (−1)deg a deg b [b, a] and [a, [b, c]] = [[a, b] , c] + (−1)deg a deg b [b, [a, c]] 3. d is compatible with the graded Lie algebra structure i.e., d [a, b] = [da, b] + (−1)deg a [a, db] . Definition 2 Let (V ∗ , d, [·, ·]) be a DGLA and a ∈ V 1 . We say that a verifies the Maurer– Cartan equation in (V ∗ , d, [·, ·]) if da +. 1 [a, a] = 0. 2. Definition 3 Let A = ⊕k∈Z Ak be a graded algebra. A linear mapping D : A → A is called a graded derivation of degree p = |D| if D : Ak → Ak+ p and D (ab) = D (a) b + (−1) p deg a a D (b). Notation 1 Let M be a smooth manifold. We denote by ∗ M the algebra of differential forms on M, by X (M) the Lie algebra of vector fields on M and by ∗ M ⊗ T M the algebra of T M-valued differential form on M, where T M is the tangent bundle to M. In the sequel, we will identify 1 M ⊗ T M with the algebra End (T M) of endomorphisms of T M by their canonical isomorphism: for σ ∈ 1 M, X , Y ∈ X (M), (σ ⊗ X ) (Y ) = σ (Y ) X . Definition 4 Let M be a smooth manifold. We denote by D∗ (M) the graded algebra of graded derivations of ∗ M. Definition 5 Let P, Q be homogeneous elements of degree |P| , |Q| of D∗ (M). We define [P, Q] = P Q − (−1)|P||Q| Q P, P = [d, P] . Lemma 1 Let M be a smooth manifold. Then (D∗ (M) , [·, ·] , ) is a DGLA. Definition 6 Let α ∈ ∗ M and X ∈ X (M). We define Lα⊗X , Iα⊗X by Lα⊗X σ = α ∧ L X σ + (−1)|α| dα ∧ ι X σ, σ ∈ ∗ (M). (2.1). Iα⊗X σ = α ∧ ι X σ, σ ∈  (M) ,. (2.2). ∗. where L X is the Lie derivative and ι X the contraction by X . For  ∈ ∗ M ⊗ T M we define L , I as the extensions by linearity of (2.1), (2.2). Lemma 2 For every D ∈ Dk (M) there exist unique forms  ∈ k M ⊗ T M, ∈ k+1 M ⊗ T M such that D = L + I . Denote L(D) = L and I (D) = Iψ ..

(5) It is proved in [7], Theorem 5.3, that the solutions of Maurer–Cartan equation in the DGLA of graded derivations define a deformation of a foliated manifold and an infinitesimal foliation is a class in the cohomology group H 1 (M, ), where is the sheaf associated to the multifoliate structure; moreover, the infinitesimal deformation is represented by the tangent vector at the origin to a curve with values in the set of solutions of Maurer–Cartan equation in the DGLA of graded derivations.. 2.2 Canonical solutions of Maurer–Cartan equation in the algebra of graded derivations This subsection gives some definitions and results from [2]. Definition 7 Let  ∈ 1 M ⊗ T M. (a) Let σ ∈  p M. We define σ ∈  p M by σ = σ if p = 0 and     (σ ) V1 , . . . , V p = σ V1 , . . . , V p i f p  1, V1 , . . . , V p ∈ X (M) . (b) Let ∈  p M ⊗ T M. We define  ∈  p M ⊗ T M by  = if p = 0 and       V1 , . . . , V p =  V1 , . . . , V p , V1 , . . . , V p ∈ X (M) i f p  1. Theorem 1 Let  ∈ 1 M ⊗ T M such that R = I dT M +  is invertible. Set −1 e = R  d R  −d. Then: (i) e is a solution of the Maurer–Cartan equation in (D∗ (M) , , [·, ·]). (ii) Let D be a solution of the Maurer–Cartan equation in (D∗ (M) , , [·, ·]). Let  ∈ 1 M ⊗ T M such that L (D) = L . Suppose that R = I dT (M) +  is invertible. Then D = e . Definition 8 Let  ∈ 1 M ⊗ T M such that I dT (M) +  is invertible. e is called the canonical solution of Maurer–Cartan equation associated to .. 2.3 Canonical DGLA defining couple for a Levi flat hypersurface In this subsection we will use the following setting and notations from [1]: Let L be a C ∞ manifold and ξ ⊂ T (L) an integrable distribution of codimension 1. We denote by k (L) the k-forms on L and ∗ (L) = ⊕k∈N k (L). For α, β ∈ ∗ (L), X ∈ X(L), set {α, β} = L X α ∧ β − α ∧ L X β where L X is the Lie derivative. Let γ ∈ ∧1 (L) such that ker γ = ξ and X a vector field on L such that γ (X ) = 1. Set δ = dγ = d + {γ , ·} and. . Z ∗ (L) = α ∈ ∗ (L) : ι X α = 0. Then (Z ∗ (L) , δ, {·, ·}) is a DGLA.. .

(6) Remark 1 Let L be a C ∞ manifold and ξ ⊂ T (L) an integrable distribution of codimension 1. Then there exists a 1-form γ on L such that ξ = ker γ if and only if ξ is co-orientable, i.e., the normal space to the foliation defined by ξ is orientable (see, for ex. [5]). Definition 9 Let L be a C ∞ manifold and ξ ⊂ T (L) an integrable co-orientable distribution of codimension 1. A couple (γ , X ) where γ ∈ ∧1 (L) and X is a vector field on L such that ker γ = ξ and γ (X ) = 1 will be called a DGLA defining couple. We denote.   1 MCδ (L) = α ∈ Z 1 (L) : δa + {α, α} = 0 2. the set of solutions of Maurer–Cartan equation in (Z ∗ (L) , δ, {·, ·}). It is proved in [1] that the moduli space of deformations of integrable distributions of codimension 1 is represented in H 1 (Z ∗ (L) , δ) by the tangent vectors at 0 to MCδ (L) valued curves. Definition 10 The infinitesimal deformations of L in (Z ∗ (L) , δ, {·, ·}) are the collection of cohomology classes in H 1 (Z ∗ (L) , δ) of the tangent vectors at 0 to MCδ (L) valued curves. In the sequel we will use the following setting and notations: Let M be a complex manifold and L a Levi flat hypersurface of class C k in M, k  2; then there exists r ∈ C k (M) , dr = 0 on L such that L = {z ∈ M : r (z) = 0} and set j : L → M the natural inclusion. As dr = 0 on a neighborhood of L in M we will suppose in the sequel that dr = 0 on M.   We denote by J the complex structure on M and let γ = j ∗ d Jc r , d Jc r = −J dr . The Levi distribution T (L) ∩ J T (L) = ker γ is integrable.  2 Let g be a fixed Hermitian metric on M and Z = gradg r / gradg r g . Then the vector field X = J Z is tangent to L and verifies γ (X ) = d Jc r (J Z ) = 1. Definition 11 For a given defining function r and a Hermitian metric on M, we will fix γ and X defined before and we will call (γ , X ) the canonical DGLA defining couple associated to the Levi foliation on L.. 2.4 Deformations of Levi flat hypersurfaces As in [1], we will give a parametrization of real hypersurfaces near a given hypersurface L and diffeomorphic to L as graphs over L: Let U be a tubular neighborhood of L in M and π : U → L the projection on L along the integral curves of Z . As we are interested in infinitesimal deformations we suppose U = M. Let a ∈ C ∞ (L; R). Denote L a = {z ∈ M : r (z) = a (π (z))} . Since Z is transverse to L, L a is a hypersurface in M. Consider the map a : M → M defined by a ( p) = q, where π (q) = π ( p) , r (q) = r ( p) + a (π ( p)) .. (2.3). In particular, for every x ∈ L we have r (a (x)) = a (x) .. (2.4).

(7) a is a diffeomorphism of M such that a (L) = L a and a−1 = π L a . Conversely, let ∈ U ⊂ Di f f (M), where U is a suitable neighborhood of the identity in Di f f (M). Then there exists a ∈ C ∞ (L) such that (L) = L a . Indeed, for x ∈ L, let q (x) ∈ (L) such that π (q (x)) = x. By defining a (x) = r (q (x)), we obtain (L) = L a . So we have the following: Lemma 3 Let ∈ U . There exists a unique a ∈ C ∞ (L) such that (L) = L a . It follows that a neighborhood V of 0 in C ∞ (L) is a set of parametrization of hypersurfaces close to L.   For a ∈ V , consider the almost complex structure Ja = a−1 ∗ ◦ J ◦ (a )∗ on M and denote  −1 ∗  c  αa = d Jca r (X ) j d Ja r − γ . (2.5) Then αa ∈ Z 1 (L) and we have the following Proposition 1 For every a ∈ V , the following assertions are equivalent: (i) L a is Levi flat. (ii) αa satisfies the Maurer–Cartan equation in (Z ∗ (L) , δ, {·, ·}) i.e., δαa +. 1 {αa , αa } = 0. 2. (2.6). Definition 12 A 1-dimensional Levi flat deformation of L is a smooth mapping : I × M → M such that t = (t, ·) ∈ Di f f (M), L t = t L is a Levi flat hypersurface in M for every t ∈ I and L 0 = L. By Proposition 1 a Levi  deformation of L is given by a family (at )t∈I in V such  flat that the associated family αat t∈I of 1-forms satisfies the Maurer–Cartan equation (2.6) in (Z ∗ (L) , δ, {·, ·}) for every t.   Set jat : L at → M the natural embedding, rat = r − at ◦ π and ηat = ja∗t d c rat ∈     1 L at . Let ηat , Yat be the canonical defining couple for the Levi flat hypersurface L at associated to rat and set σ (t) = ηat ⊗ Yat . Then eσ (t) is the canonical solution of Maurer– Cartan equation in the algebra of graded derivations and the tangent vector   to the curve t  → σ (t) represents the infinitesimal deformation. By setting γat = a∗t ηat ∈ 1 (L) and       Yat ∈ H (L), we have γat X a t = 1. Since ker ηat is integrable if and only X at = a−1 t ∗   if ker γat is integrable, γat , X at is a DGLA defining couple for the integrable distribution ker γat ⊂ T L.. 3 Infinitesimal deformations Recall that in the sequel we use the setting and the notations of the previous section: for a given Levi flat hypersurface L in a complex manifold M, we will fix a defining function r , a Hermitian metric g on M, the canonical DGLA defining couple (γ , X ) for the Levi foliation associated to r ; also, for a ∈ C ∞ (L), we will use the meaning of L a , a , ja , ra , ηa , γa , αa , defined before. An equivalent form of Proposition 5 of [1] is the following: Proposition 2 Let L be a Levi flat hypersurface in a complex manifold M, (at )t∈I a family t in C ∞ (L) defining a Levi flat deformation of L and p = da dt |t=0 . Then for every vector field.

(8) V in a neighborhood of L such that the restriction of V to L is a section of T L ∩ J T L we have dαat (3.1) (V ) = pι X J dd c r (V ) − d c p (V ) = −δ c p. dt |t=0 where δ c : Z ∗ (L) → Z ∗ (L) is defined for α ∈ Z p (L) and V1 , . . . , V p+1 ∈ T (L)∩ J T (L) by     δ c α V1 , . . . , V p+1 = J −1 δ J α V1 , . . . , V p+1 . We will give firstly a different proof of Proposition 2 by using the following Lemma: Lemma 4 Let L be a Levi flat hypersurface in a complex manifold M and (at )t∈I a family of smooth functions on L defining a Levi flat deformation of L. Then for every vector field V in a neighborhood of L such that the restriction of V to L is a section of T L ∩ J T L we have  −1   at ∗, (η) J at ∗,η (V ) = J V (η) + t ( p ◦ π) (η) ([Z , J V ] (η) − J [Z , V ] (η)) at. − t ( p∗ )π (at (η)) (J V ) Z (η). + t ( p∗ )π (at (η)) (V ) (J Z ) η + o (t) .   Proof Step 1. First order development of at and at ∗ by means of coordinates η such that Z = ∂η∂ 1 . Let x ∈ L and consider holomorphic coordinates z = (z 1 , . . . , z n ) in a neighborhood U of x in M, z j = x j + i y j , j = 1, . . . , n. Denote by ξ = (ξ1 , . . . , ξ2n ) the corresponding real coordinates, ξ2 j−1 = x j , ξ2 j = y j , j = 1, . . . , n. We may suppose that Z 1 (x) = 0 and consider a smooth change of coordinates ξ = ξ (η) in a neighborhood of x such that Z = ∂η∂ 1 defined by: 2n 2n 2n

(9)

(10)

(11) ∂ ∂ηi ∂ η ∂ ξ = Zj = Zj ∂ξ j ∂η j ∂ξ j ∂ηi j=1 j=1 j=1 i=1 ⎛ ⎞ 2n 2n

(12)

(13) ξ ∂ηi ⎝ ⎠ ∂ = ∂ , = Zj ∂ξ j ∂ηi ∂η1. Z =. 2n

(14). i=1. so. 2n

(15) j=1. which means. ξ. Zj. (3.2). j=1. ξ. Zj. 2n

(16) ∂η1 ξ ∂ηi = 1, Zj = 0, i  2. ∂ξ j ∂ξ j j=1. ∂ (η) ξ Z = (1, 0, . . . , 0) ⇐⇒ Z ξ = ∂ (ξ ). . ∂ (η) ∂ (ξ ). −1. e1 ,. where e1 = (1, 0, . . . , 0).. −1   Denote ∂(η) = ai j 1i, j2n and we choose ∂(ξ ) ξ. j. ai1 = Z i , i = 1, . . . , n, ai j = δi , i = 1, . . . , n, j = 2, . . . , n j. j. where δi = 1 if i = j, δi = 0 otherwise.. (3.3).

(17) Let V be a vector field on M in a neighborhood of x, V (η) =. j=1. for every j = 1, . . . , 2n we have . ∂ ∂η j.  η. =. 2n

(18) ∂ξ j j=1. and.  J. ∂ηi. ∂ ∂η j.  (η).  η. =. ∂ ∂ξ j. n

(19) i=1.  ξ (η). =. J V (η) =. a j (η) J. ∂ ∂η j. η. . Since. i=1.     n

(20) ∂ yi ∂ xi ∂ ∂ − + (η) (η) ∂η j ∂ xi ξ (η) ∂η j ∂ yi ξ (η). . j=1. a j (η).     n n

(21)

(22) ∂ xi ∂ yi ∂ ∂ + (η) (η) ∂η j ∂ xi ξ (η) ∂η j ∂ yi ξ (η) i=1. (3.4). i=1. it follows that 2n

(23). 2n . ∂ ∂η j.  η. ⎛ 2n 2n n

(24)

(25)

(26) ∂ yi ∂ηk ⎝ = a j (η) − (η) (ξ (η)) ∂η j ∂ xi k=1 j=1 i=1 ⎞   ∂ηk ∂ xi ∂ . (3.5) + (η) (ξ (η)) ⎠ ∂η j ∂ yi ∂ηk η. We will consider t small enough in order that at (U ) ⊂ U . Suppose that in a neighborhood of x the hypersuface L is given by    L = η1 = ϕ η . (3.6). where. η = (η2 , . . . , ηn ) .   Since the flow of Z is F (η, t) = η1 + t, η , π is given by     π (η) = ϕ η , η and. (3.7).     at (η) = at η1 , η = η1 + λt (η) , η ,. where λt is a smooth real function on a neighborhood of x verifying       r η1 + λt (η) , η = r (η) + at ϕ η , η , and λ0 = 0. From (3.8) it follows that   dλt d        d   ∂r  r η1 + λt (η) , η = at ϕ η , η , η1 + λt (η) , η (η) = dt ∂η1 dt dt which can be written as  dλt ∂r  d η1 + λt (η) , η (η) = at (π (η)) . ∂η1 dt dt For t = 0 we obtain. ∂r dλt (η)|t=0 = p (π (η)) . (η) ∂η1 dt. (3.8).

(27) So 1 dλt 1 1 = ∂r ( p ◦ π) = ( p ◦ π) = ( p ◦ π) dt |t=0 Z dr (r ) (Z ) ∂η 1. . = dr. 1.  ( p ◦ π) = p ◦ π. gradg r. gradg r 2. and λt (η) = t p (π (η)) + o (t) . It follows that at (η) = η + (λt (η) , 0, . . . , 0) = η + t p (π (η) , 0, . . . , 0) + o (t) ,. (3.9). so ∂a1t ∂η1. = 1+t. ∂a1t ∂ ( p ◦ π) ∂ (p ◦ π) + o (t) , =t + o (t) , k  2, ∂η1 ∂ηk ∂ηk. j. ∂at j = δk + o (t) , j  2, k  1, ∂ηk j. (3.10). j. where δk = 0 if j = k and δk = 1 if j = k. Analoguously we obtain   a−1 (η) = η1 − λt (η) , η = η − t p (π (η)) e1 + o (t) , t 1 1   ∂ a−1 ∂ a−1 ∂ ( p ◦ π) ∂ (p ◦ π) t t = 1−t + o (t) , = −t + o (t) , k  2, ∂η1 ∂η1 ∂ηk ∂ηk j  ∂ a−1 j t = δk + o (t) , j, k  2. (3.11) ∂ηk  −1 Step 2. First order development of at ∗,. at (η).   J at ∗,η (V ).. Let V be a vector field on M in a neighborhood of x, V (η) =.  2n . ai (η). i=1. ∂ ∂ηi.  η. .. By (3.10) we have   2n  2n

(28)

(29) ∂aj   ∂ t at ∗,η (V ) = (η) ak (η) ∂ηk ∂η j a (η) j=1 k=1 t     2n

(30) ∂ ( p ◦ π) ∂ ∂ (p ◦ π) = 1+t (η) a1 (η) + t (η) ak (η) ∂η1 ∂ηk ∂η1 a +. 2n 2n

(31)

(32).  δ kj ak (η). j=2 k=1. =. 2n

(33) j=1.  a j (η). ∂ ∂η j. ∂ ∂η j. at (η).  at (η). k=2. . +t. + o (t). 2n

(34) ∂ ( p ◦ π) k=1. ∂ηk.  ak (η). ∂ ∂η1.  at (η). + o (t). t (η).

(35) and by using (3.4) we obtain   2n

(36)   ∂ a j (η) J J at ∗,η (V ) = ∂η j a (η) j=1 t ⎛ ⎞     2n

(37) ∂ ∂ ⎝ ⎠ +t ( p ◦ π )∗η a j (η) J ∂η j ∂η1 a j=1. =. 2n

(38). a j (η). j=1. n 2n

(39)

(40). −. k=1 i=1. t (η). + o (t).    ∂ηk    ∂ ∂ yi  at (η) ξ at (η) ∂η j ∂ xi ∂ηk a. t (η).   n 2n

(41)

(42)  ∂ηk    ∂ ∂ xi  at (η) ξ at (η) ∂η j ∂ yi ∂ηk a (η) t j=1 k=1 i=1 ⎛ ⎞     2n

(43) ∂ ∂ ⎠ J +t ( p ◦ π )∗η ⎝ a j (η) + o (t) . (3.12) ∂η j ∂η1 a (η) +. 2n

(44). a j (η). j=1. 2n . Analoguosly, for a vector field. k=1.   −1 at ∗. . at (η). =. 2n

(45). 2n

(46). bk ∂η∂ k on U by (3.11) we have . bk at (η). k=1.   bk at (η). . k=1. −t ( p ◦ π)∗at (η). t. ∂ ∂ηk  2n

(47) k=1. . . ∂ ∂ηk. . . . at (η). η. . bk at (η). . . ∂ ∂ηk. .  at (η). ∂ ∂η1.  η. + o (t). (3.13). and by (3.12) it follows that ⎛ ⎞⎞   2n

(48)   ∂ ⎠⎠ a j (η) at ∗ (η) ⎝ J at ∗η ⎝ at ∂η j j=1 ⎛ ⎛ ⎞⎞  n   2n 2n

(49)

(50)

(51) ∂ yi   ∂ηk    ∂ −1  ⎠⎠ ⎝ a j (η) − at (η) ξ at (η) = at ∗ (η) ⎝ at ∂η j ∂ xi ∂ηk a (η) t k=1 j=1 i=1 ⎛ ⎛ ⎞⎞    2n 2n

(52)

(53)   ∂ηk    −1  ∂ x ∂ i ⎝ ⎠⎠ + at ∗ (η) ⎝ a j (η) at (η) ξ at (η) at ∂η j ∂ yi ∂ηk a (η) t k=1 j=1 ⎛ ⎞       2n

(54) −1  ∂ ∂ ⎠ at J a j (η) +t ( p ◦ π)∗η ⎝ ∗at (η) ∂η j ∂η1 a (η). . −1. ⎛. j=1. t.

(55) ⎛  2n 2n n

(56)

(57)

(58)   ∂ηk  ∂ yi  ⎝ ξ at (η) = a j (η) − at (η) ∂η j ∂ xi k=1 j=1 i=1 ⎞     ∂ηk    ∂ xi  ⎠ ∂ at (η) ξ at (η) + ∂η j ∂ yi ∂ηk η ⎛ ⎛ ⎞⎞     2n

(59)   ∂ ⎠⎠ ∂ −t ( p ◦ π)∗at (η) ⎝ J at ∗η ⎝ a j (η) ∂η j ∂η1 η j=1 ⎞ ⎛       2n

(60) −1 ∂ ⎠ ∂ ⎝ at ∗ (η) J +t ( p ◦ π)∗η a j (η) at ∂η j ∂η1 a (η) j=1. t. = A + B + C + o (t) ,. (3.14). where . n 

(61)  ∂ηk    ∂ yi  A= at (η) ξ at (η) a j (η) − ∂η j ∂ xi k=1 j=1 i=1     ∂ηk    ∂ xi  ∂ at (η) ξ at (η) + , ∂η j ∂ yi ∂ηk η ⎛ ⎛ ⎞⎞     2n

(62)   ∂ ⎠⎠ ∂ a j (η) B = −t ( p ◦ π)∗at (η) ⎝ J at ∗η ⎝ ∂η j ∂η1 η j=1 ⎛ ⎞       2n

(63) −1 ∂ ∂ ⎠ ⎝ at ∗ (η) J C = t ( p ◦ π)∗η . a j (η) at ∂η j ∂η1 a (η) 2n 2n

(64)

(65). j=1. (3.15). (3.16). (3.17). t.   Step 3. First order development of ξ at (η) . By (3.9) it follows that . . . ∂ξ n ∂ξ 1 ξ at (η) = ξ (η) + t ( p ◦ π ) (η) ,..., ∂η1 ∂η1 By (3.3) we have. so (3.18) gives. . ∂ξ n ∂ξ 1 ,..., ∂η1 ∂η1.  + o (t) .. (3.18).  = e1 ,.   ξ at (η) = ξ (η) + t ( p ◦ π) (η) e1 + o (t). (3.19). and it follows that  ∂ηk ∂ηk   ξ at (η) = (ξ (η) + t ( p ◦ π ) (η) e1 + o (t)) ∂ xi ∂ xi   ∂ ∂ηk ∂ηk ξ (η) + o (t) = (ξ (η)) + t ( p ◦ π) (η) ∂ xi ∂η1 ∂ xi. (3.20).

(66) and  ∂ηk ∂ηk   ξ at (η) = (ξ (η) + t ( p ◦ π) (η) e1 + o (t)) ∂ yi ∂ yi   ∂ ∂ηk ∂ηk ξ (η) + o (t) . (3.21) = (ξ (η)) + t ( p ◦ π) (η) ∂ yi ∂η1 ∂ yi In the next steps we will find the first order development of A, B and C. Step 4. First order development of A. By (3.15), (3.9), (3.20) and (3.21) we have  n  2n 2n

(67)

(68)

(69)  ∂ηk    ∂ yi  at (η) ξ at (η) a j (η) A= − ∂η j ∂ xi k=1 j=1 i=1     ∂ηk    ∂ xi  ∂ at (η) ξ at (η) + ∂η j ∂ yi ∂ηk  n  2n 2n

(70)

(71)

(72) ∂ yi ∂ηk a j (η) − = (η + t ( p ◦ π ) (η) e1 ) (ξ (η)) ∂η j ∂ xi k=1 j=1 i=1     ∂ ∂ηk ∂ +t ( p ◦ π) (η) ξ (η) ∂η1 ∂ xi ∂ηk  n  2n 2n

(73)

(74)

(75) ∂ xi ∂ηk a j (η) + (η + t ( p ◦ π) (η) e1 ) (ξ (η)) ∂η j ∂ yi k=1 j=1 i=1     ∂ ∂ηk ∂ +t ( p ◦ π) (η) ξ (η) + o (t) . ∂η1 ∂ yi ∂ηk But −.     ∂ yi ∂ yi ∂ yi ∂ (η) + o (t) , (η + t ( p ◦ π ) (η) e1 ) = − (η) − t ( p ◦ π ) (η) ∂η j ∂η j ∂η1 ∂η j. and. ∂ xi ∂ ∂ xi (η + t ( p ◦ π ) (η) e1 ) = (η) + t ( p ◦ π ) ∂η j ∂η j ∂η1. . ∂ xi ∂η j.  (η) + o (t) ,. and it follows that A = A1 + t ( p ◦ π) (η) A2 + t ( p ◦ π ) (η) A3 + o (t) ,. (3.22). where A1 =. 2n 2n

(76)

(77). a j (η). k=1 j=1.  n 

(78) ∂ yi ∂ηk ∂ηk ∂ xi − (η) (ξ (η)) + (ξ (η)) (η) ∂η j ∂ yi ∂ yi ∂η j i=1. ⎞        2n 2n n 

(79)

(80)

(81) ∂ x ∂ ∂ y ∂ ∂ ∂η ∂η i k i k ⎝ A2 = − a j (η) ξ (η) + ξ (η) ⎠ , (η) (η) ∂η j ∂η1 ∂ xi ∂η j ∂η1 ∂ yi ∂ηk η ⎛. k=1. j=1. i=1. and A3 =. 2n 2n

(82)

(83) k=1 j=1. a j (η).  n

(84) i=1. −. ∂ ∂η1. . ∂ yi ∂η j.  (η). ∂ηk ∂ (ξ (η)) + ∂ xi ∂η1. . ∂ xi ∂η j. .  (η). ∂ηk (ξ (η)) ∂ yi. ∂ ∂ηk.  ..

(85) From (3.5) we obtain A1 = J V (η) .. (3.23). Since  −.           ∂ηk ∂ ∂ ∂ yi ∂ηk ∂ yi ∂ yi ∂ ∂ηk ξ (η) = − ξ (η) + ξ (η) (η) (η) (η) ∂η j ∂η1 ∂ xi ∂η1 ∂η j ∂ xi ∂η1 ∂η j ∂ xi. and ∂ ∂ xi (η) ∂η j ∂η1. .       ∂ηk ∂ηk ∂ xi ∂ xi ∂ηk ∂ ∂ ξ (η) = ξ (η) − ξ (η) , (η) (η) ∂ yi ∂η1 ∂η j ∂ yi ∂η1 ∂η j ∂ yi. it follows that ⎞ ⎛      2n 2n n 

(86)

(87)

(88) ∂ ∂ y ∂ x ∂ ∂η ∂η i k i k ⎠ ∂ ⎝ − A2 = a j (η) ξ (η) + ξ (η) (η) (η) ∂η1 ∂η j ∂ xi ∂η1 ∂η j ∂ yi ∂ηk k=1 j=1 i=1 ⎛ ⎞        2n 2n n

(89)

(90)

(91) ∂ xi ∂ xi ∂ ∂ ∂ηk ∂ηk ∂ ⎝ + a j (η) ξ (η) − ξ (η) ⎠ (η) (η) ∂η1 ∂η j ∂ yi ∂η1 ∂η j ∂ yi ∂ηk k=1 j=1 i=1 ⎞ ⎛     2n 2n n

(92)

(93)

(94) ∂ ∂ yi ∂ ∂ xi ∂ηk ∂ηk ⎝ − − A3 , = a j (η) ξ (η) + ξ (η) ⎠ (η) (η) ∂η1 ∂η j ∂ xi ∂η j ∂ yi ∂ηk k=1. j=1. i=1. so ⎛ ⎞     2n 2n n

(95)

(96)

(97) ∂ y ∂ ∂ x ∂η ∂η ∂ i k i k ⎝ − A2 + A3 = a j (η) ξ (η) + ξ (η) ⎠ (η) (η) ∂η1 ∂η j ∂ xi ∂η j ∂ yi ∂ηk k=1 j=1 i=1 ⎞ ⎛     2n 2n n n

(98)

(99)

(100) ∂ ⎝

(101) ∂ xi ∂ yi ∂ ∂ηk ∂ηk = − a j (η) ξ (η) + ξ (η) ⎠ (η) (η) ∂η1 ∂η j ∂ xi ∂η j ∂ yi ∂ηk k=1 j=1 i=1 i=1 ⎞ ⎛     n 2n 2n n

(102)

(103)

(104) ∂a j (η)

(105) ∂ xi ∂ yi ∂ ∂ηk ∂ηk ⎝ . − − ξ (η) + ξ (η) ⎠ (η) (η) ∂η1 ∂η j ∂ xi ∂η j ∂ yi ∂ηk k=1. j=1. i=1. i=1. (3.24) By (3.2) and (3.5) we obtain A2 + A3 = [Z , J V ] (η) − J [Z , V ] (η) ,. (3.25). and by (3.22), (3.23) and (3.25) it follows that A = J V (η) t ( p ◦ π) (η) ([Z , J V ] (η) − J [Z , V ] (η)) + o (t) .. (3.26). We will suppose in the sequel of the proof that the restriction of V on L ∩ U is a section of T L ∩ J T L on L ∩ U . Step 5. First order development of B defined in (3.16)..

(106) By (3.6), (3.7) and (3.9) we have        ∂ ∂ ∂ϕ  ∂ at (η) + π∗at (η) = ∂ηk a (η) ∂ηk ∂η1 π (a (η)) ∂ηk a (η) t t t       ∂r  (η) a ∂ ∂ t ∂η + = − ∂rk   ∂η1 π (a (η)) ∂ηk π (a (η)) ∂η1 at (η) t t     ∂r (η) ∂ ∂ ∂η + + o (t) , = − ∂rk ∂η ∂η (η) 1 k π (at (η)) π (at (η)) ∂η1 (3.27) so by (3.12). ⎛. . (π∗ )at (η) ⎝ J at ⎛. . ⎛ ⎞⎞   2n

(107) ∂ ⎝ ⎠⎠ a j (η) ∗η ∂η j j=1. 2n

(108). n 2n

(109)

(110).  ∂ηk    ∂ yi  at (η) ξ at (η) ∂η j ∂ xi j=1 k=1 i=1  n 2n

(111)

(112)  ∂ηk    ∂ xi  at (η) ξ at (η) + ∂η j ∂ yi k=1 i=1    ∂ × (π∗ )at (η) ∂ηk a (η) t ⎛ ⎞      2n

(113) ∂ ∂ ⎝ ⎠ + t ( p ◦ π )∗η a j (η) (π∗ )at (η) J ∂η j ∂η1 a. =⎝. a j (η). −. j=1. By (3.9) and (3.19). ⎛. . (π∗ )at (η) ⎝ J at. .  t (η). + o (t) .. ⎛ ⎞⎞   2n

(114) ∂ ⎝ ⎠⎠ a j (η) ∗η ∂η j j=1. ⎞⎞ ⎛  n    2n

(115)

(116) ∂ x ∂η ∂η ∂ y i k i k ⎝ =⎝ a j (η) + − (η) ⎠⎠ ∂η j ∂ xi ∂η j ∂ yi k=1 j=1 i=1    ∂ ×π∗at (η) + o (t) ∂ηk a (η) t  n    2n 2n

(117)

(118)

(119) ∂ xi ∂ηk ∂ yi ∂ηk a j (η) + = − (η) ∂η j ∂ xi ∂η j ∂ yi k=1 j=1 i=1       ∂r ∂ ∂ ∂ηk (η) × − ∂r  + o (t) +  ∂η1 a (η) ∂ηk a (η) ∂η at (η) ⎛. 2n

(120). 1. t. t.

(121) =− +. . ∂r ∂η1. 2n

(122). 1. .  2n

(123). at (η).  (J V )k (η). k=1. k=1. ∂ ∂ηk. . ∂r (J V )k (η) (η) ∂ηk. ∂ ∂η1.  π (at (η)).  π (at (η)). + o (t). and by using (3.27) we obtain ⎛ ⎛ ⎞⎞   2n

(124)   ∂ ⎠⎠ a j (η) (π∗ )at (η) ⎝ J at ∗η ⎝ ∂η j j=1  n    2n 2n

(125)

(126)

(127) ∂ xi ∂ηk ∂ yi ∂ηk a j (η) + = − (η) ∂η j ∂ xi ∂η j ∂ yi k=1 j=1 i=1       ∂r ∂ ∂ ∂ηk (η) × − ∂r  +  ∂η1 a (η) ∂ηk a (η) ∂η at (η) t. 1. +o (t) =− +. ∂r ∂η1. 2n

(128). . 1. .  2n

(129). at (η).  (J V )k (η). k=1. k=1. ∂ ∂ηk. t. ∂r (J V )k (η) (η) ∂ηk. .  π (at (η)). ∂ ∂η1.  π (at (η)). + o (t) .. Since V is a section of T L ∩ J T L on L ∩ U , the first term above vanishes and ⎞ ⎛ ⎛ ⎞  n     2n 2n

(130)

(131)

(132)   ∂ηk    ∂ ∂ y i ⎠ ⎝ ⎠ at (η) ξ at (η) a j (η) − (π∗ )at (η) ⎝ ∂η j ∂ xi ∂ηk a (η) t k=1. j=1. i=1. = J V + o (t) .. It follows that. ⎛. ⎛ ⎞⎞     2n

(133) ∂ ⎠⎠ ∂ a j (η) B = −t ( p ◦ π)∗at (η) ⎝ J at ∗η ⎝ ∂η j ∂η1 η j=1   ∂ = −t ( p∗ )π (at (η)) (J V ) + o (t.) ∂η1 η . . (3.28). Step 6. First order development of C defined in (3.17). By (3.5) and (3.13)      −1 ∂ at ∗, (η) J at ∂η1 a (η) t   2n n

(134)

(135)  ∂ηk    ∂ xi   ∂ηk    ∂ yi  at (η) ξ at (η) + at (η) ξ at (η) = − ∂η1 ∂ xi ∂η1 ∂ yi k=1 i=1   ∂ × + o (t) ∂ηk.

(136) and by (3.9), (3.5) and (3.19) it follows that     n  2n

(137)

(138) ∂ yi  −1 ∂ηk ∂ at ∗, (η) J = − (η) (ξ (η)) at ∂η1 a (η) ∂η1 ∂ xi t k=1 i=1   ∂ηk ∂ xi ∂ + + o (t) (η) (ξ (η)) ∂η1 ∂ yi ∂ηk   ∂ + o (t) . = J ∂η1 η which implies that ⎛ C = t ( p ◦ π)∗η ⎝. 2n

(139) j=1. ⎞    ∂ ∂ ⎠ J a j (η) + o (t) . ∂η j ∂η1 η . (3.29). Step 7 End of the proof. Finally, from (3.14), (3.26), (3.28) and (3.29) we obtain  −1   at ∗, (η) J at ∗,η (V ) a. = J V (η) + t ( p ◦ π ) (η) ([Z , J V ] (η) − J [Z , V ] (η)) − t ( p∗ )π (at (η)) (J V ) Z (η). +t ( p∗ )π (at (η)) (V ) (J Z ) (η) + o (t) . t.   We will prove now Proposition 2: Proof Since α0 = 0, from (2.5) we have  . −1. d dαat j ∗ d Jca r − γ (V ) d Jca r (X ) (V ) = t t dt |t=0 dt |t=0 . . −1   d d Jca r (X ) = j ∗ d c r (V ) t dt |t=0. −1 d  j ∗ d Jca r (V ) . + j ∗ d c r (J Z ) t dt |t=0 Since j ∗ (d c r ) (V ) = γ (V ) = 0 and j ∗ d c r (J Z ) = γ (X ) = 1 we obtain. d dαat j ∗ d Jca r (V ) . (V ) = t dt |t=0 dt |t=0 But.   d d −Jat dr (V ) j ∗ d Jca r (V ) = t dt |t=0 dt |t=0   d Jat V = − (dr ) dt |t=0. .    d a−1 ◦ J ◦ at ∗ (V ) , = − (dr ) t ∗ dt |t=0.

(140) and by Lemma 4 it follows that dαat (V ) = − (dr ) ( p ([Z , J V ] − J [Z , V ]) − ( p∗ (J V )) Z + ( p∗ (V )) J Z ) . dt |t=0 (3.30) Since 0 = ddr (Z , J V ) = Z (dr (J V )) − J V (dr (Z )) − dr [Z , J V ] and dr (Z ) = 1, we have. dr [Z , J V ] = Z (dr (J V )) .. (3.31). Similarly, since.     dd c r (Z , V ) = Z d c r (V ) − V d c r (Z ) − d c r ([Z , V ]) = −Z (dr (J V )) + V (J (dr (Z ))) + dr (J [Z , V ]) = −Z (dr (J V )) + dr (J [Z , V ]) ,. (3.32). we have dr (J [Z , V ]) = dd c r (Z , V ) + Z (dr (J V )) .. (3.33). By replacing dr [Z , J V ] and dr (J [Z , V ]) from (3.31) and (3.33) in (3.30 ), since dr (J Z ) = dr (X ) = 0, it follows that   dαat (V ) = − p Z (dr (J V )) + p dd c r (Z , V ) + Z (J dr (V )) + J V ( p) dt |t=0 = pdd c r (Z , V ) + J V ( p) = pdd c r (J Z , J V ) − d c p (V ) . Since dd c r (J Z , J V ) = ι J Z dd c r (J V ) = ι X J dd c r (V ) , we obtain. dαat (V ) = pι X J dd c r (V ) − d c p (V ) . dt |t=0  . Proposition 3 Let L be a Levi flat hypersurface in M and (at )t∈]−ε,ε[ a differentiable family t in C ∞ (L) which defines a Levi flat deformation of L. Set p = da dt |t=0 . Then, for each vector field V on M such that the restriction of V to L is a section of T L ∩ J T L, we have dγat (V ) = − p J ι X dd c r (V ) + d c p (V ) . dt |t=0. (3.34). Proof For every x ∈ L and V ∈ Tx L we have   γat (x) (V ) = a∗t ηat (x) (V ).          at ∗,x (V ) = ja∗t d c rat at (x) at ∗,x (V ) = ηat at (x).         = d c rat jat at (x) jat ∗ at ∗,x (V ).      = d c rat at (x) at ∗,x (V ).     = (−J dr + J d (at ◦ π)) at (x) at ∗,x (V ).        = −J dr at (x) at ∗,x (V ) + J d (at ◦ π ) at (x) at ∗,x (V ).

(141) .         = −dr at (x) J at ∗,x (V ) + d (at ◦ π ) at (x) J at ∗,x (V ) . (3.35) We will consider the coordinates η in a neighborhood of x defined in the first step of the proof of Lemma 4 such that Z = ∂η∂ 1 on U ..     Step 1. First order development of dr at (x) J at ∗,x (V ) .. 2n      Set V = a j (η) ∂η∂ j . Since dr at (η) · (J Z ) at (η) = 0, by (3.12) we have j=1. 2n 2n

(142)

(143)     dr at (η) J at ∗,η (V ) = a j (η).  ×. k=1 j=1.   ∂ηk    ∂ xi   ∂ηk    ∂ yi  at (η) ξ at (η) + at (η) ξ at (η) − ∂η j ∂ xi ∂η j ∂ yi. n 

(144) i=1.  ∂r  at (η) + o (t) . × ∂ηk. (3.36). But by using (3.9), (3.20) and (3.21) we obtain  ∂ηk    ∂ yi  at (η) ξ at (η) − ∂η j ∂ xi   n

(145) ∂ yi − = (η + t ( p ◦ π ) (η) e1 ) ∂η j i=1    ∂ηk ∂ ∂ηk × ξ (η) + o (t) (ξ (η)) + t ( p ◦ π) (η) ∂ xi ∂η1 ∂ xi   n    

(146) ∂ yi ∂ yi ∂ − = (η) (η) − t ( p ◦ π) ∂η j ∂η1 ∂η j i=1    ∂ηk ∂ ∂ηk × ξ (η) + o (t) , (ξ (η)) + t ( p ◦ π ) (η) ∂ xi ∂η1 ∂ xi (3.37) and.  ∂ηk    ∂ xi  at (η) ξ at (η) ∂η j ∂ yi    ∂ ∂ηk ∂ xi ∂ηk ξ (η) = + o (t) (η + t ( p ◦ π ) e1 ) (ξ (η)) + t ( p ◦ π) (η) ∂η j ∂ yi ∂η1 ∂ yi     ∂ ∂ xi ∂ xi = (η) (η) + t ( p ◦ π) ∂η j ∂η1 ∂η j    ∂ ∂ηk ∂ηk ξ (η) × + o (t) , (3.38) (ξ (η)) + t ( p ◦ π) (η) ∂ yi ∂η1 ∂ yi. so by replacing (3.37) and (3.38) in (3.36) it follows that.     dr at (η) J at ∗,η (V )  n  2n

(147) 2n

(148)

(149) ∂ yi  ∂ xi ∂r  ∂ηk ∂ηk = at (η) a j (η) − (η) (ξ (η)) + (η) (ξ (η)) ∂η j ∂ xi ∂η j ∂ yi ∂ηk k=1 j=1. i=1.

(150) ⎛ ⎞      2n 2n n 

(151)

(152)

(153) ∂ y ∂η ∂η ∂ ∂ ∂ x i k i k ⎝ +t ( p ◦ π ) (η) a j (η) ξ (η) + ξ (η) ⎠ − (η) (η) ∂η j ∂η1 ∂ xi ∂η j ∂η1 ∂ yi k=1. j=1. i=1.  ∂r  at (η) × ∂ηk +t ( p ◦ π ) (η). 2n

(154) 2n

(155). a j (η).  n

(156). k=1 j=1. i=1. −. ∂ ∂η1. . ∂ yi ∂η j.  (η). ∂ ∂ηk (ξ (η)) + ∂ xi ∂η1. . ∂ xi ∂η j.  (η). ∂ηk (ξ (η)) ∂ yi. .  ∂r  × at (η) + o (t) . ∂ηk. By (3.5) 2n 2n

(157)

(158).  a j (η). k=1 j=1. n

(159) i=1.   ∂ηk ∂ xi ∂ηk ∂r  ∂ yi at (η) − (η) (ξ (η)) + (η) (ξ (η)) ∂η j ∂ xi ∂η j ∂ yi ∂ηk.   = dr at (η) · J V (η) ,. so.     dr at (η) J at ∗,η (V )   = dr at (η) · J V (η) ⎛ ⎞      2n 2n n 

(160)

(161)

(162) ∂ ∂ ∂ y ∂η ∂η ∂ x i k i k ⎝ − a j (η) ξ (η) + ξ (η) ⎠ +t ( p ◦ π ) (η) (η) (η) ∂η j ∂η1 ∂ xi ∂η j ∂η1 ∂ yi k=1. j=1. i=1.  ∂r  at (η) × ∂ηk +t ( p ◦ π ) (η). 2n

(163) 2n

(164).  a j (η). k=1 j=1. n

(165) i=1. ∂ − ∂η1. . ∂ yi ∂η j. . ∂ ∂ηk (ξ (η)) + (η) ∂ xi ∂η1. . ∂ xi ∂η j. . ∂ηk (ξ (η)) (η) ∂ yi.  ∂r  × at (η) + o (t) . ∂ηk. . (3.39).   We will now compute the first order development of dr at (η) · J V (η). By (3.9) we have  ∂r  ∂r at (η) = (η + t p (π (η)) e1 + o (t)) ∂ηk ∂ηk   ∂ ∂r ∂r = (η) + o (t) , (η) + t p (π (η)) ∂ηk ∂η1 ∂ηk and it follows that   dr at (η) · J V (η).  n  2n 2n

(166)

(167) ∂ yi 

(168) ∂ηk ∂ xi ∂ηk ∂r  at (η) a j (η) − = (η) (ξ (η)) + (η) (ξ (η)) ∂ηk ∂η j ∂ xi ∂η j ∂ yi k=1. j=1. i=1.    ∂ ∂r ∂r (η) (η) + t p (π (η)) ∂ηk ∂η1 ∂ηk k=1  n  2n

(169)

(170) ∂ yi ∂ xi ∂ηk ∂ηk a j (η) − × (η) (ξ (η)) + (η) (ξ (η)) + o (t) ∂η j ∂ xi ∂η j ∂ yi. =. 2n 

(171). j=1. i=1.

(172) =. 2n 2n

(173)

(174).  a j (η). k=1 j=1. n

(175) i=1.  ∂ηk ∂ xi ∂ηk ∂r ∂ yi − (η) (ξ (η)) + (η) (ξ (η)) (η) ∂η j ∂ xi ∂η j ∂ yi ∂ηk. ⎛  n 2n

(176)

(177) ∂ yi ∂ηk ⎝ +t p (π (η)) a j (η) − (η) (ξ (η)) ∂η j ∂ xi k=1 j=1 i=1    ∂ηk ∂ xi ∂r ∂ + (η) + o (t) . (η) (ξ (η)) ∂η j ∂ yi ∂η1 ∂ηk 2n

(178). Since J V is tangent to L, (3.5) implies that  n  2n 2n

(179)

(180)

(181) ∂ yi ∂ηk ∂ xi ∂ηk ∂r a j (η) − (η) (ξ (η)) + (η) (ξ (η)) (η) ∂η j ∂ xi ∂η j ∂ yi ∂ηk k=1 j=1. i=1. = dr (η) · J V (η) = 0, and therefore.   dr at (η) · J V (η) ⎛  n 2n 2n

(182)

(183)

(184) ∂ yi ∂ηk ⎝ a j (η) − = t p (π (η)) (η) (ξ (η)) ∂η j ∂ xi k=1 j=1 i=1    ∂ηk ∂ xi ∂r ∂ + · (η) + o (t) . (η) (ξ (η)) ∂η j ∂ yi ∂η1 ∂ηk. To end the Step 1, we replace now (3.40) in (3.39) and we obtain.     dr at (η) J at ∗,η (V ) ⎛  n 2n 2n

(185)

(186)

(187) ∂ yi ∂ηk ⎝ = t ( p ◦ π) (η) a j (η) − (η) (ξ (η)) ∂η j ∂ xi k=1 j=1 i=1    ∂ηk ∂ xi ∂r ∂ + (η) (η) (ξ (η)) ∂η j ∂ yi ∂η1 ∂ηk ⎛    2n 2n n 

(188)

(189)

(190) ∂ yi ∂ηk ∂ ⎝ a j (η) ξ (η) +t ( p ◦ π) (η) − (η) ∂η j ∂η1 ∂ xi k=1 j=1 i=1   ∂ ∂ηk ∂ xi ∂r ξ (η) + (η) (η) ∂η j ∂η1 ∂ yi ∂ηk    2n 2n

(191) n

(192)

(193) ∂ ∂ yi ∂ηk a j (η) − +t ( p ◦ π) (η) (η) (ξ (η)) ∂η1 ∂η j ∂ xi k=1 j=1 i=1    ∂ηk ∂ ∂ xi ∂r + (η) (ξ (η)) (η) + o (t) ∂η1 ∂η j ∂ yi ∂ηk ⎛  n 2n 2n

(194)

(195)

(196) ∂ yi ∂ηk ⎝ a j (η) − = t p (π (η)) (η) (ξ (η)) ∂η j ∂ xi k=1. j=1. i=1. (3.40).

(197)    ∂ηk ∂ xi ∂r ∂ + (η) (η) (ξ (η)) ∂η j ∂ yi ∂η1 ∂ηk +t ( p ◦ π) (η) ([Z , J V ] − J [Z , V ]) (r ) (η) . But ⎛  n ⎞   2n 2n

(198)

(199)

(200) ∂ yi ∂r ∂ ∂η ∂ x ∂η k i k a j (η) − (η) (ξ (η)) + (η) (ξ (η)) ⎠ (η) ⎝ ∂η1 ∂ηk ∂η j ∂ xi ∂η j ∂ yi k=1 j=1 i=1 ⎛ ⎡  n ⎞⎤   2n 2n

(201)

(202)

(203) ∂ yi ∂ ⎣ ∂r ∂η ∂ x ∂η k i k a j (η) − = (η) ⎝ (η) (ξ (η)) + (η) (ξ (η)) ⎠⎦ ∂η1 ∂ηk ∂η j ∂ xi ∂η j ∂ yi k=1 j=1 i=1 ⎛  n ⎞   2n 2n

(204)

(205) ∂ yi ∂ ⎝

(206) ∂ηk ∂ xi ∂ηk ∂r ⎠ a j (η) − − (η) (ξ (η)) + (η) (ξ (η)) (η) ∂η1 ∂η j ∂ xi ∂η j ∂ yi ∂ηk k=1. j=1. i=1. = Z (dr · J V ) (η) − [Z , J V ] (r ) (η) ,. and it follows that.     dr at (η) J at ∗,η (V ) = t ( p ◦ π ) (Z (dr · J V ) − [Z , J V ] (r ) (η) + ([Z , J V ] − J [Z , V ]) (r )) (η) = t ( p ◦ π ) (Z (dr · J V ) − J [Z , V ] (r )) (η) ..     Step 2. First order development of d (at ◦ π) at (η) J at ∗,η (V ) . We have. (3.41). 2n

(207).        ∂ (at ◦ π )  at (η) J at ∗,η (V ) . d (at ◦ π) at (η) J at ∗,η (V ) = k ∂ηk k=1. Since (3.9) implies  ∂ (t ( p ◦ π ) + o (t)) ∂ (at ◦ π)  at (η) = (η + t p (π (η)) e1 + o (t)) ∂ηk ∂ηk ∂ ( p ◦ π) =t (η) + o (t) , ∂ηk by (3.12) it follows that.     d (at ◦ π) at (η) J at ∗,η (V ). n 

(208)  ∂ηk    ∂ yi  at (η) ξ at (η) − ∂η j ∂ xi k=1 j=1 i=1   ∂ηk    ∂ ( p ◦ π ) ∂ xi  at (η) ξ at (η) + (η) + o (t) ∂η j ∂ yi ∂ηk. =t. 2n 2n

(209)

(210). a j (η). and by using (3.9) and (3.19) we obtain.     d (at ◦ π) at (η) J at ∗,η (V )  n  2n

(211) 2n

(212)

(213) ∂ yi =t a j (η) − (η + t ( p ◦ π) e1 ) ∂η j k=1 j=1. i=1. (3.42).

(214) .   2n 2n

(215)

(216) ∂ ∂ηk ∂ (p ◦ π) ∂ηk × ξ (η) a j (η) (ξ (η)) + t ( p ◦ π) (η) (η) + t ∂ xi ∂η1 ∂ xi ∂ηk k=1 j=1  n   

(217) ∂ xi ∂ηk ∂ ∂ηk ξ (η) × (η + t ( p ◦ π) e1 ) (ξ (η)) + t ( p ◦ π ) (η) ∂η j ∂ yi ∂η1 ∂ yi i=1. ∂ (p ◦ π) × (η) + o (t) ∂ηk   2n 2n

(218)

(219) ∂ yi ∂ηk ∂ xi ∂ηk ∂ (p ◦ π) =t a j (η) − (η) (ξ (η)) + (η) (ξ (η)) (η) + o (t) ∂η j ∂ xi ∂η j ∂ yi ∂ηk k=1 j=1. = td p (η) · J V (η) + o (t) .. (3.43). Step 3. End of the proof. From (3.35), (3.41) and (3.43) we have dγat (V ) = p (Z (dr · J V ) − J [Z , V ] (r )) + J V ( p) dt |t=0   = − p Z d c r (V ) − p J [Z , V ] (r ) + J V ( p) .. (3.44). By (3.32)   dd c r (Z , V ) = −Z (dr (J V )) + dr (J [Z , V ]) = Z d c r (V ) − d c r ([Z , V ]) , and by replacing in( 3.44) we obtain   dγat (V ) = − p dd c r (Z , V ) + d c r ([Z , V ]) − p J [Z , V ] (r ) + J V ( p) dt |t=0 = − pdd c r (J Z , J V ) + pdr (J [Z , V ]) − pdr (J [Z , V ]) + dp (J V ) − pι J Z dd c r (J V ) − J dp (V ) = − p J ι X dd c r (V ) + d c p (V ) ,  . and the Proposition 3 is proved. Corollary 1 Under the notations and hypothesis of the previous propositions, dαat dγat =− . dt |t=0 dt |t=0 Remark 2 By using Proposition 2, it was proved in [1] that dat = −δδ c p = 0, dt |t=0. (3.45).   db dbc p − db p ∧ J b − dbc p ∧ b = p J dbc b + b ∧ J b ,. (3.46). δ or equivalently. where b = ι X dγ . From Corollary 1 it follows that the same equations are also obtained by means of γa(t) ..

(220) References 1. de Bartolomeis, P., Iordan, A.: Deformations of Levi flat hypersurfaces in complex manifolds. Ann. Scient. Éc. Norm. Sup. 48(2), 281–311 (2015) 2. de Bartolomeis, P., Iordan, A.: Maurer–Cartan equation in the DGLA of graded derivations, (2015), Preprint arXiv:1506.06732 3. de Bartolomeis, P., Iordan, A.: On the obstruction of the deformation theory in the DGLA of graded derivations, Complex and Symplectic Geometry (D. Angella, C. Medori and A. Tomassini, ed.), vol. 21, Springer Indam Series, pp. 95–105 (2017) 4. Frölicher, A., Nijenhuis, A.: Theory of vector valued differential forms. Part I. Derivations of the graded ring of differential forms. Indag. Math. 18, 338–359 (1956) 5. Godbillon, C.: Feuilletages: Etudes géométriques. Progress in Mathematics, Birkhäuser, Basel (1991) 6. Kodaira, K.: On deformations of some complex pseudo-group structures. Ann. Math. 71, 224–302 (1960) 7. Kodaira, K., Spencer, D.: Multifoliate structures. Ann. Math. 74(1), 52–100 (1961) 8. Michor, P.W.: Topics in differential geometry. AMS, Providence (2008) 9. Spencer, D.C.: Some remarks on perturbation of structure, Analytic Functions, pp. 67–87. Princeton University Press, Princeton, NJ (1960).

(221)

Références

Documents relatifs

be infinitesimal and to verify the General Central Limit Theorem, and includes the consideration of different resampling sizes as well as different norming

Since the above result follows from (1.3) and (1.10) if ^ is affine, we deduce the general case from the Cech spectral sequence as above.. ANNALES SCIENTIFIQUES DE I/ECOLE

We obtain an integral representation for the relaxation, in the space of functions of bounded deformation, of the energy.. with respect to L

In “Global Differential Geometry and Global Analysis” (Berlin 1990), Lecture notes in Math. Gilkey, The asymptotics of the Laplacian on a manifold with boundary. Meyer, In´ e galit´

Then it will suce to apply Herman's theorem on dieomorphisms of the circle to conclude that each of the dieomorphisms appearing in this decomposition can be written as a product

In [9] Brunella proved that the complement of a closed Levi flat hypersurface in a compact Hermitian manifold of class C 2,α , 0 < α < 1, having the property that the

The classical Fatou theorem says that a bounded holomorphic function f defined on the unit disk ∆ ⊂ C admits non-tangential limit at almost every point of ∂∆, but it does not

Assume that Z is a holomorphic vector field with an isolated, non–nilpotent singularity at (0,0). In general it is not possible to give simpler models. The second result addresses