Invariant polynomials and Mukai's models of moduli spaces of curves and K3 surfaces

Resumo Técnico: Polinômios Invariantes e Modelos de Mukai para Espaços de Moduli de Curvas e Superfícies K3

Enunciado do Problema
Desde o final da década de 1980, Shigeru Mukai introduziu modelos biracionais, denotados por $M^X_{1,g}$ e $M^X_{2,g}$, para espaços de moduli específicos de curvas e superfícies K3 polarizadas de gênero $g \in \{7, 8, 9, 10\}$. Estes modelos são definidos como quocientes de Teoria de Invariantes Geométricos (GIT) de variedades Grassmannianas por grupos algébricos lineares simples. Embora existam resultados fundamentais sobre a estabilidade de objetos suaves e gerais dentro desses modelos, a estabilidade GIT de curvas e superfícies singulares que aparecem nas fronteiras desses espaços de moduli permanece amplamente desconhecida. Tentativas anteriores de verificar a semiestabilidade de exemplos singulares específicos (como no gênero 7) basearam-se em construções clássicas e explícitas de polinômios invariantes e avaliação direta. Esses métodos eram computacionalmente proibitivos, muitas vezes exigindo recursos massivos de computação paralela e tempo significativo para avaliar até mesmo um único exemplo.

Metodologia
O artigo propõe uma abordagem computacionalmente eficiente para construir e avaliar polinômios invariantes associados aos problemas de GIT de Mukai. A metodologia procede em três estágios principais:

1. Construção de Polinômios Invariantes:
   Os autores analisam a decomposição das potências exteriores $\Lambda^g V_g^*$ (para curvas) e $\Lambda^{g+1} V_g^*$ (para superfícies), onde $V_g$ é a representação específica associada ao grupo $G_g$ atuando na Grassmanniana. Ao identificar submódulos irredutíveis dentro dessas decomposições, os autores constroem polinômios invariantes $F_{g,d}$ de graus específicos.

   • A estratégia envolve a seleção de submódulos irredutíveis de pequena dimensão e a busca pelo menor grau $d$ tal que a potência simétrica $\text{Sym}^d$ do submódulo contenha um módulo trivial $G_g$ (um invariante).
   • Para casos específicos (por exemplo, Gênero 8, Dimensão 2), os autores utilizam uma fórmula combinatória para invariantes de $SL_n$ expressa em termos de bases de Gelfand-Tsetlin, implementada no pacote LieAlgebraRepresentations para Macaulay2. Isso evita a necessidade de algoritmos de propósito geral que consomem muita memória.

2. Localização de Objetos Singulares:
   Os autores identificam pontos específicos nos espaços de parâmetros (Grassmannianas) correspondentes a curvas e superfícies singulares. Estes incluem:

   • Desenvolvíveis tangentes.
   • Cúbicas cuspidais com simetria $g$-gonal.
   • Tapetes (carpets) e fitas (ribbons) K3 balanceados.
   • Curvas de grafos associadas a grafos trivalentes ($\Gamma_7, \Gamma_8, \Gamma_9$).
   • Superfícies redutíveis e curvas com componentes genericamente não reduzidas.
     As coordenadas para esses pontos são derivadas de grupos de automorfismo, algoritmos para curvas de grafos e buscas computacionais por estruturas não reduzidas.

3. Avaliação e Verificação:
   Utilizando os polinômios construídos e os pontos identificados, os autores avaliam $F_{g,d}$ nos pontos de parâmetro que representam os objetos singulares. Se o valor for não nulo, o objeto é provado como GIT semiestável. Todos os cálculos são realizados usando Macaulay2.

Principais Contribuições

• Eficiência Algorítmica: O artigo introduz um método para avaliar polinômios invariantes que é vastamente mais eficiente do que abordagens anteriores. Enquanto trabalhos prévios exigiam dias de computação em clusters de alto desempenho (por exemplo, 3 de 36 horas em instâncias AWS), o novo método constrói e avalia polinômios para o gênero 7 em um laptop padrão em aproximadamente 24 horas, sendo que avaliações subsequentes são quase instantâneas.
• Implementação: O trabalho é implementado no pacote LieAlgebraRepresentations para Macaulay2, que inclui uma fórmula combinatória para invariantes de $SL_n$ no Apêndice.
• Fórmula Combinatória: O Apêndice fornece uma prova autossuficiente de uma fórmula combinatória para um invariante de $SL_n$ em termos de bases de Gelfand-Tsetlin, o que é crucial para o cálculo eficiente do invariante de gênero 8.

Resultados
Os autores provam o Teorema 1.1, estabelecendo que uma ampla variedade de curvas e superfícies singulares são GIT semiestáveis nos modelos de Mukai para gêneros de 7 a 10. Especificamente, o artigo confirma a semiestabilidade de:

• Gênero 7: Desenvolvíveis tangentes, cúbicas de 7 cúspides, tapetes K3 balanceados, fitas balanceadas e curvas de grafos.
• Gênero 8: Desenvolvíveis tangentes, cúbicas de 8 cúspides, superfícies redutíveis com quatro componentes não reduzidas, curvas redutíveis com cinco componentes não reduzidas e curvas de grafos.
• Gênero 9: Desenvolvíveis tangentes, cúbicas de 9 cúspides, tapetes K3 balanceados, fitas balanceadas e curvas de grafos.
• Gênero 10: Desenvolvíveis tangentes, cúbicas de 10 cúspides, superfícies redutíveis com duas componentes não reduzidas e curvas redutíveis com quatro componentes não reduzidas.

Notavelmente, a superfície redutível de gênero 8 (Exemplo 8c) é mostrada como sendo estritamente semiestável, um resultado que exigiu o uso do polinômio invariante específico $F_{8,2}$ derivado via fórmula combinatória, uma vez que métodos gerais falharam devido a restrições de memória.

Significância e Alegações
O artigo alega que sua principal contribuição é a demonstração de um método escalável e eficiente para analisar as fronteiras dos espaços de moduli de Mukai. Os autores enfatizam que as "características mais marcantes" de seus resultados são a "extensão e amplitude" da lista de objetos semiestáveis verificados, em vez das propriedades geométricas específicas de qualquer item individual. A metodologia permite a análise de muito mais exemplos do que era possível anteriormente. O artigo não pretende resolver o problema geral de caracterizar toda a fronteira desses espaços de moduli, mas fornece uma ferramenta computacional robusta para verificar a semiestabilidade de objetos singulares específicos e complexos que eram anteriormente intratáveis. O trabalho estende os achados de [25], substituindo cálculos clássicos explícitos por uma abordagem de teoria de representação que é tanto mais rápida quanto mais eficiente em termos de memória.