🔢 mathematics

Consecutive pure fields of the form $\mathbb{Q}\left(\sqrt[l]{a}\right)$ with large class numbers

Asumiendo la conjetura de Langlands y un acotamiento en los reguladores, este artículo demuestra que para cualquier primo $l \geq 3$ e entero $k$ , existen al menos $x^{1/l-o(1)}$ enteros $d \leq x$ tales que los cuerpos puros consecutivos $\mathbb{Q}(\sqrt[l]{d+1}), \dots, \mathbb{Q}(\sqrt[l]{d+k})$ poseen todos números de clase arbitrariamente grandes.

Autores originales: Jishu Das, Srilakshmi Krishnamoorthy

Publicado 2026-06-25

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Jishu Das, Srilakshmi Krishnamoorthy

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 eres un matemático explorando un vasto e infinito paisaje hecho de números. En este paisaje, existen "vecindarios" especiales llamados campos numéricos. Piensa en un campo numérico como una comunidad única donde las reglas de la aritmética son ligeramente diferentes de las que usamos a diario.

Cada vecindario tiene una propiedad oculta llamada número de clase. Puedes pensar en el número de clase como una medida de qué tan "desordenado" o "complicado" es el vecindario.

Un número de clase bajo (como 1) significa que el vecindario es ordenado y pulcro.
Un número de clase alto significa que el vecindario es caótico, con muchas formas diferentes de organizar las cosas que no encajan perfectamente entre sí.

Durante mucho tiempo, los matemáticos han intentado encontrar vecindarios con números de clase arbitrariamente grandes —lugares que son increíblemente complejos. Sabían cómo encontrar estos vecindarios desordenados si los buscaban uno por uno. Pero una pregunta más difícil permanecía: ¿Podemos encontrar una fila completa de vecindarios consecutivos que sean todos desordenados al mismo tiempo?

El Gran Descubrimiento

Este artículo, escrito por Jishu Das y Srilakshmi Krishnamoorthy, dice sí, podemos.

Se centran en un tipo específico de vecindario llamado "campo puro". Imagina estos como casas construidas usando una receta matemática específica que involucra una raíz (como una raíz cuadrada, cúbica o una raíz quinta). Los autores demuestran que, si eliges un número $x$ suficientemente grande, hay muchos puntos de partida $d$ tales que los $k$ vecindarios en fila — $d+1, d+2, \dots, d+k$ — son todos increíblemente desordenados (tienen números de clase enormes).

Los Ingredientes de la Demostración

Para demostrar esto, los autores tuvieron que mezclar tres ingredientes principales:

1. El Truco de lo "Consecutivo" (La Analogía del Jardín)
Imagina que quieres plantar una fila de $k$ flores, y quieres que cada una de ellas sea de una variedad rara y gigante. No puedes simplemente elegir cualquier lugar al azar; tienes que elegir un lugar muy específico en el jardín.
Los autores utilizan un ingenioso "criba" matemática (una herramienta de filtrado) para encontrar un número inicial $d$ específico. Este número se elige de modo que, cuando observes a los vecinos $d+1, d+2, \dots, d+k$ , todos compartan una propiedad especial: todos están "divididos" de una manera que los hace propensos a ser desordenados. Es como encontrar un parche de suelo específico donde, si plantas una semilla, las próximas $k$ semillas que plantes todas crecerán como gigantes.

2. La Bola de Cristal de "Langlands" (La Predicción)
Para demostrar que estos vecindarios son desordenados, los autores necesitan predecir su comportamiento. Ellos dependen de una idea famosa y aún no probada llamada la Conjetura de Langlands.
Piensa en la Conjetura de Langlands como una bola de cristal súper precisa. Conecta dos mundos diferentes de las matemáticas: el mundo de los campos numéricos (nuestros vecindarios) y el mundo de las "formas automorfas" (ondas y patrones complejos). Al observar estas ondas, los autores pueden predecir que los números de clase serán enormes. No prueban que la bola de cristal funcione; asumen que lo hace, y luego muestran que, si funciona, su resultado se sigue de ello.

3. El Límite de Velocidad del "Regulador" (El Atasco de Tráfico)
Hay un inconveniente. El tamaño del número de clase depende de dos cosas: qué tan "grande" es el vecindario (su discriminante) y qué tan "rápido" pueden moverse los números en él (su regulador).

El Discriminante es como el tamaño de la ciudad.
El Regulador es como el límite de velocidad. Si el límite de velocidad es demasiado alto, el caos (el número de clase) se diluye.
Para casos simples (como raíces cuadradas o cúbicas), los matemáticos ya sabían que el límite de velocidad era lo suficientemente bajo como para garantizar el caos. Pero para raíces superiores (como raíces quintas, séptimas, etc.), nadie sabía con certeza si el límite de velocidad era lo suficientemente bajo.
La Suposición: Los autores tuvieron que hacer una conjetura (Hipótesis 1) de que el límite de velocidad para estos vecindarios de raíces superiores es lo suficientemente bajo. Ejecutaron simulaciones por computadora en una supercomputadora para verificar esta conjetura para raíces quintas, y se mantuvo firme.
El Resultado: Si esta conjetura es cierta, entonces el "desorden" (número de clase) crece tan rápido como la ciudad se hace grande.

La Conclusión

El artículo demuestra que existen vecindarios desordenados consecutivos.

Lo que hicieron: Demostraron que para cualquier cantidad de campos consecutivos que desees (por ejemplo, 10 en fila), existen infinitos puntos de partida donde todos los $k$ campos tienen números de clase enormes.
El inconveniente: Esta demostración depende de dos cosas:
1. Que la Conjetura de Langlands (una gran teoría matemática aún no probada) sea cierta.
2. Que una conjetura específica sobre el Regulador (el límite de velocidad) sea cierta.

No solo dijeron que "es posible"; dieron una fórmula para cuántos de estos puntos de partida existen. Mostraron que, si miras todos los números hasta un número enorme $x$ , encontrarás al menos $x^{1/l}$ de ellos que inician una fila de $k$ campos desordenados. (Por ejemplo, si estás buscando raíces quintas, encuentras aproximadamente la raíz quinta de $x$ de esos puntos de partida).

Por Qué Importa (En Términos Matemáticos)

Este es un paso significativo hacia la comprensión de la "distribución" de la complejidad en el sistema numérico. Antes de esto, sabíamos que existían vecindarios desordenados, y sabíamos que podíamos encontrarlos en grupos para casos simples (como raíces cuadradas). Este artículo extiende ese conocimiento a tipos de números mucho más complejos (raíces superiores), siempre que aceptemos ciertas "reglas de tránsito" matemáticas (las conjeturas).

En resumen: Encontraron una forma de garantizar que puedes encontrar una calle entera de vecindarios numéricos caóticos, siempre y cuando el universo siga ciertas leyes matemáticas.

Resumen Técnico: Campos Puros Consecutivos de la Forma $\mathbb{Q}(\sqrt[l]{a})$ con Números de Clase Grandes

Planteamiento del Problema
El artículo aborda el problema de establecer la existencia de campos numéricos puros consecutivos con números de clase arbitrariamente grandes. Mientras que trabajos previos han demostrado con éxito esto para campos cuadráticos ( $l=2$ ) y campos cúbicos puros ( $l=3$ ), específicamente mostrando la existencia de al menos $x^{1/2-o(1)}$ y $x^{1/3-o(1)}$ enteros $d \le x$ respectivamente, la generalización a campos puros de grado primo $l \ge 3$ permanecía abierta. Los autores buscan probar que para un entero positivo fijo $k$ y un primo racional $l \ge 3$ , existen al menos $x^{1/l-o(1)}$ enteros $1 \le d \le x$ tales que los campos puros consecutivos $\mathbb{Q}(\sqrt[l]{d+1}), \dots, \mathbb{Q}(\sqrt[l]{d+k})$ poseen números de clase arbitrariamente grandes.

Metodología y Supuestos
La prueba se basa en una combinación de teoría analítica de números, el programa de Langlands y supuestos específicos sobre el tamaño de los reguladores.

Conjetura de Langlands: Los autores invocan la conjetura de Langlands (específicamente [Bum97, Conjetura 1.8.1]) para asociar funciones $L$ de Artin con representaciones automórficas. Esto permite expresar la fórmula del número de clase en términos de $L(1, \tilde{\pi}_{d_K})$ , donde $\tilde{\pi}$ es una representación automórfica asociada con el cierre galoisiano del campo puro.
Hipótesis 1 (Cota del Regulador): Un componente crítico de la metodología es la Hipótesis 1, que postula una cota superior para el regulador $R_{\mathbb{Q}(\sqrt[l]{a})}$ de campos donde $a = n^l + r$ (con $r | l n^{l-1}$ ). La hipótesis establece:
$R_{\mathbb{Q}(\sqrt[l]{a})} = o\left(\sqrt{D_{\mathbb{Q}(\sqrt[l]{a})} \log \log D_{\mathbb{Q}(\sqrt[l]{a})}}\right)$
Los autores señalan que, si bien la cota de Landau proporciona una estimación mayor ( $O(\sqrt{D} \log^{l-1} D)$ ), esta es insuficiente para probar números de clase arbitrariamente grandes para $l > 3$ . Proporcionan evidencia computacional para $l=5$ que respalda la Hipótesis 1, pero reconocen que una prueba rigurosa de esta cota sigue siendo un problema abierto.
Regiones Libres de Ceros: Utilizando analogos de los resultados de Duke y Daileda, los autores establecen regiones libres de ceros para las funciones $L$ relevantes, lo que permite la aproximación de $\log L(1, \tilde{\pi})$ mediante series de Dirichlet truncadas en $(\log D)^\epsilon$ .
Métodos de Criba y Clases de Residuos: La prueba construye enteros $d$ específicos utilizando un argumento de criba. Al seleccionar $d$ en clases de residuos específicas módulo un producto de primos $q$ , los autores aseguran que para los campos resultantes, el discriminante $D_j$ satisfaga condiciones de división específicas (es decir, $D_j$ es un residuo de potencia $l$ -ésima módulo ciertos primos). Esto fuerza a que las sumas de caracteres en la expansión de la función $L$ sean grandes.

Contribuciones Clave y Resultados
El artículo presenta el Teorema 2, que sirve como el resultado principal. Bajo el supuesto de la conjetura de Langlands y la Hipótesis 1, los autores prueban:

Para un entero fijo $k$ y un primo $l \ge 3$ , existen al menos $x^{1/l-o(1)}$ enteros $1 \le d \le x$ tales que los campos puros consecutivos $\mathbb{Q}(\sqrt[l]{d+1}), \dots, \mathbb{Q}(\sqrt[l]{d+k})$ tienen números de clase arbitrariamente grandes.
Específicamente, los números de clase satisfacen una cota inferior de la forma:
$h_{\mathbb{Q}(\sqrt[l]{d+j})} \gg_k \frac{\sqrt{d} \log \log d}{R_{\mathbb{Q}(\sqrt[l]{d+j})}}$
Bajo la Hipótesis 1, esta razón crece arbitrariamente grande a medida que $d \to \infty$ .

El artículo también proporciona la Proposición 2.1, una aproximación de $L(1, \tilde{\pi}_{d_K})$ con a lo sumo $O(x^{1/4})$ excepciones, y los Lemmas 3.1 y 3.2, que establecen la existencia de clases de residuos adecuadas para asegurar el comportamiento de división necesario de los primos en los campos puros.

Significancia y Reivindicaciones
Los autores posicionan este trabajo como una generalización de los resultados recientes de Byeon y Yhee (2024) sobre campos cúbicos puros y el trabajo anterior de Cherubini et al. (2023) sobre campos cuadráticos. La significancia radica en extender el resultado de densidad ( $x^{1/l-o(1)}$ ) a grados primos arbitrarios $l \ge 3$ .

El artículo es modesto respecto a la naturaleza incondicional del resultado. Los autores declaran explícitamente que la prueba depende de:

La conjetura de Langlands para las representaciones automórficas relevantes.
La Hipótesis 1, una conjetura específica sobre la cota superior de los reguladores para campos puros de la forma $\mathbb{Q}(\sqrt[l]{n^l+r})$ .

Los autores enfatizan que sin la Hipótesis 1, la cota de Landau conocida para los reguladores es demasiado débil para garantizar números de clase arbitrariamente grandes para $l > 3$ . Sugieren que probar la Hipótesis 1 (o una versión más aguda de la misma) es un paso necesario para hacer que el resultado sea incondicional. El artículo incluye evidencia computacional para $l=5$ para respaldar la plausibilidad de la Hipótesis 1, observando que la razón del regulador respecto a la cota conjeturada es significativamente menor que 1 en los casos probados.

El Gran Descubrimiento

Los Ingredientes de la Demostración

La Conclusión

Por Qué Importa (En Términos Matemáticos)

Más como este