Fibré principal

Fibré principal

En topologie, de manière informelle, un fibré principal sur un espace topologique X est un espace ressemblant localement à un produit de X par un espace homogène, un espace topologique sur lequel agit librement un groupe topologique. En particulier, un fibré principal est une fibration, mais c'est bien plus encore. Il vient avec un groupe, le groupe structural décrivant la manière dont les trivialisations locales se recollent entre elles. La définition est moins anecdotique qu'il n'y parait. La théorie des fibrés principaux recouvre la théorie des revêtements vectoriels, de leurs orientations, de leurs structures riemanniennes, de leurs structures symplectiques, ... Les fibrés principaux sont particulièrement importants dans l'étude des classes caractéristiques en topologie algébrique.

Sommaire

Définition formelle

Soit G un groupe topologique qui agit continuement et librement à droite sur un espace topologique F. Une telle action est un antiplongement du groupe G dans le groupe des homéomorphismes de F.

Un fibré principal M sur X de fibre F et de groupe structural G est la donnée d'une application continue surjective \pi:M\rightarrow X, appelée la projection, telle que :

Pour tout point x de X, il existe un voisinage ouvert Ux de x dans X, et un homéomorphisme (\pi,\Phi_x):\pi^{-1}(U_x)\rightarrow U_x\times F, appelé trivialisation locale au-dessus de U.
Pour deux points x et y, il existe une application continue f_{xy}:U_x\cap U_y\rightarrow G, appelée fonction de transition, telle que, pour tout m dans \pi^{-1}(U_x\cap U_y), on ait :
\Phi_y(m)= \Phi_x(m)\cdot f_{xy}(\pi(m))

Selon le contexte, la définition peut se vouloir plus restrictive vis-à-vis des structures. En particulier, en géométrie différentielle, on demande à ce que les espaces X et M soient des variétés, le groupe G un groupe de Lie et l'application et l'action différentiables. Mais essentiellement, la définition est la même.

Un fibré principal de groupe structural G et de fibre F est obtenu de la manière suivante. Considérons une famille (Ui) d'ouverts de X, et des applications f_{ij}:U_i\cap U_j\rightarrow G vérifiant :

  • Pour tout i, l'application fii est l'identité.
  • Pour tous i, j, fij-1=fji.
  • Pour tous i, j et k, fijfjk=fik. (Condition de cocyle)

Un fibré G-principal est un fibré principal sur X, de groupe structural G, et de fibre G, où l'action de G sur G est l'application de multiplication à droite. De manière équivalente, un fibré G principal est un espace topologique M sur lequel agit continument et librement à droite le groupe topologique G, de quotient M/G=X. Cette caractérisation est valable en géométrie différentielle sous l'hypothèse que le quotient soit une variété.

Le fibré des repères

La définition est moins anecdotique qu'il n'y parait. En particulier, la classification des fibrés principaux de groupe structural GLnR sur X équivaut à la classification des fibrés vectoriels de rang n sur X.

Applications :

  • En topologie algébrique, le fibré des repères joue un rôle central, en particulier, pour ce qui en est des classes caractéristiques.
  • En géométrie différentielle, s'il est courant de manipuler les connexions de Koszul, disposer d'une formulation géométrique est agréable. Les connexions d'Ehreshmann s'effectuent dans le fibré des repères.

Pour approfondir

Voir aussi

Liens internes

Références

  • (en) Jürgen Jost (de), Compact Riemannian Surfaces [détail des éditions]
  • (en) Glen E. Bredon, Topology and Geometry [détail des éditions]

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fibré principal de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Fibre principal — Fibré principal En topologie, de manière informelle, un fibré principal sur un espace topologique X est un espace ressemblant localement à un produit de X par un espace homogène, un espace topologique sur lequel agit librement un groupe… …   Wikipédia en Français

  • Fibré Principal — En topologie, de manière informelle, un fibré principal sur un espace topologique X est un espace ressemblant localement à un produit de X par un espace homogène, un espace topologique sur lequel agit librement un groupe topologique. En… …   Wikipédia en Français

  • Fibré —  Pour l’article homonyme, voir Fibre.   Ne pas confondre avec une fibration ni avec un espace filtré. En mathématiques, un espace fibré est la donnée d un espace topologique appelé espace total muni d une projection continue sur un …   Wikipédia en Français

  • Fibre Optique — Fibres optiques Une fibre optique est un fil en verre ou en plastique très fin qui a la propriété de conduire la lumière et sert dans les transmissions terrestres et océaniques de données. Elle offre un débit d informations nettement supérieur à… …   Wikipédia en Français

  • Fibre optique — Fibres optiques Une fibre optique est un fil en verre ou en plastique très fin qui a la propriété de conduire la lumière et sert dans les transmissions terrestres et océaniques de données. Elle offre un débit d informations nettement supérieur à… …   Wikipédia en Français

  • fibre optique — ● n. f. ►CABLE Très mince fil de verre (très fragile) permettant de transporter de l information sous la forme d impulsions lumineuses. Le principal inconvénient de la fibre optique est son coût. Son principal intérêt est de ne pas être sensible… …   Dictionnaire d'informatique francophone

  • Principal bundle — In mathematics, a principal bundle is a mathematical object which formalizes some of the essential features of a Cartesian product X times; G of a space X with a group G . Analogous to the Cartesian product, a principal bundle P is equipped with… …   Wikipedia

  • Fibre — Pour les articles homonymes, voir Fibre (homonymie). Sur les autres projets Wikimedia : « Fibre », sur le Wiktionnaire (dictionnaire universel) Une fibre est une formation élémentaire, végétale ou animale, d aspect filamenteux, se… …   Wikipédia en Français

  • Section d'un fibré — Une section s d un espace fibré p : E → B Un cham …   Wikipédia en Français

  • Connection (principal bundle) — This article is about connections on principal bundles. See connection (mathematics) for other types of connections in mathematics. In mathematics, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way …   Wikipedia

Share the article and excerpts

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