Minimal value set binomials and Frobenius nonclassical curves

Resumen Técnico: Binomios de Conjunto de Valores Mínimo y Curvas No Clásicas de Frobenius

Planteamiento del Problema
Este artículo aborda dos problemas interconectados en la teoría de cuerpos finitos y geometría algebraica. Primero, busca caracterizar los polinomios de conjunto de valores mínimo (MVSP, por sus siglas en inglés) específicamente dentro de la clase de los binomios (polinomios con dos términos) sobre un cuerpo finito $\mathbb{F}_q$. Un MVSP se define como un polinomio $F \in \mathbb{F}_q[x]$ que alcanza el límite inferior teórico para la cardinalidad de su conjunto de valores, dado por $\lceil (q-1)/\deg F \rceil + 1$. Segundo, utilizando la clasificación de estos binomios, el artículo pretende clasificar curvas cuadrinomiales irreducibles (curvas definidas por polinomios con cuatro términos) que son $\mathbb{F}_q$-Frobenius no clásicas. Una curva es Frobenius no clásica si la imagen de cualquier punto suave bajo la morfismo de Frobenius $\mathbb{F}_q$ reside en su recta tangente. Los autores se centran en curvas con variables separadas, definidas por ecuaciones de la forma $f(x) = g(y)$.

Metodología
Los autores emplean una combinación de teoría de números algebraicos y la teoría de curvas algebraicas:

1. Caracterización de Binomios: Los autores analizan binomios de la forma $F(x) = x^a + \beta x^b$. Utilizan un teorema estructural para los MVSP (Teorema 2.2) que relaciona la estructura del conjunto de valores con la existencia de polinomios específicos y derivadas de Hasse. El análisis se divide en tres casos basados en el tamaño del conjunto de valores $|V_F|$:

   • $|V_F| = 1$: Aplicación directa de la definición de MVSPs y propiedades de divisibilidad.
   • $|V_F| = 2$: Análisis mediante relaciones de recurrencia del polinomio evaluado en potencias de un elemento primitivo.
   • $|V_F| > 2$: Aplicación del Teorema 2.2 para derivar restricciones sobre los exponentes y coeficientes, analizando específicamente la cancelación de términos en expansiones de alto grado y las propiedades del mapa de norma en extensiones de cuerpos.

2. Clasificación de Curvas: Los autores aprovechan una conexión conocida (Proposición 2.5, de [3]) que establece que los componentes irreducibles de una curva $f(x) = g(y)$ son Frobenius no clásicas si y solo si $f$ y $g$ son MVSPs con el mismo conjunto de valores (bajo ciertas condiciones).

   • Categorizan las curvas cuadrinomiales con variables separadas en tres tipos basados en sus formas de ecuación afín: (i) $k_1 x^{m_1} + k_2 x^{m_2} + k_3 y^{n_1} + y^{n_2} = 0$, (ii) $k_1 x^{m_1} + k_2 x^{m_2} + k_3 y^{n_1} + 1 = 0$, y (iii) $k_1 x^{m_1} + k_2 x^{m_2} + k_3 x^{m_3} + y^{n_4} = 0$.
   • Para cada tipo, sustituyen los binomios clasificados (y los trinomios derivados para el tipo (iii)) en la ecuación de la curva.
   • Aplican criterios de irreducibilidad (Proposición 5.3) y de no classicalidad de Frobenius (Proposición 5.1) para filtrar los resultados, distinguiendo entre componentes reducibles e irreducibles.

Contribuciones Clave y Resultados

1. Clasificación de Binomios de Conjunto de Valores Mínimo (Teorema A)
El artículo proporciona una clasificación completa de los binomios sobre $\mathbb{F}_q$ que son MVSPs. Salvo por la multiplicación por un elemento no nulo, un binomio es un MVSP si y solo si toma una de las siguientes formas:

• $x^a + \beta$ donde $\beta \in \mathbb{F}_q^*$ y $a \mid (q-1)$.
• $x^{b+\ell(q-1)} - x^b$ para algunos $b, \ell \in \mathbb{N}$ (Tamaño del conjunto de valores 1).
• Formas específicas que involucran $q=2^{2n}$ o $p>2$ con exponentes relacionados con $(q-1)/3$ o $(q-1)/2$ (Tamaño del conjunto de valores 2).
• $x^{p^\ell t} + \beta x^t$ y $x^{2t} + \beta x^t$ con restricciones específicas sobre $t$, $\beta$ y la norma de $\beta$ (Tamaño del conjunto de valores $>2$).

Se observa que estos resultados son consistentes con la Conjetura 1.1 de [6].

2. Clasificación de Curvas Cuadrinomiales Frobenius No Clásicas (Teorema B)
Utilizando la clasificación de binomios y la conexión con curvas de variables separadas, los autores clasifican las curvas cuadrinomiales irreducibles $C$ sobre $\mathbb{F}_q$ que son Frobenius no clásicas. Las curvas vienen dadas por ecuaciones planas específicas, incluyendo:

• Tipo (i): Ecuaciones de la forma $y^{d+q-1} - y^d = \alpha x^{b+q-1} - \alpha x^b$.
• Tipo (ii): Ecuaciones que involucran $y^{q-1}$ y combinaciones trinomiales específicas de $x$ (por ejemplo, $y^{q-1} = x^{2(q-1)/3} + x^{(q-1)/3} + 1$ para $F_4 \subseteq \mathbb{F}_q$).
• Tipo (iii): Ecuaciones más complejas que involucran potencias de $p$, tales como $y^{(p^{2\ell}+p^\ell+1)t} = x^{p^{2\ell}t} + x^{p^\ell t} + x^t$ y variaciones con coeficientes en subcuerpos.

Los autores señalan explícitamente que muchas curvas derivadas en el proceso son reducibles (a menudo productos de curvas de Fermat y rectas) y son excluidas de la clasificación final de curvas irreducibles en el Teorema B.

Significado y Reivindicaciones
El artículo afirma ser el primer trabajo en clasificar MVSPs fijando el número de monomios (específicamente binomios). Los autores posicionan esto como un nuevo enfoque al problema más amplio de clasificar MVSPs, que previamente ha sido estudiado fijando el tamaño del cuerpo o construyendo MVSPs a partir de polinomios conocidos.

Además, el artículo extiende la clasificación de curvas Frobenius no clásicas de curvas trinomiales (clasificadas previamente por el segundo autor en [10]) a curvas cuadrinomiales. Los resultados proporcionan una lista definitiva de curvas cuadrinomiales irreducibles con variables separadas que poseen la propiedad de ser Frobenius no clásicas, una clase de curvas conocidas por tener potencialmente un alto número de puntos racionales (superando el límite de Hasse-Weil para curvas clásicas). Los hallazgos se alinean con y proporcionan evidencia para la Conjetura 1.1 y el Teorema 2.8 en [6].