D. Soit and . Une-dérivation-tangentielle-de, Un raisonnement semblable à celui du cas symplectique [17] montre qu'il existe a, dans I'espace I"(U) des séries formelles à coefficients dans I(U) ef une dérivation formelle tangentielle, ôo n':LroD'*, k=0 tels que D:D'la,oD, où o désigne le produit de séries formelles. En effet, U étant non compact, I'algèbre de LieP") est toujours égale à son idéal dérivé. On note Ent P,l'ensemble des éléments T de Ml

. Dans-ent-pr and P. Dans-ent, T'l s'annule sur I'idéal dérivé de(U) et par suite sur N,(U)De plus, puisque z1 est dans Ent Pr, pour tout T de Ent Pr), donc ? est formel. Maintenant, il n'est pas difficile cle prouver que, si A est une application tangentielle de, nf(U) dans l/(U) vérifiant A(P(u,r)) : P(T(u),u): P(u,r(r)) Vu,u ? N(U), alors il existe c dans

. Donc, DTo rk ot , alors on a T('r) : av o't

. Cet-ensemble-est-un-espace-affine, puisque si (o et (i sont deux tels champs, le champs ?l -{, est hamiltonien LeL-C.f': 0, et il existe une fonction -f, définie à une constante prés

. Fixons-un-point-d, origine et des coordonnées canoniques (rt) dans [/o et considérons le champ: ?:1S''g :!,9 ' 2 ?__r-ar' -2' 0r' (2n est la dimension de M)

. Le, 2p -I)ç : Lcç + Qp -1)ç + {f ,p} -s-açU)

X. .. Soit-xr, une base de m contenant n éléments, si 2n : dim I4l. Considérons O*: {t e W1Xr, Xn soient linéairement indépendants modulo be }, alors on a les deux lemmes suivants Lernme: V-}-L l27l O* est un ouvert F-invariant de W

. Lernme, (u)1ffi : o vi' i e {1, p.27

V. Soit and . Un-voisinage-de, zéro dans t1 tel que I'application exp soit un difféomorphisme (de )/ dans un ouvert de I/6) Définissons l'application X :expV --(D , par X(exPX)

G. Soit and . Ouvert-de-g-de-la-forme-expl, Considérons E: {ç : G6 --+ C lp@.h): x(h-')e(r) Vr ? Go

W. Soit, *. Geo-une-orbite-de-g-dans-g, and . De-dimension-2n, Supposons qu'il existe une polafisation réelle b "n to. Alors il existe un recouvrement de W par des cartes de Darboux (U.,g,) tel que pour tout X dans g, X lu" s'écrit sous la forme * I, Dotk)oj + ao(q)

. Et-ots, an sont des fonctions C-dépendant seuJement des variables q. De plus ces ouverts apparaissent comme des ouverts d

. (. Pn, ,9')) est une carte deW autour de (6 telle que {p;,qi} : 6;i et {p

. Si-u-est-un-Élément-de-slr, Ë ar(q)pr+ ao(q). r=1 'otl

S. I4r, Gf Geo une orbite de G dans g* de dimension 2n admettant une polarisation réelle b.t {0. Considérons un ouvert U deIU qui est le domaine d'une carte de I'atlas

. Une-application-r-iinéaire, On dira que T possède Ia propriété P4 pour lc danslN si et seuJement siu,) e c*(q)d'+"'+d'-kbl v(rr, ...,u,) e c*(q)o' [p] t x c*(q)d'lpl, où C*(q)d[p] est I

T. Soit, . .. Dtor, . .. Do-'i, and . .. To, A Do'' ttne application r-linéaire différentielle alors T est d'ordre t si et seulement si, pour fous les multi-indic?s a1,o, e c-1q;D::' D;=' "i-'lpl (si a Démonstration Supposons que ? soit d'ordre t et supposons qu'il existe er

D. Soit and ?. , Do ToDo comme dans la proposition et supposons que ? ne soit pas d'ordre d'ordre f . Il existe alors a tel que

S. Ar, Dr>o uk A* une application r-Iinéaire formelle

D. Arnal, J. C. Cortet, and P. Molin, Covariance and geometrical invariance in *quantization, Journal of Mathematical Physics, vol.22, issue.2, pp.276-283
DOI : 10.1090/S0002-9947-1975-0410775-3

URL : https://hal.archives-ouvertes.fr/hal-00439230

D. Arnal and M. Cahen, Gutt Representation of compact Lie groups and Quantisation by deformation Acad, pp.23-27, 1938.

D. Arnal and J. Ludwig, Masmoudi Covariant star-products a paraitre

F. Bayen, M. Flato, C. Fronsdal, A. Lichnerowicz, and D. Sternheimer, Deformation and Quantization" Ann. of Phys, pp.61-151, 1978.

R. Berger, Cohomologie différentiable des algèbres de polynomes, Public. Univ. Lyon, vol.5, 1982.

M. Cahen, M. D. Wilde, and S. , Gutt Local cohomology of the algebra of. C* functions on a connected manifold Letters in Mathematical Physics, pp.157-167, 1980.

C. Chevalley, Eilenberg Cohomology theory of Lie groups and Lie algebra Trans of the American Math, Soc, vol.63, pp.85-124

M. Gerstenhaber, On the deformations of rings and algebras Ann, Math, vol.79, issue.1e64, pp.5-103

S. Gutt, Déformations formelles de |'algèbte des fonctions différentiabies sur une variété symplectique

S. Gutt, An explicit *-product on the cotangent, bundle to a Lie group Lett, Math. Phys, vol.7, pp.249-258, 1983.

M. De-wilde, S. Guit, and P. B. , Lecomte A propos des deuxjème et troisième espaces de cohomologie de I'algèbre de Lie de Poisson d'une variété symplectique Ann, pp.77-83, 1984.

M. D. Wilde and P. B. , Lecomte Formal deformations of the Poisson Lie algebra of a symplectic manifold and star-products, existence, equivalence, derivations. NATO ASI Series, pp.897-960, 1988.

D. Wilde and P. B. , Lecomte Existence of star-product and of formal deformations of the Poisson Lie algebra of arbitrary symplectic manifold Lett, Math. Phys, vol.7, issue.1e83, pp.487-496

M. D. Wilde and P. B. , Lecomte Existence of sta"r products revisited

M. D. Wilde and P. B. , Lecomte Existence of star-products on exact symplectic manifolds Ann, Inst. Fourier, Grenoble, vol.352, pp.7-143, 1985.

A. Lichnerowicz, Sur Jes algèbres formelles assiciées pa.r déformation a une vafiété symplectique Ann, pp.287-330, 1980.

H. Omori, Y. Maeda, and A. Yoshioka, Weyl manifolds and deformation quantization, Advances in Mathematics, vol.85, issue.2
DOI : 10.1016/0001-8708(91)90057-E

URL : https://doi.org/10.1016/0001-8708(91)90057-e

M. Masmoudi, Jne deuxième démonstration de I'existence de produits-star tangentiel sur une varété de Poisson régulière (a paraitre) Cont. Aca. Des. Scien l24lD, 1988.

O. M. Neroslavsky and A. T. Vlassov, Sur Jes déformatio.ns de l'algèbre des fonctions d'une variété symplectique, C.R. Acad. SC. Paris, Serie I, vol.292, pp.77-73, 1981.

A. Nijenhuis and R. , Richardson Deformation of Lie algebra structures, J. of Math. and Mechanics, vol.17, pp.89-105, 1967.

J. Yey, Déformation du crochet cle Poisson sur une variété symplecfique Comment, Math. Helv, vol.50, pp.427-454, 1975.