Relative Character Asymptotics Beyond Stability for $\mathrm{PGL}_2 \times \mathrm{GL}_1$

Resumo Técnico: Assintóticas de Caracteres Relativos Além da Estabilidade para PGL2 × GL1

1. Problema e Contexto

O artigo aborda o problema da compreensão das assintóticas de caracteres relativos para pares de representações $(\pi, \sigma)$ de grupos de Lie reais e $p$-ádicos, especificamente no caso do par simétrico $(G, H) = (PGL_2(F), GL_1(F))$, onde $F$ é um corpo local não-arquimediano (como $\mathbb{Q}_p$).

• Contexto Anterior: Trabalhos anteriores, notadamente de Nelson e Venkatesh, estabeleceram uma teoria robusta para o comportamento assintótico desses caracteres quando o par de representações está na "estabilidade". A estabilidade, neste contexto, refere-se a uma condição onde o órbita coadjunta relativa é bem-comportada (um $H$-torso) e não há "queda de condutor" (conductor dropping) significativa na função $L$ de Rankin-Selberg associada $L(s, \pi \boxtimes \sigma^\vee)$.
• O Desafio: Quando a estabilidade falha (ou seja, quando os condutores das representações interagem de tal forma que o condutor da função $L$ cai drasticamente), a geometria das órbitas coadjuntas relativas torna-se singular ou degenerada. Em casos de baixa dimensão, como o exemplo $(GL_3, GL_2)$ mencionado, pode haver infinitas órbitas, tornando impossível descrever a assintótica através de uma única órbita geométrica.
• Objetivo do Artigo: O autor busca superar a hipótese de estabilidade, fornecendo uma fórmula assintótica explícita para caracteres relativos em um regime não-estável (com queda de condutor significativa) para o par $(PGL_2, GL_1)$ no caso não-arquimediano.

2. Metodologia

A abordagem do autor combina análise harmônica não-arquimediana, teoria de representações e métodos de análise microlocal adaptados a corpos locais.

• Definição do Objeto de Estudo: O caráter relativo $H_{\pi, \chi}(a)$ é definido como uma distribuição envolvendo a soma sobre uma base ortonormal $B(\pi)$:
  $$H_{\pi, \chi}(a) = \sum_{v \in B(\pi)} \ell_\chi(\text{Op}(a)v) \overline{\ell_\chi(v)}$$
  onde $\text{Op}(a)$ é um operador integral definido por uma função teste $a$ no espaço dual da álgebra de Lie, e $\ell_\chi$ é um funcional linear invariante sob $H$ (caracterizado por um caráter $\chi$).

• Decomposição em Pacotes de Onda (Wavepackets):

  • O autor utiliza uma decomposição de funções teste $a$ em "pacotes de onda" não-arquimedianos, $a_\tau$, que são funções características de bolas no espaço dual da álgebra de Lie centradas em frequências microlocalizadas $T\tau$.
  • Isso permite reduzir o cálculo do caráter relativo para o estudo de um único pacote de onda, explorando a linearidade do operador.

• Fatoração Iwahori e Operadores $\text{Op}_\star$:

  • O grupo congruência $K(N)$ é fatorado via fatoração de Iwahori: $K(N) = K_- K_0 K_+$.
  • O operador $\text{Op}(a)$ é fatorado em operadores unidimensionais $\text{Op}_-, \text{Op}_0, \text{Op}_+$ correspondentes às direções unipotente negativa, diagonal e unipotente positiva.
  • A chave da prova é a relação de comutatividade e a ação desses operadores no modelo de Kirillov da representação $\pi$.

• Uso de Equações Funcionais Locais:

  • O cálculo da ação do elemento de Weyl $w$ (que conecta as direções unipotentes positiva e negativa) é realizado utilizando a equação funcional local para o par $GL_2 \times GL_1$.
  • O autor calcula explicitamente a ação de $\pi(w)$ sobre vetores no modelo de Kirillov, distinguindo os casos de série principal e supercuspidal.
  • O uso de fatores $\epsilon$ e $\gamma$ (fator de Gauss) é central para relacionar os funcionais $\ell_\chi$ e $\ell_{\chi^{-1}}$.

• Análise de Fase (Phase Space Integral):

  • O lado direito da fórmula assintótica é calculado como uma integral sobre uma "órbita" geométrica específica no espaço de fase (o espaço dual da álgebra de Lie).
  • O autor demonstra que, mesmo na ausência de estabilidade, a integral se restringe a uma hipérbole bem definida.

3. Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.3):
  O autor prova que, para uma representação unitária $\pi$ de $PGL_2(F)$ (série principal ou supercuspidal) e um caráter unitário $\chi$ de $GL_1(F)$, sob certas condições de suporte da função teste $a$, o caráter relativo é dado exatamente pela integral de $a$ sobre uma hipérbole específica $Hyp(\pi, \chi)$:
  $$H_{\pi, \chi}(a) = \int_{Hyp(\pi, \chi)} a(\xi) d\xi$$
  Esta fórmula é válida mesmo quando o par $(\pi, \chi)$ não é estável, ou seja, quando ocorre uma queda significativa no condutor da função $L$.

• Geometria da Hipérbole Relativa:
  Diferente do caso estável onde a órbita é suave, no caso não-estável tratado, a "órbita" geométrica que controla a assintótica é uma hipérbole definida por:
  $$Hyp(\pi, \chi) = \{(x, y, z) : x = \alpha_\chi, \quad yz = \alpha_{\pi, \chi}\}$$
  onde $\alpha_\chi$ e $\alpha_{\pi, \chi}$ são constantes relacionadas aos condutores e aos "parâmetros de fase" (derivados de somas de Gauss) das representações.

  • O autor observa que, embora a estabilidade falhe (o estabilizador não é trivial ou a órbita não é fechada), a assintótica ainda é governada por uma única variedade geométrica (a hipérbole), e não por uma soma de infinitas órbitas como em exemplos de maior rank.

• Cálculos Explícitos para Série Principal e Supercuspidal:
  O artigo fornece tabelas detalhadas (Tabela 1) que relacionam a posição das coordenadas de frequência $\tau_y$ e $\tau_z$ (se estão no anel de inteiros ou fora dele) com o valor do produto interno resultante. Isso demonstra como a "incerteza" (princípio da incerteza não-arquimediano) e os condutores interagem para determinar se a integral é zero ou não.

• Superação da Hipótese de Estabilidade:
  O resultado mostra que a teoria de Nelson-Venkatesh pode ser estendida para além do regime estável para o par $(PGL_2, GL_1)$, provando que a degenerescência geométrica não impede a existência de uma fórmula assintótica limpa baseada em uma única órbita relativa.

4. Significância e Implicações

• Avanço Teórico: O trabalho preenche uma lacuna importante na teoria de caracteres relativos, demonstrando que a "estabilidade" não é uma condição necessária para a existência de uma fórmula de órbita única em todos os casos, pelo menos para grupos de baixo rank.
• Potencial para Subconvexidade: O artigo menciona que resultados recentes de subconvexidade (como [N23]) dependem de assintóticas de caracteres relativos fora do regime estável. Embora o autor não aplique diretamente seu teorema a problemas de subconvexidade neste artigo, a metodologia desenvolvida e a fórmula assintótica obtida fornecem as ferramentas analíticas necessárias para atacar tais problemas em contextos onde o condutor da função $L$ cai.
• Método Não-Arquimediano: A prova oferece uma construção técnica robusta de análise microlocal em corpos $p$-ádicos, utilizando a fatoração de Iwahori e o modelo de Kirillov de maneira sistemática para lidar com a complexidade dos condutores.
• Conjectura Geral: O autor conjectura que, mesmo na falha de estabilidade, a assintótica de caracteres relativos deve ser governada pela órbita não-fechada com estabilizadores finitos, sugerindo uma generalização possível para outros pares simétricos, embora o exemplo de $GL_3$ (com infinitas órbitas) indique que a situação pode ser mais complexa em ranks superiores.

Em suma, o artigo estabelece um marco na compreensão da geometria espectral de pares simétricos não-estáveis, provando que a estrutura assintótica permanece controlada por uma hipérbole geométrica específica, mesmo na presença de fortes interações entre os condutores das representações.