Minimal value set binomials and Frobenius nonclassical curves

Resumo Técnico: Binômios de Conjunto de Valores Mínimos e Curvas Não Clássicas de Frobenius

Enunciado do Problema
Este artigo aborda dois problemas interconectados na teoria de corpos finitos e geometria algébrica. Primeiro, busca caracterizar polinômios de conjunto de valores mínimo (MVSPs) especificamente dentro da classe dos binômios (polinômios com dois termos) sobre um corpo finito $\mathbb{F}_q$. Um MVSP é definido como um polinômio $F \in \mathbb{F}_q[x]$ que atinge o limite inferior teórico para a cardinalidade de seu conjunto de valores, dado por $\lceil (q-1)/\deg F \rceil + 1$. Segundo, utilizando a classificação desses binômios, o artigo visa classificar curvas quadrinômios irredutíveis (curvas definidas por polinômios com quatro termos) que são $\mathbb{F}_q$-não clássicas de Frobenius. Uma curva é não clássica de Frobenius se a imagem de qualquer ponto suave sob o morfismo de Frobenius $\mathbb{F}_q$ reside em sua reta tangente. Os autores focam em curvas com variáveis separadas, definidas por equações da forma $f(x) = g(y)$.

Metodologia
Os autores empregam uma combinação de teoria dos números algébricos e a teoria de curvas algébricas:

1. Caracterização de Binômios: Os autores analisam binômios da forma $F(x) = x^a + \beta x^b$. Eles utilizam um teorema estrutural para MVSPs (Teorema 2.2) que relaciona a estrutura do conjunto de valores à existência de polinômios específicos e derivadas de Hasse. A análise é dividida em três casos baseados no tamanho do conjunto de valores $|V_F|$:

   • $|V_F| = 1$: Aplicação direta da definição de MVSPs e propriedades de divisibilidade.
   • $|V_F| = 2$: Análise usando relações de recorrência do polinômio avaliado em potências de um elemento primitivo.
   • $|V_F| > 2$: Aplicação do Teorema 2.2 para derivar restrições sobre os expoentes e coeficientes, analisando especificamente o cancelamento de termos em expansões de alto grau e as propriedades do mapa de norma em extensões de corpo.

2. Classificação de Curvas: Os autores utilizam uma conexão conhecida (Proposição 2.5, de [3]) afirmando que os componentes irredutíveis de uma curva $f(x) = g(y)$ são não clássicos de Frobenius se, e somente se, $f$ e $g$ são MVSPs com o mesmo conjunto de valores (sob certas condições).

   • Eles categorizam curvas quadrinômios com variáveis separadas em três tipos baseados em suas formas de equações afins: (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$, e (iii) $k_1 x^{m_1} + k_2 x^{m_2} + k_3 x^{m_3} + y^{n_4} = 0$.
   • Para cada tipo, eles substituem os binômios classificados (e trinômios derivados para o tipo (iii)) na equação da curva.
   • Eles aplicam critérios de irredutibilidade (Proposição 5.3) e não classicidade de Frobenius (Proposição 5.1) para filtrar os resultados, distinguindo entre componentes redutíveis e irredutíveis.

Principais Contribuições e Resultados

1. Classificação de Binômios de Conjunto de Valores Mínimo (Teorema A)
O artigo fornece uma classificação completa de binômios sobre $\mathbb{F}_q$ que são MVSPs. Até multiplicação por um elemento não nulo, um binômio é um MVSP se, e somente se, assume uma das seguintes formas:

• $x^a + \beta$ onde $\beta \in \mathbb{F}_q^*$ e $a \mid (q-1)$.
• $x^{b+\ell(q-1)} - x^b$ para alguns $b, \ell \in \mathbb{N}$ (Tamanho do conjunto de valores 1).
• Formas específicas envolvendo $q=2^{2n}$ ou $p>2$ com expoentes relacionados a $(q-1)/3$ ou $(q-1)/2$ (Tamanho do conjunto de valores 2).
• $x^{p^\ell t} + \beta x^t$ e $x^{2t} + \beta x^t$ com restrições específicas sobre $t$, $\beta$ e a norma de $\beta$ (Tamanho do conjunto de valores $>2$).

Estes resultados são observados como consistentes com a Conjectura 1.1 de [6].

2. Classificação de Curvas Quadrinômios Não Clássicas de Frobenius (Teorema B)
Utilizando a classificação de binômios e a conexão com curvas de variáveis separadas, os autores classificam curvas quadrinômios irredutíveis $C$ sobre $\mathbb{F}_q$ que são não clássicas de Frobenius. As curvas são dadas por equações planas específicas, incluindo:

• Tipo (i): Equações da forma $y^{d+q-1} - y^d = \alpha x^{b+q-1} - \alpha x^b$.
• Tipo (ii): Equações envolvendo $y^{q-1}$ e combinações trinômia específicas de $x$ (por exemplo, $y^{q-1} = x^{2(q-1)/3} + x^{(q-1)/3} + 1$ para $F_4 \subseteq \mathbb{F}_q$).
• Tipo (iii): Equações mais complexas envolvendo potências de $p$, tais como $y^{(p^{2\ell}+p^\ell+1)t} = x^{p^{2\ell}t} + x^{p^\ell t} + x^t$ e variações com coeficientes em subcorpos.

Os autores explicitamente notam que muitas curvas derivadas no processo são redutíveis (frequentemente produtos de curvas de Fermat e retas) e são excluídas da classificação final de curvas irredutíveis no Teorema B.

Significância e Alegações
O artigo afirma ser o primeiro trabalho a classificar MVSPs fixando o número de monômios (especificamente binômios). Os autores posicionam isso como uma nova abordagem ao problema mais amplo de classificar MVSPs, que anteriormente foi estudado fixando o tamanho do corpo ou construindo MVSPs a partir de polinômios conhecidos.

Além disso, o artigo estende a classificação de curvas não clássicas de Frobenius de curvas trinômios (previamente classificadas pelo segundo autor em [10]) para curvas quadrinômios. Os resultados fornecem uma lista definitiva de curvas quadrinômios irredutíveis com variáveis separadas que possuem a propriedade não clássica de Frobenius, uma classe de curvas conhecida por potencialmente possuir um alto número de pontos racionais (excedendo o limite de Hasse-Weil para curvas clássicas). Os achados alinham-se com e fornecem evidência para a Conjectura 1.1 e o Teorema 2.8 de [6].