On Rankin-Selberg integral structures and Euler systems for $\mathrm{GL}_2\times \mathrm{GL}_2$

Resumen Técnico: Estructuras Integrales de Rankin-Selberg y Sistemas de Euler para GL2 × GL2

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de números algebraica y la teoría de representaciones automorfas: la comprensión de las propiedades integrales de los períodos de Rankin-Selberg y su interacción con las estructuras de retículos (lattices) en representaciones de tipo Whittaker esférico.

El contexto específico es la construcción de sistemas de Euler motivicos para el producto de dos formas modulares (representaciones automorfas de $GL_2$). En trabajos previos (como [LLZ14] y [LSZ22a]), se han construido clases de cohomología que satisfacen relaciones de norma (norm relations) en extensiones ciclotómicas. Sin embargo, una cuestión abierta planteada por David Loeffler era si los factores locales de Euler que aparecen en estas relaciones de norma son óptimos a nivel entero. Es decir, ¿es posible construir un sistema de Euler donde los factores locales sean exactamente el polinomio de Euler $P'_p(\text{Frob}_p^{-1})$ sin necesidad de dividir por factores extra o introducir denominadores innecesarios?

El problema técnico central radica en la incompatibilidad entre la estructura aditiva del espacio de funciones de Schwartz locales y las normalizaciones de volumen que surgen de consideraciones globales, lo que dificulta el estudio directo de vectores de prueba integrales arbitrarios mediante integrales de Zeta locales clásicas.

2. Metodología

El autor emplea un marco puramente representacional y local para resolver el problema global, evitando las dificultades directas de las integrales de Zeta sobre vectores integrales arbitrarios. La metodología se basa en los siguientes pilares:

• Reformulación mediante el Subgrupo Mirabólico: En lugar de trabajar directamente con las integrales de Rankin-Selberg estándar, el autor traslada el problema al estudio de la inducción compacta desde el subgrupo mirabólico $P \subset GL_2$. Se define un isomorfismo entre el módulo de funciones $C^\infty_c(P_p \backslash G_p / G^\circ_p)$ y ciertos módulos de coinvariantes.
• Ciclicidad y Álgebras de Hecke: Se demuestra que ciertos módulos de funciones (específicamente $I(G_p/G^\circ_p)$ y sus versiones localizadas) son cíclicos sobre el álgebra de Hecke esférica $H^\circ_{G_p}$. Esto permite generar todo el espacio a partir de un vector cíclico (generalmente la función característica del nivel óptimo).
• Formas Lineales Equivariantes: Se construyen formas lineales $\Lambda_{\Pi_p}$ en el espacio de funciones compactamente soportadas que son equivariantes bajo la acción del álgebra de Hecke. Estas formas permiten calcular explícitamente los factores locales asociados a vectores de prueba integrales.
• Localización en $1-S_p$: Un paso crucial es la localización del módulo de funciones respecto al operador de Hecke $(1-S_p)$. El autor demuestra que, sin esta localización, el módulo no es cíclico, pero tras invertirla, se obtiene una estructura libre de rango uno, lo que permite controlar la divisibilidad de los factores de Euler.
• Transferencia a Nivel Global: Una vez establecidos los resultados de optimalidad integral a nivel local, estos se "inyectan" en la construcción global de las clases de Rankin-Eisenstein mediante el mapa de Rankin-Eisenstein, preservando las propiedades integrales.

3. Contribuciones Clave

1. Resolución de la Conjetura de Loeffler: Se demuestra que los factores locales de Euler en la construcción del sistema de Euler motivico de Rankin-Selberg son óptimos a nivel entero. Cualquier construcción con datos integrales de entrada (en el sentido de [LSZ22a]) produce relaciones de norma donde los factores locales son múltiplos integrales del polinomio de Euler $P'_p(\text{Frob}_p^{-1})$ módulo $(p-1)$.
2. Nuevos Resultados de Integridad Local: Se establecen teoremas de estructura para espacios de representaciones de tipo Whittaker no ramificado, demostrando la unicidad y propiedades de integridad de los períodos de Rankin-Selberg para vectores de prueba en retículos específicos definidos por niveles de determinante.
3. Análisis de Vectores de Prueba Arbitrarios: A diferencia de trabajos anteriores que se limitaban a vectores de prueba "bonitos" o específicos, este trabajo maneja vectores de prueba integrales arbitrarios dentro de retículos adecuados, resolviendo la incompatibilidad entre la estructura aditiva y la normalización de volumen mediante el uso del subgrupo mirabólico.
4. Conexión con Representaciones Modulares: Se establecen resultados de unicidad y no-nulidad para períodos en representaciones modulares ($\ell$-modulares) bajo ciertas condiciones, vinculando la teoría de ramificación con las leyes de bifurcación.

4. Resultados Principales

El artículo presenta dos teoremas centrales:

• Teorema A (Relaciones de Norma Óptimas):
  Para una familia de datos integrales $\delta$ con "nivel de determinante" (determinant level), las clases de cohomología motivica $c\Xi^{mot}_n(\delta)$ satisfacen relaciones de norma en campos ciclotómicos. Específicamente, para $m/n = p$ primo:
  $$\text{norm}_{\mathbb{Q}(\mu_m)/\mathbb{Q}(\mu_n)} (c\Xi^{mot}_m(\delta)) = P^{cycl}_{Tr(\delta_p)} \cdot c\Xi^{mot}_n(\delta)$$
  Donde el factor local $P^{cycl}_{Tr(\delta_p)}$ pertenece al ideal generado por $(p-1)$ y el polinomio de Euler $P'_p(\text{Frob}_p^{-1})$ en el álgebra de Hecke.

  • Caso Especial: Si se elige un dato específico $\delta_1$, el factor es exactamente $P'_p(\text{Frob}_p^{-1})$. Esto confirma que la construcción es óptima y no introduce factores extra innecesarios.

• Teorema B (Integridad de Períodos de Rankin-Selberg):
  Para dos formas modulares $f_1, f_2$ y un primo $\ell$, se define el período de Rankin-Selberg unramificado $Z_{f_1 \times f_2}$. El teorema establece que:

  1. Si los vectores de prueba (funciones de Schwartz y vectores esféricos) están en retículos integrales adecuados (definidos por volúmenes de estabilizadores), el valor del período es un entero en el cuerpo de números $\ell$-ádico asociado a las formas.
  2. Si se relajan las condiciones de nivel (usando el nivel de determinante $G^\circ_p[p]$), el período, multiplicado por ciertos factores de L abelianos inversos, pertenece al ideal generado por $(p-1)$ y el inverso del factor de L local $L_p(\pi_{f_1} \boxtimes \pi_{f_2}, 0)$.

5. Significado e Impacto

• Optimalidad de Sistemas de Euler: Este trabajo cierra una brecha teórica importante al confirmar que los sistemas de Euler construidos para $GL_2 \times GL_2$ son "tan buenos como sea posible" a nivel entero. Esto es crucial para las aplicaciones en la Conjetura de Birch y Swinnerton-Dyer y la teoría de Iwasawa, donde la precisión de los factores de Euler determina la validez de las fórmulas de interpolación $p$-ádica.
• Nuevas Herramientas Representacionales: La técnica de trasladar el problema al subgrupo mirabólico y utilizar la localización en $(1-S_p)$ ofrece un nuevo paradigma para estudiar la integridad de períodos automorfos, superando las limitaciones de las integrales de Zeta tradicionales para vectores generales.
• Generalización: Los resultados se aplican no solo a formas modulares clásicas, sino que el marco teórico soporta coeficientes no triviales (módulos de coeficientes en haces), abriendo la puerta a generalizaciones a variedades de Shimura de mayor dimensión y representaciones más complejas.

En conclusión, el artículo proporciona la base técnica rigurosa para asegurar que las construcciones de sistemas de Euler para productos de formas modulares preservan la estructura integral de manera óptima, resolviendo una conjetura abierta y estableciendo nuevas herramientas para el análisis local de períodos automorfos.