Estoy tratando de encontrar una prueba de referencia una declaración que he visto citado en alguna forma o el otro, pero sin referencia.
El entorno: vamos a P⟶M ser un piso principal G-paquete a través de una superficie de Riemann compacta, ˜M la cobertura universal de M. Además, los planos de conexiones en P están en bijection a las representaciones del grupo fundamental de la M a G (obtenemos a través de holonomy).
La declaración: Para cualquier H-reducción de la (PH,ι) donde H es la máxima compacto subgrupo de G, también podemos obtener un ρω-equivariant mapa de s:˜M⟶G/H asociado a los planos de conexión de ωP. Además, podemos escribir ι∗ω=A+ψ, A una conexión en PH de manera tal que, localmente, A=s∗∇. Aquí ∇ es la LC-conexión en G/H con la métrica que convierte a la multiplicación por una revisión elemento de G en isometrías.
Gracias!