The arithmetic rank of the residual intersections of a complete intersection ideal

Título: A Ranks Aritmética das Interseções Residuais de um Ideal de Interseção Completa

1. O Problema

O artigo aborda o cálculo da ranks aritmética ($ara(I)$) de ideais em anéis de polinômios sobre um corpo algebricamente fechado. A ranks aritmética de um ideal $I$ é definida como o menor número de equações necessárias para definir o seu lugar de zeros (variedade $V(I)$) set-theoretically (isto é, até a raiz quadrada do ideal: $\sqrt{I} = \sqrt{(f_1, \dots, f_k)}$).

O foco específico do trabalho é determinar a ranks aritmética das interseções residuais genéricas de um ideal de interseção completa.

• Contexto: Seja $I = (f_1, \dots, f_n)$ um ideal gerado por uma sequência regular em um anel local Noetheriano. Seja $a \subset I$ um ideal gerado por $m$ elementos ($m \ge n$). A interseção residual $J = a : I$ é um objeto de estudo central na teoria de ligação de ideais e em variedades de complexos.
• Desafio: Calcular $ara(J)$ é notoriamente difícil porque os geradores set-theóricos podem não se assemelhar aos geradores algébricos do ideal, e o resultado pode depender da característica do corpo base.

2. Metodologia

Os autores empregam uma abordagem híbrida que combina teoria de invariantes, geometria algébrica combinatória e topologia algébrica (cohomologia). A estratégia divide-se em três etapas principais:

A. Conexão com a Teoria de Invariantes (Característica Zero)

• Os autores identificam que a interseção residual genérica $RI(m, y)$ (onde $y$ são indeterminadas) surge como o ideal nulo (nullcone) de uma ação do grupo linear especial $SL_n(K)$ no anel de polinômios $K[X, y]$.
• A ação é definida por $X \mapsto XM^{-1}$ e $y \mapsto My$.
• O anel de invariantes $S^{SL_n(K)}$ é gerado pelos menores de tamanho $n$ da matriz $X$ e pelos elementos do produto $Xy$.
• Utilizando resultados de cohomologia local, eles mostram que, em característica zero, a ranks aritmética é limitada inferiormente pela dimensão do anel de invariantes, pois o módulo de cohomologia local não se anula.

B. Estrutura do Anel Auxiliar (Qualquer Característica)

• Para obter limites superiores e explicitar geradores, os autores estudam o "anel auxiliar" $K[B]$, gerado pelos mesmos invariantes.
• Eles provam que este anel possui a estrutura de uma Álgebra com Lei de Retificação (ASL - Algebra with a Straightening Law).
• Propriedades Chave do Anel Auxiliar:
  • É um domínio fatorial (UFD) e Gorenstein.
  • Em característica positiva, é provado ser F-regular (uma propriedade de singularidades fortes em característica $p$).
• A estrutura ASL permite construir explicitamente um sistema de parâmetros homogêneo, fornecendo um limite superior para a ranks aritmética.

C. Topologia e Obstruções (Limites Inferiores)

• Em característica positiva, a obstrução de cohomologia local usada em característica zero desaparece. Para superar isso, os autores analisam a topologia do complemento da variedade definida pela interseção residual.
• Eles utilizam sequências de Mayer-Vietoris e teoremas de anulação de cohomologia (singular para característica zero e étale para característica $p$).
• O objetivo é mostrar que o complemento não pode ser coberto por um número "pequeno" de abertos afins, forçando a ranks aritmética a ser alta.

3. Principais Contribuições e Resultados

Teorema Principal (Teorema 4.7)

Os autores determinam exatamente a ranks aritmética da interseção residual genérica $RI(m, y)$ para todo $m \ge n$ e em qualquer característica. Seja $K$ um corpo ou os inteiros:
$$ara(RI(m, y)) = \begin{cases} n(m - n + 1) + 1 & \text{se } n \ge 2, \\ m & \text{se } n = 1. \end{cases}$$

Limites Superiores Gerais (Teorema 4.9)

O resultado fornece um limite superior agudo para a ranks aritmética de qualquer interseção residual de um ideal de interseção completa em um anel local Noetheriano:
$$ara(J) \le n(m - n + 1) + 1$$
Este limite é alcançado quando a interseção é genérica e o anel contém um corpo (ou satisfaz condições específicas em característica mista).

Geradores Set-Theóricos Explícitos

O artigo fornece uma descrição explícita dos geradores set-theóricos. Eles são construídos a partir de um sistema de parâmetros do anel de invariantes, que são somas de monômios padrão na ordem parcial definida no anel auxiliar.

Não-Completeza Interseção Set-Theórica

Um corolário importante é que, em característica zero, qualquer interseção residual genérica de um ideal de interseção completa de altura pelo menos dois não é uma interseção completa set-theórica. Isso ocorre porque a ranks aritmética calculada é estritamente maior que a altura do ideal (que é $m$).

4. Significado e Impacto

• Resolução de um Problema Aberto: O trabalho resolve a questão da ranks aritmética para uma classe importante de ideais (interseções residuais genéricas) que generaliza ideais determinantal e variedades de complexos.
• Independência da Característica: Diferente de muitos resultados anteriores que dependiam fortemente da característica zero, este trabalho estabelece o resultado para todas as características, utilizando ferramentas distintas (cohomologia local vs. cohomologia étale/topologia) para cada caso.
• Conexão entre Áreas: O artigo cria uma ponte elegante entre a teoria de invariantes clássica (teorema fundamental de $SL_n$), a teoria de retificação (ASL) e a topologia algébrica.
• Melhoria de Limites Anteriores: O limite obtido é significativamente mais forte do que limites gerais conhecidos para ideais de colônia, refinando a compreensão da complexidade geométrica dessas variedades.
• Aplicações em Singularidades: A demonstração de que o anel auxiliar é F-regular em característica positiva e Gorenstein contribui para a classificação de singularidades em teoria de invariantes.

Em resumo, o artigo fornece uma fórmula exata e uma compreensão profunda da complexidade geométrica das interseções residuais, demonstrando que, em geral, elas exigem mais equações para serem definidas set-theoricamente do que sua codimensão sugeriria.