🔢 mathematics

p-Adically convergent loci in varieties arising from periodic continued fractions

Inspirado en definiciones alternativas de las fracciones continuas $p$ -ádicas, este artículo investiga los loci de convergencia $p$ -ádica de variedades algebraicas que representan fracciones continuas periódicas con cocientes parciales en $\mathbb{Z}[1/p]$ que satisfacen una ecuación cuadrática, caracterizando específicamente sus casos de dimensión cero y uno.

Autores originales: Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

Publicado 2026-07-13

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

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 que tienes una máquina de números mágicos que toma una lista de números y escupe una fracción infinita. En el mundo de la matemática normal (el mundo "arquimediano"), sabemos exactamente cómo funciona esta máquina: si le alimentas con una lista que se repite una y otra vez, generalmente se estabiliza en un número específico, como un péndulo oscilando hasta detenerse. Esta es la historia clásica de las fracciones continuas, un relato tan antiguo como Lagrange.

Pero, ¿qué sucede si cambiamos nuestra regla normal por una extraña regla p-ádica? En este universo p-ádico, los números se comportan como si estuvieran hechos de un tipo de arcilla diferente. Las reglas de cercanía están invertidas: dos números están "cerca" si su diferencia es divisible por una gran potencia de un número primo $p$ . En este extraño universo, la misma máquina de fracciones infinitas podría girar salvajemente para siempre, sin establecerse nunca en una única respuesta.

Este artículo es una historia de detectives sobre la búsqueda de las "direcciones" específicas (variedades matemáticas) donde estas máquinas de fracciones p-ádicas realmente dejan de girar y convergen a un número real. Los autores, Laura Capuano y su equipo, están explorando un paisaje de formas algebraicas (variedades) donde cada punto representa una fracción periódica. ¿Su misión? Mapear exactamente qué puntos son "convergentes" y cuáles son callejones sin salida caóticos.

La Regla de Oro de la Convergencia

El equipo descubrió una regla simple y estricta (Teorema 3.1) que actúa como un semáforo para estas fracciones. Para que una fracción periódica se estabilice en el mundo p-ádico, deben suceder dos cosas:

La Suma Debe Ser Grande: Una combinación específica de los números periódicos debe ser "grande" en el sentido p-ádico (es decir, debe ser divisible por una potencia alta de $p$ ).
Sin Divisiones por Cero: Una serie de comprobaciones en los pasos intermedios debe asegurar que no dividamos accidentalmente por cero o choquemos contra un muro.

Si estas condiciones no se cumplen, la fracción es una causa perdida; nunca convergerá. Los autores demuestran que esto no es una suposición, sino un hecho matemático riguroso.

Mapeando el Paisaje: Dimensiones Pequeñas

Los autores se centran en las formas más simples de este paisaje, donde los patrones repetitivos son cortos (longitudes de 1, 2 o 3). Actúan como cartógrafos, dibujando los límites de dónde es posible la convergencia.

El Bucle de Un Paso (Tipo 0,1): Aquí, la fracción simplemente repite un número. El artículo demuestra que, para que esto funcione, el número debe ser un valor racional muy específico. Si el polinomio que define el bucle no tiene raíces en el mundo p-ádico, el mapa está vacío. No hay raíces cuadradas irracionales escondidas aquí; la máquina simplemente no convergerá hacia ellas.
El Bucle de Dos Pasos (Tipo 0,2): Cuando el patrón repite dos números, los autores encuentran que la convergencia sigue siendo extremadamente rara. Demuestran que, si ocurre, el producto de esos dos números debe ser un tipo muy específico de cuadrado. Nuevamente, ninguna raíz cuadrada irracional puede ser el destino aquí.
El Bucle de Tres Pasos (Tipo 0,3): Aquí es donde la cosa se pone interesante. Cuando el patrón tiene tres números, el paisaje se abre, pero sigue siendo un desierto. Los autores demuestran que, para un tipo específico de número (radicales puros como $\sqrt{d}$ ), el número de fracciones convergentes es finito. No se limitan a decir "es raro"; demuestran que solo hay un número limitado de soluciones, como encontrar un puñado de llaves específicas que encajan en una cerradura compleja.

La Conexión con la Ecuación de Pell

Para los bucles de tres pasos que involucran raíces cuadradas (como $\sqrt{d}$ ), los autores descubren un vínculo oculto con las ecuaciones de Pell. Estos son antiguos acertijos diofánticos (ecuaciones como $x^2 - dy^2 = n$ ) que han sido estudiados durante siglos.

El artículo muestra que encontrar una fracción p-ádica convergente para $\sqrt{d}$ es exactamente lo mismo que encontrar una solución a una ecuación de Pell específica. Esta es una herramienta poderosa porque sabemos cómo generar familias de soluciones a las ecuaciones de Pell utilizando una "unidad fundamental" (una llave maestra). Sin embargo, los autores utilizan esto para demostrar un resultado negativo: aunque existen familias infinitas de soluciones para la ecuación de Pell, solo un número finito de ellas satisfará las estrictas reglas de convergencia p-ádica.

Incluso construyen ejemplos específicos. Por ejemplo, muestran cómo construir fracciones convergentes para $\sqrt{10}$ o $\sqrt{5}$ usando números primos específicos, pero advierten cuidadosamente que estos son islas aisladas de éxito, no un vasto continente.

Lo que Descartan

Es crucial entender lo que este artículo dice que no funciona.

No hay Algoritmos Mágicos: Los autores declaran explícitamente que no están analizando un algoritmo fijo (como los famosos métodos de Browkin o Ruban) que genere fracciones para cualquier número. En su lugar, analizan cualquier secuencia periódica.
No hay Raíces Cuadradas Irracionales en Bucles Simples: Para los bucles más simples (longitudes 1 y 2), el artículo demuestra que es imposible converger a una raíz cuadrada irracional. Si intentas forzar una fracción periódica simple para que sea igual a $\sqrt{2}$ o $\sqrt{3}$ en el mundo p-ádico, simplemente no sucederá.
No hay Soluciones Infinitas para Casos Simples: Aunque algunos casos complejos pueden tener familias infinitas, los autores demuestran que para los casos de "radicales puros" (como $\sqrt{d}$ con un bucle de 3 pasos), el número de soluciones es finito.

El Veredicto: Finito y Preciso

Los autores no solo sugieren que estos puntos convergentes existen; han demostrado la finitud de los conjuntos de soluciones para los casos que estudiaron. No se limitaron a ejecutar una simulación por computadora y decir: "Parece que hay algunos". Utilizaron herramientas profundas de la geometría algebraica y la teoría de números para demostrar que el conjunto de puntos convergentes es una colección finita de coordenadas específicas.

Por ejemplo, en el caso de $\sqrt{10}$ con un bucle de 3 pasos, enumeran explícitamente las pocas fracciones específicas que funcionan, tales como $[13, 9/53, -4]$ . También muestran que para ciertos tipos de números (como aquellos divisibles por 4 o primos congruentes a -1 mod 4), el conjunto de soluciones es vacío: no existen fracciones convergentes en absoluto.

El Panorama General

Este artículo es un mapa riguroso de un rincón pequeño y complicado del universo matemático. Nos dice que, si bien el mundo p-ádico está lleno de patrones repetitivos, aquellos que realmente se estabilizan en un número son increíblemente exigentes. Requieren una alineación perfecta de condiciones algebraicas. Los autores han trazado las fronteras, han demostrado que las fronteras son finitas y nos han mostrado exactamente dónde están las "zonas seguras". No han encontrado una forma de hacer que todos los números converjan, pero han identificado con éxito los casos raros y especiales donde la máquina p-ádica finalmente deja de girar y nos da una respuesta clara.

Resumen Técnico: LOTOS $p$ -ÁDICAMENTE CONVERGENTES EN VARIEDADES DERIVADAS DE FRACCIONES CONTINUAS PERIÓDICAS

Planteamiento del Problema
El artículo investiga la convergencia $p$ -ádica de las fracciones continuas periódicas (FCP) con cocientes parciales en el anillo de los enteros- $S$ , $\mathbb{Z}[1/p]$ , donde $p$ es un primo impar. Mientras que la teoría clásica (arquimédica) de las fracciones continuas está bien establecida —vinculando la periodicidad con los irracionales cuadráticos mediante el teorema de Lagrange—, el entorno $p$ -ádico presenta desafíos distintos. A diferencia del caso clásico, no existe un algoritmo único y canónico para generar fracciones continuas $p$ -ádicas (existen algoritmos como los de Ruban, Browkin o Schneider, pero no son únicos). En consecuencia, los autores no restringen su estudio a expansiones generadas por un algoritmo específico. En su lugar, adoptan una perspectiva geométrica inspirada en el trabajo de Brock, Elkies y Jordan (BEJ21), quienes definieron variedades algebraicas cuyos puntos representan fracciones continuas periódicas formales que satisfacen una ecuación cuadrática dada. El problema central es caracterizar el lote de convergencia $p$ -ádica de estas variedades: el subconjunto de puntos que corresponden a fracciones continuas que convergen con respecto al valor absoluto $p$ -ádico en lugar del arquimediano.

Metodología
Los autores emplean una síntesis de geometría algebraica, aritmética y la teoría de recurrencias lineales y ecuaciones de Pell.

Marco Geométrico: Utilizan las variedades $V(F)_{N,k}$ , donde $F(x) = Ax^2 + Bx + C$ es un polinomio cuadrático, y $(N, k)$ denota las longitudes del preperíodo y del período, respectivamente. Los puntos en estas variedades corresponden a tuplas $(b_1, \dots, b_N, a_1, \dots, a_k)$ que representan la FCP $[b_1, \dots, b_N, \overline{a_1, \dots, a_k}]$ .
Criterio de Convergencia: Una herramienta fundamental es el Teorema 3.1, que proporciona un criterio necesario y suficiente para la convergencia $p$ -ádica de una fracción continua puramente periódica $P = [a_1, \dots, a_k]$ . El criterio se basa en los autovalores de la matriz $M(a_1, \dots, a_k)$ asociada al período. Específicamente, la convergencia requiere que la traza de esta matriz tenga un valor absoluto $p$ -ádico mayor que 1, y que entradas específicas de las potencias de la matriz satisfagan desigualdades estrictas de valoración $p$ -ádica.
Análisis Caso por Caso: Los autores analizan variedades de baja dimensión (donde $N+k \leq 3$ $N + k \leq 3$ ). Para cada tipo $(N, k)$ $(N, k)$ , ellos:
- Caracterizan el conjunto de puntos racionales $\mathbb{Z}[1/p]$ en $V(F)_{N,k}$ .
- Aplican el Teorema 3.1 para filtrar estos puntos según su convergencia $p$ -ádica.
- Expresan los puntos convergentes explícitamente en términos de los coeficientes de $F$ cuando es posible.
Conexiones Diofánticas: Para el caso de los "radicales puros" ( $F(x) = x^2 - d$ ) de tipo $(0, 3)$ , las ecuaciones definitorias de la variedad se reducen a ecuaciones de Pell generalizadas. Los autores aprovechan la teoría de sucesiones de recurrencia lineal y la acción del grupo de unidades sobre las soluciones de Pell para derivar resultados de finitud y construir familias explícitas de expansiones convergentes.

Contribuciones Clave y Resultados

Criterio de Convergencia General: El artículo establece el Teorema 3.1, un criterio agudo para la convergencia de fracciones periódicas. Se demuestra que este resultado es distinto de los criterios suficientes previos (por ejemplo, el de Browkin) y destaca que la convergencia depende de las propiedades matriciales de la parte periódica, no solo del preperíodo.
Enumeración Explícita para Bajas Dimensiones:
- Tipos (0,1), (1,1), (0,2): Los autores proporcionan caracterizaciones completas de los lotes de convergencia. Por ejemplo, para el tipo (0,1), la convergencia ocurre si y solo si el punto racional único satisface una desigualdad $p$ -ádica específica que involucra los coeficientes de $F$ .
- Tipos (2,1), (0,3): Los autores demuestran la finitud del lote de convergencia $p$ -ádica para estos tipos. Para el tipo (0,3) con $F(x) = x^2 - d$ , el conjunto de puntos convergentes es finito para cualquier $d$ fijo.
- Tipo (1,2): Se demuestra que el lote de convergencia es finito, y el artículo proporciona condiciones bajo las cuales es no vacío, relacionándolo con la reducibilidad de $F$ y valoraciones $p$ -ádicas específicas.
Construcción de Familias Explícitas:
- Para $F(x) = x^2 - d$ con $d = a^2 + 1$ , los autores construyen familias infinitas de FCP $p$ -ádicamente convergentes de tipo (0,3) identificando potencias de primos dentro de sucesiones de recurrencia lineal específicas (relacionadas con los polinomios de Chebyshev).
- Construyen expansiones periódicas convergentes explícitas para raíces cuadradas de infinitos enteros, incluyendo formas como $\sqrt{p^2+1}$ y $\sqrt{a^2+1}$ .
- En el caso del tipo (1,3), proporcionan familias explícitas de expansiones convergentes para irracionales cuadráticos, incluyendo ejemplos como $\sqrt{10}$ y $\sqrt{p^2+1}$ .
Resultados de No Existencia: El artículo demuestra que, para ciertos tipos (por ejemplo, (0,1) y (0,2)), las raíces cuadradas irracionales no pueden ser límites de FCP convergentes, lo cual es consistente con los resultados conocidos sobre las fracciones continuas de Browkin. También identifica condiciones (por ejemplo, $d \leq 0$ o restricciones modulares específicas) bajo las cuales no existen FCP convergentes de tipo (0,3) para $\sqrt{d}$ .

Significado y Reivindicaciones
El artículo afirma proporcionar el primer estudio geométrico sistemático de la convergencia $p$ -ádica para fracciones continuas periódicas sin depender de un algoritmo de generación fijo. Al desplazar el enfoque desde la generación algorítmica hacia las propiedades geométricas de las variedades $V(F)_{N,k}$ , los autores son capaces de:

Unificar el tratamiento de diversas expansiones $p$ -ádicas bajo un único marco algebraico.
Derivar resultados de finitud efectivos para el número de expansiones convergentes para un dado irracional cuadrático en casos de baja dimensión.
Construir familias explícitas y no triviales de expansiones $p$ -ádicas convergentes para raíces cuadradas de enteros, demostrando que tales expansiones existen para infinitos enteros y primos, incluso cuando no surgen de los algoritmos estándar de "función piso".

Los autores señalan que, si bien sus resultados para bajas dimensiones son explícitos, la relación entre los puntos convergentes y el polinomio $F$ se vuelve menos transparente para dimensiones superiores. Enfatizan que su trabajo conecta la teoría de las fracciones continuas $p$ -ádicas con cuestiones aritméticas profundas relativas a las ecuaciones de Pell y las sucesiones de recurrencia lineal, ofreciendo una nueva perspectiva sobre la convergencia de estas series formales.