Turning non-smooth points into rational points

Resumen Técnico: Transformación de puntos no suaves en puntos racionales

Planteamiento del problema
Este artículo aborda el comportamiento de los puntos no suaves en curvas regulares sobre cuerpos imperfectos de característica $p > 0$. Mientras que la regularidad y la suavidad coinciden sobre cuerpos perfectos, divergen en el entorno imperfecto, dando lugar a curvas regulares que son no suaves (por ejemplo, curvas cuasi-elípticas). El problema central es determinar el número preciso de tracciones de Frobenius iteradas necesarias para transformar un punto puramente inseparable, no suave, $x$, en un punto $K$-racional en una curva regular $C$.

El trabajo previo del autor y Stöhr [HS25a] estableció un límite superior, denotado como $\tau_p(d)$, para el número de tracciones necesarias, donde $d$ es un parámetro relacionado con el grado de singularidad geométrica $\delta(x) = \frac{p-1}{2}d$. Sin embargo, se sabía que este límite era exacto solo en característica $p=2$. En características $p > 2$, el límite no siempre era óptimo debido a las restricciones sobre qué grados de singularidad pueden ocurrir realmente para puntos puramente inseparables.

Metodología
El artículo emplea la dualidad entre curvas regulares y cuerpos de funciones separables de una dimensión para analizar el problema aritméticamente. La metodología central consiste en:

1. Análisis de admisibilidad: Los autores caracterizan primero qué enteros $d$ son "admisibles", es decir, si existe un par $(C|K, x)$ con grado de singularidad $\delta(x) = \frac{p-1}{2}d$. Demuestran que $d$ es admisible si y solo si $d \not\equiv -1 \pmod p$.
2. Construcción de ejemplos extremales: Para establecer límites inferiores exactos, los autores construyen explícitamente cuerpos de funciones específicos $F|K$ y primos puramente inseparables $p$ con grados de singularidad prescritos. Estas construcciones utilizan el algoritmo de Bedoya–Stöhr [BS87] y campos base imperfectos cuidadosamente elegidos (que a veces requieren un grado-$p \ge 2$).
3. Cálculo recursivo de la singularidad: Utilizando el algoritmo de Bedoya–Stöhr y el Teorema 2.3, los autores computan la secuencia de grados de singularidad $\delta(p_n)$ para los primos restringidos bajo tracciones de Frobenius iteradas. Analizan las "diferencias" $\Delta_n = \delta(p_n) - \delta(p_{n+1})$ para determinar exactamente cuándo el primo restringido se vuelve racional.
4. Optimización combinatoria: El límite exacto $\lambda_p(d)$ se deriva encontrando el $m$ mínimo tal que, para todos los pares admisibles, el primo restringido es racional para todo $n \ge m$. Esto implica comparar los límites inferiores construidos contra el límite superior existente $\tau_p(d)$.

Contribuciones clave y resultados

• Límite exacto $\lambda_p(d)$: El resultado principal es el Teorema 1.2 (y el Teorema 3.5), que establece un nuevo límite exacto $\lambda_p(d)$ para el número de tracciones de Frobenius necesarias para transformar un punto puramente inseparable en un punto racional. Este límite es óptimo para cada característica $p > 0$ y cada entero admisible $d$.

  • El límite $\lambda_p(d)$ es igual al límite anterior $\tau_p(d)$ o bien a $\tau_p(d) - 1$.
  • El valor específico depende de la expansión $p$-ádica de $d$ y de si $d$ puede representarse como una suma de potencias de $p$ consecutivas en configuraciones específicas.
  • El Corolario 3.6 confirma que en característica $p=2$, el límite anterior $\tau_p(d)$ es siempre exacto.

• Generalización a puntos no suaves arbitrarios: El Teorema 1.6 extiende estos resultados a puntos no suaves arbitrarios (no necesariamente puramente inseparables). Establece que si un punto $x$ tiene grado de singularidad $\delta(x) = \frac{p-1}{2} [\kappa(x):K]_s \cdot d$, entonces su imagen se convierte en un punto separable (perteneciente a $C_n(K^{sep})$) para todo $n \ge \lambda_p(d)$. Esto generaliza el caso puramente inseparable donde el grado separable es 1.

• Criterio de admisibilidad: La Proposición 3.2 proporciona una condición necesaria y suficiente para que un entero $d$ sea el parámetro del grado de singularidad de un punto puramente inseparable: $d \not\equiv -1 \pmod p$.

• Construcciones explícitas: La Sección 4 proporciona ejemplos explícitos de cuerpos de funciones (Ejemplos 4.1 y 4.2) que realizan los límites exactos. Estos ejemplos demuestran que el límite no puede reducirse más, ya que existen pares donde el punto permanece no racional (o no separable) exactamente hasta el paso $\lambda_p(d) - 1$.

Significado y afirmaciones
El artículo afirma resolver la cuestión de la exactitud del límite para las tracciones de Frobenius en todas las características $p > 0$. Si bien se sabía que el límite anterior $\tau_p(d)$ era exacto para $p=2$, este trabajo demuestra que para $p > 2$, el límite puede mejorarse a menudo por 1, dependiendo de las propiedades aritméticas del grado de singularidad.

Los autores señalan que sus ejemplos construidos comparten la propiedad de ser geométricamente racionales (género 0). Indican que, aunque no tienen un control a priori sobre la geometría global de estas curvas en general, se espera que los límites exactos $\lambda_p(d)$ se mantengan incluso bajo restricciones globales, como fijar el género geométrico o el grado-$p$ del cuerpo base. Los resultados proporcionan un método para obtener descripciones explícitas de curvas regulares no suaves trabajando hacia atrás desde la curva racional obtenida tras suficientes tracciones de Frobenius, una técnica aplicada previamente a curvas cuasi-elípticas y cuárticas planas.

El artículo no pretende resolver la clasificación de todas estas curvas, sino que proporciona el umbral aritmético preciso requerido para que la estrategia de "transformar puntos no suaves en puntos racionales" sea efectiva para cualquier grado de singularidad dado.