Compact Moduli Spaces of Marked Cubic Plane Curves

Resumo Técnico: Espaços Moduli Compactos de Curvas Planas Cúbicas Marcadas

Enunciado do Problema
Este trabalho aborda a construção e a classificação de compactificações para o espaço moduli de curvas planas cúbicas marcadas por $n$ pontos rotulados, consideradas até equivalência projetiva. Embora as compactificações do espaço moduli de curvas suaves de gênero $g \geq 0$ com $n$ pontos marcados (como as compactificações de Deligne-Mumford e Hassett) sejam bem compreendidas via estruturas combinatórias como grafos duais e pesos, o caso específico de curvas planas marcadas por pontos requer uma abordagem diferente. O autor foca na variação da Teoria de Invariantes Geométricos (VGIT) para construir essas compactificações, especificamente para o grau $d=3$. O objetivo é fornecer uma descrição completa das paredes e câmaras de GIT dentro do cone amplo do espaço paramétrico, e caracterizar os fenômenos de travessia de parede (wall-crossing) em termos das singularidades das curvas e das posições dos pontos marcados.

Metodologia
O artigo emprega a Teoria de Invariantes Geométricos (GIT) para construir compactificações da variedade quase-projetiva $C^{gen}_{n,d}/SL(3)$, onde $C^{gen}_{n,d}$ representa o espaço paramétrico de curvas planas de grau $d$ com $n$ pontos genéricos marcados. A metodologia procede através dos seguintes passos:

1. Espaço Paramétrico e Linearização: O espaço paramétrico $C_{n,d}$ é definido como a subvariedade de $\mathbb{P}(\Gamma(\mathbb{P}^2, \mathcal{O}(d))) \times (\mathbb{P}^2)^n$ cortada por relações de incidência. O autor constrói uma família de fibrados lineares $L$ $SL(3)$-linearizados sobre este espaço, parametrizada por uma tupla de inteiros não negativos $(\gamma, w_1, \dots, w_n)$, onde $\gamma$ atua como um peso sobre a curva e $w_i$ como pesos sobre os pontos marcados $p_i$.
2. Critério Numérico: A estabilidade de uma curva marcada é determinada utilizando o critério numérico de Hilbert-Mumford. O autor reduz o critério a subgrupos unidimensionais normalizados de um toro máximo em $SL(3)$. Isso envolve o cálculo da função numérica $\mu_L(x, \lambda)$ baseada no "suporte" da curva e dos pontos sob a ação do toro, utilizando a Ordem de Mukai sobre monômios.
3. Determinação do Cone Ámplo: O artigo primeiro caracteriza o cone amplo $SL(3)$-$\Lambda(C_{n,d})$, identificando a região de pesos $(\gamma, w_1, \dots, w_n)$ para a qual o lóbulo de curvas semiestáveis marcadas é não vazio. Isso é alcançado analisando a estabilidade de curvas suficientemente gerais (suaves).
4. Análise de Paredes para Cúbicas ($d=3$): Para o caso específico de curvas cúbicas, o autor identifica as "paredes internas" do cone amplo. Estas paredes correspondem a fibrados lineares onde existem curvas estritamente semiestáveis. Por meio do Lema 4.1, essas curvas estritamente semiestáveis devem possuir um estabilizador $SL(3)$ de dimensão positiva. O autor classifica todas as curvas planas reduzidas com estabilizadores de dimensão positiva (Lema 2.18) e determina as configurações específicas de pontos marcados que as tornam estritamente semiestáveis.
5. Descrição de Travessia de Parede (Wall-Crossing): O artigo analisa a transição de estabilidade ao cruzar essas paredes, identificando as curvas estáveis genéricas $S(T, I, \pm)$ de cada lado de uma parede e sua degeneração comum (a curva estritamente semiestável na parede).

Principais Contribuições e Resultados

• Caracterização do Cone Ámplo (Teorema 3.2): O artigo fornece uma descrição explícita do cone amplo $SL(3)$-$\Lambda(C_{n,d})$ para qualquer grau $d$. O cone é definido por um sistema de desigualdades lineares envolvendo o peso total dos pontos $W = \sum w_i$, os pesos individuais $w_i$ e o peso da curva $\gamma$. Isso generaliza resultados anteriores para $d=2$ (Giansiracusa e Simpson) e $n=1$ (Jensen).
• Classificação de Paredes de GIT para Cúbicas (Teorema 5.1): Para o grau $d=3$, o artigo identifica quatro tipos distintos de paredes internas de GIT, cada uma associada a uma degeneração específica da curva cúbica e a uma configuração específica de pontos marcados:
  1. $3A_1$ (Três retas não concorrentes): Associada a pontos coincidindo em um nó.
  2. $A_2$ (Curva cuspídica): Associada a pontos coincidindo no cúspide.
  3. $A_3$ (Cônica e reta tangente): Associada a pontos no tacnodio e na componente linear.
  4. $D_4$ (Cone sobre três pontos): Associada a pontos na singularidade e nas componentes lineares.
     O Teorema 5.1 fornece as equações de hiperplano explícitas e as condições de contorno para cada tipo de parede.
• Comportamento de Travessia de Parede (Teorema 5.2): O artigo detalha as mudanças geométricas ocorrendo ao cruzar essas paredes. Ele descreve as curvas estáveis genéricas $S(T, I, \pm)$ em cada lado de uma parede e sua degeneração comum $S(T, I, 0)$. Por exemplo, cruzar uma parede associada à singularidade $3A_1$ transiciona o espaço moduli de um que contém curvas nodais irredutíveis para um que contém uniões de uma cônica e uma reta transversa.
• Aplicações a Outros Espaços Moduli:
  • Superfícies Cúbicas (Corolário 6.3): Para $n=2$, o artigo estabelece um isomorfismo entre um quociente GIT específico de cúbicas marcadas e o espaço moduli de superfícies cúbicas contendo um ponto de Eckardt marcado (que é isomorfo ao espaço projetivo ponderado $\mathbb{P}(1, 2, 2, 3)$). Isso conecta o trabalho às construções anteriores de Radu Laza.
  • Curvas Elípticas Marcadas (Corolário 6.5): O artigo constrói um espaço que parametriza curvas planas com $n$ pontos e um ponto de inflexão adicional marcado. Ele mostra que o quociente GIT deste espaço compactifica o espaço moduli de curvas elípticas $M_{1, n+1}$.

Significância e Alegações
O artigo afirma fornecer uma "descrição completa" das paredes e câmaras de GIT para curvas planas cúbicas marcadas, uma tarefa que é notada como fora do alcance para graus arbitrários devido à falta de uma classificação de degenerações para curvas de graus superiores. O trabalho generaliza resultados existentes para curvas de gênero zero e casos específicos de baixo grau.

A significância reside na descrição combinatória e geométrica explícita do limite desses espaços moduli. Ao vincular as paredes de GIT diretamente às singularidades das curvas (nós, cúspides, tacnódios, singularidades $D_4$) e à colisão de pontos marcados, o artigo oferece uma compreensão concreta de como o espaço moduli muda conforme a linearização varia. O autor observa que os morfismos de travessia de parede relacionam-se com fibrados de espaço projetivo ponderado sobre os loci excepcionais, fornecendo uma compreensão estrutural da geometria biracional dessas compactificações. Os resultados servem como base para entender o mapa biracional entre $M_{1,n}$ e os quocientes GIT construídos, que é identificado como o foco de trabalhos em andamento.