Superelliptic degree sets over Henselian fields

Resumen Técnico: Conjuntos de Grados Superelípticos sobre Cuerpos Henselianos

Planteamiento del Problema
El artículo aborda la determinación del conjunto de grados $D(V/K)$ para una variedad $V$ sobre un cuerpo henseliano con valoración discreta $K$. El conjunto de grados se define como la colección de grados de los cuerpos residuales de los puntos cerrados en $V$. Si bien el índice $\text{ind}(V/K)$ (el máximo común divisor del conjunto de grados) es a menudo computable a partir de la fibra especial de un modelo, el conjunto de grados completo puede ser más complejo. Específicamente, Creutz y Viray [CV25] demostraron que, sobre cuerpos $p$-ádicos, el conjunto de grados de una curva puede excluir infinitos múltiplos de su índice, un fenómeno que no ocurre sobre cuerpos finitamente generados. Los autores investigan este comportamiento "no cofinito" para curvas superelípticas $C/K$ de grado primo $q$ (curvas que admiten un recubrimiento cíclico $C \to \mathbb{P}^1$ de grado $q$), las cuales son biracionales a curvas afines de la forma $y^q = F(x)$.

Metodología
Los autores emplean una combinación de teoría de la valoración, análisis de cústers (clusters) y propiedades de cuerpos henelianos para caracterizar el conjunto de grados.

1. Teoría de Cústers: Siguiendo a [DDMM19], las raíces de $F(x)$ se analizan mediante "cústers"—subconjuntos de raíces contenidos en discos abiertos. El grupo de Galois $\text{Gal}(K^{\text{sep}}/K)$ actúa sobre estos cústers.
2. Fórmulas de Valoración: Una herramienta central es el Lema 3.4, que proporciona una fórmula explícita para la valoración $v(F(x_0))$ para cualquier $x_0 \in K$ en términos del cúster más cercano $s$. La fórmula es $v(F(x_0)) = |s| \cdot v(x_0 - \alpha) + c_s$, donde $|s|$ es el tamaño del cúster y $c_s$ es una constante computable derivada de las raíces.
3. Cústers Invariantes por Galois: Bajo el supuesto de que el cuerpo residual es algebraicamente cerrado y las raíces están ramificadas de forma tamizadamente (tame ramification), el Lema 4.2 establece la existencia de un "centro" $\gamma_s \in K$ para cualquier cúster $s$ invariante por Galois. Esto permite a los autores definir regiones $X_s$ donde el comportamiento de la valoración es uniforme.
4. Obstrucción y Construcción: La estrategia de prueba involucra dos direcciones:
   • Obstrucción (Lema 5.1): Utilizando la fórmula de valoración, los autores derivan condiciones de aritmética modular bajo las cuales no pueden existir puntos de un grado específico $r$ (donde $q \nmid r$). Si se cumplen ciertas condiciones respecto a $|s|$, $c_s$ y $v(F(\gamma_s))$, ciertos puntos de grado $r$ quedan obstruidos.
   • Existencia (Lema 5.5): Por el contrario, si las condiciones de obstrucción no se cumplen, los autores utilizan el Lema de Hensel y argumentos de polígonos de Newton para construir puntos de grados arbitrariamente grandes $r$ (con $\gcd(r, q)=1$) dentro de regiones específicas $X_s$.

Contribuciones Clave y Resultados
El artículo proporciona una caracterización completa de cuándo el conjunto de grados de una curva superelíptica no es cofinito (es decir, omite infinitos múltiplos de su índice).

• Teorema 1.1: Asumiendo un cuerpo residual algebraicamente cerrado y ramificación tamizada, el conjunto de grados $D(C/K)$ no es cofinito si y solo si $v(F(0)) \not\equiv 0 \pmod q$ y para cada cúster $s$ invariante por Galois:

  1. $|s| \equiv 0 \pmod q$ y $c_s \not\equiv 0 \pmod q$;
  2. Si el centro $\gamma_s$ se encuentra en la región $X_s$, entonces $v(F(\gamma_s)) \not\equiv 0 \pmod q$.
     Cuando estas condiciones se cumplen, el conjunto de grados está contenido en $q\mathbb{N} \cup \bigcup_{s \text{ no invariante por Galois}} |O(s)|\mathbb{N}$.

• Teorema 1.2: Los autores demuestran la flexibilidad de estos conjuntos de grados. Para cualquier primo $q \neq p$ y cualquier secuencia finita de enteros positivos $n_1, \dots, n_\ell$, existe una curva superelíptica $C/K$ tal que $D(C/K) = q\mathbb{N} \cup n_1\mathbb{N} \cup \dots \cup n_\ell\mathbb{N}$. Como corolario, para cualquier par de primos impares $p$ y $q$, existe una curva donde $D(C/K) = p\mathbb{N} \cup q\mathbb{N}$, mostrando que la densidad del conjunto de grados puede ser arbitrariamente pequeña.

• Método Computacional: El artículo ofrece un método práctico para computar conjuntos de grados utilizando diagramas de cústers y las cantidades $c_s$ y $\gamma_s$, las cuales son computables a mano a partir de las raíces de $F(x)$ (Ejemplo 6.1).

Significancia y Reivindicaciones
Los autores afirman que su trabajo caracteriza completamente el mecanismo detrás del fenómeno de los conjuntos de grados no cofinitos para curvas superelípticas de grado primo sobre cuerpos henelianos.

• Perspectiva Teórica: Los resultados vinculan la aritmética del conjunto de grados directamente con la estructura combinatoria de las raíces (cústers) y sus valoraciones, en lugar de depender únicamente de la geometría de la fibra especial.
• Independencia de Modelos Regulares: El artículo señala que, mientras que los resultados previos [CV25] dependen de modelos regulares con cortes transversales normales estrictos, los métodos aquí presentados pueden computar conjuntos de grados incluso cuando la curva no es $\Delta_v$-regular (Observación 6.2), un caso donde los algoritmos existentes para fibras especiales pueden fallar al intentar producir un modelo regular.
• Independencia de Herramientas: Se señala que el Lema 3.4, que relaciona la valoración de un polinomio con el cúster más cercano, es potencialmente de interés independiente.

El artículo concluye que, para la clase de curvas estudiadas, el conjunto de grados está determinado enteramente por los datos de los cústers del polinomio definitorio $F(x)$, proporcionando un algoritmo concreto para determinar si el conjunto es cofinito y, si no lo es, exactamente qué múltiplos del índice faltan.