Generalización de clases de equivalencia a la teoría de esquemas
En matemáticas , dada una categoría C , un cociente de un objeto X por una relación de equivalencia es un coecualizador para el par de mapas
donde R es un objeto en C y " f es una relación de equivalencia" significa que, para cualquier objeto T en C , la imagen (que es un conjunto ) de es una relación de equivalencia ; es decir, una relación reflexiva , simétrica y transitiva .
El caso básico en la práctica es cuando C es la categoría de todos los esquemas sobre algún esquema S. Pero la noción es flexible y también se puede tomar a C como la categoría de haces .
Ejemplos
- Sea X un conjunto y consideremos alguna relación de equivalencia en él. Sea Q el conjunto de todas las clases de equivalencia en X. Entonces, la función que envía un elemento x a la clase de equivalencia a la que pertenece x es un cociente.
- En el ejemplo anterior, Q es un subconjunto del conjunto potencia H de X . En geometría algebraica , se podría reemplazar H por un esquema de Hilbert o una unión disjunta de esquemas de Hilbert. De hecho, Grothendieck construyó un esquema de Picard relativo de un esquema proyectivo plano X [1] como un cociente Q (del esquema Z que parametriza divisores efectivos relativos en X ) que es un esquema cerrado de un esquema de Hilbert H . El mapa cociente puede entonces considerarse como una versión relativa del mapa de Abel .
Véase también
Notas
- ^ También es necesario asumir que las fibras geométricas son esquemas integrales; el ejemplo de Mumford muestra que no se puede omitir la "integral".
Referencias
- Nitsure, N. Construcción de esquemas de Hilbert y Quot. Geometría algebraica fundamental: explicación de la FGA de Grothendieck, Mathematical Surveys and Monographs 123, American Mathematical Society 2005, 105–137.