In differential geometry, a G-structure on an n {\displaystyle n} -manifold M {\displaystyle M} , for a given structure group G {\displaystyle G} , is a principal G {\displaystyle G} -subbundle of the tangent frame bundle F M {\displaystyle {\text{F}}M} (or GL ( M ) {\displaystyle \operatorname {GL} (M)} ) of M {\displaystyle M} . The notion of G {\displaystyle G} -structures includes various classical structures that can be defined on manifolds, which in some cases are tensor fields. For example, for the orthogonal group, an O ( n ) {\displaystyle \operatorname {O} (n)} -structure defines a Riemannian metric, and for the special linear group an SL ( n , R ) {\displaystyle \operatorname {SL} (n,\mathbb {R} )} -structure is the same as a volume form. For the trivial group, an { e } {\displaystyle \{e\}} -structure consists of an absolute parallelism of the manifold. Generalising this idea to arbitrary principal bundles on topological spaces, one can ask if a principal G {\displaystyle G} -bundle over a group G {\displaystyle G} "comes from" a subgroup H {\displaystyle H} of G {\displaystyle G} . This is called reduction of the structure group (to H {\displaystyle H} ). Several structures on manifolds, such as a complex structure, a symplectic structure, or a Kähler structure, are G {\displaystyle G} -structures with an additional integrability condition.
Reduction of the structure group One can ask if a principal G {\displaystyle G} -bundle over a group G {\displaystyle G} "comes from" a subgroup H {\displaystyle H} of G {\displaystyle G} . This is called reduction of the structure group (to H {\displaystyle H} ), and makes sense for any map H → G {\displaystyle H\to G} , which need not be an inclusion map (despite the terminology).
Definition In the following, let X {\displaystyle X} be a topological space, G , H {\displaystyle G,H} topological groups and ϕ : H → G {\displaystyle \phi \colon H\to G} a group homomorphism.
In terms of concrete bundles Given a principal G {\displaystyle G} -bundle P {\displaystyle P} over X {\displaystyle X} , a reduction of the structure group (from G {\displaystyle G} to H {\displaystyle H} ) is a H {\displaystyle H} -bundle Q {\displaystyle Q} and an isomorphism ϕ Q : Q × H G → P {\displaystyle \phi _{Q}\colon Q\times _{H}G\to P} of the associated bundle to the original bundle.
In terms of classifying spaces Given a map π : X → B G {\displaystyle \pi \colon X\to BG} , where B G {\displaystyle BG} is the classifying space for G {\displaystyle G} -bundles, a reduction of the structure group is a map π Q : X → B H {\displaystyle \pi _{Q}\colon X\to BH} and a homotopy ϕ Q : B ϕ ∘ π Q → π {\displaystyle \phi _{Q}\colon B\phi \circ \pi _{Q}\to \pi } .
… excerpt ends here. Continue reading the full article.
