Admissibility of Bernstein centers

Resumo Técnico: Admissibilidade dos Centros de Bernstein

Enunciado do Problema
O artigo aborda a questão de quando elementos do centro de Bernstein $Z(G)$ de um grupo localmente compacto totalmente desconexo $G$ correspondem a distribuições invariantes admissíveis no sentido de Harish-Chandra. Especificamente, os autores buscam um critério para determinar se um elemento $z \in Z(G)$, visto como uma distribuição invariante essencialmente compacta $f_z$, satisfaz a condição de admissibilidade. Esta condição exige que, para qualquer ponto $x \in G$, exista um subgrupo pro-$p$ compacto aberto $U_x$ tal que a convolução da distribuição com o caráter de qualquer representação irredutível de um subgrupo $U'_x \subset U_x$ seja não nula apenas se a representação possuir uma propriedade específica de vetor fixo não nulo relativa a $G$.

Os autores visam generalizar resultados existentes, particularmente os de Moy e Tadić [MT02] para o caso complexo ($k=\mathbb{C}$), para o cenário de coeficientes mod-$\ell$ (onde $k$ é um corpo algebricamente fechado de característica $\ell \neq p$) e estabelecer resultados de integrabilidade local para distribuições associadas a profundidade limitada ou suporte de Bernstein limitado em grupos redutivos $p$-ádicos.

Metodologia
O artigo emprega uma abordagem estrutural baseada na decomposição da categoria de representações suaves $R(G)$ e nas propriedades do centro de Bernstein agindo sobre essas categorias.

1. Decomposição Categórica: Os autores utilizam a decomposição da categoria de representações suaves $R(G) = R(G)^\heartsuit \oplus R(G)^\spadesuit$. Isso induz uma decomposição correspondente do centro de Bernstein $Z(G) = Z(G)^\heartsuit \oplus Z(G)^\spadesuit$.
2. Geração por Vetores Fixos: O núcleo de seu método baseia-se na identificação de subcategorias $R(G)^\heartsuit$ onde toda representação $\pi$ é gerada por seus vetores fixos sob um subgrupo pro-$p$ compacto aberto específico $U$ (ou seja, $\pi$ é gerada por $(V_\pi)^U$).
3. Critério de Admissibilidade (Teorema 2.3): Os autores provam que, se uma decomposição $R(G) = R(G)^\heartsuit \oplus R(G)^\spadesuit$ existe tal que todas as $\pi \in R(G)^\heartsuit$ são geradas por vetores fixos de $U$, então qualquer $z \in Z(G)^\heartsuit$ produz uma distribuição $U$-admissível $f_z$.
   • Mecanismo: A prova envolve mostrar que, se $f_z * \Theta_\rho \neq 0$ para uma representação irredutível $\rho$ de um subgrupo $U' \subset U$, deve existir uma representação $\pi \in R(G)^\heartsuit$ tal que $z(\pi) \neq 0$ e $\text{Hom}_{U'}(\check{\rho}, \pi) \neq 0$. Ao expressar um vetor não nulo na imagem do embutimento de $\check{\rho}$ em $\pi$ como uma soma de vetores fixos de $U$, os autores demonstram que o espaço de vetores fixos $(V_\rho)^{U' \cap gUg^{-1}}$ deve ser não nulo para algum $g \in G$, satisfazendo a definição de admissibilidade.
4. Aplicação a Grupos Redutivos: Os autores aplicam este critério geral a grupos conexos redutivos sobre corpos $p$-ádicos. Eles utilizam resultados conhecidos sobre decomposições de profundidade (Moy-Prasad) e suportes de Bernstein para identificar subcategorias específicas $R(G)^\heartsuit$ que satisfazem a propriedade de geração por vetores fixos.

Principais Contribuições e Resultados

• Critério Geral para Admissibilidade: O artigo estabelece uma condição suficiente (Teorema 2.3) para que um elemento do centro de Bernstein defina uma distribuição invariante admissível. Esta condição é puramente categórica, baseando-se na geração de representações por vetores fixos de um subgrupo compacto aberto.
• Integrabilidade Local para Profundidade Limitada: Para um grupo redutivo $G$ sobre um corpo $p$-ádico, os autores mostram que qualquer elemento $z$ no centro de Bernstein com profundidade limitada (ou seja, $z \in Z(G)_{\leq r}$) corresponde a uma distribuição admissível. Consequentemente, estas distribuições satisfazem a expansão de caráter local de Harish-Chandra e são representadas por funções localmente constantes no locus semissimples regular (Corolário 3.4).
• Integrabilidade Local para Suporte de Bernstein Limitado: Da mesma forma, para elementos com suporte de Bernstein limitado (restrição a todos, exceto um número finito de blocos de Bernstein, sendo zero), as distribuições correspondentes são admissíveis e satisfazem as mesmas propriedades de integrabilidade local (Corolário 3.5).
• Generalização Mod-$\ell$: Os resultados são válidos uniformemente tanto para coeficientes complexos ($k=\mathbb{C}$) quanto para coeficientes mod-$\ell$ ($k$ de característica $\ell \neq p$). No caso mod-$\ell$, os resultados relativos à integrabilidade local (especificamente a representação por uma função via série geométrica iterada) dependem de generalizações recentes da teoria de Harish-Chandra encontradas em [T26].

Significância e Alegações
O artigo afirma fornecer um quadro unificado para entender a admissibilidade dos centros de Bernstein, generalizando os resultados do caso complexo de Moy e Tadić [MT02].

• Novidade em Mod-$\ell$: Os autores afirmam explicitamente que os resultados para $\ell > 0$ parecem ser novos e não decorrem diretamente dos métodos usados na literatura do caso complexo.
• Provas Alternativas: No caso $\ell=0$, o artigo oferece um argumento alternativo para os principais resultados de [MT02] via decomposição de profundidade e propriedades de geração por vetores fixos.
• Escopo: Os métodos são apresentados como aplicáveis tanto a coeficientes complexos quanto mod-$\ell$, estendendo o alcance dos critérios de admissibilidade para um cenário aritmético mais amplo. Os autores também observam a expectativa de que estes resultados possam se estender para corpos locais de característica $p$ (desde que $p$ seja suficientemente grande) e para coeficientes em $\mathbb{Z}[1/p]$-álgebras com modificações, embora estas sejam apresentadas como expectativas e não como teoremas provados dentro do texto.