En matemáticas , específicamente geometría algebraica , un divisor excepcional para un mapa regular
de variedades es una especie de subvariedad 'grande' de que es 'aplastado' por , en cierto sentido definido. Más estrictamente, f tiene un locus excepcional asociado que describe cómo identifica puntos cercanos en la codimensión uno, y el divisor excepcional es una construcción algebraica apropiada cuyo soporte es el locus excepcional. Las mismas ideas se pueden encontrar en la teoría de los mapeos holomórficos de variedades complejas .
Más precisamente, suponga que
es un mapa regular de variedades que es biracional (es decir, es un isomorfismo entre subconjuntos abiertos de y ). Una subvariedad codimensión-1se dice que es excepcional si tiene codimensión al menos 2 como una subvariedad de . Entonces se puede definir el divisor excepcional de ser - estar
donde la suma cubre todas las subvariedades excepcionales de , y es un elemento del grupo de divisores de Weil en.
La consideración de divisores excepcionales es crucial en la geometría bracional : un resultado elemental (ver, por ejemplo, Shafarevich, II.4.4) muestra (bajo supuestos adecuados) que cualquier mapa regular bracional que no sea un isomorfismo tiene un divisor excepcional. Un ejemplo particularmente importante es la explosión
de una subvariedad
- :
en este caso, el divisor excepcional es exactamente la preimagen de .
Referencias
- Shafarevich, Igor (1994). Geometría algebraica básica, vol. 1 . Springer-Verlag. ISBN 3-540-54812-2.