On the Maximality, Weierstrass Semigroups, and Automorphism Group of the Curve $Y^{q+1} = X^n(X^n + 1)$

Resumen Técnico: Maximalidad, Semigrupos de Weierstrass y Grupo de Automorfismos de la Curva $y^{q+1} = x^n(x^n + 1)$

Planteamiento del Problema
Este artículo investiga la familia de curvas algebraicas $X_{n,q}$ definidas sobre el cuerpo finito $\mathbb{F}_{q^2}$ mediante la ecuación afín:
$$y^{q+1} = x^n(x^n + 1)$$
donde $n$ es un entero positivo coprimo con la característica $p$. Los objetivos principales son determinar las condiciones precisas bajo las cuales el modelo no singular de esta curva es $\mathbb{F}_{q^2}$-maximal, calcular los semigrupos de Weierstrass en diversas clases de puntos racionales y determinar el grupo completo de automorfismos de la curva. El estudio busca extender resultados previos sobre casos específicos (notablemente $m=3$) a una familia más amplia parametrizada por divisores de $q+1$.

Metodología
Los autores emplean una combinación de técnicas de geometría algebraica y aritmética:

1. Análisis de Maximalidad: Los autores utilizan la propiedad de que la maximalidad se preserva bajo morfismos racionales no constantes. Construyen un mapa de recubrimiento desde la curva hermitiana clásica $H: u^{q+1} + v^{q+1} + 1 = 0$ hacia $X_{n,q}$ y analizan la estructura del cociente. También relacionan la curva con curvas hiperelípticas de la forma $y^2 = x^n + 1$ para derivar condiciones necesarias y suficientes para la maximalidad.
2. Teoría de Divisores y Automorfismos: El artículo utiliza la teoría de extensiones de Kummer para analizar la estructura de ramificación de la proyección $X_{n,q} \to \mathbb{P}^1$. Se derivan fórmulas divisoras explícitas para las funciones $x$ e $y$ para determinar el género y la estructura del grupo de automorfismos.
3. Semigrupos de Weierstrass: Los autores determinan los semigrupos de Weierstrass $H(P)$ en puntos racionales construyendo funciones racionales explícitas con órdenes de polo prescritos. Esto implica:
   • Analizar parámetros locales en puntos de ramificación (lugares sobre $0, \infty$, y raíces de $x^{(q+1)/m} + 1 = 0$).
   • Utilizar expansiones en términos de parámetros locales para identificar huecos y no huecos en el semigrupo.
   • Distinguir entre puntos en el conjunto $O$ (puntos de ramificación) y puntos fuera de $O$ analizando el rango de matrices específicas formadas por coeficientes de expansiones monomiales.
4. Determinación del Grupo de Automorfismos: Los autores identifican el grupo de automorfismos analizando las órbitas de puntos racionales. Aprovechan el hecho de que los puntos en la misma órbita deben compartir el mismo semigrupo de Weierstrass. Al demostrar que los semigrupos en puntos de $O$ difieren de los fuera de $O$ (bajo suposiciones moderadas de característica), restringen los posibles automorfismos a un subgrupo específico generado por aplicaciones diagonales e involuciones específicas.

Contribuciones y Resultados Clave

• Caracterización de la Maximalidad:
  El artículo demuestra que el modelo no singular de $X_{n,q}$ es $\mathbb{F}_{q^2}$-maximal si y solo si $n$ divide a $q+1$. Escribiendo $q+1 = nm$, los autores definen una familia de curvas maximales $X_{m,q}$ parametrizada por los divisores $m$ de $q+1$. Esto generaliza el caso conocido $m=3$.

• Semigrupos de Weierstrass:
  Los autores proporcionan descripciones explícitas de los semigrupos de Weierstrass en varias clases de puntos racionales:

  • Puntos en $O$ (Puntos de Ramificación): Los semigrupos en lugares sobre $0$, $\infty$ y las raíces de $x^{(q+1)/m} + 1 = 0$ se determinan explícitamente en términos de $q$ y $m$. La estructura depende de la paridad de $m$. Por ejemplo, en lugares sobre $\infty$, el semigrupo está generado por $\{q+1-m, q+1-\lfloor m/2 \rfloor, \dots, q+1\}$ (para $m$ par) o $\{q+1-m, q+1-m+2, \dots, q, q+1\}$ (para $m$ impar).
  • Puntos Fuera de $O$: El artículo demuestra que para la mayoría de los puntos racionales $P(a,b)$ fuera del conjunto $O$, el semigrupo de Weierstrass difiere de los de $O$. Específicamente, para el caso $m=4$, los autores derivan generadores que involucran $q, q+1, q-1$ y progresiones aritméticas específicas que dependen de un parámetro $\alpha$.
  • Distinción de Órbitas: Un resultado significativo es que el conjunto $O$ forma una sola órbita bajo el grupo de automorfismos si y solo si $m = (q+1)/2$ y $m$ es par (lo que implica $q \equiv 3 \pmod 4$). En otros casos, el conjunto $O$ se divide en órbitas distintas basadas en los semigrupos de Weierstrass.

• Grupo de Automorfismos:
  Bajo la suposición moderada de que la característica $p$ no divide a $\binom{m/2 + (m \pmod 2)}{1}$ (una condición satisfecha para la mayoría de los $m$), se determina el grupo completo de automorfismos $\text{Aut}(X_{m,q})$:

  • Caso General ($m \neq (q+1)/2$ o $m$ impar): El grupo es isomorfo a un producto semidirecto de orden $2(q+1)^2/m$, generado por automorfismos diagonales y una involución $\theta_2(x,y) = (y^m/x, y)$.
  • Caso Especial ($m = (q+1)/2$ y $m$ par): El grupo es mayor, de orden $8(q+1)$, generado por el grupo anterior y un automorfismo adicional $\theta_4$ que involucra raíces cuartas de la unidad, siempre que $q \equiv 3 \pmod 4$.

Significado
El artículo afirma proporcionar una clasificación completa de las curvas maximales de la forma $y^{q+1} = x^n(x^n + 1)$. Al extender el estudio desde el caso específico $m=3$ a la familia general parametrizada por divisores de $q+1$, el trabajo ofrece nuevos ejemplos explícitos de curvas maximales con géneros variables.

La determinación explícita de los semigrupos de Weierstrass se destaca por tener implicaciones directas en la teoría de códigos geométricos. Específicamente, el conocimiento preciso de estos semigrupos y del número de puntos racionales es esencial para construir códigos de Geometría Algebraica (códigos AG) (como los códigos de Goppa) con parámetros óptimos, incluyendo distancia mínima maximizada y alta dimensión. Los resultados proporcionan las herramientas teóricas y computacionales necesarias para estas aplicaciones.

Además, el artículo contribuye a la comprensión de la estructura de las curvas maximales aclarando la relación entre la curva hermitiana y sus cocientes, y caracterizando los grupos de automorfismos de estas curvas, lo cual es un problema fundamental en la geometría aritmética de curvas sobre cuerpos finitos.