G-structure

G-structure

In differential geometry, a "G"-structure on an "n"-manifold "M", for a given structure group [Which is a Lie group G o GL(n,mathbf{R}) mapping to the general linear group GL(n,mathbf{R}). This is often but not always a Lie subgroup; for instance, for a spin structure the map is a covering space onto its image.] "G", is a "G"-subbundle of the tangent frame bundle F"M" (or GL("M")) of "M".

The notion of "G"-structures includes many other structures on manifolds, some of them being defined by 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.

Several structures on manifolds, such as a complex structure, a symplectic structure, or a Kähler structure, are "G"-structures with an additional integrability condition.

The term in physics is gauge group.

Principal bundles and "G"-structures

Although the theory of principal bundles plays an important role in the study of "G"-structures, the two notions are different. A "G"-structure is a principal subbundle of the tangent frame bundle, but the fact that the "G"-structure bundle "consists of tangent frames" is regarded as part of the data. For example, consider two Riemannian metrics on R"n". The associated SO("n")-structures are isomorphic if and only if the metrics are isometric. But, since R"n" is contractible, the underlying SO("n")-bundles are always going to be isomorphic as principal bundles.

This fundamental difference between the two theories can be captured by giving an additional piece of data on the underlying "G"-bundle of a "G"-structure: the solder form. The solder form is what ties the underlying principal bundle of the "G"-structure 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 "G"-structure. 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 Rn and an isomorphism of bundles θ : "TM" → "Q" ×ρ Rn.

Integrability conditions

Several structures on manifolds, such as a complex structure, a symplectic structure, or a Kähler structure, are "G"-structures with an addition 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 "G"-structure for the symplectic group. A symplectic structure on a manifold is a two-form "ω" on "M" that is non-degenerate (which is an Sp-structure, or almost symplectic structure), "together with" the extra condition that d"ω" = 0; this latter is called an integrability condition.

Similarly, foliations correspond to "G"-structures coming from block matrices, together with integrability conditions so that the Frobenius theorem applies.

Isomorphism of "G"-structures

The set of diffeomorphisms of "M" that preserve a "G"-structure 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 "G"-structure on a manifold "M", and "Q" a "G"-structure on a manifold "N". Then an isomorphism of the "G"-structures 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 "G"-structures "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 "G"-structure is an isomorphism of a "G"-structure "P" with itself. Automorphisms arise frequently [Kobayashi (1972).] in the study of transformation groups of geometric structures, since many of the important geometric structures on a manifold can be realized as "G"-structures.

A flat "G"-structure is a "G"-structure "P" having a global section ("V"1,...,"V"n) consisting of commuting vector fields. A "G"-structure is integrable (or "locally flat") if it is locally isomorphic to a flat "G"-structure.

A wide class of equivalence problems can be formulated in the language of "G"-structures. For example, a pair of Riemannian manifolds are (locally) equivalent if and only if their bundles of orthonormal frames are (locally) isomorphic "G"-structures. In this view, the general procedure for solving an equivalence problem is to construct a system of invariants for the "G"-structure which are then sufficient to determine whether a pair of "G"-structures are locally isomorphic or not.

Connections on "G"-structures

Let "Q" be a "G"-structure 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. [Kobayashi (1972) I.4.] 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 basis-dependent 1-forms ω via:∇X Vi = ωij(X)Vjwhere, as a matrix of 1-forms, ω ∈ Ω1(M)⊗gl("n"). An adapted connection is one for which ω takes its values in the Lie algebra g of "G".

Torsion of a "G"-structure

Associated to any "G"-structure is a notion of torsion, related to the torsion of a connection. Note that a given "G"-structure 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 G-structure" as follows. [Gauduchon (1997).]

The difference of two adapted connections is a 1-form on "M" with values in the adjoint bundle Ad"Q". That is to say, the space "A""Q" of adapted connections is an affine spacefor Ω1(Ad"Q").

The torsion of an adapted connection defines a
A^Q o Omega^2 (TM),to 2-forms with coefficients in "TM". This map is linear; its linearization : au:Omega^1(mathrm{Ad}_Q) o Omega^2(TM),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 "G"-structure. A "G"-structure is said to be torsion-free if its torsion vanishes. This happens precisely when "Q" admits a torsion-free adapted connection.

Example: Torsion for almost complex structures

An example of a "G"-structure is an almost complex structure, that is, a reductionof a structure group of an even-dimensional 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:Omega^2(TM)= Omega^{2,0}(TM)oplus mathrm{im}( au),where Ω2,0("TM") is a space of forms "B" ∈ Ω2("TM") which satisfy:B(JX,Y) = B(X, JY) = - J B(X,Y).,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.

Higher order "G"-structures

Imposing integrability conditions on a particular "G"-structure (for instance, with the case of a symplectic form) can be dealt with via the process of prolongation. In such cases, the prolonged "G"-structure cannot be identified with a "G"-subbundle 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 higher-order jet group. In which case, it is called a higher order "G"-structure [Kobayashi] . In general, Cartan's equivalence method applies to such cases.

ee also

* reduction of the structure group

Notes

References

*cite journal | authorlink=S. S. Chern | last = Chern | first = S.S. | year = 1966 | title = The geometry of "G"-structures | journal = Bull. Amer. Math. Soc. | volume = 72 | pages = 167–219 | doi = 10.1090/S0002-9904-1966-11473-8
*
*
*cite book | last = Sternberg | first = S. | year = 1983 | title = Lectures on Differential Geometry | edition = (2nd ed.) | publisher = Chelsea Publishing Co. | location = New York | isbn = 0-8218-1385-4 | oclc = 43032711


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • structure — [ stryktyr ] n. f. • 1528; « construction » XIVe; lat. structura, de struere « construire » 1 ♦ Manière dont un édifice est construit; agencement des parties d un bâtiment. ⇒aussi superstructure. « L immobile structure des cathédrales »… …   Encyclopédie Universelle

  • structuré — structure [ stryktyr ] n. f. • 1528; « construction » XIVe; lat. structura, de struere « construire » 1 ♦ Manière dont un édifice est construit; agencement des parties d un bâtiment. ⇒aussi superstructure. « L immobile structure des cathédrales » …   Encyclopédie Universelle

  • Structure des proteines — Structure des protéines La structure des protéines est la composition en acides aminés et la conformation en trois dimensions des protéines. Elle décrit la position relative des différents atomes qui composent une protéine donnée. Les protéines… …   Wikipédia en Français

  • STRUCTURE ET FONCTION — L’étude de la relation entre les structures et les fonctions est au cœur même de la biologie. Cette relation s’exprime chez les êtres vivants par l’adaptation des premières aux secondes et pose une série de problèmes absolument fondamentaux,… …   Encyclopédie Universelle

  • Structure (petrographie) — Structure (pétrographie) Pour les articles homonymes, voir Structure. En pétrographie, la structure (ou texture) d une roche qualifie les arrangements des minéraux entre eux. Les pétrographes français font une différence entre structure et… …   Wikipédia en Français

  • Structure (pétrologie) — Structure (pétrographie) Pour les articles homonymes, voir Structure. En pétrographie, la structure (ou texture) d une roche qualifie les arrangements des minéraux entre eux. Les pétrographes français font une différence entre structure et… …   Wikipédia en Français

  • Structure de l'ARN — Structure 3D d un ARN régulateur (riboswitch)[1] La structure de l ARN décrit l arrangement des paires de bases et de la conformation de l ARN en trois dimensions. L ARN étant trouvé le plus souvent sous forme de simple …   Wikipédia en Français

  • Structure — is a fundamental and sometimes intangible notion covering the recognition, observation, nature, and stability of patterns and relationships of entities. From a child s verbal description of a snowflake, to the detailed scientific analysis of the… …   Wikipedia

  • STRUCTURE DANS LES SCIENCES HUMAINES — Les sciences humaines utilisent de plus en plus couramment la notion de structure. Cependant, la signification de celle ci est loin d’être claire et donne souvent lieu à de faux problèmes. Par ailleurs, le mouvement structuraliste est, semble t… …   Encyclopédie Universelle

  • Structure tensor — Structure tensors (or second moment matrices) are matrix representations of partial derivatives. In the field of image processing and computer vision, they are typically used to represent gradients, edges or similar information. Structure tensors …   Wikipedia

  • Structure formation — refers to a fundamental problem in physical cosmology. The universe, as is now known from observations of the cosmic microwave background radiation, began in a hot, dense, nearly uniform state approximately 13.7 Gyr ago. [cite journal |author=D.… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”