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

Título: Sobre Estruturas Integrais de Integrais de Rankin-Selberg e Sistemas de Euler para GL2 × GL2

Autor: Alexandros Groutides (Instituto de Matemática, Universidade de Warwick)
Contexto: Teoria dos Números, Geometria Arithmética, Representações Automorfas.

---

1. O Problema e o Contexto

O artigo aborda a interação entre períodos de Rankin-Selberg (integrais que relacionam formas modulares e funções L) e estruturas integrais em representações do tipo Whittaker esféricas. O foco central é a construção e a análise de Sistemas de Euler para o produto de duas formas modulares (correspondendo ao grupo $G = GL_2 \times GL_2$).

O problema específico que motivou este trabalho é a conjectura de Loeffler sobre a otimalidade integral dos fatores locais de Euler que aparecem nas relações de norma de sistemas de Euler motivicos. Em trabalhos anteriores (como [LLZ14] e [LSZ22a]), foram construídos sistemas de Euler, mas a questão de saber se os fatores locais obtidos eram "integralmente ótimos" (ou seja, se não havia divisibilidade extra desnecessária por potências de $p$ ou outros fatores) permanecia em aberto.

O autor busca responder:

1. Quais são as propriedades integrais exatas dos períodos de Rankin-Selberg quando os dados de entrada (vetores de teste e funções de Schwartz) pertencem a reticulados integrais específicos?
2. É possível provar que as relações de norma para classes de cohomologia motivica são otimizadas integralmente, garantindo que os fatores locais sejam divisíveis apenas pelo fator de Euler esperado (e não por múltiplos extras)?

---

2. Metodologia

A abordagem do autor é puramente teórica de representações locais, combinada com formalismos de cohomologia motivica global. A metodologia pode ser dividida em três pilares principais:

A. Abordagem via Subgrupo Mirabólico e Indução Compacta

Ao invés de trabalhar diretamente com integrais de zeta locais de Rankin-Selberg (que são difíceis de controlar para vetores de teste integrais arbitrários devido à incompatibilidade entre a estrutura aditiva do espaço de Schwartz e os fatores de volume), o autor traduz o problema para o contexto do subgrupo mirabólico $P \subset GL_2$.

• Ele utiliza o isomorfismo entre o espaço de funções $C^\infty_c(P_p \backslash G_p / G^\circ_p)$ e uma indução compacta.
• Isso permite estudar a ação do álgebra de Hecke esférica $H^\circ_{G_p}$ de forma mais controlada.

B. Estrutura de Módulos sobre Álgebras de Hecke

O autor demonstra que certos módulos de funções (espaços de coinvariantes) são cíclicos e, após localizar em relação ao operador de Hecke $(1 - S_p)$, tornam-se livres de posto um.

• Ele prova que o módulo $C^\infty_c(P_p \backslash G_p / G^\circ_p)[\frac{1}{1-S_p}]$ é gerado por uma função característica específica ($ch(P_p G^\circ_p)$).
• Isso permite expressar qualquer elemento do espaço como um operador de Hecke aplicado ao gerador, facilitando o rastreamento de propriedades integrais.

C. Construção de Formas Lineares Equivariantes

O autor constrói formas lineares explícitas ($\Lambda_{\Pi_p}$) que são equivariantes sob a ação da álgebra de Hecke.

• Ele calcula explicitamente os valores dessas formas em vetores de teste integrais.
• Utiliza resultados de Sakellaridis sobre variedades esféricas para estabelecer a ciclicidade dos módulos.
• Aplica resultados de Prasad sobre distinção de representações para lidar com casos onde os caracteres centrais coincidem ou são inversos.

D. Transferência para o Contexto Global

Os resultados locais são então "elevados" para o contexto global através do mapa Rankin-Eisenstein ($RE$), que mapeia dados locais em classes de cohomologia motivica de variedades de Shimura.

---

3. Principais Contribuições e Resultados

O artigo apresenta dois teoremas principais (Teorema A e Teorema B) que resolvem questões fundamentais na teoria de sistemas de Euler e integrais de Rankin-Selberg.

Teorema A: Otimalidade Integral das Relações de Norma

Este teorema confirma a conjectura de Loeffler.

• Enunciado: Para qualquer família de dados integrais com "nível de determinante" (determinant level), as classes de cohomologia motivica construídas satisfazem relações de norma onde o fator local é um múltiplo integral do fator de Euler $P'_p(Frob_p^{-1})$.
• Significado: A relação de norma é integralmente ótima. Isso significa que, ao passar de um nível $m$ para $n$ (onde $m/n = p$), o fator de correção é exatamente o fator de Euler esperado (modulo $p-1$), e não um múltiplo dele por potências de $p$ ou outros fatores indesejados.
• Resultado Específico: Para dados específicos ($\delta_1$), a relação de norma é dada exatamente por $P'_p(Frob_p^{-1})$, sem fatores extras.

Teorema B: Integridade de Períodos de Rankin-Selberg

Este teorema trata do comportamento integral do período de Rankin-Selberg associado ao produto de duas formas modulares $f_1$ e $f_2$.

• Enunciado: O autor define reticulados integrais específicos para as funções de Schwartz e vetores esféricos. Ele prova que, ao avaliar o período nestes vetores:
  1. O resultado pertence ao anel de inteiros do corpo de números associado às formas modulares.
  2. Se os vetores de teste satisfazem condições de nível de determinante (subgrupo $G^\circ_p[p]$), o resultado é divisível pelo ideal gerado por $(p-1, L_p(\pi_{f_1} \boxtimes \pi_{f_2}, 0)^{-1})$.
• Inovação: O resultado vale para vetores de teste integrais arbitrários, não apenas para vetores "bons" ou específicos. Isso é alcançado contornando a dificuldade de calcular integrais de zeta diretamente, usando a estrutura do módulo de indução compacta.

Resultados Técnicos Adicionais

• Ciclicidade e Livre-Posto: Prova que módulos de funções invariantes sob o subgrupo mirabólico são livres de posto um sobre a álgebra de Hecke localizada.
• Distinção de Representações: Estabelece resultados de unicidade e não-anulação para formas lineares invariantes sob $P_p$ (distinção) em representações não ramificadas, incluindo casos modulares ($\ell$-modulares).
• Obstrução de Inversão: Demonstra que a localização no operador $(1-S_p)$ é necessária; sem ela, o módulo não é cíclico gerado pelo vetor esférico padrão, devido a obstruções relacionadas a Ext-vanishing (resultados de Prasad).

---

4. Significado e Impacto

1. Resolução de Conjecturas: O trabalho resolve a conjectura de Loeffler sobre a otimalidade integral dos sistemas de Euler para $GL_2 \times GL_2$. Isso é crucial para aplicações na Conjectura de Birch e Swinnerton-Dyer (BSD) e na teoria de Iwasawa, onde a precisão dos fatores de Euler é essencial para determinar a ordem de vanishing de funções L e o tamanho de grupos de Selmer.
2. Generalização de Resultados: Ao lidar com vetores de teste integrais arbitrários, o autor supera limitações de trabalhos anteriores que dependiam de escolhas específicas de vetores. Isso torna a teoria de sistemas de Euler mais robusta e aplicável a cenários onde os dados de entrada não são "perfeitos".
3. Ferramentas Novas: A metodologia de traduzir problemas de integrais de zeta para a estrutura de módulos sobre álgebras de Hecke via subgrupos mirabólicos oferece uma nova ferramenta poderosa para estudar integridade em representações automorfas.
4. Conexão com Representações Modulares: O artigo conecta a teoria de representações em característica zero com a teoria $\ell$-modular (representações sobre corpos finitos), mostrando como resultados de distinção e unicidade se comportam sob redução modular.

Em suma, o artigo fornece a base teórica rigorosa necessária para garantir que as construções de sistemas de Euler motivicos para produtos de formas modulares sejam aritmeticamente precisas, eliminando ambiguidades sobre fatores de divisibilidade local que poderiam comprometer aplicações em problemas de aritmética profunda.