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

Resumo Técnico: Integralidade das Integrais de Rankin-Selberg para GL2 × GL2 em Representações Ramificadas

Enunciado do Problema
O artigo aborda a questão da integralidade das integrais de zeta locais de Rankin-Selberg associadas a pares de representações temperadas genéricas irredutíveis e admissíveis $\pi_1, \pi_2$ de $GL_2(F)$, onde $F$ é uma extensão finita de $\mathbb{Q}_p$ ($p$ ímpar). Embora se saiba que a integral local de Rankin-Selberg $Z(\phi, g_1 W^{\text{new}}_{\pi_1}, g_2 W^{\text{new}}_{\pi_2}; s)$ fatoriza como $L(\pi_1 \times \pi_2, s) \cdot \Phi(\dots; q^s)$, onde $\Phi$ é uma função racional, a natureza aritmética dos coeficientes de $\Phi$ permanece sutil.

Especificamente, o autor observa que a noção "ingênua" de integralidade falha: mesmo que os dados de entrada (função de Schwartz $\phi$ e elementos do grupo $g_1, g_2$) estejam definidos sobre $\mathbb{Z}$, o polinômio resultante $\Phi$ não possui necessariamente coeficientes no anel de inteiros de um corpo de números (possivelmente localizado em $p$). O problema central é identificar uma noção refinada de "dados integrais" tal que a integral de zeta resultante, quando dividida pelo fator $L$ local, produza um polinômio com coeficientes em um anel aritmético específico $A$. Isso é motivado pela necessidade de estabelecer propriedades de integralidade compatíveis com os coeficientes de Fourier de novas formas e de apoiar a teoria dos sistemas de Euler de Rankin-Selberg.

Metodologia
A abordagem baseia-se numa reinterpretação técnica da integral de Rankin-Selberg e numa redução ao estudo de vetores novos específicos de Whittaker.

1. Reinterpretação da Integral: O autor constrói um diagrama comutativo relacionando a integral de zeta padrão de Rankin-Selberg $Z_\Pi$ a um mapa linear $\Lambda_\Pi$ atuando num espaço de funções induzidas com suporte compacto. Isso envolve:

   • Definir um mapa $\Xi_c$ que transforma o produto tensorial de funções de Schwartz e funções características num espaço de funções sobre $P(F) \backslash G(F) / K_\Pi$.
   • Utilizar o desenrolar (unfolding) da integral para relacionar $Z_\Pi$ a uma integral envolvendo uma função de Whittaker "nova" $I^{\text{new}}_\Pi$.
   • Estabelecer que a integralidade da integral de zeta original reduz-se à integralidade do termo $I^{\text{new}}_\Pi(\gamma; s)$ avaliado em representantes específicos de classes laterais $\gamma$, escalado pelo inverso do volume do subgrupo estabilizador.

2. Análise Caso a Caso: O núcleo da prova envolve uma análise detalhada e exaustiva, caso a caso, do comportamento dos vetores novos de Whittaker $W^{\text{new}}_\pi$ para todas as classes de representações temperadas genéricas irredutíveis e admissíveis de $GL_2(F)$. O autor aproveita fórmulas explícitas para esses vetores encontradas nas obras de Assing [Ass19b, Ass19a] e Saha [Sah16]. Os casos cobertos incluem:

   • Representações de série principal não ramificadas e ramificadas (meio-ramificadas, totalmente ramificadas).
   • Representações de Steinberg (ramificações não ramificadas e ramificadas).
   • Representações supercuspidais (associadas a extensões quadráticas).
   • Todos os produtos tensoriais possíveis $\pi_1 \times \pi_2$ desses tipos.

3. Somas de Gauss e Fatores de Volume: Em cada caso, o autor avalia as integrais relevantes, que frequentemente reduzem-se a somas de Gauss parciais ou somas de Kloosterman generalizadas. Um passo técnico crítico é demonstrar que os denominadores potenciais (especificamente fatores de $q-1$ decorrentes de somas de Gauss) são sempre cancelados pelos fatores de volume dos subgrupos estabilizadores $P(F) \cap \gamma K_\Pi \gamma^{-1}$.

Contribuições e Resultados Principais

• Definição de Dados Integrais: O artigo introduz uma noção natural de dados $(\pi_1 \times \pi_2)$-integrais. Um dado $(\phi, g_1, g_2)$ é definido como integral se a função de Schwartz $\phi$ assumir valores num ideal principal específico determinado pelo volume do estabilizador de $\phi$ intersectado com o subgrupo condutor conjugado $K_\Pi$.
• Teorema A (Integralidade Local): Para qualquer par de representações temperadas genéricas irredutíveis e admissíveis, e para qualquer dado $\Pi$-integral, o polinômio $\Phi$ que aparece na fatorização da integral de zeta pertence a $A[X, X^{-1}]$, onde $A$ é uma álgebra $\mathbb{Z}[q^{-1}, \mu_{\nu}q^\tau]$ contendo os autovalores de Hecke esféricos e caracteres unitários não ramificados específicos determinados pelas representações. Aqui $\tau = \max(c(\pi_1), c(\pi_2))$ e $\nu$ depende de se as representações são não ramificadas.
  • Este resultado vale para $p=2$ sob a suposição adicional de que as representações supercuspidais são diédricas.
• Teorema B (Aplicação Global): O resultado local é aplicado a formas automórficas globais. Para formas novas cuspidais normalizadas $f_1, f_2$ de pesos pares, a integral global de Rankin-Selberg $I(\phi_A, g_1 \phi_{f_1}, g_2 \phi_{f_2}; s)$ é mostrada como sendo igual a $L(\pi_{f_1} \times \pi_{f_2}, s)$ multiplicada por um polinômio $\Phi$ com coeficientes no anel de inteiros de um corpo de números específico $E_{f_1, f_2}$ (localizado em primos de um conjunto finito $S$).
• Formas Trilineares: O artigo estabelece um resultado de integralidade para a forma trilinear única (a menos de escalares) em $\text{Hom}_{GL_2(F)}(\pi_1 \otimes \pi_2 \otimes \pi_3, 1)$, realizada via a integral de Rankin-Selberg, mostrando que ela assume valores no anel $A$ em vetores novos integrais.

Significado e Alegações
O autor afirma que este trabalho fornece um "refinamento integral" do resultado de Jacquet-Langlands relativo ao máximo divisor comum das integrais de Rankin-Selberg. O significado é duplo:

1. Teoria de Representações: Resolve a questão da integralidade para representações ramificadas, um cenário onde a integralidade ingênua falha. O resultado é descrito como um "problema natural de interesse independente através das lentes das estruturas integrais na teoria de representações local".
2. Geometria Aritmética: A noção de dados integrais introduzida aqui possui uma interpretação global algebrico-geométrica. O artigo observa que dados localmente integrais correspondem precisamente a classes na imagem da cohomologia étale integral de curvas modulares sob o mapa de Loeffler-Skinner-Zerbes (LSZ). Consequentemente, o Teorema B é apresentado como o "resultado de integralidade análogo no lado da teoria de representações" para a teoria dos sistemas de Euler de Rankin-Selberg e funções $L$ $p$-ádicas.

O artigo mantém-se modesto quanto ao inverso: reconhece que, embora a imagem da integral de zeta em dados integrais esteja contida no ideal fracionário principal gerado pelo fator $L$, ainda não se sabe se essa imagem é o ideal inteiro ou se é principal. Isso é identificado como um problema aberto com implicações potenciais para a otimização dos fatores locais na teoria dos sistemas de Euler.