text:
# Untitled Document

Choix des signes pour la formalité

de M. Kontsevich

D. Arnal **Université de Metz, Département de Mathématiques, île du Saulcy, 57045 Metz CEDEX 01. arnal@poncelet.univ-metz.fr, D. Manchon \**\**Institut Elie Cartan, CNRS, BP 239, 54506 Vandœuvre CEDEX. manchon@iecn.u-nancy.fret M. Masmoudi \***\***Université de Metz, Département de Mathématiques, île du Saulcy, 57045 Metz CEDEX 01. masmoudi@poncelet.univ-metz.fr

Résumé : L’expression explicite de la formalité de M. Kontsevich sur $`\mathrm{}^d`$ est la base de la preuve du théorème de formalité pour une variété quelconque \[K1 § 7\], qui implique à son tour l’existence d’étoile-produits sur une variété de Poisson quelconque. Nous proposons ici un choix cohérent d’orientations et de signes qui permet de reprendre la démonstration du théorème pour $`\mathrm{}^d`$ en tenant compte des signes qui apparaissent devant les différents termes de l’équation de formalité.

Introduction La conjecture de formalité a été introduite par M. Kontsevich \[K2\] : elle affirme l’existence d’un $`L_{\mathrm{}}`$-quasi-isomorphisme de $`\text{g}_1`$ vers $`\text{g}_2`$, où $`\text{g}_1`$ et $`\text{g}_2`$ sont les deux algèbres de Lie différentielles graduées naturellement associées à une variété $`M`$ : précisément $`\text{g}_1`$ est l’algèbre de Lie différentielle graduée des multi-champs de vecteurs munie de la différentielle nulle et du crochet de Schouten, et $`\text{g}_2`$ est l’algèbre de Lie différentielle graduée des opérateurs polydifférentiels munie de la différentielle de Hochschild et du crochet de Gerstenhaber. Les éléments de degré $`n`$ dans $`\text{g}_1`$ sont les $`(n+1)`$-champs de vecteurs, et les éléments de degré $`n`$ dans $`\text{g}_2`$ sont les opérateurs $`(n+1)`$-différentiels. Dans les espaces gradués décalés $`\text{g}_1[1]`$ et $`\text{g}_2[1]`$ ce sont les $`(n+2)`$-champs de vecteurs (resp. les opérateurs $`(n+2)`$-différentiels) qui sont de degré $`n`$. Toute algèbre de Lie différentielle graduée est une $`L_{\mathrm{}}`$-algèbre. Cela signifie en particulier que les structures d’algèbres de Lie différentielles graduées sur $`\text{g}_1`$ et $`\text{g}_2`$ induisent des codérivations $`Q`$ et $`Q^{}`$ de degré $`1`$ sur des cogèbres $`𝒞(\text{g}_1)=S^+(\text{g}_1[1])`$ et $`𝒞(\text{g}_2)=S^+(\text{g}_2[1])`$ respectivement (cf. § II.3 et II.4), vérifiant toutes deux l’équation maîtresse :

$$[Q,Q]=0,[Q^{},Q^{}]=0.$$

Un $`L_{\mathrm{}}`$-quasi-isomorphisme de $`\text{g}_1`$ vers $`\text{g}_2`$ est par définition un morphisme de cogèbres :

$$𝒰:𝒞(\text{g}_1)𝒞(\text{g}_2)$$

de degré zéro et commutant aux codérivations, c’est-à-dire vérifiant l’équation :

$$𝒰Q=Q^{}𝒰,$$

et dont la restriction à $`\text{g}_1`$ est un quasi-isomorphisme de complexes de $`\text{g}_1`$ dans $`\text{g}_2`$. M. Kontsevich démontre dans \[K1\] la conjecture de formalité, c’est-à-dire l’existence d’un $`L_{\mathrm{}}`$-quasi-isomorphisme de $`\text{g}_1`$ vers $`\text{g}_2`$, pour toute variété $`M`$ de classe $`C^{\mathrm{}}`$. La première étape de la preuve (et même l’essentiel du travail) consiste en la construction explicite du $`L_{\mathrm{}}`$-quasi-isomorphisme $`𝒰`$ pour $`M=\mathrm{}^d`$. Le $`L_{\mathrm{}}`$-quasi-isomorphisme $`𝒰`$ est uniquement déterminé par ses coefficients de Taylor :

$$𝒰_n:S^n(\text{g}_1[1])\text{g}_2[1].$$

(cf. § III.2). Si les $`\alpha _k`$ sont des $`s_k`$-champs de vecteurs, ils sont de degré $`s_k2`$ dans l’espace décalé $`\text{g}_1[1]`$, et donc $`𝒰_n(\alpha _1\mathrm{}\alpha _n)`$ est d’ordre $`s_1+\mathrm{}+s_n2n`$ dans $`\text{g}_2[1]`$. C’est donc un opérateur $`m`$-différentiel, avec :

$$\underset{k=1}{\overset{n}{}}s_k=2n+m2.$$
$`()`$
Les coefficients de Taylor sont construits à l’aide de poids et de graphes : on désigne par $`G_{n,m}`$ l’ensemble des graphes étiquetés et orientés ayant $`n`$ sommets du premier type (sommets aériens) et $`m`$ sommets du deuxième type (sommets terrestres) tels que : 1). Les arêtes partent toutes des sommets aériens. 2). Le but d’une arête est différent de sa source (il n’y a pas de boucles). 3). Il n’y a pas d’arêtes multiples. A tout graphe $`\mathrm{\Gamma }G_{n,m}`$ muni d’un ordre sur l’ensemble de ses arêtes, et à tout $`n`$-uple de multi-champs de vecteurs $`\alpha _1,\mathrm{},\alpha _n`$ on peut associer de manière naturelle un opérateur $`m`$-différentiel $`B_\mathrm{\Gamma }(\alpha _1\mathrm{}\alpha _n)`$ lorsque pour tout $`j\{1,\mathrm{},n\}`$, $`\alpha _j`$ est un $`s_j`$-champ de vecteurs, où $`s_j`$ désigne le nombre d’arêtes qui partent du sommet aérien numéro $`j`$ \[K1 § 6.3\]. Le coefficient de Taylor $`𝒰_n`$ est alors donné par la formule :

$$𝒰_n(\alpha _1\mathrm{}\alpha _n)=\underset{\mathrm{\Gamma }G_{n,m}}{}W_\mathrm{\Gamma }B_\mathrm{\Gamma }(\alpha _1\mathrm{}\alpha _n),$$

où l’entier $`m`$ est relié à $`n`$ et aux $`\alpha _j`$ par la formule (\*) ci-dessus. Le poids $`W_\mathrm{\Gamma }`$ est nul sauf si le nombre d’arêtes $`|E_\mathrm{\Gamma }|`$ du graphe $`\mathrm{\Gamma }`$ est précisément égal à $`2n+m2`$. Il s’obtient en intégrant une forme fermée $`\omega _\mathrm{\Gamma }`$ de degré $`|E_\mathrm{\Gamma }|`$ sur une composante connexe de la compactification de Fulton-McPherson d’un espace de configuration $`C_{A,B}^+`$, qui est précisément de dimension $`2n+m2`$ \[FM\], \[K1 § 5\]. Il dépend lui aussi d’un ordre sur l’ensemble des arêtes, mais le produit $`W_\mathrm{\Gamma }.B_\mathrm{\Gamma }`$ n’en dépend plus. Pour prouver le théorème de formalité M. Kontsevich montre que le morphisme de cogèbres $`𝒰`$ dont les coefficients de Taylor sont les $`𝒰_n`$ définis ci-dessus est un $`L_{\mathrm{}}`$-quasi-isomorphisme. La méthode consiste à ramener l’équation de formalité $`𝒰Q=Q^{}𝒰`$, qui se développe à l’aide des coefficients de Taylor de $`𝒰`$, $`Q`$ et $`Q^{}`$ :

$$\begin{array}{cc}\hfill Q_1^{}𝒰_n\left(\alpha _1\text{.}\mathrm{}\text{.}\alpha _n\right)+& \frac{1}{2}\underset{\genfrac{}{}{0pt}{}{IJ=\{1,\mathrm{},n\}}{I,J\mathrm{}}}{}\pm Q_2^{}\left(𝒰_{|I|}\left(\alpha _I\right)\text{.}𝒰_{|J|}\left(\alpha _J\right)\right)=\hfill \\ & =\underset{k=1}{\overset{n}{}}\pm 𝒰_n\left(Q_1(\alpha _k)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _k}\text{.}\mathrm{}\text{.}\alpha _n\right)+\hfill \\ & \frac{1}{2}\underset{kl}{}\pm 𝒰_{n1}\left(Q_2(\alpha _k\text{.}\alpha _l)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _k}\text{.}\mathrm{}\text{.}\widehat{\alpha _l}\text{.}\mathrm{}\text{.}\alpha _n\right)\hfill \end{array}$$

à l’application de la formule de Stokes pour les formes $`\omega _\mathrm{\Gamma }`$ sur l’ensemble des faces de codimension $`1`$ du bord des espaces de configuration. Nous proposons dans la première partie de ce travail un choix d’orientation des espaces de configuration (ou plus exactement d’une composante connexe de ceux-ci) $`C_{A,B}^+`$, et un choix cohérent d’orientation pour chacune des faces de codimension $`1`$ du bord de la compactification. Au chapitre II nous explicitons l’isomorphisme $`\mathrm{\Phi }:S^n(\text{g}[1])\stackrel{}{}\mathrm{\Lambda }^n(\text{g})[n]`$ mentionné dans \[K1 § 4.2\] pour tout espace vectoriel gradué g, afin de préciser le passage du langage des algèbres de Lie différentielles graduées et des $`L_{\mathrm{}}`$-algèbres au langage des $`Q`$-variétés formelles graduées pointées (\[AKSZ\], \[K1 § 4.1\]). Nous donnons au chapitre III une formule explicite pour un champ de vecteurs sur une variété formelle graduée pointée ou un morphisme de variétés formelles graduées pointées en fonction de leurs coefficients de Taylor respectifs. La démonstration est de nature combinatoire et se fait en explicitant la restriction à la puissance symétrique $`n`$-ième par récurrence sur $`n`$. Dans le chapitre IV nous exprimons les deux algèbres de Lie différentielles graduées qui nous intéressent comme $`Q`$-variétés formelles graduées pointées. L’isomorphisme d’espaces gradués $`\mathrm{\Phi }`$ explicité au chapitre II est ici essentiel. Pour la suite nous sommes amenés à modifier l’algèbre de Lie différentielle graduée des multi-champs de vecteurs : nous utilisons un crochet de Lie gradué $`[,]^{}`$ lié au crochet de Schouten par la formule :

$$[x,y]^{}=[y,x]_{\text{Schouten}}.$$

Les deux crochets coïncident modulo un changement de signe en présence de deux éléments impairs. Nous précisons au paragraphe IV.4 les signes (du type Quillen) qui apparaissent dans l’équation de formalité. Enfin nous montrons au chapitre VI que modulo tous les choix effectués précédemment $`𝒰`$ est bien un $`L_{\mathrm{}}`$-morphisme. Le chapitre V est assez largement indépendant du reste de l’article bien que directement relié à \[K1\] : nous y donnons une démonstration détaillée du théorème de quasi-inversion des quasi-isomorphismes donné dans \[K1 § 4.4-4.5\]. Enfin nous rappelons en appendice le lien entre formalité et quantification par déformation.

I. Orientation des espaces de configuration I.1. Trois choix de paramétrage

Définition (Espaces de configuration).

Soit $``$ le demi-plan de Poincaré ($`=\{z\text{},𝔪z>0\}`$). Appelons $`Conf^+(\{z_1,\mathrm{},z_n\};\{t_1,\mathrm{},t_m\})`$ l’ensemble des nuages de points :

$$\{(z_1,\mathrm{},z_n;t_1,..,t_m),\text{t. q.}z_i,t_j\text{},z_iz_i^{}\text{si}ii^{},t_1<\mathrm{}<t_m\}$$

et $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ le quotient de cette variété sous l’action du groupe $`G`$ de toutes les transformations de la forme :

$$z_iaz_i+b,t_jat_j+b(a>0,b\text{}).$$

La variété $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ est donc de dimension $`2n+m2`$. Cette variété est par convention orientée par le passage au quotient de la forme :

$$\mathrm{\Omega }_{\{z_1,\mathrm{},z_n\};\{t_1,\mathrm{},t_m\}}=dx_1dy_1\mathrm{}dx_ndy_ndt_1\mathrm{}dt_m$$

$`z_j=x_j+iy_j`$. Le groupe des transformations considérées préserve l’orientation. On en déduit une orientation des espaces $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$. Plus précisément, si $`2n+m>0`$, on peut choisir des représentants pour paramétrer notre espace. Nous considérons trois méthodes :

Choix 1 :

On choisit l’un des $`z_i`$ (disons $`z_{j_0}=x_{j_0}+iy_{j_0}`$) et on le place au point $`i`$ par une transformation de $`G`$. Les autres points sont alors fixés :

$$p_{j_0}=i,p_j=\frac{z_jx_{j_0}}{y_{j_0}},q_l=\frac{t_lx_{j_0}}{y_{j_0}}.$$

Dans ce cas, on paramètre $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ par les coordonnées des $`p_j=a_j+ib_j`$ ($`jj_0`$) et les $`q_l`$, l’orientation, dans ces coordonnées de $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ est celle donnée par la forme :

$$\mathrm{\Omega }=\underset{jj_0}{}(da_jdb_j)dq_1\mathrm{}dq_m.$$

(L’ordre sur les indices $`j`$ n’importe pas car les 2-formes $`da_jdb_j`$ commutent entre elles).

Choix 2 :

On choisit l’un des $`t_l`$ (disons $`t_{l_0}`$) et on le place en 0 par une translation, puis on fait une dilatation pour forcer le module de l’un des $`z_j`$ (disons $`z_{j_0}`$) à valoir 1 :

$$p_{j_0}=\frac{z_{j_0}t_{l_0}}{|z_{j_0}t_{j_0}|}=e^{i\theta _{j_0}},p_j=\frac{z_jt_{l_0}}{|z_{j_0}t_{j_0}|},q_{l_0}=0,q_l=\frac{t_lt_{l_0}}{|z_{j_0}t_{j_0}|}.$$

On paramètre alors $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ par l’argument $`\theta _{j_0}`$ de $`p_{j_0}`$ (compris entre 0 et $`\pi `$) et par les coordonnées des $`p_j`$ ($`jj_0`$) et les $`q_l`$ ($`ll_0`$). L’orientation, dans ces coordonnées de $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ est celle donnée par la forme :

$$\mathrm{\Omega }=(1)^{l_01}d\theta _{j_0}\underset{jj_0}{}(da_jdb_j)dq_1\mathrm{}\widehat{dq_{l_0}}\mathrm{}dq_m.$$

En effet, on part de la forme $`\mathrm{\Omega }`$ du cas 1, avec $`j_0=1`$, puisque l’ordre des $`p`$ n’intervient pas, on place $`q_{l_0}`$ “en tête” :

$$\mathrm{\Omega }=(1)^{l_01}dq_{l_0}da_2db_2\mathrm{}da_ndb_ndq_1\mathrm{}\widehat{dq_{l_0}}\mathrm{}dq_{l_1}\mathrm{}dq_n,$$

puis on effectue le changement de variables :

$$p_1^{}=\frac{iq_{l_0}}{|iq_{l_0}|}=e^{i\theta _1},p_j^{}=\frac{p_jq_{l_0}}{|iq_{l_0}|}=a_j^{}+ib_j^{}(2jn),q_k^{}=\frac{q_kq_{l_0}}{|iq_{l_0}|}(kl_0).$$

Dont le jacobien $`\frac{1}{(1+q_{l_0}^2)^{\frac{m+n}{2}}}`$ est strictement positif, pour obtenir la forme annoncée.

Choix 3 :

On choisit deux points $`t_{l_0}<t_{l_1}`$, on amène par une translation le premier en $`0`$ et le second en 1 par une dilatation.

$$p_j=\frac{z_jt_{l_0}}{t_{l_1}t_{l_0}},q_{l_0}=0,q_{l_1}=1,q_l=\frac{t_lt_{l_0}}{t_{l_1}t_{l_0}}.$$

On paramètre $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ par les coordonnées des $`p_j=a_j+ib_j`$ et par les $`q_l`$ ($`ll_0`$ et $`ll_1`$). l’orientation est donnée par la forme :

$$\mathrm{\Omega }=(1)^{l_0+l_1+1}\underset{j=1}{\overset{n}{}}(da_jdb_j)dq_1\mathrm{}\widehat{dq_{l_0}}\mathrm{}\widehat{dq_{l_1}}\mathrm{}dq_m.$$

En effet, on part de la forme $`\mathrm{\Omega }`$ du cas 1, on place $`q_{l_0}`$ et $`q_{l_1}`$ “en tête” :

$$\mathrm{\Omega }=(1)^{l_01+l_12}dq_{l_0}dq_{l_1}da_2db_2\mathrm{}da_ndb_ndq_1\mathrm{}\widehat{dq_{l_0}}\mathrm{}dq_n,$$

puis on effectue le changement de variables :

$$p_1^{}=\frac{iq_{l_0}}{q_{l_1}q_{l_0}}=a_1+ib_1,p_j^{}=\frac{p_jq_{l_0}}{q_{l_1}q_{l_0}}=a_j^{}+ib_j^{}(2jn),q^{}k=\frac{q_kq_{l_0}}{q_{l_1}q_{l_0}}(kl_0,kl_1).$$

Dont le jacobien $`\frac{q_{l_1}q_{l_0}}{(q_{l_1}q_{l_0})^{1+n+m}}`$ est strictement positif, pour obtenir la forme annoncée.

I.2. Compactification des espaces de configuration

On plonge l’espace de configuration $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ dans une variété compacte de la façon suivante. Chaque fois que l’on prend deux points $`A`$ et $`B`$ du nuage de points $`(z_j,\overline{z_j};t_l)`$, on leur associe l’angle $`Arg(BA)`$, à chaque triplet de points $`(A,B,C)`$ du nuage, on associe l’élément $`[AB,BC,CA]`$ de l’espace projectif $`\text{}^2(\text{})`$ qu’ils définissent. On a ainsi une application :

$$\stackrel{~}{\mathrm{\Phi }}:Conf^+(z_j,t_l)\text{𝕋}^{(2n+m)(2n+m1)}\times \left(\text{}^2(\text{})\right)^{(2n+m)(2n+m1)(2n+m2)}.$$

Cette application passe au quotient et il n’est pas difficile de montrer que l’on obtient ainsi un plongement

$$\mathrm{\Phi }:C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+\text{𝕋}^{(2n+m)(2n+m1)}\times \left(\text{}^2(\text{})\right)^{(2n+m)(2n+m1)(2n+m2)}.$$

On définit la compactification $`\overline{C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+}`$ de $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ comme étant la fermeture dans $`\text{𝕋}^{(2n+m)(2n+m1)}\times \left(\text{}^2(\text{})\right)^{(2n+m)(2n+m1)(2n+m2)}`$ de $`\mathrm{\Phi }\left(C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+\right)`$. On obtient ainsi une variété à coins et on cherche son bord $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$.

Les points du bord s’obtiennent par une succession de collapses de points du nuage. On retrouve la description de M. Kontsevich à deux détails près : lorsque des points aériens (c’est à dire un ou des $`p_j`$) se rapprochent de , il faut distinguer entre quels $`q_l`$ ils arrivent, il y a trop de faces du bord, puisque les faces correspondant au rapprochement de points terrestres (des $`q_l`$) non contigus est impossible sans que tous les points qui les séparent se rapprochent aussi. En codimension 1, on obtient deux types de faces : I.2.1. Faces de type 1 Parmi les points aériens, $`n_1`$ points se rapprochent en un point $`p`$ qui reste aérien. Une telle face existe si $`nn_12`$. A la limite, on obtient une variété produit :

$$F=_{\{p_{i_1},\mathrm{},p_{i_{n_1}}\}}C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+=C_{\{p_{i_1},\mathrm{},i_{n_1}\}}\times C_{\{p,p_1,\mathrm{},\widehat{p_{i_1}},\mathrm{},\widehat{p_{i_{n_1}}},\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}$$
$`()`$
où l’espace $`C_{\{p_1,\mathrm{},p_{n_1}\}}`$ est le quotient de l’espace $`Conf(z_1,\mathrm{},z_{n_1})`$ par l’action du groupe $`G^{}`$ des transformations $`z_jaz_j+b`$ ($`a>0`$ et $`b\text{}`$). c’est une varit́é de dimension $`2n_13`$ ($`n_12`$). On la plonge dans un produit de tores et d’espaces projectifs comme pour $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$. Enfin on l’oriente de la façon suivante; $`z_1`$ est placé en 0 par une translation complexe puis $`|z_2|`$ est normalisé à 1 par une dilatation,

$$p_1=0,p_2=\frac{z_2z_1}{|z_2z_1|}=e^{i\theta _2},p_j=\frac{z_jz_1}{|z_2z_1|}=a_j+ib_j$$

et on prend l’orientation définie par la forme :

$$\mathrm{\Omega }_1=d\theta _2\underset{j3}{}(da_jdb_j).$$

Orientons maintenant la face $`F`$. On choisit la forme volume $`\mathrm{\Omega }_1\mathrm{\Omega }_2`$ sur le produit $`()`$$`\mathrm{\Omega }_2`$ est l’une des formes définies ci-dessus pour orienter $`C_{\{p_j\};\{q_l\}}^+`$. L’orientation de la face à partir de celle de $`\mathrm{\Omega }`$ est $`\pm \mathrm{\Omega }_1\mathrm{\Omega }_2`$.

Lemme I.2.1.

La face $`F`$ est orientée par $`\mathrm{\Omega }_F=\mathrm{\Omega }_1\mathrm{\Omega }_2`$.

Démonstration. On a vu que l’on pouvait changer l’ordre des points $`p_j`$ de $`C_{\{p_j\};\{q_l\}}^+`$ sans changer l’orientation. On renumérote les points $`p_{i_1}`$,…, $`p_{i_{n_1}}`$ en $`p_1`$, $`p_2`$,…, $`p_{n_1}`$, puis on fixe $`p_1=i`$ :

$$\mathrm{\Omega }=\underset{j=2}{\overset{n_1}{}}(da_jdb_j)\mathrm{\Omega }_2,$$

ensuite on change de variables dans le premier facteur en posant :

$$p_2^{}=e^{i\theta _2},p_j^{}=\frac{p_j}{|p_2i|}=a_j^{}+ib_j^{}(j=3,\mathrm{},n_1).$$

Lorsque les $`n_1`$ premiers points collapsent, on agrandit le petit nuage qu’ils forment en normalisant la distance qui sépare les 2 premiers à 1. Posons $`\rho _2=|p_2i|`$. le changement de variable donne pour $`\mathrm{\Omega }`$ la forme :

$$\mathrm{\Omega }^{}=d\rho _2d\theta _2\underset{j3}{}(da_j^{}db_j^{})\mathrm{\Omega }_2.$$

La face est obtenue lorsque $`\rho _20`$. Or $`\rho _2>0`$, on doit donc l’orienter avec

$$\mathrm{\Omega }_F=d\theta _2\underset{j3}{}(da_j^{}db_j^{})\mathrm{\Omega }_2=\mathrm{\Omega }_1\mathrm{\Omega }_2.$$

$``$

I.2.2. Face de type 2 Parmi les points du nuage, $`n_1`$ points aériens et $`m_1`$ points terrestres se rapprochent en un point $`q`$ terrestre. Une telle face existe si $`n+m>n_1+m_1`$ et $`2n_1+m_12`$. A la limite, on obtient une variété produit :

$$\begin{array}{cc}\hfill F& =_{\{p_{i_1},\mathrm{},p_{i_{n_1}}\};\{q_{l+1},\mathrm{},q_{l+m_1}\}}C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+\hfill \\ & =C_{\{p_{i_1},\mathrm{},p_{i_{n_1}}\};\{q_{l+1},\mathrm{},q_{l+m_1}\}}\times C_{\{p_1,\mathrm{},\widehat{p_{i_1}},\mathrm{},\widehat{p_{i_{n_1}}},\mathrm{},p_n\};\{q_1,\mathrm{},q_l,q,q_{l+m_1+1},\mathrm{},q_m\}}.\hfill \end{array}$$
$`()`$
On appelle $`\mathrm{\Omega }_1`$ et $`\mathrm{\Omega }_2`$ l’une des formes volumes de chacun des facteurs de ce produit. La forme $`\mathrm{\Omega }_1\mathrm{\Omega }_2`$ est une forme volume sur $`F`$. On donne l’orientation de $`F`$ à partir de celle de l’espace de configuration de départ en terme de cette forme.

Lemme I.2.2.

Avec nos notations, la face $`F`$ est orientée par :

$$\mathrm{\Omega }_F=(1)^{lm_1+l+m_1}\mathrm{\Omega }_1\mathrm{\Omega }_2.$$

Démonstration. Il faut considérer six types de nuages différents :

Sous-cas 1 : $`n>n_1>0`$

On suppose que $`p_1`$,…, $`p_{n_1}`$ et $`q_{l+1}`$, …, $`q_{l+m_1}`$ collapsent. On paramètre l’espace $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ par $`p_{n_1+1}=i`$. La forme d’orientation est :

$$\begin{array}{cc}\hfill \mathrm{\Omega }=& (1)^{lm_1}da_1db_1\mathrm{}da_{n_1}db_{n_1}dq_{l+1}\mathrm{}dq_{l+m_1}\hfill \\ & da_{n_1+2}db_{n_1+2}\mathrm{}da_ndb_ndq_1\mathrm{}dq_ldq_{l+m_1+1}\mathrm{}dq_m.\hfill \\ \hfill =& (1)^{lm_1+l+m_1+1}db_1\mathrm{}da_{n_1}db_{n_1}dq_{l+1}\mathrm{}dq_{l+m_1}\hfill \\ & da_{n_1+2}db_{n_1+2}\mathrm{}da_ndb_ndq_1\mathrm{}dq_lda_1dq_{l+m_1+1}\mathrm{}dq_m.\hfill \end{array}$$

(Certains termes peuvent ne pas apparaître, par exemple si $`n=n_1+1`$ ou $`m=m_1`$). On change de variables en posant :

$$a_1=q,p_j^{}=\frac{p_ja_1}{b_1}(2jn_1),q_k^{}=\frac{q_ka_1}{b_1}(l+1kl+m_1).$$

Alors on peut écrire de façon un peu abusive :

$$\mathrm{\Omega }=(1)^{lm_1+l+m_1+1}db_1\mathrm{\Omega }_1\mathrm{\Omega }_2$$

et puisque $`b_1>0`$ et la face $`F`$ est obtenue pour $`b_1=0`$, son orientation est donnée par :

$$\mathrm{\Omega }_F=(1)^{lm_1+l+m_1}\mathrm{\Omega }_1\mathrm{\Omega }_2.$$

Sous-cas 2 : $`n=n_1>0`$ (et donc $`mm_1+1`$) et $`l>0`$

On suppose que $`p_1`$,…, $`p_n`$ et $`q_{l+1}`$, …, $`q_{l+m_1}`$ collapsent. On paramètre l’espace $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ par $`q_l=0`$, $`q_{l+1}=1`$. La forme d’orientation est :

$$\begin{array}{cc}\hfill \mathrm{\Omega }& =(1)^{2l+2}da_1db_1\mathrm{}da_ndb_ndq_1\mathrm{}\widehat{dq_l}\widehat{dq_{l+1}}\mathrm{}dq_m\hfill \\ & =(1)^{(l1)(m_11)}da_1db_1\mathrm{}da_ndb_ndq_{l+2}\mathrm{}dq_{l+m_1}\hfill \\ & dq_1\mathrm{}dq_{l1}dq_{l+m_1+1}\mathrm{}dq_m\hfill \end{array}.$$

On change de variables en posant :

$$a_1+ib_11=\rho _1e^{i\theta _1}p_j^{}=\frac{p_j1}{\rho _1}(2jn),q_k^{}=\frac{q_k1}{\rho _1}(l+2kl+m_1).$$

Alors

$$\begin{array}{cc}\hfill \mathrm{\Omega }& =(1)^{lm_1+l+m_1+1}\rho _1^{(n+m_15)}d\rho _1d\theta _1da_2db_2\mathrm{}da_ndb_ndq_{l+2}\mathrm{}dq_{l+m_1}\hfill \\ & dq_1\mathrm{}dq_{l1}dq_{l+m_1+1}\mathrm{}dq_m\hfill \end{array}.$$

On peut donc écrire de façon un peu abusive :

$$\mathrm{\Omega }(1)^{lm_1+l+m_1+1}d\rho _1\mathrm{\Omega }_1(1)^{l1+l+12}\mathrm{\Omega }_2$$

et puisque $`\rho _1>0`$ et la face $`F`$ est obtenue pour $`\rho _1=0`$, son orientation est donnée par :

$$\mathrm{\Omega }_F=(1)^{lm_1+l+m_1}\mathrm{\Omega }_1\mathrm{\Omega }_2.$$

Sous-cas 3 : $`n=n_1>0`$ (et donc $`mm_1+1`$) et $`l=0`$

C’est le même calcul que ci-dessus, on pose $`q_{m_1}=0`$, $`q_{m_1+1}=1`$, on obtient :

$$\mathrm{\Omega }=(1)^{2m_1+2}da_1db_1\mathrm{}da_ndb_ndq_1\mathrm{}\widehat{dq_{m_1}}\widehat{dq_{m_1+1}}\mathrm{}dq_m.$$

On change de variables en posant :

$$a_1+ib_1=\rho _1e^{i\theta _1}p_j^{}=\frac{p_j}{\rho _1}(2jn),q_k^{}=\frac{q_k}{\rho _1}(1km_11).$$

Alors

$$\begin{array}{cc}\hfill \mathrm{\Omega }& =\rho _1d\rho _1d\theta _1da_2db_2\mathrm{}da_ndb_ndq_1\mathrm{}dq_{m_11}dq_{m_1+2}\mathrm{}dq_m\hfill \\ & d\rho _1(1)^{m_11}\mathrm{\Omega }_1(1)^{11+22}\mathrm{\Omega }_2\hfill \end{array}$$

et puisque $`\rho _1>0`$ et la face $`F`$ est obtenue pour $`\rho _1=0`$, son orientation est donnée par :

$$\mathrm{\Omega }_F=(1)^{lm_1+l+m_1}\mathrm{\Omega }_1\mathrm{\Omega }_2.$$

Sous-cas 4 : $`nn_1=0`$ (et donc $`m_1>1`$) et $`l>0`$

On suppose que $`q_{l+1}`$, …, $`q_{l+m_1}`$ collapsent. On paramètre l’espace $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ par $`q_l=0`$, $`q_{l+1}=1`$. La forme d’orientation est :

$$\begin{array}{cc}\hfill \mathrm{\Omega }& =(1)^{2l+2}da_1db_1\mathrm{}da_ndb_ndq_1\mathrm{}\widehat{dq_l}\widehat{dq_{l+1}}\mathrm{}dq_m\hfill \\ & =(1)^{(l1)(m_11)}dq_{l+2}\mathrm{}dq_{l+m_1}\hfill \\ & da_1db_1\mathrm{}da_ndb_ndq_1\mathrm{}dq_{l1}dq_{l+m_1+1}\mathrm{}dq_m\hfill \end{array}.$$

On change de variables en posant :

$$q_k^{}=\frac{q_kq_{l+2}}{q_{l+2}1}(l+3kl+m_1).$$

Alors :

$$\begin{array}{cc}\hfill \mathrm{\Omega }& (1)^{lm_1+l+m_1+1}dq_{l+2}dq_{l+3}^{}\mathrm{}dq_{l+m_1}^{}\hfill \\ & da_1db_1\mathrm{}da_ndb_ndq_1\mathrm{}dq_{l1}dq_{l+m_1+1}\mathrm{}dq_m\hfill \end{array}.$$

On peut donc écrire de façon un peu abusive :

$$\mathrm{\Omega }=(1)^{lm_1+l+m_1+1}dq_{l+2}\mathrm{\Omega }_1(1)^{l1+l+12}\mathrm{\Omega }_2$$

et puisque $`q_{l+2}1>0`$ et la face $`F`$ est obtenue pour $`q_{l+2}1=0`$, son orientation est donnée par :

$$\mathrm{\Omega }_F=(1)^{lm_1+l+m_1}\mathrm{\Omega }_1\mathrm{\Omega }_2.$$

Sous-cas 5 : $`nn_1=0`$ (et donc $`m_1>1`$), $`l=0`$ et $`m_1<m`$

On pose $`q_{m_1}=0`$, $`q_{m_1+1}=1`$, on obtient :

$$\mathrm{\Omega }=(1)^{2m_1+2}da_1db_1\mathrm{}da_ndb_ndq_1\mathrm{}\widehat{dq_{m_1}}\widehat{dq_{m_1+1}}\mathrm{}dq_m.$$

On change de variables en posant :

$$q_k^{}=\frac{q_kq_{m_11}}{q_{m_11}}(1km_12)$$

Alors :

$$\begin{array}{cc}\hfill \mathrm{\Omega }& dq_1^{}\mathrm{}dq_{m_12}^{}dq_{m_11}da_1db_1\mathrm{}da_ndb_ndq_{m_1+2}\mathrm{}dq_m\hfill \\ & =(1)^{m_1}dq_{m_11}\mathrm{\Omega }_1(1)^{1+21}\mathrm{\Omega }_2.\hfill \end{array}$$

Maintenant $`q_{m_11}<0`$ et l’orientation de la face est encore :

$$\mathrm{\Omega }_F=(1)^{lm_1+m_1+l}\mathrm{\Omega }_1\mathrm{\Omega }_2.$$

Sous-cas 6 : $`nn_1=0`$ (et donc $`m_1>1`$), $`l=0`$ et $`m_1=m`$ et donc $`n>0`$

On pose $`q_1=0`$ et $`p_1=e^{i\theta _1}`$. La forme $`\mathrm{\Omega }`$ est

$$\begin{array}{cc}\hfill \mathrm{\Omega }& =d\theta _1da_2db_2\mathrm{}da_ndb_ndq_2\mathrm{}dq_m\hfill \\ & =(1)^{m1}dq_2\mathrm{}dq_md\theta _1da_2db_2\mathrm{}da_ndb_n.\hfill \end{array}$$

On change de variables en posant :

$$q_k^{}=\frac{q_kq_2}{q_2}(3km)$$

Alors :

$$\mathrm{\Omega }(1)^{m1}dq_2(1)^{11+22}\mathrm{\Omega }_1\mathrm{\Omega }_2.$$

Puisque $`q_2>0`$ et $`F`$ apparaît pour $`q_2=0`$, l’orientation de la face est encore :

$$\mathrm{\Omega }_F=(1)^{lm_1+l+m_1}\mathrm{\Omega }_1\mathrm{\Omega }_2.$$

Tout nuage de point correspondant à une face de type 2 relève d’un de ces six sous-cas. Ceci termine la démonstration du lemme I.2.2.

$``$

II. Algèbres symétriques et extérieures sur les espaces gradués II.1. La catégorie des espaces gradués Un espace vectoriel sur un corps $`k`$ est gradué s’il est muni d’une $`\mathrm{}`$graduation :

$$V=\underset{n\mathrm{}}{}V_n$$

Le degré d’un élément homogène $`x`$ sera noté $`|x|`$. Un espace gradué sera toujours considéré comme un super-espace vectoriel, la $`\mathrm{}_2`$graduation étant déduite de la $`\mathrm{}`$graduation :

$$V_+=\underset{n\mathrm{}}{}V_{2n}V_{}=\underset{n\mathrm{}}{}V_{2n+1}$$

Si $`V`$ et $`W`$ sont des espaces gradués, il existe une graduation naturelle sur $`VW`$, $`VW`$, $`\text{Hom}_k(V,W)`$. Un morphisme d’espaces gradués entre $`V`$ et $`W`$ est par définition un élément de degré zéro dans $`\text{Hom}_k(V,W)`$. Une algèbre graduée est un espace gradué $`B`$ muni d’une structure d’algèbre telle que la multiplication $`m:BBB`$ est un morphisme d’espaces gradués, c’est-à-dire :

$$B_iB_jB_{i+j}$$

On définit de la même manière les notions de $`B`$ modules gradués à gauche ou à droite. Si $`A`$ et $`B`$ sont deux algèbres graduées, le produit :

$$\begin{array}{cc}\hfill m_{AB}:ABAB& AB\hfill \\ \hfill aba^{}b^{}& (1)^{|b||a^{}|}aa^{}bb^{}\hfill \end{array}$$

est associatif et munit $`AB`$ d’une structure d’algèbre graduée. Si $`M`$ (resp. $`N`$) est un $`A`$-module (resp. un $`B`$-module) gradué à gauche, la même règle des signes (la règle de Koszul) permet de définir une structure de $`AB`$module gradué à gauche sur $`MN`$. Si $`A,A^{},B,B^{}`$ sont des espaces gradués, l’identification de $`\text{Hom}_k(AB,A^{}B^{})`$ avec $`\text{Hom}_k(A,A^{})\text{Hom}_k(B,B^{})`$ se fait avec la même règle des signes :

$$(fg)(ab)=(1)^{|g||a|}f(a)g(b)$$

Une algèbre graduée est dite commutative si on a :

$$xy(1)^{|x||y|}yx=0$$

Une cogèbre graduée $`C`$ se définit de manière similaire : la comutiplication doit vérifier :

$$\mathrm{\Delta }C_j\underset{k+l=j}{}C_kC_l$$

On définit une structure de cogèbre graduée sur le produit tensoriel de deux cogèbres graduées en appliquant la même règle sur les signes que dans le cas des algèbres. Une dérivation de degré $`i`$ dans une algèbre graduée $`B`$ est un morphisme linéaire $`d:BB`$ de degré $`i`$ tel que :

$$d(xy)=dx.y+(1)^{i|x|}x.dy$$

ce qui s’écrit encore :

$$dm=m(dI+Id)$$

$`m`$ désigne la multiplication de l’algèbre (attention à la règle des signes). Une codérivation de degré $`i`$ dans une cogèbre graduée $`C`$ est un morphisme linéaire $`d:CC`$ de degré $`i`$ tel que si $`\mathrm{\Delta }X=_{(x)}x^{}x^{\prime \prime }`$ on a :

$$\mathrm{\Delta }dx=\underset{(x)}{}dx^{}x^{\prime \prime }+(1)^{i|x^{}|}x^{}dx^{\prime \prime }$$

ou encore :

$$\mathrm{\Delta }d=(dI+Id)\mathrm{\Delta }$$

Enfin une algèbre de Lie graduée est un espace vectoriel gradué g muni d’un crochet $`[.,.]`$ tel que : 1) $`[\text{g}_i,\text{g}_j]\text{g}_{i+j}`$ 2) $`[x,y]=(1)^{|x||y|}[y,x]`$ 3) $`(1)^{|x||z|}[[x,y],z]+(1)^{|y||x|}[[y,z],x]+(1)^{|z||y|}[[z,x],y]=0`$

(identité de Jacobi graduée). L’identité de Jacobi graduée s’exprime aussi en disant que $`\text{ad}x=[x,.]`$ est une dérivation (de degré $`|x|`$). Une algèbre de lie graduée est différentielle si elle est munie d’une différentielle $`d`$ de degré 1 ($`d:𝔤𝔤[1]`$), telle que :

$$d^2=0,d\left([x,y]\right)=[dx,y]+(1)^{1.|x|}[x,dy].$$

II.2 La règle de Koszul La raison profonde qui fait que “la règle des signes marche” est la suivante : la catégorie des espaces vectoriels $`\mathrm{}_2`$gradués munie du produit tensoriel $``$ usuel et des applications :

$$\begin{array}{cc}\hfill \tau _{A,B}:AB& BA\hfill \\ \hfill ab& (1)^{|a||b|}ba\hfill \end{array}$$

est une catégorie tensorielle tressée, c’est à dire que les tressages $`\tau _{A,B}`$ sont fonctoriels :

$$\begin{array}{ccc}AB& \underset{\tau _{A,B}}{}& BA\\ {}_{}{}^{fg}& & ^{gf}\\ A^{}B^{}& \underset{\tau _{A^{},B^{}}}{}& B^{}A^{}\end{array}$$

et vérifient :

$$\tau _{AB,C}=(\tau _{A,C}I_B)(I_A\tau _{B,C})$$

De ces deux propriétés on déduit facilement l’équation de l’hexagone, c’est-à-dire la commutativité du diagramme suivant :

$$\begin{array}{ccc}& ABC& \\ & & \\ ACB& & BAC\\ & & \\ CAB& & BCA\\ & & \\ & CBA& \end{array}$$

La catégorie tensorielle tressée des espaces $`\mathrm{}_2`$gradués peut aussi se voir comme la catégorie des modules sur l’algèbre de Hopf quasi-triangulaire $`(H_2,R)`$$`H_2`$ est l’algèbre du groupe $`\mathrm{}_2`$ munie de la multiplication et de la comultiplication usuelle, mais où la $`R`$matrice est non triviale. Dans cette catégorie le carré des tressages est toujours l’identité (c’est une catégorie tensorielle stricte). On peut faire de même avec des espaces $`\mathrm{}_k`$gradués en remplaçant $`1`$ par $`e^{\frac{2i\pi }{k}}`$. On obtient ainsi la catégorie des espaces vectoriels anyoniques, qui est tressée de manière effective pour $`k3`$ \[M\]. II.3. Décalages Soit $`V`$ un espace gradué. On pose :

$$V[1]=Vk[1]$$

$`k[1]`$ est l’espace gradué tel que $`k_n=\{0\}`$ pour $`n1`$ et $`k_1=k`$. Autrement dit $`V[1]`$ et $`V`$ ont même espace vectoriel sous-jacent, mais le degré d’un élément est baissé d’une unité dans $`V[1]`$. On posera en outre :

$$[n]=[1]^n$$

pour tout entier $`n`$. II.4. Algèbres symétriques et extérieures L’algèbre symétrique $`S(V)`$ (resp. l’algèbre extérieure $`\mathrm{\Lambda }(V)`$) est définie par :

$$S(V)=T(V)/<xy(1)^{|x||y|}yx>\text{ resp.}\mathrm{\Lambda }(V)=T(V)/<xy+(1)^{|x||y|}yx>$$

Ce sont des espaces gradués de manière naturelle. La proposition suivante est implicite dans \[K1\] :

Proposition II.4.1 (symétrisation).

Pour tout espace vectoriel gradué $`V`$ et pour tout $`n>0`$ on a un isomorphisme naturel :

$$\mathrm{\Phi }_n:S^n(V[1])\stackrel{~}{}\mathrm{\Lambda }^n(V)[n]$$

donné par :

$$\mathrm{\Phi }_n(x_1.\mathrm{}.x_n)=\alpha (x_1,\mathrm{},x_n)x_1\mathrm{}x_n$$

où, pour des $`x_i`$ homogènes, $`\alpha (x_1,\mathrm{},x_n)`$ désigne la signature de la permutation “unshuffle” qui range les $`x_i`$ pairs dans $`V`$ à gauche sans les permuter, et les $`x_i`$ impairs dans $`V`$ à droite sans les permuter.

Démonstration. Soit $`I`$ (resp. $`J`$) l’ensemble des $`i`$ tels que $`x_i`$ soit de degré pair (resp. impair), et $`\alpha (I,J)=\alpha (x_1,\mathrm{},x_n)`$ la signature de la permutation-rangement associée. L’isomorphisme $`\mathrm{\Phi }_n`$ est donné par la restriction à $`S^n(V[1])`$ de la composition des trois flèches du diagramme ci-dessous (la flèche supérieure est un isomorphisme d’algèbres) :

$$\begin{array}{ccc}S(V[1])& \stackrel{~}{}& S(V[1]_+)S(V[1]_{})\\ x_1\mathrm{}x_n& & x_Ix_J\\ & & \\ \mathrm{\Lambda }(V)& \stackrel{~}{}& \mathrm{\Lambda }(V_{})\mathrm{\Lambda }(V_+)\\ \alpha (I,J)x_1\mathrm{}x_n& & x_Ix_J\end{array}$$

Enfin si les $`x_j`$ sont de degré $`d_j`$ dans $`V[1]`$, $`x_1\mathrm{}x_n`$ est de degré $`d_1+\mathrm{}+d_n`$ dans $`S^n(V[1])`$, donc de degré $`d_1+\mathrm{}+d_n+n`$ dans $`S^n(V)`$. $`\mathrm{\Phi }_n(x_1\mathrm{}x_n)`$ est donc de degré $`d_1+\mathrm{}+d_n+n`$ dans $`\mathrm{\Lambda }^n(V)`$, donc de degré $`d_1+\mathrm{}+d_n`$ dans $`\mathrm{\Lambda }^n(V)[n].`$

$``$

Remarque : L’application $`\mathrm{\Phi }=\mathrm{\Phi }_n`$ est un morphisme d’espace vectoriel gradué mais pas d’algèbre. Il est d’ailleurs vain de vouloir chercher un isomorphisme d’algèbres entre $`S(V[1])`$ et $`\mathrm{\Lambda }^n(V)[n]`$, car deux éléments de parité opposée commutent dans le premier cas, et anticommutent dans le second cas. II.5. Un exemple : $`Tens(\mathrm{}^d)`$ L’algèbre des tenseurs contravariants totalement antisymétriques est une algèbre naturellement graduée par l’ordre des tenseurs. On aimerait la voir comme l’espace sous-jacent à une algèbre symétrique. Notons donc $`V`$ l’espace vectoriel $`𝒳\left(\text{}^d\right)`$ des champs de vecteurs sur $`\text{}^d`$, gradué par $`V=V_0`$. On identifie $`Tens_n\left(\text{}^d\right)=^nV`$ à $`S^n\left(V[1]\right)[n]`$ par $`\mathrm{\Phi }_n`$.

Dans la suite, on posera

$$T_{poly}\left(\text{}^d\right)=Tens\left(\text{}^d\right)[1].$$

III. Variétés formelles graduées III.1. Variétés formelles On se place sur le corps des réels ou des complexes. On se donne un voisinage ouvert $`U`$ de $`0`$ dans $`\mathrm{}^d`$. Une fonction analytique $`\phi `$ sur $`U`$ à valeurs dans $`\mathrm{}`$ est déterminée par son développement de Taylor en $`0`$ :

$$\phi (x)=\underset{\alpha \mathrm{}^d}{}\frac{x^\alpha }{\alpha !}(^\alpha \phi )(0)$$

On établit ainsi une dualité non dégénérée entre les fonctions analytiques sur $`U`$ et les distributions de support $`\{0\}`$. Plus abstraitement on peut remplacer les fonctions analytiques par les jets d’ordre infini au point $`0`$. On appelle variété formelle, ou voisinage formel de $`0`$, l’espace $`\overline{𝒞}`$ des distributions de support $`\{0\}`$. La structure d’algèbre commutative sur l’espace des fonctions analytiques sur $`U`$ détermine une structure de cogèbre cocommutative sur son dual restreint, qui est exactement $`\overline{𝒞}`$. La comultiplication est donnée par :

$$<\mathrm{\Delta }v,\phi \psi >=<v,\phi \psi >.$$

Considérant l’espace tangent $`V`$ à la variété $`U`$ en $`0`$, on a en fait un isomorphisme de cogèbres entre $`\overline{𝒞}`$ et $`S(V)`$, où la comultiplication $`\mathrm{\Delta }`$ de $`S(V)`$ est le morphisme d’algèbres tel que $`\mathrm{\Delta }(v)=v1+1v`$ pour $`vV`$. On considèrera la version pointée :

$$𝒞=S^+(V)=\underset{n1}{}S^n(V)$$

C’est la cogèbre colibre cocommutative sans co-unité construite sur $`V`$. C’est aussi le dual restreint de l’algèbre des jets d’ordre infini qui s’annulent en $`0`$. On remarque que $`\mathrm{\Delta }v=0`$ si et seulement si $`v`$ appartient à $`V`$. Un champ de vecteurs sur la variété formelle pointée est donné par une codérivation $`Q:𝒞𝒞`$ (c’est donc un champ de vecteurs qui s’annule en $`0`$). Un morphisme de variétés formelles pointées est donné par un morphisme de cogèbres. Tout morphisme $`f`$ de variétés pointées induit un morphisme de variétés formelles par transport des distributions de support $`\{0\}`$ :

$$<f_{}T,\phi >=<T,\phi f>$$

Or, par propriété universelle des cogèbres cocommutatives colibres, une codérivation $`Q:S^+(V)S^+(V)`$ (resp. un morphisme de cogèbres $`:S^+(V_1)S^+(V_2)`$) est entièrement déterminé(e) par sa composition avec la projection sur $`V`$ (resp. $`V_2`$), c’est à dire par une suite d’applications :

$$Q_n:S^nVV\text{ (resp. }_n:S^nV_1V_2\text{)}$$

qui sont par définition les coefficients de Taylor du champ de vecteurs $`Q`$ ou du morphisme $``$. III.2. Variétés formelles graduées pointées On fait la même construction algébrique dans la catégorie des espaces vectoriels gradués : une variété formelle graduée pointée est une cogèbre $`𝒞`$ isomorphe à $`S^+(V)`$$`V`$ est cette fois-ci un espace gradué. Toutes les notions du § III.1 s’appliquent, à ceci près que l’on peut considérer des champs de vecteurs de différents degrés. Nous allons donner une formule explicite pour un champ de vecteurs ou un morphisme en fonction de ses coefficients de Taylor :

Théorème III.2.1.

Soit $`i`$ un entier, soient $`V,V_1,V_2`$ des espaces gradués, et deux suites d’applications linéaires $`Q_n:S^nVV`$ de degré $`i`$, $`_n:S^nV_1V_2`$ de degré zéro. Alors il existe une unique codérivation $`Q`$ de degré $`i`$ de $`S^+(V)`$ et un unique morphisme $`:S^+(V_1)S^+(V_2)`$ dont les $`Q_n`$ et les $`_n`$ sont les coefficients de Taylor respectifs. $`Q`$ et $``$ sont donnés par les formules explicites :

$$\begin{array}{cc}\hfill Q(x_1\mathrm{}x_n)& =\underset{\genfrac{}{}{0pt}{}{IJ=\{1,\mathrm{},n\}}{I,J\mathrm{}}}{}\epsilon _x(I,J)\left(Q_{|I|}(x_I)\right).x_J\hfill \\ \hfill (x_1\mathrm{}x_n)& =\underset{j1}{}\frac{1}{j!}\underset{\genfrac{}{}{0pt}{}{I_1\mathrm{}I_j=\{1,\mathrm{},n\}}{I_1,\mathrm{},I_j\mathrm{}}}{}\epsilon _x(I_1,\mathrm{},I_j)_{|I_1|}(x_{I_1})\mathrm{}_{|I_j|}(x_{I_j})\hfill \end{array}$$

$`\epsilon _x(I_1,\mathrm{},I_j)`$ désigne la signature de l’effet sur les $`x_i`$ impairs de la permutation-battement associée à la partition $`(I_1,\mathrm{},I_j)`$ de $`\{1,\mathrm{},n\}`$.

Démonstration. Supposons que tous les coefficients de Taylor de la codérivation $`Q`$ sont nuls. En particulier $`Q(x)=0`$ pour tout $`xV`$. Supposons que $`Q(x_1\mathrm{}x_k)=0`$ pour tout $`kn`$ Alors :

$$\mathrm{\Delta }Q(x_1\mathrm{}x_{n+1})=(QI+IQ)\mathrm{\Delta }(x_1\mathrm{}x_{n+1})=0,$$

compte tenu de l’hypothèse de récurrence et de l’expression explicite de $`\mathrm{\Delta }(x_1\mathrm{}x_{n+1})`$ :

$$\mathrm{\Delta }(x_1\mathrm{}x_{n+1})=\underset{IJ=\{1,\mathrm{},n+1\},I,J\mathrm{}}{}\epsilon _x(I,J)x_Ix_J$$

Donc $`Q(x_1\mathrm{}x_{n+1})V`$, donc est nul puisque le $`n+1`$-ème coefficient de Taylor est nul. Le raisonnement est analogue dans le cas d’un morphisme, et montre qu’une codérivation ou un morphisme est entièrement déterminé(e) par ses coefficients de Taylor. Nous vérifions directement les formules (les vérifications à l’ordre 2 ou 3 sont laissées au lecteur à titre d’exercice). 1. Cas d’une codérivation : On écrit la formule explicite pour $`\mathrm{\Delta }(x_1\mathrm{}x_n)`$ en utilisant la cocommutativité graduée, ce qui permet de ne retenir que la moitié des partitions :

$$\mathrm{\Delta }(x_1\mathrm{}x_n)=(1+\tau )\underset{KL=\{1,\mathrm{},n\},1K,L\mathrm{}}{}\epsilon _x(K,L)x_Kx_L$$

On a donc, en prenant pour $`Q`$ l’expression explicite du théorème :

$$\begin{array}{cc}\hfill \mathrm{\Delta }Q(x_1& \mathrm{}x_n)=_{IJ=\{1,\mathrm{},n\},I,J\mathrm{}}\epsilon _x(I,J)\mathrm{\Delta }(Q_{|I|}x_I.x_J)\hfill \\ & =(1+\tau )\underset{IJ=\{1,\mathrm{},n\},I,J\mathrm{}}{}\underset{KL=J,L\mathrm{}}{}\epsilon _x(I,J)\epsilon _{x_J}(K,L)Q_{|I|}(x_I).x_Kx_L\hfill \\ & =(1+\tau )\underset{IJK=\{1,\mathrm{},n\},I,K\mathrm{}}{}\epsilon _x(I,J,K)Q_{|I|}(x_I).x_Jx_K\hfill \end{array}$$

Par ailleurs on a :

$$\begin{array}{cc}\hfill (Q& I+IQ)\mathrm{\Delta }(x_1\mathrm{}x_n)=(1+\tau )_{LK=\{1,\mathrm{},n\},L,K\mathrm{}}\epsilon _x(L,K)Q(x_L)x_K\hfill \\ & =(1+\tau )\underset{LK=\{1,\mathrm{},n\},L,K\mathrm{}}{}\epsilon _x(L,K)\underset{IJ=L,I,J\mathrm{}}{}\epsilon _{x_L}(I,J)Q_{|I|}(x_I).x_Jx_K\hfill \\ & =(1+\tau )\underset{IJK=\{1,\mathrm{},n\},,I,J,K\mathrm{}}{}\epsilon _x(I,J,K)Q_{|I|}(x_I).x_Jx_K\hfill \end{array}$$

d’où le fait que $`Q`$ est bien une codérivation. 2. Cas d’un morphisme : le calcul est un peu plus compliqué : on commence par écrire $`\mathrm{\Delta }`$ et $``$ de manière redondante, en employant des permutations qui ne sont pas forcément des battements :

$$\begin{array}{cc}\hfill \mathrm{\Delta }(x_1\mathrm{}x_n)& =\underset{\sigma S_n}{}\underset{r=1}{\overset{n}{}}\frac{\epsilon _x(\sigma )}{r!(nr)!}x_{\sigma _1}\mathrm{}x_{\sigma _r}x_{\sigma _{r+1}}\mathrm{}x_{\sigma _n}\hfill \\ \hfill (x_1\mathrm{}x_n)& =\underset{j1}{}\frac{1}{j!}\underset{k_1+\mathrm{}+k_j=n}{}\frac{1}{k_1!\mathrm{}k_j!}\underset{\sigma S_n}{}\epsilon _x(\sigma )_{k_1}(x_{\sigma _1}\mathrm{}x_{\sigma _{k_1}})\mathrm{}_{k_j}(x_{\mathrm{}}\mathrm{}x_{\sigma _n})\hfill \end{array}$$

On vérifie directement l’égalité :

$$\mathrm{\Delta }(x_1\mathrm{}x_n)=()\mathrm{\Delta }(x_1\mathrm{}x_n)$$

L’écriture par blocs : $`x_1\mathrm{}x_n=(x_1\mathrm{}x_{k_1})\mathrm{}(x_{k_1+\mathrm{}+k_{j1}+1}\mathrm{}x_n)`$ induit par permutation des blocs un plongement du groupe de permutations $`S_j`$ dans $`S_n`$. On calcule :

$$\begin{array}{cc}\hfill \mathrm{\Delta }(x_1\mathrm{}x_n)& =\underset{j2}{}\frac{1}{j!}\underset{k_1+\mathrm{}+k_j=n}{}\frac{1}{k_1!\mathrm{}k_j!}\underset{\sigma S_n}{}\epsilon _x(\sigma )\mathrm{\Delta }\left(_{k_1}(x_{\sigma _1}\mathrm{}x_{\sigma _{k_1}})\mathrm{}_{k_j}(x_{\mathrm{}}\mathrm{}x_{\sigma _n})\right)\hfill \\ & =\underset{j2}{}\frac{1}{j!}\underset{k_1+\mathrm{}+k_j=n}{}\frac{1}{k_1!\mathrm{}k_j!}\underset{\sigma S_n}{}\epsilon _x(\sigma )\underset{\tau S_jS_n}{}\hfill \\ & \underset{r=1}{\overset{j1}{}}\frac{\epsilon _{\sigma x}(\tau )}{r!(jr)!}_{k_{\tau _1}}(\mathrm{})\mathrm{}_{k_{\tau _r}}(\mathrm{})_{k_{\tau _{r+1}}}(\mathrm{})\mathrm{}_{k_{\tau _j}}(\mathrm{})\hfill \end{array}$$

Dans le dernier membre de l’égalité ci-dessus, chaque terme se trouve répété autant de fois qu’il y a d’éléments dans $`S_j`$. On a donc :

$$\begin{array}{cc}\hfill \mathrm{\Delta }(x_1\mathrm{}x_n)& =\underset{j2}{}\underset{k_1+\mathrm{}+k_j=n}{}\frac{1}{k_1!\mathrm{}k_j!}\underset{\sigma S_n}{}\epsilon _x(\sigma )\hfill \\ & \underset{r=1}{\overset{j1}{}}\frac{1}{r!(jr)!}_{k_1}(\mathrm{})\mathrm{}_{k_r}(\mathrm{})_{k_{r+1}}(\mathrm{})\mathrm{}_{k_j}(\mathrm{})\hfill \end{array}$$

Par ailleurs, on a :

$$\begin{array}{cc}\hfill ()\mathrm{\Delta }(x_1\mathrm{}x_n)& =\underset{\sigma S_n}{}\underset{r=1}{\overset{n1}{}}\frac{\epsilon _x(\sigma )}{r!(nr)!}(x_{\sigma _1}\mathrm{}x_{\sigma _r})(x_{\sigma _{r+1}}\mathrm{}x_{\sigma _n})\hfill \\ & =\underset{\sigma S_n}{}\underset{r=1}{\overset{n1}{}}\underset{\alpha S_r\times S_{nr}S_n}{}\frac{\epsilon _x(\sigma )\epsilon _{\sigma x}(\alpha )}{r!(nr)!}\hfill \\ & \underset{j,k1}{}\frac{1}{j!k!}\underset{\genfrac{}{}{0pt}{}{r_1+\mathrm{}+r_j=r}{s_1+\mathrm{}+s_k=nr}}{}\frac{1}{r_1!\mathrm{}r_j!s_1!\mathrm{}s_k!}\hfill \\ & _{r_1}(x_{\alpha _{\sigma _1}}\mathrm{}x_{\alpha _{\sigma _{r1}}})\mathrm{}_{r_j}(\mathrm{})_{s_1}(\mathrm{})\mathrm{}_{s_k}(\mathrm{}x_{\alpha _{\sigma _n}})\hfill \end{array}$$

Dans le dernier membre de l’égalité ci-dessus, chaque terme se trouve répété autant de fois qu’il y a d’éléments dans $`S_r\times S_{nr}`$. Donc :

$$\begin{array}{cc}\hfill ()\mathrm{\Delta }(x_1\mathrm{}x_n)& =\underset{\sigma S_n}{}\underset{r=1}{\overset{n1}{}}\epsilon _x(\sigma )\frac{1}{j!k!}\underset{\genfrac{}{}{0pt}{}{r_1+\mathrm{}+r_j=r}{s_1+\mathrm{}+s_k=nr}}{}\frac{1}{r_1!\mathrm{}r_j!s_1!\mathrm{}s_k!}\hfill \\ & _{r_1}(x_{\sigma _1}\mathrm{}x_{\sigma _{r_1}})\mathrm{}_{r_j}(\mathrm{})_{s_1}(\mathrm{})\mathrm{}_{s_k}(\mathrm{}x_{\sigma _n})\hfill \end{array}$$

Posant $`l=j+k`$ et procédant à la renumérotation $`(s_1,\mathrm{}s_k)=(r_{j+1},\mathrm{}r_l)`$ on obtient :

$$\begin{array}{cc}\hfill ()\mathrm{\Delta }(x_1\mathrm{}x_n)& =\underset{\sigma S_n}{}\epsilon _x(\sigma )\underset{l2}{}\underset{r_1+\mathrm{}+r_l=n}{}\underset{k=1}{\overset{l1}{}}\frac{1}{k!(lk)!}\frac{1}{r_1!\mathrm{}r_l!}\hfill \\ & _{r_1}(x_{\sigma _1}\mathrm{}x_{\sigma _{r1}})\mathrm{}_{r_k}(\mathrm{})_{r_{k+1}}(\mathrm{})\mathrm{}_{r_l}(\mathrm{}x_{\sigma _n})\hfill \\ & =\mathrm{\Delta }(x_1\mathrm{}x_n)\hfill \end{array}$$

compte tenu du calcul précédent, ce qui démontre le théorème.

$``$

IV. L-algèbres et L-morphismes A tout espace vectoriel gradué $`V`$ on associe (attention au décalage!) la variété formelle $`(V[1],0)`$ pointée, c’est à dire la cogèbre colibre sans co-unité :

$$𝒞(V)=S^+(V[1])\stackrel{~}{\underset{\mathrm{\Phi }}{}}\underset{k1}{}(\mathrm{\Lambda }^kV)[k]$$

$`\mathrm{\Phi }`$ est l’isomorphisme décrit au § II.4. Un pré-$`L_{\mathrm{}}`$-morphisme entre deux espaces gradués $`V_1`$ et $`V_2`$ est par définition un morphisme de variétés formelles, c’est-à-dire un morphisme de cogèbres :

$$:𝒞(V_1)𝒞(V_2)$$

qui est donc déterminé par ses coefficients de Taylor $`_j`$. Posant $`\overline{}_j=_j\mathrm{\Phi }^1`$ on a :

$$\begin{array}{c}\text{ }\overline{}_1:V_1V_2\text{ }\hfill \\ \text{ }\overline{}_2:\mathrm{\Lambda }^2V_1V_2[1]\text{ }\hfill \\ \text{ }\overline{}_3:\mathrm{\Lambda }^3V_1V_2[2]\text{ }\hfill \\ \text{ }\mathrm{}\text{ }\hfill \end{array}$$

IV.1. Algèbres de Lie homotopiques Par définition une $`L_{\mathrm{}}`$-algèbre, ou algèbre de Lie homotopique est une variété formelle graduée pointée du type $`(\text{g}[1],0)`$, où g est un espace vectoriel gradué, munie d’un champ de vecteurs $`Q`$ de degré $`1`$ vérifiant l’équation maîtresse :

$$[Q,Q]=2Q^2=0$$

C’est-à-dire que $`Q`$ est une codérivation de carré nul de la cogèbre $`𝒞(\text{g})`$. Les coefficients de Taylor $`Q_k:S^k(\text{g}[1])\text{g}[2]`$ donnent naissance aux coefficients $`\overline{Q}_k=Q_k\mathrm{\Phi }^1`$ :

$$\begin{array}{c}\text{ }\overline{Q}_1:\text{g}\text{g}[1]\text{ }\hfill \\ \text{ }\overline{Q}_2:\mathrm{\Lambda }^2\text{g}\text{g}\text{ }\hfill \\ \text{ }\overline{Q}_3:\mathrm{\Lambda }^3\text{g}\text{g}[1]\text{ }\hfill \\ \text{ }\mathrm{}\text{ }\hfill \end{array}$$

L’équation maîtresse se traduit par une infinité de relations quadratiques entre les $`\overline{Q}_k`$, qui s’obtiennent en écrivant explicitement pour tout $`k`$ l’équation :

$$\pi Q^2(x_1\mathrm{}x_k)=0$$

$`\pi :𝒞(\text{g})\text{g}[1]`$ est la projection canonique. On écrit explicitement les trois premières : Première équation : $`Q_1^2(x)=0`$ pour tout $`x`$ dans g. Donc $`(\text{g},Q_1)`$ est un complexe de cochaînes. Deuxième équation : $`\pi Q^2(x.y)=0`$, soit :

$$Q_2(Q_1x.y+(1)^{|x|1}x.Q_1y)+Q_1Q_2(x.y)=0.$$

(Remarque : $`|x|1`$ est bien le degré de $`x`$ dans la cogèbre $`𝒞(\text{g})`$, à cause du décalage). Traduisant cette égalité en termes de $`\overline{Q}_1`$ et $`\overline{Q}_2`$ on obtient (cf § II.4) :

$$\alpha (\overline{Q}_1x,y)\overline{Q}_2(\overline{Q}_1xy)+(1)^{|x|1}\alpha (x,\overline{Q}_1y)\overline{Q}_2(x\overline{Q}_1y)+\alpha (x,y)\overline{Q}_1\overline{Q}_2(xy)=0$$

Compte tenu de l’égalité :

$$\alpha (x,y)=(1)^{|x|(|y|1)}$$

on obtient :

$$(1)^{|y|1}\overline{Q}_2(\overline{Q}_1xy)\overline{Q}_2(x\overline{Q}_1y)+\overline{Q}_1\overline{Q}_2(xy)=0.$$

Posant $`dx=(1)^{|x|}\overline{Q}_1x`$ et $`[x,y]=\overline{Q}_2(xy)`$ on obtient finalement :

$$d[x,y]=[dx,y]+(1)^{|x|}[x,dy]$$

donc $`\overline{Q}_2`$ est un crochet antisymétrique pour lequel $`d`$ est une dérivation. Remarque : On peut garder $`\overline{Q}_1`$ comme dérivation sans le modifier, à condition d’inverser le sens du crochet, c’est-à-dire de poser :

$$[x,y]=\overline{Q}_2(yx).$$

Nous choisirons la première solution. Troisième équation : $`\pi Q_3(x.y.z)=0`$ soit :

$$\begin{array}{c}\text{ }Q_3\left(Q_1x.y.z+(1)^{|x|1}x.Q_1y.z+(1)^{|x|+|y|2}x.y.Q_1z\right)+Q_1Q_3(x.y.z)\text{ }\hfill \\ \text{ }+Q_2\left(Q_2(x.y).z+(1)^{(|y|1)(|z|1)}Q_2(x.z).y+(1)^{(|x|1)(|y|+|z|2)}Q_2(y.z).x\right)=0\text{ }\hfill \end{array}$$

soit :

$$\begin{array}{c}\text{ }Q_2(Q_2(x.y).z+(1)^{(|y|1)(|z|1)+(|x|1)(|z|1)}Q_2(z.x).y\text{ }\hfill \\ \text{ }+(1)^{(|x|1)(|y|+|z|)}Q_2(y.z).x)+\text{ }\text{termes en }Q_3\text{ }=0\text{ }\hfill \end{array}$$

Or on a :

$$\begin{array}{cc}\hfill Q_2(Q_2(x.y).z)& =\alpha (Q_2(x.y),z)\alpha (x,y)\overline{Q}_2(\overline{Q}_2(xy)z)\hfill \\ & =(1)^{(|x|+|y|)|z|}(1)^{(|x|1)|y|}\overline{Q}_2\left(\overline{Q}_2(xy)z\right)\hfill \end{array}$$

En reportant ceci dans l’équation précédente et en simplifiant par $`(1)^{|x||y|+|x||z|+|y||z|}`$ on obtient finalement :

$$(1)^{|x||z|}[[x,y],z]+(1)^{|y||x|}[[y,z],x]+(1)^{|z||y|}[[z,x],y]+\text{ }\text{termes en }Q_3\text{ }=0$$

Autrement dit le crochet fourni par $`\overline{Q}_2`$ vérifie l’identité de Jacobi graduée “à homotopie gouvernée par $`\overline{Q}_3`$ près”. En corollaire :

Théorème IV.1.1.

Une algèbre de Lie différentielle graduée est la même chose qu’une $`L_{\mathrm{}}`$-algèbre pour laquelle tous les coefficients de Taylor sont nuls sauf les deux premiers.

IV.2. L’algèbre de Lie différentielle graduée des mutichamps de vecteurs Sur $`V=T_{poly}\left(\text{}^d\right)`$, on dispose du crochet de Schouten défini par :

$$[\xi _1\mathrm{}\xi _k,\eta _1\mathrm{}\eta _{\mathrm{}}]_S=\underset{i=1}{\overset{k}{}}\underset{j=1}{\overset{\mathrm{}}{}}(1)^{i+j}[\xi _i,\eta _j]\xi _1\mathrm{}\widehat{\xi _i}\mathrm{}\xi _k\eta _1\mathrm{}\widehat{\eta _j}\mathrm{}\eta _{\mathrm{}}.$$

La symétrisation de $`Tens\left(\text{}^d\right)`$ nous permet de définir une opération $``$.

Si $`\alpha _1`$ est un $`k_1`$-tenseur antisymétrique :

$$\alpha _1=\alpha _1^{i_1\mathrm{}i_{k_1}}_{i_1}_{i_2}\mathrm{}_{i_{k_1}}Tens^{k_1}\left(\text{}^d\right),$$

alors :

$$\mathrm{\Phi }_{k_1}^1(\alpha _1)=\alpha _1^{i_1\mathrm{}i_{k_1}}\psi _{i_1}\mathrm{}\psi _{i_{k_1}}S\left(𝒳\left(\text{}^d\right)[1]\right)[k_1]$$

où chaque $`\psi _i=\mathrm{\Phi }_1^1(_i)`$ est une variable de degré 1.

Si maintenant $`\alpha _2`$ est un $`k_2`$ tenseur antisymétrique, on posera :

$$\alpha _1\alpha _2=\mathrm{\Phi }_{k_1+k_21}\left(\underset{i=1}{\overset{d}{}}\frac{\mathrm{\Phi }_{k_1}^1(\alpha _1)}{\psi _i}\text{.}\frac{\mathrm{\Phi }_{k_2}^1(\alpha _2)}{x_i}\right)$$

en tenant compte du fait que $`\frac{}{\psi _i}`$ est un opérateur de dérivation impair.

Lemme IV.2.1 (Calcul de $`\alpha _1\alpha _2`$).

On a :

$$\alpha _1\alpha _2=\underset{l=1}{\overset{k_1}{}}(1)^{l1}\alpha _1^{i_1\mathrm{}.i_{k_1}}_l\alpha _2^{j_1\mathrm{}j_{k_2}}_{i_1}\mathrm{}\widehat{_{i_l}}\mathrm{}_{i_{k_1}}_{j_1}\mathrm{}_{j_{k_2}}$$

et

$$[\alpha _1,\alpha _2]_S=(1)^{k_11}\alpha _1\alpha _2(1)^{k_1(k_21)}\alpha _2\alpha _1.$$

Démonstration. On a :

$$\begin{array}{cc}\hfill \frac{}{\psi _i}\left(\alpha _1^{i_1\mathrm{}i_{k_1}}\psi _{i_1}\text{.}\mathrm{}\text{.}\psi _{i_{k_1}}\right)& =\underset{l=1}{\overset{k_1}{}}(1)^{l1}\alpha _1^{i_1\mathrm{}i_{k_1}}\psi _{i_1}\text{.}\mathrm{}\text{.}\frac{\psi _{i_l}}{\psi _i}\text{.}\mathrm{}\text{.}\psi _{i_{k_1}}\hfill \\ & =\underset{l=1}{\overset{k_1}{}}(1)^{l1}\delta _{i_l}^i\alpha _1^{i_1\mathrm{}i_{k_1}}\psi _{i_1}\text{.}\mathrm{}\text{.}\widehat{\psi _{i_l}}\text{.}\mathrm{}\text{.}\psi _{i_{k_1}}.\hfill \end{array}$$

Donc :

$$\begin{array}{cc}\hfill \underset{i=1}{\overset{d}{}}\frac{\mathrm{\Phi }_{k_1}^1(\alpha _1)}{\psi _i}\text{.}\frac{\mathrm{\Phi }_{k_2}^1(\alpha _2)}{x_i}& =\underset{l=1}{\overset{k_1}{}}(1)^{l1}\alpha _1^{i_1\mathrm{}i_{k_1}}\psi _{i_1}\text{.}\mathrm{}\text{.}\widehat{\psi _{i_l}}\text{.}\mathrm{}\text{.}\psi _{i_{k_1}}\text{.}_{i_l}\alpha _2^{j_1\mathrm{}j_{k_2}}\psi _{j_1}\text{.}\mathrm{}\text{.}\psi _{j_{k_2}}\hfill \\ & =\underset{l=1}{\overset{k_1}{}}(1)^{l1}\alpha _1^{i_1\mathrm{}i_{k_1}}_{i_l}\alpha _2^{j_1\mathrm{}j_{k_2}}\psi _{i_1}\text{.}\mathrm{}\text{.}\widehat{\psi _{i_l}}\text{.}\mathrm{}\text{.}\psi _{i_{k_1}}\text{.}\psi _{j_1}\text{.}\mathrm{}\text{.}\psi _{j_{k_2}}.\hfill \end{array}$$

D’autre part :

$$\begin{array}{cc}\hfill [\alpha _1,\alpha _2]_S& =[\alpha _1^{i_1\mathrm{}i_{k_1}}_{i_1}\mathrm{}_{i_{k_1}},\alpha _2^{j_1\mathrm{}j_{k_2}}_{j_1}\mathrm{}_{j_{k_2}}]\hfill \\ & =[\alpha _1^{i_1\mathrm{}i_{k_1}}_{i_1},\alpha _2^{j_1\mathrm{}j_{k_2}}_{j_1}]_{i_2}\mathrm{}_{i_{k_1}}_{j_1}\mathrm{}_{j_{k_2}}+\hfill \\ & +\underset{l=2}{\overset{k_2}{}}(1)^{1+l}[\alpha _1^{i_1\mathrm{}i_{k_1}}_{i_1},_{j_l}]_{i_2}\mathrm{}_{i_{k_1}}\alpha _2^{j_1\mathrm{}j_{k_2}}_{j_1}\mathrm{}\widehat{_{j_l}}\mathrm{}_{j_{k_2}}+\hfill \\ & +\underset{l=2}{\overset{k_1}{}}[_{i_l},\alpha _2^{j_1\mathrm{}j_{k_2}}_{j_1}]\alpha _1^{i_1\mathrm{}i_{k_1}}_{i_1}\mathrm{}\widehat{_{i_l}}\mathrm{}_{i_{k_1}}_{j_2}\mathrm{}_{j_{k_2}}\hfill \\ & =\underset{l=1}{\overset{k_2}{}}(1)^{l+1}\alpha _2^{j_1\mathrm{}j_{k_2}}_{j_l}\alpha _1^{i_1\mathrm{}i_{k_1}}_{i_1}\mathrm{}_{i_{k_1}}_{j_1}\mathrm{}\widehat{_{j_l}}\mathrm{}_{j_{k_2}}+\hfill \\ & +\underset{l=1}{\overset{k_1}{}}(1)^{l+1}\alpha _1^{i_1\mathrm{}i_{k_1}}_{i_l}\alpha _2^{j_1\mathrm{}j_{k_2}}_{j_1}_{i_1}\mathrm{}\widehat{_{i_l}}\mathrm{}_{i_{k_1}}_{j_2}\mathrm{}\mathrm{}_{j_{k_2}}\hfill \\ & =(1)^{k_11}\alpha _1\alpha _2(1)^{(k_21)k_1}\alpha _2\alpha _1.\hfill \end{array}$$

Corollaire IV.2.2.

L’espace gradué $`T_{poly}\left(\text{}^d\right)`$, muni du crochet :

$$[\alpha _1,\alpha _2]_S^{}=[\alpha _2,\alpha _1]_S$$

est aussi une algèbre de Lie graduée et :

$$[\alpha _1,\alpha _2]_S^{}=(1)^{(k_11)k_2}\alpha _1\alpha _2+(1)^{k_2}\alpha _2\alpha _1.$$

Comme $`[,]_S^{}`$ définit sur $`T_{poly}\left(\text{}^d\right)`$ une structure d’algèbre de Lie graduée, on aura, en prenant $`d=0`$, une structure de $`L_{\mathrm{}}`$ algèbre sur $`𝒞\left(T_{poly}\left(\text{}^d\right)\right)`$. Le champ de vecteurs $`Q`$ est caractérisé par :

$$\begin{array}{cc}\hfill Q_1=0,Q_2(\alpha _1\text{.}\alpha _2)& =(1)^{(k_11)k_2}[\alpha _1,\alpha _2]_S^{}\hfill \\ & =\alpha _1\alpha _2+(1)^{k_1k_2}\alpha _2\alpha _1.\hfill \end{array}$$

IV.3. L’algèbre de Lie différentielle graduée des opérateurs polydifférentiels On considère l’espace vectoriel $`V^{}=D_{poly}\left(\text{}^d\right)`$ des (combinaisons linéaires d’) opérateurs multidifférentiels gradué par $`|A|=m1`$ si $`A`$ est $`m`$-différentiel.

Sur $`D_{poly}\left(\text{}^d\right)`$, l’opérateur de composition naturel $``$ s’écrit :

$$\begin{array}{cc}\hfill \left(A_1A_2\right)& (f_1,\mathrm{},f_{m_1+m_21})=\hfill \\ & =\underset{j=1}{\overset{m_1}{}}(1)^{(m_21)(j1)}A_1(f_1,\mathrm{},f_{j1},A_2(f_j,\mathrm{},f_{j+m_21}),f_{j+m_2},\mathrm{},f_{m1+m_21}).\hfill \end{array}$$

On associe à cette composition d’une part le crochet de Gerstenhaber :

$$[A_1,A_2]_G=A_1A_2(1)^{|A_1||A_2|}A_2A_1,$$

d’autre part l’opérateur de cobord :

$$dA=[\mu ,A]$$

$`\mu `$ est la multiplication des fonctions : $`\mu (f_1,f_2)=f_1f_2`$. Remarque : Avec ce choix de $`d`$, $`(D_{poly}\left(\text{}^d\right),[,]_G,d)`$ est une algèbre de Lie graduée différentielle, on vérifie en effet que $`dd=0`$ et

$$d\left([A_1,A_2]\right)=[dA_1,A_2]+(1)^{|A_1|}[A_1,dA_2].$$

L’opérateur de cobord de Hochschild usuel $`d_H`$ donné par :

$$\begin{array}{cc}\hfill \left(d_HA\right)(f_1,\mathrm{},f_m)& =f_1A(f_2,\mathrm{},f_m)A(f_1f_2,f_3,\mathrm{},f_m)+\mathrm{}+(1)^mA(f_1,\mathrm{},f_{m1})f_m\hfill \\ & =(1)^{|A|+1}dA(f_1,\mathrm{},f_m)\hfill \end{array}$$

n’est pas une dérivation de l’algèbre de Lie graduée $`(D_{poly}\left(\text{}^d\right),[,]_G)`$.

Le champ de vecteurs $`Q^{}`$ sur la variété formelle $`𝒞(V^{})`$ sera donc défini par :

$$Q_1^{}(A)=(1)^{|A|}dA=(1)^{|A|+1}[\mu ,A]=[A,\mu ]=d_HA$$

et

$$\begin{array}{cc}\hfill Q_2^{}\left(A_1\text{.}A_2\right)& =(1)^{|A_1|(|A_2|1)}[A_1,A_2]_G\hfill \\ & =(1)^{|A_1|(|A_2|1)}A_1A_2(1)^{|A_1|}A_2A_1.\hfill \end{array}$$

IV.4. L-morphismes Par définition un $`L_{\mathrm{}}`$-morphisme entre deux $`L_{\mathrm{}}`$-algèbres $`(\text{g}_1,Q)`$ et $`(\text{g}_2,Q^{})`$ est un morphisme de variétés formelles pointées :

$$:𝒞(\text{g}_1)𝒞(\text{g}_2)$$

vérifiant :

$$Q=Q^{}$$

Cette équation induit une infinité de relations entre les coefficients de Taylor de $`Q`$, $`Q^{}`$ et $``$, dont nous allons examiner les deux premières : Première équation : $`Q_1^{}_1(x)=_1Q_1(x)`$, c’est-à-dire que $`_1`$ est un morphisme de complexes. Deuxième équation : $`\pi Q^{}(x.y)=\pi Q(x.y)`$ soit :

$$\pi Q^{}(_1x._1y+_2(x.y))=\pi (Q_1x.y+(1)^{(|x|1)}x.Q_1y+Q_2(x.y))$$

soit encore :

$$Q_2^{}(_1x._1y)+Q_1^{}_2(x.y)=_2(Q_1x.y+(1)^{|x|1}x.Q_1y)+_1Q_2(x.y).$$

On traduit cette dernière égalité en termes de $`\overline{Q}_1`$, $`\overline{Q}_2`$, $`\overline{}_1`$, etc. :

$$\begin{array}{c}\text{ }(1)^{|x|(|y|1)}[\overline{}_1x,\overline{}_1y]+(1)^{|x|+|y|1+|x|(|y|1)}d\overline{}_2(xy)\text{ }\hfill \\ \text{ }=(1)^{(|x|1)(|y|1)+|x|}\overline{}_2(dxy)+(1)^{|x||y|+|x|1+|y|}\overline{}_2(xdy)+(1)^{|x|(|y|1)}\overline{}_1([x,y])\text{ }\hfill \end{array}$$

soit, en multipliant par $`(1)^{|x|(|y|1)}`$ :

$$\overline{}_1([x,y])[\overline{}_1x,\overline{}_1y]=(1)^{|x|+|y|1}\left(d\overline{}_2(xy)\overline{}_2(dxy)(1)^{|x|}\overline{}_2(xdy)\right).$$

Dans le cas où $`\text{g}_1`$ et $`\text{g}_2`$ sont des algèbres de Lie différentielles graduées, $`_1`$ n’est donc pas forcément un morphisme d’algèbres de lie différentielles graduées, mais le défaut est gouverné par le coefficient suivant, c’est-à-dire $`_2`$.

Proposition IV.4.1 (Equation de $`L_{\mathrm{}}`$-morphisme dans le cas des algèbres de Lie différentielles graduées).

Supposons que $`(V,[,],d)`$ et $`(V^{},[,]^{},d^{})`$ soient deux algèbres de Lie graduées. Notons $`(𝒞(V),Q)`$ et $`(𝒞(V^{}),Q^{})`$ les $`L_{\mathrm{}}`$ algèbres correspondantes respectives. Soit $`:𝒞(V)𝒞(V^{})`$ un morphisme de cogèbre. Alors $``$ est un $`L_{\mathrm{}}`$ morphisme si et seulement si :

$$\begin{array}{cc}\hfill Q_1^{}_n\left(\alpha _1\text{.}\mathrm{}\text{.}\alpha _n\right)+& \frac{1}{2}\underset{\genfrac{}{}{0pt}{}{IJ=\{1,\mathrm{},n\}}{I,J\mathrm{}}}{}\epsilon _\alpha (I,J)Q_2^{}\left(_{|I|}\left(\alpha _I\right)\text{.}_{|J|}\left(\alpha _J\right)\right)=\hfill \\ & =\underset{k=1}{\overset{n}{}}\epsilon _\alpha (k,1,\mathrm{}\widehat{k},\mathrm{},n)_n\left(Q_1(\alpha _k)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _k}\text{.}\mathrm{}\text{.}\alpha _n\right)+\hfill \\ & +\frac{1}{2}\underset{kl}{}\epsilon _\alpha (k,l,1,\mathrm{},\widehat{k,l},\mathrm{},n)_{n1}\left(Q_2(\alpha _k\text{.}\alpha _l)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _k}\text{.}\mathrm{}\text{.}\widehat{\alpha _l}\text{.}\mathrm{}\text{.}\alpha _n\right)\hfill \end{array}$$

$`|I|`$ et $`\epsilon _\alpha (I,J)`$ ont la même signification que dans le théorème III.2.1, et où $`\epsilon _\alpha (\mathrm{})`$ désigne le signe de Quillen de la permutation indiquée entre parenthèses, c’est-à-dire la signature de la trace sur les $`\alpha _j`$ impairs de cette permutation.

Comme pour les codérivations $`Q`$ et les morphismes de cogèbres $``$, il est facile de voir que les applications $`Q^{}`$ et $`Q`$ sont uniquement déterminées par leur composition avec la projection sur $`V^{}[1]`$. On déduit alors l’équation de $`L_{\mathrm{}}`$-morphisme sous la forme $`(Q^{})_n=(Q)_n`$ pour tout $`n`$. Puisqu’on est parti de deux algèbres de Lie différentielles graduées, tous les $`Q_p`$ et $`Q_p^{}`$ sont nuls pour $`p3`$.

V. Quasi-isomorphismes Par définition un quasi-isomorphisme entre deux $`L_{\mathrm{}}`$-algèbres $`(\text{g}_1,Q_1)`$ et $`(\text{g}_2,Q_2)`$ est un $`L_{\mathrm{}}`$-morphisme $``$ dont le premier coefficient de Taylor $`_1:\text{g}_1[1]\text{g}_2[1]`$ est un morphisme de complexes qui induit un isomorphisme en cohomologie (quasi-isomorphisme de complexes). Nous allons exposer la démonstration du théorème suivant (\[K1\] theorem 4.4) :

Théorème V.1.

Pour tout quasi-isomorphisme $``$ d’une $`L_{\mathrm{}}`$-algèbre $`(\text{g}_1,Q_1)`$ vers une $`L_{\mathrm{}}`$-algèbre $`(\text{g}_2,Q_2)`$ il existe un $`L_{\mathrm{}}`$-morphisme $`𝒢`$ de $`(\text{g}_2,Q_2)`$ vers $`(\text{g}_1,Q_1)`$ dont le premier coefficient de Taylor $`𝒢_1:\text{g}_2[1]\text{g}_1[1]`$ soit un quasi-inverse pour $`_1`$.

V.1. Décomposition des $`L_{\mathrm{}}`$-algèbres Une $`L_{\mathrm{}}`$-algèbre $`(\text{g},Q)`$ est minimale si $`Q_1=0`$. Une $`L_{\mathrm{}}`$-algèbre est linéaire contractile si $`Q_j=0`$ pour $`j2`$ et si la cohomologie du complexe donné par $`Q_1`$ est triviale. On remarque que la première notion est invariante par $`L_{\mathrm{}}`$-isomorphismes, contrairement à la seconde notion.

Proposition V.2.

Toute $`L_{\mathrm{}}`$-algèbre $`(\text{g},Q)`$ est $`L_{\mathrm{}}`$-isomorphe à la somme directe d’une $`L_{\mathrm{}}`$-algèbre minimale et d’une $`L_{\mathrm{}}`$-algèbre linéaire contractile.

Démonstration. On décompose le complexe $`(\text{g},Q_1)`$ en somme directe $`(\text{g}^{},M_1)(\text{g}^{\prime \prime },L_1)`$$`M_1`$ est une différentielle nulle et où $`(\text{g}^{\prime \prime },L_1)`$ est un complexe à cohomologie triviale (on néglige le décalage qui n’est pas essentiel ici). Pour ce faire on note comme d’habitude $`Z_k`$ et $`B_k`$ le noyau et l’image de la différentielle en degré $`k`$, on choisit un supplémentaire $`\text{g}_k^{}`$ de $`B_k`$ dans $`Z_k`$, et un supplémentaire $`W_k`$ de $`Z_k`$ dans $`\text{g}_k`$. Posant alors $`\text{g}_k^{\prime \prime }=B_kW_k`$ on a la décomposition cherchée. Cette décomposition du complexe est le point de départ de la décomposition de la $`l_{\mathrm{}}`$-algèbre $`(\text{g},Q)`$. La cogèbre associée à $`\text{g}=\text{g}^{}\text{g}^{\prime \prime }`$ s’écrit :

$$𝒞(\text{g})=𝒞(\text{g}^{})𝒞(\text{g}^{\prime \prime })𝒞(\text{g}^{})𝒞(\text{g}^{\prime \prime }).$$

Il s’agit de construire un isomorphisme de cogèbres :

$$:𝒞(\text{g})\stackrel{~}{}𝒞(\text{g})$$

tel que $`Q=\overline{Q}`$, avec :

$$\begin{array}{cc}& \overline{Q}_|𝒞\left(\text{g}^{}\right)=M\hfill \\ & \overline{Q}_|𝒞\left(\text{g}^{\prime \prime }\right)=L\hfill \\ & \overline{Q}_|𝒞\left(\text{g}^{}\right)𝒞\left(\text{g}^{\prime \prime }\right)=MI+IL\hfill \end{array}$$

$`M_1=0`$, $`L_j=0`$ pour $`j2`$ et $`L_1`$ à cohomologie triviale. On pose donc pour commencer $`_1=Id:\text{g}\text{g}`$, d’où forcément $`\overline{Q}_1=Q_1=L_1`$ au vu de la décomposition du complexe rappelée ci-dessus. Il est très facile de voir qu’un $`L_{\mathrm{}}`$-morphisme $``$ vérifiant $`_1=\text{Id}`$ s’écrit comme un produit infini :

$$=\mathrm{}^k^{k1}\mathrm{}^2$$

$`^k`$ est le $`L_{\mathrm{}}`$-morphisme ayant l’identité comme premier coefficient de Taylor, $`_k`$ comme $`k^{\text{ième}}`$ coefficient de Taylor, tous les autres coefficients étant nuls. Chercher le coefficient $`_k`$ en supposant que les $`_j`$ sont connus pour $`j<k`$, c’est donc chercher un $`L_{\mathrm{}}`$-isomorphisme $``$ “lacunaire” comme le $`^k`$ ci-dessus, entre $`(\text{g}^{}\text{g}^{\prime \prime },Q)`$ et $`(\text{g}^{}\text{g}^{\prime \prime },\overline{Q})`$, où le champ de vecteurs impair $`Q`$ vérifie :

$$\begin{array}{cc}& Q_1{}_{|}{}^{}𝒞\left(\text{g}^{}\right)=0\hfill \\ & Q_j\left(𝒞(\text{g}^{})\right)\text{g}^{}\text{ pour }jk1\hfill \\ & Q_j\left(𝒞(\text{g}^{\prime \prime })\right)=0\text{ pour }2jk1\hfill \\ & Q_j\left(𝒞(\text{g}^{})𝒞(\text{g}^{\prime \prime })\right)=0\text{ pour }jk1\hfill \end{array}$$

et où le champ de vecteurs $`\overline{Q}`$ vérifie les mêmes conditions avec $`k`$ à la place de $`k1`$. On supposera également que les coefficients de Taylor de $`Q`$ et $`\overline{Q}`$ sont les mêmes jusqu’à l’ordre $`k1`$ et sont nuls à partir de l’ordre $`k+1`$. Il s’agit donc simplement de trouver $`_k`$ et $`\overline{Q}_k`$. La condition $`Q=\overline{Q}`$ s’écrit, en négligeant les signes provenant de la supersymétrie :

$$_k(Q_1(x_1\mathrm{}x_k))+Q_k(x_1\mathrm{}x_k)=Q_1_k(x_1\mathrm{}x_k)+\overline{Q}_k(x_1\mathrm{}x_k)$$
$`()`$
où l’on a désigné par la même lettre $`Q_1`$ la dérivation de l’algèbre $`S(\text{g}[1])`$ valant $`Q_1`$ sur $`\text{g}[1]`$. 1). Si tous les $`x_j,j=1\mathrm{}k`$ sont dans le noyau $`Z`$ de $`Q_1`$, l’équation $`()`$ se réduit à :

$$Q_k(x_1\mathrm{}x_k)=Q_1_k(x_1\mathrm{}x_k)+\overline{Q}_k(x_1\mathrm{}x_k).$$
$`()_1`$
On choisit donc $`\overline{Q}_k(x_1\mathrm{}x_k)`$ comme étant la projection de $`Q_k(x_1\mathrm{}x_k)`$ sur le supplémentaire $`W\text{g}^{}`$ de $`B`$ dans g. Ceci permet de définir $`_k(x_1\mathrm{}x_k)`$ à un élément $`z`$ de $`Z`$ près. On utilise alors l’équation maîtresse $`[Q,Q]=0`$, qui permet de montrer, par récurrence sur $`k`$, que $`Q_k(x_1\mathrm{}x_k)`$ appartient à $`Z`$. On en déduit que $`\overline{Q}_k(x_1\mathrm{}x_k)`$ appartient bien à $`\text{g}^{}`$. De plus si $`x_1=Q_1y_1B`$, l’équation $`[Q,Q]=0`$ s’écrit (toujours en négligeant les problèmes de signes) :

$$Q_k(Q_1y_1.x_2\mathrm{}x_k)+\text{ termes intermédiaires }+Q_1Q_k(y_1.x_2\mathrm{}x_k)=0.$$

Les termes intermédiaires sont une somme de termes du type :

$$Q_j(\mathrm{}Q_l(\mathrm{})\mathrm{}),j,l<k.$$

L’élément $`Q_1y_1`$ se trouve dans une parenthèse intérieure ou dans la parenthèse extérieure. Dans les deux cas l’hypothèse de départ sur $`Q`$ entraîne l’annulation de ce terme. On a donc :

$$Q_k(Q_1y_1.x_2\mathrm{}x_k)=Q_1Q_k(y_1.x_2\mathrm{}x_k),$$

ce qui montre que $`\overline{Q}_k(Q_1y_1.x_2\mathrm{}x_k)=0`$. 2). Soit $`sS^k(\text{g}[1])`$, avec $`k2`$. On dit que $`x`$ est de type $`j,0jk`$, si $`x`$ s’écrit $`x_1\mathrm{}x_k`$ avec $`x_1,\mathrm{},x_jW`$ et $`x_{j+1},\mathrm{},x_kZ`$. Nous allons déterminer $`_k(x)`$ par récurrence (finie) sur le type de $`x`$, le type $`0`$ ayant été traité au 1). On remarque que $`\overline{Q}_k(x)=0`$ si le type de $`x`$ est non nul. L’équation $`[Q,Q]=0`$ s’écrit :

$$Q_k(Q_1(x_1\mathrm{}x_k))+Q_1Q_k(x_1\mathrm{}x_k)=0,$$

les termes intermédiaires s’annulant pour la même raison que dans le 1). On a donc :

$$Q_1Q_k(x)+Q_kQ_1(x)=0$$
$`(M)`$
pour tout $`xS^k(\text{g}[1])`$. Soit $`r1`$. Supposons que $`_k(x)`$ soit déterminé pour tout $`x`$ de type $`jr2`$, et déterminé à un $`zZ`$ près pour tout $`x`$ de type $`r1`$. Soit alors $`x`$ de type $`r`$. On veut déterminer $`_k(x)`$ à un élément $`z^{}Z`$ près et préciser $`_k(y)`$ pour tous les $`y`$ de type $`r1`$. L’équation $`()`$ appliquée à $`Q_1(x)`$ s’écrit :

$$_kQ_1^2(x)+Q_kQ_1(x)=Q_1_kQ_1(x)$$

le terme $`\overline{Q}_kQ_1(x)`$ étant nul. En reportant (M) dans cette équation on a donc :

$$Q_1_kQ_1(x)+Q_1Q_k(x)=0,$$

d’où :

$$_kQ_1(x)+Q_k(x)Z.$$

Comme $`_kQ_1(x)`$ est déterminé à un élément arbitraire de $`Z`$ près, on peut s’arranger pour que :

$$_kQ_1(x)+Q_k(x)=b(x)$$

$`b(x)`$ appartient à $`B`$. L’équation $`()`$ appliquée à $`x`$ s’écrivant :

$$_kQ_1(x)+Q_k(x)=Q_1_k(x)$$

le choix d’un $`b(x)`$ nous permet de choisir $`_k(x)`$ à un élément $`z^{}Z`$ près. Le $`b(x)`$ doit obéir à la contrainte suivante : si $`Q_1(x)=0`$, alors $`b(x)=Q_k(x)`$. Supposons que $`x=Q_1y`$$`y`$ est de type $`r+1`$. Alors, compte tenu de (M) la contrainte sur $`b`$ s’écrit :

$$b(x)=Q_1Q_k(y).$$

Ayant choisi un $`b(x)`$ pour tout $`x`$ de type $`r`$ satisfaisant à la contrainte ci-dessus, on peut alors choisir $`_k(x)`$ à un élément $`z^{}Z`$ près. Il reste donc simplement à démontrer le lemme ci-dessous :

Lemme V.3.

Soit $`x`$ de type $`r1`$. Alors si $`Q_1x=0`$ il existe un $`y`$ de type $`r+1`$ tel que $`x=Q_1y`$.

Démonstration. On considère l’application $`\delta :\text{g}\text{g}`$ de degré $`1`$ définie par $`\delta (x)=0`$ pour $`x\text{g}^{}W`$, et $`\delta (Q_1x)=x`$ pour tout $`x`$ dans g. On a alors :

$$Q_1\delta +\delta Q_1=\text{Id}p,$$

$`p`$ est la projection sur $`\text{g}^{}`$ parallèlement à $`\text{g}^{\prime \prime }`$ (autrement dit $`\delta `$ est une homotopie entre les deux endomorphismes de complexes $`\text{Id}`$ et $`p`$). Le lemme V.3 est un corollaire du résultat suivant, dû à Quillen \[Q appendix B\] :

Proposition V.4.

1). La dérivation $`Q_1`$ de l’algèbre symétrique $`S(\text{g})`$ vérifie :

$$Q_1^2=0.$$

2). La cohomologie du complexe $`(S(\text{g}),Q_1)`$ est isomorphe à $`S(\text{g}^{})`$, et un supplémentaire de l’image de $`Q_1`$ dans le noyau de $`Q_1`$ est donné par $`S(\text{g}^{})1`$ moyennant l’identification : $`S(\text{g})=S(\text{g}^{})S(\text{g}^{\prime \prime })`$.

Démonstration.

1). Comme $`Q_1`$ est impaire, $`Q_1^2=\frac{1}{2}[Q_1,Q_1]`$ est encore une dérivation de $`S(\text{g})`$. Comme $`Q_1^2{}_{|}{}^{}\text{g}=0`$ cette dérivation est nulle. 2). On a : $`Q_1(v^{}v^{\prime \prime })=v^{}Q_1(v^{\prime \prime })`$ pour $`v^{}S(\text{g}^{})`$ et $`v^{\prime \prime }S(\text{g}^{\prime \prime })`$. On est ramené au cas où la cohomologie de g est triviale. On prolonge alors l’homotopie $`\delta `$ ci-dessus en une dérivation de $`S(\text{g})`$. On pose alors :

$$E=[Q_1,\delta ]=Q_1\delta +\delta Q_1.$$

$`E`$ est une dérivation telle que $`E_|\text{g}=\text{Id}`$. On en déduit :

$$E(x)=kx$$

pour tout $`xS^k(\text{g})`$. Si maintenant $`x`$ appartient à $`S^k(\text{g})`$ et $`Q_1x=0`$, alors $`Ex=Q_1\delta x=kx`$. Si $`k1`$ on a donc :

$$x=Q_1(\frac{1}{k}\delta x).$$

La cohomologie de $`S(\text{g})`$ est donc réduite au corps de base, qui est $`S(\{0\})`$.

$``$

Fin de la démonstration du lemme V.3 : le complexe $`V=S(\text{g})`$ admet à son tour une décomposition :

$$V=V^{}V^{\prime \prime }$$

avec $`V^{}=S(\text{g}^{})1`$. L’image de $`Q_1`$ dans $`S(\text{g})`$ est l’idéal engendré par $`B=Q_1(\text{g})`$. On peut donc choisir pour $`V^{\prime \prime }`$ l’idéal engendré par $`\text{g}^{\prime \prime }`$. Le lemme provient alors du fait que tout élément de type $`r1`$ appartient à cet idéal, sur lequel la cohomologie est triviale.

$``$

V.2. Démonstration du théorème V.1 On se donne deux $`L_{\mathrm{}}`$-algèbres $`(\text{g}_1,Q_1)`$ et $`(\text{g}_2,Q_2)`$ et un quasi-isomorphisme $``$ de $`(\text{g}_1,Q_1)`$ vers $`(\text{g}_2,Q_2)`$. Appliquant la proposition $`V.2`$ à ces deux $`L_{\mathrm{}}`$-algèbres on a le diagramme suivant, dans lequel toutes les flèches sont des quasi-isomorphismes :

$$𝒞(\text{g}_{}^{}{}_{1}{}^{})\underset{i}{}𝒞(\text{g}_{}^{}{}_{1}{}^{}\text{g}_{}^{\prime \prime }{}_{1}{}^{})\stackrel{~}{}𝒞(\text{g}_1)\underset{}{}𝒞(\text{g}_2)\stackrel{~}{}𝒞(\text{g}_{}^{}{}_{2}{}^{}\text{g}_{}^{\prime \prime }{}_{2}{}^{})\underset{p}{\text{ }}𝒞(\text{g}_{}^{}{}_{2}{}^{}).$$

On a ainsi construit un quasi-isomorphisme $`^{}`$ entre deux $`L_{\mathrm{}}`$-algèbres minimales. Son premier coefficient $`_1^{}:\text{g}_1^{}\text{g}_2^{}`$ étant inversible, $`^{}`$ lui-même est inversible. L’ajout du quasi-isomorphisme $`_{}^{}{}_{}{}^{1}`$ dans le diagramme ci-dessus permet alors la construction d’un quasi-isomorphisme :

$$𝒢:𝒞(\text{g}_2)𝒞(\text{g}_1)$$

qui est un quasi-inverse pour $``$.

$``$

VI. La formalité de Kontsevich Un $`L_{\mathrm{}}`$ morphisme entre $`T_{poly}\left(\text{}^d\right)`$ et $`D_{poly}\left(\text{}^d\right)`$ qui soit aussi un quasi-isomorphisme c’est à dire un isomorphisme en cohomologie est une formalité.

M. Kontsevich a proposé dans \[K1\] une formalité $`𝒰`$ explicite. Précisément, les applications $`𝒰_n`$ sont donnés par :

$$𝒰_n=\underset{m0}{}\underset{\stackrel{}{\mathrm{\Gamma }}G_{n,m}}{}w_\stackrel{}{\mathrm{\Gamma }}_\stackrel{}{\mathrm{\Gamma }}$$

$`G_{n,m}`$ est l’ensemble des graphes orientés admissibles à $`n`$ sommets aériens $`p_1`$,…,$`p_n`$ et $`m`$ sommets terrestres $`q_1`$,…,$`q_m`$ : de chaque sommet aérien est issu $`k_1`$,…, $`k_n`$ flèches aboutissant soit à un autre sommet aérien soit à un sommet terrestre. On ordonne les sommets aériens et terrestres du graphe et on oriente le graphe en ordonnant les flèches de façon compatible avec cet ordre, les flèches issues du sommet $`p_j`$ ont les numéros $`k_1+\mathrm{}+k_{j1}+1`$,…, $`k_1+\mathrm{}+k_j`$. On les note :

$$Star(p_j)=\{\stackrel{}{p_ja_1},\mathrm{},\stackrel{}{p_ja_{k_j}}\}\stackrel{}{v}_{k_1+\mathrm{}+k_{j1}+i}=\stackrel{}{p_ja_i}.$$

Si $`\stackrel{}{\mathrm{\Gamma }}`$ est un graphe orienté, son poids $`w_\stackrel{}{\mathrm{\Gamma }}`$ est par définition l’intégrale sur l’espace de configuration $`C_{\{p_1,\mathrm{},p_n\},\{q_1,\mathrm{},q_m\}}^+`$ de la forme :

$$\omega _\stackrel{}{\mathrm{\Gamma }}=\frac{1}{(2\pi )^{{\scriptscriptstyle k_i}}k_1!\mathrm{}k_n!}d\mathrm{\Phi }_{\stackrel{}{v}_1}\mathrm{}d\mathrm{\Phi }_{\stackrel{}{v}_{k_1+\mathrm{}+k_n}}\text{}\mathrm{\Phi }_{\stackrel{}{p_ja}}=Arg\left(\frac{ap_j}{a\overline{p_j}}\right).$$

Enfin $`_\stackrel{}{\mathrm{\Gamma }}`$ est un opérateur $`m`$-différentiel, nul sur $`\alpha _1\text{.}\mathrm{}\text{.}\alpha _n`$ sauf si $`\alpha _1`$ est un $`k_1`$-tenseur, $`\alpha _2`$ un $`k_2`$-tenseur,…, $`\alpha _n`$ un $`k_n`$-tenseur, auquel cas, on a :

$$_\stackrel{}{\mathrm{\Gamma }}(\alpha _1\text{.}\mathrm{}\text{.}\alpha _n)(f_1,f_2,\mathrm{},f_m)=D_{p_1}\alpha _1^{i_1i_2\mathrm{}i_{k_1}}\mathrm{}D_{p_n}\alpha _n^{i_{k_1+\mathrm{}k_{n1}+1}\mathrm{}i_{k_1+\mathrm{}+k_n}}D_{q_1}f_1\mathrm{}D_{q_m}f_m$$

si $`D_a`$ est l’opérateur :

$$D_a=\underset{l,\stackrel{}{v_l}=\stackrel{}{.a}}{}_{i_l}$$

et si la somme est étendue à tous les indices $`i_j`$ répétés. On notera aussi

$$𝒰_n=𝒰_{(k_1,k_2,\mathrm{},k_n)}=𝒰_{k_{\{1,\mathrm{},n\}}}.$$

Maintenant, si on change l’ordre des flèches issues d’un sommet $`p_j`$, le produit $`w_\stackrel{}{\mathrm{\Gamma }}_\stackrel{}{\mathrm{\Gamma }}`$ ne change pas. On prend la convention suivante : si $`\stackrel{}{\mathrm{\Gamma }}`$ est un graphe orienté de façon non compatible, on pose :

$$B_\stackrel{}{\mathrm{\Gamma }}=\epsilon (\sigma )B_{\stackrel{}{\mathrm{\Gamma }}^\sigma }$$

$`\sigma `$ est n’importe quelle permutation des flèches de $`\stackrel{}{\mathrm{\Gamma }}`$ qui le transforme en un graphe $`\stackrel{}{\mathrm{\Gamma }}^\sigma `$ orienté de façon compatible. Avec cette convention, on aura :

$$𝒰_n=\underset{m0}{}\underset{\stackrel{}{\mathrm{\Gamma }}G_{n,m}^{}}{}w_\stackrel{}{\mathrm{\Gamma }}^{}_\stackrel{}{\mathrm{\Gamma }}^{}$$

$`G_{n,m}^{}`$ est l’ensemble de tous les graphes orientés de façon compatible ou non et $`w_\stackrel{}{\mathrm{\Gamma }}^{}`$ est l’intégrale de la forme :

$$\omega _\stackrel{}{\mathrm{\Gamma }}^{}=\frac{1}{(2\pi )^{{\scriptscriptstyle k_i}}(k_i)!}d\mathrm{\Phi }_{\stackrel{}{v}_1}\mathrm{}d\mathrm{\Phi }_{\stackrel{}{v}_{k_1+\mathrm{}+k_n}}\text{}\mathrm{\Phi }_{\stackrel{}{p_ja}}=Arg\left(\frac{ap_j}{a\overline{p_j}}\right).$$

Nous allons vérifier dans la suite que nos choix de signes sont cohérents.

Théorème VI.1 (M.Kontsevich).

L’application formelle $`𝒰`$ est une formalité. En particulier c’est un $`L_{\mathrm{}}`$-morphisme.

Démonstration. Puisque $`Q_1=0`$, l’équation de formalité s’écrit :

$$\begin{array}{cc}\hfill 0=& Q_1^{}\left(𝒰_{k_{\{1,\mathrm{},n\}}}(\alpha _1\text{.}\mathrm{}\text{.}\alpha _n)\right)+\hfill \\ & +\frac{1}{2}\underset{\genfrac{}{}{0pt}{}{IJ=\{1,\mathrm{},n\}}{I,J\mathrm{}}}{}\epsilon _\alpha (I,J)Q_2^{}\left(𝒰_{k_I}(\alpha _I)𝒰_{k_J}(\alpha _J)\right)\hfill \\ & \frac{1}{2}\underset{ij}{}\epsilon _\alpha (i,j,1,\mathrm{},\widehat{i,j},\mathrm{},n)𝒰_{((k_i+k_j1),k_1,\mathrm{},\widehat{k_i},\mathrm{},\widehat{k_j},\mathrm{},k_n)}\left(Q_2(\alpha _i\text{.}\alpha _j)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _i}\text{.}\mathrm{}\text{.}\widehat{\alpha _j}\text{.}\mathrm{}\text{.}\alpha _n\right).\hfill \end{array}$$

Remarquons maintenant que pour que $`w_\stackrel{}{\mathrm{\Gamma }}`$ ne soit pas nul, il faut que le degré de la forme $`\omega _\stackrel{}{\mathrm{\Gamma }}`$ soit égal à la dimension de l’espace de configuration $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ sur lequel on intègre, c’est à dire :

$$k_i=2n+m2.$$

Dans ce cas,

$$(1)^m=(1)^{\left|𝒰_{k_{\{1,\mathrm{},n\}}}(\mathrm{})\right|+1}=(1)^{{\scriptscriptstyle k_i}}=(1)^{|k_{\{\}1,\mathrm{}n}|}.$$

Donc notre équation devient :

$$\begin{array}{cc}\hfill (1)& 0=𝒰_{k_{\{1,\mathrm{},n\}}}(\alpha _{\{1,\mathrm{},n\}})\mu (1)^{{\scriptscriptstyle k_i}1}\mu 𝒰_{k_{\{1,\mathrm{},n\}}}(\alpha _{\{1,\mathrm{},n\}})+\hfill \\ \hfill (2)& +\frac{1}{2}\underset{\genfrac{}{}{0pt}{}{IJ=\{1,\mathrm{},n\}}{I,J\mathrm{}}}{}\epsilon _\alpha (I,J)(1)^{(|k_I|1)|k_J|}𝒰_{k_I}(\alpha _I)𝒰_{k_J}(\alpha _J)+\hfill \\ \hfill (3)& +\frac{1}{2}\underset{\genfrac{}{}{0pt}{}{IJ=\{1,\mathrm{},n\}}{I,J\mathrm{}}}{}\epsilon _\alpha (I,J)(1)^{|k_I|}𝒰_{k_J}(\alpha _J)𝒰_{k_I}(\alpha _I)\hfill \\ \hfill (4)& \frac{1}{2}\underset{ij}{}\epsilon _\alpha (i,j,1,\mathrm{},\widehat{i,j},\mathrm{},n)𝒰_{((k_i+k_j1),k_1,\mathrm{},\widehat{k_i},\mathrm{},\widehat{k_j},\mathrm{},k_n)}\left((\alpha _i\alpha _j)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _i}\text{.}\mathrm{}\text{.}\widehat{\alpha _j}\text{.}\mathrm{}\text{.}\alpha _n\right)\hfill \\ \hfill (5)& \frac{1}{2}\underset{ij}{}\epsilon _\alpha (i,j,1,\mathrm{},\widehat{i,j},\mathrm{},n)𝒰_{((k_i+k_j1),\mathrm{},\widehat{k_i},\mathrm{},\widehat{k_j},\mathrm{},k_n)}\left((1)^{k_ik_j}(\alpha _j\alpha _i)\text{.}\mathrm{}\text{.}\widehat{\alpha _i}\text{.}\mathrm{}\text{.}\widehat{\alpha _j}\text{.}\mathrm{}\text{.}\alpha _n\right).\hfill \end{array}$$

Montrons que $`(2)=(3)`$. En fait :

$$\epsilon _\alpha (I,J)=\epsilon _\alpha (J,I)(1)^{|k_I||k_J|}$$

car le nombre de $`i`$ de $`I`$ tel que $`k_i2`$ soit impair est congru modulo à 2 à $`|k_I|=k_i`$. Donc :

$$(3)=\frac{1}{2}\underset{\genfrac{}{}{0pt}{}{IJ=\{1,\mathrm{},n\}}{I,J\mathrm{}}}{}\epsilon _\alpha (J,I)(1)^{|k_I||k_J|+|k_I|}𝒰_{k_J}(\alpha _J)𝒰_{k_I}(\alpha _I)$$

en changeant les rôles de $`I`$ et $`J`$ :

$$(3)=\frac{1}{2}\underset{\genfrac{}{}{0pt}{}{IJ=\{1,\mathrm{},n\}}{I,J\mathrm{}}}{}\epsilon _\alpha (I,J)(1)^{|k_J|(|k_I|1)}𝒰_{k_I}(\alpha _I)𝒰_{k_J}(\alpha _J)=(2).$$

De même $`(5)=(4)`$ :

$$\begin{array}{cc}& (4)=\frac{1}{2}\underset{ij}{}\epsilon _\alpha (i,j,1,\mathrm{},\widehat{i,j},\mathrm{},n)𝒰_{((k_i+k_j1),k_1,\mathrm{},\widehat{k_i},\mathrm{},\widehat{k_j},\mathrm{},k_n)}\left((\alpha _i\alpha _j)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _i}\text{.}\mathrm{}\text{.}\widehat{\alpha _j}\text{.}\mathrm{}\text{.}\alpha _n\right)\hfill \\ & =\frac{1}{2}\underset{ij}{}\epsilon _\alpha (j,i,1,\mathrm{},\widehat{i,j},\mathrm{},n)(1)^{k_ik_j}𝒰_{((k_i+k_j1),k_1,\mathrm{},\widehat{k_i},\mathrm{},\widehat{k_j},\mathrm{},k_n)}\left((\alpha _i\alpha _j)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _i}\text{.}\mathrm{}\text{.}\widehat{\alpha _j}\text{.}\mathrm{}\text{.}\alpha _n\right)\hfill \\ & =\frac{1}{2}\underset{ij}{}\epsilon _\alpha (i,j,1,\mathrm{},\widehat{i,j},\mathrm{},n)𝒰_{((k_i+k_j1),k_1,\mathrm{},\widehat{k_j},\mathrm{},\widehat{k_i},\mathrm{},k_n)}\left((1)^{k_ik_j}(\alpha _j\alpha _i)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _j}\text{.}\mathrm{}\text{.}\widehat{\alpha _i}\text{.}\mathrm{}\text{.}\alpha _n\right)\hfill \\ & =(5).\hfill \end{array}$$

Posons enfin $`\mu =𝒰_{\mathrm{}}`$. Alors $`(1)`$ s’écrit :

$$(1)=(1)^{(|k_{\{1,\mathrm{},n\}}|1).0}𝒰_{k_{\{1,\mathrm{},n\}}}\left(\alpha _{\{1,\mathrm{},n\}}\right)𝒰_{\mathrm{}}+(1)^{(01)|k_{\{1,\mathrm{},n\}}|}𝒰_{\mathrm{}}𝒰_{k_{\{1,\mathrm{},n\}}}\left(\alpha _{k_{\{1,\mathrm{},n\}}}\right).$$

Comme $`\epsilon _\alpha (\{1,\mathrm{},n\},\mathrm{})=\epsilon _\alpha (\mathrm{},\{1,\mathrm{},n\})=1`$, l’équation de formalité devient :

$$\begin{array}{cc}\hfill \underset{IJ=\{1,\mathrm{},n\}}{}& \epsilon _\alpha (I,J)(1)^{(|k_I|1)|k_J|}𝒰_{k_I}(\alpha _I)𝒰_{k_J}(\alpha _J)\underset{ij}{}\epsilon _\alpha (i,j,1,\mathrm{},\widehat{i,j},\mathrm{},n)\hfill \\ & 𝒰_{((k_i+k_j1),k_1,\mathrm{},\widehat{k_i},\mathrm{},\widehat{k_j},\mathrm{},k_n)}\left((\alpha _i\alpha _j)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _i}\text{.}\mathrm{}\text{.}\widehat{\alpha _j}\text{.}\mathrm{}\text{.}\alpha _n\right)=0.\hfill \end{array}$$

Si on remplace les $`𝒰_I(\alpha _I)`$ par les $`_\stackrel{}{\mathrm{\Gamma }}w_\stackrel{}{\mathrm{\Gamma }}^{}_\stackrel{}{\mathrm{\Gamma }}^{}(\alpha _I)`$ et qu’on développe tout, on obtient une somme d’opérateurs multi-différentiels de la forme :

$$\underset{\stackrel{}{\mathrm{\Gamma }^{}}}{}c_\stackrel{}{\mathrm{\Gamma }^{}}_\stackrel{}{\mathrm{\Gamma }^{}}^{}(\alpha _1\text{.}\mathrm{}\text{.}\alpha _n)$$

$`\stackrel{}{\mathrm{\Gamma }^{}}`$ est un graphe à $`n`$ sommets aériens, $`m`$ sommets terrestres ayant $`2n+m3`$ flèches. Si on se donne $`\stackrel{}{\mathrm{\Gamma }^{}}`$ orienté et une face $`F`$ de codimension 1 de $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$, on associe à ce couple $`(\mathrm{\Gamma }^{},F)`$ au plus un terme de l’équation de formalité. Plus précisément :

Cas 1 : si

$$\begin{array}{cc}\hfill F& =_{\{p_{i_1},\mathrm{},p_{i_{n_1}}\};\{q_{l+1},\mathrm{},q_{l+m_1}\}}C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+\hfill \\ & =C_{\{p_{i_1},\mathrm{},p_{i_{n_1}}\};\{q_{l+1},\mathrm{},q_{l+m_1}\}}^+\times C_{\{p_1,\mathrm{},p_n\}\{p_{i_1},\mathrm{},p_{i_{n_1}}\};\{q_1,\mathrm{},q_l,q,q_{l+m_1+1},\mathrm{},q_m\}}^+,\hfill \end{array}$$

que l’on notera :

$$_{S,S^{}}C_{A,B}^+=C_{S,S^{}}^+\times C_{AS,BS^{}\{q\}}^+,$$

on associe au couple $`(\stackrel{}{\mathrm{\Gamma }}^{},F)`$ l’unique terme :

$$_{\stackrel{}{\mathrm{\Gamma }}^{},F}^{}(\alpha _1,..,\alpha _n)(f_1,\mathrm{},f_m)=_{\stackrel{}{\mathrm{\Gamma }}_2}^{}\left(\alpha _{j_1}\text{.}\mathrm{}\text{.}\alpha _{j_{n_2}}\right)(f_1,\mathrm{},f_l,_{\stackrel{}{\mathrm{\Gamma }}_1}^{}\left(\alpha _{i_1}\text{.}\mathrm{}\text{.}\alpha _{i_{n_1}}\right)(f_{l+1},\mathrm{},f_{l+m_1}),f_{l+m_1+1},\mathrm{}f_m)$$

$`\stackrel{}{\mathrm{\Gamma }}_1`$ est la restriction à $`\{p_{i_1},\mathrm{},p_{i_{n_1}}\}\{q_{l+1},\mathrm{},q_{l+m_1}\}`$ (avec son ordre), $`\stackrel{}{\mathrm{\Gamma }}_2`$ est le graphe obtenu en collapsant les points $`p_{i_1}`$,…, $`p_{i_{n_1}}`$ et $`q_{l+1}`$,…, $`q_{l+m_1}`$ en $`q`$, on a posé $`\{1,\mathrm{},n\}\{i_1,\mathrm{},i_{n_1}\}=\{j_1<j_2<\mathrm{}<j_{n_2}\}`$. On note $`c_{\stackrel{}{\mathrm{\Gamma }}^{},F}`$ le coefficient de cet opérateur.

Remarquons que l’application $`(\stackrel{}{\mathrm{\Gamma }}^{},F)(\stackrel{}{\mathrm{\Gamma }}_1,\stackrel{}{\mathrm{\Gamma }}_2)`$ est dans ce cas surjective mais pas injective. Si on se donne le couple $`(\stackrel{}{\mathrm{\Gamma }}_1,\stackrel{}{\mathrm{\Gamma }}_2)`$, la face $`F`$ est bien déterminée mais $`\stackrel{}{\mathrm{\Gamma }^{}}`$ n’est pas unique : il y a d’abord la répartition des flèches allant d’un sommet de $`\stackrel{}{\mathrm{\Gamma }}_2`$ vers un sommet de $`\stackrel{}{\mathrm{\Gamma }}_1`$ (application de la règle de Leibniz) chaque répartition correspond à un graphe $`\mathrm{\Gamma }_2`$ différent. Si cette répartition est donnée, il faut encore fixer l’ordre des flèches de $`\mathrm{\Gamma }^{}`$. Le nombre de choix est bien sûr le quotient du nombre d’orientations possibles pour $`\mathrm{\Gamma }^{}`$ par celui des orientations possibles de $`\mathrm{\Gamma }_1`$ et $`\mathrm{\Gamma }_2`$ :

$$\text{Nombre d’orientations de }\mathrm{\Gamma }^{}=\frac{\left(k_{i_1}+\mathrm{}+k_{i_{n_1}}\right)!\left(k_{j_1}+\mathrm{}+k_{j_{n_2}}\right)!}{\left(k_i\right)!}=\frac{|k_I|!|k_J|!}{\left|k_{\{1,\mathrm{},n\}}\right|!}.$$

Cas 2 : si

$$F=_{\{p_i,p_j\}}C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+=C_{\{p_i,p_j\}}\times C_{\{p,p_1,\mathrm{},\widehat{p_i},\mathrm{},\widehat{p_j},\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+,$$

que l’on notera :

$$_SC_{A,B}^+=C_S\times C_{AS\{p\},B}^+,$$

A $`(\stackrel{}{\mathrm{\Gamma }}^{},F)`$, si la flèche $`\stackrel{}{p_ip_j}`$ est une des flèches de $`\mathrm{\Gamma }^{}`$, on associe l’unique terme :

$$_{\stackrel{}{\mathrm{\Gamma }}^{},F}^{}(\alpha _1,..,\alpha _n)(f_1,\mathrm{},f_m)=_{\stackrel{}{\mathrm{\Gamma }}_2}\left((\alpha _i\alpha _j)\text{.}\alpha _1\text{.}\mathrm{}\text{.}\widehat{\alpha _i}\text{.}\mathrm{}\text{.}\widehat{\alpha _j}\text{.}\mathrm{}\text{.}\alpha _n\right)$$

$`\stackrel{}{\mathrm{\Gamma }}_2`$ est le graphe obtenu en collapsant les sommets $`p_i`$ et $`p_j`$ du graphe $`\mathrm{\Gamma }^{}`$ sur le point $`p`$ et en éliminant la flèche $`\stackrel{}{p_ip_j}`$. Si cette flèche n’existe pas dans $`\mathrm{\Gamma }^{}`$, on associe l’opérateur nul à $`(\stackrel{}{\mathrm{\Gamma }}^{},F)`$. On note $`c_{\stackrel{}{\mathrm{\Gamma }}^{},F}`$ le coefficient de cet opérateur.

Dans ce cas, on considérera l’application $`(\stackrel{}{\mathrm{\Gamma }}^{},F)(\stackrel{}{\mathrm{\Gamma }}_1,\stackrel{}{\mathrm{\Gamma }}_2)`$$`\stackrel{}{\mathrm{\Gamma }}_1`$ est le graphe tracé dans $`C_{\{p_i,p_j\}}`$ à une seule flèche : la flèche $`\stackrel{}{p_ip_j}`$. A part le cas 0, l’image réciproque d’un couple $`(\stackrel{}{\mathrm{\Gamma }}_1,\stackrel{}{\mathrm{\Gamma }}_2)`$ contient exactement :

$$\text{Nombre d’orientations de }\mathrm{\Gamma }^{}=\frac{\left((k_i+k_j1)+k_1+\mathrm{}+\widehat{k_i}+\mathrm{}+\widehat{k_j}+\mathrm{}+k_n\right)!}{\left(k_i\right)!}=\frac{\left(|k_{\{1,\mathrm{},n\}}|1\right)!}{\left|k_{\{1,\mathrm{},n\}}\right|!}.$$

Cas 3 : si

$$F=_SC_{A,B}^+=C_S\times C_{AS\{p\},B}^+$$

avec $`|S|3`$, dans ce cas aucun terme de l’équation de formalité n’est associé à $`(\stackrel{}{\mathrm{\Gamma }}^{},F)`$. On pose donc $`c_{\stackrel{}{\mathrm{\Gamma }}^{},F}=0`$.

Pour chaque $`\stackrel{}{\mathrm{\Gamma }}^{}`$, on définit sur $`C_{\{p_1,\mathrm{},p_n\};\{q_1,\mathrm{},q_m\}}^+`$ la forme :

$$\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}=\frac{1}{(2\pi )^{\left|k_{\{1,\mathrm{},n\}}\right|}\left|k_{\{1,\mathrm{},n\}}\right|!}d\mathrm{\Phi }_{\stackrel{}{v}_1}\mathrm{}d\mathrm{\Phi }_{\stackrel{}{v}_{k_1+\mathrm{}+k_n}}.$$

Montrons qu’avec toutes ces notations, l’équation de formalité s’écrit :

$$\begin{array}{cc}\hfill 0& =\underset{\stackrel{}{\mathrm{\Gamma }}^{}G_{n,m}^{}}{}\left[\underset{FC_{A,B}^+}{}_\stackrel{}{F}\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}\right]_\stackrel{}{\mathrm{\Gamma }}^{}^{}\left(\alpha _1\text{.}\mathrm{}\text{.}\alpha _n\right)\hfill \\ & =\underset{\stackrel{}{\mathrm{\Gamma }}^{}G_{n,m}^{}}{}\left[_{C_{A,B}^+}𝑑\omega _\stackrel{}{\mathrm{\Gamma }}^{}\right]_\stackrel{}{\mathrm{\Gamma }}^{}^{}\left(\alpha _1\text{.}\mathrm{}\text{.}\alpha _n\right).\hfill \end{array}$$

Le résultat est donc une simple conséquence du théorème de Stokes sur la variété à coins $`C_{A,B}^+`$ et pour les formes fermées $`\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}`$.

Comparons donc terme par terme chaque coefficient $`c_{\stackrel{}{\mathrm{\Gamma }}^{},F}`$ et l’intégrale sur la face orientée $`\stackrel{}{F}`$ de la forme $`\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}`$.

Cas 1 : Avec nos notations, le coefficient $`c_{\stackrel{}{\mathrm{\Gamma }}^{},F}`$ est :

$$\begin{array}{cc}\hfill c_{\stackrel{}{\mathrm{\Gamma }}^{},F}& =\epsilon _\alpha (J,I)(1)^{(|k_J|1)|k_I|}\frac{|k_I|!|k_J|!}{\left|k_{\{1,\mathrm{},n\}}\right|!}(1)^{l(m_11)}\hfill \\ & _{C_{S,S^{}}^+}\omega _{\stackrel{}{\mathrm{\Gamma }}_1}^{}_{C_{AS,BS^{}\{q\}}^+}\omega _{\stackrel{}{\mathrm{\Gamma }}_2}^{}.\hfill \end{array}$$

(Le signe $`(1)^{l(m_11)}`$ provient du développement de l’opération $``$). On rappelle que $`S^{}`$ est le segment $`q_{l+1},\mathrm{},q_{l+m_1}`$ et que $`q`$ remplace $`S^{}`$ dans $`BS^{}\{q\}`$. D’autre part, on a pour la forme

$$\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}=\epsilon _\alpha (I,J)\frac{|k_I|!|k_J|!}{\left|k_{\{1,\mathrm{},n\}}\right|!}\omega _{\stackrel{}{\mathrm{\Gamma }}_1}^{}\omega _{\stackrel{}{\mathrm{\Gamma }}_2}^{}$$

et la face $`\stackrel{}{F}`$ (en tenant compte de son orientation) :

$$\begin{array}{cc}\hfill _\stackrel{}{F}\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}& =\epsilon _\alpha (I,J)(1)^{lm_1+l+m_1}\frac{|k_I|!|k_J|!}{\left|k_{\{1,\mathrm{},n\}}\right|!}_{C_{\{p_{i_1},\mathrm{},p_{i_{n_1}}\};\{q_{l+1},\mathrm{},q_{l+m_1}\}}^+}\omega _{\stackrel{}{\mathrm{\Gamma }}_1}^{}\hfill \\ & _{C_{AS,BS^{}\{q\}}^+}\omega _{\stackrel{}{\mathrm{\Gamma }}_2}^{}.\hfill \end{array}$$

Rappelons que $`|k_I|=2n_1+m_12`$, $`|k_J|=2(nn_1)+(mm_1+1)2`$, le signe devant l’intégrale est donc :

$$\begin{array}{cc}\hfill \epsilon _\alpha (I,J)(1)^{lm_1+l+m_1}& =\epsilon _\alpha (J,I)(1)^{|k_I||k_J|}(1)^{lm_1+m_1+l}\hfill \\ & =\epsilon _\alpha (J,I)(1)^{|k_I||k_J|}(1)^{lm_1+l}(1)^{|k_I|}.\hfill \end{array}$$

Donc :

$$c_{\stackrel{}{\mathrm{\Gamma }}^{},F}=_\stackrel{}{F}\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}.$$

Cas 2 : Avec nos notations, le coefficient $`c_{\stackrel{}{\mathrm{\Gamma }}^{},F}`$ est nul si $`\stackrel{}{\mathrm{\Gamma }}^{}`$ ne contient pas la flèche $`\stackrel{}{p_ip_j}`$ et sinon :

$$\begin{array}{cc}\hfill c_{\stackrel{}{\mathrm{\Gamma }}^{},F}& =\epsilon _\alpha (i,j,1,\mathrm{},\widehat{i,j},\mathrm{},n)\frac{(|k_{\{1,\mathrm{},n\}}|1)!}{\left|k_{\{1,\mathrm{},n\}}\right|!}\hfill \\ & _{C_S}\omega _{\stackrel{}{\mathrm{\Gamma }}_1}^{}_{C^+AS\{p\},B}\omega _{\stackrel{}{\mathrm{\Gamma }}_2}^{}.\hfill \end{array}$$

D’autre part, on a pour la forme

$$\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}=\epsilon _\alpha (i,j,1,\mathrm{},\widehat{i,j},\mathrm{},n)\frac{(|k_{\{1,\mathrm{},n\}}|1)!}{\left|k_{\{1,\mathrm{},n\}}\right|!}\omega _{\stackrel{}{\mathrm{\Gamma }}_1}^{}\omega _{\stackrel{}{\mathrm{\Gamma }}_2}^{}$$

et la face $`\stackrel{}{F}`$ (en tenant compte de son orientation) :

$$_\stackrel{}{F}\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}=\epsilon _\alpha (i,j,1,\mathrm{},\widehat{i,j},\mathrm{},n)\frac{(|k_{\{1,\mathrm{},n\}}|1)!}{\left|k_{\{1,\mathrm{},n\}}\right|!}_{C_S}\omega _{\stackrel{}{\mathrm{\Gamma }}_1}^{}_{C_{AS\{p\},B}^+}\omega _{\stackrel{}{\mathrm{\Gamma }}_2}^{},$$

avec $`S=\{p_i,p_j\}`$. On a donc pour tout $`\stackrel{}{\mathrm{\Gamma }}^{}`$ et $`F`$ :

$$c_{\stackrel{}{\mathrm{\Gamma }}^{},F}=_\stackrel{}{F}\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}.$$

Cas 3 : Il n’y a pas de termes dans notre équation de formalité dans ce cas, ou $`c_{\stackrel{}{\mathrm{\Gamma }}^{},F}=0`$. Mais dans ce cas, on a le lemme suivant de Kontsevich \[K1 § 6.6.1\], \[Kh\] :

$$_{C_S}\omega _{\stackrel{}{\mathrm{\Gamma }}_1}^{}=0$$

si $`|S|3`$. On a donc de nouveau :

$$c_{\stackrel{}{\mathrm{\Gamma }}^{},F}=_\stackrel{}{F}\omega _\stackrel{}{\mathrm{\Gamma }}^{}^{}.$$

Et ceci finit la preuve de la validité de l’équation de formalité.

$``$

* *

*

Appendice. Formalité et quantification par déformation Nous expliquons dans ce paragraphe pourquoi la formalité de Kontsevich permet d’obtenir un étoile-produit à partir d’un $`2`$-tenseur de Poisson. On considère une (limite projective d’) algèbre(s) nilpotente(s) de dimension finie m. Par exemple :

$$\text{m}=\mathrm{}\mathrm{}[[\mathrm{}]]=\underset{}{lim}\mathrm{}\mathrm{}[[\mathrm{}]]/\mathrm{}^k\mathrm{}[[\mathrm{}]].$$

A.1.1 Construction d’étoile-produits On se donne une $`L_{\mathrm{}}`$-algèbre $`(\text{g},Q)`$ sur un corps $`k`$ de caractéristique zéro, que l’on voit comme une $`Q`$-variété formelle graduée pointée. Un m-point de la variété formelle g est par définition un morphisme de cogèbres :

$$p:\text{m}^{}𝒞(\text{g}).$$

Le produit tensoriel (complété dans le cas d’une limite projective) $`𝒞(\text{g})\widehat{}\text{m}`$, muni de la comultiplication de $`𝒞(\text{g})`$ étendue par m-linéarité, admet une structure de cogèbre (sans co-unité) sur m. On peut alors voir un m-point comme un élément non nul de type groupe de cette cogèbre, c’est-à-dire un élément $`p𝒞(\text{g})\widehat{}\text{m}`$ vérifiant : $`\mathrm{\Delta }p=pp`$.

Proposition A.1.

Les m-points de la variété formelle g sont donnés par :

$$p_v=e^v1=v+\frac{v^2}{2}+\mathrm{}$$

$`v`$ est un élément pair de $`\text{g}[1]\widehat{}\text{m}`$

Démonstration. La série a bien un sens dans $`𝒞(\text{g})\widehat{}\text{m}`$. Si $`p`$ est un m-point, $`p`$ est forcément pair, et on voit que la série :

$$v=\text{Log}(1+p)=p\frac{p^2}{2}+\mathrm{}$$

a un sens dans $`𝒞(\text{g})\widehat{}\text{m}`$ et définit un élément primitif (et pair), c’est-à-dire que l’on a : $`\mathrm{\Delta }v=0`$. Pour démontrer ce point on rajoute formellement la co-unité en considérant la cogèbre :

$$\overline{𝒞}_\text{m}=(k.1\text{m})𝒞(\text{g})\widehat{}\text{m}.$$

Un élément de type groupe de cette cogèbre s’écrit toujours :

$$g=1+p$$

$`p`$ est de type groupe dans la cogèbre sans co-unité $`𝒞(\text{g})\widehat{}\text{m}`$. Il s’agit alors de montrer que le logarithme $`v`$ d’un tel élément est primitif, c’est-à-dire que l’on a dans $`\overline{𝒞}_\text{m}`$ :

$$\mathrm{\Delta }v=v1+1v$$

Pour cela on remarque que la cogèbre $`\overline{𝒞}_\text{m}`$ est en fait une bigèbre. Le calcul formel suivant a alors un sens :

$$\begin{array}{cc}\hfill \mathrm{\Delta }\text{Log}g& =\text{Log}(\mathrm{\Delta }g)\hfill \\ & =\text{Log}(gg)\hfill \\ & =\text{Log}\left((g1)(1g)\right)\hfill \\ & =\text{Log}(g1)+\text{Log}(1g)\hfill \\ & =\text{Log}g1+1\text{Log}g\hfill \end{array}$$

Donc, forcément $`v`$ appartient à $`\text{g}\widehat{}\text{m}`$, et il est clair que $`p=p_v`$.

$``$

Le champ de vecteurs $`Q`$ s’étend de manière naturelle à $`𝒞(\text{g})\widehat{}\text{m}`$. Supposons que $`Q`$ s’annule au point $`p_v`$ :

$$Q(e^v1)=0$$

On traduit ceci par le fait que $`v`$ vérifie l’équation de Maurer-Cartan généralisée  :

$$Q_1(v)+\frac{1}{2}Q_2(v.v)+\mathrm{}=0.$$
(MCG)
Si g est une algèbre de Lie différentielle graduée, ça se réduit à l’équation de Maurer-Cartan :

$$dv\frac{1}{2}[v,v]=0.$$

(En effet $`v`$ est pair dans $`\text{g}[1]\text{m}`$, donc impair dans $`\text{g}\text{m}`$). Si maintenant $``$ est un $`L_{\mathrm{}}`$-morphisme entre $`(\text{g}_1,Q)`$ et $`(\text{g}_2,Q^{})`$, et si $`v\text{g}\text{m}`$ est tel que $`Q(p_v)=0`$, il est clair que :

$$Q^{}\left((p_v)\right)=\left(Q(p_v)\right)=0.$$

Or $`(p_v)=e^w1`$ avec $`w\text{g}_2\widehat{}\text{m}`$ d’après la proposition A.1, puisque $`(p_v)`$ est de type groupe. Il est clair que $`w`$ est la projection canonique de $`(p_v)`$ sur $`\text{g}_2\widehat{}m`$, soit :

$$\begin{array}{cc}\hfill w& =\underset{n1}{}\frac{1}{n!}_n(v^n).\hfill \end{array}$$

En résumé, si $`v\text{g}_1\widehat{}\text{m}`$ vérifie (MCG), alors l’élément $`w\text{g}_2\widehat{}\text{m}`$ donné par l’égalité ci-dessus vérifie (MCG). Dans le cas où les deux $`L_{\mathrm{}}`$-algèbres sont les algèbres de Lie différentielles graduées des multichamps de vecteurs et des opérateurs polydifférentiels, tout $`2`$-tenseur de Poisson formel :

$$v=\mathrm{}\gamma _1+\mathrm{}^2\gamma _2+\mathrm{}$$

donne naissance grâce à ce processus à un opérateur bidifférentiel formel $`w`$ tel que $`\mu +w`$ soit un étoile-produit, $`\mu `$ désignant la multiplication usuelle de deux fonctions. A.2. Equivalence des foncteurs de déformation On suppose toujours le corps de base $`k`$ de caractéristique zéro. Soit g une algèbre de Lie différentielle graduée. Rappelons \[K1 § 3.2\] que le foncteur de déformation $`\text{Def}_\text{g}`$ associe à toute algèbre commutative nilpotente de dimension finie m l’ensemble des classes de solutions de degré $`1`$ de l’équation de Maurer-Cartan dans $`\text{g}\text{m}`$ modulo l’action du groupe de jauge, c’est-à-dire le groupe nilpotent $`G_\text{m}=\mathrm{exp}(\text{g}^0\text{m})`$, dont l’action (par des transformations affines de l’espace $`\text{g}^1\text{m}`$) est donnée infinitésimalement par :

$$\alpha .\gamma =d\alpha +[\alpha ,\gamma ]$$

pour tout $`\alpha \text{g}^0\text{m}`$ et pour tout $`\gamma \text{g}^1\text{m}`$. Ce foncteur s’étend naturellement aux limites projectives d’algèbres commutatives nilpotentes de dimension finie : $`\text{Def}_\text{g}(\text{m})`$ est dans ce cas défini comme l’ensemble des classes de solutions de degré $`1`$ de l’équation de Maurer-Cartan dans le produit tensoriel complété $`\text{g}\widehat{}\text{m}`$ modulo l’action du groupe pro-nilpotent $`G_\text{m}=\mathrm{exp}(\text{g}^0\widehat{}\text{m})`$. L’équivalence de jauge peut aussi se définir pour une $`L_{\mathrm{}}`$-algèbre quelconque $`(\text{g},Q)`$ : deux solutions de l’équation de Maurer-Cartan généralisée $`\gamma _0`$ et $`\gamma _1`$ dans $`\text{g}^1\text{m}`$ sont équivalentes s’il existe une famille polynomiale $`\xi (t)_{tk}`$ de champs de vecteurs de degré $`1`$ et une famille polynomiale $`\gamma (t)_{tk}`$ de solutions de l’équation de Maurer-Cartan généralisée dans $`\text{g}^1\text{m}`$ telles que :

$$\begin{array}{cc}\hfill \frac{d\gamma (t)}{dt}& =[Q,\xi (t)]\left(\gamma (t)\right)\hfill \\ \hfill \gamma (0)& =\gamma _0,\gamma (1)=\gamma _1.\hfill \end{array}$$
$`()`$
On vérifie facilement que cette relation est une relation d’équivalence, ce qui permet de définir le foncteur de déformation $`\text{Def}_\text{g}`$ comme la correspondance qui à toute algèbre commutative nilpotente de dimension finie m associe l’ensmble $`\text{Def}_\text{g}(\text{m})`$ des classes de solutions de degré $`1`$ de l’équation de Maurer-Cartan généralisée dans $`\text{g}\text{m}`$ modulo l’équivalence de jauge.

Proposition A.2.1 (cf. \[K1 § 4.5.2\]).

1). Dans le cas d’une algèbre de Lie différentielle graduée les deux notions d’équivalence de jauge (et donc de foncteur de déformation) coïncident. 2). Soient $`\text{g}_1`$ et $`\text{g}_2`$ deux algèbres de Lie différentielles graduées. Alors le foncteur $`\text{Def}_{\text{g}_1\text{g}_2}`$ est naturellement équivalent au produit des foncteurs $`\text{Def}_{\text{g}_1}\times \text{Def}_{\text{g}_2}`$. 3). Le foncteur de déformation est trivial pour une $`L_{\mathrm{}}`$-algèbre linéaire contractile.

Démonstration. Les points 2) et 3) sont faciles à établir. Pour établir le premier point on remarque que l’action de $`\alpha \text{g}^0\text{m}`$ sur $`\text{g}^1\text{m}`$ est donnée par le champ de vecteurs :

$$D_\alpha =[Q,R_\alpha ],$$

$`R_\alpha `$ est le champ de vecteurs constant égal à $`\alpha `$. Ce champ de vecteurs est bien de degré $`1`$. L’équivalence de jauge au sens des algèbres de Lie différentielles graduées $`\gamma _1=(\mathrm{exp}\alpha ).\gamma _0`$ entraîne donc l’équivalence de jauge au sens des $`L_{\mathrm{}}`$-algèbres, avec $`\xi (t)=R_\alpha `$ pour tout $`t`$ et $`\gamma (t)=(\mathrm{exp}t\alpha ).\gamma _0`$. Supposons maintenant que $`\gamma _0`$ et $`\gamma _1`$ sont équivalents au sens des $`L_{\mathrm{}}`$-algèbres. Soient $`\xi (t)`$ et $`\gamma (t)`$ les familles polynomiales de champs de vecteurs de degré $`1`$ et de solutions de l’équation de Maurer-Cartan généralisée respectivement, telles que l’équation (\**) soit vérifiée. Le champ de vecteurs de degré zéro $`[Q,\xi (t)]`$ s’écrit explicitement en tout m-point $`\gamma \text{g}^1\text{m}`$ :

$$[Q,\xi (t)](\gamma )=d\xi (t)+[\xi (t),\gamma ].$$

On effectue ce calcul en appliquant la codérivation $`[Q,\xi (t)]`$ à l’élément de type groupe $`e^\gamma 1`$. Compte tenu de l’équation (\**) on voit que le vecteur tangent $`\frac{d\gamma (t)}{dt}`$ au point $`\gamma (t)`$ est donné par un champ de vecteurs provenant de l’action d’un élément de l’algèbre de Lie $`\text{g}^0\text{m}`$. Montrons par récurrence sur le degré $`d`$ de $`\gamma _t`$ (en tant que polynôme) qu’il existe un entier $`r`$ (dépendant de $`d`$) tel que pour tout $`tk`$ il existe $`g_t=\mathrm{exp}(tD_1+\mathrm{}+t^rD_r)G_\text{m}`$ tel que $`\gamma _t=g_t.\gamma _0`$ : si $`d=0`$ on a $`\gamma _t=\gamma _0`$ et la constante $`g_t=\text{Id}`$ convient. Supposons donc que la propriété soit vraie au rang $`d1`$. Supposons que $`\gamma _t`$ soit un polynôme de degré $`d`$, que l’on peut écrire :

$$\gamma _t=\stackrel{~}{\gamma }_t+t^d\gamma _d.$$

Grâce à l’hypothèse de récurrence on peut écrire :

$$\begin{array}{cc}\hfill \gamma _t& =e^{t^d\gamma _d}\stackrel{~}{\gamma }_t\hfill \\ & =e^{t^d\gamma _d}e^{tD_1+\mathrm{}+t^rD_r}\gamma _0.\hfill \end{array}$$

Le terme $`\gamma _d`$ appartient à l’algèbre de Lie $`\text{g}^0\text{m}`$. La série de Campbell-Hausdorff ne comprend qu’un nombre fini de termes dans le cas d’un groupe nilpotent, ce qui permet de conclure. Le passage aux limites projectives d’algèbres commutatives nilpotentes de dimension finie se fait sans difficulté.

$``$

Compte tenu de la proposition $`V.2`$, la proposition A.2.1 entraîne le résultat suivant :

Théorème A.2.2.

Soient $`\text{g}_1`$ et $`\text{g}_2`$ deux $`L_{\mathrm{}}`$-algèbres quasi-isomorphes. Alors les foncteurs de déformation de $`\text{g}_1`$ et de $`\text{g}_2`$ sont isomorphes.

En particulier les classes d’équivalence de jauge de $`2`$-tenseurs de Poisson formels sur une variété sont en bijection avec les classes d’équivalence de jauge d’étoile-produits.

Références : \[AKSZ\] M. Alexandrov, M. Kontsevich, A. Schwarz, O. Zaboronsky, The geometry of the Master equation and topological quantum field theory, Int. J. Mod. Phys. et hep-th 9502010. \[BFFLS\] F. Bayen, M. Flato, C. Frønsdal, A. Lichnerowicz, D. Sternheimer, Deformation theory and quantization I. Deformations of symplectic structures, Ann. Phys. 111 No1, 61-110 (1978). \[FM\] W. Fulton, R. MacPherson, Compactification of configuration spaces, Ann. Math. 139, 183-225 (1994). \[H-S\] V. Hinich, V. Schechtman, Homotopy Lie algebras, I.M. Gelfand Seminar, Adv. Sov. math. 16 (2), 1993. \[Kh\] A.G. Khovanskiĭ, On a lemma of Kontsevich. Funct. Anal. Appl. 31, no. 4, 296–298 (1998) \[K1\] M. Kontsevich, Deformation quantization of Poisson manifolds, q-alg. 9709040. \[K2\] M. Kontsevich, Formality conjecture, D. Sternheimer et al. (eds.), Deformation theory and symplectic geometry, Kluwer, 139-156 (1997). \[M\] S. Majid, Algebras and Hopf algebras in braided categories, q-alg. 9509023. \[Q\] D. Quillen, Rational homotopy theory, Ann. Math. 90 (1969), 205-295.