Deje ser una Mentira grupo y que ser un subgrupo cerrado de . A continuación, se sabe que puede ser equipado con una única estructura diferenciable tal que es localmente trivial haz de fibras. Entonces, la teoría estándar de los principales paquetes, conexiones, asociados vector de paquetes, y el asociado covariante derivados se aplica a , y supongo que algunas simplificaciones aparecen. Mi pregunta es:
La teoría de los principales paquetes de conexiones, asociados vector de paquetes, y el asociado covariante derivados se aplican a las principales paquetes de la forma va bajo algún nombre especial? Me podría dar una referencia de donde esta teoría se desarrolla? Se relaciona con la noción de "Cartan conexión"?
Gracias.