On Arthur packets containing a fixed tempered representation

1. O Problema Central

O artigo aborda um problema fundamental no Programa de Langlands local para grupos $p$-ádicos clássicos (especificamente formas puras internas de grupos ortogonais e simpléticos quasi-split).

• Contexto: A correspondência de Langlands local parametriza classes de equivalência de representações irredutíveis admissíveis complexas. Arthur introduziu os pacotes de Arthur locais ($\Pi_\psi$), que são conjuntos finitos de representações associadas a um parâmetro de Arthur $\psi$.
• A Questão: Os pacotes de Arthur frequentemente têm interseções não triviais. O problema principal (Problema 1.1) é: Dada uma representação tempered irredutível fixa $\pi$, quantos pacotes de Arthur locais contêm $\pi$?
• Motivação: Resolver este problema é crucial para entender a estrutura das interseções de pacotes e tem aplicações diretas na construção de exemplos de parâmetros de Arthur não relevantes que contribuem para multiplicidades não nulas em conjecturas de Gan-Gross-Prasad. Resultados anteriores (como os de Mœglin) resolveram o caso onde $\pi$ é supercuspidal, mas uma fórmula geral e uniforme para representações tempered era desconhecida.

2. Metodologia e Ferramentas Teóricas

Os autores utilizam uma abordagem combinatória baseada na parametrização dos pacotes de Arthur via segmentos estendidos (extended multi-segments).

• Parametrização por Segmentos Estendidos: Eles utilizam o trabalho de Atobe, Mœglin e outros, onde os elementos de um pacote de Arthur $\Pi_\psi$ são parametrizados por um conjunto de segmentos estendidos $E$. O problema de contar os pacotes que contêm $\pi$ é reduzido a contar quantos segmentos estendidos $E'$ (equivalentes a um segmento inicial $E$ associado a $\pi$) geram o mesmo $\pi$.
• Operadores de Interseção: A teoria das interseções de pacotes de Arthur é governada por operadores combinatórios específicos:
  • Troca de Linhas (Row Exchange - $R_k$): Reordena os segmentos.
  • União-Interseção ($u_{ik}$): Combina ou separa segmentos adjacentes.
  • Operador Dual ($dual$): Relaciona-se com o dual de Aubert-Zelevinsky.
  • Operadores de Elevação (Raising Operators): Incluem composições como $dual \circ u_i \circ dual$ e inversos de $u_{i-1}$. Dois segmentos são equivalentes (pertencem ao mesmo pacote) se relacionados por uma composição finita desses operadores.
• Decomposição em Blocos: A inovação metodológica central é a decomposição de um segmento estendido temperado (suportado em inteiros) em blocos disjuntos. Um bloco é definido por propriedades específicas de suporte e sinais alternados.
• Redução Combinatória: O problema global é reduzido ao estudo de:
  1. O comportamento de um único bloco sob os operadores.
  2. A interação (ou falta dela) entre blocos adjacentes.

3. Contribuições Principais e Resultados

O artigo fornece uma fórmula recursiva completa para contar o número de pacotes de Arthur contendo uma representação tempered, sob a condição de que o segmento estendido associado esteja suportado inteiramente nos inteiros.

A. Teorema de Contagem para Blocos (Teorema 3.6)

Os autores determinam o número de parâmetros de Arthur associados a um único bloco $B$. O resultado depende se o bloco começa na coluna 0 ou não, e da multiplicidade das colunas adjacentes ao final do bloco ($c_{max}$).

• Seja $B'$ o bloco obtido removendo a última coluna e $B''$ removendo as duas últimas.
• Se o bloco começa em 0 ($c_{min}=0$):
  • Se a multiplicidade da penúltima coluna é 1: $|\Psi(\pi(B))| = 3 \cdot |\Psi(\pi(B'))|$.
  • Se a multiplicidade é ímpar e $\ge 3$: $|\Psi(\pi(B))| = 4 \cdot |\Psi(\pi(B'))| - |\Psi(\pi(B''))|$.
• Se o bloco começa em $c_{min} > 0$:
  • Se a multiplicidade da penúltima coluna é 1: $|\Psi(\pi(B))| = 2 \cdot |\Psi(\pi(B'))|$.
  • Se a multiplicidade é ímpar e $\ge 3$: $|\Psi(\pi(B))| = 3 \cdot |\Psi(\pi(B'))| - |\Psi(\pi(B''))|$.

B. Teorema de Contagem para Representações Temperadas (Teorema 3.7 / 7.14)

Para uma representação temperada $\pi$ associada a um segmento estendido $E$ que se decompõe em blocos $B_1, \dots, B_k$:
$$|\Psi(\pi(E))| = |\Psi(\pi(B_1))| \cdot \prod_{i=2}^{k} |\Psi(\pi(sh_1(B_i)))|$$
Onde $sh_1(B_i)$ denota o bloco $B_i$ deslocado para que não comece em zero (tratado como um bloco que "não começa em zero").

C. Independência dos Blocos (Seção 7)

Um resultado técnico crucial é a Proposição 7.13, que prova que os operadores de elevação (que geram a equivalência entre segmentos) atuam localmente em cada bloco.

• Não há operadores que misturem linhas de blocos diferentes de forma a alterar a contagem global além do produto das contagens individuais.
• Isso permite que o problema global seja fatorado em problemas independentes para cada bloco.

4. Significado e Impacto

• Generalização de Resultados Anteriores: O trabalho generaliza o resultado de Mœglin para o caso supercuspidal. Enquanto Mœglin mostrou que representações supercuspidais aparecem no número máximo possível de pacotes, este artigo fornece uma fórmula recursiva precisa para uma classe ampla de representações tempered.
• Ferramenta para Conjecturas de Gan-Gross-Prasad: Os autores mencionam que este resultado será utilizado em um artigo futuro ([10]) para estudar o número de pacotes de Arthur contendo o levantamento theta (theta lift) de representações temperadas. Isso é vital para entender as multiplicidades não nulas em conjecturas de Gan-Gross-Prasad para casos não temperados.
• Abordagem Combinatória Rigorosa: O artigo estabelece uma estrutura combinatória robusta (via dados $S$, dados $T$, e a classificação de tipos de fronteiras entre blocos) para lidar com as complexas interações de operadores de Arthur, oferecendo um algoritmo claro para computação.
• Limitações e Futuro: O resultado atual cobre o caso onde o suporte está nos inteiros. Os autores notam que o caso de "meios-inteiros" (half-integers) permanece aberto, embora esperem que as técnicas desenvolvidas aqui sejam adaptáveis, exigindo a consideração de um operador adicional (o "partial dual").

Em resumo, o artigo resolve um problema de contagem combinatória complexo na teoria de representações de grupos $p$-ádicos, fornecendo uma fórmula recursiva explícita baseada na decomposição de segmentos estendidos em blocos, com implicações diretas para a teoria de correspondências de Langlands e conjecturas de multiplicidade.