Anar al contingut

Grupoide de Lie

De L'Enciclopèdia, la wikipedia en valencià

Un grupoide de Lie és un grupoide a on abdós, el grupoide i l'espai base són varietats i les funciones orige i final són funciones diferenciables que la seua diferencial és suryectiva, és dir són sumersiones suryectivas. Esta definició generalisa la de grup de Lie: els grups de Lie són els grupoides de Lie a on l'espai base és trivial.

Definició

[editar | editar còdic]
  • Un grupoide de Lie és un G grupoide en base M tal que
    • G, M són varietats diferencials.
    • s,t:GM, les aplicacions orige i final, són sumersiones sobreyectivas.
    • 1:MG, l'aplicació unitat, és diferenciable.
    • La multiplicació G*GG és diferenciable.

Observar que si denotem ΔM la diagonal de M, llavors G*G=(s×t)1(ΔM). Com s×t és una sumersión suryectiva, pel teorema de la funció inversa obtenim que G*G és una subvariedad incrustada i tancada de G×G i hereta la seua estructura diferenciable. Açò nos diu que té sentit parlar de que el producte o multiplicació és diferenciable.

Eixemples

[editar | editar còdic]
  • Siga (E,q,M) un fibrado vectorial i Φ(E):={ξ:ExEy/x,yM,ξ és llineal }, és dir totes les transformacions llineals entre fibres. Si ξ:ExEyΦ, definim s(ξ)=x, l'orige de ξ i t(ξ)=y, el destí de ξ. Clarament s,t:ΦM. Si ξ,ηΦ(E), la composició ηξ només té sentit si t(ξ)=s(η). Si es definix Φ(E)*Φ(E):={(η,ξ)Φ(E)×Φ(E):t(ξ)=s(η)} Llavors existix un producte Φ(E)*Φ(E)Φ(E) definit com dalt. D'esta forma Φ(E) és un grupoide en base M, a on s,t són les aplicacions orige i final, respectivament i l'identitat és l'isomorfisme identitat en cada fibra.