Newton-Okounkov bodies for nested Hilbert schemes

Resumen Técnico: Cuerpos de Newton-Okounkov para Esquemas de Hilbert Anidados

Planteamiento del Problema
Este artículo investiga la geometría de los haces de líneas sobre el esquema de Hilbert anidado de puntos en el plano afín, denotado como $\text{Hilb}_{n,n+1}(\mathbb{C}^2)$. Este espacio de módulos parametriza pares de ideales $J \subset I \subset \mathbb{C}[x, y]$ tales que $\dim \mathbb{C}[x, y]/I = n$ y $\dim \mathbb{C}[x, y]/J = n+1$. El objetivo principal es describir explícitamente los espacios de secciones globales de los haces de líneas naturales $\mathcal{O}(m, k)$ en este espacio, construir bases explícitas para estas secciones y computar los cuerpos de Newton-Okounkov asociados. Mientras que la geometría del esquema de Hilbert estándar $\text{Hilb}_n(\mathbb{C}^2)$ y sus secciones (a través del trabajo de Haiman) están bien comprendidas, el caso anidado presenta una complejidad adicional debido a la interacción entre los dos subesquemas.

Metodología
Los autores emplean una combinación de geometría biracional, teoría de representaciones y álgebra combinatoria para cerrar la brecha entre el esquema de Hilbert anidado y el esquema de Hilbert de puntos en un soplado (blow-up).

1. Reducción Biracional: Los autores establecen primero una descomposición $\text{Hilb}_{n,n+1}(\mathbb{C}^2) \simeq \mathbb{C}^2 \times \text{Hilb}_{n,n+1}^0(\mathbb{C}^2)$, donde este último es la fibra sobre el origen. Luego construyen un mapa biracional entre $\text{Hilb}_{n,n+1}^0(\mathbb{C}^2)$ y $\text{Hilb}_n(\text{Bl}_0\mathbb{C}^2)$, el esquema de Hilbert de puntos en el soplado del plano en el origen. Crucialmente, prueban que estas variedades son isomórficas fuera de un lóbulo de codimensión-2. Dado que ambas variedades son suaves y normales, esta isomorfía extiende la identificación de sus secciones globales de haces de líneas.
2. Traducción Algebraica: Utilizando la isomorfía con $\text{Hilb}_n(\text{Bl}_0\mathbb{C}^2)$, el problema se traduce al lenguaje de los polinomios. Las secciones en el soplado se identifican con un subespacio específico de polinomios antisimétricos que satisfacen restricciones de soporte (relacionadas con el divisor excepcional).
3. Transformación de Coordenadas: Se introduce un homomorfismo de anillos $\phi$, que desplaza las variables $x_i \mapsto x_i - x$ y $y_i \mapsto y_i - y$. Esta operación algebraica corresponde al desplazamiento geométrico del punto distinguido en el par anidado. Esto permite a los autores mapear las secciones en el soplado de vuelta al esquema de Hilbert anidado, identificándolas con la intersección de ideales específicos en un anillo de polinomios.
4. Análisis Combinatorio de Términos de Cola: Para encontrar bases explícitas, los autores analizan los "términos de cola" (trailing terms) de los polinomios con respecto a un orden de mónomios lexicográfico específico ($x < y < x_1 < \dots < x_n < y_1 < \dots < y_n$). Caracterizan el conjunto de vectores de exponentes que pueden aparecer como términos de cola. Esto implica definir una operación de "elevación k" (k-lift) sobre conjuntos de puntos enteros y probar que los términos de cola de productos de determinantes corresponden a sumas de estos conjuntos elevados.

Contribuciones Clave y Resultados

• Identificación de Secciones Globales (Teorema 1.1 y 3.14): Los autores prueban que las secciones globales de $\mathcal{O}(m, k)$ en $\text{Hilb}_{n,n+1}(\mathbb{C}^2)$ son isomórficas a la componente $\text{sgn}(m+k)$ de la intersección de dos ideales: $J_{m+k} \cap I_k$. Aquí, $J$ es el ideal generado por diferencias de variables (relacionado con el esquema de Hilbert estándar), e $I$ es el ideal generado por $(x_i - x, y_i - y)$.
• Bases Explícitas vía Términos de Cola (Teorema 1.4 y 4.4): El artículo proporciona una caracterización combinatoria completa de los términos de cola de estas secciones. Un mónomio $x^a y^b \prod x_i^{a_i} y_i^{b_i}$ es un término de cola si y solo si los exponentes satisfacen un conjunto específico de desigualdades que involucran a los parámetros $m$ y $k$. Estas desigualdades definen un conjunto poliédrico $P(m+k, k)$.
• Serie de Hilbert (Corolario 1.5 y 4.13): Utilizando la caracterización de los términos de cola, los autores derivan una fórmula para la serie de Hilbert del espacio de secciones como una suma ponderada sobre los puntos enteros en el conjunto poliédrico $P(m+k, k)$. Observan que esta fórmula combinatoria concuerda con los resultados obtenidos mediante la fórmula de localización de Atiyah-Bott, lo que conduce a identidades combinatorias no triviales.
• Cuerpos de Newton-Okounkov (Teorema 1.6 y Corolario 4.18): Los autores computan el cuerpo de Newton-Okounkov para el haz de líneas $\mathcal{O}(m, k)$ con respecto a la valoración definida por el término de cola lexicográfico. Demuestran que este cuerpo es el producto $\mathbb{R}^2_{\geq 0} \times \Delta(m+k, k)$, donde $\Delta(m+k, k)$ es el poliedro definido por la versión asintótica de las desigualdades de los términos de cola.

Significado
El artículo proporciona un marco algebraico y combinatorio concreto para comprender la geometría de los esquemas de Hilbert anidados, un espacio menos comprendido que el esquema de Hilbert estándar. Al establecer un vínculo biracional con el esquema de Hilbert de un soplado, los autores aprovechan resultados conocidos para resolver el problema para el caso anidado. La descripción explícita de las bases y el cálculo de los cuerpos de Newton-Okounkov ofrecen nuevas herramientas para estudiar la geometría asintótica de estos espacios de módulos. Los autores sugieren que la combinatoria de los polítopos resultantes puede estar relacionada con los fenómenos de cruce de muros (wall-crossing) en la geometría biracional de los esquemas de Hilbert anidados, tal como han sido estudiados por Nakajima y Yoshioka, aunque esta conexión se presenta como una expectativa más que como un resultado probado dentro del texto.