Deje $G$ ser una Mentira grupo y que $H$ ser un subgrupo cerrado de $G$. A continuación, se sabe que $G/H$ puede ser equipado con una única estructura diferenciable tal que $G\xrightarrow{\pi} G/H$ 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 $G\xrightarrow{\pi} G/H$, 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 $G\xrightarrow{\pi} G/H$ 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.