Algebraicity of ratios of special $L$-values for $\mathrm{GL}(n)$

Resumo Técnico: Algebraicidade de Razões de Valores Especiais de L para GL(n)

Enunciado do Problema
O artigo investiga as propriedades algébricas de valores especiais de funções $L$ automórficas associadas ao grupo linear geral $GL(n)$ sobre $\mathbb{Q}$. Especificamente, aborda a algebraicidade da razão de dois valores $L$ torcidos, $L(m, \Pi \times \chi) / L(m, \Pi \times \chi')$, onde $\Pi$ é uma representação unitária cuspidal cohomológica de $GL(n, \mathbb{A}_{\mathbb{Q}})$ e $\chi, \chi'$ são caracteres de Hecke de ordem finita distintos. O estudo foca no caso em que $n$ é ímpar e o sistema de coeficientes é não-regular (especificamente, o peso máximo $\mu$ satisfaz condições de simetria específicas). Embora o caso de $n$ par e pesos regulares tenha sido tratado anteriormente por Mahnkopf [Mah05], este trabalho estende a metodologia para coeficientes não-regulares e $n$ ímpar, visando fornecer uma confirmação parcial da conjectura de Deligne a respeito da natureza algébrica de valores especiais no contexto automórfico.

Metodologia
Os autores empregam uma abordagem cohomológica, generalizando os métodos de Mahnkopf [Mah05] e Raghuram [Rag12, Rag16]. A estratégia central envolve relacionar o valor $L$ a um emparelhamento topológico de classes de cohomologia em espaços simétricos locais.

1. Construção de Representações Induzidas: Os autores constroem uma representação $\Sigma$ em $GL(n-1)$ via indução parabólica de um subgrupo de Levi $M_{P_{n-1}} \cong GL(2)^{\lfloor (n-3)/2 \rfloor} \times \mathbb{G}_m \times \mathbb{G}_m$. Esta representação induzida $\Sigma = \text{Ind}(\pi \otimes \chi)$ é projetada para ser cohomológica em relação a uma representação de dimensão finita específica $E_\lambda$. Crucialmente, $\Sigma$ é não-unitária, distinguindo este trabalho de muitos resultados existentes que dependem de representações unitárias.
2. Séries de Eisenstein e Racionalidade: O artigo utiliza a construção de Séries de Eisenstein para imergir a representação induzida $\Sigma_f$ (a parte finita) na cohomologia do espaço simétrico local associado a $GL(n-1)$. Os autores provam a holomorfia e a injetividade do mapa da Série de Eisenstein no ponto crítico $s = 2\mu_{\lfloor n/2 \rfloor} + 1$. Eles estabelecem a equivariância de Galois desta imersão, comparando a estrutura racional na representação induzida (derivada do modelo de Whittaker) com a estrutura racional de Betti na cohomologia.
3. Integral de Rankin–Selberg: O valor $L$ central $L(1/2, \Pi \times \Sigma)$ é interpretado como um integral de período global (integral de Rankin–Selberg). Os autores selecionam cuidadosamente vetores de Whittaker locais para $\Pi$ e $\Sigma$ em ambos os lugares não-ramificados e ramificados.
   • Nos lugares não-ramificados, são usados vetores novos padrão.
   • Nos lugares ramificados, os autores baseiam-se no Lema 5.1 (generalizando resultados de [GrH16] e [Mah05]) para escolher vetores de Whittaker de tal forma que os integrais de Rankin–Selberg locais sejam números algébricos não-nulos. Isso evita a computação explícita de vetores de Whittaker nos lugares ramificados, baseando-se em vez disso na existência abstrata e nas propriedades de racionalidade.
4. Emparelhamento Cohomológico: O integral global é mostrado como sendo igual ao emparelhamento de Poincaré de classes de cohomologia específicas $\vartheta_\Pi$ e $\vartheta_\Sigma$ definidas sobre $\mathbb{Q}$. Este emparelhamento produz a algebraicidade do valor $L$ até os períodos $p(\Pi_f)$, $p(\Sigma_f)$ e um número complexo $p(\Pi_\infty, \Sigma_\infty)$ decorrente do emparelhamento arquimediano.

Principais Contribuições e Resultados

• Teorema 1.1 (Algebraicidade do Valor Central $L$): Sob a suposição de que os componentes cuspidais $\pi_i$ dos dados de indução satisfazem uma condição de não-nulidade (Suposição $(\mu, \chi_{n-2}, \chi_{n-1})$), os autores provam que:
  $$L(1/2, \Pi \times \Sigma) \sim_{\mathbb{Q}} p(\Pi_f) p(\Sigma_f) p(\Pi_\infty, \Sigma_\infty)$$
  Aqui, $\sim_{\mathbb{Q}}$ denota igualdade até um elemento não-nulo no fechamento algébrico $\overline{\mathbb{Q}}$. Os períodos $p(\Pi_f)$ e $p(\Sigma_f)$ surgem da comparação de estruturas racionais (períodos Betti-Whittaker).

• Teorema 1.2 (Algebraicidade de Razões): O principal resultado do artigo é a algebraicidade da razão de dois valores $L$ torcidos. Para caracteres de Hecke de ordem finita distintos $\chi, \chi'$ com tipos no infinito específicos, e sob a condição de que $n=5$ ou $\mu_{\lfloor n/2 \rfloor} \ge 1$:
  $$\frac{L(\mu_{\lfloor n/2 \rfloor} + 1, \Pi \times \chi')}{L(\mu_{\lfloor n/2 \rfloor} + 1, \Pi \times \chi)} \in \overline{\mathbb{Q}}^\times$$
  Este resultado é derivado aplicando o Teorema 1.1 a uma razão de funções $L$ envolvendo a representação induzida $\Sigma$, onde os períodos $p(\Sigma_f)$ se cancelam ou reduzem a razões racionais conhecidas de valores $L$ de postos menores (especificamente casos de $GL(2)$e$GL(1)$, cuja racionalidade é conhecida a partir do trabalho de Shimura).

Significância e Alegações
O artigo alega fornecer uma confirmação parcial da conjectura de Deligne para representações cuspidais algébricas regulares que são cohomológicas em relação a pesos não-regulares. Os autores explicitamente notam que seu trabalho trata o caso de representações induzidas não-unitárias $\Sigma$, o que contrasta com muitos outros trabalhos na área (ex: [Gro18], [GrL17]) que assumem unitariedade.

Os autores são modestos quanto à força de seu resultado em comparação com Mahnkopf [Mah05]. Eles reconhecem que o Teorema 1.1 é uma afirmação mais fraca que o Teorema B de Mahnkopf porque não prova a equivariância de Galois da razão de valores $L diretamente, mas sim a própria algebraicidade da razão. Esta limitação é atribuída aos "métodos mais suaves" empregados, que evitam computações explícitas com vetores de Whittaker nos lugares ramificados.

O artigo também esclarece que, embora os métodos sejam apresentados para o corpo base $\mathbb{Q}$ para simplificar a teoria de representação no infinito, espera-se que as técnicas se estendam a corpos numéricos arbitrários. Os resultados mostram-se distintos do trabalho recente de Chen [Che23], que lida com representações não-unitárias induzidas de parabólicos com no máximo um componente ímpar, visto que a configuração atual do presente artigo (parabólico de tipo $(2, \dots, 2, 1)$) não decorre das suposições de Chen.

Em resumo, o artigo generaliza com sucesso a interpretação cohomológica de valores especiais de funções $L para o caso de $n$ ímpar e coeficientes não-regulares, estabelecendo a algebraicidade da razão de valores $L$ torcidos ao alavancar a racionalidade de valores $L$ de postos menores e a interpretação topológica do integral de Rankin–Selberg.