Un grupoide de Lie es un grupoide donde ambos, el grupoide y el espacio base son variedades y las funciones origen y final son funciones diferenciables cuya diferencial es suryectiva, es decir son sumersiones suryectivas. Esta definición generaliza la de grupo de Lie: los grupos de Lie son los grupoides de Lie donde el espacio base es trivial.
Definición
- Un grupoide de Lie es un
grupoide con base
tal que
,
son variedades diferenciales.
, las aplicaciones origen y final, son sumersiones sobreyectivas.
, la aplicación unidad, es diferenciable. - La multiplicación
es diferenciable.
Observar que si denotamos
la diagonal de
, entonces
. Como
es una sumersión suryectiva, por el teorema de la función inversa obtenemos que
es una subvariedad incrustada y cerrada de
y hereda su estructura diferenciable. Esto nos dice que tiene sentido hablar de que el producto o multiplicación es diferenciable.
Ejemplos
- Sea
un fibrado vectorial y
es lineal
, es decir todas las transformaciones lineales entre fibras. Si
, definimos
, el origen de
y
, el destino de
. Claramente
Si
, la composición
sólo tiene sentido si
. Si se define
Entonces existe un producto
definido como arriba. De esta forma
es un grupoide con base
, donde
son las aplicaciones origen y final, respectivamente y la identidad es el isomorfismo identidad en cada fibra.
- Sea
una variedad diferenciable y
un grupo de Lie. Entonces el grupoide trivial
es un grupoide de Lie.
Control de autoridades | - Proyectos Wikimedia
Datos: Q6543824 - Identificadores
- BNE: XX559132
- BNF: 15102658g (data)
- GND: 4224180-7
- LCCN: sh87001681
- NLI: 987007541392305171
- SUDOC: 113531478
|
---|
Datos: Q6543824