Wall-crossing for Hilbert schemes

Resumo Técnico: Wall-Crossing para Esquemas de Hilbert

Enunciado do Problema
O artigo aborda o Programa de Modelos Mínimos (MMP) para o esquema de Hilbert de pontos em uma superfície, focando especificamente em $X = \text{Bl}_0(\mathbb{C}^2)$, a explosão (blowup) do plano afim na origem. O objetivo do MMP neste contexto é descrever os loci básicos (base loci) estáveis de todos os divisores efetivos, identificar os modelos biracionais associados (via construção Proj dos anéis de seções) e caracterizar os mapas entre esses modelos conforme o divisor varia dentro do cone efetivo. Embora o MMP para o esquema de Hilbert de pontos em $\mathbb{P}^2$ tenha sido estudado, este trabalho fornece uma descrição completa para o caso local da explosão do plano afim.

Metodologia
Os autores empregam uma abordagem combinatória fundamentada na descrição explícita das seções globais de feixes de linha em esquemas de Hilbert de pontos em superfícies toricas, baseando-se em resultados de Haiman [12] e no trabalho anterior dos autores [6].

1. Anéis de Seções e Combinatória: As seções globais de feixes de linha $\mathcal{O}(k, m)$ em $\text{Hilb}^n(\text{Bl}_0(\mathbb{C}^2))$ são identificadas com subespaços específicos $A^m_{\ge k}(n)$ de polinômios diagonalmente alternantes ou simétricos em $2n$ variáveis. Esses subespaços são caracterizados pelos expoentes do termo de cauda dos polinômios, que correspondem a um conjunto de pontos inteiros $P(k, m) \subset \mathbb{N}^{2n}$.
2. Lemas de Decomposição: A principal maquinaria técnica envolve a prova de propriedades de aditividade dos conjuntos $P(k, m)$. Especificamente, os autores estabelecem lemas de decomposição (por exemplo, Proposição 3.1, Lema 3.7) mostrando que pontos em $P(k, m)$ podem ser decompostos em somas de pontos em conjuntos mais simples $P(q, 1)$ e $P(q+1, 1)$. Esta estrutura combinatória é usada para provar resultados de geração finita para os anéis de seções.
3. Realização Geométrica: Os modelos biracionais são realizados como closures de imagens de mapas específicos $\iota_k$ e $\iota_k \times \iota_{k+1}$ de $\text{Hilb}^n(\mathbb{C}^2 \setminus \{0\})$ em esquemas de Hilbert maiores. Suas imagens são identificadas como loci de Brill-Noether $X_k$ e variantes aninhadas $X_{k,k+1}$.
4. Corpos de Newton-Okounkov: Os autores utilizam corpos de Newton-Okounkov associados aos anéis de seções para fornecer uma interpretação geométrica do fenômeno de wall-crossing, mostrando que a variação linear desses corpos corresponde às câmaras no cone efetivo.
5. Localização Equivariante: Na seção final, os autores computam características de Euler equivariantes usando dois métodos: contando pontos nos politopos $P(k, m)$ e aplicando a fórmula de localização de Atiyah-Bott nos pontos fixos da ação do toro.

Principais Contribuições e Resultados

• Identificação de Modelos Biracionais (Teoremas 1.1 & 1.2): Os autores provam que os modelos biracionais de $\text{Hilb}^n(\text{Bl}_0(\mathbb{C}^2))$ correspondentes a feixes de linha $\mathcal{O}(k, 1)$ e $\mathcal{O}(km_1 + (k+1)m_2, m_1+m_2)$ são isomorfos às variedades $X_k(n)$ e $X_{k,k+1}(n)$, respectivamente. Essas variedades são descritas explicitamente como loci de Brill-Noether em esquemas de Hilbert maiores.
• Mapas de Wall-Crossing: O fenômeno de wall-crossing é descrito como uma sequência alternada de mapas de projeção naturais entre esses modelos. As "paredes" (walls) correspondem aos raios gerados por $\mathcal{O}(k, 1)$, e as "câmaras" (chambers) correspondem às variedades $X_{k,k+1}$.
• Caracterização de Loci Básicos (Teorema 1.4 & 5.4): É fornecida uma descrição precisa do locus básico de qualquer feixe de linha $\mathcal{O}(k, m)$. O locus básico é o conjunto de subesquemas $Z$ tal que o comprimento da interseção esquema-teórica $|Z \cap E|$ com a curva excepcional $E$ satisfaz $|Z \cap E| > k/m$.
• Geração Finita de Anéis de Seções (Teorema 1.5 & Corolário 3.14): O artigo estabelece que o anel de coordenadas homogêneo total de $\text{Hilb}^n(\text{Bl}_0(\mathbb{C}^2))$ é minimamente gerado pelas seções dos feixes de linha $\mathcal{O}(0, 1), \mathcal{O}(1, 1), \dots, \mathcal{O}(n-1, 1)$ e $\mathcal{O}(1, 0)$, juntamente com seções canônicas de $\mathcal{O}(-1, 0)$ e $\mathcal{O}(0, -2)$. Além disso, mostra-se que qualquer subanel gerado por dois feixes de linha consecutivos nesta lista é gerado pelas seções desses dois feixes.
• Propriedade de Estabilidade (Corolário 1.3): Para $k \ge n$, os modelos biracionais estabilizam, o que significa que $X_k(n) \simeq X_{k-1,k}(n) \simeq \text{Hilb}^n(\text{Bl}_0(\mathbb{C}^2))$. Isso reduz a coleção infinita de paredes e câmaras a um conjunto finito para fins de classificação de modelos biracionais até isomorfismo.
• Identidades Combinatórias (Teorema 7.10): Ao comparar a contagem combinatória de seções com a fórmula de localização, os autores derivam identidades não triviais relacionando somas ponderadas sobre os conjuntos $P(k, m)$ a somas sobre pares de diagramas de Young.

Significância e Alegações
O artigo afirma fornecer uma solução completa para o Programa de Modelos Mínimos para o esquema de Hilbert de pontos na explosão do plano afim. Ao identificar explicitamente os modelos biracionais como loci de Brill-Noether e descrever os mapas de wall-crossing como projeções explícitas, o trabalho oferece uma compreensão geométrica concreta da variação desses espaços de moduli.

Os autores enfatizam que sua abordagem combinatória, utilizando os conjuntos $P(k, m)$, não apenas prova a geração algébrica dos anéis de seções, mas também serve como uma "sombra combinatória" para os loci básicos geométricos. Este modelo foi instrumental para conjecturar as afirmações geométricas relativas aos loci básicos e ao wall-crossing. Adicionalmente, o artigo estende a compreensão dos corpos de Newton-Okounkov neste contexto, demonstrando sua variação linear através das câmaras definidas pelo MMP. As identidades combinatórias derivadas são apresentadas como generalizações profundas de resultados anteriores para o esquema de Hilbert de pontos em $\mathbb{C}^2$.