Virtual invariants from the non-associative Hilbert scheme

Resumen Técnico: Invariantes Virtuales desde el Esquema de Hilbert No Asociativo

Planteamiento del Problema
La geometría de los esquemas de Hilbert de puntos, particularmente en dimensiones $n \geq 3$, es notoriamente sutil. Mientras que el esquema de Hilbert de puntos sobre una superficie suave es suave y está bien comprendido, el esquema de Hilbert de puntos sobre una variedad de tres o más dimensiones es típicamente singular. En la geometría enumerativa, particularmente para variedades de Calabi-Yau de tres y cuatro dimensiones, se depende de clases fundamentales virtuales para definir invariantes (como los invariantes de Donaldson-Thomas). Estas clases se construyen tradicionalmente mediante teorías de obstrucción perfectas, a menudo realizadas como loci críticos de funciones en espacios modulares de matrices no conmutativas (el "modelo de matrices no conmutativas").

Sin embargo, los modelos existentes enfrentan limitaciones:

1. Modelos no conmutativos: reemplazan el anillo de coordenadas conmutativo por un álgebra asociativa libre, realizando el esquema de Hilbert como un locus crítico de un potencial que impone relaciones de conmutatividad.
2. Esquemas de Hilbert anidados (cadenas de subesquemas): son generalmente singulares con estructuras de componentes poco comprendidas, pero son esenciales para las teorías de conteo de haces (por ejemplo, la teoría de Vafa-Witten o de Seiberg-Witten).
3. Existe la necesidad de una construcción unificada y elemental de clases fundamentales virtuales para esquemas de Hilbert anidados en dimensiones arbitrarias que produzca clases virtuales de dimensión positiva cuando la dimensión ambiente $n$ es grande en relación con el número de puntos $d$.

Metodología
Los autores introducen un modelo no asociativo para el esquema de Hilbert de puntos. En lugar de relajar la conmutatividad (como en los modelos no conmutativos), relajan la asociatividad manteniendo la conmutatividad.

1. Construcción del Espacio Ambiente No Asociativo:
   Los autores definen el esquema de Hilbert anidado no asociativo, denotado como $na\text{NHilb}^{\mathbf{d}}(A^n)$, como el espacio modular de cadenas de ideales $I_{r+1} \subset \dots \subset I_1 \subset I_0 = \mathbb{C}\{x_1, \dots, x_n\}^c$, donde $\mathbb{C}\{x_1, \dots, x_n\}^c$ es el álgebra libre, unitaria, conmutativa pero no asociativa sobre $n$ generadores.

• Ellos demuestran que $na\text{NHilb}^{\mathbf{d}}(A^n)$ es una variedad suave.
• La construcción utiliza una descripción de stack de cociente $[M_{n,d}/P_d]$, donde $M_{n,d}$ es un subesquema localmente cerrado suave de un espacio vectorial que parametriza estructuras de álgebra, y $P_d$ es un grupo parabólico que actúa libremente.

2. Realización del Esquema Clásico:
   El esquema de Hilbert anidado clásico $NHilb^{\mathbf{d}}(A^n)$ (donde las álgebras son asociativas) se incrusta en el espacio ambiente no asociativo como el locus de asociatividad.

• Este locus es definido por la anulación de una sección global $s_{ass}$ de un fibrado vectorial $E_{ass}$ (el fibrado de asociatividad) sobre el espacio ambiente suave.
• Por consiguiente, $NHilb^{\mathbf{d}}(A^n)$ hereda una teoría de obstrucción perfecta canónica y una clase fundamental virtual $[NHilb^{\mathbf{d}}(A^n)]^{vir}$.

3. Localización Virtual:
   Los autores utilizan la acción de toro $T = (\mathbb{C}^*)^n$ sobre $A^n$, la cual se eleva al esquema de Hilbert no asociativo. Aplican la fórmula de localización virtual de Graber-Pandharipande para calcular la clase virtual.

• Los puntos fijos corresponden a cadenas de ideales monomiales, que están en bijección con particiones anidadas.
• Los autores derivan fórmulas explícitas para el espacio tangente y el fibrado de obstrucción en estos puntos fijos, expresadas en términos de los pesos de la acción del toro.

4. Fórmulas de Residuos Iterados:
   Para el locus puntual (específicamente el locus de filtración nilpotente $NHilb^{\mathbf{d}}_{nil\text{-}fil}(A^n)$), los autores construyen una resolución parcial fibrada sobre una variedad de banderas. Utilizando la localización de Atiyah-Bott en esta resolución, transforman los integrales virtuales en fórmulas de residuos iterados.

• Un resultado técnico clave es que para el locus de filtración nilpotente, todos los residuos se anulan excepto una única contribución del residuo "Porteous" (la partición anidada que contiene solo vectores unitarios en orden natural).

Contribuciones Clave y Resultados

• Teorema 1.1 (Fórmula de Localización Virtual): Los autores proporcionan una fórmula explícita para la clase fundamental virtual equivariante $[NHilb^{\mathbf{d}}(A^n)]^{vir}$ como una suma sobre particiones anidadas admisibles. Los pesos están dados por funciones racionales de los pesos del toro $s_i$.

  • Condición de Admisibilidad: Una partición es admisible si no contiene vectores con 3 o más coordenadas no nulas, y su proyección a cualquier plano 2D se encuentra dentro de límites específicos (relacionados con la condición "Porteous").
  • Esta fórmula permite la computación de invariantes virtuales para todos los pares $(n, d)$.

• Teorema 1.2 (Fórmula de Residuo Iterado): Para el locus de filtración nilpotente con vector de dimensión $\mathbf{d} = (1, d_1, \dots, d_r)$, los autores derivan una única fórmula de residuo iterado multivariable para los integrales virtuales de clases tautológicas.

  • La fórmula es válida incluso cuando la longitud total $d$ excede la dimensión ambiente $n$, logrado mediante la inmersión del problema en un espacio de mayor dimensión $A^N$ ($N \gg n$) y la comparación de estructuras virtuales.
  • La fórmula generaliza técnicas anteriores de Bérczi y Szenes utilizadas en la teoría de singularidades y en el cálculo de polinomios de Thom.

• Clases Virtuales de Dimensión Positiva: A diferencia de muchas construcciones previas donde las clases virtuales son de dimensión cero (por ejemplo, en variedades de Calabi-Yau de tres dimensiones), esta construcción produce clases virtuales de dimensión positiva siempre que la dimensión ambiente $n$ sea suficientemente grande en comparación con el número de puntos.

• Relación con Modelos No Conmutativos: El artículo establece un mapa racional del esquema de Hilbert no asociativo al esquema de Hilbert anidado no conmutativo. Este mapa es bien definido en el dominio que contiene el esquema de Hilbert de puntos no conmutativo y se restringe a la identidad en el locus de asociatividad. Esto sugiere un puente entre los enfoques no asociativos (conmutativos pero no asociativos) y los no conmutativos para los invariantes de DT.

Significado y Reivindicaciones
Los autores afirman que este trabajo proporciona una construcción elemental y concreta de clases fundamentales virtuales para esquemas de Hilbert anidados en todas las dimensiones.

• Unificación: Unifica el estudio de los números de intersección tautológicos (estudiados previamente en el componente curvilíneo) con la teoría de intersección virtual en el esquema de Hilbert completo.
• Control Combinatorio: La teoría demuestra que los números de intersección universales en los esquemas de Hilbert de puntos están gobernados por fórmulas de residuo multivariable explícitas sobre los datos combinatorios de ideales monomiales y particiones, reflejando la estructura de las teorías tautológicas.
• Extensión a Dimensiones Mayores: Se espera que la construcción extienda el modelo de matrices no conmutativas y las construcciones de clases virtuales en variedades de Calabi-Yau de tres dimensiones hacia dimensiones superiores y entornos anidados.
• Trabajo Futuro: Los autores señalan que en trabajos próximos, este marco será utilizado para reconstruir los invariantes de Donaldson-Thomas de variedades de Calabi-Yau de tres dimensiones a partir del modelo no asociativo, revelando un puente directo entre las teorías tautológicas y virtuales.

El artículo no pretende resolver la existencia general de invariantes DT para todos los espacios modulares de haces, sino que proporciona una maquinaria específica y robusta para computar invariantes virtuales en esquemas de Hilbert anidados de puntos utilizando un novedoso modelo geométrico no asociativo.