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

Resumen Técnico: Invariantes K-Teóricos Virtuales del Esquema de Hilbert Anidado en $\mathbb{C}^2$

Planteamiento del Problema
El artículo aborda el cálculo de los invariantes K-teóricos virtuales para el esquema de Hilbert anidado de puntos en el plano afín, denotado como $NHilb_{(d_0, \dots, d_N)}(\mathbb{A}^2)$. Este espacio de módulos parametriza cadenas de subesquemas de dimensión cero $Z_0 \supset Z_1 \supset \dots \supset Z_N$ con incrementos de longitud especificados. Si bien la clase fundamental virtual y la estructura de la capa (sheaf) para estos espacios fueron definidas previamente por Gholampour, Sheshmani y Yau [GSY20] mediante loci de degeneración, y por Bonelli, Fasola y Tanzini [BFT24] mediante representaciones de quivers, la derivación de una fórmula cerrada para la serie generatriz de sus características Euler virtuales equivariantes seguía siendo un objetivo pendiente de resolución mediante técnicas no conmutativas. El desafío específico radica en el manejo de la estructura anidada y las teorías de obstrucción asociadas para calcular las aplicaciones directas (pushforwards) de las capas de estructura virtuales bajo morfismos de olvido.

Metodología
El autor emplea una estrategia centrada en la incrustación del esquema de Hilbert anidado conmutativo en un análogo "no conmutativo", utilizando el marco de los esquemas de Hilbert no conmutativos introducidos por Nori [Nor78] y extendidos por Behrend, Bryan y Szendrői [BBS13] y Okounkov [Oko17].

1. Construcción del Esquema de Hilbert Anidado No Conmutativo:
   El artículo construye un espacio de módulos suave $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$ como un cociente de un subgrupo parabólico actuando sobre un espacio de operadores que preservan una bandera con un vector cíclico. Este espacio parametriza representaciones no conmutativas de la álgebra libre $\mathbb{C}\langle x_1, \dots, x_n \rangle$ sobre una bandera de espacios vectoriales.

2. Locus de Conmutatividad y Teoría de Obstrucción:
   El esquema de Hilbert anidado de puntos $NHilb_{\mathbf{d}}(\mathbb{A}^n)$ se identifica como el locus de conmutatividad dentro de $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$, donde los operadores conmutan. En el caso específico de $\mathbb{A}^2$ ($n=2$), el autor demuestra que la condición de conmutatividad $[A_1, A_2] = 0$ puede reducirse. Al explotar la ciclicidad del vector $v$, se muestra que la desaparición del conmutador en el bundle cociente $Hom(V_\bullet, V_\bullet / \langle v \rangle)$ es suficiente.
   Esta reducción permite que el esquema de Hilbert anidado sea realizado como el locus de ceros de una sección de un bundle vectorial específico. Esta descripción geométrica dota al esquema de una teoría de obstrucción perfecta. El autor demuestra que la clase en K-teoría del bundle tangente virtual derivado de esta construcción es equivalente a las teorías de obstrucción definidas en [GSY20], [GT17] y [BFT24].

3. Factorización de Capas de Estructura Virtuales:
   El artículo analiza el morfismo de olvido $p: NHilb_{(d_0, \dots, d_r)}(\mathbb{A}^2) \to NHilb_{(d_0, \dots, d_{r-1})}(\mathbb{A}^2)$, el cual olvida el subesquema más grande en la anidación. Este mapa se extiende al entorno no conmutativo. Mediante la construcción de una suryección entre los bundles de obstrucción del dominio y del objetivo, el autor establece una factorización de la capa de estructura virtual en K-teoría:
   $$\mathcal{O}^{vir}_{\mathbf{d}} = p^*(F) \cdot \mathcal{O}^{vir}_{\hat{\mathbf{d}}}$$
   donde $F$ es una clase tautológica explícita.

4. Localización y Serie Generatriz:
   Utilizando la fórmula de localización de Atiyah-Bott, se calcula la aplicación directa $p_* F$. Se demuestra que la contribución de los puntos fijos (correspondientes a diagramas de Young anidados) depende únicamente del incremento $d_r$ y es independiente de la forma específica del diagrama subyacente. Esta independencia permite la derivación de una relación recursiva para la serie generatriz.

Contribuciones Clave y Resultados

• Equivalencia de Teorías de Obstrucción: El artículo demuestra rigurosamente que la teoría de obstrucción perfecta inducida por la incrustación no conmutativa (específicamente la reducción del bundle de conmutatividad en el caso de $\mathbb{A}^2$) produce los mismos invariantes virtuales que las teorías establecidas de Gholampour-Sheshmani-Yau [GSY20].
• Fórmula Cerrada para la Serie Generatriz: El resultado principal es una fórmula cerrada para la serie generatriz multivariante de la característica Euler holomorfa equivariante del esquema de Hilbert anidado. Sea $Z^{GSY}$ esta serie, el artículo demuestra:
  $$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)$$
  donde $PE$ denota el exponencial pleistérico.
• Giro por una Clase Constante: Se demuestra que la aplicación directa de la capa de estructura virtual bajo el mapa de olvido es un giro de la capa de estructura virtual de nivel inferior por una clase constante $\alpha_{d_r}$, la cual corresponde a la característica Euler equivariante de las potencias exteriores de la capa dualizante en el esquema de Hilbert de puntos estándar.

Significancia y Reivindicaciones
El artículo afirma extender la aplicación exitosa de los esquemas de Hilbert no conmutativos al estudio de los esquemas de Hilbert anidados en superficies. Al realizar el esquema anidado como un locus de ceros en un entorno no conmutativo, el autor proporciona un marco geomético unificado que simplifica el cálculo de los invariantes virtuales.

La significancia reside en la derivación de la fórmula cerrada para la serie generatriz, la cual generaliza los resultados conocidos para el esquema de Hilbert no anidado (donde $r=0$) y los esquemas Quot en $\mathbb{A}^3$ y $\mathbb{A}^4$ encontrados en [BBS13], [Oko17], [FMR21] y [KR25]. El trabajo confirma que los invariantes virtuales del esquema de Hilbert anidado en $\mathbb{C}^2$ están gobernados por una estructura de producto simple en la función generatriz, determinada por las características Euler virtuales de los pasos individuales en la anidación. El autor no pretende resolver problemas para dimensiones superiores ($n \ge 3$) u otras superficies dentro de este texto, señalando que el comportamiento de la dimensión virtual para $n \ge 3$ difiere significativamente del caso $n=2$ tratado aquí.