Fibrado principal

Fibrado principal

En matemática, un G-fibrado principal es una clase especial de fibrado para la cual las fibras son todas espacios homogéneos principales respecto a un grupo topológico.

Los G-fibrados principales son G-fibrados en el sentido que el grupo G también sirve como el grupo estructural del fibrado. Los fibrados principales tienen usos importantes en la topología y la geometría diferencial. También han encontrado el uso en física del donde forman la parte de la teoría de gauge. Los fibrados principales proporcionan un marco unificador en la teoría de los fibrados en el sentido que todos los fibrados con grupo estructural G determinan un único G-fibrado principal desde el cuál puede ser reconstruido el fibrado original.

Contenido

Definición formal

Un G-fibrado principal es un fibrado \pi: P \to X junto a una acción a derecha continua P \times G \to P por un grupo topológico G tal que G preserva las fibras de P y la acción es libre y transitiva. La fibra abstracta del fibrado se la toma como G (a menudo se requiere que el espacio base X sea un espacio de Hausdorff y posiblemente paracompacto).

Se sigue que las órbitas de la G-acción son precisamente las fibras del fibrado y el espacio de órbitas es homeomorfo al espacio homogéneo P / G.

Un G-fibrado principal puede también ser caracterizado como un G-fibrado  \pi: P \to X con fibra G donde el grupo de la estructura actúa en la fibra por la multiplicación a izquierda. Puesto que la multiplicación a derecha por G en la fibra conmuta con la acción del grupo estructural, existe una noción invariante de multiplicación a derecha de G sobre P.

La noción de fibrado principal se puede extender a la categoría de las variedades diferenciables, requiriendo que \pi: P \to X sea una aplicación diferenciable entre variedades, G un grupo de Lie y que la acción de G sobre P sea diferenciable.

Ejemplos

El ejemplo más común de un fibrado principal diferenciable es el fibrado de referencias, también llamado fibrado de marcos, de una variedad M. La fibra sobre un punto x \in M es el sistema de todos las referencias (es decir bases ordenadas) del espacio tangente TxM. El grupo general lineal GL(n,\mathbb R) actúa en forma simple y transitiva sobre el conjunto de bases. Estas fibras se pueden unir de manera natural para obtener un GL(n,\mathbb R)-fibrado principal sobre M.

Variaciones en el ejemplo anterior incluyen el fibrado de referencias ortonormales de una variedad riemanniana. Aquí las referencias deben ser bases ortonormales respecto a la métrica. El grupo estructural es el grupo ortogonal O(n).

Si X es un espacio topológico y  p: C \to X es un cubrimiento normal (regular), esto último puede ser considerado un fibrado principal donde el grupo estructural π1(X) / p * π1(C) actúa sobre C vía la acción de monodromía. En particular, el cubrimiento universal de un espacio topológico X es un fibrado principal sobre X con grupo estructural π1(X).

Sean G un grupo de Lie y H un un subgrupo cerrado (no necesariamente normal). Entonces G es un H-fibrado principal sobre el espacio cociente (izquierdo) G / H. Aquí la acción de H en G es la multiplicación a derecha. Las fibras son los coconjuntos a izquierda de H (en este caso hay una fibra distinguida, la que contiene la identidad, que es naturalmente isomorfa a H).

Consideremos la proyección \pi:S^1 \to S^1 dada por z \mapsto z^2. Este \mathbb{Z}_2-fibrado principal es el fibrado asociado a la banda de Moebius.

Los espacios proyectivos proporcionan ejemplos interesantes de fibrados principales. Recordemos que la n-esfera Sn es un cubrimiento doble del espacio proyectivo real \mathbb R \mathbb P^n. La acción natural de O(1) sobre Sn da la estructura de O(1)-fibrado principal sobre \mathbb R \mathbb P^n. Asimismo, S2n + 1 es un U(1)-fibrado principal sobre \mathbb C \mathbb P^n y S4n + 3 es un Sp(1)-fibrado principal sobre el espacio proyectivo cuaterniónico \mathbb H \mathbb P^n. Entonces tenemos una serie de fibrados principales para cada entero positivo n:

{O}(1) \to S(\mathbb{R}^{n+1}) \to \mathbb{RP}^n
{U}(1) \to S(\mathbb{C}^{n+1}) \to \mathbb{CP}^n
{Sp}(1) \to S(\mathbb{H}^{n+1}) \to \mathbb{HP}^n


Aquí S(V) denota la esfera unidad en V. Por todos estos ejemplos el caso n = 1 da los fibrados de Hopf.

Trivializaciones y secciones

Una de las preguntas más importantes con respecto a un espacio fibrado es si es o no un fibrado trivial (es decir isomorfo a un fibrado producto). Para los fibrados principales hay una caracterización conveniente de la trivialidad:

Teorema. Un fibrado principal es trivial si y solamente si admite una sección global.

Este resultado no es cierto para fibrados en general. En particular los fibrados vectoriales, por ejemplo, tienen siempre la sección cero, sean triviales o no.

El mismo teorema se aplica a las trivializaciones locales de fibrados principales. Sea \pi:P \to X un G-fibrado principal. Un conjunto abierto U en X admite una trivialization local si y solamente si existe una sección local en U. Dado una trivialización local  \phi: \pi^{- 1}(U) \to U \times G podemos definir una sección local asociada

s: U \to \pi^{- 1}(U),
s(x): = φ − 1(x,e)

donde e es la identidad en G. Recíprocamente, dado una sección local s podemos definir una trivialización φ por

 \phi^{- 1} (x,g) = s(x)\cdot g

El hecho de que G actúa en forma simple y transitiva garantiza que esta aplicación es una biyección. Es posible comprobar que también es un homeomorfismo. Los trivializaciones locales definidas por una sección local son G-equivariantes en el sentido siguiente: si escribimos

 \phi: \pi^{- 1}(U) \to  U \times G

en la forma

 \phi(p) = (\pi(p), \varphi(p))

entonces la aplicación \varphi: P \to G satisface

\varphi(p\cdot g) = \varphi(p) \cdot g

En términos de las secciones locales s, la aplicación \varphi viene dada por

\varphi(s(x)\cdot g) = g.

La versión local del teorema de la sección entonces indica que las trivializaciones locales equivariantes de un fibrado principal están en correspondencia con las secciones locales.

Sea ({Ui},{φi}) una trivialización local equivariante de P y si las secciones locales inducidas en cada Ui. En U_i \cap U_j las secciones si y sj están relacionadas por el grupo G. En efecto, las funciones de transición entre las diferentes trivializaciones, dadas por

(\phi_j \circ \phi_i^{-1}):(U_i \cap U_j) \times G \to (U_i \cap U_j) \times G

en la primera coordenada resultan ser la identidad y envían

 (x,e) \mapsto (x,t_{ij}(x)).

Luego para cualquier x \in   U_i \cap U_j tenemos

s_j(x) = s_i(x) \cdot t_{ij}(x).

Caracterización de fibrados principales diferenciables

Si \pi: P \to X es un G-fibrado principal diferenciable, entonces G actúa en forma propia y libre en P de modo que el espacio de órbitas G / P es difeomorfo al espacio base X. Resulta que esto caracteriza completamente a los fibrados principales diferenciables. Esto es, si P es una variedad diferenciable, G es un grupo de Lie y \mu:P\times G \to P una acción a derecha diferenciable, libre y propia entonces

  • P / G (espacio cociente por la acción μ) es una variedad diferenciable,
  • la proyección natural \pi:P \to P/G es una sumersión, y
  • P es un G-fibrado principal diferenciable sobre P / G.

Reducción del grupo estructural

Sea \pi: P \to X es un G-fibrado principal. Dado un subgrupo H \subset G, podemos considerar el fibrado P / H cuyas fibras son los coconjuntos G / H. Si el nuevo fibrado admite una sección global, diremos que la sección es una reducción del grupo estructural de G al de H. En particular, si el H es la identidad, entonces una reducción de G a la identidad es equivalente a tener una sección global del fibrado original, lo cual es equivalente a que el fibrado sea trivial. En general no existen las reducciones del grupo estructural.

Muchas preguntas sobre la estructura topológica de un fibrado se pueden reformular como preguntas sobre la admisibilidad de la reducción del grupo estructural. Por ejemplo:

  • Una variedad real 2n-dimensional admite una estructura compleja si el fibrado de marcos correspondiente a la variedad, cuyas fibras son GL(2n,\mathbb{R}), puede ser reducido al grupo GL(n,\mathbb{C}) \subset GL(2n,\mathbb{R}).
  • Una variedad n-dimensional admite n campos vectoriales linealmente independientes en cada punto si su fibrado del marcos es paralelizable, es decir, si el fibrado de marcos admite una sección global.
  • Una variedad real n-dimensional admite un campo k-plano si el fibrado de marcos puede ser reducido al grupo estructural GL(k,\mathbb{R}) \subset GL(n,\mathbb{R})

Véase también

Referencias

  • Bleecker, David (1981). Gauge Theory and Variational Principles. Addison-Wesley Publishing. ISBN 0-486-44546-1 (Dover edition).
  • Jost, Jürgen (2005). Riemannian Geometry and Geometric Analysis, (4th ed.) edición, New York: Springer. ISBN 3-540-25907-4.
  • Sharpe, R. W. (1997). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. New York: Springer. ISBN 0-387-94732-9.
  • Steenrod, Norman (1951). The Topology of Fibre Bundles. Princeton: Princeton University Press. ISBN 0-691-00548-6.
Obtenido de "Fibrado principal"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Fibrado asociado — Saltar a navegación, búsqueda En matemáticas, la teoría de los fibrados con un grupo de estructura G (un grupo topológico) permite una operación de creación de un fibrado asociado, en el cual la fibra típica de un fibrado cambia de F1 a F2, que… …   Wikipedia Español

  • Fibrado — Saltar a navegación, búsqueda En topología, un fibrado (o haz fibrado) es una función continua sobreyectiva π, de un espacio topológico E a otro espacio topológico B, satisfaciendo otra condición que lo hace de una forma particularmente simple… …   Wikipedia Español

  • Fibrado cotangente — Saltar a navegación, búsqueda En geometría diferencial, el fibrado cotangente de una variedad es la unión de todos los espacios cotangente en cada punto de la variedad. Contenido 1 Uno formas 2 El fibrado cotangente como espacio de fase …   Wikipedia Español

  • Conexión de Cartan — En matemática, la construcción de la conexión de Cartan en geometría diferencial es una generalización amplia del concepto de la conexión, basado en una comprensión del papel del grupo afín en el acercamiento usual. Fue desarrollado por Élie… …   Wikipedia Español

  • Teoría de campo de gauge — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Formalismo de Cartan — Saltar a navegación, búsqueda Esta página cubre notaciones y definiciones, a veces llamadas el formalismo de Cartan, para el concepto de la conexión de Cartan. Contenido 1 Vierbeins, etcetera 1.1 los ingredientes básicos 1.2 …   Wikipedia Español

  • Teoría de gauge — En física, las teorías de gauge se basan en la idea que las transformaciones de simetría se pueden realizar sólo localmente. Así pues, al rotar algo en cierta región, no se determina cómo los objetos rotan en otras regiones. Una transformación de …   Enciclopedia Universal

  • Introducción matemática a la relatividad general — La teoría de la relatividad general es una teoría métrica de la gravitación que incorpora además una descripción básica de los sistemas de referencia totalmente generales. Matemáticamente la teoría de la relatividad describe los efectos del campo …   Wikipedia Español

  • Clase característica — En matemáticas, una clase característica es un elemento del módulo de cohomología de un espacio topológico y que satisfacen ciertos axiomas considerando varias de ellas. Son un concepto unificador entre la topología algebraica, geometría… …   Wikipedia Español

  • Forma de curvatura — Saltar a navegación, búsqueda En geometría diferencial, la forma de curvatura es una generalización del tensor de curvatura a un fibrado principal con conexión arbitrario. Sea E → B un fibrado con grupo de estructura el grupo de Lie G y el… …   Wikipedia Español


Compartir el artículo y extractos

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.