Compact Moduli Spaces of Marked Cubic Plane Curves

Resumen Técnico: Espacios Moduli Compactos de Curvas Cúbicas Planas Marcadas

Planteamiento del Problema
Este trabajo aborda la construcción y clasificación de las compactificaciones para el espacio moduli de curvas cúbicas planas marcadas por $n$ puntos etiquetados, consideradas hasta equivalencia proyectiva. Mientras que las compactificaciones del espacio moduli de curvas suaves de género $g \geq 0$ con $n$ puntos marcados (como las compactificaciones de Deligne-Mumford y Hassett) están bien comprendidas mediante estructuras combinatorias como grafos duales y pesos, el caso específico de curvas planas marcadas por puntos requiere un enfoque diferente. El autor se centra en la variación de la Teoría de la Invariante Geométrica (VGIT) para construir estas compactificaciones, específicamente para grado $d=3$. El objetivo es proporcionar una descripción completa de los muros y cámaras de la VGIT dentro del cono ámplico del espacio de parámetros, y caracterizar los fenómenos de cruce de muros en términos de las singularidades de las curvas y las posiciones de los puntos marcados.

Metodología
El artículo emplea la Teoría de la Invariante Geométrica (GIT) para construir compactificaciones de la variedad cuasi-proyectiva $C^{gen}_{n,d}/SL(3)$, donde $C^{gen}_{n,d}$ representa el espacio de parámetros de curvas planas de grado $d$ con $n$ puntos marcados genéricos. La metodología procede a través de los siguientes pasos:

1. Espacio de Parámetros y Linealización: El espacio de parámetros $C_{n,d}$ se define como la subvariedad de $\mathbb{P}(\Gamma(\mathbb{P}^2, \mathcal{O}(d))) \times (\mathbb{P}^2)^n$ cortada por relaciones de incidencia. El autor construye una familia de fibrados lineales $L$ sobre este espacio, parametrizados por una tupla de enteros no negativos $(\gamma, w_1, \dots, w_n)$, donde $\gamma$ actúa como un peso sobre la curva y $w_i$ como pesos sobre los puntos marcados $p_i$.
2. Criterio Numérico: La estabilidad de una curva marcada se determina utilizando el criterio numérico de Hilbert-Mumford. El autor reduce el criterio a subgrupos de un parámetro normalizados de un toro maximal en $SL(3)$. Esto implica computar la función numérica $\mu_L(x, \lambda)$ basada en el "soporte" de la curva y los puntos bajo la acción del toro, utilizando el Orden de Mukai sobre los monomios.
3. Determinación del Cono Ámplico: El artículo caracteriza primero el cono ámplico $SL(3)$- $\Lambda(C_{n,d})$, identificando la región de pesos $(\gamma, w_1, \dots, w_n)$ para la cual el lóbulo de curvas marcadas semiestables es no vacío. Esto se logra analizando la estabilidad de curvas suficientemente generales (suaves).
4. Análisis de Muros para Cúbicas ($d=3$): Para el caso específico de las curvas cúbicas, el autor identifica cuatro tipos distintos de "muros internos" del cono ámplico. Estos muros corresponden a fibrados lineales donde existen curvas estrictamente semiestables. Por el Lema 4.1, estas curvas estrictamente semiestables deben poseer un estabilizador $SL(3)$ de dimensión positiva. El autor clasifica todas las cúbicas planas reducidas con estabilizadores de dimensión positiva (Lema 2.18) y determina las configuraciones específicas de puntos marcados que las hacen estrictamente semiestables.
5. Descripción del Cruce de Muros: El artículo analiza la transición de estabilidad al cruzar estos muros, identificando las curvas estables genéricas a cada lado de un muro y su degeneración común (la curva estrictamente semiestable sobre el muro).

Contribuciones Clave y Resultados

• Caracterización del Cono Ámplico (Teorema 3.2): El artículo proporciona una descripción explícita del cono ámplico $SL(3)$- $\Lambda(C_{n,d})$ para cualquier grado $d$. El cono se define por un sistema de desigualdades lineales que involucran el peso total de los puntos $W = \sum w_i$, los pesos individuales $w_i$ y el peso de la curva $\gamma$. Esto generaliza resultados previos para $d=2$ (Giansiracusa y Simpson) y $n=1$ (Jensen).
• Clasificación de los Muros de GIT para Cúbicas (Teorema 5.1): Para el grado $d=3$, el artículo identifica cuatro tipos distintos de muros internos de GIT, cada uno asociado con una degeneración específica de la curva cúbica y una configuración específica de puntos marcados:
  1. $3A_1$ (Tres líneas no concurrentes): Asociado con puntos coincidiendo en un nodo.
  2. $A_2$ (Curva cuspídica): Asociado con puntos coincidiendo en el cúspide.
  3. $A_3$ (Cónica y línea tangente): Asociado con puntos en el tacnodio y en la componente lineal.
  4. $D_4$ (Cono sobre tres puntos): Asociado con puntos en la singularidad y en las componentes lineales.
     El Teorema 5.1 proporciona las ecuaciones de hiperplanos explícitas y las condiciones de frontera para cada tipo de muro.
• Comportamiento de Cruce de Muros (Teorema 5.2): El artículo detalla los cambios geométricos que ocurren al cruzar estos muros. Describe las curvas estables genéricas $S(T, I, \pm)$ a ambos lados de un muro y su degeneración común $S(T, I, 0)$. Por ejemplo, cruzar un muro asociado con la singularidad $3A_1$ transiciona el espacio moduli de un espacio que contiene curvas nodales irreducibles a uno que contiene la unión de una cónica y una línea transversa.
• Aplicaciones a Otros Espacios Moduli:
  • Superficies Cúbicas (Corolario 6.3): Para $n=2$, el artículo establece un isomorfismo entre un cociente GIT específico de cúbicas marcadas y el espacio moduli de superficies cúbicas que contienen un punto de Eckardt marcado (que es isomórfico al espacio proyectivo pesado $\mathbb{P}(1, 2, 2, 3)$). Esto conecta el trabajo con las construcciones previas de Radu Laza.
  • Curvas Elípticas Marcadas (Corolario 6.5): El artículo construye un espacio que parametriza cúbicas planas con $n$ puntos y un punto de inflexión adicional marcado. Muestra que el cociente GIT de este espacio compactifica el espacio moduli de curvas elípticas $M_{1, n+1}$.

Significancia y Reivindicaciones

El artículo afirma proporcionar una "descripción completa" de los muros y cámaras de GIT para curvas planas cúbicas marcadas, una tarea que se señala como inalcanzable para grados arbitrarios debido a la falta de una clasificación de las degeneraciones para curvas de grado superior. El trabajo generaliza los resultados existentes para curvas de género cero y casos específicos de grado bajo.

La significancia reside en la descripción combinatoria y geométrica explícita del límite de estos espacios moduli. Al vincular los muros de GIT directamente con las singularidades de las curvas (nodos, cúspides, tacnodios, singularidades $D_4$) y la colisión de los puntos marcados, el artículo ofrece una comprensión concreta de cómo el espacio moduli cambia a medida que la linealización varía. El autor señala que las morfismos de cruce de muros se relacionan con fibrados de espacios proyectivos pesados sobre los loci excepcionales, proporcionando una comprensión estructural de la geometría biracional de estas compactificaciones. Los resultados sirven como base para entender el mapa biracional entre $M_{1,n}$ y los cocientes GIT construidos, el cual se identifica como el foco de trabajos en curso.