1:
2: %%%%%%%%%%%%%%%%%%%%%%%%%%%%
3:
4: \documentclass[12pt]{article}
5:
6: \if@twoside
7: \oddsidemargin 0.7cm
8: \evensidemargin -0.3cm
9: \else
10: \oddsidemargin 0.2cm
11: \evensidemargin 0.2cm
12: \fi \marginparwidth 0pt \marginparsep 0pt \topmargin -1.4cm
13: \headheight 1cm \headsep 1cm
14:
15: \footskip 1cm \textheight 21.7cm \textwidth 16cm \columnsep 1cm
16: \columnseprule .4pt
17:
18:
19: \usepackage{amsmath,amsthm,amsfonts,amssymb}
20: \usepackage[latin1]{inputenc}
21: \usepackage{makeidx}
22: \usepackage[french]{babel}
23: \usepackage{newlfont}
24: \usepackage{showidx}
25: \usepackage[dvips]{graphicx}
26: %%%%%%%%%%%%%%%
27:
28: \newtheorem{theo}{Théorème}
29: \newtheorem{prop}{Proposition}
30: \newtheorem{cor}{Corollaire}
31: \newtheorem{rem}{Remarque}
32: \newtheorem{defi}{Définition}
33: \newtheorem{lem}{Lemme}
34:
35:
36:
37: %%%%%%%%%%%%%%%
38:
39:
40: \def\g{\mathfrak{g}}
41: \def\G{\Gamma}
42: %\def\un{\underline}
43: \def\ov{\overline}
44: \def\tr{\mathrm{tr}}
45: \def\ad{\mathrm{ad}}
46: \def\p{\mathfrak{p}}
47: \def\k{\mathfrak{k}}
48: \def\Exp{\mathrm{Exp}}
49: \newcommand{\R}{\mathrm{ I\! R}}
50: \newcommand{\C}{\mathrm{ I\!\!\!C}}
51:
52:
53: \begin{document}
54:
55: \bibliographystyle{alpha}
56: \author{Charles Torossian\footnote{UMR 8553 du CNRS, DMA-ENS, Ecole Normale Supérieure, 45 rue d'Ulm 75230 Paris
57: cedex 05, Charles.Torossian@ens.fr}}
58: \title{ Méthodes de Kashiwara-Vergne-Rouvière pour certains espaces symétriques}
59: \date{}
60: \maketitle
61:
62:
63:
64:
65:
66: \begin{abstract} Cet article est une suite de notre article
67: \cite{To}. En utilisant une déformation "à la Kontsevich" de la
68: formule de Campbell-Hausdorff pour les espaces symétriques, on
69: retrouve les résultats de Rouvière \cite{rou86}, sur la convolution
70: des distributions invariantes, dans le cas des espaces symétriques
71: résolubles et "très symétriques".
72: \\
73:
74: This paper follows our previous work \cite{To}. We study the case of
75: symmetric spaces. We recover, by using a Kontsevich's deformation of
76: the Baker-Campbell-Hausdorff formula, Rouvière's results
77: \cite{rou86}, on the convolution of invariant distributions, for
78: solvable symmetric spaces and "very symmetric spaces".
79: \end{abstract}
80: %
81: %
82: %
83: %
84: \section*{Introduction}
85: Dans notre article précédent \cite{To}, suivant les idées élaborées
86: par Kontsevich \cite{kont} pour la quantification formelle des
87: variétés de Poisson et déjà utilisées dans \cite{ADS} et \cite{AST},
88: nous avons montré comment résoudre certaines conjectures sur la
89: formule de Campbell-Hausdorff (BCH in English). Plus précisément,
90: nous avons construit une défor\-mation de la formule BCH, qui
91: vérifie une équation différentielle analogue à celle que l'on trouve
92: dans l'article de Kashiwara-Vergne \cite{KV}. Ces équations ont la
93: même utilité que celles de l'article de Kashiwara-Vergne. En effet
94: elles permettent de montrer, comme dans \cite{ADS} et \cite{AST},
95: que l'application exponentielle modifiée par la racine carrée du
96: jacobien, transporte la convolution des distributions invariantes
97: sur les algèbres de Lie (\cite{Du},\cite{KV}, \cite{Ve},\cite{Mo}).
98: \\
99:
100: Dans cet article nous considérons le cas des espaces symétriques.
101: \\
102:
103: Dans notre mémoire d'Habilitation \cite{hab} nous avons par ailleurs
104: abordé certains problèmes d'analyse harmonique pour les espaces
105: symétriques. Nous avons notamment expliqué en quoi le comportement
106: des espaces symétriques est à la fois proche et éloigné du cas des
107: algèbres de Lie. On peut dire en résumant grossièrement, qu'il
108: existe une catégorie d'espaces symétriques pour laquelle les
109: méthodes des groupes fonctionnent bien (cas nilpotent, résoluble,
110: $"G_{\C}/G_{\R}"$, cas "très symétrique"). Malheureusement le cas
111: général des espaces symétriques ne peut pas être traité par des
112: méthodes s'inspirant simplement du cas des groupes (voir la fin de
113: cet article pour quelques remarques).
114: \\
115:
116: Dans cet article nous allons déformer la formule de
117: Campbell-Hausdorff pour les espaces symétriques généraux.
118: \\
119:
120: Nous montrerons que cette déformation vérifie, dans les "bons" cas
121: évoqués plus haut (résoluble ou très-symétrique), des équations
122: analogues au cas des groupes. On en déduira que l'application
123: exponentielle modifiée par la racine carrée du déterminant jacobien,
124: transporte la convolution des germes de distributions invariantes.
125: Nous retrouvons ainsi les résultats de Rouvière \cite{rou86} du cas
126: résoluble. Notre démonstration fournit une preuve dans le cas très
127: symétrique ce qui, à notre connaissance, est un résultat nouveau.
128: \\
129:
130:
131:
132: \noindent {\bf Remerciements:} L'auteur remercie M. Pevzner et le
133: département de mathéma\-tiques l'Université Libre de Bruxelles (ULB)
134: pour leur invitation (fin janvier 2002). L'auteur y a finalis\'e les
135: résultats de cet article. Nous remercions aussi les organisateurs du
136: colloque Carmona pour leur invitation. Nous avons eu le plaisir d'y
137: pr\'esenter les r\'esultats de cet article.
138:
139:
140: \section{Rappels}
141:
142: \subsection{Rappels sur la formule de Kontsevich}
143:
144:
145:
146:
147:
148: La formule de Kontsevich associe à toute structure de Poisson
149: régulière sur $\R^d$ un étoile-produit formel associatif. Ce n'est
150: qu'un cas particulier du théorème de formalité d\'emontr\'e par
151: Kontsevich dans \cite{kont} théorème $6.4$.
152:
153: Lorsque $f$ et $g$ sont deux fonctions régulières sur $\R^{d}$ et
154: $\alpha$ un deux-vecteur de Poisson régulier sur $\R^d$, Kontsevich
155: écrit dans \cite{kont} paragraphe $2$, la formule suivante :
156:
157: \begin{equation}\label{formuleK}
158: f\star g=fg +\sum _{n=1}^{\infty}\frac{h^{n}}{n!}\sum_{\substack{\G
159: \in G_{n,2}\\ \Gamma {\mathrm admissible}}}w_{\Gamma} B_{\G}(f,g).
160: \end{equation}
161:
162: Cette formule munit l'espace des fonctions régulières sur $\R^d$
163: d'une structure associative formelle. Dans cette formule $h$ est un
164: paramètre formel, $G_{n,2}$ désigne l'ensemble des graphes étiquetés
165: avec $n$ points de première espèce et $2$ points de seconde espèce,
166: $\G$ est un graphe dit admissible parmi les graphes de $G_{n,2}$,
167: $w_{\Gamma}$ est un c\oe fficient obtenu par intégration sur un
168: espace de configurations d'une forme différentielle dépendant de
169: $\G$ et $B_{\G}$ est un opérateur bidifférentiel construit à partir
170: de $\G$.
171:
172: Par souci de clarté et d'autonomie du texte nous allons préciser
173: maintenant chacun des termes de cette formule et appliquer dans un
174: second temps cette formule dans le cas des structures de Poisson
175: linéaires c'est-à-dire dans le cas du dual des algèbres de Lie.
176:
177: \subsubsection{Espaces de configurations}
178:
179:
180:
181: On note par $\mathrm{Conf}_{n,m}$ l'espace des configurations de $n$
182: points distincts dans le demi-plan de Poincaré (ce sont les points
183: aériens) et de $m$ points distincts sur la droite réelle (ce sont
184: les points terrestres). Le groupe:
185: $$G^{(1)} =\{z\mapsto az+b \hbox{ avec }(a,b)\in\R^*_+\times\R\}$$
186: agit librement sur $\mathrm{Conf}_{n,m}$. Le quotient~:
187: $$C_{n,m}=\mathrm{Conf}_{n,m}/G^{(1)}$$
188: est une vari\'et\'e de dimension $2n+m-2$. Compte tenu de l'action
189: de ce groupe sur les points terrestres, on peut identifier deux des
190: points terrestres aux points $0$ et $1$ (à condition que l'on ait
191: $m\geq 2$, sinon on peut identifier un des points aériens au
192: complexe $i$). Dans \cite{kont} paragraphe $5.1$, Kontsevich
193: construit des compactifications de ces variétés notées
194: $\overline{C}_{n,m}$. Ce sont des variétés à coins de dimension
195: $2n+m-2$. Ces variétés ne sont pas connexes pour $m\geq 2$. On
196: notera par $\overline{C}^{+}_{n,m}$ la composante connexe qui
197: contient les configurations où les points terrestres sont ordonnés
198: dans l'ordre croissant (i.e. on a $\ov{1}< \ov{2}<\cdots<\ov{m}$).
199: On introduit de manière analogue des variétés de configurations de
200: $n$ points dans le plan complexe modulo l'action du groupe
201: $G^{(2)}=\{z\mapsto az+b \hbox{ avec }(a,b)\in\R_+^*\times\C \}$. On
202: les note $C_n$, ce sont des variétés de dimension $2n-3$. On note
203: $\overline{C_n}$ les compactifications associées (\cite{kont}
204: paragraphe $5.1$).
205:
206: Ces variétés sont stratifiées et chaque strate est décrite par un
207: arbre. En termes géométriques, les strates sont obtenues par
208: concentrations it\'er\'ees de points en des amas (\cite{kont}
209: paragraphe 5.2).
210:
211:
212: \subsubsection{Graphes admissibles}\label{defgrapheadmissible}
213: La notion de graphes admissibles est maintenant bien établie dans
214: la littéra\-ture. On d\'esigne par $G_{n,m}$ l'ensemble des graphes
215: \'etiquet\'es et orient\'es (les arêtes sont orientées) ayant $n$
216: sommets du première espèce (sommets aériens) et $m$ sommets du
217: deuxième espèce (sommets terrestres). Par graphe \'etiquet\'e on
218: entend un graphe $\Gamma$ muni d'un ordre total sur l'ensemble
219: $E_\Gamma$ de ses ar\^etes, compatible avec l'ordre des sommets.
220:
221: Les graphes qui vont intervenir dans la formule de Kontsevich sont
222: dans $G_{n,2}$ et vérifie des conditions supplémentaires. On dira
223: qu'ils sont admissibles (\cite{kont} paragraphe $6.1$ et paragraphe
224: $2$) si
225: \begin{enumerate}
226: \item Les arêtes partent toutes des sommets de première espèce.
227: \item Il part deux arêtes de chaque sommet de première espèce.
228: \item Le but d'une ar\^ete est diff\'erent de sa source (il n'y a pas
229: de boucle).
230: \item Il n'y a pas d'ar\^etes multiples (même source, même but).
231: \end{enumerate}
232:
233:
234: \begin{figure}[!h]
235: \begin{center}
236: \includegraphics[width=8cm]{grapheadmissible.eps}
237: \caption{\footnotesize Graphe admissible (de type Lie)}\label{graphe
238: admissible}
239: \end{center}
240: \end{figure}
241:
242: \subsubsection{Opérateur différentiel associé à un graphe}
243:
244: Soit $\G$ un graphe admissible de $G_{n,2}$. De tout point aérien
245: $i$ partent deux arêtes numérotées $(e_{i}^{a},e_{i}^{b})$.
246:
247: Soit $\alpha$ un deux-vecteur sur $\R^{d}$. On peut alors associer à
248: tout graphe admissible un opérateur bi-différentiel sur $\R^{d}$
249: comme expliqué dans \cite{kont} paragraphe $2$. On notera
250: $B_{\G}(f,g)$ l'opérateur bidifférentiel associé que l'on suppose
251: agir sur les fonctions $f$ et $ g$.
252:
253: Expliquons heuristiquement la formule. Sur chaque sommet aérien on
254: met le deux-vecteur et sur les sommets terrestres on met les
255: fonctions $f$ et $g$. Chaque arête arrivant sur un sommet dérive la
256: fonction associée au sommet. On multiplie les fonctions ainsi
257: obtenues et on somme sur toutes les possibilités. Concrètement la
258: formule est la suivante. Pour chaque arête $e$, on note par $s(e)$
259: le point aérien source (départ) et par $b(e)$ le point but
260: (arrivée). Dans la formule ci-dessous $I$ décrit l'ensemble les
261: applications de l'ensemble des arêtes $E_{\G}$ dans l'ensemble des
262: indices de coordonnées $\{1, \cdots d\}$.
263:
264:
265:
266: $$
267: B_{\Gamma,\alpha}(f,g) = \sum_{I} \bigg[\prod_{k=1}^n
268: \big(\prod_{\substack{e \in E_{\Gamma}\\ b(e) = k}}
269: \partial_{I(e)}\big) \alpha^{I(e_k^a)I(e_k^b)}\bigg]\big( \prod_{\substack{e
270: \in E_{\Gamma}\\b(e) = \ov{1}}}\partial_{I(e)}\big) f
271: \big(\prod_{\substack{e\in E_{\Gamma}\\ b(e) = \ov{2}}}
272: \partial_{I(e)}\big) g.$$
273:
274:
275:
276:
277: \subsubsection{Forme d'angles}
278:
279: Soient deux points distincts $(p,q)$ dans le demi-plan de Poincaré
280: muni de la métrique de Lobachevsky. On note
281: \begin{equation}
282: \phi(p,q)=\frac{1}{2i}\log(\frac{(q-p)(\overline{q}-p)}
283: {(q-\overline{p})(\overline{q}-\overline{p})}).
284: \end{equation}
285: C'est l'angle entre la géodésique $(p,\infty)$ et $(p,q)$ où
286: l'infini peut être vu comme l'infini sur la droite réelle (figure
287: [\ref{angle}])
288:
289: \begin{figure}[!h]
290: \begin{center}
291: \includegraphics[]{angle.eps}
292: \caption{\footnotesize Fonction d'angle}\label{angle}
293: \end{center}
294: \end{figure}
295:
296: La fonction d'angle s'étend à la compactification
297: $\ov{C}_{2,0}$ en une fonction d'angle régulière. La variété $\ov{C}_{2,0}$ est
298: précisément décrite dans l'article de Kontsevich
299: (\cite{kont} paragraphe $5.2$), c'est le fameux \oe il (figure [\ref{oeil}]).
300: On remarquera, mais c'est
301: tautologique vu la construction des compactifications, que lorsque
302: les points $p, q$ s'approchent selon un angle $\theta$, la fonction
303: d'angle vaut précisément cet angle. Lorsque $p$ s'approche de l'axe
304: réel la fonction d'angle est nulle et lorsque $q$ s'approche de
305: l'axe réel on obtient deux fois l'angle de demi-droite avec l'axe
306: réel.
307:
308:
309: Comme la fonction d'angle est régulière sur la compactification, on
310: peut considérer sa différentielle qui est alors une $1$-forme sur
311: $\overline{C}_{2,0}$.
312:
313: \begin{figure}[!h]
314: \begin{center}
315: \includegraphics[width=6cm]{oeil.eps}
316: \caption{\footnotesize La vari\'et\'e $\ov{C}_{2,0}$, dite \oe il de
317: Kontsevich }\label{oeil}
318: \end{center}
319: \end{figure}
320:
321:
322: \subsubsection{Poids associé à un graphe}
323:
324: Si $\Gamma$ est un graphe admissible dans $G_{n,2}$, alors toute
325: arête $e$ définit par restriction une fonction d'angle notée
326: $\phi_{e}$ sur la variété $\overline{C}^{+}_{n,2}$. Le produit
327: ordonné
328: \begin{equation}
329: \Omega_{\Gamma}=\bigwedge _{e \in E_{\Gamma}} d\phi_{e}
330: \end{equation}
331: est donc une $2n$-forme sur $\overline{C}^{+}_{n,2}$ qui est de
332: dimension aussi $2n$. Le poids associé sera donc
333:
334: \begin{equation}
335: w_{\Gamma}=\frac{1}{(2\pi)^{2n}}\int_{\overline{C}^{+}_{n,2}}
336: \Omega_{\Gamma}.
337: \end{equation}
338:
339: \subsubsection{Permutation des ar\^etes}
340:
341: Soit $\Gamma$ un graphe admissible dans $G_{n,2}$ et $\alpha$ un
342: deux-vecteur régulier sur $\R^d$. Le groupe
343: $\underbrace{S_{2}\times\cdots\times S_{2}}_n$, produit des groupes
344: de permutations des ar\^etes attach\'es \`a chaque sommet, agit
345: naturellement sur $\Gamma$ par permutation de l'\'etiquetage des
346: ar\^etes. On vérifie que l'on a ($\epsilon(\sigma)$ désigne la
347: signature de la permutation $\sigma$):
348: \begin{eqnarray*}B_{\sigma.\Gamma}&=\varepsilon(\sigma)B_\Gamma
349: \end{eqnarray*}
350: \begin{eqnarray}\label{permutation} w_{\sigma.\Gamma}&=\varepsilon(\sigma)w_\Gamma,
351: \end{eqnarray}
352: de sorte que le produit $w_\Gamma. B_\Gamma$ ne d\'epend pas de
353: l'\'etiquetage. On remarque aussi que le c\oe fficient $w_{\G}$ et
354: l'opérateur $B_{\G}$ ne dépendent pas de l'ordre des sommets.
355:
356: \subsubsection{Principe de la démonstration}
357: L'associativité de l'étoile-produit défini par Kontsevich résulte de
358: deux ingré\-dients. Le premier ingrédient est la formule de Stokes
359: qui va donner des relations entre les c\oe fficients $w_{\G}$. Le
360: deuxième ingrédient est un lemme fondamental (\cite{kont} lemme
361: $6.6$) qui assure que les concentrations aériennes de plus de trois
362: points auront des contributions nulles. Au final le défaut
363: d'associativité de cet étoile-produit sera nul car le deux-vecteur
364: $\alpha$ est un deux-vecteur de Poisson (\cite{kont} paragraphe
365: $6.4$).
366:
367:
368: \subsection{Le cas linéaire}\label{cas lineaire}
369:
370: Soit $\g$ une algèbre de Lie de dimension finie sur $\R$. L'espace
371: vectoriel dual $\g^*$ possède une structure de Poisson linéaire
372: donnée par la moitié du crochet de Lie. Ces deux notions sont
373: équivalentes. Si $e_1, \cdots, e_d$ d\'esigne une base de $\g$,
374: $e_1^*, \cdots, e_d^*$ la base duale et $\partial_i$ la d\'eriv\'ee
375: dans la direction du vecteur $e_i^*$, alors le deux-vecteur de
376: Poisson associé est
377: $\alpha=\frac{1}{2}\sum_{i,j}[e_i,e_j]\partial_i\otimes\partial_j$.
378:
379:
380:
381: Dans ce cas (\cite{kont} th\'eor\`eme $8.3.1$) l'ordre des
382: opérateurs $B_{\G}$ est suffisamment croissant de sorte que, lorsque
383: $f$ et $g$ sont deux fonctions polynomiales, la formule de
384: Kontsevich est en fait une somme finie. Cet étoile-produit vérifie
385: pour $X, Y$ dans $\g$ (considérés comme des fonctions linéaires sur
386: $\g^*$) la relation
387: $$X\star Y-Y\star X=h[X,Y].$$
388: En localisant en $h=1$, l'étoile-produit de Kontsevich définit donc
389: sur l'algèbre symétrique $S[\g]$ une structure isomorphe \`a
390: l'algèbre enveloppante de $\g$ (\cite{kont} th\'eor\`eme $8.3.1$).
391:
392:
393: \subsubsection{Géométrie des graphes}
394:
395: Dans le cas linéaire, les graphes qui vont intervenir de manière
396: non triviale dans la formule (\ref{formuleK}) ont une description
397: relativement simple. En effet chaque sommet de première espèce ne
398: pourra recevoir qu'au plus une arête: ce sont par d\'efinition les
399: graphes pertinents (relevant graphs) et on renvoie le lecteur à
400: l'article \cite{AST} paragraphe $3.1$ pour une description précise
401: des graphes pertinents qui interviennent dans la formule finale. \\
402:
403: En fait des arguments \'el\'ementaires (d\'etaill\'es dans
404: \cite{AST} paragraphe $3.1$) montrent que tout graphe admissible
405: pertinent se décompose en produit de graphes simples. Il y a deux
406: types de graphes simples: ceux qui contiennent une seule roue (et
407: donc pas de racine) comme dans la figure [\ref{roue}] on les
408: appellera \textit{graphes de type roue } (\cite{AST} définition
409: $3.1.1$) et ceux qui contiennent une seule racine (et donc pas de
410: roue) comme dans la figure [\ref{graphe admissible}], ce sont les
411: \textit{graphes de type Lie} (\cite{Ka} définition $3.1$).
412:
413: \subsubsection{Symbole de $B_{\G}$}
414:
415:
416:
417: Dans \cite{AST} paragraphe $3$ on a associé à chaque graphe
418: admissible $\Gamma$ un symbole $a_{\G}$. C'est une fonction de
419: $\g\times \g$ à valeurs dans $S[\g]$ donnée par la formule pour
420: $X,Y$ dans $\g$
421:
422: $$a_{\G}(X,Y)=B_{\G}(e^X, e^Y)e^{-X-Y}.$$
423:
424: Par exemple le symbole associé au graphe de la figure [\ref{graphe
425: admissible}] est $$a_{\G}(X,Y)=\frac{1}{8}[[X,[X,Y]],Y]$$ et le
426: symbole associé au graphe de la figure [\ref{roue}] est
427: $$a_{\G}(x,y)=\frac{1}{2^5}\tr_{\g}( \ad[X,Y]\, \ad X\, \ad Y \,\ad Y).$$
428:
429:
430: Lorsque le graphe est simple de type Lie, alors $a_{\G}(X,Y)$ est
431: naturellement un élément de l'algèbre de Lie engendrée par $X$ et
432: $Y$. Lorsque $\G$ est produit de graphes simples, le symbole est le
433: produit des symboles associés (\cite{AST} lemme $3.6$).
434:
435: \subsubsection{Formule de Campbell-Hausdorff en termes de graphes}
436:
437: Comme démontré dans \cite{Ka} th\'er\`eme $5.1$, la formule de
438: Campbell-Hausdorff s'écrit alors pour $X$ et $Y$ dans $\g$ (la série
439: est convergente pour $X$ et $Y$ proches de $0$)
440:
441: \begin{equation}\label{eqCBH}
442: Z(X,Y)=X+Y +\sum _{n=1}^{\infty}\frac{1}{n!}\sum_{\G}w_{\Gamma}
443: a_{\G}(X,Y).
444: \end{equation}
445:
446: \noindent où la somme porte sur les graphes simples de type Lie. Les
447: graphes qui contribuent de manière non triviale dans cette formule
448: n'ont donc qu'une racine et ne possèdent pas de symétries. Par
449: conséquent les graphes étiquetés (numérotés) associés à un graphe
450: géométrique (graphe orienté associé pour lequel on oublie
451: l'étiquetage) sont au nombre de $n!2^n$. Le terme $n!$ se compense
452: avec le terme $\frac{1}{n!}$ et le terme $2^n$ disparaît aussi car
453: on a pris le deux-vecteur de Poisson associé à la moitié du crochet
454: de Lie. On notera $\Gamma(X,Y)$ le symbole associé au graphe
455: géométrique lorsqu'on prend le deux-vecteur
456: de Poisson associé au crochet de Lie. On a alors la formule
457: plus synthétique suivante
458:
459: \begin{equation}\label{eqCBHgeometrique}
460: Z(X,Y)=X+Y +\sum_{\Gamma }w_{\Gamma}\Gamma(X,Y)
461: \end{equation}
462: où la somme porte sur les graphes géométriques simples de type Lie.
463: On remarquera toutefois que le symbole $\Gamma(X,Y)$ est mal défini
464: si le graphe n'est pas étiqueté. Pour résoudre ce problème il suffit
465: de remarquer que c'est aussi le cas pour le c\oe fficient
466: $w_{\Gamma}$ et que ces deux difficultés se compensent grâce aux
467: équations (\ref{permutation}).
468:
469:
470:
471: \begin{figure}[h!]
472: \begin{center}
473: \includegraphics[width=8cm]{roue.eps}
474: \caption{\footnotesize Graphe simple de type Roue}\label{roue}
475: \end{center}
476: \end{figure}
477:
478: \subsubsection{Symbole formel de l'étoile-produit
479: dans le cas linéaire et fonction de densité}
480: La propriété multiplicative du symbole et la
481: combinatoire sur les graphes assurent que le symbole formel associé
482: à l'étoile-produit de Kontsevich est, dans le cas des algèbres de
483: Lie, un produit de deux termes de type exponentiel correspondant aux
484: contributions des graphes simples de type Lie (c'est la formule de
485: Campbell-Hausdorff par \cite{Ka} théorème $5.1$) et des graphes
486: simples de type roue (c'est la fonction de densité par \cite{AST}
487: proposition $3.7$). Le symbole formel vu dans $S[\g][[h]]$, vérifie
488: alors (\cite{AST} proposition $3.8$)
489:
490: \begin{equation}\label{eqstar}
491: \big(\exp(X)\star\exp(Y)\big)\exp(-X-Y)
492: =D(hX,hY)\exp\big(\frac{1}{h}Z(hX,hY)-X-Y\big)
493: \end{equation}
494: avec $D(X,Y)$ la fonction de densité (série convergente pour $X$ et
495: $Y$ proches de $0$) :
496: \begin{equation}
497: D(X,Y)=\exp\Big(\sum_{\Gamma }w_{\Gamma}\Gamma(X,Y)\Big)
498: \end{equation}
499: où la somme porte sur l'ensemble des graphes géométriques simples et
500: de type roue. On montre (\cite{AST} proposition $3.12$) que cette
501: fonction vaut
502:
503: \begin{equation}\label{eqdensite}
504: D(X,Y)=\frac{j^{1/2}(X)j^{1/2}(Y)}{j^{1/2}(Z(X,Y))}
505: \end{equation}
506: avec $j$ le déterminant jacobien de l'application exponentielle à
507: savoir
508: \begin{equation}\label{fonctionj}
509: j(X)=\det_\g\Big(\frac{1-\exp(-\ad X)}{\ad X}\Big).
510: \end{equation}
511:
512: \subsection{Rappel sur les espaces symétriques}
513: Soit $\g$ une algèbre de Lie de dimension finie sur $\R$, on appelle
514: paire symétrique, tout couple $(\g, \sigma)$ avec $\sigma$ une
515: automorphisme de Lie involutif. Habituellement on note $\g=\k\oplus
516: \p $ la décomposition en espaces propres relativement à $\sigma$.
517:
518: Lorsque $\g$ est l'algèbre de Lie d'un groupe de Lie $G$ (connexe et
519: simplement connexe) et $\sigma$ la différentielle d'un involution de
520: $G$ (un automorphisme de groupe vérifiant $\sigma^2=1$), on note
521: $G^{\sigma}$ le sous-groupe des points fixes de $\sigma$ dans $G$ et
522: $K$ la composante connexe de $G^{\sigma}$ qui contient l'élément
523: neutre $e$. L'espace $G/K$ est appelé espace symétrique. Alors $\k$
524: est l'algèbre de Lie de $K$, mais
525: en général $\p$ n'est pas une sous-algèbre de Lie car on a
526: les relations suivantes $[\k, \p] \subset \p$ et $[\p, \p]\subset \k$.
527: On peut identifier
528: $\p$ \`a l'espace tangent $T_{eK}(G/K)$. Il existe cependant
529: sur $\p$ un produit
530: triple donné par la formule pour $X,Y,Z$ dans $\p$
531: \begin{equation}
532: (X, Y, Z) \mapsto [[X, Y], Z].
533: \end{equation}
534: Les espaces vectoriels munis de produits triples sont pour les
535: espaces symétriques, ce que sont les algèbres de Lie pour les
536: groupes de Lie (\cite{loos} \textbf{vol I}, paragraphe II-$2$).
537:
538: L'application exponentielle définit un difféomorphisme local de $\p$
539: sur $G/K$. On la note $\Exp$ et on notera $\exp_{\g}$ l'application
540: exponentielle de $\g$ dans $G$. On en déduit alors l'existence d'une
541: formule de Campbell-Hausdorff pour les espaces symétriques, définie
542: de la manière suivante. Pour $X$ et $Y$ dans $\p$ proches de $0$, il
543: existe une série convergente $Z_{sym}(X,Y)$ à valeurs dans $\p$
544: telle que l'on ait
545: $$\exp_{\g}(X)\Exp(Y)=\Exp\big(Z_{sym}(X,Y)\big).$$
546: En utilisant l'involution $\sigma$ on trouve facilement
547: \begin{equation}
548: \exp_{\g}(2Z_{sym}(X,Y))=\exp_{\g}(X)\exp_{\g}(2Y)\exp_{\g}(X).
549: \end{equation}
550: Cela nous suggère de modifier le crochet de Lie pour $\g$ et de
551: prendre plutôt deux fois le crochet. Notons $\g_2$ l'algèbre de Lie
552: ainsi obtenue et $G_2$ le groupe de Lie connexe et simplement
553: connexe associé. Notons $\exp_{\g_2}$ l'application exponentielle
554: associée. On aura alors (le membre de droite est calculé dans $G_2$)
555:
556:
557: \begin{equation}\label{eqsym}
558: \exp_{\g_2}\big(Z_{sym}(X,Y)\big)=
559: \exp_{\g_2}(X/2)\cdot\exp_{\g_2}(Y)\cdot\exp_{\g_2}(X/2).
560: \end{equation}
561:
562:
563: \section{Méthodes de déformation pour les espaces symétriques}
564:
565: \subsection{Calcul de la formule de Campbell-Hausdorff}
566: Comment exprimer maintenant $Z_{sym}(X,Y)$ en termes de diagrammes?
567: Cela revient à se demander comment on calcule les produits itérés de
568: l'étoile-produit. La proposition suivante résout la question (voir
569: l'article
570: \cite{kont} paragraphe $8.3.3.2$ pour un calcul analogue). \\
571:
572: On considère $G_{n,3}$ l'ensemble des graphes étiquetés avec $n$
573: points aériens et $3$ points terrestres. On place les points
574: terrestres en $0, s, 1$ avec $s\in ]0,1[$ (figure
575: [\ref{graphes3pts}]). On étend la notion de graphes admissibles aux
576: graphes de $G_{n,3}$ (voir section \ref{defgrapheadmissible}).
577:
578: Notons $w_{\Gamma}(s)$ la valeur du c\oe fficient obtenu par
579: intégration de la forme $\Omega_{\G}$ sur les configurations à $s$
580: fixe (en d'autres termes on intègre sur les points aériens).
581: \begin{figure}[h!]
582: \begin{center}
583: \includegraphics[width=10cm]{graphes3pts.eps}
584: \caption{\footnotesize Graphe avec trois points
585: terrestres}\label{graphes3pts}
586: \end{center}
587: \end{figure}
588: On considère la structure de Poisson linéaire sur $\g^*$, donnée par
589: la moitié du crochet de Lie. On note $\alpha$ le deux-vecteur
590: associé.
591: \begin{prop}
592: Pour $f,g,h$ trois fonctions régulières sur $\g^*$ on a
593: $$f\star g\star k= fgk +\sum _{n=1}^{\infty}\frac{h^{n}}{n!}
594: \sum_{\substack{\G \in G_{n,3}\\ \G
595: \mathrm{admissible}}}w_{\Gamma}(s) B_{\G}(f,g,k).$$
596:
597: \end{prop}
598: \noindent {\bf Preuve:} On doit montrer deux choses, d'une part que
599: l'expression de droite est indépen\-dante de $s$ et qu'elle vaut
600: bien le terme de gauche.
601:
602: On utilise le calcul de la dérivée de $w_{\Gamma}(s)$ comme dans
603: \cite{To} paragraphe $4.1$. Cela revient à utiliser la formule de
604: Stokes de manière infinitésimale qui est à la base de
605: l'associativité (\cite{kont} paragraphe $6.4$). En pratique cela
606: veut dire que l'on doit concentrer des points. Comme les points $0,
607: s, 1$ sont sur l'axe réel, les concentrations que l'on doit
608: effectuer sont aériennes (sinon pour des raisons de dimension on se
609: retrouve dans le cas \cite{kont} paragraphe $6.4.2.2$). Les
610: concentrations de plus de trois points aériens sont nulles
611: (\cite{kont} lemme $6.6$). Les seules expressions non nulles,
612: proviennent alors des concentrations de deux points aériens. Elles
613: se compensent par l'identité de Jacobi, à savoir $[\alpha,
614: \alpha]_S=0$ (crochet de Schouten). Le terme de droite est donc
615: constant.
616:
617: Maintenant lorsque $s$ tend vers $0$, on obtient toutes les
618: concentrations de $p$ points aériens avec leurs $2p$ arêtes. En
619: effet, il faut tenir compte des composantes de bord dans les
620: compactifications des espaces de configurations (\cite{kont}
621: $6.4.2.1$). Le résultat vaut alors la factorisation
622: $$(f\star g)\star k.$$ On en retrouve l'associativité de l'étoile-produit en
623: considérant la limite quand $s$ tend vers $1$.$\Box$
624: \\
625:
626: \noindent \textbf{Remarque : } Dans la proposition ci-dessus on n'a
627: pas utilisé le fait que la structure de Poisson était linéaire, on
628: en déduit que cette proposition est vraie pour tout deux-vecteur de
629: Poisson.
630: \\
631:
632: \noindent Plaçons maintenant le point médian en $s=\frac{1}{2}$. On
633: place en $0$ la fonction $\exp(X/2)$, en $\frac{1}{2}$ la fonction
634: $\exp(Y)$ et en $1$ la fonction $\exp(X/2)$. On s'intéresse à la
635: contribution des termes dans
636:
637: $$\exp(X/2)\star\exp(Y)\star \exp(X/2)=$$
638: \begin{equation}\label{starSym} \exp(X+Y)+\sum
639: _{n=1}^{\infty}\frac{h^n}{n!}\sum_{\substack{\G \in G_{n,3}\\
640: \G\mathrm{admissible}} }w_{\Gamma}(\frac{1}{2})
641: B_{\G}\Big(\exp(X/2), \exp(Y),\exp(X/2)\Big).
642: \end{equation}
643: Le bivecteur de Poisson intervenant est comme d'habitude la moitié
644: du crochet de Lie (n'oublions pas que l'on travaille dans $\g_2$).
645: On fait maintenant intervenir la symétrie par rapport à la droite
646: $x=\frac{1}{2}$. Si $\G$ est un graphe, on note $\G^{\wedge}$ le
647: graphe symétrisé. Clairement, les quantités
648: $$B_{\G}\Big(\exp(X/2), \exp(Y),\exp(X/2)\Big)$$ et
649: $$B_{\G^{\wedge}}\Big(\exp(X/2), \exp(Y),\exp(X/2)\Big)$$ sont égales. Par
650: contre on a $w_{\G^{\wedge}}=(-1)^n w_{\G}$. On en déduit que les
651: contributions des termes avec $n$ impair sont nulles.
652: \\
653:
654: La géométrie et la combinatoire des graphes intervenant dans la
655: formule (\ref{starSym}) est clairement identique à celle du
656: paragraphe \ref{cas lineaire}. On étend donc toutes les notions
657: rappelées au paragraphe \ref{cas lineaire}.
658: \\
659:
660: On note de la même façon que précédemment le symbole de l'opérateur
661: $B_{\G}$ lorsqu'on prend pour deux-vecteur de Poisson le crochet de
662: Lie de $\g_2$. On a donc
663: \begin{equation}\label{symbolesym}
664: \G(X,Y)=B_{\G}\Big(\exp(X/2), \exp(Y),\exp(X/2)\Big)\exp(-X-Y).
665: \end{equation}
666: On en déduit, comme dans l'équation (\ref{eqstar}), que le membre de
667: gauche dans (\ref{starSym}) est un produit de deux termes de type
668: exponentiel correspondant aux contributions des graphes simples de
669: type roue et aux contributions des graphes simples de type Lie. La
670: contribution dans (\ref{starSym}) des graphes admissibles dont les
671: composantes simples sont de type Lie calcule le terme de droite dans
672: (\ref{eqsym}) (c'est le théorème $5.1$ de \cite{Ka}). Par conséquent
673: la contribution des graphes simples de type Lie dans (\ref{starSym})
674: correspond à la formule de Campbell-Hausdorff pour les espaces
675: symétriques par (\ref{eqsym}).
676: \\
677:
678: En considérant les graphes géométriques associés, on en déduit comme
679: pour la formule (\ref{eqCBHgeometrique}) la proposition suivante :
680: \begin{prop}
681: La formule de Campbell-Hausdorff pour les espaces symétriques
682: s'écrit pour $X$ et $Y$ dans $\p$ :
683: $$Z_{sym}(X,Y)=X+Y+ \sum_{\G} w_{\Gamma}(\frac{1}{2}) \G(X,Y)$$
684: avec la somme portant sur les graphes simples géométriques de type
685: Lie avec trois points terrestres. En particulier on a bien
686: $Z_{sym}(X,Y) \in \p$.
687: \end{prop}
688:
689:
690: Pour les mêmes raisons que \cite{ADS} lemme $2.2$ et $2.3$ ou
691: \cite{AST} proposition $3.9$, les séries associées sont convergentes
692: pour $X$ et $Y$ dans $\p$ proches de $0$. On peut donc prendre $h=1$
693: et on obtient
694: \begin{equation}
695: \exp(X/2)\star\exp(Y)\star
696: \exp(X/2)=D_{sym}(X,Y)\exp\big(Z_{sym}(X,Y)\big).
697: \end{equation}
698: Notons $J_{\g}(X)$ le jacobien de l'application $\Exp$. On a la
699: formule classique
700: \begin{equation}
701: J_{\g}(X)=\det_\p\Big(\frac{\sinh \ad X}{\ad X}\Big).
702: \end{equation}
703: En utilisant la fonction de densité (\ref{eqdensite}) pour les
704: algèbres de Lie et l'associativité de l'étoile-produit, on peut
705: calculer sans difficulté la fonction de densité $D_{sym}(X,Y)$. On
706: obtient
707: \begin{equation}\label{eqdensitesym}
708: D_{sym}(X,Y)=\frac{j_{\g_2}(X/2)j_{\g_2}(Y)^{1/2}}{j_{\g_2}(Z_{sym}(X,Y))^{1/2}}
709: \end{equation}
710: où la fonction $j_{\g_2}$ (\ref{fonctionj}) est calculée pour le
711: crochet double. Or pour $X\in \p$ on a
712: $$j_{\g_2}(X)=\exp(-\tr_{\g}(\ad X)) J_{\g}(X)^2$$ avec membre de
713: droite calculé pour le crochet simple. On en déduit le lemme
714: \begin{lem}
715: On a la formule
716: \begin{equation}\label{eqdensitesymbis}
717: D_{sym}(X,Y)=\frac{J_{\g}(X/2)^2 J_{\g}(Y)}{J_{\g}(Z_{sym}(X,Y))}.
718: \end{equation}
719: \end{lem}
720: \subsection{Première Déformation}
721: On va effectuer maintenant une première déformation de la formule de
722: Camp\-bell-Hausdorff et de la fonction de densité. Elle consiste à
723: déformer les c\oe fficients $w_{\G}$ en déplaçant les points
724: terrestres dans le demi-plan de Poincaré (\cite{kont} $8.2.3$).
725: \\
726:
727: La première déformation correspond typiquement au graphe de la
728: figure [\ref{premiereDeformation}] où la position du point associé à
729: $\exp(Y)$ est repéré par la variable $t$. Cette variable désigne la
730: position du point dans $\ov{C_{1,2}}^+$, avec le point aérien sur la
731: droite d'équation $x=\frac{1}{2}$. Cela revient à considérer des
732: graphes simples de type Lie de $G_{n,3}$, où on a placé les points
733: de deuxième espèce en $(0,t,1)$.
734: \begin{figure}[h!]
735: \begin{center}
736: \includegraphics[width=10cm]{dessinSym.eps}
737: \caption{\footnotesize Première déformation typique
738: }\label{premiereDeformation}
739: \end{center}
740: \end{figure}
741:
742: On ajoute un indice $t$ pour signifier la dépendance en $t$. La
743: règle concernant les symétries dans les c\oe fficients $w_{\G}(t)$
744: joue de la même façon que précédemment. Seuls les termes avec un
745: nombre pair de sommets de première espèce vont intervenir.
746:
747: On effectue comme dans \cite{To} paragraphe $4.1$ le calcul de la
748: dérivée de la fonction
749: \begin{equation} Z_{sym,t}(X,Y)= X+Y+ \sum_{\G}
750: w_{\Gamma}(t) \G(X,Y). \end{equation} On ne doit considérer que les
751: concentrations d'un point aérien sur $\exp(Y)$, les autres
752: concentrations donnant soit directement $0$ (\cite{kont} lemme
753: $6.6$) soit s'annulant par compensation due à l'identité de Jacobi.
754: On se retrouve avec des c\oe fficients dérivés correspondant à des
755: graphes du genre de la figure [\ref{coefderive}].
756:
757: \begin{figure}[h!]
758: \begin{center}
759: \includegraphics[width=10cm]{coefderive.eps}
760: \caption{\footnotesize Contribution Type dans la
761: dérivée}\label{coefderive}
762: \end{center}
763: \end{figure}
764: Le c\oe fficient $w_{A,B}(t)$ correspondant à un graphe comme dans
765: la figure [\ref{coefderive}] contient un terme en $dt$. Pour les
766: mêmes raisons que celles expliquées dans \cite{To} proposition
767: $4.1$, le c\oe fficient $w_{A,B}(t)$ se factorise en un produit
768: $\widetilde{w_{A}}(t)w_{B}(t)$ où $w_B(t)$ se calcule à $t$ constant
769: et $\widetilde{w_A}(t)$ contient toute la contribution de la
770: différentielle en $t$. En regroupant les graphes qui dégénèrent de
771: la même manière, on fait apparaître un terme, au niveau des
772: symboles, du genre
773: \begin{equation}
774: \partial_{Y}B(X, Y)\cdot [Y, A(X,Y)]
775: \end{equation}
776: où $A, B$ désignent par abus les symboles des graphes $A, B$. Ces
777: graphes sont forcément des graphes simples admissibles de type Lie
778: (avec points de deuxième espèce placés en $(0,t,1)$). Remarquons par
779: ailleurs qu'il s'agit bien du crochet de Lie, car on a pris le
780: deux-vecteur de Poisson associé au crochet de Lie. Pour des raisons
781: de symétrie, on aura une contribution non triviale des c\oe
782: fficients lorsque le graphe $B$ a un nombre pair de sommets de
783: première espèce et le graphe $A$ un nombre impair de sommets de
784: première espèce (à cause de l'arête qui joint le point maintenant
785: aérien $t$ à la racine de $A$). La factorisation du c\oe fficient
786: permet alors de tout factoriser comme dans \cite{To} théorème $4.2$
787: :
788:
789:
790: \begin{equation}\sum_{A,B} w_{A,B}(t) [Y,A(X,Y)]\cdot
791: \partial_{Y}B(X,Y)=\sum_{A,B}w_{B}(t)\widetilde{w_{A}}(t)[Y,A(X,Y)]\cdot
792: \partial_{Y}B(X,Y)
793: \end{equation}
794: \begin{equation}
795: [Y, \sum_{A}\widetilde{w_{A}}(t)A(X,Y)]\cdot
796: \partial_{Y} \left(\sum_{B} w_{B}(t) B(X,Y)\right)=[Y,F_t]\cdot
797: \partial_{Y}Z_{sym,t}(X,Y). \end{equation}
798:
799:
800:
801:
802: La convention des signes de \cite{AMM} $I.2.1$, pour l'orientation
803: des strates donne le signe final. Par ailleurs l'étiquetage des
804: graphes n'a plus d'importance une fois qu'on a considéré le produit
805: du c\oe fficient et du symbole (car il y a compensation des signes).
806: On peut donc travailler directement avec les graphes géométriques.
807:
808: Pour la fonction de densité on procède comme dans \cite{To}
809: paragraphe $5.2$ et on obtient alors les mêmes équations que celles
810: que nous avons établies dans \cite{To} théorème $4.2$ et théorème
811: $5.2$. Par suite on peut énoncer le théorème suivant :
812:
813: \begin{theo}\label{equationdiff}Soit $(\g, \sigma)$ une paire
814: symétrique réelle. Il existe une série convergente en $X, Y$ dans un
815: voisinage de $0$ dans $\p$, on la note $F_{t}(X,Y)$. Elle est à
816: valeurs dans $\k$ et c'est une $1$-forme en $t$. Il existe une
817: déformation de la formule de Campbell-Hausdorff pour les espaces
818: symétriques, on la note $Z_{sym, t}(X,Y)$ et il existe enfin une
819: déformation de la fonction de densité, on la note $D_{sym, t}(X,Y)$
820: telles que l'on ait
821: \begin{equation}\label{eqdiffCBH}{ \mathrm d}Z_{sym,
822: t}(X,Y)=[Y,F_{t}(X,Y)]\cdot
823: \partial_{Y}Z_{sym, t}(X,Y)
824: \end{equation}
825: et
826: \begin{equation}\label{eqdiffdensite}{ \mathrm d}D_{sym, t}(X,Y)=[Y,F_{t}(X,Y)]\cdot \partial_{Y}D_{sym,
827: t}(X,Y)+ \tr_{\g}\Big(D_{Y}F_t \circ \ad (Y)\Big)D_{sym,
828: t}(X,Y).\end{equation}
829: \end{theo}
830: \noindent La $1$-forme $F_{t}(X,Y)$, correspond à
831: \begin{equation} \sum_{A}\widetilde{w_A}
832: (t)A(X,Y) \end{equation}
833: avec $A$ un graphe simple géométrique de
834: type Lie (où les points de deuxième espèce sont placés en $(0,
835: t,1)$) et $w_A$ le c\oe fficient calculé en ajoutant une arête du
836: point $t$ vers le sommet de $A$ comme dans la figure
837: [\ref{coefderive}]. La notation $D_Y F_t(X,Y)$ signifie que l'on a
838: pris la différentielle partielle de $F_t$ en $Y$.
839:
840: \subsection{Modification de la fonction de densité pour les espaces
841: \\ symétriques: cas résoluble et très symétrique} Les équations
842: obtenues dans le théorème précédent ne sont pas satisfaisantes du
843: point de vue des espaces symétriques. En effet au lieu de trouver
844: une $\tr_{\g}$ on aurait aimé trouver une $\tr_{\k}$ dans
845: (\ref{eqdiffdensite}).
846:
847: Comme $D_{Y}F_t$ et $\ad (Y)$ sont des endomorphismes de $\g$ qui
848: envoient $\k$ sur $\p$ et $\p$ sur $\k$, on en déduit que l'on a
849: \begin{equation}
850: \tr_{\p}\Big(\ad(Y)\circ D_{Y}F_t\Big)=\tr_{\k}\Big(D_{Y}F_t \circ
851: \ad (Y)\Big)
852: \end{equation}
853: puis \begin{equation}\label{tracesurp}\tr_{\g}\Big(D_{Y}F_t \circ
854: \ad (Y)\Big)=2\tr_{\p}\Big(\ad(Y)\circ
855: D_{Y}F_t\Big)-\tr_{\k}\Big([D_{Y}F_t, \ad (Y)]\Big)
856: \end{equation}
857: \begin{lem}[\cite{rou86} page $573$]\label{lemmerou}
858: Pour les espaces symétriques résolubles et les paires très
859: symétriques le commutateur $[D_{Y}F_t, \ad (Y)]$ est \`a trace
860: nulle sur $\k$.
861: \end{lem}
862: On en déduit alors, que l'on peut transformer facilement les traces
863: sur $\g$ en des traces sur $\p$ à condition que le terme
864: $\tr_{\k}([D_{Y}F_t, \ad Y])$ soit nul. C'est exactement l'argument
865: de Rouvière. En particulier on trouve que ce terme est nul dans le
866: cas des paires symétriques résolubles et des paires très symétriques
867: (\cite{rou86} paragraphe $5.3$). Une paire très symétrique est la
868: donnée d'une paire symétrique et d'un automorphisme commutant aux
869: $\ad X $ et qui envoie $\p$ sur $\k $ et $\k$ sur $\p$ (\cite{rou86}
870: paragraphe $5$). Pour les paires très symétriques on a facilement
871: (\cite{rou86} paragraphe $5.3$ page $573$)
872: \begin{equation}
873: \tr_{\k}\Big(D_{Y}F_t \circ \ad Y\Big)=\tr_{\p}\Big(D_{Y}F_t \circ
874: \ad Y\Big)=\tr_{\k}\Big(\ad Y \circ D_{Y}F_t\Big).
875: \end{equation}
876: Des exemples connus de paires très symétriques, sont les paires
877: $\g\times\g/\g$ et $\g_{\C}/\g_{\R}$. Dans le premier cas, on prend
878: $(X,Y) \mapsto (X, -Y)$ et dans le second cas on prend la
879: multiplication par $i$.
880: \\
881:
882: \noindent {\bf Conclusion: } Dans le cas des espaces symétriques il
883: est utile de prendre la racine carrée de la fonction de densité pour
884: obtenir une trace sur $\k$ (afin de compenser le c\oe fficient $2$
885: dans (\ref{tracesurp})).
886: \subsection{Calcul de la fonction de densité à l'infini}
887: On fait tendre $t$ vers l'infini, ce qui revient au même de fixer le
888: point aérien en $\frac{1}{2} +i$ et de faire tendre les deux points
889: terrestres vers $\frac{1}{2}$. On détermine facilement la valeur de
890: la fonction de densité à l'infini.
891: \\
892:
893: Avant cela introduisons une autre fonction de densité que l'on note
894: $E_{1/2}(X,Y)$, correspondant aux contributions des graphes
895: admissibles dont les composantes simples sont de type roue et dont
896: les points de deuxième espèce sont placés en $\frac{1}{2}$
897: (correspondant à $\exp(X)$) et en $\frac{1}{2} +i$ (correspondant à
898: $\exp(Y)$) (voir figure [\ref{densite2}]). Par ailleurs les points
899: de première espèce sont associés au deux-vecteur de Poisson associé
900: au crochet de Lie.
901: \begin{figure}[h!]
902: \begin{center}
903: \includegraphics[width=10cm]{densite2.eps}
904: \caption{\footnotesize Contribution Type dans la fonction de densité
905: $E_{1/2}(X,Y)$ }\label{densite2}
906: \end{center}
907: \end{figure}
908:
909:
910: De manière analogue on notera $\exp (Z_{1/2}(X,Y))$ la contribution
911: des graphes admissibles dont les composantes simples sont de type
912: Lie et dont les points de deuxième espèce sont placés en
913: $\frac{1}{2}$ et en $\frac{1}{2} +i$ (voir figure
914: [\ref{dessinsym2}]).
915: \begin{figure}[h!]
916: \begin{center}
917: \includegraphics[width=10cm]{dessinsym2.eps}
918: \caption{\footnotesize Contribution Type dans $Z_{1/2}$
919: }\label{dessinsym2}
920: \end{center}
921: \end{figure}
922:
923: \begin{prop}
924: Lorsque le point $t$ tend vers l'infini dans la direction imaginaire, on obtient
925: \begin{equation}\label{eqdensiteinfini}
926: D_{sym, \infty}(X,Y)=E_{1/2}(X,Y)\frac{J_{\g}^2(X/2)}{J_{\g}(X)}
927: \end{equation}
928: \end{prop}
929: \noindent {\bf Preuve: } En approchant les deux points terrestres
930: vers $\frac{1}{2}$, on doit tenir compte de toutes les
931: concentrations de points aériens sur ces points terrestres. Cela
932: ajoute un terme correspondant à la fonction de densité pour les
933: algèbres de Lie (\ref{eqdensite}), où l'on place $\exp(X/2)$ et
934: $\exp(X/2)$ aux points terrestres, ce qui donne
935: $$\frac{j_{\g_2}(X/2)}{j_{\g_2}(X)^{1/2}}=\frac{J_{\g}^2(X/2)}{J_{\g}(X)}. \Box $$
936:
937: \begin{figure}[h!]
938: \begin{center}
939: \includegraphics[width=6cm]{paupiereMoitie.eps}
940: \caption{\footnotesize Le point de déformation reste sur l'axe
941: $x=\frac{1}{2}$ }\label{paupiereMoitie}
942: \end{center}
943: \end{figure}
944:
945: \subsection{Interprétation dans l'\oe il de Kontsevich}
946: Lorsqu'on a rapproché nos deux points terrestres en $\frac{1}{2}$,
947: on retrouve des graphes admissibles où les points de seconde espèce
948: sont placés en $(\frac{1}{2} +i,\frac{1}{2})$. C'est donc un point
949: dans $\ov{C_{2, 0}}$ positionné sur la paupière de l'\oe il et sur
950: l'axe de symétrie voir figure ([\ref{paupiereMoitie}]). Cela
951: explique notre choix de notation : on est à la moitié sur la
952: paupière.
953:
954:
955:
956:
957: \subsection{Application à la convolution des distributions
958: $K$-invariantes sur les espaces symétriques résolubles ou très
959: symétriques}
960:
961: En reprenant d'une part les arguments énoncés dans \cite{AST}
962: paragraphe $4$ et \cite{KV} paragraphe $2$ sur la convolution des
963: germes de distributions invariantes et d'autre part les définitions
964: de \cite{rou86} paragraphe $3$ pour la convolution sur $\p$, on
965: déduit le théorème suivant (pour simplifier les notations on a noté
966: $J$ pour $J_{\g}$) :
967:
968: \begin{theo}\label{theoconv}
969: Soit $(\g, \sigma)$ une paire symétrique résoluble ou très
970: symétrique. Soient $u(x)$ et $v(y)$ des germes de distributions $\ad
971: \k$-invariantes en $0$ dans $\p$ à supports compatibles. On a alors
972: la formule suivante \begin{eqnarray*}\left\langle u(x)v(y),
973: \frac{J^{1/2}(x)J^{1/2}(y)}{J^{1/2}(z_{sym}(x,y))}
974: \Phi(z_{sym}(x,y))\right\rangle = \left\langle u(x)v(y),
975: E_{1/2}^{1/2}(x,y)\Phi(z_{1/2}(x,y))\right\rangle
976: \end{eqnarray*}
977: \noindent pour $\Phi$ une fonction test à support dans un voisinage
978: de $0$ dans $\p$.
979: \end{theo}
980: \noindent {\bf Preuve:} Les problèmes de convergence et la
981: définition de supports compatibles sont étudiés dans \cite{rou86}
982: paragraphe $3.3$. La méthode est par ailleurs strictement identique.
983: On se contente donc de la partie formelle.
984:
985: On a introduit une déformation de la formule de Campbell-Hausdorff
986: et de la fonction de densité. On a donc une dépendance en $t$
987: \begin{equation}
988: \Psi(t)=\left\langle u(x)v(y), D_{sym,
989: t}^{1/2}(x,y)\Phi(z_{sym,t}(x,y)) \right\rangle .
990: \end{equation}
991: On calcule facilement la dérivée en $t$, compte tenu des équations
992: (\ref{eqdiffCBH}) et (\ref{eqdiffdensite}) du théorème
993: \ref{equationdiff}. L'invariance du germe $v(y)$ signifie que l'on a
994: \begin{equation}
995: v(y)[y,F_{t}(x,y)]\cdot \partial_y=-\tr_{\p}\Big( \ad(y)\circ
996: D_{Y}F_t\Big)v(y),
997: \end{equation}
998:
999: On obtient alors
1000: \begin{equation}
1001: \Psi'(t)=\left\langle u(x)v(y), m_t(x,y)D_{sym,
1002: t}^{1/2}(x,y)\Phi(z_{sym,t}(x,y)) \right\rangle
1003: \end{equation}
1004: avec $m_t(x,y)= -\frac{1}{2}\tr_{\k}([D_{Y}F_t, \ad y])$. En effet
1005: l'invariance fait disparaître le terme en $\tr_{\p}$ dans
1006: (\ref{tracesurp}) (n'oublions pas que l'on a pris la racine carrée).
1007: Lorsque $(\g,\sigma)$ est une paire très symétrique ou une paire
1008: résoluble, la trace sur $\k$ du crochet est nulle par le lemme
1009: \ref{lemmerou}. On en déduit que la fonction $\Psi$ est constante.
1010:
1011: Il vient $\Psi(0)=\Psi(\infty)$, puis en utilisant
1012: (\ref{eqdensitesymbis}) et (\ref{eqdensiteinfini})
1013: \begin{eqnarray}
1014: \left\langle u(x)v(y), \frac{J(x/2)
1015: J(y)^{1/2}}{J(z_{sym}(x,y))^{1/2}}\Phi(z_{sym}(x,y))\right\rangle = \nonumber\\
1016: \left\langle u(x)v(y),
1017: E_{1/2}^{1/2}(x,y)\frac{J(x/2)}{J(x)^{1/2}}\Phi(z_{1/2}(x,y))
1018: \right\rangle .
1019: \end{eqnarray}
1020: En changeant un peu l'ordre des termes et en simplifiant par
1021: $J(x/2)$ (la fonction $J$ est invariante par $K$ et l'énoncé vaut
1022: pour tous germes de distributions invariantes) on trouve
1023: \begin{eqnarray}
1024: \left\langle u(x)v(y),
1025: \frac{J(x)^{1/2}J(y)^{1/2}}{J(z_{sym}(x,y))^{1/2}}\Phi(z_{sym}(x,y))
1026: \right\rangle= \nonumber\\ \left\langle u(x)v(y),
1027: E_{1/2}^{1/2}(x,y)\Phi(z_{1/2}(x,y)) \right\rangle . \hfill
1028: \Box\end{eqnarray}
1029:
1030: \noindent {\bf Conclusion:} dans les cas de paires symétriques
1031: étudiées, on a trouvé une déformation adéquate vis à vis de la
1032: convolution des germes de distributions invariantes sur les espaces
1033: symétriques.
1034:
1035: \subsection{Deuxième déformation}
1036:
1037: On utilise maintenant la deuxième déformation, qui consiste à
1038: déplacer dans $\ov{C_{2,0}}$ notre point de la paupière vers l'iris
1039: de l'\oe il tout en restant sur l'axe de symétrie vertical de l'\oe
1040: il. En d'autres termes, on fait se rapprocher les deux points de
1041: seconde espèce sur l'axe $x=\frac{1}{2}$.
1042: \\
1043:
1044: C'est la déformation que l'on a utilisé dans \cite{To}. La situation
1045: est alors stricto sensu identique. Les équations que l'on obtient
1046: sont celles de \cite{To} théorème $4.2$ et théorème $5.2$. Compte
1047: tenu des symétries pour les c\oe fficients et le fait que $X$ et $Y$
1048: sont dans $\p$, il est certain que nos champs adjoints sont dans
1049: $\k$. Comme on restreint notre étude au cas des espaces symétriques
1050: résolubles ou très symétriques, on peut grâce au lemme
1051: \ref{lemmerou}, transformer dans l'équation différentielle
1052: (\ref{eqdiffdensite}) la trace sur $\g$ en une trace sur $\k$ (ou
1053: sur $\p$) à condition de prendre la racine carrée de la fonction de
1054: densité.
1055:
1056: Sur l'iris de l'\oe il cette fonction de densité vaut $1$ d'après
1057: \cite{sh} et la déformation de CBH vérifie $Z_{1/2, iris}(X,Y)=X+Y$.
1058: On a donc établi le théorème suivant (on note $J$ pour $J_{\g}$):
1059:
1060: \begin{theo}\label{theoconvfinal}
1061: Soit $(\g, \sigma)$ une paire symétrique résoluble ou très
1062: symétrique. Soient $u(x)$ et $v(y)$ des germes de distributions $\ad
1063: \k$-invariantes en $0$ dans $\p$ à supports compatibles. Pour $\Phi$
1064: une fonction test à support dans un voisinage de $0$ dans $\p$, on a
1065: alors la formule suivante
1066: $$\left\langle u(x)v(y),
1067: \frac{J^{1/2}(x)J^{1/2}(y)}{J^{1/2}(z_{sym}(x,y))}
1068: \Phi(z_{sym}(x,y))dx dy= \int u(x)v(y)\Phi(x+y) \right\rangle . $$
1069: \end{theo}
1070:
1071: \noindent {\bf Remarques finales:} \begin{enumerate}\item Quand
1072: $(\g, \sigma)$ est une paire symétrique résoluble, le théorème
1073: ci-dessus est démontré par Rouvière \cite{rou86} théorème $3.6$ en
1074: utilisant une déformation homogène de la formule de
1075: Campbell-Hausdorff comme dans \cite{KV}.
1076: \item Les déformations utilisées dans cet article sont régulières
1077: mais leur jonction n'est pas différentiable. Cela explique notre
1078: choix d'exposition en deux parties et nous permet heureusement de
1079: retrouver les résultats de \cite{rou86}.
1080:
1081: \item Lorsque $u(x)$ et $v(y)$ correspondent à des distributions de
1082: support $0$, on retrouve que la symétrisation modifiée par la racine
1083: carrée du jacobien, constitue un isomorphisme d'algèbre de
1084: $S[\p]^{\k}$ (les symboles $K$-invariants) sur $(U(\g)/U(\g)\cdot
1085: \k)^{\k}$, l'algèbre des opérateurs différentiels invariants sur
1086: l'espace symétrique $G/K$. C'est l'isomorphisme de Rouvière dans le
1087: cas des espaces symétriques résolubles (voir \cite{hab} pour une
1088: synthèse sur ce problème).
1089:
1090: \item On sait qu'en général on ne peut pas obtenir un tel transport des
1091: distributions invariantes en utilisant une modification aussi simple
1092: de l'application exponentielle. On peut s'en convaincre par exemple
1093: en examinant ce qu'est l'homomorphisme d'Harish-Chandra du cas
1094: semi-simple (non très symétrique). Pour pallier cette difficulté
1095: Rouvière a introduit une fonction auxiliaire dans \cite{rou90},
1096: \cite{rou91}, \cite{rou94} pour les fibrés en droites sur $G/K$,
1097: notée $e_{\lambda}(x,y)$. Il semble opportun de relier ces résultats
1098: avec les méthodes décrites dans cet article. Ce programme de
1099: recherche est annoncé dans \cite{hab}.
1100:
1101: \end{enumerate}
1102:
1103: %
1104: %------------Bibliographie-------------------------
1105: %
1106: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1107: %%%%%%%%%%%%
1108: \begin{thebibliography}{Bo-dS}
1109: \frenchspacing
1110: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1111: %%%%%%%%%%%%
1112:
1113: \bibitem[ADS]{ADS} M. Andler, A. Dvorsky and S. Sahi, Kontsevich
1114: quantization and invariant distributions on Lie groups. Ann. Sci. de
1115: l'Ecole Norm. Sup. \textbf{35} (2002), no. 3, 371--390.
1116:
1117: \bibitem[AST]{AST} M. Andler, S. Sahi and C. Torossian, \emph{Convolution of invariant
1118: distributions on Lie groups}, e-print, arXiv: math. QA/0104100.
1119: \bibitem[AMM]{AMM} D. Arnal, D. Manchon, M. Masmoudi, Choix des signes dans
1120: la formalit\'e de Kontsevich. Pacific J. Math. vol. 203 No 1, 23-66
1121: (2002).
1122: \bibitem[Du]{Du} M. Duflo, Opérateurs différentiels bi-invariants
1123: sur un groupe de Lie. Ann. Sci. de l'Ecole Norm. Sup. \textbf{10}
1124: (1977), 107--144.
1125:
1126: \bibitem[Ka]{Ka} V. Kathotia, Kontsevich universal formula for
1127: quantization and the Campbell-Baker-Hausdorff formula. Internat. J.
1128: Math. \textbf{11} (2000), no. 4, 523--551.
1129:
1130: \bibitem[KV]{KV} M. Kashiwara and M. Vergne, The Campbell-Hausdorff
1131: formula and invariant hyperfunctions. Inventiones Math. \textbf{47}
1132: (1978), 249--272.
1133:
1134: \bibitem[Ko]{kont} M. Kontsevich,
1135: \emph{Deformation quantization of Poisson manifolds I}, e-print,
1136: math. QA/9709040.
1137:
1138: \bibitem[Lo]{loos} Loos O., {\it Symmetric Spaces I-II}. Benjamin, New-York, 1969.
1139: \bibitem[Mo]{Mo} T. Mochizuki, On the morphism of Duflo-Kirillov type.
1140: J. Geom. Phys., \textbf{41} (2002), 73--113.
1141: \bibitem[Rou1]{rou86} F. Rouvière, Espaces symétriques et méthodes de Kashiwara-Vergne.
1142: Ann. Sci. de l'Ecole Norm. Sup. \textbf{19} (1986), 553--581.
1143:
1144: \bibitem[Rou2]{rou90} F. Rouvière, Invariant analysis and contractions
1145: of symmetric spaces I. Compositio Math. \textbf{73} (1990),
1146: 241--270.
1147: \bibitem[Rou3]{rou91} F. Rouvière, Invariant analysis and contractions
1148: of symmetric spaces II. Compositio Math. \textbf{80} (1991),
1149: 111--136.
1150: \bibitem[Rou4]{rou94} F. Rouvière, Fibrés en droites sur un espace symétrique
1151: et analyse invariante. J. Funct. Anal. \textbf{124} (1994), 263--291.
1152: \bibitem[Sh]{sh} B. Shoikhet, Vanishing of the Kontsevich integrals of the wheels.
1153: EuroConférence Moshé Flato 2000, Part II (Dijon). Lett. Math. Phys.
1154: \textbf{56} (2001), no. 2, 141--149.
1155: \bibitem[To1]{To} C. Torossian, \textit{Sur la formule combinatoire de
1156: Kashiwara-Vergne}, Journal of Lie Theory, \textbf{12} (no. 2)
1157: (2002), 597--616.
1158: \bibitem[To2]{hab} C. Torossian, {\it Trois perspectives autour des opérateurs
1159: différentiels invariants}, Thèse d'Habilitation à diriger les
1160: recherches de l'Université de Paris VII, décembre 2001,
1161: http://www.dma.ens.fr/$\sim$torossia/publication/pubindex.html.
1162:
1163: \bibitem[Ve]{Ve} M. Vergne, Le centre de l'algèbre enveloppante et la
1164: formule de Campbell-Hausdorff, C. R. Acad. Sci. Paris, \textbf{329}
1165: (1999), Série I, 767--772.
1166: \end{thebibliography}
1167:
1168:
1169:
1170:
1171:
1172:
1173: \vskip 12pt
1174: \parindent=0pc
1175: C. Torossian\\
1176: UMR 8553 du CNRS, DMA, École Normale Supérieure\\
1177: 45 rue d'Ulm 75230 Paris cedex 05
1178: \end{document}
1179: