Blow-Up Constructions and Applications to Segre Classes and Multidegree Formulas

Resumen Técnico: Construcciones de Soplo (Blow-Up) y Aplicaciones a las Clases de Segre y Fórmulas de Multidegrado

Planteamiento del Problema
El artículo aborda dos desafíos primordiales en la teoría de intersección relativos al comportamiento de los soplos (blow-ups) y sus aplicaciones a las clases características y fórmulas de grado. Primero, busca establecer una relación geométrica rigurosa entre los soplos multigradados simultáneos y las construcciones de soplos iterados, específicamente respecto a la correspondencia de sus divisores excepcionales. Segundo, busca derivar fórmulas de intersección para las clases de Chern de los divisores excepcionales que surgen de aplicaciones racionales a espacios multiproyectivos.

Una motivación específica para la primera parte es la demostración de la fórmula de producto para las clases de Segre. Las demostraciones existentes en la literatura (por ejemplo, en el Intersection Theory de Fulton) generalmente dependen de la hipótesis de que los esquemas involucrados son de dimensión pura para aplicar las relaciones estándar de la teoría de ciclos. El artículo pretende eliminar esta restricción. Del mismo modo, para la segunda parte, el artículo aborda la necesidad de una fórmula de grado para subesquemas arbitrarios de espacios multiproyectivos, extendiendo el resultado clásico de van der Waerden, que fue formulado originalmente para variedades íntegras utilizando la geometría algebraica clásica.

Metodología
El autor emplea el formalismo de los grupos de Chow, los productos de intersección refinados y la teoría de soplos desarrollada por Fulton. La metodología se divide en dos secciones principales:

1. Comparación de Construcciones de Soplos:
   El artículo construye una correspondencia biracional entre dos modelos:

   • El sopló simultáneo de un producto de esquemas $Y_1 \times \dots \times Y_n \times \mathbb{A}^1_k$ a lo largo de una incrustación cerrada específica.
   • Una construcción de sopló iterado que involucra el producto de los divisores excepcionales $E_1 \times \dots \times E_n$.
     Al analizar los conos normales y la proyectivización de estos conos, el autor establece un diagrama conmutativo con cuadrados cartesianos. Esto permite la transferencia de información de intersección entre los dos modelos, relacionando específicamente los ciclos fundamentales de los divisores excepcionales.

2. Cierre del Gráfico e Isomorfismo de Sopló:
   El artículo investiga la relación entre el sopló de un esquema $X$ a lo largo de un haz de ideales generado por secciones globales y el cierre esquemático del gráfico de la aplicación racional asociada a un espacio multiproyectivo.

   • Identifica el sopló con el $\text{Proj}$ relativo del álgebra de Rees.
   • Demuestra que, para esquemas íntegros, el cierre del gráfico es isomorfo al sopló.
   • Este marco se aplica al caso específico de $\mathbb{P}^{m+n+1}_k$ y las secciones que definen una aplicación a $\mathbb{P}^m_k \times \mathbb{P}^n_k$.
   • Utilizando el teorema de "Miracle Flatness" (Planitud Milagrosa), el autor analiza las fibras de la morfismo resultante (isomorfo a $\mathbb{P}^1$) para derivar una relación entre las clases de Chern de la tracción de los haces de líneas tautológicos y el divisor excepcional.

Contribuciones Clave y Resultados

1. Correspondencia Biracional de Divisores Excepcionales:
   El artículo establece la existencia de morfismos $\phi$ y $\varphi$ que crean un diagrama conmutativo entre el modelo de sopló iterado y el modelo de sopló simultáneo. Crucialmente, demuestra que la tracción del ciclo fundamental del divisor excepcional en el modelo iterado es igual al ciclo fundamental del divisor excepcional en el modelo simultáneo ($\phi^*[E'] = [E]$).

2. Fórmula de Producto para Clases de Segre (Caso General):
   Utilizando la correspondencia biracional, el artículo proporciona una demostración de la fórmula de producto para las clases de Segre:
   $$s(X_1 \times \dots \times X_n, Y_1 \times \dots \times Y_n) = s(X_1, Y_1) \times \dots \times s(X_n, Y_n)$$
   Significancia: A diferencia de las demostraciones anteriores, esta derivación no requiere que los esquemas $X_i$ o $Y_i$ sean de dimensión pura. La demostración reduce el problema al caso de divisores de Cartier en una resolución adecuada vía el divisor excepcional, el cual actúa como un puente geométrico.

3. Fórmula de Multidegrado para Subesquemas Arbitrarios:
   El artículo deriva una fórmula que relaciona el grado de codimensión-$d$ de un subesquema cerrado $V' \subset \mathbb{P}^{m+n+1}_k$ con los bidegrees de codimensión-$d$ de un subesquema cerrado $V \subset \mathbb{P}^m_k \times \mathbb{P}^n_k$.

   • Resultado: El grado de codimensión-$d$ de $V'$ es igual a la suma de los bidegrees de codimensión-$d$ de $V$.
   • Significancia: Este resultado recupera y extiende el clásico fórmula de grado de van der Waerden. Mientras que el argumento original de van der Waerden dependía del supuesto de que las variedades eran íntegras, esta demostración es enteramente de intersección y se aplica a subesquemas cerrados arbitrarios, incluyendo aquellos no íntegros. El artículo señala que, para subesquemas no íntegros, la relación entre grados y bidegrees es más sutil que en el caso íntegro.

Significancia y Reivindicaciones
El artículo sostiene que sus construcciones proporcionan un "mecanismo geométrico" para transferir información de intersección, ofreciendo así una derivación conceptual y funcional de la fórmula de producto para las clases de Segre y la fórmula de multidegrado.

• Respecto a las Clases de Segre: El trabajo demuestra que la fórmula de producto es "fundamentalmente una consecuencia de la geometría de los soplos", permitiendo la eliminación de la hipótesis de dimensión pura que limitaba las demostraciones previas.
• Respecto a las Fórmulas de Grado: El enfoque ofrece una reformulación moderna de la fórmula de van der Waerden, extendiendo su validez desde variedades íntegras hacia subesquemas cerrados arbitrarios dentro del marco de los grupos de Chow y la teoría de intersección de Fulton.

El artículo no propone aplicaciones experimentales o implicaciones futuras más allá de estas extensiones teóricas dentro de la teoría de intersección. Se adhiere estrictamente a las convenciones y notación de Intersection Theory de Fulton [Ful98].