Real versus complex plane curves

Resumen Técnico: Curvas del Plano Real Frente al Plano Complejo

Planteamiento del Problema
El artículo aborda el problema de definir curvas planas suaves sobre campos específicos, investigando concretamente la relación entre la clase de isomorfismo de una curva y su campo de definición. El enfoque principal son las curvas planas complejas suaves $C$ de grado impar. La cuestión central es si una curva $C$ que es isomórfica a su conjugada compleja $\bar{C}$ puede ser definida por un polinomio con coeficientes reales. Si bien se sabe que tal definición es posible para curvas de grado par solo bajo condiciones específicas (con contraejemplos conocidos), el estatus para grados impares no estaba claro anteriormente. De manera más general, el artículo investiga el "campo de módulos" $k_C$ de una curva plana $C$ sobre un campo algebraicamente cerrado $K$ de característica 0. El campo de módulos es el campo fijo del subgrupo del grupo de Galois que estabiliza la curva hasta isomorfismo. El problema central es determinar si $C$ admite un modelo (un polinomio definidor) sobre $k_C$, o si se requiere una extensión finita $k'/k_C$, y si es así, acotar el grado de dicha extensión.

Metodología
El autor emplea un enfoque de teoría de stacks (pilas) para estudiar los campos de módulos, basándose en un trabajo conjunto reciente con A. Vistoli [BV] que extiende tecnologías previas (en su mayoría restringidas a la dimensión 1) a variedades de dimensión arbitraria. La metodología procede de la siguiente manera:

1. Gerbes y Grupos Fundamentales: El problema se traduce al lenguaje de gerbes étale finitos. Una gerbe residual $\mathcal{G}$ sobre el campo base $k$ clasifica formas retorcidas del par $(\mathbb{P}^2, C)$. La existencia de un modelo sobre $k$ es equivalente a que la gerbe $\mathcal{G}$ posea un punto racional $k$, lo cual es a su vez equivalente al desdoblamiento de una secuencia exacta corta de grupos fundamentales asociados a la gerbe.
2. Índice de una Gerbe: El artículo utiliza el concepto de "índice" de una gerbe, definido como el máximo común divisor de los grados de los campos de desdoblamiento finitos. El objetivo es demostrar que el índice es 1 (lo que implica la existencia de un modelo) o acotarlo.
3. Análisis de Teoría de Grupos: La demostración se apoya fuertemente en la clasificación de los grupos de automorfismos de curvas planas suaves de grado $d \geq 4$. El autor analiza subgrupos finitos específicos de $\text{PGL}_3$ (específicamente grupos abelianos de tipos (1) y (2), y grupos hessianos $H_2$ y $H_3$) que pueden surgir como $\text{Aut}(C)$.
4. Singularidades de Tipo R y Teorema de Lang–Nishimura: Una herramienta técnica crucial es la clasificación de singularidades de "tipo R" en dimensión 2. El autor identifica subconjuntos distinguidos del espacio de módulos grueso (compresión) del stack cociente $\mathbb{P}^2 / \text{Aut}(C)$. Al encontrar puntos racionales en esta compresión que se elevan al stack (garantizado si las singularidades correspondientes son de tipo R), el autor aplica el teorema de Lang–Nishimura para stacks para deducir la existencia de puntos racionales en la gerbe $\mathcal{G}$.
5. Argumentos de Subgrupos de Sylow: La demostración de los teoremas principales implica el análisis de los subgrupos de Sylow de los grupos de automorfismos y la aplicación de teoremas de L. A. Šemetkov y B. Sambale respecto al desdoblamiento de secuencias exactas cortas de grupos finitos bajo condiciones de solvabilidad específicas.

Contribuciones Clave y Resultados

• Teorema 1 (Curvas Reales frente a Complejas): El artículo demuestra que para una curva plana compleja suave $C$ de grado impar, las siguientes afirmaciones son equivalentes:

  1. $C$ puede ser definida por un polinomio homogéneo con coeficientes reales.
  2. Existe un polinomio $p \in \mathbb{C}[x,y,z]$ para $C$ y una transformación lineal $g \in \text{GL}_3(\mathbb{C})$ tales que $p \circ g = \bar{p}$.
  3. Las curvas $C$ y su conjugada compleja $\bar{C}$ son isomórficas como curvas abstractas.
     El artículo señala que las implicaciones (i) $\Rightarrow$ (ii) $\Rightarrow$ (iii) son triviales, y (iii) $\Rightarrow$ (ii) sigue de la unicidad de la incrustación de curvas planas suaves de grado $\geq 4$. La contribución novedosa es la demostración de (iii) $\Rightarrow$ (i), la cual se basa en los métodos de la teoría de stacks descritos anteriormente. El autor establece explícitamente que existen contraejemplos para curvas de grado par.

• Teorema 2 (Estructura de los Grupos de Automorfismos): El artículo caracteriza los grupos de automorfismos de curvas planas suaves de grado impar que no admiten un modelo sobre su campo de módulos. Si tal curva existiera, su grupo de automorfismos debe ser conjugado a un grupo abeliano específico $C_a \times C_{an}$ generado por matrices diagonales, sujeto a estrictas condiciones aritméticas sobre los enteros $a, n, e$ (específicamente involucrando la solvabilidad de $e^2 - e + 1 \equiv 0 \pmod n$). Además, el grado $d$ de la curva debe satisfacer relaciones de divisibilidad específicas con estos parámetros (por ejemplo, $an \mid d$ o $n \mid d^2 - 3d + 3$).

• Teorema 3 (Acotación General del Campo de Módulos): El artículo establece una cota general para el campo de definición de cualquier curva plana suave $C$ sobre un campo $K$ de característica 0. Sea $k_C$ el campo de módulos. Existe una extensión finita $k'/k_C$ tal que:

  • $[k' : k_C] \leq 3$.
  • $[k' : k_C]$ divide a $\deg C$.
  • $C$ está definida por un polinomio homogéneo con coeficientes en $k'$.

Significado y Reivindicaciones
El artículo afirma que el Teorema 1 resuelve un vacío persistente en la literatura respecto a la definibilidad de curvas planas de grado impar sobre su campo de módulos (específicamente $\mathbb{R}$ en el caso real). El autor expresa sorpresa de que este hecho no hubiera pasado desapercibido, señalando que mientras se conocen contraejemplos para grados pares, el caso de grado impar no había sido resuelto.

El trabajo generaliza resultados previos (como los de [Brec]) que demostraron que las curvas de grado primo a 6 están definidas sobre su campo de módulos. Al abordar el caso donde 2 no divide al grado (grado impar), el artículo destaca el papel crítico de los primos 2 y 3 en el problema de los campos de módulos para curvas planas. Los resultados sugieren que, para grados impares, la obstrucción para definir la curva sobre su campo de módulos es a lo sumo una extensión cúbica, y para el caso específico de coeficientes reales, no se requiere ninguna extensión si la curva es isomórfica a su conjugada.

El artículo no propone nuevas aplicaciones experimentales ni direcciones de investigación futura más allá de las implicaciones matemáticas inmediatas de los teoremas. Enmarca su contribución como una completación necesaria de la clasificación de los campos de módulos para curvas planas, utilizando maquinaria avanzada de la teoría de stacks para superar las limitaciones de los métodos anteriores restringidos a la dimensión 1.