1: \documentclass[11pt]{amsproc}
2: \usepackage{diagrams}
3: \setlength{\oddsidemargin}{0.13in}
4: \setlength{\evensidemargin}{0.13in}
5: \setlength{\topmargin}{-0.5in}
6: \setlength{\textwidth}{5.86in}
7: \setlength{\textheight}{9in}
8: \setlength{\footskip}{0.51in}
9: \def\abstractname{R\'esum\'e}
10: \def\bibname{Bibliographie}
11: \def\refname{BIBLIOGRAPHIE}
12: \def\thmname{THEOREME}
13: \def\propname{PROPOSITION}
14: \def\lemmaname{LEMME}
15: \def\corname{COROLLAIRE}
16: \def\exname{Exemple}
17: \def\remname{Remarque}
18:
19: \def\d{\partial}
20: \def\dint{\displaystyle \int }
21: \def\dsum{\mathop{\displaystyle \sum }}
22: \def\stackunder#1#2{\mathrel{\mathop{#2}\limits_{#1}}}
23:
24: \font\bb=msbm10
25: \def\G{\mathcal G}
26: \def\R{\hbox{\bb R}}
27:
28: \def\rarrow{\mathop{\hbox to 4cm{\rightarrowfill}}}
29: \def\larrow{\mathop{\hbox to 4cm{\leftarrowfill}}}
30: \newcommand\object[1] {\makebox(0,0)[c]{$#1$}}
31: \def\QED {\vrule height 1.2ex width 1.2ex}{\vskip 10pt plus100pt}
32:
33: \title{\sc Une formule du type Baker-Campbell-Hausdorff pour les
34: groupo{\"\i}des de Lie}
35: \author{\sc Birant Ramazan\thanks{Work partially supported by the Grant
36: 104/1999 of the Romanian Academy}}
37:
38: \pagestyle{plain}
39: \begin{document}
40:
41: \newtheorem{thm}{\thmname}[section]
42: \newtheorem{prop}[thm]{\propname}
43: \newtheorem{lem}[thm]{\lemmaname}
44: \newtheorem{defn}[thm]{\defnname}
45: \newtheorem{cor}[thm]{\corname}
46: \newtheorem{ex}[thm]{\exname}
47: \newtheorem{rem}[thm]{\remname}
48:
49: \begin{abstract}
50: On d\'emontre dans le contexte d'un groupo{\"\i}de de Lie $G$ un analogue
51: de la formule de Baker-Campbell-Hausdorff. Comme application on calcule les
52: fonctions de structure de l'alg\'ebro{\"\i}de de Lie associ\'e \`a $G$.\\
53: 2000 Mathematics Subject Classification : Primary 22A22; Secondary 58H05,
54: 20L05
55: \end{abstract}
56:
57: \maketitle
58:
59: \section{INTRODUCTION}
60: Cet article est consacr\'e a l' \'etude locale d'un groupo{\"\i}de de Lie $G$
61: dans des cartes convenablement choisies. En particulier on obtient
62: dans le th\'eor\`eme \ref{Taylorgroupoide} le developpement de la
63: multiplication ce qui constitue un analogue de la formule de
64: Baker-Campbell-Hausdorff du cas des groupes de Lie (cf. \cite{kirillov}
65: par exemple). Ce r\'esultat a \'et\'e pr\'esent\'e bri\`evement dans
66: \cite{ramazan1}, \cite{ramazan2} ou il est utilis\'e pour demontrer que le
67: groupo{\"\i}de tangent $\tilde{G}$ associ\'e \`a un groupo{\"\i]de de Lie $G$
68: est lui aussi un groupo{\"\i}de de Lie. Il intervient aussi de mani\`ere
69: essentielle dans le calcul du commutateur dans l'alg\`ebre de convolution du
70: groupo{\"\i}de tangent $\tilde{G}$, ce qui permet de quantifier la structure
71: de Poisson canonique du dual de l'alg\'ebro{\"\i}de de Lie associ\'e \`a $G$.
72:
73: L'article est structur\'e comme il suit. Apr\`es avoir fix\'es la terminologie
74: et les notations, on rappelle pour le benefice du lecteur les diff\'erentes
75: constructions de l'alg\'ebro{\"\i}de de Lie ${\mathcal G}$ associ\'e \`a un
76: groupo{\"\i}de de Lie $G$. Dans la suite on explicite la structure locale de
77: $G$ dans une carte et on montre comment on associe \`a une carte de $G$
78: choisie convenablement, une carte de son alg\'ebro{\"\i}de de Lie ${\mathcal G}$.
79: On \'ecrit la multiplication et l'inversion de $G$ dans ces cartes et on les
80: developpe en s\`eries de Taylor pour obtenir l'analogue de la formule de
81: Baker-Campbell-Hausdorff. Enfin, comme application, on calcule les fonctions
82: de structure de ${\mathcal G}$.
83:
84: Rappelons bri\`evement les principaux faits sur les groupo{\"\i}des de Lie
85: et les alg\'ebro{\"\i}des de Lie associ\'es. Pour une pr\'esentation
86: detaill\'ee de la th\'eorie des groupo{\"\i}des de Lie on pourra se reporter
87: aux ouvrages de A.~Weinstein, P.~Dazord et A.~Coste \cite{coste}, o\`u
88: K.~Mackenzie \cite{mackenzie}. Les notations et les d\'efinitions de la
89: th\'eorie des groupo{\"\i}des seront celles donn\'ees dans \cite{renault1} par
90: J.~Renault. Par d\'efinition un groupo{\"\i}de est un ensemble $G$ muni d'un
91: produit $G\times G\supset G^{(2)}\ni (g_1,g_2)\longmapsto g_1g_2\in G$
92: d\'efini sur un sous-ensemble $G^{(2)}$ de $G\times G$, et une application
93: inverse $G\ni g\longmapsto g^{-1}\in G$ v\'erifiant:
94:
95: \smallskip
96:
97: 1. $(g^{-1})^{-1}=g$
98:
99: \medskip
100:
101: 2. Si $(g_1,g_2),(g_2,g_3)\in G^{(2)}$ alors $(g_1g_2,g_3), (g_1,g_2g_3)\in
102: G^{(2)}$ et $(g_1g_2)g_3=g_1(g_2g_3)$
103:
104: \medskip
105:
106: 3. $(g^{-1},g)\in G^{(2)}$. Si $(g_1,g_2)\in G^{(2)}$ alors $g_1^{-1}(g_1g_2)=
107: g_2$
108:
109: \medskip
110:
111: 4. $(g,g^{-1})\in G^{(2)}$. Si $(g_2,g_1)\in G^{(2)}$ alors $(g_2g_1)g_1^{-1}=
112: g_2$
113:
114: \medskip
115:
116: \noindent $G^{(2)}$ s'appelle l'ensemble des paires composables et pour
117: $g\in G$ on appelle $s(g)=g^{-1}g$ le domaine de $g$ et $r(g)=gg^{-1}$ l'image
118: de $g$. La composition $g_1g_2$ est bien d\'efinie si et seulement si
119: $r(g_2)=s(g_1)$. L'ensemble $s(G)=r(G)$, not\'e $G^{(0)}$, sera identifi\'e
120: \`a une partie de $G$ et appel\'e espace des unit\'es. Pour $x\in G^{(0)}$,
121: on notera $G^x=r^{-1}(x)$, $G_x=s^{-1}(x)$.
122:
123: Un groupo{\"\i}de de Lie est un groupo{\"\i}de $G$ qui a une structure
124: de vari\'et\'e diff\'erentiable compatible avec la structure alg\'ebrique :
125: \begin{enumerate}
126: \item $G^{(0)}$ est une sous-vari\'et\'e de $G$
127: \item $r,s:G\rightarrow G^{(0)}$ sont des submersions
128: \item la multiplication : $G^{(2)}\rightarrow G$ est diff\'erentiable
129: \end{enumerate}
130:
131: Comme consequences de la d\'efinition il faut noter que l'application
132: $i:G\longrightarrow G$, $i(\gamma )=\gamma ^{-1}$ est un diff\'eomorphisme
133: (voir \cite{mackenzie}, p.85), et aussi le fait qu'en notant
134: $m=\mbox{dim}\, G$ et $n=\mbox{dim}\, G^{(0)}$, pour tout $x\in G^{(0)}$,
135: $G^x$ et $G_x$ sont des sous-vari\'et\'es de $G$ de dimension $m-n$.
136:
137: On rappelle maintenant les differentes constructions de l'alg\'ebro{\"\i}de de
138: Lie associ\'e \`a un groupo{\"\i}de de Lie $G$ de base $G^{(0)}$. Les
139: alg\'ebro{\"\i}des de Lie ont \'et\'e introduits par J.~Pradines
140: \cite{pradines2}, et g\'en\'eralisent la notion d'alg\`ebre de Lie dans le
141: cadre de la th\'eorie des groupo{\"\i}des de Lie.
142:
143: Pour fixer les notations, pour toute application diff\'erentiable $f$ entre
144: les vari\'et\'es $M$ et $N$, $Tf$ designe l'application tangente et $T_xf$
145: l'application tangente en $x$ entre les espaces tangents $T_xM$ et $T_{f(x)}N$.
146: Aussi pour $E$ fibr\'e vectoriel de classe $C^{\infty}$ sur la vari\'et\'e $M$
147: on notera par $C^{\infty}(M,E)$ l'ensemble des sections de classe $C^{\infty}$
148: de $E$ sur $M$.
149:
150: Par d\'efinition un alg\'ebro{\"\i}de de Lie sur une vari\'et\'e $M$ est un
151: triplet constitu\'e d'un fibr\'e vectoriel $E$ de base $M$ et classe $C^{
152: \infty }$, une structure de {\R}-alg\`ebre de Lie sur l'espace des sections
153: $C^{\infty}(M,E)$, dont on note $\left[ \cdot ,\cdot \right] $ le crochet et
154: un morphisme $\rho :E\rightarrow TM$ de fibr\'es vectoriels $C^{\infty}$,
155: appel\'e ancre tels que:
156:
157: (i) L'application induite entre les espaces des sections $\overline{\rho }:
158: C^{\infty}
159: (M,E) \rightarrow C^{\infty} (M,TM)$, $\overline{\rho}(\xi )(x)=\rho (\xi
160: (x))$, $\xi \in C^{\infty}(M,E)$,\ $x\in M$, est un morphisme d'alg\`ebres
161: de Lie : $\left[ \overline \rho (\xi ),\overline \rho (\eta )\right] =
162: \overline \rho \left( \left[ \xi , \eta \right] \right)$
163:
164: (ii) Pour toute fonction $f\in C^{\infty }(M)$ et pour tout couple
165: $(\xi ,\eta )$ de sections $C^{\infty }$ de $E$ ,
166:
167: \centerline{$\left[ \xi,f\eta \right] = f\left[ \xi ,\eta \right] +
168: \overline{\rho }(\xi )(f)\eta $}
169:
170: \medskip
171:
172: On fixe $\left\{e_1,e_2,...,e_p\right\}$ un rep\`ere local sur $U\subset M$
173: pour $E$ et $(q_1,...,q_n,
174: \lambda _1,...,\lambda _p)$ coordonn\'ees locales de $E$ avec les $q_i$
175: coordonn\'ees locales pour la base $M$ et les $\lambda_j$ coordonn\'ees dans
176: les fibres associ\'ees au rep\`ere $\left\{ e_1,e_2,...,e_p\right\}$.
177: Alors, localement, le fait que $E$ est un alg\'ebro{\"\i}de de Lie implique
178: l'existence des fonctions de structure $c_{ijk}, a_{ij}\in C^{\infty}(U)$
179: telles que $\left[ e_i,e_j\right] =\stackunder{k}{\dsum}c_{ijk}e_k$ et
180: $\overline{\rho}(e_i)=\stackunder{j}{\dsum}a_{ij}\dfrac{\d}{\d q_j}$.
181:
182: Remarquons tout d'abord que pour tout $g\in G$, $R_g:G_{r(g)}\rightarrow
183: G_{s(g)}$, $R_g(h)=hg$ et $L_g:G^{s(g)}\rightarrow G^{r(g)}$, $L_g(h)=gh$ sont
184: des diff\'eomorphismes et que pour tout $g\in G$ on a $T_gG^{r(g)}=KerT_gr$ et
185: $T_gG_{s(g)}=KerT_gs$. Cela permet de d\'efinir les champs invariants \`a
186: gauche sur $G$ par $L(G)=\left\{ \xi \in C^{\infty }(G,TG)\mid \xi \in KerTr,
187: TL_g\circ \xi =\xi \circ L_g\right\}$ et les champs invariants \`a droite par
188: $R(G)=\left\{ \xi \in C^{\infty }(G,TG)\mid \xi \in KerTs, TR_g\circ \xi =\xi
189: \circ R_g\right\}$. Il est facile a voir que $L(G)$ et $R(G)$ sont des
190: alg\`ebres de Lie.
191:
192: Le fait que $G^{(0)}$ est une sous-vari\'et\'e de $G$ permet de considerer
193: $T_xG^{(0)}$ sous-espace de $T_xG$, pour tout $x\in G^{(0)}$.
194: On note ${\mathcal L}$, ${\mathcal R}$, respectivement ${\mathcal N}$, les fibr\'es
195: vectoriels sur $G^{(0)}$ dont les fibres au dessus de $u\in G^{(0)}$ sont
196: ${\mathcal L}_u=KerT_ur$, ${\mathcal R}_u=Ker T_us$, respectivement
197: ${\mathcal N}_u=T_uG/T_uG^{(0)}$.
198:
199: \begin{lem}\label{217}
200: On a les isomorphismes des espaces vectoriels $L(G)\simeq C^{\infty}(G^{(0)},
201: {\mathcal L})$ et $R(G)\simeq C^{\infty}(G^{(0)},{\mathcal R})$.
202: \end{lem}
203:
204: {\it Preuve.} L'application $\Phi :L(G)\rightarrow C^{\infty }(G^{(0)},
205: {\mathcal L}),\Phi (\xi )=
206: \xi _{\mid _{G^{(0)}}}$ est bien d\'efinie.
207: Montrons que $\Phi $ est injective. Soit $\xi _{\mid _{G^{(0)}}}=\eta _{\mid
208: _{G^{(0)}}}$. Alors pour $g\in G$ on a $\xi (g)=\xi (gu)=T_uL_g\xi (u)=
209: T_uL_g\eta (u)=\eta (gu)=\eta (g)$, o\`u $u=s(g)$.
210:
211: Montrons que $\Phi $ est surjective. Soit $\eta \in C^{\infty }(G^{(0)},{\mathcal
212: L})$. On d\'efinit $\xi :G\longrightarrow TG,$ $\xi(g)=T_uL_g\eta (u)$, pour
213: $u=s(g)$. On voit que $L_u=Id_{G^u}$, d'o\`u $\xi (u)=\eta (u)$ pour $u\in
214: G^{(0)}$, donc
215: $\eta =\xi \mid _{G^{(0)}}$. Il reste \`a montrer que $\xi \in L(G)$. On a
216: $T_{g^{\prime }}L_g\xi (g^{\prime })=T_{g^{\prime }}L_g\left[ T_uL_{g'}\xi (u)
217: \right] =T_uL_{gg^{\prime }}\xi (u)=\xi (gg^{\prime })$,
218: o\`u $u=s(g^{\prime })$. On a utilis\'e le fait que $T_{g^{\prime }}L_g\circ
219: T_uL_{g^{\prime }}=T_u(L_g\circ L_{g^{\prime }})=T_uL_{gg^{\prime }}$.
220: Comme $\Phi $ est \'evidemment lin\'eaire on a d\'emontr\'e le premier
221: isomorphisme. La d\'emonstration du second isomorphisme est analogue.
222: \QED
223:
224: \medskip
225:
226: Les fibr\'es ${\mathcal L}$, avec le crochet donn\'e par $\left[ \xi ,\eta
227: \right]=\Phi (\left[ \Phi ^{-1}(\xi ),\Phi ^{-1}(\eta )\right] )$ et l'ancre
228: $\rho :{\mathcal L} \rightarrow TG^{(0)}$, $\rho _u=T_us$, respectivement
229: ${\mathcal R}$, avec le crochet d\'efini de mani\`ere analogue \`a ${\mathcal
230: L}$ et l'ancre $\mu :{\mathcal R}\rightarrow TG^{(0)}$, $\mu _u=T_ur$, sont
231: deux alg\'ebro{\"\i}des de Lie antiisomorphes par l'application tangente $Ti$
232: de l'inversion $i$ de $G$.
233:
234: L'application $I_x-T_xr:T_xG\rightarrow Ker T_xr$, $X\mapsto X-T_xrX$, est
235: bien d\'efinie et surjective. Son noyau est $T_xG^{(0)}$ et par factorisation
236: on obtient l'isomorphisme d'espaces vectoriels ${\mathcal N}_x\simeq Ker T_xr$.
237: De la m\^eme mani\`ere, en consid\`erant $I_x-T_xs:T_xG\rightarrow Ker T_xs$,
238: $X\mapsto X-T_xsX$ on d\'emontre l'isomorphisme ${\mathcal N}_x\simeq Ker
239: T_xs$.
240:
241: Ces deux isomorphismes d\'efinissent sur ${\mathcal N}$ deux structures
242: d'alg\'ebro{\"\i}de de Lie antiisomorphes. Le crochet de Lie sur
243: $C^{\infty}(G^{(0)},{\mathcal N})$ est d\'efini en utilisant
244: l'isomorphisme $L(G)\ni \xi \mapsto \left[ \xi _{G^{(0)}}\right] \in
245: C^{\infty}(G^{(0)},{\mathcal N})$, o\`u $\left[ X\right]$ est l'image de
246: $X\in T_xG$ dans $T_xG/T_xG^{(0)}$. L'ancre sur ${\mathcal N}$ est
247: $\rho :{\mathcal N}\rightarrow TG^{(0)}$, $\rho _x=T_xr-T_xs$.
248:
249: Dans la suite on appellera alg\'ebro{\"\i}de de Lie du groupo{\"\i}de
250: de Lie $G$ le fibr\'e ${\mathcal L}$ avec la structure d'alg\'ebro{\"\i}de
251: d\'efinie pr\'ec\'edemment et pour mettre en \'evidence qu'il est
252: l'alg\'ebro{\"\i}de associ\'e au groupo{\"\i}de $G$ il sera
253: not\'e ${\mathcal G}$.
254:
255: \section{La structure locale d'un groupo{\"\i}de de Lie}
256: \subsection{Les cartes}
257:
258: Soit $G$ un groupo{\"\i}de de Lie et ${\mathcal G}$ son alg\'ebro{\"\i}de de Lie.
259: On va expliciter dans cette section la structure de $G$ dans une carte
260: convenablement choisie au voisinage d'un point $x_0\in G^{(0)}\subset G$.
261: Des cartes de ce genre ont \'et\'e utilis\'ees aussi dans \cite{nistor}.
262:
263: Comme $r$ est une submersion au point $x_0$ appartenant \`a la
264: sous-vari\'et\'e $G^{(0)}$ de $G$, il existe $U$ voisinage ouvert de 0 dans
265: $\R^n$, $V$ voisinage ouvert de 0 dans $\R^m$ et les cartes $\psi :U\times
266: V\rightarrow G$, $\varphi :U\rightarrow G^{(0)}$ v\'erifiant:
267:
268: \begin{equation}\label{psibon}
269: \begin{array}{l}
270: 1.\ \psi (0,0)=x_0\\
271: 2.\ r(\psi (u,v))=\varphi (u)\\
272: 3.\ \psi (U\times \lbrace 0\rbrace )=\psi (U\times V)\bigcap G^{(0)}
273: \end{array}
274: \end{equation}
275:
276: \noindent La deuxi\`eme condition revient au diagramme commutatif :
277:
278: \bigskip
279:
280: \centerline{
281: \setlength \unitlength {0.25em}
282: \begin{picture}(150,30)(-75,-15)
283: \put (-40, -6){\vector(0,1){12}}
284: \put (40, -6){\vector(0,1){12}}
285: \put (-25, 10){\vector(1,0){52}}
286: \put (-30, -10){\vector(1,0){60}}
287: \put(-40, 10){\object{G\supset \psi (U\times V)}}
288: \put(-40, -10){\object{U\times V}}
289: \put(40, 10){\object{\varphi (U)\subset G^{(0)}}}
290: \put(40, -10){\object{U}}
291: \put(45, 0){\object{\varphi}}
292: \put(-45, 0){\object{\psi }}
293: \put(0, 13){\object{r}}
294: \put(0, -7){\object{pr_1}}
295: \end{picture}}
296:
297: \bigskip
298:
299: Des deux derni\`eres conditions on d\'eduit $\varphi (u)=\psi (u,0)$, et en
300: cons\'equence on pourra exprimer la structure de $G$ en utilisant seulement
301: la carte $\psi$. Toutefois pour la simplicit\'e des notations on gardera
302: $\varphi =\psi(\cdot , 0)$.
303:
304: A la carte $\psi$ de $G$ s'associe canoniquement une carte de
305: l'alg\'ebro{\"\i}de de Lie ${\mathcal G}$. Plus pr\'ecis\'ement on a :
306:
307: \begin{lem}\label{cartealg}
308: L'application $\theta :U\times \R^m\rightarrow {\mathcal G}$, $\theta (u,v)=
309: (\varphi (u),\dfrac{\d \psi}{\d v}(u,0)v)$ est une carte de ${\mathcal G}$ au
310: voisinage de la fibre ${\mathcal G}_{x_0}$ et la famille $\lbrace e_1,e_2,..,e_m
311: \rbrace$ d\'efinie par $e_i(\varphi (u))=\theta (u,f_i)$, $i=\overline{1,m}$,
312: o\`u $\lbrace f_1,f_2,...,f_m\rbrace $ est la base canonique de $\R^m$, est
313: un rep\`ere mobile de ${\mathcal G}$ sur $\varphi (U)$.
314: \end{lem}
315:
316: {\it Preuve.} Pour tout $u\in U$ on a
317:
318: \centerline{$G^{\varphi (u)}\bigcap \psi (U\times V)=\lbrace \gamma \in \psi
319: (U\times V)|r(\gamma )=\varphi (u)\rbrace =\psi (\lbrace u\rbrace \times V)$}
320:
321: \noindent L'application $\psi (u,\cdot ):V\rightarrow G^{\varphi (u)}$ est
322: alors une carte de la sous-vari\'et\'e $G^{\varphi (u)}$, qui associe $0\in V$
323: \`a $\varphi (u)$. On peut identifier $\lbrace u\rbrace \times \R^m $ avec $T_{
324: \varphi (u)}G^{\varphi (u)}$ par l'isomorphisme $\dfrac{\d \psi}{\d v}(u,0):T_{
325: (u,0)}(\lbrace u\rbrace \times V)=\lbrace u\rbrace \times \R^m \rightarrow
326: T_{\varphi (u)}G^{\varphi (u)}$.
327: L'image de $\theta$ est le voisinage $\theta (U\times \R^m)={\mathcal G}_{\varphi
328: (U)}$ de la fibre ${\mathcal G}_{x_0}$. \QED
329:
330: \bigskip
331:
332: {\it Remarque.}
333: Dans un groupe de Lie il existe un voisinage de l'unit\'e diff\'eomorphe avec
334: un voisinage de l'\'el\'ement nul de l'alg\`ebre de Lie associ\'e. Le lemme
335: pr\'ec\'edent permet de donner la g\'en\'eralisation suivante pour les
336: groupo{\"\i}des de Lie~:
337:
338: Pour tout $x_0\in G^{(0)}$ il existe un voisinage de $x_0$ dans $G$ qui est
339: diff\'eomorphe avec un voisinage de $(x_0,0)$ dans $\G$.
340:
341: \setlength \unitlength {0.25em}
342: \begin{picture}(130,30)(-65,-15)
343: \put (-21, 10){\vector(1,0){42}}
344: \put(-35, 10){\object{{\G}\supset \theta (U\times V)}}
345: \put(35, 10){\object{\psi (U\times V)\subset G}}
346: \put(0, -15){\object{U\times V}}
347: \put(-3,-11){\vector(-3,2){27}}
348: \put(3,-11){\vector(3,2){28}}
349: \put(22, -5){\object{\psi}}
350: \put(-22, -5){\object{\theta}}
351: \put(0, 13){\object{\alpha}}
352: \put(0, 7){\object{\widetilde{}}}
353: \end{picture}
354:
355: En effet avec les notations pr\'ecedentes, $\alpha =\psi \circ \theta ^{-1}$
356: est un diff\'eomorphisme entre le voisinage $\theta (U\times V)$ de
357: $(x_0,0)\in \G$ et le voisinage $\psi (U\times V)$ de $x_0$ dans $G$. On
358: remarque de plus que pour tout $x\in \varphi (U)$, $\alpha (\G _x)\subset G^x$.
359:
360: Ce r\'esultat n'est qu'un cas particulier de la proposition suivante qui
361: est bas\'ee sur l'existence d'une application exponentielle pour tout
362: groupo{\"\i}de de Lie. Cette application exponentielle introduite par Pradines
363: dans \cite{pradines3} g\'en\'eralise \`a la fois l'exponentielle d'un
364: groupe de Lie et l'exponentielle d'une vari\'et\'e munie d'une connexion.
365:
366: \begin{prop}\label{diffeoG}
367: Soit $G$ un groupo{\"\i}de de Lie et $\G$ son alg\'ebro{\"\i}de de Lie. Il
368: existe alors un voisinage $V$ de $G^{(0)}$ vu comme la section nulle
369: $\left\{ (x,0)|x\in G^{(0)}\right\}$ dans $\G$, un voisinage $W$ de
370: $G^{(0)}$ dans $G$ et un diff\'eomorphisme $\alpha :V\rightarrow W$ tel que
371: $\alpha (\G _x \bigcap V)=G^x\bigcap W$ et $\alpha ^{\prime}_x (0)$ est
372: l'identit\'e de $\G _x$, o\`u $\alpha _x$ est la restriction de
373: $\alpha$ sur $\G _x\bigcap V$.
374: \end{prop}
375:
376: \noindent L'id\'ee de la d\'emonstration est la suivante. Soit $\nabla$
377: une connexion sur l'alg\'ebro{\"\i}de de Lie $\G$. On associe \`a $\nabla$
378: une connexion invariante \`a gauche sur $G$, dont la restriction \`a $G^x$
379: est une connexion lin\'eaire $\nabla _x$. On peut alors d\'efinir fibre par
380: fibre une application exponentielle, et prendre comme $\alpha$ cette
381: exponentielle. Pour les d\'etails voir \cite{landsman5} ou \cite{nistor}.
382:
383: \subsection{La multiplication et l'inversion}
384:
385: Pour exprimer le produit et l'inversion de $G$ dans la carte $\psi$ on
386: a besoin de la forme de l'application source $s$ dans cette carte, forme qui
387: est explicit\'ee dans le lemme suivant.
388:
389: \begin{lem}
390: Il existe une submersion $\sigma :U\times V\rightarrow U$ telle que
391: $s(\psi (u,v))=\varphi (\sigma (u,v))$. De plus $\sigma (u,0)=u$.
392: \end{lem}
393:
394: {\it Preuve.}
395: En r\'eduisant eventuellement $V$, on peut supposer que $s(\psi (u,v))\in
396: \varphi (U)$, pour $(u,v)\in U\times V$. Il existe alors un \'el\'ement
397: $\sigma (u,v)\in U$ tel que $s(\psi (u,v))=\varphi (\sigma (u,v))$. Evidemment
398: $\sigma =\varphi ^{-1}\circ s\circ \psi$ est une submersion, comme expression
399: dans les cartes de la submersion $s$. Enfin $\varphi (\sigma (u,0))=
400: s(\psi (u,0))=\psi (u,0)=\varphi (u)$, donc $\sigma (u,0)=u$. \QED
401:
402: On peut maintenant donner les d\'eveloppements dans la carte $\psi$ de la
403: multiplication et de l'inversion de $G$. Le r\'esultat suivant repr\'esente
404: l'analogue de la formule de Baker-Campbell-Hausdorff pour les groupo{\"\i}des
405: de Lie.
406:
407: \begin{prop}\label{Taylorgroupoide}
408: (i) Pour $u,u_1\in U$ et $v,w\in V$ on a
409: $(\psi (u,v),\psi (u_1, w))\in G^{(2)}$ si et seulement si
410: $u_1=\sigma (u,v)$. Dans ce cas le produit est donn\'e par
411: $\psi (u,v)\psi (\sigma (u,v),w) =\psi (u,p(u,v,w))$
412: o\`u $p:U\times V\times V\rightarrow V$ est une application
413: diff\'erentiable qui a un d\'eveloppement de la forme
414: $p(u,v,w)=v+w+B(u,v,w)+O_3(u,v,w)$
415: avec $B$ bilin\'eaire en $(v,w)$ et $O_3(u,v,w)$ de l'ordre de
416: $\| (v,w)\|^3$.
417:
418: (ii) Soit $(u,v)\in U\times V$ tel que $\psi (u,v)^{-1}\in \psi (U\times
419: V)$. Alors $\psi (u,v)^{-1}=\psi (\sigma (u,v),w)$, o\`u $w$ v\'erifie
420: $p(u,v,w)=0$. De plus on a le d\'eveloppement $w=-v+B(u,v,v)+O_3(u,v)$, avec
421: $O_3(u,v)$ de degr\'e d'homog\'en\'eit\'e superieur \`a 3 en $v$.
422: \end{prop}
423:
424: {\it Preuve.}
425: {(i)} Soit $g=\psi (u,v)$ et $h=\psi (u_1,w)$. On a $s(g)=\varphi (\sigma
426: (u,v))$ et $r(h)=\varphi (u_1)$ ce qui montre que $(g,h)\in G^{(2)}$ si et
427: seulement si $u_1=\sigma (u,v)$. De plus $r(gh)=r(g)=\varphi (u)$ assure
428: l'existence d'un unique $p(u,v,w)\in V$ tel que
429:
430: \centerline{$\psi (u,v)\psi (\sigma (u,v),w)=\psi (u,p(u,v,w))$}
431:
432: \noindent On d\'efinit ainsi l'application $p:U\times V\times V\rightarrow V$,
433: qui v\'erifie en particulier $p(u,0,w)=w$ et $p(u,v,0)=v$. En effet
434:
435: $\psi (u,p(u,0,w))=\psi (u,0)\psi (\sigma (u,0),w)=\varphi (u)\psi (u,w)=\psi
436: (u,w)$
437:
438: $\psi (u,p(u,v,0))=\psi (u,v)\psi (\sigma (u,v),0))=
439: \psi (u,v)s(\psi (u,v))=\psi (u,v)$.
440:
441: \noindent Il s'ensuit que $\dfrac{\d p}{\d v}(u,v,0)=I$, $\dfrac{\d p}{\d w}
442: (u,0,w)=I$, $\dfrac{\d ^2 p}{\d v^2}(u,0,0)=0$, $\dfrac{\d ^2 p}{\d w^2}
443: (u,0,0)=0$, et par un d\'eveloppement de Taylor $p(u,v,w)=p(u,0,0)+
444: \dfrac{\d p}{\d v}(u,0,0)
445: v+\dfrac{\d p}{\d w}(u,0,0)w+B(u,v,w)+O_3(u,v,w)=v+w+B(u,v,w)+
446: O_3(u,v,w)$, o\`u $B(u,v,w)$ est pour chaque $u$ bilin\'eaire en $(v,w)$ et
447: $O_3(u,v,w)$ est homog\`ene d'un degr\'e superieur \`a 3 en $v$ et $w$.
448:
449: \smallskip
450:
451: {(ii)} Soit $g=\psi (u,v)$. On cherche $u_1$ et $w$ tels que $g^{-1}=
452: \psi (u_1,w)$. D'une part $r(g^{-1})=\varphi (u_1)$ et $s(g)=\varphi (\sigma
453: (u,v))$ impliquent $u_1=\sigma (u,v)$. D'autre part comme $gg^{-1}=r(g)$, on
454: d\'eduit $\psi (u,v)\psi (\sigma (u,v),w)=\psi (u,0)$, donc $p(u,v,w)=0$.
455: Le th\'eor\`eme des fonctions implicites assure l'existence d'un $f$
456: diff\'erentiable tel que $w=f(u,v)$. On d\'eveloppe
457:
458: $f(u,v)=f(u,0)+\dfrac{\d f}{\d v}(u,0)v+...=f_1(u,v)+f_2(u,v)+...$
459:
460: \noindent o\`u $f_k(u,v)$ est de degr\'e d'homog\'en\'eit\'e $k$ en $v$.
461: On va d\'eterminer $f_1$ et $f_2$. Pour cela on utilise $p(u,v,w)=0$. On a donc
462:
463: $0=p(u,v,w)=v+w+B(u,v,w)+...$
464:
465: \hspace*{0,38cm}$=v+f_1(u,v)+f_2(u,v)+...+B(u,v,f_1(u,v)+f_2(u,v)+...)+...$
466:
467: \noindent Le terme de degr\'e d'homog\'en\'eit\'e 1 dans le d\'eveloppement
468: pr\'ec\'edant est $v+f_1
469: (u,v)$ donc $f_1(u,v)=-v$. On remplace dans l'\'equation pr\'ec\'edente et on
470: trouve $0=f_2(u,v)+B(u,v,-v)+...$. En identifiant le terme de degr\'e 2 on
471: obtient $f_2(u,v)=B(u,v,v)$. \QED
472:
473: \section{Le calcul des fonctions de structure de ${\mathcal G}$}
474:
475: On se propose de calculer les fonctions de structure de l'alg\'ebro{\"\i}de de
476: Lie ${\mathcal G}$. On rappelle que $a_{ij}=\overline{\rho}(e_i)(q_j)$ et les
477: $c_{ijk}$ sont donn\'ees par $\left[ e_i,e_j\right] =\dsum c_{ijk}e_k$, o\`u
478: $\rho =Ts$ est l'ancre de ${\mathcal G}$, $\left\{ e_1,...,e_m\right\}$ le
479: rep\`ere mobile de ${\mathcal G}$ d\'efini dans le lemme \ref{cartealg} et
480: $q_j=pr_j\circ \varphi ^{-1}$ sont les fonctions de coordonn\'ees de
481: $G^{(0)}$. On notera par $B_1,..,B_m$ les coordonn\'ees
482: de l'application $B:U\times V\times V\rightarrow V$
483: dans la base $\left\{ f_1,f_2,..,f_m\right\}$ de $\R ^m$.
484:
485: \begin{prop}\label{329}
486: Pour tout $u\in U$, les fonctions de structure de l'alg\'ebro{\"\i}de
487: ${\mathcal G}$ sont donn\'ees par $a_{ij}(\varphi (u))=\dfrac{\d \sigma
488: _j}{\d v_i}(u,0)$ et $c_{ijk}(\varphi (u))=B_k(u,f_i,f_j)-B_k(u,f_j,f_i)$.
489: \end{prop}
490:
491: {\it Preuve.} {\it (i) Le calcul de } $a_{ij}$
492:
493: \medskip
494:
495: On obtient la forme de $a_{ij}$ par le calcul suivant
496:
497: \medskip
498:
499: $a_{ij}(\varphi (u))=\overline{\rho }(e_i)(q_j)(\varphi (u))=\rho (e_i(
500: \varphi (u)))(q_j)=(T_{\varphi (u)}s)(e_i(\varphi (u)))(q_j)$
501:
502: \medskip
503:
504: \hspace*{1,8cm}$=e_i(\varphi (u))(q_j\circ s)=(\dfrac{\d \psi}{\d v}(u,0)f_i)
505: (pr_j\circ \varphi ^{-1}\circ s)$
506:
507: \medskip
508:
509: \hspace*{1,8cm}$=\dfrac{\d }{\d v_i}(pr_j\circ \varphi^{-1}
510: \circ s\circ \psi )(u,0)=\dfrac{\d \sigma _j}{\d v_i}(u,0)$.
511:
512: \medskip
513:
514: {\it (ii) Le calcul de} $c_{ijk}$
515:
516: \smallskip
517:
518: {\bf 1.} On explicite d'abord la forme d'une section $\xi \in C^{
519: \infty}(G^{(0)},{\mathcal G})$ dans les cartes de $G^{(0)}$ et ${\mathcal G}$
520: engendr\'ees par $\psi$.
521:
522: \bigskip
523:
524: \centerline{
525: \setlength \unitlength {0.25em}
526: \begin{picture}(150,30)(-75,-15)
527: \put (-35, -6){\vector(0,1){12}}
528: \put (38, -6){\vector(0,1){12}}
529: \put (-26, 10){\vector(1,0){56}}
530: \put (-30, -10){\vector(1,0){60}}
531: \put(-40, 10){\object{G^{(0)}\supset \varphi (U)}}
532: \put(-40, -10){\object{\R ^n\supset U}}
533: \put(40, 10){\object{{\mathcal G}_{\varphi (U)}}}
534: \put(40, -10){\object{U\times \R ^m}}
535: \put(42, 0){\object{\theta}}
536: \put(-38, 0){\object{\varphi }}
537: \put(0, 13){\object{\xi }}
538: \put(0, -7){\object{\Xi}}
539: \end{picture}}
540:
541: \bigskip
542:
543: \noindent Cette forme est donn\'ee par $\Xi (u)=\theta ^{-1}\circ \xi \circ
544: \varphi (u)=(u,\dfrac{\d \psi}{\d v}(u,0)^{-1}(\xi (\varphi (u))))$. On note
545: $\xi _0:U\rightarrow \R ^m$, $\xi _0(u)=\dfrac{\d \psi}{\d v}(u,0)^{-1}(\xi
546: (\varphi (u)))$ et on a $\Xi (u)=(u,\xi _0(u)$.
547:
548: \medskip
549:
550: {\bf 2.} Par le lemme \ref{217}, on associe \`a tout $\xi \in C^{
551: \infty}(G^{(0)},{\mathcal G})$ une section \'equivariante \`a gauche $\Phi ^{-1}(
552: \xi )\in C^{\infty}(G,TG)$, d\'efinie par $\Phi ^{-1}(\xi )(\gamma )=(T_{s(
553: \gamma )}L_{\gamma})\xi (s(\gamma ))$ et le crochet de Lie sur $C^{\infty}
554: (G^{(0)},{\mathcal G})$ est donn\'e par $\left[ \xi ,\eta \right] =\Phi \left(
555: \left[ \Phi ^{-1}(\xi ),\Phi ^{-1}(\eta )\right] \right)$.
556:
557: \medskip
558:
559: On note $\Omega (\xi )=(\psi ')^{-1}\circ \Phi ^{-1}(\xi )\circ \psi$
560: la forme de $\Phi ^{-1}(\xi )$ dans les cartes.
561:
562: \bigskip
563:
564: \centerline{
565: \setlength \unitlength {0.25em}
566: \begin{picture}(150,30)(-75,-15)
567: \put (-30, -6){\vector(0,1){12}}
568: \put (40, -6){\vector(0,1){12}}
569: \put (-25, 10){\vector(1,0){59}}
570: \put (-21, -10){\vector(1,0){51}}
571: \put(-30, 10){\object{G}}
572: \put(-40, -10){\object{\R ^n\times \R ^m\supset U\times V}}
573: \put(40, 10){\object{TG}}
574: \put(40, -10){\object{T(U\times V)}}
575: \put(44, 0){\object{\psi '}}
576: \put(-34, 0){\object{\psi }}
577: \put(0, 13){\object{\Phi ^{-1}(\xi )}}
578: \put(0, -7){\object{\Omega (\xi )}}
579: \end{picture}}
580:
581: \bigskip
582:
583: On montre dans cette \'etape que
584:
585: \begin{equation}\label{Oomega}
586: \Omega (\xi )(u,v)=\left( 0,\xi _0(\sigma (u,v))+B(u,v,\xi _0(\sigma (u,v)))
587: \right)
588: \end{equation}
589:
590: Par d\'efinition
591:
592: $\Phi ^{-1}(\xi )(\psi (u,v))=\left( T_{s(\psi (u,v))}L_{\psi
593: (u,v)}\right) \xi (s(\psi (u,v)))$
594:
595: \hspace*{1cm}$=\left( T_{s(\psi (u,v))}L_{\psi
596: (u,v)}\right) \left( \dfrac{\d \psi}{\d v}(\sigma (u,v),0)\xi _0(\sigma (u,v))
597: \right)$
598:
599: \hspace*{1cm}$=T_0\left( L_{\psi (u,v)}\psi (\sigma (u,v),\cdot )\right) \xi _0
600: (\sigma (u,v))$
601:
602: \medskip
603:
604: \noindent Mais $L_{\psi (u,v)}\psi (\sigma (u,v),w)=\psi (u,v)\psi (\sigma
605: (u,v),w)=\psi (u,p(u,v,w))$, ce qui par d\'erivation conduit \`a
606: $T_0\left( L_{\psi (u,v)}\psi (\sigma (u,v),\cdot )\right) =
607: \dfrac{\d \psi}{\d v}(u,v) \dfrac{\d p}{\d w}(u,v,0)$, donc
608:
609: \begin{equation}\label{phiminus}
610: \Phi ^{-1}(\xi )(\psi (u,v))=\dfrac{\d \psi}{\d v}(u,v) \dfrac{\d p}{\d w}
611: (u,v,0)\xi _0(\sigma (u,v))
612: \end{equation}
613:
614: \noindent Comme $p(u,v,w)=v+w+B(u,v,w)+O_3(u,v,w)$ on a
615:
616: \begin{equation}\label{derivp}
617: \dfrac{\d p}{\d w}(u,v,0)=I+\left(
618: \begin{array}{cccc}
619: B_1(u,v,f_1) & B_1(u,v,f_2) & ... & B_1(u,v,f_m)\\
620: \vdots & \vdots & \ddots & \vdots \\
621: B_m(u,v,f_1) & B_m(u,v,f_2) & ... & B_m(u,v,f_m)
622: \end{array}\right)
623: \end{equation}
624:
625: \noindent En rempla\c cant \ref{derivp} dans \ref{phiminus} on obtient
626:
627: \begin{equation}\label{phifinal}
628: \Phi ^{-1}(\xi )(\psi (u,v))=\dfrac{\d \psi}{\d v}(u,v)\xi _0(\sigma (u,v))+
629: \dfrac{\d \psi}{\d v}(u,v)B(u,v,\xi _0(\sigma (u,v)))
630: \end{equation}
631:
632: \noindent La formule \ref{Oomega} r\'esulte comme suit :
633:
634: \smallskip
635:
636: $\Omega (\xi )(u,v)=\psi '(u,v)^{-1}\left( \Phi ^{-1}(\xi )(\psi (u,v))\right)$
637:
638: \hspace*{1,9cm}$=\psi '(u,v)^{-1}\dfrac{\d \psi}{\d v}(u,v)\left( \xi _0(
639: \sigma (u,v))+B(u,v,\xi _0(\sigma (u,v)))\right)$
640:
641: \hspace*{1,9cm}$=\left( 0,\xi _0(\sigma (u,v))+B(u,v,\xi _0(\sigma (u,v)))
642: \right)$
643:
644: \medskip
645:
646: {\bf 3.} La formule \ref{Oomega} montre en particulier que $\Omega
647: (e_i )(u,v)=(0,f_i+B(u,v,f_i))$. Pour les \'el\'ements de cette forme le
648: crochet de Lie dans $T(U\times V)$ est donn\'e par
649:
650: \medskip
651:
652: $\left[ (0,a(u,v)),(0,b(u,v))\right] =\left( 0,\stackunder{k}{\dsum}\left( a_k(
653: u,v)\dfrac{\d b}{\d v_k}(u,v)-b_k(u,v)\dfrac{\d a}{\d v_k}(u,v)\right) \right)$
654:
655: \medskip
656:
657: \noindent En utilisant la bilin\'earit\'e de $B$ on obtient
658: $\left[ \Omega (e_i),\Omega (e_j)\right] (u,v) =$
659:
660: \noindent $=\left( 0,\stackunder{k}{\dsum}(\delta _{ik}+B_k(u,v,f_i))B(u,f_k,
661: f_j)-\stackunder{k}{\dsum} (\delta _{jk}+B_k(u,v,f_j))B(u,f_k,f_i) \right)$
662:
663: \noindent $=\left( 0,B(u,f_i,f_j)+B(u,B(u,v,f_i),f_j)-B(u,f_j,f_i)-B(u,B(u,v,
664: f_j),f_i)\right)$
665:
666: \medskip
667:
668: \noindent et en particulier $\left[ \Omega (e_i),\Omega (e_j)\right] (u,0)=$
669:
670: \noindent $=\left( 0,B(u,f_i,f_j)-B(u,f_j,f_i)+B(u,B(u,0,f_i),f_j)-
671: B(u,B(u,0,f_j),f_i)\right)$
672:
673: \smallskip
674:
675: \noindent $=\left( 0,B(u,f_i,f_j)-B(u,f_j,f_i)\right).$
676:
677: \noindent On peut ainsi conclure
678:
679: \medskip
680:
681: $\left[ e_i,e_j\right] (\varphi (u))=\left[ \Phi ^{-1}(e_i),\Phi ^{-1}(e_j)
682: \right] (\psi (u,0))=\psi '(u,0)\left[ \Omega (e_i),\Omega (e_j)\right] (u,0)$
683:
684: \smallskip
685:
686: \hspace*{2,42cm}$=\dfrac{\d \psi}{\d v}(u,0)
687: \stackunder{k}{\dsum}\left( B_k(u,f_i,f_j)-B_k(u,f_j,f_i)\right) f_k$
688:
689: \smallskip
690:
691: \hspace*{2,42cm}$=\stackunder{k}{\dsum}\left( B_k(u,f_i,f_j)-B_k(u,f_j,f_i)
692: \right) e_k(\varphi (u))$.
693:
694: \hfill\QED
695:
696: \begin{cor}\label{crochetLIE}
697: Pour toutes sections $\xi ,\eta \in C^{\infty}(G^{(0)},{\mathcal G})$ on a
698:
699: \smallskip
700:
701: \centerline{$\left[ \xi ,\eta \right] _0(u)=B(u,\xi _0(u),\eta _0(u)-B(u,
702: \eta _0(u),\xi _0(u))$}
703: \end{cor}
704:
705: {\it Preuve.}
706: On d\'eveloppe $\xi =\dsum \xi _ie_i$ et $\eta =\dsum \eta _je_j$ dans le
707: rep\`ere mobile $\left\{ e_1,...,e_m\right\}$ et on s'en sert de la
708: proposition pr\'ecedente pour remplacer $c_{ijk}$ dans $\left[ \xi ,\eta
709: \right] =\dsum \xi _i\eta _jc_{ijk}e_k$. Il ne reste qu'\`a utiliser
710: la bilin\'earit\'e de $B$. \QED
711:
712: {\it Exemple.}
713: Soit $G$ un groupe de Lie d'unit\'e $e$. Dans ce cas $U=\left\{ 0\right\}$ et
714: $\psi :V\rightarrow G$ est une carte v\'erifiant $\psi (0)=e$. On associe \`a
715: $\psi$ la carte $\theta=\psi '(0):\R ^m\rightarrow {\mathcal G}$ de l'alg\`ebre de
716: Lie.
717: Par la proposition \ref{Taylorgroupoide} le produit dans $G$ est
718: de la forme $\psi (v)\psi (w)=\psi (p(v,w))$,
719: o\`u $p:V\times V\rightarrow V$ est une application diff\'erentiable
720: qui admet un d\'eveloppement de la forme $p(v,w)=v+w+B(v,w)+O_3(v,w)$ avec
721: $B$ bilin\'eaire et l'inversion est donn\'ee par
722: $\psi (v)^{-1}=\psi (-v+B(v,v)+O_3(v))$.
723: Comme $\sigma=0$ on retrouve $a_{ij}=0$ et la proposition \ref{329} montre que
724: les constantes de structure $c_{ijk}$ de l'alg\`ebre de Lie sont donn\'ees par
725: $c_{ijk}=B_k(f_i,f_j)-B_k(f_j,f_i)$.
726:
727: On retrouve ainsi des r\'esultats connus pour les groupes et alg\`ebres de
728: Lie qu'on peut trouver par exemple dans {\em \cite{kirillov}}.
729:
730: \smallskip
731:
732: {\it Exemple.}
733: Soit $G=M\times M$, le groupo{\"\i}de principal transitif associ\'e \`a la
734: vari\'et\'e $M$, un \'el\'ement $(x,x)\in G^{(0)}$ et $\alpha :U_1\rightarrow
735: M$ une carte de $M$ telle que $\alpha (0)=x$. On peut prendre la carte
736: $\psi :U\times V\rightarrow G$, donn\'ee par $\psi (u,v)=(\alpha (u),\alpha
737: (u+v))$, o\`u $U,V$ sont des voisinages de $0\in \R ^m$ telles que $U\in U_1$
738: et $U+V\in U_1$. La carte de $TM$ engendr\'ee par $\psi$ est $\theta :U\times
739: \R ^m\rightarrow {\mathcal G}$, $\theta (u,v)=(\alpha (u),\alpha '(u)v)$. Dans ce
740: cas $\sigma (u,v)=u+v$, $p(u,v,w)=v+w$, $B(u,v,w)=0$. Pour les fonctions
741: de structure de $TM$ on retrouve $a_{ij}=\delta _{ij}$ et $c_{ijk}=0$.
742:
743: \noindent {\it Remerciements} Les r\'esultats de cet article ont
744: \'et\'e obtenu durant mon sejour \`a l'Universit\'e d'Orl\'eans et
745: je tiens a exprimer ma gratitude \`a Jean Renault
746: pour tout son soutien et ses tr\`es judicieuses remarques
747: et \`a Claire Anantharaman qui
748: au d\'ebut de ce travail m'a fait comprendre le cas des groupes de Lie.
749:
750: {\small
751: \bibliographystyle{french}
752: \begin{thebibliography}{A}
753: \bibitem[CDW]{coste}
754: A.~Coste, P.~Dazord et A.~Weinstein, {\em Groupo{\"\i}des symplectiques}.
755: Publications Dept. Math. Univ. Lyon1, {\bf 2/A}(1987)
756:
757: \bibitem[K]{kirillov}
758: A.~Kirillov, {\em El\'ements de la th\'eorie des repr\'esentations}. Editions
759: Mir, Moscou, 1974.
760:
761: \bibitem[L]{landsman5}
762: N.P. Landsman, {\it Topics in Classical and Quantum Mechanics}.
763: Springer Verlag, 1998
764:
765: \bibitem[LR]{ramazan2}
766: N.P. Landsman and B.~Ramazan, {\em Quantization of Poisson algebras associated
767: to Lie algebroids}. To appear in:
768: Contemporary Mathematics, {\it Groupoids in physics, analysis and geometry},
769: Eds. J.~Kaminker, A.~Ramsay, J.~Renault, A.~Weinstein.
770:
771: \bibitem[M]{mackenzie}
772: K.~Mackenzie, {\em Lie groupoids and Lie algebroids in differential geometry}.
773: London Math. Soc. Lecture Notes, {\bf 124}, Cambridge Univ. Press, 1987
774:
775: \bibitem[NWX]{nistor}
776: V.~Nistor, A.~Weinstein and P.~Xu, {\em Pseudodifferential operators on
777: differential groupoids}. Preprint, 1997
778:
779: \bibitem[P1]{pradines2}
780: J.~Pradines, {\em Th\'eorie de Lie pour les groupo{\"\i}des
781: diff\'erentiables. Calcul diff\'erentiel dans la cat\'egorie des
782: groupo{\"\i}des infinit\'esimaux}. C.R. Acad. Sci. Paris, S\'erie~A,
783: {\bf 264}(1967), 245--248
784:
785: \bibitem[P2]{pradines3}
786: J. Pradines, {\em G\'eom\'etrie diff\'{e}rentielle au-dessus d'un
787: groupo\"{\i}de}. C.R. Acad. Sci. Paris, S\'erie~A, {\bf 266}(1968), 1194--1196
788:
789: \bibitem[Ra1]{ramazan1}
790: B.~Ramazan, {\em Limite classique de C$^*$-alg\`ebres de groupo{\"\i}des de
791: Lie}, C.R. Acad. Sci. Paris, S\'erie I, {\bf 329}(1999), 603-606
792:
793: \bibitem[Re]{renault1}
794: J.~Renault, {\em A groupoid approach to C*-algebras}. Lecture Notes in
795: Mathematics {\bf 793}, Springer-Verlag, 1980.
796: \end{thebibliography}
797: }
798:
799:
800: \bigskip
801: {\hspace*{8.5cm}Acad\'emie Roumaine
802:
803: \hspace*{8cm}Institut de Math\'ematiques
804:
805: \hspace*{7.5cm}Calea Grivi\c tei 21, P.O. Box 1-764,
806:
807: \hspace*{8cm}Bucarest 70700, Romania}
808:
809: \hspace*{6.6cm}{E-mail address}: ramazan@pompeiu.imar.ro
810:
811: \end{document}
812:
813:
814:
815:
816:
817:
818:
819:
820: