arxv:02.0698v3 [math.dg] 20 Feb 202 Lmtes projectves fortes d algébroïdes de Le Patrck CABAU Laboratore de Mathématques Unversté de Savoe, Campus scentfque 73376. Le Bourget du Lac France Résumé : On défnt la noton de lmte projectve forte d algébroïdes de Le pus on étude les structures de fbrés vectorels fréchétques assocés et la compatblté entre les dvers morphsmes. Ce type de structure semble être un cadre adapté pour dverses stuatons. Abstract : We defne the noton of strong projectve lmt of Banach Le algebrods. We study the assocated structures of Fréchet bundles and the compatblty wth the dfferent morphsms. Ths knd of structure seems to be a convenent framework for varous stuatons. Mots clé : algébroïde de Le, lmte projectve, fbré vectorel banachque, fbré vectorel fréchétque, calcul dfférentel adapté, tenseur de Njenhus, dstrbuton nvolutve, tenseur de Posson, lmte nverse d espaces de Banach, sem-gerbe. Keywords : Le algebrod, projectve lmt, Banach vector bundle, Fréchet vector bundle, convenent calculus, Njenhus tensor, nvolutve dstrbuton, Posson tensor, nverse lmt of Banach spaces, sem-spray. Classfcaton AMS : 46A3, 46T05, 46T20, 58A20, 58A30, 58B0, 58B25, 26E5. Introducton La noton d algébroïde de Le a été ntrodute par J. Pradnes dans [Pra] en lason avec les groupoïdes de Le. Cette noton qu généralse à la fos la structure d algèbre de Le et le fbré tangent à une varété apparaît comme un cadre adapté pour des problèmes qu ntervennent notamment : L auteur remerce Fernand Pelleter pour les dverses remarques et dscussons.
en mécanque où une théore des systèmes lagrangens et hamltonens peut être développée sur de telles structures (cf. [Wen2], [CLMM], [CarMar]) en géométre symplectque en vue de la symplectsaton de varétés de Posson et d applcatons à la quantsaton ([Kar], [Wen]) en Géométre où la classfcaton des algébroïdes de Le ([FerStr]) est assocée aux G-structures de types fns; cette noton de G-structure couvre la plupart des structures géométrques classques ([Mol]). en théore du contrôle optmal où exste une verson du prncpe du maxmum de Pontryagn (cf. [Mart]). En dmenson fne, l exste une bjecton entre structures d algébroïdes de Le sur un fbré mun d une ancre et structures de Posson sur son dual structures d algébroïdes de Le et dfférentelles de Le(cf.[Marl],[CLMM]). La généralsaton de ces stuatons au contexte de varétés banachques est étudée dans [CabPel]. L étude des lmtes projectves (ou nverses) de systèmes de dvers types d espaces a donné leu à de nombreux travaux : lmtes projectves de fbrés tangents d une varété dfférentable de dmenson fne (cf. [Gal3]) et plus généralement lmtes projectves de fbrés vectorels (cf. [AghSur2]), un exemple classque étant fourn par la géométre du fbré des jets d ordre nfn telle qu elle est développée par exemple dans [Sau] lmtes projectves de groupes de Le banachques étudé dans [Gal] en lason avec les groupes ILB ([Omo], [Schm]) unversal lamnated surfaces étudées par Nag et Sullvan dans [NagSul] et utlsées en Physque Mathématque. Rappelons que la noton de lmte projectve a été ntrodute par Wel dans [Wel] pour dscuter de la structure des groupes localement compacts. De nombreux problèmes apparassent sur des varétés modelées sur des espaces de Fréchet F: résoluton dans un cadre général d équatons dfférentelles (cf. [Ham]) et structure pathologque du groupe Gl(F) (qu n admet pas de structure rasonnable de groupe de Le). Ces problèmes ont une soluton sur certanes lmtes projectves d espaces : d une part, exstence de courbes 2
ntégrales de champs de vecteurs, de courbes autoparallèles relatvement à des connexons lnéares (cf. [AghSur2]), secton globale horzontale pour des connexons sur certans espaces ([AghSur]); d autre part, exstence d un groupe de Le généralsé H 0 (F) comme groupe structural pour le fbré tangent (cf. [Gal2]). On s ntéresse c au cadre des lmtes projectves d algébroïdes de Le banachques que l on peut munr de structures fréchétques. On peut trouver dans [KsVan] la noton d algébroïde de Le varatonnel, utlsé dans le cadre des EDP, où les champs de vecteurs sont remplacés par des sectons d un fbré au dessus d une lmte projectve de jets. Le résultat prncpal ( de ce paper (Théorème ) 2) affrme que la lmte projectve forte lm E,lm π,lm M,lm ρ d algébroïdes de Le banachques (où E est un fbré vectorel de base M et où ρ : E TM est l ancre) a une structure d algébroïde de Le fréchétque. On rappelle dans la parte 2 les notons de varétés et de fbrés modelés sur des espaces vectorels adaptés, convenent vector spaces selon la termnologe de Kregel et Mchor ([KrMc]). La noton de lmte projectve forte de fbrés vectorels banachques ntrodute dans [AghSur2] et généralsant des résultats obtenus sur le fbré tangent par [Gal3] est rappelée dans la parte 3. La noton d algébroïde de Le banachque est présentée ans que les notons de dérvée de Le, de dfférentelle extéreure et de morphsme dans la parte 4 (cf. [Ana]). On établt dans la parte 5 la structure fréchétque de la lmte projectve de ce type d algébroïdes (théorème 2). Dans la parte 6 on donne ensute des exemples de telles structures où : E = TM et l ancre est un tenseur de Njenhus (cadre adapté à l oscllateur harmonque de dmenson nfne) E est un sous-fbré partculer de TM : pour des rangs fns, on obtent la noton de dffété le cadre des lmtes nverses d espaces de Banach (ou de Hlbert) correspond aux rangs de dmenson nfne; on a alors un cadre ntéressant pour dvers problèmes en théore quantque des champs. La dernère parte de ce traval est dévolue à l étude des lmtes projectves de sem-gerbes (eng. semsprays) et de courbes admssbles. 3
2 Varétés de dmenson nfne modelées sur des espaces adaptés Le calcul dfférentel classque fonctonne ben sur des varétés de dmenson fne ou banachque (cf. [Lan]). Les lmtes projectves de tels espaces et de fbrés assocés requerrent le calcul en dmenson nfne développé notamment dans [KrMc]. On rappelle essentellement dans cette parte les résultats énoncés dans [KrMc2], 2. 2. Applcatonsde classe C sur des espaces vectorelsadaptés S l on souhate munr un espace vectorel localement convexe séparé E d une structure dfférentable, la noton premère est celle de courbe c : R E de classe C. La courbe c est dte dfférentable s pour tout t R, la lmte du taux s [c(t+s) c(t)] exste. c est dt de classe C s toutes les dérvées térées exstent. L espace C = C (R,E) des courbes c : R E de classe C ne dépend pas de la topologe localement convexe de E mas unquement de sa bornologe assocée (système de ses ensembles bornés). L espace E est appelé espace vectorel adapté (convenent vector space selon la termnologe de [KrMc]) s l vérfe la condton de c complétude : Une courbe c : R E est de classe C s et seulement s λ c : R R est C pour tout λ E où E est le dual consttué de toutes les applcatons lnéares contnues sur E. La topologe fnale relatve à l ensemble C est appelée c topologe de E et est notée c E. Un ouvert pour cette topologe est appelé ouvert c. Pour des espaces de Fréchet, cette topologe coïncde avec la topologe d espace vectorel localement convexe donnée. Pour d autres espaces (e.g. l espace D des fonctons tests à support compact sur R) elle est strctement plus fne. Consdérons mantenant deux espaces vectorels E et F localement convexes et sot U E un ouvert c. Une applcaton f : E U F, où E et F sont deux espaces vectorels adaptés et où U est un c ouvert de E, est dte de classe C s f c C (R,F) pour toute c C (R,U). De plus, cf. [KrMc2], 2.3 (5), l espace C (U,F) peut être auss mun d une structure d espace vectorel adapté. 4
2.2 Varétés dfférentables 2.2. Structure de varété dfférentable sur un ensemble Une carte (U,ϕ) sur un ensemble M est une bjecton ϕ : U ϕ(u) E d une parte U de M sur un c ouvert d un espace vectorel adapté E. Une famlle (U α,ϕ α ) α A de cartes est appelée un atlas s tous les changements de cartes ϕ αβ = ϕ α (ϕ β ) : ϕ β (U α U β ) ϕ α (U α U β ) sont de classe C. Deux atlas sont dts équvalents s leur réunon est encore un atlas. L ensemble M mun d une classe d équvalence d atlas est appelé varété dfférentable de classe C. Un sous-ensemble W de la varété M est ouvert s et seulement s pour tout α A le sous ensemble ϕ α (U α W) de E est c ouvert. La topologe ans défne est alors la topologe fnale relatvement à l espace des courbes de classe C. 2.2.2 Sous-varétés Un sous-ensemble N d une varété M est appelée sous-varété s pour tout x N l exste une carte (U,ϕ) de M telle que ϕ(u N) = ϕ(u) F où F est un sous-espace vectorel fermé de l espace vectorel adapté E. 2.2.3 Applcatons de classe C entre varétés Une applcaton f : M N entre deux varétés dfférentables est dte de classe C s pour tout x M et pour toute carte (V,ψ) de N telle que f (x) V l exste une carte (U,ϕ) de M telle que x U, f (U) V et telle que ψ f ϕ est de classe C. Cec est équvalent au fat que f c est C pour chaque courbe c : R M de classe C. On note F l anneau des fonctons de classe C de M dans R. 2.2.4 Fbrés vectorels Sot p : F M une applcaton C entre varétés dfférentables F et M. Une carte de fbré vectorel sur (F,p,M) est un couple (U,Φ) où U est un ouvert de M et où Φ est un dfféomorphsme respectant la fbre,.e. pour 5
lequel le dagramme c-dessous est commutatf F U = p (U) p ց Φ U V ւ pr U où V est un espace vectorel adapté fxe appelé fbre strandard. Deux cartes (U,Φ ) et (U 2,Φ 2 ) sont dtes compatbles s Φ (Φ 2 ) (x,v) peut être écrt sous la forme (x,φ,2 (x)(v)) où Φ,2 : U U 2 GL(V). La foncton Φ,2 est alors unque et C dans L(V) où L(V) est l espace des applcatons lnéares bornées (donc C ). Un atlas de fbré vectorel (U α,φ α ) α A pour p : F M est un ensemble de cartes (U α,φ α ) deux à deux compatbles où (U α ) α A est un recouvrement ouvert de la varété M. Deux atlas sont équvalents s leur réunon est encore un atlas. Un fbré vectorel, de classe C, p : F M est la donnée de varétés F (espace total), M (base) et d une applcaton p : F M (projecton) de classe C munes d une classe d équvalence d atlas. Une secton s de p : F M est une applcaton C u : M F tellle que p u = lmid M. L espace F des sectons de F peut être mun d une structure d espace vectorel adapté. 2.2.5 Vecteurs tangents Un vecteur tangent (cnématque) en un pont x d une varété M est une classe d équvalence pour la relaton suvante { c (0) = c c c 2 s et seulement s 2 (0) = x U (ϕ c ) (0) = (ϕ c 2 ) (0) où (U,ϕ) est une carte de M centrée en x. Il exste une autre noton de vecteur tangent qu est la noton de vecteur tangent opératonnel ([KrMc], 28.) qu ne coïncde pas nécessarement sur des varétés adaptées à la noton de vecteur tangent cnématque. 2.2.6 Fbré tangent L ensemble de tous les vecteurs tangents en les dvers ponts de la varété M peut être mun d une structure de fbré vectorel; l est alors appelé fbré tangent (cnématque) à M et noté TM. S (U α,ϕ α ) α A est un atlas de la varété M alors les changements de cartes dans TM font ntervenr les dfférentelles dϕ αβ. 6
2.2.7 Champs de vecteurs Un champ de vecteurs cnématque est une secton C du fbré tangent cnématquetm.onnotex(m)l espacedeschampsdevecteurscnématques qu peut lu auss être mun d une structure d espace vectorel adapté. Pour des varétés régulères au sens de [KrMc], 4, le crochet de Le de deux éléments X et Y de X(M) peut être défn, en supposant que M est un ouvert c d un espace vectorel adapté E, par [X,Y] = dy (X) dx(y) où X et Y sont alors vus comme applcaton M E de classe C. 2.2.8 Applcaton tangente S M et N sont deux varétés dfférentables, à toute applcaton f : M N de classe C, on peut assocer à tout pont x M une applcaton lnéare T x f : T x M T f(x) M qu assoce au vecteur tangent à une courbe c passant par x le vecteur tangent à la courbe f c passant par f (x). L applcaton obtenue Tf : TM TN est alors C et est appelée applcaton tangente de f. 2.2.9 Champs de vecteurs relés Soent M et N deux varétés dfférentables et f : M N une applcaton C. On dt que deux champs de vecteurs cnématques sont f relés s Tf X = Y f X,X 2,Y,Y 2 désgnent mantenant 4 champs de vecteurs. Sot f : M N une applcaton de classe C. S X et Y (resp. X 2 et Y 2 ) sont f relés alors [X,X 2 ] et [Y,Y 2 ] sont auss f relés. S f : M N est un dfféomorphsme local alors pour tout champ de vecteurs Y X(N) l exste un champ de vecteurs f Y X(M) défn par (f Y)(x) = (T x f) (Y (f (x))). L applcaton lnéare f : X(N) X(M) est alors un homomorphsme d algèbres de Le. 2.2.0 Courbe ntégrale d un champ de vecteurs cnématque Une courbe c : I M de classe C est dte courbe ntégrale du champ de vecteurs X s pour tout t I, on a : c (t) = X (c(t)). 7
Pour un champ de vecteurs donné les courbes ntégrales peuvent ne pas exster ([KrMc], 32.2, exemple ) localement et même s elles exstent, elles peuvent de pas être unques pour une condton ntale donnée ([KrMc], 32.2, exemple 2). Cec est dû au fat que les résultats classques relatfs à l exstence et à l uncté de solutons d équatons dfférentelles sont fondés sur des théorèmes résultant du théorème du pont fxe sur des espaces de Banach. 2.2. Flot d un champ de vecteurs Un flot local pour un champ de vecteurs X X(M) est une applcaton, de classe C, ϕ X : M R U M défne sur un ouvert c U de M {0} tel que :. U ({x} R) est un ntervalle ouvert connexe 2. Sϕ X (x,s)exstealorsϕ X (x,t+s)exstesetseulementsϕ X ( ϕ X (x,s),t ) exste et on a ϕ X (x,t+s) = ϕ X ( ϕ X (x,s),t ) 3. ϕ X (x,0) = x pour tout x M d 4. dt ϕx (x,t) = X ( ϕ X (x,t) ) S un champ de vecteurs cnématque X admet un flot local ϕ X alors pour toute courbe ntégrale c de X, on a c(t) = ϕ X (c(0),t) et l exste ans un unque flot maxmal. 2.2.2 Fbré cotangent Une formeenunpontxd unevarété M est uneformelnéare bornéesur l espace vectorel adapté T x M (donc appartenant à T x M ). L ensemble de toutes ces formesenles dverspontsdem peutêtre mund unestructure de fbré vectorel appelé fbré cotangent (cnématque) et noté T M. Un atlas (U α,ϕ α ) ( α A de classe C de M donne nassance aux fonctons de transton x d ϕ β (ϕ α ) ). ϕ α(x) 2.2.3 Formes dfférentelles Sur une varété M une forme dfférentelle (cnématque) n est autre qu une secton C du fbré cotangent cnématque T M. L ensemble de ces formes dfférentelles peut être mun d une structure d espace vectorel adapté. 8
Surunevarété C régulère M,laclassedeformesdfférentelles ([KrMc], 33.22) stablepardérvée delel X,dérvaton extéreure d,produtntéreur X et mage récproque f est Ω k (M) = L k alt (TM,M R) La dérvée de Le L : X(M) Ω k (M) Ω k (M) est une applcaton C défne par (L X ω)(x,...,x k ) = X (ω(x,...,x k )) k ω(x,...,[x,x ],...,X k ) La dfférentelle extéreure d : Ω k (M) Ω k+ (M) est C et est défne par (dω)(x)(x 0,...,X k ) = k =0 + 0 <j k = )) ( ) X (ω (X 0,..., X,...,X k ( ) +j ω ([X,X j ],X 0,..., X,..., X ) j,...,x k 3 Lmte projectve forte de fbrés vectorels banachques 3. Lmtes projectves d espaces topologques ( ( ) Un système projectf d espaces topologques est une sute X,δ j où pour tout N, X est un espace topologque pour tous, j N, tels que j, δ j : X j X est une applcaton contnue pour tout N, δ = Id X pour tous enters naturels j k, δ j δk j = δk. Un élément (x ) N du produt NX est appelé un fl [thread] s pour tous j, δ j (x j) = x. Le sous-espace X de NX consttué de tels éléments, mun de la topologe projectve,.e. de la topologe la mons fne rendant contnues toutes les j ) N 9
applcatons δ = p /X (où p : k NX k X désgne la projecton sur X ) est appelée lmte projectve de la sute ((X,δ j ) j ) N (cf. [Scha], p.52). On note X = lmx et T la topologe projectve. S x X et s x = δ (x), une base de vosnages de T est alors donnée par toutes les ntersectons (δ l ) (U l ) où U l est un vosnage de x l relatvement à la topologe de l L l espace( X l et où L est un ensemble fn. ( ) ) ( ( ) Soent X,δ j et Y,γ j j N j ) N deux systèmes projectfs de lmtes projectves respectves X et Y. Une sute (f ) N d applcatons contnues f : X Y vérfant, pour tous,j N, j, la condton de cohérence γ j f j = f δ j est appelée sute projectve d applcatons. La lmte projectve de cette sute est l applcaton f : X Y (x ) N (f (x )) N L applcaton f est alors contnue et est un homéomorphsme s tous les f sont eux-mêmes des homéomorphsmes (cf. [AbbMan]). 3.2 Lmte projectve forte de varétés banachques ( ( ) ) La sute M,δ j est appelée système projectf fort de varétés banachques s j N M est une varété dfférentable modelée sur l espace de Banach M ( ( ) ) M,δ j est un système projectf d espaces banachques j N pour tout x = (x ) M = lm M, l exste un système projectf de cartes locales (U,ϕ ) N tel que x U où la relaton de cohérence ϕ δ j = δj ϕ j est vérfée U = lmu est ouvert dans M. La lmte projectve M = lmm a alors une structure de varété fréchétque modelée sur l espace de Fréchet M = lmm où la structure dfférentable est défne va les cartes (U,ϕ) où ϕ = lmϕ : U (ϕ (U )). 0
ϕ est ben un homéomorphsme (lmte projectve d homéomorphsmes) et les applcatons de changements de cartes ( ψ ϕ ) ( ( ϕ(u) = lm ψ (ϕ ) ) ) ϕ (U ) entre ouverts d espaces de Fréchet sont de classe C au sens de Kregel et Mchor (cf. [KrMc]). Exemple Espace des jets d ordre nfn des sectons d un fbré vectorel de rang fn au-dessus d une varété réelle de dmenson fne (cf [Sau], [AbbMan]). Exemple 2 Lmte projectve de groupes de Banach-Le (cf. [Gal], [Omo], [AbbMan]). Un groupe G est appelé lmte projectve de groupes de Banach-Le modelé sur la lmte projectve G = lmg s ( ). G = lmg où G,δ j est un système projectf de groupes de Banach- Le où G est modelé sur G 2. Pour tout N l exste une carte (U,ϕ ) centrée en le neutre e G telle que : (a) δ j (U j) U pour j (b) δ j ϕ j = ϕ j δ j (c) lm ϕ (U ) est ouvert dans G et lm U est ouvert dans G relatvement à la topologe de lmte projectve. A ttre d exemple smple, l espace des sutes réelles R N mun de la topologe produt est un groupe de Le abélen, lmte projectve des groupes de Le abélens R j, j N. Des exemples plus conséquents correspondent aux groupes de Le compacts eu égard au fat que tout groupe de Le compact est la lmte projectve d une famlle de groupes de Le compacts (cf. [Wel] ) On peut notamment défnr sur de tels groupes de Fréchet-Le G l exponentelle exp G comme lmte projectve de la sute exp G. Cette applcaton est alors contnue.
3.3 Lmte projectve forte de fbrés vectorels ( ( ) ) Sot M,δ j un système projectf fort de varétés banachques où j N chaque varété M est modelée sur l espace de Banach M. On consdère pour tout enter ( le fbré vectorel banachque (E,π,M ) de ( ) ) fbre type E où, de plus, E,λ j consttue un système projectf d espace de( Banach. ( ) Le système E,f j est appelé système projectf fort de fbrés vec- ) ) s pour tout (x ) l exste un système torels banachques sur ) j ( ( N M,δ j j N j projectf de trvalsatons (U,τ ) de (E,π,M ), où τ : (π ) (U ) U E sont des dfféomorphsmes locaux, tel que x U (ouvert de M ) et où U = lm U est ouvert dans M avec pour tous,j N tels que j on at la condton de cohérence ( ) δ j λj τ j = τ f j On a alors la proposton suvante qu généralse le résultat de [Gal3] relatf à la lmte projectve de fbrés tangents à des varétés banachques et dont on trouvera la démonstraton dans [AghSur2]. Proposton 3 Sot (E,π,M ) N un système projectf fort de fbrés vectorels( banachques. ) Alors lm E,lm π,lm M est un fbré vectorel fréchétque. Notons que le groupe lnéare Gl(E) ne pouvant être mun d une structure de groupede Le ne peut pas jouer le rôle de groupestructural. Il est c remplacé par le groupe de Le généralsé, H 0 (E) = lmh 0 (E) lmte projectve des groupes de Le banachques H 0 (E) = (h,...,h ) Gl(E j ) : λ j k h j = h k λ j k, pour k j j= On obtent alors la dfférentablté des fonctons de transton T. 2
4 Algébroïdes de Le banachques 4. Défnton. Exemples Sot π : E M un fbré vectorel banachque dont la fbre type est un espace de Banach E. Un morphsme de fbrés vectorels ρ : E TM est appelé ancre. Ce morphsme ndut une applcaton ρ: E TM=X(M) défne pour tout x de M et toute secton s de E par : ( ρ(s) ) (x) = ρ(s(x)). On suppose qu l exste un crochet [.,.] E sur l espace E qu le munsse d une structure d algèbre de Le. Défnton 4 Le quadruplet (E, π, M, ρ) est appelé algébroïde de Le banachque s :. ρ :(E,[.,.] E ) (X(M),[.,.]) est un homomorphsme d algèbres de Le 2. [s,fs 2 ] E = f [s,s 2 ] E + ( ρ(s ) ) (f) s 2 pour tous f F et s,s 2 E Exemple 5 E = TM et ρ = N est un tenseur de Njenhus,.e. vérfant la proprété [NX,NY] = N ([NX,Y]+[X,NY] N ([N,Y])) (TM,π,M,N) est un algébroïde de Le pour le crochet [.,.] N défn par [X,Y] N = [NX,Y]+[X,NY] N ([X,Y]) Le cas trval correspond au cas où N = lmid TM Exemple 6 E est une dstrbuton,.e. un sous-fbré vectorel de TM dont la fbre E x au dessus d un pont x de la base M est un sous-espace vectorel banachque fermé de codmenson fne, qu est de plus nvolutve. L ancre est alors l njecton canonque ρ : E TM. Exemple 7 E est le fbré cotangent à une varété banachque et ρ = P est un tenseur de Posson. Le crochet sur les sectons de T M est défn (cf. [MagMor]) par {α,β} P = L Pβ (α) L Pα (β)+d β,pα Le fat que (T M,P,M,{.,.} P ) at une structure d algébroïde de Le résulte de la proprété {α,f.β} P = f.{α,β} P +L Pα (f).β On peut trouver une généralsaton aux structures de Jacob, structures ntrodutes par Lchnerowcz ([Lc]), dans [Pon]. 3
Exemple 8 Sot une acton à drote ψ : M G M d un groupe de Le G sur une varété banachque M. On note G l algèbre de Le de G. Il exste alors un morphsme naturel du fbré banachque trval M G dans M défn par Ψ(x,X) = T (x,e) ψ(0,x) Pour tous X et Y dans G, on a : Ψ({X,Y}) = [Ψ(X),Ψ(Y)] où {, } désgne le crochet de Le sur G (cf. [KrMc], 36.2). (M G,Ψ,M,{, }) a alors une structure d algèbroïde de Le. 4.2 Opérateurs de dérvaton Peuvent être défnes, sur un algébroïde de Le banachque les notons de dérvée delel ρ s relatvement àunesecton sdee (cette notongénéralsant la noton de dérvée de Le L X le long d un champ de vecteurs, secton du fbré tangent TM) et de dfférentelle extéreure d ρ (cf. [Ana]). Pour toute secton s du fbré vectorel E, l exste un unque endomorphsme gradué de degré 0 de l algèbre graduée ΛE, appelé dérvée de Le relatvement à s et noté L ρ s vérfant les proprétés :. pour toute foncton f Λ 0 E = F L ρ s(f) = L ρ s (f) = ρ s (df) où L X désgne la dérvée de Le classque par rapport au champ de vecteurs X 2. pour tout q forme ω Λ q E (où q > 0) (L ρ sω)(s,...,s q ) = L σ s (ω(s,...,s q )) q ω(s,...,s,[s,s ] E,s +,...,s q ) = 4
D autre part, on défnt auss pour toute foncton f Λ 0 E = F l élément de Λ E, noté d ρ f, par d ρ f = t ρ df () où t ρ : T M E est la transposée de l ancre. Il exste un unque endomorphsme gradué de degré de l algèbre graduée ΛE appelé dérvaton extéreure, noté d ρ, vérfant les proprétés :. pour toute foncton f Λ 0 E = F, d ρ f est l élément de Λ E défn à la relaton (). 2. pour tout élément ω de Λ q E (q > 0), d ρ ω est l unque élément de Λ q+ E tel que pour tous s 0,...,s q E, (d ρ ω)(s 0,...,s q ) = + q ( ) L ρ s (ω(s 0,...,ŝ,...,s q )) =0 q 0 <j q ( ) +j ( ω ( [s,s j ] E,s 0,...,ŝ,...,ŝ j,...,s q )) On a alors la proprété d ρ d ρ = 0 4.3 Morphsmes d algébroïdes Défnton 9 Un morphsme de fbrés vectorels ψ : E E au dessus de f : M M est un morphsme des algébroïdes de Le banachques (E,π,M,ρ) et (E,π,M,ρ ) s l applcaton ψ :Λ q E Λ q E défne par ( ψ α ) x (s,...,s q ) = α f(x) (ψ s,...,ψ s q ) commute avec les dfférentelles : 4.4 Courbes admssbles d ρ ψ = ψ d ρ Dans le cadre de la Mécanque, un élément a de E peut être vu comme un vecteur vtesse généralsé, la vtesse naturelle v étant obtenue par applcaton de l ancre ρ à a,.e. v = ρ(a).. Une courbe γ : [0, ] E est dte admssble (cf. [CLMM]) s m(t) = ρ(γ(t)) où t m(t) = π(γ(t)) est la courbe sur la base M. Un morphsme d algébroïdes de Le applque alors les courbes admssbles sur les courbes admssbles. 5
4.5 Sem-gerbes Sot (E,π,M,ρ) un algébroïde de Le banachque et sot Tπ : TE TM l applcaton tangente de π. On notera τ E : TE E le fbré tangent de E. La noton de sem-gerbe que l on donne c est une généralsaton de celle utlsée lorsque E = TM. Défnton 0 Une secton S : E TE es appelée une sem-gerbe s. τ E S = Id E 2. Tπ S = ρ Nous avons alors le len suvant entre courbes admssbles et sem-gerbes (cf. [Ana]) Proposton Un champ de vecteurs sur E est une sem-gerbe s et seulement s ses courbes ntégrables sont des courbes admssbles. 5 Lmte projectve forte d algébroïdes de Le banachques j N Un système projectf fort d algébroïdes de Le banachques est la donnée d une sute (E,π,M,ρ ) N où ( ( ) ) E,f j est un système projectf fort de fbrés vectorels bana- ( chques (π : E M ) au-dessus du système projectf fort de varétés ( ) ) M,δ j j N Pour tous,j N tels que j, on a ρ f j = Tδ j ρ j f j : E j E est un morphsme d algébroïdes de Le (E j,π j,m j,ρ j ) et (E,π,M,ρ ) Théorème 2 Sot (E,π,M,ρ ) N un système projectf fort d algébroïdes de Le( banachques. ) Alors lm E,lm π,lm M,lm ρ a une structure d algébroïde de Le fréchétque. 6
Preuve. Remarquons tout d abord que la lmte projectve lmm est mune ( d une structure ) dfférentable comme défne en 2.2.. lme,lm π,lm M est un fbré vectorel fréchetque de groupe structural H 0 ((E) (cf. Proposton 3). ) La lmte projectve des fbrés (vetorels) tangents lm TM,lm p,lm M est mune d une structure de fbré vectorel fréchetque; on obtent alors le résultat de [Gal3], Theorem 2.. Etudons mantenant les proprétés des sectons des fbrés vectorels lm TM, lme et la lmte projectve des ancres ρ. ( (g Pour (g ) N tels que g j = g δ j = δ) j ) on peut défnr la lmte projectve g = lm g qu est encore de classe C. ( Remarquons tout d abord ( que ) s X = Tδ j (X j), nous avons X (g ) = Tδ j (X j) )(g ) = X j g δ j = X j (g j ). On défnt alors X = lmx lm X(M ) et on obtent Xg = lmx g où X g F. S les sutes ( X ) N et ( X 2 ) N où X,X2 X(M ) sont telles que X = ( ) ( ) Tδ j Xj (resp. X 2 = Tδ j Xj 2 ), elles donnenet nassance à des éléments X,X 2 lm X(M ). Pusque X et Xj sont δj relés (ans que X2 et Xj 2), leurs crochets δj le sont auss,.e. [ ( X ] [ ] ),X2 = Tδj Xj,X2 j et l on obtent le crochet de X et X 2 j comme lmte projectve de ces crochets. Sot s = lms où s E. Pusque les espaces lm M et lme sont des varétés dfférentables, la secton s : (x 0,x,...) (s 0 (x 0 ),s (x ),...) est de classe C (cf. defnton 2.2.3). Prouvons mantenant que l on peut dédure la condton de compatblté f j [ s j,s 2 ] j = [ s E j,s 2 ] δ j E de la structure de morphsme de f j (commutatvté avec les dfférentelles applquée aux formes) 7
(( Nous avons f) j (de )( ) ( ) α ) s j,s2 j = (d E α ) f j s j,fj s2 j où ( ) (d E α ) f j s j,f j s2 j ( )) ( [ ] = L ρ (α (f j s j) f j s2 j L ρ (α (f j s2 j) f j s j )) α f j s j,f j s2 j E ( ( )) ( ( )) [ = L ρ s α s 2 Lρ s 2 α s α s,s 2 ] E = X ( ( )) ( ( )) [ α s 2 X 2 α s α s,s 2 ] D un autre côté, nous avons (( α )) (s (d Ej f) j j,s 2 ) j ((( α ) (s = L ρj s f j ) 2 j ) ) ((( α ) (s j L ρj s 2 f j ) j ) ) (( α ) [s j f) j j,s 2 ] j ( )) ( [ ] = Xj (α f j s2 j Xj (α 2 f j s )) α f j s j,f j s2 E = X ( ( )) ( ( )) [ ] α s 2 X 2 α s α f j s j,f j s2 Pusquef j estunmorphsme,onobtentα [ [ ] s,s 2 = α ]E f j s j,fj s2 E et la condton de compatblté. Ans le crochet [ s,s 2] des lmtes projectves de sectons s = lm lme s et s 2 ] = lm s 2 peut-être défn comme lmte projectve des sectons [ s,s2 E de E. L ensemble lme mun de ce crochet a alors une structure d algèbre de Le. Eu égard aux condtons ρ f j = Tδj ρ j la lmte projectve ρ = lm ρ est un morphsme de fbrés. L applcaton ρ = lmρ est alors un morphsme d algèbres de Le entre ( ) ( ) lm E,[.,.] lm E et lm TM,[.,.]. Pour tous N, chaque secton s et s 2 of E et chaque foncton de classe C g : M R, on a [ s,g s 2 ] ] Afn d obtenr la relaton : nous devons prouver que : E = g [ s,s 2 E E E + ( ρ ( s )) (g ) s 2 [s,gs 2 ] E = g[s,s 2 ] E +(ρ(s ))(g) s 2 E j 8
( ]) ) f j g j [s [ j,s2 j = g s,s 2 ] δ j [( )) ] 2) f j ρ j (s j (g j ) s 2 j = [( ( )) ρ s (g ) s 2 ] δ j En ce qu concerne le premer pont, pour chaque fl (x ) N,.e. x j = δ j (x j), nous avons f j (g [ ) j s j,s 2 j (x ]E j ) = f j j (( ) ) g δ j [ s j,s2 j (x ]E j ) j Pusque f j est une applcaton lnéare de πj (x j ) vers π (x ), cette expresson est égale à g (x ) f j ( [ ] ) s j,s2 j (x j ). Grâce à la condton de E ] j compatblté f j [s j,s2 j = [ s ] E,s2 δ j E nous avons établ le premer j pont. Pour ce qu est du second pont, nous utlsons tout d abord la commutatvté avec les dfférentelles d E and d Ej. [( f) j (de ] (( (g )] g ) (s j )(x j ) = [d Ej δ) j ) (s j )(x j ) et ans ( ) (d E g ) f j s j (x j ) = [ d Ej (g j ) ] (s j )(x j ) En utlsant la défnton d E,.e. d E g = t ρ dg on obtent [ )] dg ρ (f j (s j(x j )) = dg j (ρ j (s j (x j ))) et donc ( )] [ρ f j s j (g )(x ) = [ρ j s j ](g j )(x j ) Grâce à la condton de compatblté, nous obtenons [ ] (( ) ) f j (ρ j s j ) (g ) = [ρ j (s j )] δ j g Le second pont en découle faclement. Q.E.D. 6 Exemples 6. Algébroïdes de Njenhus Le ( ( ) ) Sot M,δ j un système projectf fort de varétés banachques. j N Pour tout N, consdérons un tenseur de Njenhus N : TM TM (cf. 9
exemple 5). Dans ce cas, consdérons f j = Tδ j morphsme de TM j dans TM. S nous avons la condton de compatblté N Tδ j = Tδj N j ( ) lm TM,lm π,lm M,lm N est un algébroïde de Le fréchetque Le pusque nous avons en partculer ( (. δ) j dtm = d TMj δ) j A ttre d exemple, on peut consdrer le case de l oscllateur harmonque de dmenson nfne qu est un système hamltonen ( L ntegrable au sens de ( ) ) [Lu]. On consdère la lmte projectve R 2,δ j où δ j est la projecton canonque de R 2j sur R 2. Le tenseur de Njenhus N qu correspond à l opérateur de récurson peut être écrt comme sut : N = k= j N ( x 2 k +yk) ( 2 dx k +dy k ) x k y k où ((x,y ),...,(x,y )) sont les coordonnées sur R 2. Il est alors facle d établr la condton de compatblté. 6.2 Dstrbutons 6.2. Lmte projectve de dstrbutons nvolutves Une dstrbuton sur une varété banachque B est une applcaton C D : B TB telle que pour tout x B,D x est un sous espace vectorel T x B. Cette dstrbuton est nvolutve s pour tous champs de vecteurs X et Y tangents à D, le crochet [X,Y] est encore tangent à D. On peut remarquer que la dstrbuton mage de l ancre d un algébroïde de Le est une dstrbuton nvolutve fable (cf. [Pel]) s la base est régulèment lsse (cf. [CabPel]). ( ( ) ) Sot M,δ j un système projectf fort de varétés banachques. j N Consdérons pour tout N, une dstrbuton nvolutve dfférentable E au dessus de la varété M. (E,π,M,J ) N, où J : E TM est l njecton naturelle et où f j est la restrcton de Tδ j à E, est un système projectf fort d algébroïdes de Le. 20
La lmte projectve lme peut être vue comme une dstrbuton nvolutve sur le fbré fréchétque lm TM. 6.2.2 Lmte projectve de dstrbutons de rangs fns Consdérons le cas d une dstrbuton de dmenson sur l ensemble des jets nfns de sectons d un fbré vectorel p : F N. Sot X un champ de vecteurs sur F projetable sur N de projecton ˆX; le flot ϕ X t de X est au dessus du flot ϕ ˆX t de ˆX et par prolongement à J (F) on obtent un groupe local à un paramètre φ t = pr (ϕ X t ) de transformatons sur J (F) (cf. [And], [Olv]). Le prolongement pr (X) du champ de vecteurs X est le champ de vecteurs sur J (p) assocé à ce flot. Qu plus est ce flot préserve la dstrbuton de Cartan (déal de contact) C. On peut remarquer que C est une dstrbuton nvolutve sur la lmte projectve lmtj (p) qu apparaît comme lmte de dstrbutons non nvolutves J (p) (cf. [Sau]). Rappelons qu une varété dfférentable fréchétque mune d une dstrbuton nvolutve correspond à la noton de dffété (eng. dffety : dfferental varety) comme ntrodut par Vnogradov dans ([Vn]). On peut trouver des applcatons d une telle stuaton en mécanque non holonome et en théore du contrôle non lnéare (cf. par exemple [FLMR]). S l on consdère un système d EDP E,.e. une sous varété du fbré des jets J k (π), on obtent, par prolongement d ordre nfn, une sous varété : E J (π) de J (π). On a alors une dstrbuton nvolutve sur E par restrcton de la dstrbuton de Cartan à E va l mage récproque par (cf. [KsVan], [Dr]). Consdérons mantenant le cas d un système d EDP d ordre à 2 varables. Sot le fbré trval π : E M où M = R 2 et E = M R 2 = R R 2. On munt le fbré J (π) des jets d ordre de sectons lsses de E au dessus de M du système de coordonnées (x,y,u,u x,u y ), les varables ndépendantes sont x et y et la varable dépendante est u. On consdère alors le système d EDP du premer ordre R { ux = ϕ(x,y,u) u y = ψ(x,y,u) 2
Une condton nécessare pour que ce système sot ntégrable est que les condtons d ntégrablté suvantes sot vérfées sur la sous-varété R : D x ψ D y ϕ R = 0 Dans le cadre d un système de ce type, on établt que ces condtons sont auss suffsantes (cf. [Se],.4). Ces condtons d ntégrablté s écrvent alors ψ x +ϕ ψ u ϕ y ψ ϕ u = 0 (CI) Ces condtons d ntégrablté peuvent être nterprétées de manère plus géométrque en ntrodusant les deux champs de vecteurs sur E X = x +ϕ u et Y = y +ψ u Ces deux champs engendrent une dstrbuton régulère D 0 de dmenson 2. La condton d ntégrablté (CI) est alors équvalente à [X,Y] = 0,.e. à l nvolutvté de la dstrbuton. Le processus de prolongement (cf. [Olv], 5..) permet de prolonger chacun des champs de vecteurs X (resp. Y) sur J (π), J 2 (π) ans que J (π) en utlsant les opérateurs de dérvaton totale (cf. [Olv], 2.3.) en les champs pr () X, pr (2) X,...,pr X (resp. pr () Y, pr (2) Y,...,pr Y) Eu égard à la formule générale [Olv], (2.47) [ ] pr (n) [X,Y] = pr (n) X,pr (n) Y on en dédut que la dstrbuton D engendrée par les premers prolongements pr () X et pr () Y est encore nvolutve, de même que les dverses dstrbutons D n engendrée par les prolongements d ordre n que sont pr (n) X et pr (n) Y. La lmte projectve est alors une dffété. 6.3 Lmte nverse de dstrbutons banachques On consdère c le cas où les applcatons δ + : M + M sont les njectons canonques entre varétés de Banach, les dstrbutons E de corang sont défnes comme kerα où α est une -forme vérfant les dfférentes 22
condtons de compatblté. Onpeutrencontrecette stuaton pourm = C (S )où α (u ) = S u (x)dx. La dstrbuton assocée est affne ([KapMak]) et est lée au premer tenseur de Posson de l équaton de KdV. 7 Lmte projectve forte de sem-gerbes Sot (E,π,M,ρ ) N un système projectf fort d algébroïdes de Le. Consdérons une sute (γ ) N où γ : [0,] E est une courbe admssble telle que pour tous,j N tels que j f j γ j = γ Par conséquent γ = lm γ exste. Pour tous,j N tels que j et pour tous t [0,], en fasant appel aux égaltés ( ) (t) (π γ ) (t) = δ j (π j γ j ) = Tδ j ( (πj γ j ) (t) ) on obtent : (π γ ) (t) ρ (γ (t)) = Tδ j ( (πj γ j ) (t) ρ j (γ j (t)) ) Et ans pour tout t [0,], nous avons : (π γ) (t) = ρ(γ(t)) Une telle courbe sera appelée courbe admssble dans E = lm E. Consdérons mantenant (S ) N où S : E TE est une sem-gerbe tel que Tf j S j = S f j On peut alors défnr S : (u 0,u,...) (S 0 (u 0 ),S (u ),...) qu est une secton C de lmte. Il est facle de vor que l on a τ E S = Id E. Pour tous,j N tels que j et tout u = f j (u j) on a : ( ) (Tπ s ρ )(u ) = Tπ s f j ρ f j (u j ) ( ) = Tπ Tf j s j ρ f j (u j ) ( ( ) ) = T π f j s j ρ f j (u j ) ( ( ) ) = T δ j π j s j ρ f j (u j ) 23
Fnalement, on peut écrre (Tπ s ρ )(u ) = Tδ j (Tπ j s j ρ j )(u j ) Et ans nous obtenons S sera appelée sem-gerbe. Tπ s = ρ Onpeutdéfnrdemanèreévdentelanotondegerbe surlalmteprojectve lm E comme lmte projectve de gerbes.. On termne ce traval par une proposton qu fat apparaître le len entre sem-gerbes et courbes admssbles. On généralse alors un rsulatat de [Ana] (pour le cas des gerbes, dans le cas partculer E = TM, vor [RezMal]). Proposton 3 Un champ de vecteurs S = lms on E = lme est une sem-gerbe s et seulement s toutes ses courbes ntégrales sont des courbes admssbles. Preuve. La preuve n est ren d autre qu une adaptaton de la démonstraton du Théorème 2.3 que l on peut trouver dans l artcle [Ana]. Consdérons pour ce fare une sem-gerbe S = lm S et supposons que c : [0,] E est une courbe ntégrale de S. Alors pour tout N, c : [0,] E est une courbe ntégrale de S (.e. t [0,],c (t) = S (c (t))) où f j c j = c. Il s ensut que pour tout N et pour tout t [0,] on a : Tπ c (t) = (Tπ S )(c (t)) Pusque π c (t) = ρ (c(t)), c est une courbe admssble, l en est de même pour c = lmc. La récproque est lassée au lecteur. Q.E.D. Pour un système projectf de gerbes l est facle de prouver, en utlsant la relaton h λ fj = f j hλ j et les proprétés des applcatons tangentes, que pour tous,j N tels que j et pour tous u = f j (u j) on a : Tf j (s j h λ j λth λ j s j ) (u j ) = (s h λ λth λ s ) (u ) On peut alors écrre S h λ = λth λ S et S est alors une gerbe sur E. 24
Références [AbbMan] M.C. Abbat, A. Manà, On Dfferental Structure for Projectve Lmts of Manfolds, J. Geom. Phys., 29, n -2 (999) 35 63 [ADGS] M. Aghas, C.T. Dodson, G.N. Galans, A. Sur, Conjugate connectons and dfferental equatons on nfne dmensonal manfolds, J. Geom. Phys. (2008) [AghSur] M. Aghas, A. Sur, Ordnary dfferental equatons, Balkan Journal of Geometry and Its Applcatons 2 n 2 (2007) 8 [AghSur2] M. Aghas, A. Sur, Splttng theorems for the double tangent bundles of Fréchet manfolds, Balkan Journal of Geometry and Its Applcatons, 5 n 2 (200) 3 [Ana] [And] M. Anastase, Banach Le algebrods, math-dg/003.263 I. Anderson, Introducton to varatonnal bcomplex Contemp. Math. 32 (992) 5 [CabPel] P. Cabau, F. Pelleter, Almost Le structures on an anchored Banach bundle, math-dg/.5908 [CarMar] J.F. Carñena, E. Martnez, Le algebrod generalzaton of Geometrc Mechancs, Le algebrods, Banach Center Publcatons 54 (200) [CLMM] J. Cortés, M. de León, J.C. Marrero, E. Martínez, Non holonomc Lagrangan systems on Le algebrods, Dscrete Cont. Dyn. Sys 24 2 (2009) [Dr] R. Drd, Utlsaton de la méthode d équvalence de Cartan dans la constructon d un solveur d équatons dfférentelles Thèse, (Unversté de Llle) 2007 [FerStr] R.L. Fernades, I. Struchner, Le algebrods and Classfcaton Problems Geometry Sao Paulo, J. of Math. Sc. 2 2 (2008) 263 284 [FLMR] M. Fless, J. Lévne, P. Martn, P. Rouchon, Deux applcatons à la géométre locale des dffétés, Annales de l I.H.P. secton A,tome 66, 3 (997) 275 292 [Gal] [Gal2] G.N. Galans, Projectve Lmts of Banach-Le groups, Perodca Mathematca Hungarca, 32 (996) 79 9 G.N. Galans, Projectve Lmts of Banach Vector Bundles, Portugalae Mathematca, 55, fasc., (998) 24 25
[Gal3] [Ham] G.N. Galans, Dfferental and Geometrc Structure for the Tangent Bundle of a Projectve Lmt Manfold, Rend. Sem. Unv. Padova, Vol. 2 (2004) R.S. Hamlton, The Inverse Functon Theorem of Nash and Moser, Bulletn of the Amercan Mathematcal Socety, Volume 7, Number, July 982, 65 222 [KapMak] T. Kappeler, M. Makarov, On the symplectc folaton nduced by the second Posson tensor for KdV Symmetry and Perturbaton Theory, eds. D. Bambus, G. Gaeta, Quadern del Con. Naz. delle Rc., Fssca Matematca 54 (998) 32 52 [Kar] M. Karasev, Analogues of the objects of Le groups for non lnear Posson brackets, Math. USSR Izvest. 28 (987) 497 527 [KsVan] A.V. Kselev and J.W. Van De Leur, Involutve Dstrbutons of Operator-valued Evolutonnary Vector Felds math.ph/0703.082 [KrMc] A. Kregel, P.W. Mchor, The convenent Settng of Global Analyss, Mathematcal Surveys and Monographs, volume 53, AMS, 997 [KrMc2] A. Kregel, P.W. Mchor, Regular nfnte dmensonal Le groups, J. Le Theory, 7, (997) 6 99 [Lan] [Lc] S. Lang, Dfferental and Remannan Manfolds, Graduate Texts n Mathematcs, 60, Sprnger, New York, 995 A. Lchnerowcz, Les varétés de Possonet leurs algèbres de Le assocées, J. Dfferental Geometry, 2 (977) 253 300 [Lu] C.S.Lu Infnte-dmensonal Hamltonan-Jacob theory and L- ntegrablty math-ph/0905.0720 [MagMor] F. Magr, C. Moros, A geometrcal characterzaton of ntegrable hamntonan systems through the theory of Posson-Njenhus manfolds, Quaderno S 9, Unverstà degl stud d Mlano, 984 [Marl] [Mart] [Mol] C.-M. Marle, Dfferental calculus on a Le algebrod and Posson manfolds, math.dg/0804.245 E. Martínez, Reducton n optmal control theory, Rep. Math. Phys. 53 (2004) 79 90 P. Molno, Sur quelques proprétés des G-structures J. Dff. Geom. 7 3-4 (972) 489 58 [NagSul] S. Nag, D. Sullvan, Techmüller theory and the unversal perod mappng va quantum calculus and the H /2 space on the crcle, Osaka J. Math. 32 (995) 34 26
[Olv] [Omo] [Pay] [Pel] [Pon] P.J. Olver, Applcatons of Le groups to Dfferental Equatons (Sprnger New York, Graduate Texts n Mathematcs) 07 993 H. Omor, Infnte-dmensonal Le groups, Translatons of Mathematcal Monographs 58, Amercan Mathematcal Socety 997 Basc Prerequstes n Dfferental Geometry and Operator Theory n Vew of Applcatons to Quantum Feld Theory (2003) Integrablty of weak dstrbutons on Banach manfolds, math.dg/02.950 à paraître dans Indagatones Mathematcae D.I. Ponte, Grupos y groupodes de Le y Estructuras de Jacob, Tess, Unversdad de la Laguna, 2003 [Pop] L. Popescu, Posson structures on Le Algebrods (2008) [Pra] J. Pradnes, Théore de Le pour les groupoïdes dfférentables; relatons entre proprétés locales et globales, C.R. Acad. Sc. Pars 263 (966) 907 90. [RezMal] G. Rezae and R. Malekzadeh, Sprays on Fréchet Modelled Manfolds, Internatonal Mathematcal Forum 5 (200) 59 [Sau] [Scha] [Schm] [Se] [Vn] [Wel] D.J. Saunders, The geometry of jet bundles, Cambrdge Unv. Press 989 H.H. Schaeffer, Topologcal Vector Spaces, Graduate Texts n Mathematcs, 3, Sprnger, New York, 999 R. Schmd, Infnte Dmensonal Le Groups and Applcaton to Mathemathcal Physcs, Journal of Geometry and Symmetry n Physcs, (2004) 67 W.M. Seler, Involuton : the formal theory of dfferental equatons and ts applcatons n computer algebra and numercal analyss, 200 A.M. Vnogradov, Local symmetres and conservaton laws, Acta Appl. Math. Vol 2 (984) 2 78 A. Wel, L ntégraton dans les groupes topologques et ses applcatons, Hermann, Pars 940 [Wen] A. Wensten, Symplectc groupods and Posson manfolds, Bull. Amer. Math. Soc. 6 (987) 0 03 [Wen2] A. Wensten, Lagrangan mechancs and groupods, Felds Inst. Commun. 7 (996) 207 23 27