Virtual K-theoretic invariants of the nested Hilbert scheme on $\mathbb{C}^2$

Resumo Técnico: Invariantes K-Teóricos Virtuais do Esquema de Hilbert Aninhado em $\mathbb{C}^2$

Enunciado do Problema
O artigo aborda o cálculo de invariantes K-teóricos virtuais para o esquema de Hilbert aninhado de pontos no plano afim, denotado por $NHilb_{(d_0, \dots, d_N)}(\mathbb{A}^2)$. Este espaço de módulos parametriza cadeias de subesquemas de dimensão zero $Z_0 \supset Z_1 \supset \dots \supset Z_N$ com incrementos de comprimento especificados. Embora a classe fundamental virtual e a camada estrutural para esses espaços tenham sido previamente definidas por Gholampour, Sheshmani e Yau [GSY20] via loci de degeneração, e por Bonelli, Fasola e Tanzini [BFT24] via representações de quiver, uma fórmula fechada para a série geradora dos características de Euler virtuais equivariantes permaneceu como um alvo para derivação utilizando técnicas não comutativas. O desafio específico reside em lidar com a estrutura aninhada e as teorias de obstrução associadas para calcular os pushforwards das camadas estruturais virtuais sob morfismos de esquecimento.

Metodologia
O autor emprega uma estratégia centrada no embutimento do esquema de Hilbert aninhado comutativo em um análogo "não comutativo", utilizando o arcabouço de esquemas de Hilbert não comutativos introduzidos por Nori [Nor78] e estendido por Behrend, Bryan e Szendrői [BBS13] e Okounkov [Oko17].

1. Construção do Esquema de Hilbert Aninhado Não Comutativo:
   O artigo constrói um espaço de módulos suave $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$ como um quotient stack de um subgrupo parabólico agindo sobre um espaço de operadores que preservam uma flag com um vetor cíclico. Este espaço parametriza representações não comutativas da álgebra livre $\mathbb{C}\langle x_1, \dots, x_n \rangle$ em uma flag de espaços vetoriais.

2. Locus de Comutatividade e Teoria de Obstrução:
   O esquema de Hilbert aninhado de pontos $NHilb_{\mathbf{d}}(\mathbb{A}^n)$ é identificado como o locus de comutatividade dentro de $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$, onde os operadores comutam. No caso específico de $\mathbb{A}^2$ ($n=2$), o autor demonstra que a condição de comutatividade $[A_1, A_2] = 0$ pode ser reduzida. Ao explorar a ciclicidade do vetor $v$, mostra-se que o desaparecimento do comutador no quotient bundle $Hom(V_\bullet, V_\bullet / \langle v \rangle)$ é suficiente.
   Esta redução permite que o esquema de Hilbert aninhado seja realizado como o locus de zero de uma seção de um determinado fibrado vetorial. Esta descrição geométrica equipa o esquema com uma teoria de obstrução perfeita. O autor prova que a classe K-teórica do fibrado tangente virtual derivado desta construção é equivalente às teorias de obstrução definidas em [GSY20], [GT17] e [BFT24].

3. Fatoração de Camadas Estruturais Virtuais:
   O artigo analisa o morfismo de esquecimento $p: NHilb_{(d_0, \dots, d_r)}(\mathbb{A}^2) \to NHilb_{(d_0, \dots, d_{r-1})}(\mathbb{A}^2)$, que esquece o maior subesquema na aninhagem. Este mapa é estendido para o cenário não comutativo. Ao construir uma surjeção entre os fibrados de obstrução do domínio e do alvo, o autor estabelece uma fatoração da camada estrutural virtual em K-teoria:
   $$\mathcal{O}^{vir}_{\mathbf{d}} = p^*(F) \cdot \mathcal{O}^{vir}_{\hat{\mathbf{d}}}$$
   onde $F$ é uma classe tautológica explícita.

4. Localização e Série Geradora:
   Utilizando a fórmula de localização de Atiyah-Bott, o pushforward $p_* F$ é calculado. A contribuição dos pontos fixos (correspondentes a diagramas de Young aninhados) é mostrada para depender apenas do incremento $d_r$ e é independente da forma específica do diagrama subjacente. Esta independência permite a derivação de uma relação recursiva para a série geradora.

Principais Contribuições e Resultados

• Equivalência de Teorias de Obstrução: O artigo prova rigorosamente que a teoria de obstrução perfeita induzida pelo embutimento não comutativo (especificamente a redução do bundle de comutatividade no caso $\mathbb{A}^2$) produz os mesmos invariantes virtuais das teorias estabelecidas de Gholampour-Sheshmani-Yau [GSY20].
• Fórmula Fechada para a Série Geradora: O principal resultado é uma fórmula fechada para a série geradora multivariada da característica de Euler holomorfa equivariante do esquema de Hilbert aninhado. Sendo $Z^{GSY}$ esta série, o artigo prova:
  $$Z^{GSY}(q_0, \dots, q_r; t_1, t_2) = PE \left( \frac{q_0 + (q_1 + \dots + q_r)(1 - t_1 t_2)}{(1 - t_1)(1 - t_2)} \right)$$
  onde $PE$ denota o exponencial pleístico.
• Twist por Classe Constante: O pushforward da camada estrutural virtual sob o mapa de esquecimento é mostrado como um twist da camada estrutural virtual de nível inferior por uma classe constante $\alpha_{d_r}$, que corresponde à característica de Euler equivariante das potências externas da camada dualizante no esquema de Hilbert de pontos padrão.

Significância e Alegações
O artigo afirma estender a aplicação bem-sucedida de esquemas de Hilbert não comutativos para o estudo de esquemas de Hilbert aninhados em superfícies. Ao realizar o esquema aninhado como um locus de zero em um cenário não comutativo, o autor fornece um arcabouço geométrico unificado que simplifica o cálculo de invariantes virtuais.

A significância reside na derivação da fórmula fechada para a série geradora, que generaliza resultados conhecidos para o esquema de Hilbert não aninhado (onde $r=0$) e para os esquemas de Quot em $\mathbb{A}^3$ e $\mathbb{A}^4$ encontrados em [BBS13], [Oko17], [FMR21] e [KR25]. O trabalho confirma que os invariantes virtuais do esquema de Hilbert aninhado em $\mathbb{C}^2$ são governados por uma estrutura de produto simples na função geradora, determinada pelas características de Euler virtuais dos passos individuais na aninhagem. O autor não alega resolver problemas para dimensões superiores ($n \ge 3$) ou outras superfícies dentro deste texto, observando que o comportamento da dimensão virtual para $n \ge 3$ difere significativamente do caso $n=2$ tratado aqui.