Introducción a la teoría de los Stacks

Abstract

La geometría de Grothendieck substituye las variedades algebraicas por esquemas, en los cuales los puntos son ideales primos, con lo que la idea geométrica se pierde. La tendencia post-Grothendieck es substituir los esquemas por sus familias de conjuntos de puntos en el sentido anterior. Así tenemos en lugar de la variedad algebraica clásica o el esquema, una correspondencia que asocia a cada k-álgebra un conjunto de puntos y a cada homomorfismo de k-algebras una aplicación, esto es lo que se llama un funtor. Ahora debemos preguntarnos: ¿Cómo se trabaja con estos funtores?. ¿ Son estos fun-tores más generales que las variedades?. ¿Cuándo un funtor representa una variedad? ¿Tiene alguna ventaja trabajar con este tipo de objetos? etc. De esto nos vamos a ocupar a continuación en un contexto muy general. En todo el texto, y al hablar de categoría, trabajaremos solo con conjuntos para obviar las dificultades añadidas por las diferencias entre clases y conjuntos, que no son esenciales para comprender los objetos que queremos describir.