stringtranslate.com

Paquete tautológico

En matemáticas , el fibrado tautológico es un fibrado vectorial que se presenta sobre un Grassmanniano de forma tautológica natural: para un Grassmanniano de subespacios -dimensionales de , dado un punto en el Grassmanniano correspondiente a un subespacio vectorial -dimensional , la fibra sobre es el propio subespacio . En el caso del espacio proyectivo, el fibrado tautológico se conoce como fibrado lineal tautológico.

El fibrado tautológico también se denomina fibrado universal , ya que cualquier fibrado vectorial (sobre un espacio compacto [1] ) es un pullback del fibrado tautológico; es decir, un Grassmanniano es un espacio de clasificación para fibrados vectoriales. Por ello, el fibrado tautológico es importante en el estudio de las clases características .

Los fibrados tautológicos se construyen tanto en topología algebraica como en geometría algebraica. En geometría algebraica, el fibrado lineal tautológico (como haz invertible ) es

el dual del fibrado hiperplano o haz tortuoso de Serre . El fibrado hiperplano es el fibrado lineal correspondiente al hiperplano ( divisor ) en . El fibrado lineal tautológico y el fibrado hiperplano son exactamente los dos generadores del grupo de Picard del espacio proyectivo. [2]

En la "teoría K" de Michael Atiyah , el fibrado lineal tautológico sobre un espacio proyectivo complejo se denomina fibrado lineal estándar . El fibrado esférico del fibrado estándar se denomina habitualmente fibrado de Hopf (véase el generador de Bott).

De manera más general, también hay fibrados tautológicos en un fibrado proyectivo de un fibrado vectorial así como en un fibrado de Grassmann .

El término más antiguo "haz canónico" ha caído en desuso debido a que canónico ya está muy sobrecargado en la terminología matemática y (lo que es peor) la confusión con la clase canónica en geometría algebraica apenas podría evitarse.

Definición intuitiva

Los grassmannianos son por definición los espacios de parámetros para subespacios lineales , de una dimensión dada, en un espacio vectorial dado . Si es un grassmanniano, y es el subespacio de correspondiente a en , esto ya es casi el dato requerido para un fibrado vectorial: es decir, un espacio vectorial para cada punto , que varía continuamente. Todo lo que puede detener la definición del fibrado tautológico a partir de esta indicación, es la dificultad de que los se van a intersecar. Arreglar esto es una aplicación rutinaria del dispositivo de unión disjunta , de modo que la proyección del fibrado sea de un espacio total formado por copias idénticas de los , que ahora no se intersecan. Con esto, tenemos el fibrado.

Se incluye el caso del espacio proyectivo. Por convención, puede resultar útil llevar el fibrado tautológico en el sentido del espacio dual . Es decir, con el espacio dual, los puntos de llevan los subespacios vectoriales de que son sus núcleos, cuando se consideran como (rayos de) funcionales lineales en . Si tiene dimensión , el fibrado lineal tautológico es un fibrado tautológico, y el otro, recién descrito, es de rango .

Definición formal

Sea el Grassmanniano de subespacios vectoriales de n -dimensionalidad en como un conjunto es el conjunto de todos los subespacios vectoriales de n -dimensionalidad de Por ejemplo, si n = 1, es el k -espacio proyectivo real.

Definimos el fibrado tautológico γ n , k sobre lo siguiente. El espacio total del fibrado es el conjunto de todos los pares ( V , v ) que consisten en un punto V del Grassmanniano y un vector v en V ; se le da la topología del subespacio del producto cartesiano . La función de proyección π se da por π( V , v ) = V . Si F es la preimagen de V bajo π, se le da una estructura de un espacio vectorial por a ( V , v ) + b ( V , w ) = ( V , av + bw ). Finalmente, para ver la trivialidad local, dado un punto X en el Grassmanniano, sea U el conjunto de todos los V tales que la proyección ortogonal p sobre X mapea a V isomorfamente sobre X , [3] y luego definamos

lo cual es claramente un homeomorfismo. Por lo tanto, el resultado es un fibrado vectorial de rango n .

La definición anterior sigue teniendo sentido si la reemplazamos por el campo complejo

Por definición, el Grassmanniano infinito es el límite directo de como Tomando el límite directo de los fibrados γ n , k da el fibrado tautológico γ n de Es un fibrado universal en el sentido: para cada espacio compacto X , hay una biyección natural

donde a la izquierda el corchete significa clase de homotopía y a la derecha el conjunto de clases de isomorfismo de fibrados vectoriales reales de rango n . La función inversa se da de la siguiente manera: dado que X es compacto, cualquier fibrado vectorial E es un subfibrado de un fibrado trivial: para algún k y por lo tanto E determina una función

único hasta la homotopía.

Observación : A su vez, se puede definir un fibrado tautológico como un fibrado universal; supongamos que existe una biyección natural

para cualquier espacio paracompacto X . Como es el límite directo de los espacios compactos, es paracompacto y por lo tanto hay un único fibrado vectorial sobre que corresponde a la función identidad en Es precisamente el fibrado tautológico y, por restricción, se obtienen los fibrados tautológicos sobre todos los

Paquete de hiperplanos

El fibrado hiperplano H en un k -espacio proyectivo real se define de la siguiente manera. El espacio total de H es el conjunto de todos los pares ( L , f ) que consisten en una línea L que pasa por el origen en y f un funcional lineal en L . La función de proyección π está dada por π( L , f ) = L (de modo que la fibra sobre L es el espacio vectorial dual de L ). El resto es exactamente como el fibrado de líneas tautológico.

En otras palabras, H es el fibrado dual del fibrado lineal tautológico.

En geometría algebraica, el fibrado hiperplano es el fibrado lineal (como haz invertible ) correspondiente al divisor hiperplano.

Dado, por ejemplo, x 0 = 0, cuando x i son las coordenadas homogéneas . Esto se puede ver de la siguiente manera. Si D es un divisor (Weil) en uno, define el fibrado lineal correspondiente O ( D ) en X por

donde K es el campo de funciones racionales en X . Tomando D como H , tenemos:

donde x 0 se considera, como es habitual, como una sección global del haz tortuoso O (1). (De hecho, el isomorfismo anterior es parte de la correspondencia habitual entre divisores de Weil y divisores de Cartier). Finalmente, el dual del haz tortuoso corresponde al fibrado lineal tautológico (véase más abajo).

Filo de líneas tautológico en geometría algebraica

En geometría algebraica, esta noción existe sobre cualquier cuerpo k . La definición concreta es la siguiente. Sean y . Nótese que tenemos:

donde Spec es Spec relativo . Ahora, ponga:

donde I es el haz ideal generado por las secciones globales . Entonces L es un subesquema cerrado de sobre el mismo esquema base ; además, los puntos cerrados de L son exactamente aquellos ( x , y ) de tales que o bien x es cero o bien la imagen de x en es y . Por lo tanto, L es el fibrado lineal tautológico como se definió antes si k es el cuerpo de números reales o complejos.

En términos más concisos, L es la explosión del origen del espacio afín , donde el lugar geométrico x = 0 en L es el divisor excepcional . (cf. Hartshorne, Cap. I, final del § 4.)

En general, es el fibrado vectorial algebraico correspondiente a un haz localmente libre E de rango finito. [4] Dado que tenemos la secuencia exacta:

El fibrado lineal tautológico L , tal como se definió anteriormente, corresponde al dual del haz tortuoso de Serre . En la práctica, ambas nociones (fibrado lineal tautológico y dual del haz tortuoso) se utilizan indistintamente.

Sobre un cuerpo, su fibrado lineal dual es el fibrado lineal asociado al divisor hiperplano H , cuyas secciones globales son las formas lineales . Su clase de Chern es − H . Este es un ejemplo de fibrado lineal antiamplificado . Sobre esto es equivalente a decir que es un fibrado lineal negativo, es decir que menos su clase de Chern es la clase de Rham de la forma estándar de Kähler.

Hechos

De hecho, es sencillo demostrar que, para k = 1, el fibrado lineal tautológico real no es otro que el conocido fibrado cuyo espacio total es la banda de Möbius . Para una prueba completa del hecho anterior, véase [5] .

Véase también

Referencias

  1. ^ Sobre una base no compacta pero paracompacta, esto sigue siendo cierto siempre que se utilice un Grassmanniano infinito.
  2. ^ En la literatura y en los libros de texto, a ambos se les suele llamar generadores canónicos.
  3. ^ U está abierto ya que se le da una topología tal que
    donde es la proyección ortogonal sobre V , es un homeomorfismo sobre la imagen.
  4. ^ Nota editorial: esta definición difiere de la de Hartshorne en que él no toma dualidad, pero es consistente con la práctica estándar y las otras partes de Wikipedia.
  5. ^ Milnor y Stasheff 1974, §2. Teorema 2.1.

Fuentes