🔢 mathematics

A counterexample to a conjecture of Thakur on Carlitz-Wieferich primes

Este artículo refuta la conjetura de Thakur de 2015 de que cada primo de Carlitz-Wieferich en característica impar debe tener un grado divisible por la característica, mediante la exhibición de un contraejemplo explícito de grado 5 sobre el cuerpo $\mathbb{F}_{19^3}$ .

Autores originales: Niedbala Giraudin

Publicado 2026-07-20

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Niedbala Giraudin

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

El Código Secreto de los Polinomios

Imagina que eres un detective tratando de descifrar un código secreto oculto dentro de una vasta biblioteca de formas matemáticas llamadas polinomios. En este rincón específico de las matemáticas, conocido como teoría de números, estas formas no son solo líneas en un gráfico; están construidas a partir de un tipo especial de aritmética donde los números se envuelven como un reloj, pero en lugar de 12 horas, el reloj tiene un número primo de horas (como 19 o 17). Este es el mundo de los "campos finitos".

En este mundo, los matemáticos tienen una herramienta especial llamada "módulo de Carlitz". Piensa en esta herramienta como una máquina mágica que toma una forma y la transforma de una manera muy específica y predecible. Usualmente, si alimentas a esta máquina con una forma prima, esta escupe un resultado que sigue una regla simple, de forma muy similar a cómo $2^3$ siempre es 8. Pero a veces, la máquina se comporta demasiado perfectamente. Produce un resultado que no es solo correcto, sino correcto de una manera sospechosamente "extra" perfecta. Los matemáticos llaman a estas raras y sospechosas formas "primos de Wieferich" (nombrados así por un matemático humano, no por un tipo de pez). Durante mucho tiempo, hubo un presentimiento, una conjetura fuerte, de que estas formas "extra perfectas" solo podrían existir si estuvieran construidas a partir de un número muy específico de bloques de construcción. Específicamente, un matemático famoso llamado Thakur conjeturó que en este mundo de números impares, cualquier forma de este tipo debe tener un tamaño que sea un múltiplo del conteo de horas del reloj (el primo $p$ ). Era como adivinar que solo los pasteles "perfectos" podrían hacerse si tuvieran un número de capas divisible por 5.

La Sorpresa en la Quinta Capa

Este artículo es la historia de cómo esa conjetura fue demostrada errónea. El autor, trabajando con la ayuda de un asistente de IA, salió a cazar un "contraejemplo"—una forma que rompe la regla. Buscaban un polinomio especial (una forma matemática) que fuera "extra perfecto" pero que tuviera un tamaño que no fuera un múltiplo del conteo de horas del reloj.

La búsqueda fue increíblemente difícil. El espacio de posibles formas era tan enorme que revisarlas una por una tomaría más tiempo que la edad del universo. En lugar de usar la fuerza bruta, el autor y su compañero de IA utilizaron un método ingenioso y sistemático para estrechar la búsqueda. Y entonces, lo encontraron.

En un mundo donde el reloj tiene 19 horas (específicamente, una versión compleja de este: $\mathbb{F}_{19^3}$ ), descubrieron una forma hecha de exactamente 5 capas. Según la vieja conjetura de Thakur, una forma con 5 capas nunca debería ser "extra perfecta" porque 5 no es divisible por 19. Pero esta lo era. Era un "primo c-Wieferich" de grado 5. El artículo demuestra esto matemáticamente, mostrando que este polinomio específico, que parece una cadena desordenada de números y variables, es de hecho una forma válida e irreducible que rompe la regla.

El artículo no solo encuentra una forma solitaria; encuentra toda una familia de ellas. Debido a la forma en que funcionan estas formas matemáticas, si encuentras una, puedes deslizarla (como si desplazaras una pieza de un rompecabezas) para crear 193 versiones diferentes de ella. Todas estas 193 formas son "extra perfectas" y todas tienen 5 capas. Los autores calcularon que el número total de estas formas especiales es exactamente 6,859.

Lo Que Esto Significa para las Reglas

Este descubrimiento es un gran acontecimiento porque destroza una creencia que muchos matemáticos sostenían. Antes de esto, la gente pensaba que en este mundo "impar", la regla sobre los tamaños siendo divisibles por el número del reloj era inquebrantable. El artículo muestra que la regla tiene un vacío legal.

Sin embargo, los autores son cuidadosos al no decir que la regla está completamente muerta. Revisaron muchas otras posibilidades. Observaron formas con 1, 2, 3 y 4 capas y confirmaron que la vieja regla aún se mantiene ahí—no existen formas "extra perfectas" para esos tamaños. También revisaron muchos diferentes tamaños de reloj (números primos como 3, 7, 11, hasta 31) y descubrieron que para esos relojes específicos, la regla parece seguirse cumpliendo. La regla "rota" solo aparece en este entorno muy específico y complejo con un reloj de 19 horas.

Así que, el artículo no dice "la matemática está rota". Dice: "Pensábamos que la regla era absoluta, pero aquí hay una excepción específica y verificada". Es como encontrar un pájaro que nada bajo el agua. No significa que todos los pájaros puedan nadar, pero demuestra que la antigua definición de "pájaro" necesita un ajuste muy pequeño y específico. Los autores han proporcionado la receta exacta para este pájaro que nada y han demostrado, con código de computadora que cualquiera puede verificar, que realmente existe.

Resumen Técnico: Un Contraejemplo a una Conjetura de Thakur sobre Primos de Carlitz–Wieferich

Planteamiento del Problema
El artículo aborda una conjetura relativa a los primos de Carlitz–Wieferich en el contexto de cuerpos de funciones sobre cuerpos finitos de característica impar. Sea $p$ un primo impar, $q = p^k$ y $A = \mathbb{F}_q[T]$ . Un primo mónico $P \in A$ se define como un primo c-Wieferich (a base 1) si satisface la congruencia $\rho_P(1) \equiv 1 \pmod{P^2}$ , donde $\rho$ es el módulo de Carlitz. Esta condición es el análogo en cuerpos de funciones de la clásica condición de los primos de Wieferich $2^{p-1} \equiv 1 \pmod{p^2}$ .

En 2015, Dinesh Thakur, basándose en demostraciones para grados 2 y 3 y datos numéricos limitados, conjeturó que en característica impar, todo primo c-Wieferich debe tener un grado $d$ divisible por $p$ . Esta conjetura fue reformulada como un problema abierto en 2024, y computaciones extensas posteriores realizadas por Bamunoba y Bergström respaldaron la creencia de que la afirmación se cumple para características impares. El artículo tiene como objetivo probar la validez de esta conjetura.

Metodología
El autor, un investigador independiente, empleó un método computacional sistemático desarrollado en un artículo compañero [4] para buscar contraejemplos. La metodología consiste en:

Reducción a Computación Finita: La existencia de un primo c-Wieferich de un grado $d$ prescrito en una característica impar prescrita se reduce a una computación finita y efectiva que involucra elementos de traza cero en extensiones de cuerpos.
Aritmética Exacta: Todas las computaciones se realizaron utilizando aritmética exacta (sin aproximaciones de punto flotante) en sistemas estándar de álgebra computacional (SageMath, PARI/GP, FLINT y la biblioteca de Python galois).
Verificación: Los resultados fueron reproducidos en motores independientes y calibrados contra primos c-Wieferich conocidos (por ejemplo, en $\mathbb{F}_3[T]$ y $\mathbb{F}_5[T]$ ) y primos ordinarios.
Flujo de Trabajo Colaborativo: La dirección de la investigación y la interpretación estructural fueron proporcionadas por el autor, mientras que el asistente de IA (Claude Opus 4.8) gestionó el conocimiento del dominio matemático, la formalización, la redacción y la ejecución de las computaciones.

Contribuciones Clave y Resultados

Refutación de la Conjetura:
El artículo proporciona un contraejemplo definitivo a la conjetura de Thakur en característica impar. Los autores construyen un primo c-Wieferich irreducible $P(T)$ de grado 5 sobre el cuerpo $\mathbb{F}_{19^3} = \mathbb{F}_{19}[c]$ (donde $c^3 = 8c^2 + 4c + 11$ ).
El polinomio es:
$P(T) = T^5 + (11 + 17c + 9c^2)T^4 + (3 + 7c + 18c^2)T^3 + (2 + 5c + 6c^2)T^2 + (3 + 3c + 11c^2)T + (6 + 17c + 5c^2)$
Crucialmente, el grado $d=5$ no es divisible por la característica $p=19$ (es decir, $19 \nmid 5$ ), lo que contradice directamente la conjetura.
Forma Cerrada para el Factor Común:
El artículo deriva una forma cerrada para el máximo común divisor de los polinomios $[5]$ (el producto de todos los primos mónicos de grado que divide a 5) y $M_5$ (un polinomio específico relacionado con la condición c-Wieferich).
Sea $q = 19^3$ . El polinomio $G = \mu(T^q - T)$ , donde $\mu(X) = X^5 + 5X^3 + 3X^2 - 4X - 9 \in \mathbb{F}_{19}[X]$ , resulta ser:

Libre de cuadrados de grado $5 \cdot 19^3 = 34,295$ .
El producto de exactamente 6,859 primos c-Wieferich distintos de grado 5 (la clase de traslación de $P(T)$ ).
Igual a $\gcd([5], M_5)$ en $\mathbb{F}_{19^3}[T]$ .

Minimalidad del Grado:
El artículo establece que el grado 5 es el grado mínimo posible para tal contraejemplo en característica impar:

Los grados 1, 2 y 3 quedan excluidos por resultados previos (Thakur [6]).
Se demuestra que el grado 4 no posee primos c-Wieferich en ninguna característica impar (Teorema 5.1, probado en el artículo compañero [4]).

No Existencia sobre Cuerpos Primos (en un Rango Sustancial):
Los autores realizaron computaciones exhaustivas para determinar si existen contraejemplos sobre cuerpos primos $\mathbb{F}_p$ (donde $q=p$ ). La Proposición 5.2 reporta que no existen primos c-Wieferich de grado $d$ sobre $\mathbb{F}_p$ para $p \nmid d$ dentro de un rango sustancial de grados y características (por ejemplo, grado 5 para $p \in \{3, 7, 11, \dots, 37\}$ ). El contraejemplo conocido requiere una extensión cúbica ( $q=19^3$ ), no un cuerpo primo.

Significancia y Reivindicaciones
El artículo afirma resolver la cuestión abierta sobre la divisibilidad del grado de los primos c-Wieferich por la característica en entornos impares. Demuestra que la conjetura es falsa, incluso en característica impar, y que el fenómeno no está restringido a la característica 2.

La significancia del resultado es doble:

Refutación de una Expectativa Más Fuerte: El contraejemplo es "no fijo", lo que significa que no es invariante bajo traslación aditiva ( $P(T) \neq P(T+\gamma)$ ). Las búsquedas computacionales previas en característica impar solo habían encontrado ejemplos "fijos", los cuales necesariamente tienen grados divisibles por $p$ . Este resultado responde negativamente a la expectativa más fuerte de que no existen primos c-Wieferich "no fijos" en característica impar.
Perspectiva Estructural: El descubrimiento de una expresión de forma cerrada para el factor común $\gcd([5], M_5)$ proporciona una comprensión estructural más profunda de la distribución de estos primos, mostrando que forman una clase de traslación completa generada por un polinomio con coeficientes en el cuerpo primo $\mathbb{F}_{19}$ .

El artículo establece explícitamente que el ejemplo no fue hallado mediante una búsqueda de fuerza bruta (que sería computacionalmente inviable debido al tamaño del espacio de búsqueda, $\approx 2.2 \times 10^{15}$ candidatos), sino a través de un método sistemático que reduce el problema a una computación finita. Los autores señalan que, si bien no se encontraron contraejemplos sobre cuerpos primos en el rango probado, la existencia de tal ejemplo sobre un cuerpo primo sigue siendo una cuestión abierta más allá de los límites computacionales actuales.

El Código Secreto de los Polinomios

La Sorpresa en la Quinta Capa

Lo Que Esto Significa para las Reglas

Más como este