singularidad de cruce normal

En geometría algebraica , una singularidad de cruce normal se asemeja localmente a una unión de hiperplanos de coordenadas . Existen dos variantes de este concepto: un divisor con cruces normales o con cruces normales simples . Estas pueden considerarse las singularidades más simples. Varios teoremas sobre la resolución de singularidades relacionan una variedad arbitraria con un divisor con cruces normales simples en una variedad diferenciable .

Sea X una variedad algebraica sobre un cuerpo perfecto k . (La misma definición se aplica a una variedad compleja X ). Sea D un conjunto finito de subvariedades cerradas de X (que se entiende que son irreducibles ), escrito formalmente como una suma, . Para ciertos propósitos, se puede identificar D con el subconjunto cerrado de X. Entonces D es un divisor con cruces normales simples (o un divisor snc ) en X si${\displaystyle D=\sum _{j=1}^{r}D_{j}}$${\displaystyle \cup _{j}D_{j}}$

• X es suave sobre k ,
• cada una es suave y de codimensión 1 en X , y${\displaystyle D_{j}}$
• Las variedades se intersecan transversalmente en X. Es decir, en un punto p que se encuentra en s de las variedades , la intersección de los espacios tangentes de esas variedades en p tiene codimensión s en el espacio tangente de X en p .${\displaystyle D_{j}}$${\displaystyle D_{j}}$${\displaystyle D_{j}}$

La condición de transversalidad puede reformularse de varias maneras. Sobre los números complejos, es equivalente a decir que en un punto complejo p que se encuentra en s de las subvariedades, digamos , existe una carta de coordenadas analíticas complejas alrededor de p en la que p es el origen en y es el hiperplano de coordenadas , para . ^{[ 1 ]} En el lenguaje de los esquemas , la transversalidad significa que la intersección teórica de esquemas de cualquier s de los es suave de codimensión s en X (o vacía). ^{[ 2 ]}${\displaystyle D_{1},\ldots ,D_{s}}$${\displaystyle \mathbb {C} ^{n}=\{(z_{1},\ldots ,z_{n}):z_{j}\in \mathbb {C} {\text{ para cada }}j\}}$${\displaystyle D_{j}}$${\displaystyle \{z_{j}=0\}}$${\displaystyle j=1,\ldots ,s}$${\displaystyle D_{j}}$

Fuera del contexto de variedades sobre un cuerpo perfecto, se utiliza la siguiente definición más general. Sea X un esquema, una suma formal de subesquemas cerrados integrales . Para cada punto p en X , sea el anillo local de X en p (el anillo de funciones regulares cerca de p ), con ideal maximal (las funciones que se anulan en p ) y cuerpo residual . Decimos que las funciones en forman coordenadas locales en p si se mapean a una base para el espacio vectorial . Entonces D es un divisor con cruces normales simples en X si X es regular y para cada punto p en X , existen coordenadas locales en p para las cuales cada que contiene p es igual al subesquema cerrado cerca de p para algún . ^{[ 3 ]}${\displaystyle D=\sum _ {j}D_ {j}}$${\displaystyle O_{X,p}}$${\displaystyle {\mathfrak {m}}}$${\displaystyle k(p)}$${\displaystyle z_{1},\ldots,z_{n}}$${\displaystyle {\mathfrak {m}}}$${\displaystyle k(p)}$${\displaystyle {\mathfrak {m}}/{\mathfrak {m}}^{2}}$${\displaystyle z_{1},\ldots,z_{n}}$${\displaystyle D_{j}}$${\displaystyle \{z_{i(j)}=0\}}$${\displaystyle i(j)}$

Existe una noción más general de divisor, que significa una suma formal de subvariedades de codimensión 1 con coeficientes enteros, . Se dice que un divisor D tiene cruces normales simples en X si el divisor "reducido" asociado tiene cruces normales simples en X . ^{[ 3 ]}${\displaystyle D=\sum _{j=1}^{r}a_{j}D_{j}}$${\displaystyle \sum _{j=1}^{r}D_{j}}$

Aunque un divisor con cruces normales simples es muy especial, el concepto puede usarse para estudiar variedades arbitrarias usando los teoremas de Heisuke Hironaka sobre resolución de singularidades . Un resultado es: sea X una variedad sobre un cuerpo de característica cero, y sea S un subconjunto cerrado de Zariski que contiene el lugar singular de X y no es todo X. (El caso en que S es igual al lugar singular ya es importante). Entonces hay un morfismo birracional propio f de una variedad suave Y a X tal que f es un isomorfismo sobre X – S y la imagen inversa de S es un divisor con cruces normales simples en Y. [ ^{4 ]} Esta es una afirmación óptima; no siempre se puede hacer que la imagen inversa de ^S sea suave, por ejemplo.

Alexander Grothendieck conjeturó que lo mismo (en términos de esquemas regulares en lugar de variedades suaves) debería ser cierto para las variedades algebraicas sobre cualquier cuerpo, e incluso más generalmente, para los esquemas cuasi-excelentes .

Más generalmente, es un divisor con cruces normales en un esquema X si X es regular y para cada punto p en X , hay un morfismo étale con p en la imagen tal que la imagen inversa de D es un divisor con cruces normales simples en . ^{[ 3 ]} Cuando X es una variedad sobre un cuerpo perfecto k , es equivalente decir que la inclusión de D en X es étale-localmente isomorfa a una unión de hiperplanos de coordenadas en el espacio afín . Un divisor con cruces normales tiene cruces normales simples si y solo si cada componente irreducible de D es regular.${\displaystyle D=\sum _ {j}D_ {j}}$${\displaystyle X'\to X}$${\displaystyle X'}$${\displaystyle A_{k}^{n}}$

• El subconjunto cerrado en el plano afín sobre un cuerpo, visto como un divisor, tiene intersecciones normales simples. Este es la unión de los dos ejes de coordenadas.${\displaystyle \{xy=0\}}$${\displaystyle A^{2}}$
• La curva cúbica nodal es un divisor con intersecciones normales en el plano afín, pero no tiene intersecciones normales simples. (Las intersecciones normales simples implicarían que cada componente irreducible de D es regular, mientras que en este caso D es irreducible y singular).${\displaystyle D=\{y^{2}=x^{2}(x+1)\}}$
• La curva cúbica cuspidal en el plano afín no tiene cruces normales.${\displaystyle D=\{y^{2}=x^{3}\}}$
• El divisor en el plano afín, digamos sobre , no tiene intersecciones normales. (Las dos componentes irreducibles son suaves, pero no se intersecan transversalmente).${\displaystyle \{(y+x^{2})(yx^{2})=0\}}$${\displaystyle \mathbb {C} }$
• El divisor en el plano afín no tiene intersecciones normales. (Cada una de las tres componentes irreducibles es suave, y cualesquiera dos de ellas se intersecan transversalmente, pero las tres juntas no son transversales. La transversalidad implicaría que la intersección de más de n componentes en una variedad n -dimensional es vacía).${\displaystyle \{yx(yx)=0\}}$

Se dice que un esquema Y es snc o tiene cruces normales simples si cada punto tiene un entorno abierto de Zariski que es isomorfo a un divisor con cruces normales simples (visto como un subesquema cerrado reducido ) en algún esquema regular. Por lo tanto, Y no necesita darse (globalmente) como un subesquema cerrado de un esquema regular. ^{[ 5 ]} De igual modo, un esquema Y tiene cruces normales si cada punto tiene un entorno étale tal que es isomorfo a un divisor con cruces normales simples en algún esquema regular. Por ejemplo, las curvas estables son esquemas de cruces normales de dimensión 1.${\displaystyle Y'\to Y}$${\displaystyle Y'}$

• Kollár, János (2007), Conferencias sobre resolución de singularidades , Princeton University Press , ISBN 978-0-691-12923-5, MR 2289519 
• Kollár, János (2013), Singularidades del programa modelo mínimo , Cambridge University Press , doi : 10.1017/CBO9781139547895 , ISBN 978-1-107-03534-8, MR 3057950 
• Lazarsfeld, Robert (2004), Positividad en geometría algebraica (2 vols.) , Berlín: Springer-Verlag, doi : 10.1007/978-3-642-18808-4 , ISBN 3-540-22533-1, MR 2095471 

• Autores del Proyecto Stacks, El Proyecto Stacks