Integrality of $\mathrm{GL}_2\times\mathrm{GL}_2$ Rankin-Selberg integrals for ramified representations

Resumen Técnico: Integralidad de las Integrales de Rankin-Selberg para GL2 × GL2 en Representaciones Ramificadas

Planteamiento del Problema
El artículo aborda la cuestión de la integralidad de las integrales zeta locales de Rankin-Selberg asociadas a pares de representaciones genéricas temperadas irreducibles y admisibles $\pi_1, \pi_2$ de $GL_2(F)$, donde $F$ es una extensión finita de $\mathbb{Q}_p$ ($p$ impar). Si bien se sabe que la integral local de Rankin-Selberg $Z(\phi, g_1 W^{\text{new}}_{\pi_1}, g_2 W^{\text{new}}_{\pi_2}; s)$ se factoriza como $L(\pi_1 \times \pi_2, s) \cdot \Phi(\dots; q^s)$, donde $\Phi$ es una función racional, la naturaleza aritmética de los coeficientes de $\Phi$ sigue siendo sutil.

Específicamente, el autor señala que la noción "ingenua" de integralidad falla: incluso si los datos de entrada (función de Schwartz $\phi$ y elementos del grupo $g_1, g_2$) están definidos sobre $\mathbb{Z}$, el polinomio resultante $\Phi$ no necesariamente tiene coeficientes en el anillo de enteros de un cuerpo de números (posiblemente localizado en $p$). El problema central es identificar una noción refinada de "datos integrales" tal que la integral zeta resultante, al dividirse por el factor $L$ local, produzca un polinomio con coeficientes en un anillo aritmético específico $A$. Esto está motivado por la necesidad de establecer propiedades de integralidad compatibles con los coeficientes de Fourier de las nuevas formas y para apoyar la teoría de los sistemas de Euler de Rankin-Selberg.

Metodología
El enfoque se basa en una reinterpretación técnica de la integral de Rankin-Selberg y una reducción al estudio de vectores nuevos específicos de Whittaker.

1. Reinterpretación de la Integral: El autor construye un diagrama conmutativo que relaciona la integral zeta estándar de Rankin-Selberg $Z_\Pi$ con una aplicación lineal $\Lambda_\Pi$ que actúa sobre un espacio de funciones inducidas compactamente. Esto implica:

   • Definir una aplicación $\Xi_c$ que transforma el producto tensorial de funciones de Schwartz y funciones características en un espacio de funciones sobre $P(F) \backslash G(F) / K_\Pi$.
   • Utilizar el desarrollo de la integral para relacionar $Z_\Pi$ con una integral que involucra una función de Whittaker "nueva" $I^{\text{new}}_\Pi$.
   • Establecer que la integralidad de la integral zeta original se reduce a la integralidad del término $I^{\text{new}}_\Pi(\gamma; s)$ evaluado en representantes específicos de clases laterales $\gamma$, escalado por el inverso del volumen del subgrupo estabilizador.

2. Análisis Caso por Caso: El núcleo de la prueba implica un análisis detallado y exhaustivo caso por caso del comportamiento de los vectores nuevos de Whittaker $W^{\text{new}}_\pi$ para todas las clases de representaciones genéricas irreducibles y admisibles de $GL_2(F)$. El autor aprovecha fórmulas explícitas para estos vectores encontradas en los trabajos de Assing [Ass19b, Ass19a] y Saha [Sah16]. Los casos cubiertos incluyen:

   • Representaciones de serie principal no ramificadas y ramificadas (semi-ramificadas, totalmente ramificadas).
   • Representaciones de Steinberg (torsiones no ramificadas y ramificadas).
   • Representaciones supercuspidales (asociadas a extensiones cuadráticas).
   • Todos los productos tensoriales posibles $\pi_1 \times \pi_2$ de estos tipos.

3. Sumas de Gauss y Factores de Volumen: En cada caso, el autor evalúa las integrales relevantes, que a menudo se reducen a sumas parciales de Gauss o sumas de Kloosterman generalizadas. Un paso técnico crítico es demostrar que los denominadores potenciales (específicamente factores de $q-1$ que surgen de las sumas de Gauss) siempre son cancelados por los factores de volumen de los subgrupos estabilizadores $P(F) \cap \gamma K_\Pi \gamma^{-1}$.

Contribuciones y Resultados Clave

• Definición de Datos Integrales: El artículo introduce una noción natural de datos $(\pi_1 \times \pi_2)$-integrales. Un dato $(\phi, g_1, g_2)$ se define como integral si la función de Schwartz $\phi$ toma valores en un ideal principal específico determinado por el volumen del estabilizador de $\phi$ intersectado con el subgrupo conductor conjugado $K_\Pi$.
• Teorema A (Integralidad Local): Para cualquier par de representaciones genéricas temperadas irreducibles y admisibles, y para cualquier dato $\Pi$-integral, el polinomio $\Phi$ que aparece en la factorización de la integral zeta pertenece a $A[X, X^{-1}]$, donde $A$ es un álgebra $\mathbb{Z}[q^{-1}, \mu_{\nu}q^\tau]$ que contiene los valores propios de Hecke esféricos y caracteres unitarios no ramificados específicos determinados por las representaciones. Aquí $\tau = \max(c(\pi_1), c(\pi_2))$ y $\nu$ depende de si las representaciones son no ramificadas.
  • Este resultado se cumple para $p=2$ bajo la suposición adicional de que las representaciones supercuspidales son diédricas.
• Teorema B (Aplicación Global): El resultado local se aplica a formas automorfas globales. Para formas nuevas cuspidales normalizadas $f_1, f_2$ de pesos pares, se demuestra que la integral global de Rankin-Selberg $I(\phi_A, g_1 \phi_{f_1}, g_2 \phi_{f_2}; s)$ es igual a $L(\pi_{f_1} \times \pi_{f_2}, s)$ multiplicada por un polinomio $\Phi$ con coeficientes en el anillo de enteros de un cuerpo de números específico $E_{f_1, f_2}$ (localizado en primos de un conjunto finito $S$).
• Formas Trilineales: El artículo establece un resultado de integralidad para la única forma trilineal (salvo escalares) en $\text{Hom}_{GL_2(F)}(\pi_1 \otimes \pi_2 \otimes \pi_3, 1)$, realizada a través de la integral de Rankin-Selberg, mostrando que toma valores en el anillo $A$ sobre vectores nuevos integrales.

Significado y Afirmaciones
El autor afirma que este trabajo proporciona un "refinamiento integral" del resultado de Jacquet-Langlands sobre el máximo común divisor de las integrales de Rankin-Selberg. El significado es doble:

1. Teoría de Representaciones: Resuelve la cuestión de la integralidad para representaciones ramificadas, un contexto donde la integralidad ingenua falla. El resultado se describe como un "problema natural de interés independiente a través de las lentes de las estructuras integrales en la teoría de representaciones local".
2. Geometría Aritmética: La noción de datos integrales introducida aquí tiene una interpretación global algebro-geométrica. El artículo señala que los datos localmente integrales corresponden precisamente a clases en la imagen de la cohomología étale integral de las curvas modulares bajo el mapa de Loeffler-Skinner-Zerbes (LSZ). En consecuencia, el Teorema B se presenta como el "resultado de integralidad análogo en el lado de la teoría de representaciones" para la teoría de los sistemas de Euler de Rankin-Selberg y las funciones $L$ $p$-ádicas.

El artículo se mantiene modesto respecto a la recíproca: reconoce que, si bien la imagen de la integral zeta sobre datos integrales está contenida en el ideal fraccional principal generado por el factor $L$, aún no se sabe si esta imagen es todo el ideal o si es principal. Esto se identifica como un problema abierto con implicaciones potenciales para la optimización de factores locales en la teoría de sistemas de Euler.