Images of toric variety and amplified endomorphism of weak Fano threefolds

Resumen Técnico: Imágenes de Variedades Tóricas y Endomorfismos Amplificados de Variedades Fano Débiles de Tres Dimensiones

Planteamiento del Problema
Este artículo aborda dos conjeturas relacionadas concernientes a la clasificación de variedades proyectivas suaves bajo restricciones geométricas y dinámicas específicas.

1. La Conjetura de la Imagen Tórica (Occhetta-Wiśniewski): Si una variedad proyectiva suave $X$ admite un mapa suprayectivo desde una variedad tórica propia, ¿es $X$ ella misma tórica? Esto es conocido para superficies, Fanos de dimensión 3 y el caso donde el rango de Picard $\rho(X)=1$, pero permanece abierto en dimensiones y rangos superiores.
2. La Conjetura del Endomorfismo Int-Amplificado (Fakhruddin, Meng, Zhang, Zhong): ¿Es una variedad racionalmente conexa suave que admite un endomorfismo int-amplificado necesariamente tórica? Esto es conocido para curvas, superficies, hipersuperficies y Fanos de dimensión 3.

El autor se centra en el caso específico de las variedades Fano débiles de dimensión 3 (donde $-K_X$ es nef y grande) con rango de Picard $\rho(X)=2$. El objetivo es determinar si tales variedades, bajo las condiciones de ser una "imagen tórica" o admitir un "endomorfismo int-amplificado", deben ser tóricas.

Metodología
La herramienta técnica central empleada es el desvanecimiento de Bott (y su variante logarítmica). El artículo utiliza el siguiente marco lógico:

• Enfoque por Contraposición: El autor establece que clases específicas de variedades Fano débiles de dimensión 3 con rango de Picard 2 no cumplen con el desvanecimiento de Bott.
• Vínculo Teórico: Es un resultado conocido (citado de [30]) que si una variedad es una imagen tórica o admite un endomorfismo int-amplificado, debe satisfacer el desvanecimiento de Bott (o desvanecimiento de Bott logarítmico).
• Eliminación: Al demostrar que los candidatos no tóricos fallan en satisfacer el desvanecimiento de Bott, el autor elimina estos de la lista de posibles contraejemplos. En consecuencia, cualquier variedad que satisfaga las hipótesis (imagen tórica o endomorfismo int-amplificado) que no sea Fano, debe pertenecer a una lista muy específica de excepciones que se demuestran como tóricas.

Las demostraciones dependen fuertemente de:

• Cálculos de Hirzebruch-Riemann-Roch (HRR): Computación explícita de las características de Euler $\chi(X, \Omega^2_X(L))$ para varios fibrados lineales $L$ para detectar la no vacuidad de la cohomología.
• Programa de Modelos Mínimos (MMP): Análisis de la estructura del cono de curvas $NE(X)$, específicamente las contracciones de los dos rayos (uno $K_X$-negativo y uno $K_X$-trivial) para el rango de Picard 2.
• Diagramas de Flops: Utilización del comportamiento de las imágenes tóricas y los endomorfismos bajo flops (Lema 5.5, Lema 6.2) para reducir los casos donde no existe una fibración a casos donde sí existe una.
• Tablas de Clasificación: Referencia a clasificaciones existentes de variedades Fano débiles (por ejemplo, [5], [13], [14]) para probar contra las fórmulas numéricas derivadas.

Contribuciones Clave y Resultados

1. Fallo del Desvanecimiento de Bott (Sección 4)
El autor deriva fórmulas explícitas para la característica de Euler $-\chi(X, \Omega^2_X(H-K_X))$ y términos relacionados para variedades Fano débiles de dimensión 3 con rango de Picard 2.

• Teorema 4.1: Proporciona fórmulas para variedades Fano débiles generales, para hipersuperficies en fibrados proyectivos sobre $\mathbb{P}^1$, y para fibrados proyectivos sobre $\mathbb{P}^2$.
• Corolario 4.2: Demuestra que varias clases importantes de variedades Fano débiles de dimensión 3 con rango de Picard 2 no poseen el desvanecimiento de Bott. Estas incluyen:
  • Fibraciones de del Pezzo de grado 6 y 8 sobre $\mathbb{P}^1$.
  • Fibrados cónicos sobre $\mathbb{P}^2$ (con excepciones específicas).
  • Variedades listadas en tablas específicas de literatura previa ([5], [13], [14]).

2. El Teorema de la Imagen Tórica (Teorema A)

• Enunciado: Sea $X$ una variedad suave proyectiva de dimensión 3 con $\rho(X)=2$ y $-K_X$ nef. Si $X$ es la imagen de una variedad tórica propia bajo un mapa suprayectivo, entonces $X$ es una variedad Fano tórica o una de las tres variedades Fano débiles específicas siguientes:
  1. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(1)^{\oplus 2})$
  2. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1}^{\oplus 2} \oplus \mathcal{O}_{\mathbb{P}^1}(2))$
  3. $\mathbb{P}_{\mathbb{P}^2}(\mathcal{O}_{\mathbb{P}^2} \oplus \mathcal{O}_{\mathbb{P}^2}(3))$
• Significancia: Esto prueba la conjetura de Occhetta-Wiśniewski para el caso de rango de Picard 2 y el fibrado anticanónico nef. La demostración evita notablemente la geometría de fans combinatoria pesada, apoyándose en su lugar en el fallo del desvanecimiento de Bott para descartar candidatos no tóricos.

3. El Teorema del Endomorfismo Int-Amplificado (Teorema B)

• Enunciado: Sea $X$ una variedad Fano débil suave proyectiva de dimensión 3 con $\rho(X)=2$. Si $X$ admite un endomorfismo int-amplificado, entonces $X$ es una Fano tórica o una de las tres variedades específicas listadas en el Teorema A.
• Significancia: Esto prueba la conjetura de Fakhruddin et al. para variedades Fano débiles de dimensión 3 con rango de Picard 2. El argumento refleja la demostración del Teorema A, utilizando el hecho de que los endomorfismos int-amplificados implican el desvanecimiento de Bott logarítmico (Lema 6.4).

Afirmaciones del Autor sobre la Significancia

• Extensión del Trabajo Previo: Los resultados extienden las demostraciones previas de estas conjeturas de variedades Fano de dimensión 3 al grupo más amplio de variedades Fano débiles de dimensión 3.
• Independencia y Complementariedad: El autor señala que, mientras un pre-print separado [4] probó recientemente la conjetura del endomorfismo int-amplificado para variedades racionalmente conexas de dimensión 3 y rango de Picard 2 usando métodos diferentes (sin el desvanecimiento de Bott), el método de este artículo es distinto. El autor afirma que sus argumentos para el Teorema B no se extienden al caso general en [4], pero recíprocamente, el método en [4] no prueba el Teorema A (el caso de la imagen tórica).
• Perspectiva de Clasificación: Como subproducto, el artículo proporciona una prueba de que las tres variedades específicas listadas en el Teorema A son las únicas variedades Fano débiles tóricas de dimensión 3 y rango de Picard 2, sin depender de la combinatoria de fans.
• Generalización (Observación 6.5): El autor sugiere que la técnica de demostración implica un enunciado más general: cualquier variedad Fano débil de dimensión 3 que sea $F$-levantable de rango de Picard 2 es tórica, lo cual es un caso especial de una conjetura de [1].

Conclusión
El artículo resuelve con éxito las dos conjeturas para el caso específico pero no trivial de las variedades Fano débiles de dimensión 3 con rango de Picard 2. Al establecer obstrucciones numéricas precisas (el fallo del desvanecimiento de Bott) para los candidatos no tóricos, el autor demuestra que cualquier variedad que satisfaga las condiciones dinámicas o de mapeo debe ser tórica (o una de las tres variedades tóricas identificadas explícitamente).