Rational singularities and $q$-birational morphism

Resumen Técnico de "Singularidades Racionales y Morfismos q-Biracionales" por Donghyeon Kim

Planteamiento del Problema
El artículo aborda la generalización de la noción clásica de singularidades racionales, tradicionalmente definidas para variedades normales (específicamente para el haz de estructuras $\mathcal{O}_X$), al entorno de cualquier haz reflexivo de rango 1 en una variedad normal. Mientras que las definiciones estándar (por ejemplo, en [Kov11] y [Kol13]) dependen de las transformadas estrictas de divisores y resoluciones logarítmicas, el autor busca una definición que sea más intrínseca al propio haz, utilizando dobles duales en lugar de transformadas estrictas. Además, el artículo pretende cuantificar la "distancia" de una singularidad de ser racional introduciendo una jerarquía de condiciones ($RS_q$, $KV_q$) y una noción dual a la condición de Serre ($S_{q+1}$), denominada ($B_{q+1}$). Finalmente, el trabajo investiga el comportamiento de estas singularidades bajo morfismos finitos y morfismos $q$-biracionales.

Metodología
La metodología se apoya fuertemente en la maquinaria de la categoría derivada, la dualidad de Grothendieck y la dualidad local.

1. Definición Generalizada: El autor define las singularidades racionales para un haz reflexivo $\mathcal{F}$ de rango 1 mediante un mapa natural $\theta_{\mathcal{F}, f}$ en la categoría derivada, relacionando la imagen directa derivada del dual de la tracción de $\mathcal{F}$ con el Hom derivado de $\mathcal{F}$ con el complejo dualizante.
2. Dobles Duales: En lugar de utilizar transformadas estrictas de divisores (como en [Kov11]), el artículo utiliza la operación de doble dual ($(-)^{DD}$) para definir los haces relevantes en una resolución. Esto evita la necesidad de definir "pares normales".
3. Dualidad y Desvanecimiento: Las demostraciones emplean frecuentemente la dualidad local (Teorema 2.4) y la dualidad de Grothendieck (Teorema 2.5) para traducir condiciones de desvanecimiento en imágenes directas superiores ($R^i f_*$) en condiciones sobre la cohomología local ($H^i_x$).
4. Secuencias Espectrales: La secuencia espectral de Leray y los mapas de borde se utilizan extensamente para relacionar la cohomología del espacio base con la resolución, particularmente al establecer teoremas de desvanecimiento para morfismos $q$-biracionales.
5. Morfismos Finitos: Se analiza la estabilidad de las singularidades racionales bajo morfismos étale finitos y planos utilizando las propiedades de división de las tracciones y el comportamiento de los haces reflexivos bajo estos mapas.

Contribuciones Clave y Resultados

• Definición Generalizada de Singularidades Racionales:
  El artículo introduce una definición de singularidades racionales para cualquier haz reflexivo $\mathcal{F}$ de rango 1 (Definición 1.2). Una resolución $f: X' \to X$ es una "resolución débilmente racional" si un mapa natural específico $\theta_{\mathcal{F}, f}$ es un cuasi-isomorfismo, lo cual es equivalente al desvanecimiento de las imágenes directas superiores del doble dual de la tracción ($R^i f_* (f^* \mathcal{F})^{DD} = 0$ para $i \ge 1$). $\mathcal{F}$ tiene "singularidades racionales" si es débilmente racional y Cohen-Macaulay (CM).

• Comparación con Nociones Existentes:
  El autor aclara que si un par $(X, D)$ tiene singularidades racionales en el sentido de [Kov11], entonces $-D$ tiene singularidades racionales en el nuevo sentido. La nueva definición se presenta como mínima respecto a los requisitos de desvanecimiento y la propiedad CM.

• Existencia en Entornos Geométricos Específicos:

  • Característica 0: El Teorema 1.5 demuestra que cualquier divisor de Weil $\mathbb{Q}$-Cartier $D$ en un par dlt $(X, \Delta)$ tiene singularidades racales. Esto generaliza el Corolario 5.25 en [KM98] sin requerir la teoría de recubrimientos cíclicos.
  • Característica Positiva: El Teorema 1.6 establece que en una variedad fuertemente $F$-regular, cualquier divisor de Weil $D$ (donde $rD$ es Cartier y $\gcd(r, p)=1$) tiene singularidades racionales.

• Estabilidad bajo Morfismos Finitos:
  El Teorema 1.7 establece que si $p: Y \to X$ es un morfismo étale finito en característica 0, y $p^* \mathcal{F}$ tiene singularidades (débilmente) racionales, entonces $\mathcal{F}$ también tiene singularidades (débilmente) racionales. Esto proporciona una respuesta parcial a una pregunta planteada por Kollár en [Kol13]. El Teorema 1.8 extiende esto a morfismos finitos planos bajo la condición de que $\mathcal{F}$ sea $(KV_{\dim X})$.

• La Noción de $(B_{q+1})$ y CM-ness:
  El artículo introduce $(B_{q+1})$ como una condición dual a la condición de Serre $(S_{q+1})$, definida por el desvanecimiento de la cohomología local en grados altos específicos ($\dim X - q < i < \dim X$). El Teorema 1.14 establece la equivalencia entre que un haz sea $(S_{q+1})$, el desvanecimiento de ciertas imágenes directas superiores, y su dual sea $(B_{q+1})$.

  • Corolario 1.15: Bajo condiciones específicas (donde $X$ es $(R_q)$, todos los divisores de Weil son $(KV_q)$ y $(S_{q+1})$, y $q \ge \lceil (\dim X + 1)/2 \rceil$), el artículo demuestra que cualquier divisor de Weil en $X$ es CM, lo que implica que $X$ mismo es CM.

• Morfismos $q$-Biracionales:
  El artículo utiliza la noción de morfismos $q$-biracionales (donde el lugar excepcional tiene codimensión 1 y el centro tiene codimensión $\ge q+1$). El Teorema 1.19 demuestra un teorema de desvanecimiento: si $f: X' \to X$ es $q$-biracional y $D$ es un divisor Cartier anti-$f$-nef tal que $f_* D$ es $\mathbb{Q}$-Cartier y $(S_{q+1})$, entonces $R^i f_* \mathcal{O}_{X'}(D) = 0$ para $1 \le i < q$.

Significancia y Reivindicaciones
El artículo afirma que su principal significancia radica en proporcionar un marco unificado e intrínseco para las singularidades racionales aplicables a haces reflexivos de rango 1, en lugar de solo al haz de estructuras o divisores reducidos. Al utilizar dobles duales, el autor elimina la dependencia del concepto de "pares normales" encontrado en la literatura previa.

El trabajo demuestra que la propiedad de tener singularidades racionales es robusta bajo morfismos étale finitos en característica 0, abordando una pregunta abierta en el campo. Además, la introducción de la condición $(B_{q+1})$ ofrece una nueva herramienta para analizar la propiedad de Cohen-Macaulay de los divisores en variedades normales, particularmente en el contexto de los morfismos $q$-biracionales. Los resultados generalizan teoremas conocidos sobre variedades klt y fuertemente $F$-regulares, extendiendo su aplicabilidad a arbitrarios haces reflexivos de rango 1. El autor señala que, si bien las demostraciones para la característica 0 están completas, la extensión de los resultados de estabilidad de morfismos finitos a la característica positiva sigue siendo una dificultad abierta debido a la potencial falta de división en los mapas relevantes.