Let $\pi:P \to M$ be a principal $G$-bundle. Given a subgroup $H$ of $G$ one can consider the fibre bundle $P_H :=P\times_{G}G/H$ whose fibres are the coset space $G/H$.

We define a reduction of structure group to be a section of $P_H \to M$ which is also the same as a $G$-equivariant map from $P \to G/H$.

Here are my questions :

  1. I would expect $P_H$ to be a principal $H$-bundle from the name. But the fibres are $G/H$. Am I understanding wrong?

Another interpretation of $G$-bundles are by specifying transition functions from $U\cap V \to G$ satisfying cocycle conditions.

  1. I would expect reduction to $H$ should somehow mean the transition functions land in $H$ instead of the full $G$. How can I formulate this?

All spaces above are smooth manifolds and groups are Lie groups.


1 Answer 1


$P_H$ is not a principal $H$-bundle, since as you correctly say, it has fiber isomorphic to $G/H$. In fact, one can show that $P_H$ can be identified with $P/H$: this is proved for example in "Foundations of Differential Geometry - Volume I" by Kobayashi and Nomizu, Chapter I, Proposition 5.5.

Instead, associated with a $G$-equivariant map $\phi:P\to G/H$, the corresponding $H$-subbundle is $\phi^{-1}(eH)$. Using $G$-equivariance it's straightforward to show this is actually invariant under the right $H$-action, and that it defines a $H$-bundle over $M$. The "reduction" of the bundle is simply the inclusion map $i:\phi^{-1}(eH)\to P$.

To answer your second question, for an arbitrary trivialisation of $P$, there's no guarantee the transition functions will take values in $H$. However if you define a local trivialisation of $\phi^{-1}(eH)$, in the form of local sections $s_U:U\subset M\to \phi^{-1}(eH)\subset P$, and use these to also define a local trivialisation of $P$, then the transition functions will be $H$-valued.

  • $\begingroup$ Thank you. I will work out the details. I want to ask a follow-up question if you don't mind. A metric is defined to be the reduction of structure group to the maximal compact subgroup of my starting G. Then I'm told that one defines energy of the metric $h$ as integration over $|Dh|^2$. Can you please explain what the "norm of $Dh$" means here? $\endgroup$ Feb 24 at 19:05
  • $\begingroup$ I don't know, sorry. It might help if you post the original source. You should probably post it as a separate question, though. $\endgroup$
    – user17945
    Feb 24 at 19:13
  • $\begingroup$ Alright I'm going to ask a separate question soon. Thanks anyway. $\endgroup$ Feb 24 at 19:14
  • $\begingroup$ math.stackexchange.com/questions/4390385/… $\endgroup$ Feb 24 at 19:39
  • $\begingroup$ I added the new question. Kindly have a look. $\endgroup$ Feb 24 at 19:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.