Fibrado

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En topología, un fibrado (o haz fibrado) es una función continua exhaustiva π, de un espacio topológico E a otro espacio topológico B, satisfaciendo otra condición que lo hace de una forma particularmente simple localmente. Introduciendo otro espacio topológico F, utilizamos la función de proyección de B x FB como modelo. Por ejemplo en el caso de un fibrado vectorial, F es un espacio vectorial.

Definición[editar]

Un fibrado consiste en una cuaterna (E,B,\pi,F) \,, donde E \,, B \, y F \, son espacios topológicos y \pi: E \longrightarrow B es una aplicación continua y sobreyectiva, de manera que para cualquier x\in B \, existe un entorno U \, de  x en  B \, , y un homeomorfismo \phi:\pi^{-1}(U)\longrightarrow U\times F \, tal que \pi = \mbox{proj}_1\circ\phi\,, con \mbox{proj}_1:U\times F\longrightarrow U , \mbox{proj}_1(x,y)=x \,. Equivalentemente, para todo punto de B existe un entorno U y un homeomorfismo \phi tal que el siguiente diagrama conmuta:

Condición de ser localmente trivial

La aplicación  \pi es abierta por ser una proyección en un producto cartesiano y B tiene la topología cociente. El espacio B \, se llama el espacio de base del fibrado, E \, el espacio total, para cualquier x \in B \,, \pi^{-1}(x) \, se llama la fibra en x \, y la función \pi \, se llama la proyección. Se denota E|_U=\pi^{-1}(U) y se dice que \pi es localmente trivial y el par (U,\phi) es una trivialización local. Es habitual escribir E en vez de (E,B,\pi,F) si B,\pi y F se pueden entender por contexto y decir que E es un fibrado sobre B.

Ejemplos[editar]

El primer ejemplo es el fibrado producto o fibrado trivial dado por (B\times F,B,\mbox{proj}_1,F).

Un ejemplo de fibrado no (globalmente) trivial es la Banda de Möbius como espacio total E, base B\cong S^1 un círculo y fibra F=(0,1) un segmento de línea. La rotación de los segmentos F a lo largo de la cinta es apreciable sólo globalmente ya que localmente la estructura de la banda es homeomorfa a un producto U\times(0,1). Una descripción analítica explícita es

 E=\frac{\{(x,y)\in \mathbb{R}\times(0,1)\}}{(x,y)\sim (x+1,1-y)},\quad B\cong S^1=\frac{x\in\mathbb{R}}{x\sim x+1}

y la aplicación \pi es la proyección en la primera coordenada.

Un fibrado vectorial (E,B,\pi,F) es en particular un fibrado. El fibrado vectorial se llama real o complejo si la fibra F es un espacio vectorial real o complejo respectivamente. El fibrado tangente y el fibrado cotangente son ejemplos de fibrados vectoriales.

Un espacio recubridor o cubierta es un fibrado, aquí la F es un conjunto discreto.

Existen en la literatura una amplia cantidad de ejemplos con variedades específicas o fibras prescritas. Un par de ejemplos recurrentes en topología algebraica son la fibración de Hopf de S^{2n+1} sobre \mathbb{C}\mathbb{P}^n con fibra S^1 y la fibración del espacio de caminos de un espacio topológico con punto base (X,x_0), \mathcal{P}(X)\longrightarrow X con fibra isomorfa al espacio de lazos \Omega(X) de X.

Morfismos[editar]

Un morfismo entre dos fibrados (E',B',\pi',F') y (E,B,\pi,F) consiste en un par de aplicaciones contínuas (f,\widetilde{f}), f:B'\longrightarrow B y \widetilde{f}:E'\longrightarrow E, tales que \widetilde{f}\circ\pi=\pi'f. Nótese que la aplicación \widetilde{f} determina la aplicación f. Para cada punto x'\in B' se induce una aplicación \widetilde{f}_x:E'_{x'}\longrightarrow E_{f(x')}.

Los morfismos entre fibrados se puede componer mediante (f,\widetilde{f})\circ(g,\widetilde{g}):=(f\circ g,\widetilde{f}\circ\widetilde{f}). En particular tenemos la noción de isomorfismo de fibrados: un morfismo (f,\widetilde{f}) entre dos fibrados (E',B',\pi',F') y (E,B,\pi,F) es un isomorfismo si existe un morfismo (g,\widetilde{g}) entre (E,B,\pi,F) y (E',B',\pi',F') tal que f\circ g=Id_{B},g\circ f=Id_{B'} y \widetilde{f}\circ\widetilde{g}=Id_E,\widetilde{g}\circ\widetilde{f}=Id_{E'}. Observemos que una condición necesaria para que los fibrados sean isomorfos es que las fibras sean isomorfas.

Un morfismo vertical en un fibrado (E,B,\pi,F) es un morfismo (f,\widetilde{f}) con f=Id_B. Un primer paso en la clasificación de fibrados es fijar el espacio base B y clasificar los fibrados con base B salvo isomorfismo.

Operaciones[editar]

En esta sección introducimos posibles operaciones en la categoría de fibrados en espacios topológicos. Para fibrados particulares es posible desarrollar operaciones específicas, por ejemplo las operaciones de álgebra lineal como el espacio dual, el determinante, el producto tensorial y el producto exterior extienden a las correspondientes nociones para fibrados vectoriales. Las operaciones aquí descritas son generales.

El pull-back de fibrados es una de las operaciones de cambio de base. Sea (E,B,\pi,F) un fibrado y f:B'\longrightarrow B una aplicación contínua. El fibrado pull-back de E a través de f tiene por espacio total

f^{*}E:=\{(x',e)\in B'\times E|f(x)=\pi(e)\}

con aplicación proyección \pi':f^*E\longrightarrow B', \pi'(x',e)=x'. Entonces es sencillo demostrar que (f^*E,B',\pi',F) es un fibrado. Nótese que las fibras de E y f^*E son isomorfas y que existe un morfismo natural de f^*E y E. Esta operación es functorial contravariante con respecto a la composición de morfismos, es decir, f^*(g^*E)=(g\circ f)^*E y id^*E=E. El fibrado pull-back depende en general de E y de la aplicación f pero si E es un fibrado trivial f^*E también.

La restricción de fibrados. Sea A\subset B un subespacio, i:A\longrightarrow B la inclusión y E un fibrado sobre B. El fibrado restricción de E al subespacio A es el fibrado i^*E.

El producto (cartesiano) de dos fibrados (E,B,\pi,F) y (E',B',\pi',F') es el fibrado (E\times E',B\times B',\pi\times\pi',F\times F').

Si E y E' son fibrados sobre la misma base B, el producto fibrado sobre B se define como

E\times_B E':=\{(e,e')\in E\times E'|\pi(e)=\pi'(e')\}\longrightarrow B.

Las fibras son por tanto isomorfas a F\times F'. Nótese que el fibrado E\times_BE' no es más que la restricción del fibrado producto cartesiano a la diagonal \Delta_B\subset B\times B con la identificación \Delta_B\cong B.

Propiedades homotópicas[editar]

En esta sección se mencionan propiedades de los fibrados en relación a las homotopías. Las demostraciones son ejercicios y se pueden encontrar en cualquier texto de referencia.

El resultado fundamental para entender el compartamiento de los fibrados por homotopía es el siguiente: Sea E\longrightarrow B\times [0,1] un fibrado y \pi_1:B\times[0,1]\longrightarrow B la proyección al primer factor, entonces E\cong \pi_1^*\left(E|_{B\times\{0\}}\right). En particular E|_{B\times\{t\}}\cong\left(E|_{B\times\{0\}}\times[0,1]\right)|_{B\times\{t\}}\cong E|_{B\times\{0\}}\times\{t\}\cong E|_{B\times\{0\}}.

Del enunciado anterior se siguen dos corolarios:

(1) Sean f\simeq g:B'\longrightarrow B aplicaciones contínuas y homotópicas y E un fibrado sobre B. Entonces f^*E\cong g^*E.

(2) Sea r:B\longrightarrow A\subset B un retracto de deformación y E un fibrado sobre B. Entonces, E|_B\cong r^*(E|_A).

Se deduce del segundo resultado que si el espacio base B es contráctil cualquier fibrado (E,B,\pi,F) es isomorfo al fibrado trivial E\cong B\times F.

Secciones[editar]

Una sección de un fibrado es una función continua, f: BE tal que π(f(x))=x, para x en B. En general un fibrado no tiene secciones, uno de los propósitos de la teoría es explicar la existencia de estas así como su cuantificación. Nótese que los fibrados vectoriales siempre tienen una sección, la sección cero.

La obstrucción a la existencia de una sección se puede codificar en elementos de una teoría de cohomología de la base; en el caso de que el espacio base sea un CW-complejo, hallar obstrucciones en la cohomología celular conduce a la teoría de las clases características en topología algebraica. Una aplicación sencilla de esta teoría es demostrar que las esferas de dimensión par no tienen campos tangentes no nulos, luego no son paralelizables.

Grupo estructural[editar]

Existe, a veces, un grupo topológico G de transformaciones de E, tal que si ρ denota la acción, π(ρ(g)[e])= π(e) para g en G y e en E. La condición indica que cada G-órbita reside dentro de una sola fibra. En ese caso, G se llama grupo estructural del fibrado. Para calificar como G-fibrado, las condiciones que emparejan entre las vecindades trivializable locales tendrían que ser los intertwiners de G-acciones también.

Si, además, actúa G libremente, transitivamente y continuamente sobre cada fibra, entonces llamamos al fibrado fibrado principal. Un ejemplo de un fibrado principal que ocurre naturalmente en geometría es el fibrado de todas las bases de los espacios tangentes a una variedad, con G grupo general lineal; la restricción en geometría de Riemann a las bases ortonormales, limitaría G al grupo ortogonal. Vea vierbein para más detalles.

Hacer G explícito es esencial para las operaciones de crear un fibrado asociado, y hacer precisa la reducción del grupo estructural de un fibrado.

Aplicaciones[editar]

El lenguaje de la teoría de fibrados permite la expresión de situaciones físicas en términos matemáticos. Una instancia de ello son las teorías gauge donde los fibrados principales codifican las nociones físicas de simetrías, potenciales y fuerza en términos del grupo de estructura, las conexiones y la curvatura.

Referencias[editar]

  • Steenrod, Norman (1951), The Topology of Fibre Bundles, Princeton University Press, ISBN 0-691-00548-6 .
  • Bleecker, David (1981), Gauge Theory and Variational Principles, Reading, Mass: Addison-Wesley publishing, ISBN 0-201-10096-7 .
  • Ehresmann, C. «Les connexions infinitésimales dans un espace fibré différentiable». Colloque de Topologie (Espaces fibrés), Bruxelles, 1950. Georges Thone, Liège; Masson et Cie., Paris, 1951. pp. 29–55. 
  • Husemöller, Dale (1994), Fibre Bundles, Springer Verlag, ISBN 0-387-94087-1 
  • Michor, Peter W. (2008), Topics in Differential Geometry, Graduate Studies in Mathematics, Vol. 93, Providence: American Mathematical Society  (to appear).
  • Voitsekhovskii, M.I. (2001), «Fibre space», en Hazewinkel, Michiel (en inglés), Encyclopaedia of Mathematics, Springer, ISBN 978-1556080104 

Véase también[editar]

Enlaces externos[editar]