Paquete de líneas

En matemáticas , un fibrado lineal expresa el concepto de una línea que varía de un punto a otro de un espacio. Por ejemplo, una curva en el plano que tiene una línea tangente en cada punto determina una línea variable: el fibrado tangente es una forma de organizarlos. Más formalmente, en topología algebraica y topología diferencial , un fibrado lineal se define como un fibrado vectorial de rango 1. ^[1]

Los fibrados de líneas se especifican eligiendo un espacio vectorial unidimensional para cada punto del espacio de manera continua. En aplicaciones topológicas, este espacio vectorial suele ser real o complejo. Los dos casos muestran un comportamiento fundamentalmente diferente debido a las diferentes propiedades topológicas de los espacios vectoriales reales y complejos: si se elimina el origen de la línea real, el resultado es el conjunto de matrices reales invertibles 1×1 , que es homotópicamente equivalente a un espacio discreto de dos puntos al contraer los reales positivos y negativos cada uno a un punto; mientras que al eliminar el origen del plano complejo se obtienen las matrices complejas invertibles 1×1, que tienen el tipo de homotopía de un círculo.

Desde la perspectiva de la teoría de la homotopía , un fibrado lineal real se comporta, por tanto, de forma muy similar a un fibrado de fibras con una fibra de dos puntos, es decir, como una doble cobertura . Un caso especial de esto es la doble cobertura orientable de una variedad diferenciable , donde el fibrado lineal correspondiente es el fibrado determinante del fibrado tangente (véase más abajo). La banda de Möbius corresponde a una doble cobertura del círculo (la aplicación θ → 2θ) y, al cambiar la fibra, también puede verse como si tuviera una fibra de dos puntos, el intervalo unitario como una fibra o la línea real.

Los fibrados lineales complejos están estrechamente relacionados con los fibrados circulares . Hay algunos fibrados famosos, por ejemplo, las fibraciones de Hopf de esferas a esferas.

En geometría algebraica , un haz invertible (es decir, un haz localmente libre de rango uno) a menudo se denomina fibrado lineal .

Todo fibrado lineal surge de un divisor con las siguientes condiciones

(I) Si el esquema es reducido e irreducible, entonces todo fibrado lineal proviene de un divisor.${\estilo de visualización X}$

(II) Si es un esquema proyectivo entonces se cumple la misma afirmación.${\estilo de visualización X}$

Uno de los fibrados lineales más importantes en geometría algebraica es el fibrado lineal tautológico en el espacio proyectivo . La proyectivización de un espacio vectorial sobre un cuerpo se define como el cociente de por la acción del grupo multiplicativo . Cada punto de por lo tanto corresponde a una copia de , y estas copias de pueden ensamblarse en un fibrado lineal sobre . Pero difiere de solo por un único punto, y al unir ese punto a cada fibra, obtenemos un fibrado lineal en . Este fibrado lineal se llama fibrado lineal tautológico . Este fibrado lineal a veces se denota ya que corresponde al dual del haz de torsión de Serre .${\displaystyle \mathbf {P} (V)}$${\estilo de visualización V}$${\estilo de visualización k}$${\displaystyle V\setminus \{0\}}$${\displaystyle k^{\veces }}$${\displaystyle \mathbf {P} (V)}$${\displaystyle k^{\veces }}$${\displaystyle k^{\veces }}$${\displaystyle k^{\veces }}$${\displaystyle \mathbf {P} (V)}$${\displaystyle k^{\veces }}$${\estilo de visualización k}$${\displaystyle \mathbf {P} (V)}$${\displaystyle {\mathcal {O}}(-1)}$${\displaystyle {\mathcal {O}}(1)}$

Supóngase que es un espacio y que es un fibrado lineal en . Una sección global de es una función tal que si es la proyección natural, entonces . En un entorno pequeño en en el que es trivial, el espacio total del fibrado lineal es el producto de y el cuerpo subyacente , y la sección se restringe a una función . Sin embargo, los valores de dependen de la elección de la trivialización, y por lo tanto están determinados solo hasta la multiplicación por una función que no se anula en ninguna parte.${\estilo de visualización X}$${\estilo de visualización L}$${\estilo de visualización X}$${\estilo de visualización L}$${\displaystyle s:X\to L}$${\displaystyle p:L\to X}$${\displaystyle p\circ s=\nombre del operador {id} _{X}}$${\estilo de visualización U}$${\estilo de visualización X}$${\estilo de visualización L}$${\estilo de visualización U}$${\estilo de visualización k}$${\estilo de visualización s}$${\displaystyle U\to k}$${\estilo de visualización s}$

Las secciones globales determinan aplicaciones en espacios proyectivos de la siguiente manera: Elegir no todos los puntos cero en una fibra de elige una fibra del fibrado lineal tautológico en , por lo que elegir secciones globales de no simultáneas que se desvanecen determina una aplicación de en el espacio proyectivo . Esta aplicación envía las fibras de a las fibras del dual del fibrado tautológico. Más específicamente, supongamos que son secciones globales de . En un pequeño vecindario en , estas secciones determinan funciones con valores en cuyos valores dependen de la elección de la trivialización. Sin embargo, están determinadas hasta la multiplicación simultánea por una función distinta de cero, por lo que sus razones están bien definidas. Es decir, sobre un punto , los valores no están bien definidos porque un cambio en la trivialización los multiplicará cada uno por una constante distinta de cero λ. Pero los multiplicará por la misma constante λ, por lo que las coordenadas homogéneas están bien definidas siempre que las secciones no se desvanezcan simultáneamente en . Por lo tanto, si las secciones nunca se anulan simultáneamente, determinan una forma que da una función de a , y el retroceso del dual del fibrado tautológico bajo esta función es . De esta manera, el espacio proyectivo adquiere una propiedad universal .${\estilo de visualización r+1}$${\estilo de visualización L}$${\displaystyle \mathbf {P} ^{r}}$${\estilo de visualización r+1}$${\estilo de visualización L}$${\estilo de visualización X}$${\displaystyle \mathbf {P} ^{r}}$${\estilo de visualización L}$${\displaystyle s_{0},\puntos ,s_{r}}$${\estilo de visualización L}$${\estilo de visualización U}$${\estilo de visualización X}$${\estilo de visualización k}$${\estilo de visualización U}$${\estilo de visualización x}$${\displaystyle s_{0}(x),\puntos ,s_{r}(x)}$ ${\displaystyle [s_{0}(x):\puntos :s_{r}(x)]}$${\displaystyle s_{0},\puntos ,s_{r}}$${\estilo de visualización x}$${\displaystyle [s_{0}:\puntos :s_{r}]}$${\estilo de visualización X}$${\displaystyle \mathbf {P} ^{r}}$${\estilo de visualización L}$

La forma universal de determinar una función en el espacio proyectivo es hacerla en la proyectivización del espacio vectorial de todas las secciones de . En el caso topológico, hay una sección no nula en cada punto que se puede construir usando una función de protuberancia que se nula fuera de una pequeña vecindad del punto. Debido a esto, la función resultante se define en todas partes. Sin embargo, el codominio suele ser demasiado grande para ser útil. Lo opuesto es cierto en los entornos algebraicos y holomorfos. Aquí, el espacio de secciones globales suele ser de dimensión finita, pero puede que no haya ninguna sección global no nula en un punto dado. (Como en el caso en el que este procedimiento construye un lápiz de Lefschetz .) De hecho, es posible que un fibrado no tenga ninguna sección global distinta de cero; este es el caso del fibrado lineal tautológico. Cuando el fibrado lineal es suficientemente amplio, esta construcción verifica el teorema de incrustación de Kodaira .${\estilo de visualización L}$

En general, si es un fibrado vectorial en un espacio , con dimensión de fibra constante , la -ésima potencia exterior de tomada fibra por fibra es un fibrado lineal, llamado fibrado lineal determinante . Esta construcción se aplica en particular al fibrado cotangente de una variedad lisa . El fibrado determinante resultante es responsable del fenómeno de densidades tensoriales , en el sentido de que para una variedad orientable tiene una sección global no nula, y sus potencias tensoriales con cualquier exponente real pueden definirse y usarse para 'retorcer' cualquier fibrado vectorial por producto tensorial .${\estilo de visualización V}$${\estilo de visualización X}$${\estilo de visualización n}$${\estilo de visualización n}$${\estilo de visualización V}$

La misma construcción (tomando la potencia exterior superior) se aplica a un módulo proyectivo finitamente generado sobre un dominio noetheriano y el módulo invertible resultante se denomina módulo determinante de . ${\estilo de visualización M}$${\estilo de visualización M}$

La primera clase de Stiefel–Whitney clasifica los fibrados lineales reales lisos; en particular, la colección de (clases de equivalencia de) fibrados lineales reales se corresponde con elementos de la primera cohomología con coeficientes; esta correspondencia es de hecho un isomorfismo de grupos abelianos (las operaciones de grupo son el producto tensorial de los fibrados lineales y la adición usual en cohomología). Análogamente, la primera clase de Chern clasifica fibrados lineales complejos lisos en un espacio, y el grupo de fibrados lineales es isomorfo a la segunda clase de cohomología con coeficientes enteros. Sin embargo, los fibrados pueden tener estructuras lisas equivalentes (y por lo tanto la misma primera clase de Chern) pero diferentes estructuras holomorfas. Las afirmaciones de la clase de Chern se prueban fácilmente utilizando la secuencia exponencial de haces en la variedad.${\displaystyle \mathbb {Z} /2\mathbb {Z} }$

El problema de la clasificación se puede considerar de manera más general desde un punto de vista teórico de la homotopía. Existe un fibrado universal para los fibrados lineales reales y un fibrado universal para los fibrados lineales complejos. Según la teoría general sobre los espacios de clasificación , la heurística consiste en buscar espacios contráctiles en los que existan acciones de grupo de los respectivos grupos y , que sean acciones libres. Esos espacios pueden servir como fibrados principales universales , y los cocientes de las acciones como espacios de clasificación . En estos casos podemos encontrarlos explícitamente, en los análogos de dimensión infinita del espacio proyectivo real y complejo .$Estilo de visualización C_{2}$$Estilo de visualización S1$${\estilo de visualización BG}$

Por lo tanto, el espacio clasificador es del tipo de homotopía de , el espacio proyectivo real dado por una secuencia infinita de coordenadas homogéneas . Lleva el fibrado lineal real universal; en términos de la teoría de homotopía, eso significa que cualquier fibrado lineal real en un complejo CW determina una función clasificadora de a , haciendo que un fibrado sea isomorfo al pullback del fibrado universal. Esta función clasificadora se puede utilizar para definir la clase Stiefel-Whitney de , en la primera cohomología de con coeficientes, a partir de una clase estándar en .$Estilo de visualización BC_{2}$${\displaystyle \mathbb {R} \mathbf {P} ^{\infty }}$${\estilo de visualización L}$ ${\estilo de visualización X}$${\estilo de visualización X}$${\displaystyle \mathbb {R} \mathbf {P} ^{\infty }}$${\estilo de visualización L}$${\estilo de visualización L}$${\estilo de visualización X}$${\displaystyle \mathbb {Z} /2\mathbb {Z} }$${\displaystyle \mathbb {R} \mathbf {P} ^{\infty }}$

De manera análoga, el espacio proyectivo complejo lleva un fibrado lineal complejo universal. En este caso, las funciones clasificadoras dan lugar a la primera clase de Chern de , en (cohomología integral).${\displaystyle \mathbb {C} \mathbf {P} ^{\infty }}$${\estilo de visualización X}$$Estilo de visualización H^{2}(X)}$

Existe otra teoría análoga con fibrados lineales cuaterniónicos (de dimensión real cuatro). Esto da lugar a una de las clases de Pontryagin , en cohomología de cuatro dimensiones reales.

De esta manera, los casos fundamentales de la teoría de clases características dependen únicamente de los fibrados lineales. Según un principio general de división, esto puede determinar el resto de la teoría (si no de manera explícita).

Existen teorías de fibrados lineales holomórficos en variedades complejas y haces invertibles en geometría algebraica , que desarrollan una teoría de fibrados lineales en esas áreas.

• Paquete I
• Amplio paquete de líneas
• Campo de línea

• Michael Murray, Line Bundles, 2002 (enlace web en formato PDF)
• Robin Hartshorne . Geometría algebraica . Librería AMS, 1975. ISBN 978-0-8218-1429-1