Varieties with two smooth blow up structures

Resumen Técnico: Variedades con dos estructuras de soplado (blow-up) suaves

Problema de investigación
El estudio se centra en la clasificación de variedades proyectivas suaves de rango de Picard 2 que poseen dos estructuras distintas de "soplado" (blow-up) de un espacio proyectivo $\mathbb{P}^n$ a lo largo de subvariedades suaves de diferentes dimensiones. En términos de geometría biracional, esto equivale a estudiar transformaciones de Cremona $\phi: \mathbb{P}^n \dashrightarrow \mathbb{P}^n$ que se convierten en morfismos tras el soplado de una subvariedad suave, analizando la relación entre el lugar base de la transformación ($\text{Bs}(\phi)$) y el de su inversa ($\text{Bs}(\phi^{-1})$).

Metodología
El autor emplea un enfoque de geometría algebraica clásica y combinatoria, utilizando las siguientes herramientas:

1. Teoría de intersección y clases de Chern: Se utilizan relaciones de divisores de Cartier y números de intersección en el anillo de Chow para establecer igualdades fundamentales entre las dimensiones y grados de las subvariedades $Z_1$ y $Z_2$.
2. Análisis de la variedad de Picard: Se analiza la estructura del grupo de Picard $\text{Pic}(X)$ y las bases compuestas por los divisores excepcionales ($E_i$) y los pullbacks de la clase de hiperplano ($H_i$).
3. Teoría de Cohomología y Teorema de Barth-Larsen: Se aplican restricciones sobre las dimensiones de los grupos de cohomología $H^{2i}(Z, \mathbb{C})$ para acotar las posibilidades de las dimensiones de las subvariedades.
4. Cálculo algebraico de multiplicidades: Se utiliza la estructura de los haces de vectores y las clases de Chern del paquete normal para derivar contradicciones numéricas.

Contribuciones clave y Resultados
El resultado principal es la caracterización de la llamada transformación de Cremona quadro-cúbica.

• Teorema A (Resultado Principal): El autor demuestra que si las dimensiones de las subvariedades de soplado son distintas ($\dim Z_1 > \dim Z_2$), existe un único caso posible: $n=4$. En este escenario, la transformación de Cremona es la transformación quadro-cúbica, donde el lugar base de $\phi$ es una curva elíptica de quinto grado y el de $\phi^{-1}$ es un scroll elíptico de quinto grado.
• Teorema 3.1 (Multiplicidad): Una contribución técnica significativa es la prueba de que la multiplicidad $a$ del lugar base es exactamente 1. Esto es notable porque el autor logra este resultado sin necesidad de asumir la conjetura de Hartshorne sobre intersecciones completas, superando así las restricciones de trabajos previos (como los de [5]).
• Teorema 3.2 y la exclusión del caso $n=9$: Mediante un análisis exhaustivo de las relaciones de divisibilidad y la aplicación de la teoría de clases de Chern, el autor demuestra que la única otra configuración numérica posible ($n=9, m_1=6, m_2=4$) conduce a una contradicción matemática, validando la unicidad del caso $n=4$.

Significancia
Este trabajo es importante por varias razones:

1. Completitud de la clasificación: Llena un vacío en la literatura sobre variedades con múltiples estructuras de soplado, un área menos estudiada que la de las estructuras de fibrados proyectivos.
2. Rigurosidad teórica: Al demostrar que $a=1$ de forma independiente a la conjetura de Hartshorne, el autor proporciona un resultado más robusto y general que las clasificaciones anteriores.
3. Conexión con transformaciones de Cremona: Proporciona una interpretación geométrica profunda de la transformación quadro-cúbica, vinculando la estructura de la variedad de Picard con la naturaleza de las transformaciones biracionales en espacios proyectivos.