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

A continuación se presenta un resumen técnico detallado del artículo "Números ciclotómicos de orden $q-1$ sobre $\mathbb{F}_{q^r}$" de Hayaki Kudo y Yuto Nogata.

1. Planteamiento del Problema

El artículo investiga los números ciclotómicos $(a, b)_e$ sobre cuerpos finitos, específicamente en el contexto donde el orden de la ciclotomía es $e = q-1$ y el cuerpo subyacente es una extensión $\mathbb{F}_{q^r}$ (donde $q=p^n$ y $r \ge 2$).

• Definiciones: Sea $k = \frac{q^r-1}{q-1}$. Los números ciclotómicos $(a, b)_{q-1}$ cuentan el número de elementos $x \in C_a$ tales que $x+1 \in C_b$, donde $C_a$ son las clases ciclotómicas de orden $q-1$ en $\mathbb{F}_{q^r}$.
• Contexto: Si bien el comportamiento asintótico para $e$ fijo cuando $|F| \to \infty$ es conocido ($(a,b)_e \sim |F|/e^2$), y existen cotas superiores para característica grande, este artículo se centra en la familia específica donde $e = q-1$ se mantiene fijo en relación con el tamaño del cuerpo $q^r$.
• Pregunta Central: Los autores buscan determinar si la desigualdad $(a, b)_{q-1} \le \lceil k/2 \rceil$ se cumple para todos los $0 \le a, b \le q-2$. Este límite es significativo porque se relaciona con el rango de matrices específicas asociadas a la ciclotomía y la distribución de soluciones a ecuaciones de norma.

2. Metodología

Los autores emplean un enfoque multifacético que combina teoría algebraica de números, sumas de caracteres y teoría de grafos:

1. Formulación mediante Sumas de Caracteres:

   • Expresan $(a, b)_{q-1}$ utilizando caracteres multiplicativos y sumas de Jacobi sobre $\mathbb{F}_{q^r}$.
   • Mediante el uso de la aplicación de norma relativa $N = N_{\mathbb{F}_{q^r}/\mathbb{F}_q}$, relacionan las sumas de Jacobi sobre el cuerpo de extensión con potencias de sumas de Jacobi sobre el cuerpo base $\mathbb{F}_q$.
   • Descomponen la suma en casos basados en si los caracteres involucrados son triviales o no triviales, aislando un término principal y un término de error.

2. Estimación y Cotas:

   • Análisis del Término Principal: El término principal se deriva de los casos de caracteres triviales, produciendo fórmulas explícitas que involucran $q^r$ y $(q-2)^r$.
   • Estimación del Término de Error: El término de error involucra caracteres no triviales. Utilizando la relación de Hasse-Davenport y propiedades de las sumas de Gauss, acotan la magnitud de este término por $O(q^{r/2})$.
   • Análisis de Casos: Analizan rigurosamente la desigualdad $(a, b)_{q-1} \le \lceil k/2 \rceil$ comparando el término principal más la cota de error contra $\lceil k/2 \rceil$ para diversas paridades de $q$ y $r$.

3. Interpretación mediante Grafo de Cayley Dirigido:

   • Los autores proporcionan una interpretación estructural de $(a, b)_{q-1}$ utilizando un grafo de Cayley dirigido $\Gamma_q$.
   • Definen un grafo con vértices $G_q = \mathbb{F}_q^\times \times \mathbb{F}_q^\times$ y aristas determinadas por el conjunto $\Omega_q = \{(x, 1-x) \mid x \in \mathbb{F}_q \setminus \{0, 1\}\}$.
   • Se demuestra que el número ciclotómico está relacionado con el número de caminos de longitud $r$ en este grafo, conectando específicamente el elemento identidad con un vértice objetivo determinado por $a$ y $b$. Esto produce una fórmula exacta que involucra la matriz de adyacencia $A_q$.

4. Casos Especiales ($r$ es primo):

   • Para $r = \ell$ primo impar, descomponen el conjunto de soluciones basándose en el grado del polinomio mínimo de las soluciones sobre $\mathbb{F}_q$.
   • Distinguen entre soluciones en $\mathbb{F}_q$ (grado 1) y soluciones en $\mathbb{F}_{q^\ell} \setminus \mathbb{F}_q$ (grado $\ell$), utilizando propiedades de polinomios irreducibles y resultantes.

3. Contribuciones y Resultados Clave

A. El Teorema Principal (Validez de la Desigualdad)

El artículo demuestra que para $q = p^n, r \ge 2, k = \frac{q^r-1}{q-1}$, y $e = q-1$:

• Caso General: Si $q \neq 2$, entonces $(a, b)_{q-1} \le \lceil k/2 \rceil$ se cumple para todos los $0 \le a, b \le q-2$.
• Excepción: Si $q = 2$ y $r \ge 3$, la desigualdad falla. Específicamente, $(0, 0)_1 = 2^r - 2$, mientras que $\lceil k/2 \rceil = 2^{r-1}$. Dado que $2^r - 2 > 2^{r-1}$ para $r \ge 3$, se viola la cota.
• Caso de Igualdad: Si $q=2$ y $r=2$, se cumple la igualdad ($2^2-2 = 2 = \lceil 3/2 \rceil$).

B. Fórmulas Exactas

Los autores derivan una fórmula exacta 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)$$
donde $W_{u,v}(q, r)$ es el número de caminos de longitud $r$ en el grafo de Cayley $\Gamma_q$ desde $(1,1)$ hasta $(u,v)$.

C. Cotas Más Estrictas para $r$ Primo

Cuando $r = \ell$ es un primo impar, los autores proporcionan cotas significativamente más ajustadas que el general $\lceil k/2 \rceil$:

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

D. Interpretación Matricial

El artículo conecta los números ciclotómicos con el rango de la matriz $C(a,b)$ definida en la introducción. El fallo de la desigualdad en el caso $q=2, r \ge 3$ corresponde a que la matriz $C(0,0)$ sea la matriz de unos, la cual tiene rango 1, lo que conduce a un número ciclotómico grande.

4. Significado

• Resolución de una Conjetura Específica: El artículo resuelve la cuestión de si la cota $(a, b)_e \le \lceil k/2 \rceil$ se cumple para la familia específica $e=q-1$. Identifica las únicas excepciones ($q=2, r \ge 3$), proporcionando una clasificación completa.
• Perspectiva Estructural: Al vincular los números ciclotómicos con caminos en grafos de Cayley, el artículo ofrece una nueva perspectiva combinatoria que complementa los métodos tradicionales de teoría analítica de números.
• Estimaciones Refinadas: Las cotas derivadas para $r$ primo son mucho más ajustadas que la cota general $\lceil k/2 \rceil$, mostrando que para $q$ grande, los números ciclotómicos son en realidad bastante pequeños (polinómicos en $q$ en lugar de exponenciales en $r$).
• Direcciones Futuras: Los autores plantean preguntas abiertas sobre el fallo de desigualdades similares en contextos más generales y las propiedades estructurales de las matrices $C(a,b)$ en esos casos de fallo.

En resumen, este trabajo proporciona un análisis exhaustivo de los números ciclotómicos de orden $q-1$ sobre $\mathbb{F}_{q^r}$, combinando estimaciones de sumas de caracteres con interpretaciones de teoría de grafos para establecer cotas precisas e identificar las condiciones únicas bajo las cuales fallan las cotas superiores estándar.