Period relations for Rankin-Selberg convolutions for $\mathrm{GL}(n)\times\mathrm{GL}(n)$

Resumo Técnico: Relações de Período para Convoluções de Rankin-Selberg para GL(n) × GL(n)

1. O Problema e o Contexto

O estudo dos valores especiais de funções $L$ é um dos problemas centrais da teoria dos números. A conjectura de Deligne (1979) prevê a racionalidade dos valores críticos de funções $L$ associadas a motivos puros. Blasius, por sua vez, propôs conjecturas sobre as relações de período entre diferentes valores críticos de funções $L$.

Enquanto o caso da convolução de Rankin-Selberg para GL(n) × GL(n-1) foi amplamente estudado e compreendido (com contribuições de Scholl, Mahnkopf, Raghuram, entre outros), o caso GL(n) × GL(n) permanece muito menos explorado, com resultados conhecidos apenas para $n=2$ ou sob condições restritivas para $n$ geral.

O objetivo principal deste artigo é provar a racionalidade e estabelecer relações de período para valores críticos específicos das funções $L$ de Rankin-Selberg para o par GL(n) × GL(n) sobre qualquer corpo de números que contenha um corpo CM (Complex Multiplication). O trabalho estende e complementa resultados anteriores dos mesmos autores ([LLS24]).

2. Metodologia

A abordagem do artigo baseia-se na teoria de símbolos modulares e na cohomologia de Eisenstein. A estratégia geral envolve conectar valores de funções $L$ a integrais de Rankin-Selberg globais e analisar suas propriedades de racionalidade sob a ação do grupo de automorfismos do corpo complexo, $\text{Aut}(\mathbb{C})$.

Os pilares metodológicos incluem:

• Representações Tamely Isobáricas: O artigo generaliza a noção de representações isobáricas (induzidas a partir de representações cuspidais) para o contexto "tamely isobárico", permitindo que uma das representações ($\Sigma$) seja induzida, enquanto a outra ($\Sigma'$) é cuspidal.
• Cohomologia de Lie Relativa: Utiliza-se a cohomologia de Lie relativa $H^q(\mathfrak{g}, K; \cdot)$ para estudar a estrutura aritmética das representações automorfas.
• Séries de Eisenstein Degeneradas: O foco recai sobre a cohomologia associada a séries de Eisenstein construídas a partir de séries principais degeneradas $I_\eta$.
• Símbolos Modulares: Define-se símbolos modulares globais e arquivados (archimedeanos) que relacionam as classes de cohomologia com os valores das funções $L$.
• Equivariância sob $\text{Aut}(\mathbb{C})$: A prova central demonstra que certos mapas (como o mapa de Eisenstein e os operadores de intertwinning) são equivariantes sob a ação de $\text{Aut}(\mathbb{C})$, o que implica que as relações entre os valores $L$ e os períodos são definidas sobre corpos de números.

3. Principais Contribuições e Resultados

A. O Teorema Principal (Teorema 1.2)
O teorema estabelece uma fórmula explícita para o valor especial $L(0, \Pi \times \chi)$, onde $\Pi = \Sigma \boxtimes \Sigma'$ é uma representação automorfa regular algébrica de $\text{GL}_n(\mathbb{A}) \times \text{GL}_n(\mathbb{A})$ e $\chi$ é um caractere de Hecke algébrico crítico.

A relação fundamental é dada por:
$$\frac{L(0, \Pi \times \chi)}{c(\omega_\Pi \chi^n) \cdot G(\chi)^{\frac{n(n-1)}{2}} \cdot \Omega_\infty(\Pi, \chi) \cdot \Omega(\Pi)} \in \mathbb{Q}(\Pi, \chi)$$

Onde:

• $c(\omega_\Pi \chi^n)$ é o período de Deligne associado ao produto dos caracteres centrais.
• $G(\chi)$ é a soma de Gauss do caractere $\chi$.
• $\Omega_\infty(\Pi, \chi)$ é um período arquivado (dependendo apenas dos pesos e da parte arquivada de $\chi$).
• $\Omega(\Pi)$ é o período de Whittaker da representação $\Pi$.
• A fração é equivariante sob $\text{Aut}(\mathbb{C})$, ou seja, a ação de $\sigma \in \text{Aut}(\mathbb{C})$ nos termos do lado esquerdo corresponde à ação nos termos do lado direito.

B. Racionalidade da Cohomologia de Eisenstein (Teorema 1.3)
Uma contribuição técnica crucial é a prova da racionalidade da cohomologia de Eisenstein associada a séries principais degeneradas. O artigo demonstra que o mapa de Eisenstein:
$$\text{Eis}_\eta: H^{c_n}(\mathfrak{g}_{n,\infty}, \tilde{K}_{n,\infty}; J_\eta \otimes F_\eta^\vee) \to H^{c_n}(X_n, F_\eta^\vee)$$
é equivariante sob $\text{Aut}(\mathbb{C})$.

• Significado: Isso resolve uma dificuldade técnica significativa em comparação com o caso GL(n) × GL(n-1), provando que as classes de cohomologia geradas por séries de Eisenstein têm propriedades aritméticas bem-comportadas.

C. Generalizações e Melhorias

• Remoção de Restrições: O trabalho remove a necessidade de assumir que o caractere $\chi$ é da forma $\chi_0 |\cdot|^t$ (onde $\chi_0$ tem ordem finita), uma restrição presente em trabalhos anteriores.
• Representações Mais Gerais: A definição de "tamely isobaric" é mais geral do que em [LLS24], permitindo uma classe mais ampla de representações induzidas.

4. Estrutura da Prova

A prova do Teorema 1.2 é construída através de um diagrama comutativo que conecta:

1. Integrais de Rankin-Selberg Globais: Que fatorizam em produtos de integrais locais.
2. Símbolos Modulares: Que mapeiam classes de cohomologia para $\mathbb{C}$.
3. Períodos Locais e Globais: Incluindo o período de Whittaker e o período de Deligne.

A chave da prova reside em mostrar que o diagrama que relaciona os símbolos modulares arquivados e não-arquivados com os valores $L$ comuta sob a ação de $\text{Aut}(\mathbb{C})$. Isso é feito analisando:

• A racionalidade dos operadores de intertwinning normalizados (Seção 5).
• A estrutura da cohomologia de fronteira (Seção 4).
• A não-nulidade dos símbolos modulares arquivados (baseado em [JLS25]).

5. Significado e Impacto

• Avanço na Teoria de Rankin-Selberg: Este trabalho fornece uma das primeiras provas completas de relações de período para o caso GL(n) × GL(n) para $n$ geral, preenchendo uma lacuna importante na teoria.
• Conexão com a Conjectura de Deligne: Os resultados são consistentes com as conjecturas de Deligne e Blasius, oferecendo evidências concretas para a racionalidade de valores $L$ em contextos de grupos de reductivos de posto superior.
• Ferramenta para Indução: Os autores sugerem que seus resultados para GL(n) × GL(n) podem servir como um novo ponto de partida (start point) para estudar funções $L$ de Rankin-Selberg gerais através de indução, complementando os resultados existentes para GL(n) × GL(n-1).
• Correção de Trabalhos Anteriores: O artigo identifica e corrige falhas técnicas em trabalhos anteriores (como [Gr03]) relacionados à construção de mapas de tradução e à prova da racionalidade da cohomologia de Eisenstein.

Em suma, o artigo representa um avanço significativo na compreensão aritmética dos valores especiais de funções $L$ para produtos de grupos lineares gerais, utilizando uma combinação sofisticada de análise harmônica, cohomologia de grupos de Lie e teoria de números algébrica.