In differential geometry, a Gstructure on an nmanifold M, for a given structure group^{[1]} G, is a principal Gsubbundle of the tangent frame bundle FM (or GL(M)) of M.
The notion of Gstructures 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)structure defines a Riemannian metric, and for the special linear group an SL(n,R)structure is the same as a volume form. For the trivial group, an {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 bundle over a group "comes from" a subgroup of . This is called reduction of the structure group (to ).
Several structures on manifolds, such as a complex structure, a symplectic structure, or a Kähler structure, are Gstructures with an additional integrability condition.
One can ask if a principal bundle over a group "comes from" a subgroup of . This is called reduction of the structure group (to ), and makes sense for any map , which need not be an inclusion map (despite the terminology).
In the following, let be a topological space, topological groups and a group homomorphism .
Given a principal bundle over , a reduction of the structure group (from to ) is a bundle and an isomorphism of the associated bundle to the original bundle.
Given a map , where is the classifying space for bundles, a reduction of the structure group is a map and a homotopy .
Reductions of the structure group do not always exist. If they exist, they are usually not essentially unique, since the isomorphism is an important part of the data.
As a concrete example, every evendimensional real vector space is isomorphic to the underlying real space of a complex vector space: it admits a linear complex structure. A real vector bundle admits an almost complex structure if and only if it is isomorphic to the underlying real bundle of a complex vector bundle. This is then a reduction along the inclusion GL(n,C) → GL(2n,R)
In terms of transition maps, a Gbundle can be reduced if and only if the transition maps can be taken to have values in H. Note that the term reduction is misleading: it suggests that H is a subgroup of G, which is often the case, but need not be (for example for spin structures): it's properly called a lifting.
More abstractly, "Gbundles over X" is a functor^{[2]} in G: given a map H → G, one gets a map from Hbundles to Gbundles by inducing (as above). Reduction of the structure group of a Gbundle B is choosing an Hbundle whose image is B.
The inducing map from Hbundles to Gbundles is in general neither onto nor onetoone, so the structure group cannot always be reduced, and when it can, this reduction need not be unique. For example, not every manifold is orientable, and those that are orientable admit exactly two orientations.
If H is a closed subgroup of G, then there is a natural onetoone correspondence between reductions of a Gbundle B to H and global sections of the fiber bundle B/H obtained by quotienting B by the right action of H. Specifically, the fibration B → B/H is a principal Hbundle over B/H. If σ : X → B/H is a section, then the pullback bundle B_{H} = σ^{−1}B is a reduction of B.^{[3]}
Every vector bundle of dimension has a canonical bundle, the frame bundle. In particular, every smooth manifold has a canonical vector bundle, the tangent bundle. For a Lie group and a group homomorphism , a structure is a reduction of the structure group of the frame bundle to .
The following examples are defined for real vector bundles, particularly the tangent bundle of a smooth manifold.
Group homomorphism  Group  structure  Obstruction 

General linear group of positive determinant  Orientation  Bundle must be orientable  
Special linear group  Volume form  Bundle must be orientable ( is a deformation retract)  
Determinant  Pseudovolume form  Always possible  
Orthogonal group  Riemannian metric  Always possible ( is the maximal compact subgroup, so the inclusion is a deformation retract)  
Indefinite orthogonal group  PseudoRiemannian metric  Topological obstruction^{[4]}  
Complex general linear group  Almost complex structure  Topological obstruction  

almost quaternionic structure^{[5]}  Topological obstruction^{[5]}  
General linear group  Decomposition as a Whitney sum (direct sum) of subbundles of rank and .  Topological obstruction 
Some structures are defined terms of others: Given a Riemannian metric on an oriented manifold, a structure for the 2fold cover is a spin structure. (Note that the group homomorphism here is not an inclusion.)
Although the theory of principal bundles plays an important role in the study of Gstructures, the two notions are different. A Gstructure is a principal subbundle of the tangent frame bundle, but the fact that the Gstructure bundle consists of tangent frames is regarded as part of the data. For example, consider two Riemannian metrics on R^{n}. The associated O(n)structures are isomorphic if and only if the metrics are isometric. But, since R^{n} is contractible, the underlying O(n)bundles are always going to be isomorphic as principal bundles because the only bundles over contractible spaces are trivial bundles.
This fundamental difference between the two theories can be captured by giving an additional piece of data on the underlying Gbundle of a Gstructure: the solder form. The solder form is what ties the underlying principal bundle of the Gstructure to the local geometry of the manifold itself by specifying a canonical isomorphism of the tangent bundle of M to an associated vector bundle. Although the solder form is not a connection form, it can sometimes be regarded as a precursor to one.
In detail, suppose that Q is the principal bundle of a Gstructure. If Q is realized as a reduction of the frame bundle of M, then the solder form is given by the pullback of the tautological form of the frame bundle along the inclusion. Abstractly, if one regards Q as a principal bundle independently of its realization as a reduction of the frame bundle, then the solder form consists of a representation ρ of G on R^{n} and an isomorphism of bundles θ : TM → Q ×_{ρ} R^{n}.
Several structures on manifolds, such as a complex structure, a symplectic structure, or a Kähler structure, are Gstructures (and thus can be obstructed), but need to satisfy an additional integrability condition. Without the corresponding integrability condition, the structure is instead called an "almost" structure, as in an almost complex structure, an almost symplectic structure, or an almost Kähler structure.
Specifically, a symplectic manifold structure is a stronger concept than a Gstructure for the symplectic group. A symplectic structure on a manifold is a 2form ω on M that is nondegenerate (which is an structure, or almost symplectic structure), together with the extra condition that dω = 0; this latter is called an integrability condition.
Similarly, foliations correspond to Gstructures coming from block matrices, together with integrability conditions so that the Frobenius theorem applies.
A flat Gstructure is a Gstructure P having a global section (V_{1},...,V_{n}) consisting of commuting vector fields. A Gstructure is integrable (or locally flat) if it is locally isomorphic to a flat Gstructure.
The set of diffeomorphisms of M that preserve a Gstructure is called the automorphism group of that structure. For an O(n)structure they are the group of isometries of the Riemannian metric and for an SL(n,R)structure volume preserving maps.
Let P be a Gstructure on a manifold M, and Q a Gstructure on a manifold N. Then an isomorphism of the Gstructures is a diffeomorphism f : M → N such that the pushforward of linear frames f_{*} : FM → FN restricts to give a mapping of P into Q. (Note that it is sufficient that Q be contained within the image of f_{*}.) The Gstructures P and Q are locally isomorphic if M admits a covering by open sets U and a family of diffeomorphisms f_{U} : U → f(U) ⊂ N such that f_{U} induces an isomorphism of P_{U} → Q_{f(U)}.
An automorphism of a Gstructure is an isomorphism of a Gstructure P with itself. Automorphisms arise frequently^{[6]} in the study of transformation groups of geometric structures, since many of the important geometric structures on a manifold can be realized as Gstructures.
A wide class of equivalence problems can be formulated in the language of Gstructures. For example, a pair of Riemannian manifolds are (locally) equivalent if and only if their bundles of orthonormal frames are (locally) isomorphic Gstructures. In this view, the general procedure for solving an equivalence problem is to construct a system of invariants for the Gstructure which are then sufficient to determine whether a pair of Gstructures are locally isomorphic or not.
Let Q be a Gstructure on M. A principal connection on the principal bundle Q induces a connection on any associated vector bundle: in particular on the tangent bundle. A linear connection ∇ on TM arising in this way is said to be compatible with Q. Connections compatible with Q are also called adapted connections.
Concretely speaking, adapted connections can be understood in terms of a moving frame.^{[7]} Suppose that V_{i} is a basis of local sections of TM (i.e., a frame on M) which defines a section of Q. Any connection ∇ determines a system of basisdependent 1forms ω via
where, as a matrix of 1forms, ω ∈ Ω^{1}(M)⊗gl(n). An adapted connection is one for which ω takes its values in the Lie algebra g of G.
Associated to any Gstructure is a notion of torsion, related to the torsion of a connection. Note that a given Gstructure may admit many different compatible connections which in turn can have different torsions, but in spite of this it is possible to give an independent notion of torsion of the Gstructure as follows.^{[8]}
The difference of two adapted connections is a 1form on M with values in the adjoint bundle Ad_{Q}. That is to say, the space A^{Q} of adapted connections is an affine space for Ω^{1}(Ad_{Q}).
The torsion of an adapted connection defines a map
to 2forms with coefficients in TM. This map is linear; its linearization
is called the algebraic torsion map. Given two adapted connections ∇ and ∇′, their torsion tensors T_{∇}, T_{∇′} differ by τ(∇−∇′). Therefore, the image of T_{∇} in coker(τ) is independent from the choice of ∇.
The image of T_{∇} in coker(τ) for any adapted connection ∇ is called the torsion of the Gstructure. A Gstructure is said to be torsionfree if its torsion vanishes. This happens precisely when Q admits a torsionfree adapted connection.
An example of a Gstructure is an almost complex structure, that is, a reduction of a structure group of an evendimensional manifold to GL(n,C). Such a reduction is uniquely determined by a C^{∞}linear endomorphism J ∈ End(TM) such that J^{2} = −1. In this situation, the torsion can be computed explicitly as follows.
An easy dimension count shows that
where Ω^{2,0}(TM) is a space of forms B ∈ Ω^{2}(TM) which satisfy
Therefore, the torsion of an almost complex structure can be considered as an element in Ω^{2,0}(TM). It is easy to check that the torsion of an almost complex structure is equal to its Nijenhuis tensor.
Imposing integrability conditions on a particular Gstructure (for instance, with the case of a symplectic form) can be dealt with via the process of prolongation. In such cases, the prolonged Gstructure cannot be identified with a Gsubbundle of the bundle of linear frames. In many cases, however, the prolongation is a principal bundle in its own right, and its structure group can be identified with a subgroup of a higherorder jet group. In which case, it is called a higher order Gstructure [Kobayashi]. In general, Cartan's equivalence method applies to such cases.