Logarithmic Hilbert schemes of curves as weighted blow-ups and their integral Chow rings

Resumo Técnico: Esquemas de Hilbert Logarítmicos de Curvas como Blow-ups Ponderados e Seus Anéis de Chow Integrais

Enunciado do Problema
O artigo aborda a estrutura geométrica e a teoria de interseção do esquema de Hilbert logarítmico de pontos, denotado por $\text{Hilb}^n(C|D)$, sobre uma curva projetiva suave $C$ equipada com uma estrutura logarítmica divisória definida por um conjunto de pontos distintos $D = \sum p_i$. Este espaço de módulos parametriza pares $(\tilde{C}, Z)$, onde $\tilde{C}$ é um modelo semiestável de $C$ obtido via deformações iteradas para o cone normal ao longo de $D$ (degenerações expandidas), e $Z$ é um esquema de comprimento $n$ que é logarítmicamente plano e possui automorfismos finitos. Embora se saiba que esses espaços são pilhas Deligne-Mumford suaves com espaços de módulos grosseiros projetivos, sua construção geométrica explícita e as estruturas de seus anéis de Chow integrais não haviam sido totalmente descritas em termos de espaços de módulos clássicos. Os autores visam descrever concretamente $\text{Hilb}^n(C|D)$ como uma sequência de transformações biracionais do produto simétrico clássico $\text{Sym}^n(C)$ e calcular seus anéis de Chow integrais.

Metodologia
Os autores empregam uma combinação de geometria logarítmica, teoria de blow-ups ponderados e a teoria dos espaços de Hassett (curvas estáveis ponderadas).

1. Espaços de Módulos Intermediários: Os autores constroem uma família de espaços de módulos intermediários $\text{Hilb}^n(C|D)_{\leq i}$, indexados por um vetor $i = (i_1, \dots, i_\ell)$ satisfazendo $0 \leq i_k \leq n$. Esses espaços parametrizam esquemas onde o número de pontos suportados nas "extremidades" (as transformadas próprias dos pontos marcados na curva expandida) é limitado por $i_k$.
2. Blow-ups Ponderados: A estratégia geométrica central envolve identificar os mapas de transição entre esses espaços intermediários. Ao analisar a geometria local das curvas expandidas e utilizar a teoria de blow-ups ponderados (seguindo Quek–Rydh), os autores provam que o mapa $\text{Hilb}^n(C|D)_{\leq i-1} \to \text{Hilb}^n(C|D)_{\leq i}$ é um blow-up ponderado.
3. Critério de Blow-Down: Para estabelecer que esses mapas são de fato blow-ups ponderados, os autores aplicam um critério de blow-down ponderado (de [ALI+23]). Isso envolve verificar que o divisor excepcional é uma fibração de pilhas projetivas ponderadas e que o fibrado normal do divisor satisfaz condições específicas de fibrado de linha.
4. Cálculo do Anel de Chow: O cálculo do anel de Chow integral baseia-se em um análogo ponderado da fórmula de Keel (de [AO25]). Esta fórmula expressa o anel de Chow de um blow-up ponderado em termos do espaço base e do divisor excepcional, desde que o mapa de restrição ao centro seja sobrejetivo. Os autores calculam a classe de Chern topológica equivariante dos fibrados normais dos centros de blow-up para determinar as relações no anel.
5. Análise Tórica e Combinatória: Para o caso específico de $C = \mathbb{P}^1$, os autores utilizam geometria tórica para descrever as estruturas de leque e verificar os resultados usando anéis de Stanley–Reisner. Um apêndice de Dhruv Ranganathan fornece uma abordagem complementar usando quocientes de Chow para estabelecer a natureza tórica do esquema para $D = 0 + \infty$.

Principais Contribuições e Resultados

• Construção Geométrica (Teorema A & B): O artigo prova que o esquema de Hilbert logarítmico $\text{Hilb}^n(C|D)$ é obtido a partir do produto simétrico clássico $\text{Sym}^n(C)$ via uma sequência de $n \cdot \ell$ blow-ups ponderados iterados.

  • Os centros desses blow-ups são explicitamente identificados como subpilhas fechadas $Z_i$ parametrizando esquemas com um número específico de pontos suportados nas extremidades das bolhas.
  • Os pesos dos blow-ups são determinados como $(1, \dots, i)$, onde $i$ é o número de pontos suportados na extremidade específica.
  • Isso fornece uma interpretação modular dos centros e pesos de blow-up, ligando-os às condições de estabilidade dos esquemas.

• Anéis de Chow Integrais (Teorema D): Os autores fornecem uma apresentação explícita do anel de Chow integral $\text{CH}^\bullet(\text{Hilb}^n(C|D)_{\leq i})$.

  • O anel é gerado pelo anel de Chow do produto simétrico $\text{CH}^\bullet(\text{Sym}^n(C))$ e pelas classes dos divisores excepcionais $\epsilon_j^{(r)}$ introduzidos em cada blow-up ponderado.
  • As relações são dadas por polinômios $Q_{m,h}$ (derivados das classes de Chern topológicas dos fibrados normais) e os núcleos dos mapas de pullback dos produtos simétricos.
  • Este resultado generaliza cálculos anteriores para casos específicos e oferece uma descrição completa para curvas e divisores suaves arbitrários.

• Estrutura Tórica (Corolário C): Para o caso $C = \mathbb{P}^1$ e $D \leq 0 + \infty$, o artigo estabelece que as pilhas de Hilbert logarítmicas são pilhas tóricas. O leque de $\text{Hilb}^n(\mathbb{P}^1|0)$ é descrito como uma subdivisão estrela sucessiva do leque de $\mathbb{P}^n$ ao longo de raios específicos correspondentes aos centros de blow-up.

• Funções Geradoras (Teorema E): Usando a estratificação do espaço de módulos pelos comprimentos dos esquemas nas componentes de bolha, os autores calculam a função geradora para as classes $[\text{Hilb}^n(C|D)]$ no anel de Grothendieck de variedades.

  • A fórmula é dada como: $\sum_{n \geq 0} [\text{Hilb}^n(C|D)] t^n = Z_C(t) \left( \frac{(1-Lt)(1-t)}{1-(L+1)t} \right)^\ell$, onde $Z_C(t)$ é a função zeta motivica de $C$.
  • Especializar isso produz fórmulas explícitas para características de Euler e outros invariantes.

Significado e Afirmações
Os autores posicionam este trabalho como um primeiro exemplo concreto relacionando espaços de módulos logarítmicos a espaços de módulos não logarítmicos bem estudados.

• Interpretação de Cruzamento de Parede: A descrição de blow-up ponderado iterado é enquadrada como um "cruzamento de parede no estilo VGIT" entre os esquemas de Hilbert logarítmico e clássico, onde os quocientes Gm surgem da ação do "toro de borracha".
• Utilidade Computacional: Ao reduzir a geometria complexa dos esquemas de Hilbert logarítmicos a uma sequência de blow-ups ponderados, o artigo fornece um método sistemático para calcular invariantes de teoria de interseção (anéis de Chow, características de Euler) que anteriormente eram difíceis de acessar.
• Papel Fundacional: O artigo afirma que $\text{Hilb}^n(C|D)$ serve como um modelo local para construções mais gerais em geometria enumerativa envolvendo degenerações. A descrição explícita das estratos de fronteira e a interpretação modular dos centros de blow-up são apresentadas como etapas essenciais para entender a geometria global desses espaços.
• Direções Futuras: Os autores sugerem que a imagem de blow-up ponderado é aplicável a produtos simétricos logarítmicos gerais e pode levar a fórmulas de comparação entre invariantes enumerativos de espaços de módulos logarítmicos e não logarítmicos, particularmente no contexto de curvas e superfícies nodais.

O artigo não afirma resolver a geometria enumerativa geral de curvas, mas fornece a infraestrutura geométrica e cohomológica necessária (o "modelo local") para abordar tais problemas via degenerações.