El teorema de Quillen-Suslin , también conocido como problema de Serre o conjetura de Serre , es un teorema del álgebra conmutativa que se refiere a la relación entre módulos libres y módulos proyectivos sobre anillos de polinomios . En el contexto geométrico, es una afirmación sobre la trivialidad de los fibrados vectoriales en el espacio afín .
El teorema establece que todo módulo proyectivo finitamente generado sobre un anillo polinomial es libre .
Geométricamente, los módulos proyectivos finitamente generados sobre el anillo corresponden a fibrados vectoriales sobre el espacio afín , donde los módulos libres corresponden a fibrados vectoriales triviales. Esta correspondencia (de módulos a fibrados vectoriales (algebraicos)) está dada por el funtor de 'globalización' o 'twiddlificación', enviando (Hartshorne II.5, página 110). El espacio afín es topológicamente contráctil , por lo que no admite fibrados vectoriales topológicos no triviales. Un argumento simple usando la secuencia exacta exponencial y el lema de Poincaré de la barra d muestra que tampoco admite fibrados vectoriales holomorfos no triviales .
Jean-Pierre Serre , en su artículo de 1955 Faisceaux algébriques cohérents , remarcó que la pregunta correspondiente no se conocía para los fibrados vectoriales algebraicos: "No se sabe si existen A -módulos proyectivos de tipo finito que no sean libres". [1] Aquí hay un anillo polinomial sobre un cuerpo , es decir, = .
Para consternación de Serre, este problema se hizo conocido rápidamente como la conjetura de Serre. (Serre escribió: "Me opuse a ese nombre tan a menudo como pude". [2] ) La afirmación no se desprende inmediatamente de las pruebas dadas en el caso topológico u holomorfo. Estos casos sólo garantizan que existe una trivialización continua u holomorfa, no una trivialización algebraica.
Serre avanzó un poco hacia una solución en 1957 cuando demostró que todo módulo proyectivo finitamente generado sobre un anillo de polinomios sobre un cuerpo era establemente libre , lo que significa que después de formar su suma directa con un módulo libre finitamente generado, se volvía libre. El problema permaneció abierto hasta 1976, cuando Daniel Quillen y Andrei Suslin demostraron el resultado de forma independiente. Quillen recibió la Medalla Fields en 1978 en parte por su demostración de la conjetura de Serre. Leonid Vaseršteĭn dio más tarde una demostración más simple y mucho más corta del teorema, que se puede encontrar en el Álgebra de Serge Lang .
Una generalización que relaciona los módulos proyectivos sobre anillos noetherianos regulares A y sus anillos polinomiales se conoce como conjetura de Bass-Quillen .
Nótese que si bien los fibrados en el espacio afín son todos triviales, esto no es cierto para los fibrados G donde G es un grupo algebraico reductivo general .
Una descripción de este tema la proporciona:
![{\displaystyle R[x_{1},\puntos ,x_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4655882a55bf72acec0737c4a089be5c4463adff)
![{\displaystyle k[x_{1},\puntos ,x_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac6b93b5ea01d89530418e3348fcd76cf5aa18a3)
