Joint Linnik problems

Los autores demuestran una conjetura de Michel y Venkatesh sobre las uniones de distintos problemas de Linnik en el contexto de incrustaciones cuaterniónicas simultáneas de cuerpos cuadráticos imaginarios, extendiendo el resultado a una forma no equivariante propuesta por Aka, Einsiedler y Shapira que abarca la construcción clásica de Gauss.

Lo esencial

Imagina que tienes dos mundos matemáticos muy diferentes, pero que, misteriosamente, parecen estar bailando al mismo ritmo.

• Mundo 1 (La Esfera): Imagina una pelota gigante. En su superficie hay puntos hechos de números enteros (como coordenadas en un mapa). Si la pelota es muy grande, hay miles de estos puntos. La pregunta es: ¿están distribuidos de forma uniforme por toda la superficie o se agrupan en ciertos lugares?
• Mundo 2 (El Torneo de Números): Imagina un torneo de ajedrez o un mapa de formas cuadráticas (fórmulas matemáticas complejas). Aquí también hay "puntos" especiales (llamados puntos CM) que representan soluciones a problemas muy antiguos.

El Problema de Linnik (El Baile Solitario)
Hace mucho tiempo, el matemático Yuri Linnik se preguntó: si miramos solo la pelota gigante, ¿los puntos se reparten bien? Y si miramos solo el torneo, ¿sus soluciones también se reparten bien?
La respuesta es sí. Gracias a trabajos posteriores (como los de Duke), sabemos que, si la pelota es lo suficientemente grande, los puntos se distribuyen perfectamente, como si alguien los hubiera esparcido con un pulverizador. Lo mismo ocurre con el torneo.

El Nuevo Reto: El Baile en Pareja (El Problema de Michel-Venkatesh)
Ahora, los autores de este artículo (Valentin Blomer, Farrell Brumley y Maksym Radziwiłł) se hacen una pregunta más difícil:

"Si miramos la pelota Y el torneo al mismo tiempo, ¿sus puntos bailan juntos de forma coordinada?"

Es decir, si tomas un punto en la pelota y su "pareja" en el torneo, ¿se reparten uniformemente en el espacio combinado (pelota × torneo)? O, ¿hay una conspiración oculta que hace que ciertos pares se agrupen y otros desaparezcan?

La Solución: Un Truco de Magia Matemática
Anteriormente, para probar que estos dos mundos bailaban juntos, los matemáticos necesitaban asumir cosas muy fuertes y difíciles de probar, como la "Hipótesis de Riemann Generalizada" (que es como asumir que el universo obedece una regla de orden perfecta que nadie ha podido demostrar aún).

Estos tres autores han logrado probarlo sin necesitar esa regla mágica. Han encontrado una condición mucho más débil y realista:

• La Condición de los "Primos Pequeños": Imagina que los números primos (2, 3, 5, 7...) son como llaves. Para que el baile funcione, necesitamos que haya "muchas llaves pequeñas" que abran ciertas puertas en los números.
• El Resultado: Han demostrado que, siempre que haya suficientes "llaves pequeñas" (lo cual es cierto para casi todos los números, excepto unos rarísimos), los dos mundos sí bailan juntos perfectamente.

¿Cómo lo hicieron? (La Analogía del Molde)
Para entender su método, imagina que quieres medir la temperatura de un líquido hirviendo, pero el termómetro es muy ruidoso.

1. El Ruido: Los números tienen un comportamiento caótico.
2. El Molde (Mollification): Los autores crearon un "molde" matemático. En lugar de mirar los números uno por uno, los agruparon y les dieron "pesos" especiales (como si pusieras un filtro en una cámara para suavizar la imagen).
3. El Truco: Usaron este molde para convertir un problema de "ruido" en un problema de "señal clara". Al hacerlo, pudieron ver que, a pesar del caos inicial, la tendencia general era hacia una distribución perfecta.

¿Por qué es importante?

1. Unir Mundos: Demuestra que dos estructuras matemáticas que parecen no tener relación (geometría de esferas y teoría de números complejos) están profundamente conectadas.
2. Sin Adivinanzas: Antes, para hacer esto, tenías que "adivinar" que la Hipótesis de Riemann era cierta. Ahora, han demostrado que no necesitas esa suposición; la matemática funciona por sí sola bajo condiciones naturales.
3. Conjeturas Resueltas: Esto confirma una conjetura famosa de Michel y Venkatesh y también resuelve un problema propuesto por Aka, Einsiedler y Shapira sobre cómo se relacionan los puntos en la esfera con los puntos en superficies modulares (una superficie con forma de "taza de café" matemática).

En resumen:
Los autores han demostrado que, si tienes dos sistemas matemáticos complejos y "ruidosos", si hay suficientes "pequeños números primos" disponibles, estos sistemas dejarán de comportarse de forma extraña y se sincronizarán perfectamente, distribuyéndose de manera uniforme en el espacio combinado. Han logrado esto usando técnicas de "suavizado" y teoría espectral, eliminando la necesidad de suposiciones no probadas que antes eran necesarias. Es como demostrar que dos orquestas que tocan en salas separadas, al final, están tocando la misma sinfonía perfecta.

Resumen técnico

Resumen Técnico: Joint Linnik Problems

1. El Problema y el Contexto

El artículo aborda una nueva generación de problemas de equidistribución, conocidos como problemas de Linnik o "uniones" (joinings) de problemas de Linnik distintos. Históricamente, el teorema de Duke resolvió la equidistribución de puntos en la esfera unitaria (puntos enteros de norma grande) y de puntos CM (puntos de multiplicación compleja) en la curva modular.

El problema central de este trabajo es la conjetura de Michel-Venkatesh sobre la equidistribución simultánea de dos sistemas de este tipo. Específicamente, se estudia la distribución conjunta de:

1. Puntos enteros en variedades cuaterniónicas (proyecciones de puntos en esferas o elipsoides).
2. Puntos CM (o geodésicas cerradas) en superficies modulares o variedades cuaterniónicas asociadas.

El objetivo es demostrar que, bajo ciertas condiciones, la distribución conjunta de estos puntos en el espacio producto $Y_1 \times Y_2$ converge a la medida producto de las medidas invariantes individuales ($\mu_1 \otimes \mu_2$).

Limitaciones de trabajos anteriores:
Trabajos previos (como [BB]) lograron resultados parciales bajo dos supuestos fuertes:

• La Hipótesis de Riemann Generalizada (GRH) para funciones L automorfas de grado hasta 8.
• La cuspidalidad de las funciones de prueba (excluyendo el espectro continuo).

2. Metodología y Nuevas Técnicas

Los autores abandonan el enfoque basado en la GRH y la teoría de formas automorfas de alto grado, adoptando una perspectiva que prioriza la mollificación, las fórmulas de periodos y la teoría espectral.

Estrategia General

La prueba se divide en tres pasos principales, reduciendo el problema de equidistribución a estimaciones aritméticas:

1. Reducción a Expresiones Aritméticas Cortas (Paso 1):

   • Se utiliza el criterio de Weyl para reducir el problema a la evaluación de periodos de Heegner toricos ponderados por caracteres del grupo de clases.
   • Se introducen mollificadores (pesos complejos o reales) para explotar la independencia estadística entre los periodos de Heegner toricos.
   • Se distinguen dos casos:
     • Caso Equivariante ($\nu=1$): Se usa un esquema de mollificación simétrico (inspirado en [RS]) basado en productos de Euler truncados.
     • Caso "Off-speed" ($\nu=2$): Se introduce una técnica innovadora basada en la desigualdad de Cauchy-Schwarz condicionada y la independencia de frecuencias de caracteres ($\chi$ vs $\chi^2$). Aquí se utiliza un mollificador tipo polinomio de Dirichlet en lugar de exponenciales truncadas.
   • Este paso reduce el problema a acotar sumas aritméticas cortas que involucran valores propios de Hecke y el comportamiento de descomposición de primos.

2. Estimación de Momentos Toricos (Paso 2):

   • Se demuestra una fórmula asintótica para sumas correlacionadas de periodos toricos (Teorema 3.4).
   • A diferencia de enfoques anteriores que convertían estos periodos en valores centrales de funciones L (vía fórmula de Waldspurger), los autores trabajan directamente a nivel de periodos mediante expansión espectral.
   • Se utilizan límites de subconvexidad híbridos para funciones L (resultados de [HM] y [DFI2]) para controlar el error.
   • Innovación clave: Se permite que una de las funciones ($f_2$) sea una serie de Eisenstein incompleta ($E_\Psi$). Esto es crucial para manejar el espectro continuo (caso no compacto), eliminando la restricción de cuspidalidad de trabajos anteriores.

3. Análisis de Ceros y Primos (Paso 3):

   • Se demuestra que las expresiones aritméticas obtenidas en el Paso 1 tienden a cero cuando el discriminante $D \to \infty$.
   • Esto requiere demostrar que existen suficientes primos que se descomponen (split) en el campo cuadrático imaginario $K = \mathbb{Q}(\sqrt{-D})$ y que los valores propios de Hecke no se cancelan entre sí.
   • Se utilizan resultados sobre la cuspidalidad de potencias simétricas de representaciones automorfas (trabajo de Kim-Shahidi) para asegurar que los valores propios de Hecke de representaciones distintas no coinciden con demasiada frecuencia.
   • Se emplea un argumento de "pigeonhole" (casillero) combinando la densidad de primos con valores propios grandes y la densidad de primos que se descomponen.

3. Resultados Principales

Teorema Principal (Teorema 2.5)

Los autores prueban la conjetura de equidistribución simultánea de Michel-Venkatesh y su variante cuadrática (Aka-Einsiedler-Shapira) para variedades cuaterniónicas sobre $\mathbb{Q}$ a nivel casi máximo.

Condición de Hipótesis:
El resultado es válido para discriminantes $-D$ tales que la función L de Dirichlet cuadrática $L(s, \chi_{-D})$ no tiene ceros en la región:
$$\Re(s) \ge 1 - \frac{20\psi(D) \log \psi(D)}{\log D}, \quad |\Im(s)| \le \frac{2\psi(D)^2}{\log D}$$
donde $\psi(D) \to \infty$ arbitrariamente lento.

Implicaciones de la Condición:

• Esta condición es mucho más débil que la GRH. Es equivalente a la ausencia de ceros de Siegel (o ceros excepcionales) para caracteres de Dirichlet cuadráticos.
• Por un teorema de densidad, esta condición se cumple para todos menos $O((\log \log X)^{1+o(1)})$ discriminantes hasta $X$. Esto significa que el resultado es válido para "casi todos" los discriminantes.

Aplicaciones Específicas

1. Complemento Ortogonal de Gauss (Teorema 2.1):

   • Se prueba la equidistribución conjunta de puntos enteros en la esfera $S^2$ y puntos CM en la superficie modular $Y_0(1)$.
   • Esto resuelve la conjetura de Aka-Einsiedler-Shapira sin condiciones de congruencia auxiliares sobre $D$, salvo la condición de no ceros de Siegel mencionada.
   • Se maneja el espectro continuo (series de Eisenstein), algo que no podían hacer los trabajos previos.

2. Uniones de Variedades Cuaterniónicas (Teorema 2.3):

   • Se demuestra la equidistribución simultánea de puntos en dos esferas (o elipsoides) asociadas a diferentes álgebras de cuaterniones, bajo la acción del grupo de clases.

3. Conexión con la Conjetura de André-Oort:

   • El Teorema 1.1 implica una forma fuerte de la conjetura de André-Oort para variedades de Shimura, donde la densidad de Zariski se reemplaza por equidistribución.

4. Contribuciones Clave y Significado

1. Eliminación de la GRH: El trabajo sustituye la Hipótesis de Riemann Generalizada (una suposición no probada y muy fuerte) por una condición analítica mucho más débil relacionada con la ausencia de ceros de Siegel. Esto representa un avance significativo en la rigurosidad de los resultados de equidistribución.
2. Manejo del Espectro Continuo: Al utilizar series de Eisenstein incompletas y técnicas de periodos, los autores eliminan la restricción de que las funciones de prueba deban ser cuspidales. Esto permite tratar casos geométricos donde uno de los factores es no compacto (como la superficie modular).
3. Nuevas Técnicas de Mollificación:
   • Desarrollo de esquemas de mollificación asimétricos para manejar la falta de estructura multiplicativa en las series de Eisenstein.
   • Introducción de un método basado en la independencia estadística de frecuencias de caracteres ($\chi$ vs $\chi^2$) para el caso $\nu=2$, evitando la necesidad de asumir la trivialidad del 2-torsión del grupo de clases.
4. Optimización de Límites de Potencias Simétricas: El uso de resultados de Kim y Shahidi sobre la cuspidalidad de las primeras potencias simétricas ($k=2,3,4$) es esencial para superar el umbral de densidad de primos necesario (superar 1/2), un obstáculo técnico crítico en problemas de este tipo.
5. Formalización: El artículo menciona que la prueba de un lema numérico crítico (Lema 7.2, sobre la positividad de un polinomio) ha sido formalizada en Lean4, destacando la precisión y verificación computacional de los resultados.

Conclusión

Este artículo representa un hito en la teoría de números analítica y la teoría ergódica. Proporciona una demostración robusta y casi incondicional (dependiendo solo de la ausencia de ceros de Siegel) de la equidistribución simultánea de problemas de Linnik, unificando métodos de formas automorfas, teoría espectral y análisis de funciones L. Los resultados tienen profundas implicaciones para la comprensión de la distribución de puntos aritméticos en variedades geométricas y para la conjetura de André-Oort.