Segre classes and integral dependence

Resumo Técnico: Classes de Segre e Dependência Integral

Enunciado do Problema
O artigo aborda a relação entre as classes de Segre de subesquemas fechados e a dependência integral de seus feixes de ideais definidores. Embora seja uma consequência conhecida da invariância biracional das classes de Segre que a classe $s(Z, X)$ depende apenas do fechamento integral do feixe de ideais $\mathcal{I}_Z$, o sentido inverso não havia sido estabelecido como um critério geral. Especificamente, o autor investiga se a igualdade das classes de Segre (ou de seus invariantes numéricos) para dois subesquemas $W \subseteq Z$ implica que o feixe de ideais $\mathcal{I}_W$ é integral sobre $\mathcal{I}_Z$. Este problema conecta-se a um programa de pesquisa mais amplo iniciado por Rees, que busca critérios numéricos para caracterizar a dependência integral para ideais arbitrários, estendendo-se além do caso clássico de ideais $\mathfrak{m}$-primários em anéis locais.

Metodologia
A metodologia baseia-se no arcabouço de teoria de interseção desenvolvido por Fulton–MacPherson e Stückrad–Vogel. A ferramenta técnica central é o resultado fundamental de van Gastel, que estabelece uma correspondência precisa entre classes de Segre e ciclos de Vogel.

1. Ciclos de Vogel e Ciclos Polares: O autor utiliza um algoritmo de interseção envolvendo combinações lineares genéricas de seções globais para construir ciclos de Vogel ($\nu$) e ciclos polares ($\beta$). Esses ciclos são definidos no blow-up do esquema ambiente ou no próprio esquema ambiente.
2. Fórmula de van Gastel: A prova aproveita as fórmulas explícitas que relacionam as classes de Segre $s_i(Z, X)$ aos ciclos de Vogel $\nu_i(\sigma, X)$ via o feixe de linha $L$. Isso permite a tradução de condições sobre classes de Segre em condições sobre os graus de ciclos de Vogel e polares.
3. Fórmulas de Blow-up: O artigo deriva uma fórmula de blow-up para os ciclos polares, expressando-os como pushforwards de produtos de interseção no blow-up torcido $B_L = \text{Proj}_X(\bigoplus \mathcal{I}^n \otimes L^{\otimes n})$.
4. Análise Assintótica: Para provar o sentido inverso (que a igualdade de graus implica dependência integral), o autor emprega uma análise assintótica do crescimento de Hilbert–Samuel do quociente das álgebras de Rees. Isso envolve comparar o crescimento das seções globais $h^0(X, \mathcal{I}_W^n \otimes L^{\otimes k})$ contra $h^0(X, \mathcal{I}_Z^n \otimes L^{\otimes k})$. O argumento utiliza o não-vazio de certos grupos de cohomologia caso a dependência integral falhe, baseando-se em resultados de Kleiman e Thorup relativos aos polinômios de Buchsbaum–Rim.

Principais Contribuições e Resultados

• Teorema A (Teorema 4.3): O principal resultado estabelece um critério para dependência integral em um esquema projetivo equidimensional $X$ sobre um corpo $k$, assumindo a presença de um feixe de linha amplo $L$. Para dois subesquemas fechados $W \subseteq Z$, as seguintes condições são equivalentes:

  • (a) $\mathcal{I}_W$ é integral sobre $\mathcal{I}_Z$.
  • (b') $s(Z, X) = s(W, X)$ visto no grupo de Chow $A_*(Z)$.
  • (b) $s(Z, X) = s(W, X)$ visto em $A_*(X)$.
  • (c) $\deg_L(s_i(Z, X)) = \deg_L(s_i(W, X))$ para todo $i \geq 0$.

  O artigo observa que a equivalência entre a igualdade das classes de Segre e a igualdade de seus graus $L$ (condição (b) $\Leftrightarrow$ (c)) é de interesse independente. O autor enfatiza que a amplitude de $L$ é indispensável; o Exemplo 4.7 demonstra que a conclusão falha se $L$ for meramente grande e nef (big and nef).

• Corolário B (Corolário 5.2): Como aplicação, o artigo prova que a função zeta de Segre de Aluffi $\zeta_I(t)$ fornece um critério de dependência integral para ideais homogêneos em um anel de polinômios. Especificamente, para ideais homogêneos $I \subseteq J \subset R = k[x_0, \dots, x_n]$, $J$ é integral sobre $I$ se, e somente se, $\zeta_I(t) = \zeta_J(t)$. Isso estende a utilidade das funções zeta de Segre de codificar invariantes biracionais para servir como um teste completo para dependência integral no cenário graduado.

Significância e Alegações
O artigo afirma fornecer um critério numérico global para dependência integral que é distinto dos critérios locais estabelecidos anteriormente por Rees, Teissier e outros (tais como o Princípio da Especialização da Dependência Integral). Ao demonstrar que as classes de Segre (e seus invariantes numéricos) codificam totalmente o fechamento integral de um feixe de ideais no cenário projetivo, o trabalho preenche a lacuna entre a teoria de interseção e a teoria algébrica da dependência integral.

O autor posiciona o resultado como um inverso ao fato bem conhecido de que as classes de Segre são invariantes biracionais. Enquanto a invariância implica que a classe depende do fechamento integral do ideal, este artigo prova que a classe determina o fechamento integral. A metodologia unifica as classes de Segre com ciclos de Vogel e ciclos polares, oferecendo uma nova perspectiva sobre como resultados de positividade (via feixes de linha amplos) podem ser aplicados para detectar propriedades algébricas como a dependência integral. O artigo não propõe novas aplicações experimentais, mas sim solidifica a fundação teórica para o uso de funções zeta de Segre e invariantes numéricos na álgebra comutativa e geometria algébrica.