🔢 mathematics

Irrationality of finite logarithms in a congruence-class adèle ring

Este artículo extiende los resultados previos sobre la irracionalidad de logaritmos finitos en el "anillo de adeles del hombre pobre" a primos restringidos a progresiones aritméticas específicas y demuestra, condicionado a la conjetura abc, que estos logaritmos no pueden ser irracionales cuadráticos.

Autores originales: Daniel Evans

Publicado 2026-07-31

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Daniel Evans

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

Imagina el mundo de los números no solo como una línea recta que se extiende desde el infinito negativo hasta el infinito positivo, sino como una vasta ciudad multidimensional. En esta ciudad, los familiares números racionales (como 1/2, 3 o -7/4) son las calles principales que todo el mundo conoce. Pero los matemáticos han construido un vecindario especial y ligeramente caótico llamado el "anillo de adeles del pobre hombre". Piensa en este vecindario como una biblioteca gigante donde cada libro representa un número primo diferente (2, 3, 5, 7, 11, y así sucesivamente). Para vivir en este vecindario, un número tiene que tener un "pasaporte" para cada número primo, mostrando cómo se ve cuando se divide por ese primo. Es un lugar donde podemos estudiar cómo se comportan los números cuando son exprimidos a través de los filtros diminutos y únicos de los números primos.

En este extraño vecindario, los matemáticos han inventado una herramienta llamada "logaritmo finito". En el mundo normal, un logaritmo te dice cuántas veces necesitas multiplicar un número base para obtener un resultado (como que el 2 multiplicado por sí mismo 3 veces da 8). En esta biblioteca de números primos, el logaritmo finito es un código especial generado por un proceso llamado "cociente de Fermat". Es como tomar un número, elevarlo a una potencia masiva basada en un primo específico, restar uno y ver qué queda después de dividir por ese primo. La gran pregunta que los matemáticos se han estado haciendo es: "¿Qué tipo de números resultan ser estos códigos?". ¿Son simplemente fracciones simples y aburridas (números racionales), o son salvajes e impredecibles, irracionales? Esto importa porque comprender estos códigos nos ayuda a ver la estructura oculta y profunda de cómo los números se relacionan entre sí a través de todo el universo de los primos.

En este artículo, Daniel Evans observa más de cerca estos logaritmos finitos, pero con un giro. En lugar de mirar todos los números primos en la biblioteca, decide mirar solo aquellos que siguen un orden de marcha específico: aquellos que dejan un resto de 1 cuando se dividen por un número fijo $m$ (como primos que son 1 más un múltiplo de 3, o 1 más un múltiplo de 5). Él lo llama una "clase de congruencia".

Evans demuestra dos cosas importantes sobre estos códigos restringidos. Primero, demuestra que para casi cualquier número inicial que elijas (siempre que no sea 1 o -1), el código de logaritmo finito resultante nunca es un número racional simple y no nulo. No es solo una fracción como 3/4 o 5/2; es algo mucho más complejo que no puede escribirse como una fracción única y ordenada en esta biblioteca especial. Segundo, demuestra que estos códigos nunca son cero, siempre que aceptemos una famosa conjetura no probada en matemáticas llamada la "conjetura abc". Si esa conjetura es cierta, el código nunca se desvanece en la nada.

El artículo también aborda una idea un poco más compleja: ¿podrían estos códigos ser "irracionales cuadráticos"? En el mundo de los números, un irracional cuadrático es un número que involucra la raíz cuadrada de un número que no es un cuadrado perfecto (como $\sqrt{2}$ o $\sqrt{3}$ ), que no puede escribirse como una fracción simple pero sigue un patrón específico y predecible. Evans demuestra que, nuevamente asumiendo que la conjetura abc es cierta, estos logaritmos finitos tampoco son irracionales cuadráticos. Son incluso más caóticos e impredecibles que eso.

Para llegar a estas conclusiones, Evans utiliza un truco matemático ingenioso que involucra "polinomios ciclotómicos". Puedes pensar en ellos como filtros especiales de múltiples capas que clasifican los números según su relación con las raíces de la unidad (números imaginarios que circulan de vuelta al 1). Al analizar cómo se comportan estos filtros cuando se aplican a los cocientes de Fermat, Evans descubre que si el logaritmo fuera un número racional simple o un irracional cuadrático, crearía una contradicción matemática, como una pieza de un rompecabezas que simplemente no encaja en la forma del hueco que debería llenar.

El artículo no solo dice "es irracional"; prueba rigurosamente que estos valores no pueden ser fracciones simples y que, bajo la suposición de la conjetura abc, no pueden ser cero ni números simples basados en raíces cuadradas. Extiende el trabajo previo que observaba todos los números primos a este grupo específico y restringido de primos en progresiones aritméticas. El resultado es un mapa más fuerte y refinado del "anillo de adeles del pobre hombre", mostrándonos que los logaritmos finitos de los números racionales son profunda y fundamentalmente irracionales, escondiéndose en las sombras de los números primos donde los patrones simples simplemente no existen.

Resumen Técnico: Irracionalidad de los Logaritmos Finitos en un Anillo de Ádeles de Clase de Congruencia

Planteamiento del Problema
El artículo investiga las propiedades aritméticas de los "logaritmos finitos" dentro del "anillo de ádeles del hombre pobre" $\mathcal{A}$ , definido como el producto restringido de $\mathbb{Z}/p\mathbb{Z}$ sobre todos los primos $p$ . Los elementos en este anillo son secuencias $(t_p)_{p \in \mathbb{P}}$ donde $t_p \in \mathbb{Q}$ , identificadas módulo $p$ para primos suficientemente grandes. La función de logaritmo finito $\log_{\mathcal{A}}: \mathbb{Q}^\times \to \mathcal{A}$ se define mediante cocientes de Fermat:
$\log_{\mathcal{A}}(\alpha) = (q_p(\alpha) \pmod p)_{p \in \mathbb{P}}, \quad \text{donde } q_p(\alpha) = \frac{\alpha^{p-1}-1}{p}.$
Trabajos previos de Matsusaka y Seki establecieron que, para $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ , $\log_{\mathcal{A}}(\alpha)$ nunca es un elemento racional no nulo en $\mathcal{A}$ . Además, Silverman demostró (bajo la conjetura de $abc$) que $\log_{\mathcal{A}}(\alpha) \neq 0$ .

El problema central abordado en este artículo es extender estos resultados de irracionalidad y no nulidad a conjuntos restringidos de primos. Específicamente, el autor considera primos restringidos a progresiones aritméticas de la forma $p \equiv 1 \pmod m$ para un entero fijo $m \ge 1$ . El objetivo es determinar si $\log_{\mathcal{A}}(\alpha)$ puede tomar valores racionales o anularse dentro del anillo restringido $\mathcal{A}(m)$ , y analizar la "densidad de recurrencia" de estos logaritmos, específicamente si pueden ser elementos irracionales cuadráticos.

Metodología
El artículo emplea una combinación de la teoría de polinomios ciclotómicos y técnicas clásicas de demostración de irracionalidad adaptadas al entorno de los ádeles.

Construcciones Ciclotómicas: El autor relaciona los cocientes de Fermat con los valores de los polinomios ciclotómicos $\Phi_n(u, v)$ y sus derivadas parciales. Se utiliza una identidad clave de la forma homogeneizada $\Phi_n(X^p, Y^p) = \Phi_n(X, Y)\Phi_{np}(X, Y)$ .
Análisis de Congruencia: Al analizar los factores primos de $\Phi_n(u, v)$ , el artículo establece que si un primo $p$ divide a $\Phi_n(u, v)$ (con $p \nmid n$ ), entonces $p \equiv 1 \pmod n$ . Esta propiedad es crucial para restringir el análisis a la clase de congruencia $p \equiv 1 \pmod m$ .
Contradicción mediante Secuencias de Vanecimiento: Para probar la irracionalidad (Teorema 1.2(i)), el autor asume que $\log_{\mathcal{A}(m)}(\alpha)$ es racional. Esta suposición permite la construcción de una secuencia de enteros no nulos derivados de los valores de $\Phi_{m\ell}(u, v)$ y sus derivadas. La demostración demuestra que esta secuencia, cuando se normaliza, tiende a cero a medida que el primo auxiliar $\ell \to \infty$ , lo que produce una contradicción.
Aplicación de la Conjetura $abc$: Para probar la no nulidad (Teorema 1.2(ii)), el artículo adapta el método de Silverman. Utiliza la conjetura $abc$ para acotar la "parte poderosa" de $u^n - v^n$ . Al mostrar que los valores ciclotómicos crecen demasiado rápido para ser "poderosos" (completamente cuadrados) bajo la suposición de que el logaritmo se anula, se alcanza una contradicción.
Clasificación del Grado de Recurrencia: El artículo define el grado de recurrencia $\deg_{\mathcal{A}}(t)$ como el orden mínimo de una recurrencia lineal con coeficientes racionales satisfecha por la secuencia que representa a $t \in \mathcal{A}$ . Clasifica los elementos de grado $\le 2$ utilizando caracteres de Dirichlet cuadráticos.

Contribuciones Clave y Resultados

Extensión a Clases de Congruencia (Teorema 1.2): El artículo demuestra que para cualquier $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ y $m \ge 1$ :
- (i) $\log_{\mathcal{A}(m)}(\alpha)$ no es un número racional no nulo en el anillo restringido $\mathcal{A}(m)$ .
- (ii) Asumiendo la conjetura $abc$, $\log_{\mathcal{A}(m)}(\alpha) \neq 0$ en $\mathcal{A}(m)$ .
- Nota: La restricción $p \equiv 1 \pmod m$ es intrínseca al método ciclotómico utilizado; el autor señala que forzar otras clases de residuos $p \equiv b \pmod m$ (donde $b \not\equiv 1$ ) no es susceptible de este enfoque específico.
Irracionalidad Cuadrática (Teorema 1.3): El artículo investiga si los logaritmos finitos pueden ser "cuadráticos" en el sentido de tener un grado de recurrencia $\le 2$ .
- Se muestra que, si $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) \le 2$ , entonces $\log_{\mathcal{A}}(\alpha)$ debe tomar la forma específica $r(1 - (\frac{D}{p}))_p$ para algún $r \in \mathbb{Q}$ e entero libre de cuadrados $D$ .
- Crucialmente, asumiendo la conjetura $abc$, el artículo demuestra que $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) > 2$ . Esto implica que los logaritmos finitos no pueden ser elementos irracionales cuadráticos en $\mathcal{A}$ .
Generalización a Extensiones Abelianas (Observación 4.2): El argumento se extiende para sugerir que, si el cuerpo de división del polinomio característico de una recurrencia es abeliano, el logaritmo no puede residir en la imagen de esa recurrencia (nuevamente, asumiendo la conjetura $abc$).

Significado y Reivindicaciones
El artículo afirma extender los resultados conocidos de irracionalidad de Matsusaka, Seki y Silverman desde el anillo de ádeles completo hacia anillos restringidos a progresiones aritméticas específicas. Esto es significativo porque demuestra la robustez de la irracionalidad de los logaritmos finitos incluso cuando el conjunto de primos subyacente se reduce a una densidad de $1/\phi(m)$ .

Además, el trabajo conecta la aritmética de los cocientes de Fermat con la teoría de los números algebraicos finitos (en el sentido de Rosen). Al demostrar que $\log_{\mathcal{A}}(\alpha)$ no puede ser un elemento cuadrático (y más generalmente, no puede residir en la imagen de recurrencias con cuerpos de división abelianos), el artículo proporciona evidencia que respalda la conjetura más amplia de que los logaritmos finitos son "naivamente trascendentes" (es decir, no algebraicos en el sentido de satisfacer recurrencias lineales). El autor señala modestamente que el caso no abeliano permanece abierto debido a la falta de un enfoque ciclotómico directo para primos en clases de residuos distintas a la identidad.

Más como este