Virtual invariants from the non-associative Hilbert scheme

Resumo Técnico: Invariantes Virtuais a partir do Esquema de Hilbert Não Associativo

Enunciado do Problema
A geometria dos esquemas de Hilbert de pontos, particularmente em dimensões $n \geq 3$, é notoriamente sutil. Embora o esquema de Hilbert de pontos em uma superfície suave seja suave e bem compreendido, o esquema de Hilbert de pontos em uma variedade de três ou mais dimensões é tipicamente singular. Na geometria enumerativa, particularmente para variedades Calabi-Yau de três e quatro dimensões, recorre-se a classes fundamentais virtuais para definir invariantes (como os invariantes de Donaldson-Thomas). Estas classes são tradicionalmente construídas via teorias de obstrução perfeitas, muitas vezes realizadas como loci críticos de funções em espaços modulares de matrizes não comutativas (o "modelo de matriz não comutativa").

No entanto, os modelos existentes enfrentam limitações:

1. Modelos não comutativos substituem a álgebra de anéis comutativos por uma álgebra associativa livre, realizando o esquema de Hilbert como um locus crítico de um potencial que impõe relações de comutatividade.
2. Esquemas de Hilbert aninhados (cadeias de subesquemas) são geralmente singulares com estruturas de componentes mal compreendidas, embora sejam essenciais para teorias de contagem de feixes (por exemplo, teoria de Vafa-Witten, teoria de Seiberg-Witten).
3. Há uma necessidade de uma construção unificada e elementar de classes fundamentais virtuais para esquemas de Hilbert aninhados em dimensões arbitrárias que resulte em classes virtuais de dimensão positiva quando a dimensão ambiente $n$ é grande em relação ao número de pontos $d$.

Metodologia
Os autores introduzem um modelo não associativo para o esquema de Hilbert de pontos. Em vez de relaxar a comutatividade (como nos modelos não comutativos), eles relaxam a associatividade, mantendo a comutatividade.

1. Construção do Espaço Ambiente Não Associativo:
   Os autores definem o esquema de Hilbert aninhado não associativo, denotado por $na\text{NHilb}^{\mathbf{d}}(A^n)$, como o espaço modular de cadeias de ideais $I_{r+1} \subset \dots \subset I_1 \subset I_0 = \mathbb{C}\{x_1, \dots, x_n\}^c$, onde $\mathbb{C}\{x_1, \dots, x_n\}^c$ é a álgebra livre, unitária, comutativa, mas não associativa, sobre $n$ geradores.

• Eles provam que $na\text{NHilb}^{\mathbf{d}}(A^n)$ é uma variedade suave.
• A construção utiliza uma descrição de stack de quociente $[M_{n,d}/P_d]$, onde $M_{n,d}$ é um subesquema localmente fechado suave de um espaço vetorial que parametriza estruturas de álgebra, e $P_d$ é um grupo parabólico que atua livremente.

2. Realização do Esquema Clássico:
   O esquema de Hilbert aninhado clássico $NHilb^{\mathbf{d}}(A^n)$ (onde as álgebras são associativas) é incorporado no espaço ambiente não associativo como o locus de associatividade.

• Este locus é definido pelo desaparecimento de uma seção global $s_{ass}$ de um feixe vetorial $E_{ass}$ (o feixe de associatividade) sobre o espaço ambiente suave.
• Consequentemente, $NHilb^{\mathbf{d}}(A^n)$ herda uma teoria de obstrução perfeita canônica e uma classe fundamental virtual $[NHilb^{\mathbf{d}}(A^n)]^{vir}$.

3. Localização Virtual:
   Os autores utilizam a ação de toro $T = (\mathbb{C}^*)^n$ em $A^n$, que se eleva ao esquema de Hilbert não associativo. Eles aplicam a fórmula de localização virtual de Graber-Pandharipande para computar a classe virtual.

• Os pontos fixos correspondem a cadeias de ideais monomiais, que estão em bijeção com partições aninhadas.
• Os autores derivam fórmulas explícitas para o espaço tangente e o feixe de obstrução nestes pontos fixos, expressas em termos dos pesos da ação de toro.

4. Fórmulas de Resíduo Iterado:
   Para o locus pontual (especificamente o locus de filtragem nilpotente $NHilb^{\mathbf{d}}_{nil\text{-}fil}(A^n)$), os autores constroem uma resolução parcial fibrada sobre uma variedade de flags. Usando localização de Atiyah-Bott nesta resolução, eles transformam os integrais virtuais em fórmulas de resíduo iterado.

• Um resultado técnico fundamental é que, para o locus de filtragem nilpotente, todos os resíduos desaparecem, exceto por uma única contribuição do particionamento "Porteous" (contendo apenas vetores unitários na ordem natural).

Principais Contribuições e Resultados

• Teorema 1.1 (Fórmula de Localização Virtual): Os autores fornecem uma fórmula explícita para a classe fundamental equivariant de $[NHilb^{\mathbf{d}}(A^n)]^{vir}$ como uma soma sobre partições aninhadas admissíveis. Os pesos são dados por funções racionais dos pesos do toro $s_i$.

  • Condição de Admissibilidade: Uma partição é admissível se não contiver vetores com 3 ou mais coordenadas não nulas, e sua projeção para qualquer plano 2D estiver dentro de limites específicos (relacionados à condição "Porteous").
  • Esta fórmula permite a computação de invariantes virtuais para todos os pares $(n, d)$.

• Teorema 1.2 (Fórmula de Resíduo Iterado): Para o locus de filtragem nilpotente com vetor de dimensão $\mathbf{d} = (1, d_1, \dots, d_r)$, os autores derivam uma única fórmula de resíduo iterado multivariável para integrais virtuais de classes tautológicas.

  • A fórmula é válida mesmo quando o comprimento total $d$ excede a dimensão ambiente $n$, alcançado através da imersão do problema em um espaço de maior dimensão $A^N$ ($N \gg n$) e comparação de estruturas virtuais.
  • A fórmula generaliza técnicas anteriores de Bérczi e Szenes usadas em teoria de singularidades e computação de polinômios de Thom.

• Classes Virtuais de Dimensão Positiva: Ao contrário de muitas construções anteriores onde as classes virtuais são de dimensão zero (por exemplo, em variedades Calabi-Yau de três dimensões), esta construção produz classes virtuais de dimensão positiva sempre que a dimensão ambiente $n$ é suficientemente grande em relação ao número de pontos.

• Relação com Modelos Não Comutativos: O artigo estabelece um mapa racional do esquema de Hilbert não associativo para o esquema de Hilbert aninhado não comutativo. Este mapa é bem definido no domínio contendo o esquema de Hilbert de pontos e restringe-se à identidade no locus de associatividade. Isso sugere uma ponte entre as abordagens não associativa (comutativa, mas não associativa) e não comutativa para invariantes DT.

Significado e Alegações
Os autores afirmam que este trabalho fornece uma construção elementar e concreta de classes fundamentais virtuais para esquemas de Hilbert aninhados em todas as dimensões.

• Unificação: O trabalho unifica o estudo de números de interseção tautológicos (previamente estudados no componente curvilíneo) com a teoria de interseção virtual no esquema de Hilbert completo.
• Controle Combinatório: A teoria demonstra que os números de interseção universais em esquemas de Hilbert de pontos são governados por fórmulas explícitas de resíduo multivariável sobre os dados combinatórios de ideais monomiais e partições, espelhando a estrutura das teorias tautológicas.
• Extensão para Dimensões Superiores: Espera-se que a construção estenda o modelo de matriz não comutativa e as construções de classe virtual em variedades Calabi-Yau de três dimensões para dimensões superiores.
• Trabalho Futuro: Os autores observam que, em trabalhos futuros, este arcabouço será utilizado para reconstruir os invariantes de Donaldson-Thomas de variedades Calabi-Yau de três dimensões a partir do modelo não associativo, revelando uma ponte direta entre teorias tautológicas e virtuais.

O artigo não pretende resolver a existência geral de invariantes DT para todos os espaços modulares de feixes, mas sim fornece uma maquinaria específica e robusta para computar invariantes virtuais em esquemas de Hilbert aninhados de pontos usando um novo modelo geométrico não associativo.