Newton-Okounkov bodies for nested Hilbert schemes

Resumo Técnico: Corpos de Newton-Okounkov para Esquemas de Hilbert Aninhados

Enunciado do Problema
Este artigo investiga a geometria dos feixes de linha no esquema de Hilbert aninhado de pontos no plano afim, denotado por $\text{Hilb}_{n,n+1}(\mathbb{C}^2)$. Este espaço de módulos parametriza pares de ideais $J \subset I \subset \mathbb{C}[x, y]$ tal que $\dim \mathbb{C}[x, y]/I = n$ e $\dim \mathbb{C}[x, y]/J = n+1$. O objetivo principal é descrever explicitamente os espaços de seções globais dos feixes de linha naturais $\mathcal{O}(m, k)$ neste espaço, construir bases explícitas para essas seções e computar os corpos de Newton-Okounkov associados. Embora a geometria do esquema de Hilbert padrão $\text{Hilb}_n(\mathbb{C}^2)$ e suas seções (via o trabalho de Haiman) sejam bem compreendidas, o caso aninhado apresenta uma complexidade adicional devido à interação entre os dois subesquemas.

Metodologia
Os autores empregam uma combinação de geometria biracional, teoria de representação e álgebra combinatória para preencher a lacuna entre o esquema de Hilbert aninhado e o esquema de Hilbert de pontos em uma explosão (blow-up).

1. Redução Biracional: Os autores estabelecem primeiro uma decomposição $\text{Hilb}_{n,n+1}(\mathbb{C}^2) \simeq \mathbb{C}^2 \times \text{Hilb}_{n,n+1}^0(\mathbb{C}^2)$, onde o último é a fibra sobre a origem. Eles então constroem um mapa biracional entre $\text{Hilb}_{n,n+1}^0(\mathbb{C}^2)$ e $\text{Hilb}_n(\text{Bl}_0\mathbb{C}^2)$, o esquema de Hilbert de pontos no blow-up do plano no zero. Crucialmente, eles provam que essas variedades são isomórficas fora de um lóbulo de codimensão-2. Como ambas as variedades são suaves e normais, esse isomorfismo se estende a uma identificação de suas seções globais de feixes de linha.
2. Tradução Algébrica: Usando o isomorfismo com $\text{Hilb}_n(\text{Bl}_0\mathbb{C}^2)$, o problema é traduzido para a linguagem de polinômios. As seções no blow-up são identificadas com um subespaço específico de polinômios antissimétricos que satisfazem restrições de suporte (relacionadas ao divisor excepcional).
3. Transformação de Coordenadas: Uma homeomorfia de anéis $\phi$ é introduzida, deslocando as variáveis $x_i \mapsto x_i - x$ e $y_i \mapsto y_i - y$. Esta operação algébrica corresponde ao deslocamento geométrico do ponto distinguido no par aninhado. Isso permite que os autores mapeiem as seções no blow-up de volta para o esquema de Hilbert aninhado, identificando-as com a interseção de ideais específicos em um anel de polinômios.
4. Análise Combinatória de Termos de Cauda: Para encontrar bases explícitas, os autores analisam os "termos de cauda" (trailing terms) de polinômios em relação a uma ordem monomial lexicográfica específica ($x < y < x_1 < \dots < x_n < y_1 < \dots < y_n$). Eles caracterizam o conjunto de vetores de expoentes que podem aparecer como termos de cauda. Isso envolve definir uma operação de "elevação k" (k-lift) em conjuntos de pontos inteiros e provar que os termos de cauda de produtos de determinantes correspondem a somas desses conjuntos elevados.

Principais Contribuições e Resultados

• Identificação de Seções Globais (Teorema 1.1 & 3.14): Os autores provam que as seções globais de $\mathcal{O}(m, k)$ em $\text{Hilb}_{n,n+1}(\mathbb{C}^2)$ são isomórficas à componente $\text{sgn}(m+k)$ da interseção de dois ideais: $J_{m+k} \cap I_k$. Aqui, $J$ é o ideal gerado por diferenças de variáveis (relacionado ao esquema de Hilbert padrão) e $I$ é o ideal gerado por $(x_i - x, y_i - y)$.
• Bases Explícitas via Termos de Cauda (Teorema 1.4 & 4.4): O artigo fornece uma caracterização combinatória completa dos termos de cauda dessas seções. Um monômio $x^a y^b \prod x_i^{a_i} y_i^{b_i}$ é um termo de cauda se, e somente se, os expoentes satisfazem um conjunto específico de desigualdades envolvendo os parâmetros $m$ e $k$. Essas desigualdades definem um conjunto poliédrico $P(m+k, k)$.
• Série de Hilbert (Corolário 1.5 & 4.13): Usando a caracterização dos termos de cauda, os autores derivam uma fórmula para a série de Hilbert do espaço de seções como uma soma ponderada sobre os pontos inteiros no conjunto poliédrico $P(m+k, k)$. Eles observam que esta fórmula combinatória concorda com resultados obtidos via a fórmula de localização de Atiyah-Bott, levando a identidades combinatórias não triviais.
• Corpos de Newton-Okounkov (Teorema 1.6 & Corolário 4.18): Os autores computam o corpo de Newton-Okounkov para o feixe de linha $\mathcal{O}(m, k)$ com relação à valuação definida pelo termo de cauda lexicográfico. Eles mostram que este corpo é o produto $\mathbb{R}^2_{\geq 0} \times \Delta(m+k, k)$, onde $\Delta(m+k, k)$ é o poliedro definido pelas versões assintóticas das desigualdades de termos de cauda.

Significância
O artigo fornece um arcabouço algébrico e combinatório concreto para compreender a geometria dos esquemas de Hilbert aninhados, um espaço menos compreendido que o esquema de Hilbert padrão. Ao estabelecer um elo biracional com o esquema de Hilbert de um blow-up, os autores aproveitam resultados conhecidos para resolver o problema para o caso aninhado. A descrição explícita das bases e o cálculo dos corpos de Newton-Okounkov oferecem novas ferramentas para estudar a geometria assintótica desses espaços de módulos. Os autores sugerem que a combinatória dos polítopos resultantes pode estar relacionada aos fenômenos de travessia de parede (wall-crossing) na geometria biracional de esquemas de Hilbert aninhados, conforme estudado por Nakajima e Yoshioka, embora essa conexão seja apresentada como uma expectativa e não como um resultado provado dentro do texto.