Cyclotomic Numbers of Order $q-1$ over $\mathbb{F}_{q^r}$

1. Formulação do Problema

O artigo investiga números ciclotômicos $(a, b)_e$ sobre corpos finitos, especificamente no contexto em que a ordem da ciclotomia é $e = q-1$ e o corpo subjacente é uma extensão $\mathbb{F}_{q^r}$ (onde $q=p^n$ e $r \ge 2$).

• Definições: Seja $k = \frac{q^r-1}{q-1}$. Os números ciclotômicos $(a, b)_{q-1}$ contam o número de elementos $x \in C_a$ tais que $x+1 \in C_b$, onde $C_a$ são as classes ciclotômicas de ordem $q-1$ em $\mathbb{F}_{q^r}$.
• Contexto: Embora o comportamento assintótico para $e$ fixo quando $|F| \to \infty$ seja conhecido ($(a,b)_e \sim |F|/e^2$), e existam limites superiores para característica grande, este artigo foca na família específica onde $e = q-1$ é fixo em relação ao tamanho do corpo $q^r$.
• Questão Central: Os autores visam determinar se a desigualdade $(a, b)_{q-1} \le \lceil k/2 \rceil$ vale para todos os $0 \le a, b \le q-2$. Este limite é significativo porque se relaciona com o posto de matrizes específicas associadas à ciclotomia e à distribuição de soluções para equações de norma.

2. Metodologia

Os autores empregam uma abordagem multifacetada combinando teoria algébrica dos números, somas de caracteres e teoria dos grafos:

1. Formulação por Soma de Caracteres:

   • Eles expressam $(a, b)_{q-1}$ usando caracteres multiplicativos e somas de Jacobi sobre $\mathbb{F}_{q^r}$.
   • Ao utilizar o mapa de norma relativa $N = N_{\mathbb{F}_{q^r}/\mathbb{F}_q}$, eles relacionam somas de Jacobi sobre o corpo de extensão a potências de somas de Jacobi sobre o corpo base $\mathbb{F}_q$.
   • Eles decompõem a soma em casos baseados em se os caracteres envolvidos são triviais ou não triviais, isolando um termo principal e um termo de erro.

2. Estimativa e Limites:

   • Análise do Termo Principal: O termo principal é derivado de casos de caracteres triviais, produzindo fórmulas explícitas envolvendo $q^r$ e $(q-2)^r$.
   • Estimativa do Termo de Erro: O termo de erro envolve caracteres não triviais. Usando a relação de Hasse-Davenport e propriedades de somas de Gauss, eles limitam a magnitude deste termo por $O(q^{r/2})$.
   • Análise de Casos: Eles analisam rigorosamente a desigualdade $(a, b)_{q-1} \le \lceil k/2 \rceil$ comparando o termo principal mais o limite de erro contra $\lceil k/2 \rceil$ para várias paridades de $q$ e $r$.

3. Interpretação por Grafo de Cayley Direcionado:

   • Os autores fornecem uma interpretação estrutural de $(a, b)_{q-1}$ usando um grafo de Cayley direcionado $\Gamma_q$.
   • Eles definem um grafo com vértices $G_q = \mathbb{F}_q^\times \times \mathbb{F}_q^\times$ e arestas determinadas pelo conjunto $\Omega_q = \{(x, 1-x) \mid x \in \mathbb{F}_q \setminus \{0, 1\}\}$.
   • O número ciclotômico é mostrado como relacionado ao número de passeios de comprimento $r$ neste grafo, conectando especificamente o elemento identidade a um vértice alvo determinado por $a$ e $b$. Isso produz uma fórmula exata envolvendo a matriz de adjacência $A_q$.

4. Casos Especiais ($r$ é primo):

   • Para primo ímpar $r = \ell$, eles decompõem o conjunto de soluções com base no grau do polinômio mínimo das soluções sobre $\mathbb{F}_q$.
   • Eles distinguem entre soluções em $\mathbb{F}_q$ (grau 1) e soluções em $\mathbb{F}_{q^\ell} \setminus \mathbb{F}_q$ (grau $\ell$), utilizando propriedades de polinômios irredutíveis e resultantes.

3. Contribuições e Resultados Principais

A. O Teorema Principal (Validade da Desigualdade)

O artigo prova que para $q = p^n, r \ge 2, k = \frac{q^r-1}{q-1}$, e $e = q-1$:

• Caso Geral: Se $q \neq 2$, então $(a, b)_{q-1} \le \lceil k/2 \rceil$ vale para todos os $0 \le a, b \le q-2$.
• Exceção: Se $q = 2$ e $r \ge 3$, a desigualdade falha. Especificamente, $(0, 0)_1 = 2^r - 2$, enquanto $\lceil k/2 \rceil = 2^{r-1}$. Como $2^r - 2 > 2^{r-1}$ para $r \ge 3$, o limite é violado.
• Caso de Igualdade: Se $q=2$ e $r=2$, a igualdade vale ($2^2-2 = 2 = \lceil 3/2 \rceil$).

B. Fórmulas Exatas

Os autores derivam uma fórmula exata para $(a, b)_{q-1}$:
$$(a, b)_{q-1} = \frac{q^r - (-1)^{r-1}(q-2)^r - 2}{(q-1)^2} + (-1)^{r-1} W_{(-1)^r \omega^{ak}, \omega^{bk}}(q, r)$$
onde $W_{u,v}(q, r)$ é o número de passeios de comprimento $r$ no grafo de Cayley $\Gamma_q$ de $(1,1)$ para $(u,v)$.

C. Limites Mais Ajustados para $r$ Primo

Quando $r = \ell$ é um primo ímpar, os autores fornecem limites significativamente mais apertados do que o geral $\lceil k/2 \rceil$:

• Se $p = \ell$: $0 \le (a, b)_{q-1} \le \ell q^{\ell-2} + 1$.
• Se $p \neq \ell$: $0 \le (a, b)_{q-1} \le \ell q^{\ell-2} + \ell - 1$.
• Especificamente para $r=2$: $(a, b)_{q-1} \in \{0, 1, 2\}$.
• Especificamente para $r=3$: $6 \le (a, b)_{q-1} \le 2q + 4$.

D. Interpretação Matricial

O artigo conecta os números ciclotômicos ao posto da matriz $C(a,b)$ definida na introdução. A falha da desigualdade no caso $q=2, r \ge 3$ corresponde à matriz $C(0,0)$ ser a matriz de todos uns, que tem posto 1, levando a um número ciclotômico grande.

4. Significado

• Resolução de uma Conjectura Específica: O artigo resolve a questão de se o limite $(a, b)_e \le \lceil k/2 \rceil$ vale para a família específica $e=q-1$. Ele identifica as únicas exceções ($q=2, r \ge 3$), fornecendo uma classificação completa.
• Insight Estrutural: Ao vincular números ciclotômicos a passeios em grafos de Cayley, o artigo oferece uma nova perspectiva combinatória que complementa os métodos tradicionais de teoria analítica dos números.
• Estimativas Refinadas: Os limites derivados para $r$ primo são muito mais apertados do que o limite geral $\lceil k/2 \rceil$, mostrando que para $q$ grande, os números ciclotômicos são na verdade bastante pequenos (polinomiais em $q$ em vez de exponenciais em $r$).
• Direções Futuras: Os autores levantam questões abertas sobre a falha de desigualdades semelhantes em contextos mais gerais e as propriedades estruturais das matrizes $C(a,b)$ nesses casos de falha.

Em resumo, este trabalho fornece uma análise abrangente dos números ciclotômicos de ordem $q-1$ sobre $\mathbb{F}_{q^r}$, combinando estimativas de somas de caracteres com interpretações da teoria dos grafos para estabelecer limites precisos e identificar as condições únicas sob as quais os limites superiores padrão falham.