Let X be a connected differential manifold and G be a subgroup of the group of diffeomorphisms of X which act analytically in the following sense:

if

g 1 , g 2 ∈ G and there is an open subset

U ⊂ X such that

g 1 , g 2 are equal when restricted to

U then

g 1 = g 2 (this definition is inspired by the analytic continuation property of analytic diffeomorphisms on an analytic manifold).

A ( G , X ) -structure on a topological space M is a manifold structure on M whose atlas' charts has values in X and transition maps belong to G . This means that there exists:

a covering of M by open sets U i , i ∈ I (i.e. M = ⋃ i ∈ I U i );open embeddings ϕ i : U i → X called charts;such that every transition map ϕ i ∘ ϕ j − 1 : ϕ j ( U i ∩ U i ) → ϕ i ( U i ∩ U j ) is the restriction of a diffeomorphism in G .

Two such structures ( U i , ϕ i ) , ( V j , ψ j ) are equivalent when they are contained in a maximal one, equivalently when their union is also a ( G , X ) structure (i.e. the maps ϕ i ∘ ψ j − 1 and ψ j ∘ ϕ i − 1 are restrictions of diffeomorphisms in G ).

If G is a Lie group and X a Riemannian manifold with a faithful action of G by isometries then the action is analytic. Usually one takes G to be the full isometry group of X . Then the category of ( G , X ) manifolds is equivalent to the category of Riemannian manifolds which are locally isometric to X (i.e. every point has a neighbourhood isometric to an open subset of X ).

Often the examples of X are homogeneous under G , for example one can take X = G with a left-invariant metric. A particularly simple example is X = R n and G the group of euclidean isometries. Then a ( G , X ) manifold is simply a flat manifold.

A particularly interesting example is when X is a Riemannian symmetric space, for example hyperbolic space. The simplest such example is the hyperbolic plane, whose isometry group is isomorphic to G = P G L 2 ( R ) .

When X is Minkowski space and G the Lorentz group the notion of a ( G , X ) -structure is the same as that of a flat Lorentzian manifold.

When X is the affine space and G the group of affine transformations then one gets the notion of an affine manifold.

When X = P n ( R ) is the n-dimensional real projective space and G = P G L n ( R ) one gets the notion of a projective structure.

Let M be a ( G , X ) -manifold which is connected (as a topological space). The developing map is a map from the universal cover M ~ to X which is only well-defined up to composition by an element of G .

A developing map is defined as follows: fix p M ~ and let q ∈ M ~ be any other point and γ a path from p to q a,d ϕ : U → X (where u is a small enough neighbourhood of p ) a map obtained by composing a chart of M with the projection M ~ → M . We may use analytic continuation along γ to extend ϕ so that its domain include q . Since M ~ is simply connected the value of ϕ ( q ) thus obtained does not depend on the original choice of γ , and we call the (well-defined) map ϕ : M ~ → X a *developing map* for the ( G , X ) -structure. It depends on the choice of basepoint and chart, but only up to composition by an element of G .

Given a developing map ϕ , the *monodromy* or *holonomy* of a ( G , X ) -structure is the unique morphism h : π 1 ( M ) → G which satisfies

∀ γ ∈ π 1 ( M ) , p ∈ M ~ : ϕ ( γ ⋅ p ) = h ( γ ) ⋅ ϕ ( p ) .

It depends on the choice of a developing map but only up to an inner automorphism of G .

A ( G , X ) structure is said to be *complete* if it has a developing map which is also a covering map (this does not depend on the choice of developing map since they differ by a diffeomorphism). For example, if X is simply connected the structure is complete if and only if the developing map is a diffeomorphism.

If X is a Riemannian manifold and G its full group of isometry, then a ( G , X ) -structure is complete if and only if the underlying Riemannian manifold is geodesically complete (equivalently metrically complete). In particular, in this case if the underlying space of a ( G , X ) -manifold is compact then the latter is automatically complete.

In the case where X is the hyperbolic plane the developing map is the same map as given by the Uniformisation Theorem.

In general compactness of the space does not imply completeness of a ( G , X ) -structure. For example, an affine structure on the torus is complete if and only if the monodromy map has its image inside the translations. But there are many affine tori which do not satisfy this condition, for example any quadrilateral with its opposite sides glued by an affine map yields an affine structure on the torus, which is complete is and only if the quadrilateral is a parallelogram.

Interesting examples of complete, noncompact affine manifolds are given by the Margulis spacetimes.

In the work of Charles Ehresmann ( G , X ) -structures on a manifold M are viewed as flat Ehresmann connections on fiber bundles with fiber X over M , whose monodromy maps lie in G .