Second moment of $\textrm{GL(3)} \times \textrm{GL(2)}$ $L$--functions

Aquí presento un resumen técnico detallado del artículo "Second Moment of GL(3) × GL(2) L–Functions" de Sumit Kumar, K. Mallesham y Suraj Panigrahy, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda el estudio de los momentos de funciones $L$ en la teoría de números moderna, específicamente el segundo momento de funciones $L$ de tipo Rankin-Selberg asociadas a un par de formas automorfas $(\pi, f)$, donde:

• $\pi$ es una forma cuspidal de Hecke fija para $SL(3, \mathbb{Z})$ (tipo $GL(3)$).
• $f$ varía en una familia de formas nuevas primitivas de peso $k \ge 3$, nivel $M = M_1 M_2$ (donde $M_1$ y $M_2$ son primos distintos) y carácter de Nebentypus $\psi$ de conductor $M_1$.

El objetivo es probar una cota superior consistente con la conjetura de Lindelöf para la suma:
$$S_\pi(M) := \sum_{\substack{\psi(M_1) \\ \psi(-1)=(-1)^k}} \sum_{f \in H^*_k(M, \psi)} |L(1/2, \pi \times f)|^2$$
en el rango donde $M_2 \le M_1^{1+\epsilon}$.

Contexto y Desafío:

• Obtener fórmulas asintóticas exactas para momentos de orden alto ($2k$) en familias de rango superior es extremadamente difícil.
• Resultados previos notables incluyen el trabajo de Young [15] para el segundo momento en el aspecto espectral (rango de Laplace) y de Djanković [5] para el momento sexto en el aspecto no-archimediano (nivel).
• El desafío principal radica en el tamaño de la familia: cuando el nivel $M_2$ es grande comparado con $M_1$, el tamaño de la familia se reduce, haciendo que el análisis analítico sea muy complejo. El objetivo es extender los resultados de Qi [11] (que trabajó en rangos cortos espectrales) al contexto no-archimediano (nivel).

2. Metodología

Los autores emplean una combinación sofisticada de herramientas analíticas y algebraicas de la teoría de formas automorfas:

1. Fórmula de Trazas de Petersson:

   • Se utiliza la fórmula de trazas para expandir la suma sobre la familia de formas nuevas $f$. Esto permite separar el término diagonal (que da el término principal) del término de error (que involucra sumas de Kloosterman).
   • Se aplica una partición de la unidad diádica para manejar la función de peso $W$ en la aproximación funcional de $L(1/2, \pi \times f)$.

2. Descomposición de Sumas de Carácter (Lema 5 y 8):

   • Una parte crucial es separar las variables $m$ y $m'$ en las sumas de Kloosterman $S_\psi(m, m'; Mc)$.
   • Se utiliza una identidad de reciprocidad y descomposición de caracteres (basada en el Lema 5 de Iwaniec-Li) para factorizar la suma de caracteres en componentes que dependen de $M_1$ y $M_2$ por separado. Esto permite aplicar técnicas de criba de manera efectiva.

3. Inversión de Mellin y Separación de Variables:

   • Para manejar la función de peso que conecta $m$ y $m'$ (a través de $\sqrt{mm'}$), se utiliza la inversión de Mellin. Esto introduce una integral compleja que permite separar las variables en el argumento de la función de Bessel $J_{k-1}$.
   • Se analizan tres casos para el parámetro de la suma de Kloosterman ($C$): pequeño, grande y genérico, ajustando las cotas según el caso.

4. Desigualdad AM-GM:

   • Se aplica la desigualdad aritmético-geométrica para desacoplar los términos cruzados en la suma del error, reduciendo el problema a estimar sumas cuadráticas de coeficientes.

5. Sumación de Voronoi para $GL(3)$ (Lema 6):

   • Para tratar los coeficientes de Fourier $\lambda_\pi(\ell, m)$ de la forma $GL(3)$, se aplica la fórmula de sumación de Voronoi. Esto transforma la suma original en una suma dual que involucra coeficientes $\lambda_\pi(n_1, n_2)$ y sumas de Kloosterman, permitiendo explotar la cancelación oscilatoria.

6. Desigualdades de Criba (Large Sieve):

   • Se prueba y utiliza un Lema 4 (una desigualdad de criba híbrida) que combina aspectos de nivel y espectro. Esta desigualdad es fundamental para controlar las sumas exponenciales con frecuencias no lineales.
   • Se aplican lemas de criba estándar (Lemas 2 y 3) para acotar las sumas sobre caracteres y módulos.

3. Contribuciones Clave

• Prueba de una Cota de Lindelöf Consistente: El resultado principal (Teorema 1) establece que:
  $$S_\pi(M) \ll_{\pi, \epsilon} M_1^{1+\epsilon}$$
  bajo la condición $M_1^\epsilon \le M_2 \le M_1^{1+\epsilon}$.
  Dado que el tamaño de la familia es aproximadamente $|F| \asymp M_1^2 M_2$, y el conductor es $M_1 M_2$, esta cota es consistente con la predicción de Lindelöf en el rango donde $M_2 \asymp M_1$.

• Extensión de Resultados Previos: El trabajo extiende el resultado de Djanković [5] (que cubría el caso $M_2 = M_1$) a un rango más amplio donde $M_2$ puede ser significativamente mayor que $M_1$, pero aún controlado ($M_2 \le M_1^{1+\epsilon}$).

• Nuevas Técnicas de Cribas Híbridas: El desarrollo del Lema 4 (criba híbrida para funciones con derivadas no nulas) es una contribución técnica significativa que permite manejar la interacción entre el nivel y el peso en este contexto específico.

• Análisis Detallado de la Suma Dual: El manejo cuidadoso de la suma dual obtenida tras la aplicación de Voronoi para $GL(3)$, dividiendo el análisis en "pequeños $n_2$" y "grandes $n_2$", demuestra una técnica robusta para tratar los términos de error en momentos de productos cruzados $GL(3) \times GL(2)$.

4. Resultados

• Teorema 1: Para primos distintos $M_1, M_2$ con $M_1^\epsilon \le M_2 \le M_1^{1+\epsilon}$, se cumple:
  $$\sum_{\psi} \sum_{f} |L(1/2, \pi \times f)|^2 \ll_{\pi, \epsilon} M_1^{1+\epsilon}$$
  Esto implica que el segundo momento crece linealmente con el conductor del carácter (o el tamaño efectivo de la familia en el rango considerado), lo cual es el comportamiento óptimo esperado bajo la conjetura de Lindelöf.

• Límites del Método: Los autores señalan que el caso $M_2 \ge M_1^{1+\epsilon}$ queda fuera del alcance actual. En este régimen, el tamaño de la familia se vuelve demasiado pequeño ("super hard to analyze"), y las técnicas de criba estándar no logran compensar la pérdida de masa en la suma.

5. Significado

• Avance en la Teoría de Momentos de Rango Superior: Este trabajo es uno de los pocos que logra obtener cotas consistentes con Lindelöf para el segundo momento de funciones $L$ de tipo $GL(3) \times GL(2)$ en el aspecto del nivel. La mayoría de los resultados conocidos se centran en $GL(2)$ o en el aspecto espectral.
• Aplicaciones Potenciales:
  • No-vanishing: Tales cotas son un paso esencial para probar que un número positivo de funciones $L$ en la familia no se anulan en el punto central ($s=1/2$).
  • Subconvexidad: Las técnicas desarrolladas y las cotas obtenidas son herramientas fundamentales para atacar problemas de subconvexidad (mejorar la cota de convexidad trivial para valores centrales de funciones $L$).
• Metodología para Futuras Investigaciones: La combinación de la fórmula de trazas de Petersson con la sumación de Voronoi de $GL(3)$ y nuevas desigualdades de criba híbrida proporciona un "kit de herramientas" que puede ser adaptado para estudiar momentos de orden superior o familias de formas automorfas más generales.

En resumen, el artículo representa un avance técnico significativo en el análisis de momentos de funciones $L$ de rango superior, superando obstáculos analíticos relacionados con la variación del nivel y estableciendo un nuevo estándar para las cotas en familias mixtas $GL(3) \times GL(2)$.