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

Resumen Técnico: Polinomios Invariantes y Modelos de Mukai para Espacios de Módulos de Curvas y Superficies K3

Planteamiento del Problema
Desde finales de la década de 1980, Shigeru Mukai introdujo modelos biracionales, denotados como $M^X_{1,g}$ y $M^X_{2,g}$, para espacios de módulos específicos de curvas y superficies K3 polarizadas de género $g \in \{7, 8, 9, 10\}$. Estos modelos se definen como cocientes de la teoría de la Invariante Geométrica (GIT) de variedades de Grassmann por grupos algebraicos lineales simples. Si bien existen resultados fundacionales respecto a la estabilidad de objetos suaves y generales dentro de estos modelos, la estabilidad GIT de curvas y superficies singulares que aparecen en las fronteras de estos espacios de módulos permanece en gran medida desconocida. Los intentos previos para verificar la semiestabilidad de ejemplos singulares específicos (como en el género 7) dependían de construcciones clásicas y explícitas de polinomios invariantes y de la evaluación directa. Estos métodos eran computacionalmente prohibitivos, requiriendo a menudo recursos masivos de computación paralela y un tiempo considerable para evaluar incluso un solo ejemplo.

Metodología
El artículo propone un enfoque computacionalmente eficiente para construir y evaluar polinomios invariantes asociados con los problemas GIT de Mukai. La metodología procede en tres etapas:

1. Construcción de Polinomios Invariantes:
   Los autores analizan la descomposición de las potencias exteriores $\Lambda^g V_g^*$ (para curvas) y $\Lambda^{g+1} V_g^*$ (para superficies), donde $V_g$ es la representación específica asociada al grupo $G_g$ que actúa sobre la variedad de Grassmann. Mediante la identificación de submódulos irreducibles dentro de estas descomposiciones, los autores construyen polinomios invariantes $F_{g,d}$ de grados específicos.

   • La estrategia consiste en seleccionar submódulos irreducibles de pequeña dimensión y encontrar el grado más bajo $d$ tal que la potencia simétrica $\text{Sym}^d$ del submódulo contenga un módulo trivial de $G_g$ (un invariante).
   • Para casos específicos (por ejemplo, Género 8, Dimensión 2), los autores utilizan una fórmula combinatoria para invariantes de $SL_n$ expresada en términos de bases de Gelfand-Tsetlin, implementada en el paquete LieAlgebraRepresentations para Macaulay2. Esto evita la necesidad de algoritmos de propósito general que consumen mucha memoria.

2. Localización de Objetos Singulares:
   Los autores identifican puntos específicos en los espacios de parámetros (Grassmannianas) que corresponden a curvas y superficies singulares. Estos incluyen:

   • Desarrollables tangentes.
   • Cúbicas cuspidales con simetría $g$-gonal.
     estas incluyen:
   • Alfombras (carpets) K3 balanceadas y cintas (ribbons).
   • Curvas de grafos asociadas a grafos trivalentes ($\Gamma_7, \Gamma_8, \Gamma_9$).
   • Superficies reducibles y curvas con componentes genéricamente no reducidas.
     Las coordenadas para estos puntos se derivan de grupos de automorfismos, algoritmos para curvas de grafos y búsquedas computacionales de estructuras no reducidas.

3. Evaluación y Verificación:
   Utilizando los polinomios construidos y los puntos identificados, los autores evalúan $F_{g,d}$ en los puntos de los parámetros que representan los objetos singulares. Si el valor es distinto de cero, el objeto se demuestra como semiestable por GIT. Todos los cálculos se realizan utilizando Macaulay2.

Contribuciones Clave

• Eficiencia Algorítmica: El artículo introduce un método para evaluar polinomios invariantes que es notablemente más eficiente que los enfoques anteriores. Mientras que el trabajo previo requería días de computación en clústeres de alto rendimiento (por ejemplo, 36 horas en instancias de AWS), el nuevo método construye y evalúa polinomios para el género 7 en una computadora portátil estándar en aproximadamente 24 horas, siendo las evaluaciones subsiguientes casi instantáneas.
• Implementación: El trabajo está implementado en el paquete LieAlgebraRepresentations para Macaulay2, el cual incluye en su Apéndice una fórmula combinatoria para invariantes de $SL_n$.
• Fórmula Combinatoria: El Apéndice proporciona una prueba autónoma de una fórmula combinatoria para un invariante de $SL_n$ en términos de bases de Gelfand-Tsetlin, lo cual es crucial para el cálculo eficiente del invariante del género 8.

Resultados
Los autores demuestran el Teorema 1.1, estableciendo que una amplia variedad de curvas y superficies singulares son semiestables por GIT en los modelos de Mukai para géneros del 7 al 10. Específicamente, el artículo confirma la semiestabilidad de:

• Género 7: Desarrollables tangentes, cúbicas de 7 cúspides, alfombras K3 balanceadas, cintas balanceadas y curvas de grafos.
• Género 8: Desarrollables tangentes, cúbicas de 8 cúspides, superficies reducibles con cuatro componentes no reducidas, curvas reducibles con cinco componentes no reducidas y curvas de grafos.
• Género 9: Desarrollables tangentes, cúbicas de 9 cúspides, alfombras K3 balanceadas, cintas balanceadas y curvas de grafos.
• Género 10: Desarrollables tangentes, cúbicas de 10 cúspides, superficies reducibles con dos componentes no reducidas y curvas reducibles con cuatro componentes no reducidas.

Notablemente, la superficie reducible del género 8 (Ejemplo 8c) se muestra como estrictamente semiestable, un resultado que requirió el uso del polinomio invariante específico $F_{8,2}$ derivado mediante la fórmula combinatoria, ya que los métodos generales fallaron debido a restricciones de memoria.

Significado y Reivindicaciones
El artículo afirma que su contribución principal es la demostración de un método escalable y eficiente para analizar las fronteras de los espacios de módulos de Mukai. Los autores enfatizan que las "características más notables" de sus resultados son la "longitud y amplitud" de la lista de objetos semiestables verificados, más que las propiedades geométricas específicas de cualquier elemento individual. La metodología permite el análisis de muchos más ejemplos de los que era posible anteriormente. El artículo no pretende resolver el problema general de caracterizar toda la frontera de estos espacios de módulos, sino que proporciona una herramienta computacional robusta para verificar la semiestabilidad de objetos singulares específicos y complejos que anteriormente eran intratables. El trabajo extiende los hallazgos de [25] reemplazando los cálculos explícitos clásicos con un enfoque de la teoría de representaciones que es tanto más rápido como más eficiente en el uso de la memoria.