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

Resumo Técnico: Construções de Blow-Up e Aplicações às Classes de Segre e Fórmulas de Multidegree

Enunciado do Problema
O artigo aborda dois desafios primários na teoria de interseção relativos ao comportamento de blow-ups (sopros) e suas aplicações a classes características e fórmulas de grau. Primeiro, busca estabelecer uma relação geométrica rigorosa entre blow-ups multigradados simultâneos e construções de blow-up iteradas, especificamente em relação à correspondência de seus divisores excepcionais. Segundo, visa derivar fórmulas de teoria de interseção para as classes de Chern de divisores excepcionais originados de mapas racionais para espaços multiprojetivos.

Uma motivação específica para a primeira parte é a prova da fórmula de produto para classes de Segre. Provas existentes na literatura (por exemplo, o Intersection Theory de Fulton) geralmente dependem da hipótese de que os esquemas envolvidos sejam de dimensão pura para aplicar relações padrão de teoria de ciclos. O artigo visa remover essa restrição. Da mesma forma, para a segunda parte, o artigo aborda a necessidade de uma fórmula de grau para subesquemas arbitrários de espaços multiprojetivos, estendendo o resultado clássico de van der Waerden, que foi originalmente formulado para variedades integrais usando geometria algébrica clássica.

Metodologia
O autor emprega o formalismo de grupos de Chow, produtos de interseção refinados e a teoria de blow-ups conforme desenvolvida por Fulton. A metodologia é dividida em duas seções principais:

1. Comparação de Construções de Blow-Up:
   O artigo constrói uma correspondência biracional entre dois modelos:

   • O blow-up simultâneo de um produto de esquemas $Y_1 \times \dots \times Y_n \times \mathbb{A}^1_k$ ao longo de um determinado mergulho fechado.
   • Uma construção de blow-up iterada envolvendo o produto de divisores excepcionais $E_1 \times \dots \times E_n$.
     Ao analisar os cones normais e a projetivização desses cones, o autor estabelece um diagrama comutativo com quadrados cartesianos. Isso permite a transferência de informação de interseção entre os dois modelos, relacionando especificamente os ciclos fundamentais dos divisores excepcionais.

2. Fechamento do Gráfico e Isomorfismo de Blow-Up:
   O artigo investiga a relação entre o blow-up de um esquema $X$ ao longo de um feixe ideal gerado por seções globais e o fechamento esquemático do gráfico do mapa racional associado para um espaço multiprojetivo.

   • Identifica o blow-up como o Proj relativo da álgebra de Rees.
   • Demonstra que, para esquemas integrais, o fechamento do gráfico é isomorfo ao blow-up.
   • Este arcabouço é aplicado ao caso específico de $\mathbb{P}^{m+n+1}_k$ e seções que definem um mapa para $\mathbb{P}^m_k \times \mathbb{P}^n_k$.
   • Usando o teorema da "Miracle Flatness" (Planicidade Milagrosa), o autor analisa as fibras da morfismo resultante (isomorfo a $\mathbb{P}^1$) para derivar uma relação entre as classes de Chern do pullback de feixes de linhas tautológicos e o divisor excepcional.

Contribuições Principais e Resultados

1. Correspondência Biracional de Divisores Excepcionais:
   O artigo estabelece a existência de morfismos $\phi$ e $\varphi$ que criam um diagrama comutativo entre o modelo de blow-up iterado e o modelo de blow-up simultâneo. Crucialmente, prova que o pullback do ciclo fundamental do divisor excepcional no modelo iterado é igual ao ciclo fundamental do divisor excepcional no modelo simultâneo ($\phi^*[E'] = [E]$).

2. Fórmula de Produto para Classes de Segre (Caso Geral):
   Usando a correspondência biracional, o artigo fornece uma prova da fórmula de produto para classes 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)$$
   Significância: Diferente de provas anteriores, esta derivação não exige que os esquemas $X_i$ ou $Y_i$ sejam de dimensão pura. A prova reduz o problema ao caso de divisores de Cartier em uma resolução adequada via o divisor excepcional, que atua como uma ponte geométrica.

3. Fórmula de Multidegree para Subesquemas Arbitrários:
   O artigo deriva uma fórmula relacionando o grau de codimensão-$d$ de um subesquema fechado $V' \subset \mathbb{P}^{m+n+1}_k$ aos bidegrees de codimensão-$d$ de um subesquema fechado $V \subset \mathbb{P}^m_k \times \mathbb{P}^n_k$.

   • Resultado: O grau de codimensão-$d$ de $V'$ é igual à soma dos bidegrees de codimensão-$d$ de $V$.
   • Significância: Este resultado recupera e estende a fórmula de grau clássica de van der Waerden. Enquanto o argumento original de van der Waerden baseava-se na suposição de que as variedades eram integrais, esta prova é inteiramente de interseção e aplica-se a arbitrários subesquemas fechados, incluindo não-integrais. O artigo observa que, para subesquemas não-integrais, a relação entre graus e bidegrees é mais sutil do que no caso integral.

Significância e Alegações
O artigo alega que suas construções fornecem um "mecanismo geomético" para transferir informação de interseção, ofere-se, assim, uma derivação conceitual e funcional da fórmula de produto para classes de Segre e da fórmula de multidegree.

• Quanto às Classes de Segre: O trabalho demonstra que a fórmula de produto é "fundamentalmente uma consequência da geometria de blow-ups", permitindo a remoção da hipótese de pureza de dimensão que restringia provas anteriores.
• Quanto às Fórmulas de Grau: A abordagem oferece uma reformulação moderna da fórmula de van der Waerden, estendendo sua validade de variedades integrais para arbitrários subesquemas fechados dentro do arcabouço de grupos de Chow e da teoria de interseção de Fulton.

O artigo não propõe aplicações experimentais ou implicações futuras além destas extensões teóricas dentro da teoria de interseção. Ele adere estritamente às convenções e notações de Intersection Theory de Fulton [Ful98].