Computations of higher elliptic units in optimal settings

Resumen Técnico: Computaciones de Unidades Elípticas Superiores en Configuraciones Óptimas

Planteamiento del Problema
Este artículo aborda la construcción de unidades elípticas generalizadas sobre cuerpos numéricos $K$ de grado $n \geq 3$ que poseen exactamente un lugar complejo. El trabajo tiene como objetivo proporcionar una descripción analítica de las extensiones abelianas de tales cuerpos, ofreciendo así una solución conjetural al problema 12 de Hilbert para esta clase específica de cuerpos numéricos. Mientras que la construcción de unidades elípticas para cuerpos cuadráticos imaginarios está bien establecida mediante la función $\theta$ y la Multiplicación Compleja, extender esto a grados superiores requiere el uso de análogos de dimensiones superiores. Específicamente, el artículo se centra en la evaluación de "funciones gamma elípticas superiores" ($G_r$) en puntos algebraicos específicos para generar unidades en campos de clase ray estrechos.

Metodología
El autor emplea un marco computacional y conjetural basado en los siguientes componentes:

1. Funciones Gamma Elípticas Superiores: La construcción utiliza las funciones $G_r(z, \tau_0, \dots, \tau_r)$, definidas por productos infinitos y que satisfacen propiedades modulares relacionadas con $SL_{r+2}(\mathbb{Z})$. Estas funciones generalizan la función $\theta$ de Jacobi ($G_0$) y la función gamma elíptica ($G_1$).
2. Configuraciones Óptimas: Para hacer la conjetura tratable y las computaciones factibles, el artículo restringe la atención a "configuraciones óptimas". Estas son configuraciones específicas del cuerpo numérico $K$, el módulo $\mathfrak{f}$ y las unidades fundamentales $\varepsilon_1, \dots, \varepsilon_{n-2}$ que satisfacen varias hipótesis restrictivas:
   • El grupo de unidades totalmente positivas congruentes a 1 módulo $\mathfrak{f}$ coincide con el grupo de todas las unidades totalmente positivas ($O_{K}^{+, \times} = O_{\mathfrak{f}}^{+, \times}$).
   • El anillo de residuos $\mathcal{O}_K/\mathfrak{f}$ es cíclico.
   • El "contenido" de los sistemas de unidades es 1, y los "ideales de desbordamiento" asociados son coprimos con el índice de suavizado.
   • El cuerpo numérico $K$ no contiene subcuerpos propios.
3. Procedimiento de Evaluación: En estas configuraciones óptimas, las unidades elípticas superiores se construyen como productos finitos de razones de funciones $G_{n-2}$ suavizadas. Los parámetros de evaluación ($z_\rho, \tau_{j,\rho}$) se derivan de:
   • Un conjunto compatible de "puntos base" (ideales auxiliares).
   • Los ideales de desbordamiento asociados a permutaciones de las unidades fundamentales.
   • Un ideal de suavizado $\mathfrak{a}$ de norma prima $N$.
     La unidad resultante $u_{k,b}$ se define mediante un producto sobre el grupo simétrico $S_{n-2}$, con el número de términos minimizado a $(n-2)!$.
4. Técnicas Computacionales:
   • Evaluación de Funciones: Dado que la definición de producto infinito de $G_r$ no es adecuada para la computación directa, el autor utiliza una expansión de series (Proposición 3.6 en [Nis01]) válida en una "franja central". El algoritmo implica un "paso de reorientación" (usando propiedades de inversión para mapear los parámetros al semiplano superior) y un "paso de traslación" (usando la pseudo-periodicidad para mapear la variable elíptica hacia la franja central).
   • Algoritmo de Búsqueda: Un algoritmo de cribado (Algoritmo 1) itera a través de polinomios para identificar cuerpos numéricos y unidades fundamentales que satisfagan las condiciones óptimas, filtrando específicamente para valores de desbordamiento pequeños para asegurar la factibilidad computacional.
   • Verificación: Se realizan computaciones numéricas de alta precisión (1000 dígitos) utilizando PARI/GP. Los resultados se verifican comprobando si los números complejos computados son raíces de polinomios con coeficientes en $K$ (usando el algoritmo LLL mediante lindep y algdep) y confirmando la fórmula del límite de Kronecker.

Contribuciones Clave

• Conjetura Simplificada: El artículo presenta una forma simplificada de una conjetura general (originalmente detallada en la tesis doctoral del autor [Mor26c]) respecto a la algebraidad de los valores especiales de las funciones $G_{n-2}$. Esta versión simplificada está diseñada específicamente para "configuraciones óptimas", reduciendo la complejidad de los parámetros de evaluación y el tamaño del producto.
• Construcción Explícita: El autor proporciona fórmulas explícitas para los parámetros de evaluación $z_\rho$ y $\tau_{j,\rho}$ en términos de las unidades fundamentales, los ideales de desbordamiento y los ideales auxiliares.
• Marco Computacional: El artículo detalla los algoritmos específicos requeridos para computar estas unidades, incluyendo el manejo de la "franja central" para las funciones $G_r$ y la búsqueda sistemática de cuerpos numéricos que satisfagan las restrictivas condiciones óptimas.
• Evidencia Numérica: El artículo proporciona una amplia evidencia numérica que respalda la conjetura para cuerpos numéricos de grados 3, 4, 5 y 6.

Resultados
El artículo presenta seis ejemplos específicos donde se prueba la conjetura:

1. Grado 3 (Cúbico): Se proporcionan dos ejemplos. Uno con un grupo de clase trivial ($q=11$) y otro con un grupo de clase grande ($q=3$). En ambos casos, se muestra que los valores computados son raíces de polinomios relativos que definen el campo de clase ray, y se verifica la fórmula del límite de Kronecker.
2. Grado 4 (Cuártico): Se discuten dos ejemplos. Uno con un grupo de clase trivial ($q=2$) y otro con un grupo de clase no trivial ($q=7$). Las computaciones confirman que los valores generan las extensiones abelianas esperadas.
3. Grado 5 (Quíntico): Se presenta un ejemplo con $q=3$, que involucra un producto de 6 funciones $G_3$ suavizadas. Se observa que el tiempo de computación varía significativamente según el tamaño de los ideales de desbordamiento.
4. Grado 6: Se proporciona una discusión de un ejemplo de grado 6. Aunque la lista completa de parámetros es demasiado grande para incluirse, el artículo confirma que la unidad computada coincide con la raíz de un polinomio recíproco de alto grado que define el campo de clase.

Las computaciones muestran consistentemente que los números complejos construidos son unidades algebraicas en los campos de clase ray esperados y satisfacen la fórmula del límite de Kronecker predicha:
$$N\zeta'_{\mathfrak{f}}(c, 0) - \zeta'_{\mathfrak{f}}(ac, 0) = \log |u_c|^2$$

Significado y Reivindicaciones
El artículo afirma proporcionar una "forma simplificada" de una conjetura sobre la construcción de unidades elípticas generalizadas, haciendo que el problema sea computacionalmente accesible en casos específicos. La principal significación radica en:

• Problema 12 de Hilbert: Ofrecer un método analítico concreto (vía funciones $G_{n-2}$) para generar extensiones abelianas para cuerpos numéricos con exactamente un lugar complejo, un caso donde actualmente no se conoce una solución general.
• Extensión de Trabajo Previo: Extender la construcción de unidades elípticas conjeturales para cuerpos cúbicos complejos (por Bergeron, Charollois y García [BCG23]) a grados superiores ($n=4, 5, 6$).
• Apoyo Empírico: Proporcionar la primera evidencia numérica sustancial de la algebraidad de estas unidades elípticas superiores en los grados 4, 5 y 6, apoyando la conjetura más amplia de que estos valores son, de hecho, unidades algebraicas.

El autor señala que las "configuraciones óptimas" son restrictivas y que encontrar tales cuerpos se vuelve cada vez más difícil a medida que aumenta el grado (por ejemplo, no se encontraron ejemplos de grado 7 que satisficieran todas las condiciones). El artículo no pretende demostrar la algebraidad de estos valores, sino demostrar su existencia y propiedades mediante computación de alta precisión, apoyando así la conjetura subyacente.