Arithmetic exceptionality of generalized Chebyshev polynomials of the second kind

Resumen Técnico: Excepcionalidad Aritmética de los Polinomios de Chebyshev de Segunda Clase Generalizados

Planteamiento del Problema
El artículo investiga la excepcionalidad aritmética de los polinomios de Chebyshev de segunda clase generalizados, denotados como $Q^k_{\mathfrak{g}}$, asociados con álgebras de Lie semisimples $\mathfrak{g}$. Un polinomio $f \in \mathbb{Z}[x]$ en $n$ variables se define como aritméticamente excepcional si el mapa inducido $f: \mathbb{F}_p^n \to \mathbb{F}_p^n$ es una permutación para infinitamente muchos primos $p$.

Si bien la excepcionalidad aritmética de los polinomios de Chebyshev de la primera clase ($P^k_{\mathfrak{g}}$) está bien comprendida (por ejemplo, $P^k_{A_1}$ corresponde a los polinomios de Dickson de la primera clase, que son excepcionales para ciertos $k$), el comportamiento de la segunda clase ($Q^k_{\mathfrak{g}}$) es menos claro. Específicamente, para el caso clásico $\mathfrak{g} = A_1$, se sabe que $Q^k_{A_1}$ (equivalente a los polinomios de Dickson de la segunda clase $E_k(x,1)$) no es aritméticamente excepcional para $k \ge 2$. Los autores abordan el problema abierto de si esta no excepcionalidad se extiende a álgebras de Lie de rango superior, centrándose específicamente en el caso de rango dos $\mathfrak{g} = A_2$. Los polinomios $Q^k_{A_2}$ son mapeos bivariados definidos a través de los caracteres de las representaciones irreducibles de $A_2$.

Metodología
Los autores emplean una combinación de teoría de números algebraicos, la teoría de cuerpos finitos y la teoría de representación de álgebras de Lie. Su enfoque se basa en los siguientes mecanismos clave:

1. Restricción Diagonal: Para analizar el mapeo bivariado $Q^k_{A_2}: \mathbb{F}_q^2 \to \mathbb{F}_q^2$, los autores restringen el dominio a la diagonal $D = \{(a, a) \mid a \in \mathbb{F}_q\}$. Definen un polinomio univariado $f_k(x) = h_k(x, x)$, donde $Q^k_{A_2} = (h_k(y_1, y_2), h_k(y_2, y_1))$. Establecen que si $Q^k_{A_2}$ es una permutación, entonces su restricción diagonal $f_k$ también debe ser una permutación. Esto reduce el problema al caso univariado.
2. Parametrización Ciclotómica: Utilizando una correspondencia entre el cuerpo finito $\mathbb{F}_q$ y los puntos fijos del mapa de Chebyshev de la primera clase $P^q_{A_1}$, los autores parametrizan los elementos de $\mathbb{F}_q$ utilizando valores de la forma $2\cos(2\pi u)$ derivados de raíces de la unidad. Esto permite traducir el problema de la permutación en cuestiones sobre el comportamiento de sumas trigonométricas y elementos ciclotómicos.
3. Análisis de Norma: El núcleo de la prueba consiste en calcular las normas de campo de elementos ciclotómicos específicos. Al analizar el producto de las imágenes de elementos no nulos bajo el mapa $f_k$, los autores derivan condiciones bajo las cuales el polinomio resultante no puede ser una permutación. Utilizan las propiedades del mapa de norma en extensiones ciclotómicas $\mathbb{Q}(\zeta_n)$ y sus subcampos reales máximos.
4. Condiciones de Congruencia: Los autores derivan condiciones necesarias que involucran el máximo común divisor (mcd) y restricciones de aritmética modular sobre $k$ y el primo $p$ para que $f_k$ sea una permutación. Muestran que para primos suficientemente grandes $p$, estas condiciones fallan.

Contribuciones Clave y Resultados
El artículo proporciona una prueba rigurosa de que los polinomios de Chebyshev generalizados de la segunda clase asociados con el sistema de raíces $A_2$ no son aritméticamente excepcionales.

• Teorema Principal (Teorema 24): Para cualquier entero $k > 1$, el mapeo de polinomio bivariado $Q^k_{A_2}: \mathbb{F}_q^2 \to \mathbb{F}_q^2$ no es una permutación para todos los primos $p$ excepto para un número finito de ellos. Específicamente, si $Q^k_{A_2}$ es una permutación, entonces $p < |\tau(k)| + 1$, donde $\tau(k)$ es una función definida por los autores que involucra a $k$. En consecuencia, $Q^k_{A_2}$ no es aritméticamente excepcional.
• Caso Univariado ($A_1$): El artículo revisita el teorema de Cohen respecto a $Q^k_{A_1}$ (polinomios de Dickson de la segunda clase), proporcionando una prueba autónoma de que $Q^k_{A_1}$ no es aritméticamente excepcional para $k \ge 2$, estableciendo un límite para $p$ basado en $k$.
• Relaciones de Recurrencia: Los autores definen explícitamente las relaciones de recurrencia para los componentes de $Q^k_{A_2}$, observando que, si bien comparten la misma recurrencia que los polinomios de la primera clase $P^k_{A_2}$, las condiciones iniciales distintas conducen a comportamientos aritméticos fundamentalmente diferentes.
• Fórmulas Explícitas: El artículo deriva fórmulas explícitas para los valores de la restricción diagonal $f_k$ en puntos específicos (por ejemplo, $0, 1, 2, 3, -1$) y establece la ecuación funcional para $f_k$ en términos de raíces de la unidad (Teorema 29).

Significancia y Reivindicaciones
Los autores afirman que este trabajo extiende la comprensión de la excepcionalidad aritmética desde el caso univariado clásico ($A_1$) hasta el primer caso multivariado no trivial ($A_2$). Destacan que, mientras que los polinomios de la primera clase $P^k_{A_2}$ son excepcionales para infinitos primos (como se muestra en la literatura previa), los polinomios de la segunda clase $Q^k_{A_2}$ exhiben el mismo comportamiento de no excepcionalidad que sus contrapartes de $A_1$.

El artículo concluye señalando que los métodos desarrollados —específicamente la reducción a la diagonal y el uso de normas ciclotómicas— podrían potencialmente generalizarse a otros álgebras de Lie semisimples, tales como $B_2$ y $G_2$. Sin embargo, los autores reconocen modestamente que surgen dificultades inmediatas en estos casos debido a que la propiedad de simetría que permite la restricción diagonal (que se cumple para $A_2$) no necesariamente se cumple para otros sistemas de raíces. El trabajo se presenta como un paso fundacional en la clasificación de las propiedades aritméticas de estas familias de polinomios generalizados.