En geometría algebraica , dadas pilas algebraicas sobre una categoría base C , un morfismode pilas algebraicas es un funtor tal que.
De manera más general, también se puede considerar un morfismo entre apilamientos ; para esto, vea los # Morfismos de apilamiento previo (una apilamiento sería un ejemplo).
Tipos
Un ejemplo particularmente importante es la presentación de una pila, que se utiliza ampliamente en el estudio de pilas.
Se dice que una pila algebraica X es uniforme de dimensión n - j si hay una presentación uniformede dimensión relativa j para algún esquema uniforme U de dimensión n . Por ejemplo, sidenota la pila de módulos de paquetes de vectores de rango n , entonces hay una presentación dado por el paquete trivial encima .
Un morfismo cuasi-afín entre pilas algebraicas es un morfismo que se factoriza como una inmersión abierta cuasi compacta seguida de un morfismo afín . [1]
Notas
- ^ § 8.6 de F. Meyer, Notas sobre pilas algebraicas
Referencias
- Proyecto de pilas , Capítulo 83, Morfismos de pilas algebraicas