Boundary CM points and class groups of small exponent

Resumen Técnico: Puntos CM en la Frontera y Grupos de Clases de Exponente Pequeño

Enunciado del Problema
Este artículo investiga dos problemas interconectados en la aritmética de los cuerpos cuadráticos imaginarios y la teoría de las formas modulares. En primer lugar, aborda la distribución de los puntos de Multiplicación Compleja (CM) en la frontera del dominio fundamental estándar $F$ para la acción de $SL_2(\mathbb{Z})$ sobre el semiplano superior $\mathbb{H}$. Si bien William Duke estableció la equidistribución de los puntos CM en el interior de $F$ cuando el discriminante $D \to -\infty$, el comportamiento de estos puntos específicamente en la frontera (la línea vertical izquierda y el arco circular inferior) permanecía por caracterizarse, particularmente para discriminantes no fundamentales. En segundo lugar, el artículo busca una clasificación completa de los discriminantes negativos $D$ para los cuales el grupo de clases asociado $Cl(\mathcal{O}_D)$ tiene un exponente pequeño (específicamente $1 \le E \le 8$). Esta clasificación está motivada por la necesidad de identificar casos donde todos los puntos CM de un discriminante dado se encuentran en la frontera de $F$, una propiedad relevante para el estudio de los ceros de las formas modulares.

Metodología
Los autores emplean una combinación de teoría de números analítica, teoría de números algebraica y cálculo algorítmico.

1. Análisis de Equidistribución: Para probar la equidistribución de los puntos CM en la frontera, los autores parametrizan los puntos en el límite izquierdo por sus partes imaginarias $y$ y los puntos en el arco inferior por sus argumentos $\theta$. Utilizan una transformación que mapea el arco inferior a un segmento de línea vertical, unificando el tratamiento de ambos componentes de la frontera. La demostración se basa en estimar el número de puntos CM en intervalos específicos contando pares coprimos $(a, c)$ que satisfacen restricciones cuadráticas derivadas del límite del discriminante $|D| \le \Delta$. Se utilizan herramientas analíticas estándar, incluidas estimaciones para la función totiente de Euler $\phi(a)$ y la función de Möbius $\mu(d)$, para derivar conteos asintóticos.

2. Caracterización de los Puntos en la Frontera: El artículo establece un vínculo entre la ubicación geométrica de los puntos CM y la estructura algebraica del grupo de clases. Utilizando el hecho de que el inverso de un punto CM $[a, b, c]$ es $[a, -b, c]$, los autores muestran que un punto CM se encuentra en la frontera (o en el eje imaginario) si y solo si es de orden que divide a 2 en el grupo de clases. Esto reduce el problema geométrico a uno algebraico: determinar cuándo el grupo de clases $Cl(\mathcal{O}_D)$ tiene un exponente que divide a 2.

3. Algoritmo de Clasificación: Para clasificar los discriminantes con exponentes pequeños de grupo de clases, los autores adaptan ideas de Fan y Pollack. Definen una "parte principal" del grupo de clases y derivan una propiedad de divisibilidad para el conductor $f$ de un discriminante $D = D_0 f^2$ (donde $D_0$ es fundamental). Específicamente, prueban que una función $L(f)$, definida a través del mínimo común múltiplo de los factores de potencia prima de $f$, debe dividir a $12 \cdot |\mathcal{O}_{D_0}^\times| \cdot \text{Exp}(Cl(\mathcal{O}_D))$. Esta propiedad permite la construcción de un algoritmo que:

   • Identifica discriminantes fundamentales $D_0$ con el exponente deseado.
   • Genera conductores candidatos $f$ verificando divisores de un valor derivado de $L(f)$.
   • Verifica el exponente del grupo de clases resultante $Cl(\mathcal{O}_{D_0 f^2})$.

Contribuciones y Resultados Clave

• Teorema 1.1 (Equidistribución en la Frontera): Los autores prueban que, cuando el límite $\Delta \to \infty$, el conjunto de puntos CM con $|D| \le \Delta$ en el límite izquierdo de $F$ está equidistribuido con respecto a la métrica $d\mu = \frac{1}{y} dy$, y aquellos en el arco inferior están equidistribuidos con respecto a $d\nu = \frac{1}{\sin \theta} d\theta$. Este resultado difiere del teorema de Duke al considerar el agregado de todos los discriminantes hasta un límite en lugar de discriminantes individuales, lo cual es necesario porque los discriminantes individuales no generan conjuntos densos en la frontera.

• Teorema 1.2 (Caracterización de Puntos CM Exclusivamente en la Frontera): El artículo proporciona una condición necesaria y suficiente para que cada punto CM de un discriminante $D$ se encuentre en la frontera de $F$: el grupo de clases $Cl(\mathcal{O}_D)$ debe tener un exponente que divide a 2, y $D$ debe ser impar o igual a $-4$. Bajo la suposición de la inexistencia de ceros de Siegel, los autores proporcionan una lista completa de tales discriminantes, categorizados por sus estructuras de grupo de clases (trivial, $\mathbb{Z}/2\mathbb{Z}$, $(\mathbb{Z}/2\mathbb{Z})^2$ y $(\mathbb{Z}/2\mathbb{Z})^3$).

• Teorema 1.3 y Tablas A.1–A.8 (Clasificación de Exponentes Pequeños): Los autores presentan una clasificación condicional de todos los discriminantes negativos con exponentes de grupo de clases $1 \le E \le 8$. Proporcionan tablas que listan estos discriminantes. La completitud de estas tablas se establece incondicionalmente para el exponente $E=1$. Para los exponentes $E=2, 4, 8$, la completitud es condicional a la inexistencia de ceros de Siegel (o potencialmente faltando como máximo un discriminante fundamental adicional incondicionalmente). Bajo la Hipótesis de Riemann Generalizada (ERH), las tablas para $E=2, 3, 4, 5, 8$ se prueban completas, con límites específicos proporcionados para $E=6$ y $E=7$.

Significado y Motivación
Los autores identifican tres motivaciones principales para este trabajo:

1. Extensión Teórica: Los resultados sirven como una variación natural del célebre teorema de equidistribución de Duke, extendiendo el análisis desde el interior del dominio fundamental hasta su frontera.
2. Interés Aritmético Independiente: La clasificación de discriminantes con exponentes pequeños de grupo de clases es de interés independiente en la teoría de números algebraica, extendiendo trabajos previos sobre discriminantes fundamentales a todos los discriminantes.
3. Aplicación a Formas Modulares: La clasificación es un prerrequisito para resultados en un trabajo separado [1] concerniente a la trascendencia de los ceros de las formas modulares. Los autores notan que para ciertas formas modulares (como las series de Eisenstein y productos de las mismas), los ceros no trascendentes solo pueden ocurrir en la frontera de $F$. En consecuencia, identificar los discriminantes específicos donde todos los puntos CM residen en la frontera es esencial para analizar los ceros de estas formas.

El artículo concluye señalando que el marco algorítmico desarrollado para el exponente $E$ es generalizable, aunque las tablas específicas proporcionadas cubren $E \le 8$. La completitud de los resultados depende de conjeturas estándar en la teoría de números analítica (ceros de Siegel, ERH) respecto a la distribución de los números de clase y los discriminantes.