En geometría algebraica, un esquema divisorial es un esquema que admite una familia amplia de fibrados lineales, en oposición a un fibrado lineal amplio . En particular, una variedad cuasi-proyectiva es un esquema divisorial y la noción es una generalización de "cuasi-proyectiva". Fue introducida en (Borelli 1963) (en el caso de una variedad) así como en (SGA 6, Exposé II, 2.2.) (en el caso de un esquema). El término "divisorial" se refiere al hecho de que "la topología de estas variedades está determinada por sus divisores positivos". [1] La clase de esquemas divisoriales es bastante grande: incluye esquemas afines, esquemas regulares separados (noetherianos) y subesquemas de un esquema divisorial (como variedades proyectivas ).
Aquí está la definición en SGA 6, que es una versión más general de la definición de Borelli. Dado un esquema cuasi-compacto cuasi-separado X , se dice que una familia de haces invertibles en él es una familia amplia si los subconjuntos abiertos forman una base de la topología (de Zariski) en X ; en otras palabras, hay una cubierta afín abierta de X que consiste en conjuntos abiertos de dicha forma. [2] Entonces se dice que un esquema es divisorio si existe dicha familia amplia de haces invertibles.
Dado que un subesquema de un esquema divisorial es divisorial, "divisorial" es una condición necesaria para que un esquema esté incluido en una variedad suave (o, más generalmente, en un esquema regular noetheriano separado). Hasta cierto punto, también es una condición suficiente. [3]
Un esquema divisorio tiene la propiedad de resolución ; es decir, un haz coherente es un cociente de un fibrado vectorial. [4] En particular, un esquema que no tiene la propiedad de resolución es un ejemplo de un esquema no divisorio.
