Character Sheaves on Reductive Lie Algebras in Positive Characteristic

Resumo Técnico: Feixes de Caráter em Álgebras de Lie Redutivas em Característica Positiva

Enunciado do Problema
O artigo aborda a classificação e caracterização de feixes de caráter em álgebras de Lie redutivas $\mathfrak{g}$ sobre um corpo algebricamente fechado $k$ de característica positiva $p$ suficientemente grande. Embora a teoria dos feixes de caráter tenha sido estabelecida por Lusztig para corpos finitos e por Mirković para álgebras de Lie complexas (usando $D$-módulos), uma caracterização microlocal completa em característica positiva para feixes $\ell$-ádicos permaneceu um problema em aberto. Especificamente, o artigo busca provar o análogo do teorema de Mirković: que um feixe perverso equivariante sob $G$ é um feixe de caráter se, e somente se, possui suporte singular nilpotente e é quase-admissível. Além disso, o artigo visa fornecer provas geométricas em característica positiva para a equivalência entre feixes admissíveis e de caráter, bem como para diversas caracterizações de feixes cuspidais.

Metodologia
O autor emprega uma abordagem geométrica utilizando a estratificação de Lusztig da álgebra de Lie $\mathfrak{g}$. A estratificação decompõe $\mathfrak{g}$ em subvariedades suaves localmente fechadas $S_{(L,O)} = G(Z_r(\mathfrak{l}) + \mathcal{O})$, indexadas por pares $(L, \mathcal{O})$, onde $L$ é um subgrupo de Levi e $\mathcal{O}$ é uma órbita nilpotente em $\mathfrak{l}$.

Ferramentas metodológicas principais incluem:

1. Indução e Restrição Parabólica: O artigo utiliza os funtores $\text{Ind}_P^G$ e $\text{Res}_P^G$ para relacionar feixes em $\mathfrak{g}$ com feixes em subálgebras de Levi $\mathfrak{l}$.
2. Análise Microlocal: O estudo do suporte singular ($SS$) e dos ciclos característicos é central. O autor baseia-se na compatibilidade dos ciclos característicos com a transformada de Fourier para feixes $\ell$-ádicos monodrômicos (estabelecida em [Zho24]) para lidar com o contexto de característica positiva.
3. Transversalidade Própria: Uma inovação técnica crucial envolve a prova de um resultado de transversalidade própria. Isso garante que o suporte singular de um pullback seja igual ao pullback do suporte singular, uma propriedade não garantida imediatamente no contexto de característica positiva usando os argumentos originais de Mirković.
4. Princípio de Contração: Utilizado para analisar as restrições de feixes a estratos específicos e para estabelecer condições de transversalidade para a inclusão das partes regulares do centro.

Principais Contribuições e Resultados

1. Caracterização Microlocal (Teorema 5.1):
   O principal resultado estabelece que, para um grupo redutivo conexo $G$ sobre um corpo de característica positiva $p$ suficientemente grande, um feixe perverso irreducible $G$-equivariante $\mathcal{F}$ em $\mathfrak{g}$ é um feixe de caráter se, e somente se:

   • $\mathcal{F}$ possui suporte singular nilpotente (ou seja, $SS(\mathcal{F}) \subseteq \mathfrak{g} \times \mathcal{N}_{\mathfrak{g}}$).
   • $\mathcal{F}$ é quase-admissível (significando que sua restrição a cada estrato $S_{(L,O)}$ assume uma forma específica envolvendo feixes de Artin-Schreier e sistemas locais sobre a órbita nilpotente).

2. Equivalência de Admissibilidade e Feixes de Caráter (Teorema 4.4):
   O artigo prova que um feixe perverso irredutível é admissível (definido como um constituinte irredutível da indução parabólica de um feixe cuspidal) se, e somente se, é um feixe de caráter.

   • Novidade: A prova utiliza um argumento de indução sobre os subgrupos de Levi. O autor observa que a prova original de Mirković dependia de uma afirmação sobre a irredutibilidade de uma restrição de sistema local específica, a qual o autor não pôde verificar neste contexto.

3. Caracterização de Feixes Cuspidais (Teorema 4.1):
   Para $G$ semissimples, o artigo fornece condições equivalentes para um feixe ser cuspidal:

   • Ele é suportado no cone nilpotente $\mathcal{N}_{\mathfrak{g}}$ e possui suporte singular nilpotente.
   • Ele é um feixe de caráter e é orbital (suportado no fechamento de uma única órbita).
   • Tanto o feixe quanto sua transformada de Fourier são suportados no cone nilpotente.
   • Novidade: Esta caracterização era conhecida apenas sobre $\mathbb{C}$. A prova em característica positiva baseia-se na compatibilidade dos ciclos característicos e das transformadas de Fourier para feixes monodrômicos.

4. Provas Geométricas em Característica Positiva:
   O artigo fornece provas geométricas detalhadas para teoremas originalmente devidos a Lusztig (para corpos finitos) e Mirković (para $\mathbb{C}$), adaptando especificamente os argumentos para o cenário de feixes $\ell$-ádicos em característica positiva. Isso inclui provas relativas ao comportamento da indução/restrição parabólica com respeito a feixes orbitais ou de caráter.

Significância e Alegações
O artigo afirma preencher uma lacuna na teoria dos feixes de caráter ao estender a caracterização microlocal de Mirković para a característica positiva. O autor afirma explicitamente que a principal novidade reside na prova da direção "se" da caracterização microlocal, que requer novos argumentos geométricos (transversalidade própria), pois o argumento original de Mirković para a análise do suporte singular não se transfere diretamente para o cenário $\ell$-ádico em característica positiva.

Além disso, o artigo serve como uma verificação rigorosa e uma expansão das provas geométricas encontradas em [Mir04], realizadas inteiramente dentro do arcabouço de feixes $\ell$-ádicos em característica positiva. O autor nota modestamente que, embora os resultados (exceto pela caracterização microlocal específica de feixes cuspidais em característica positiva) não sejam novos em termos de suas afirmações finais, o artigo fornece os detalhes e correções necessários para as provas geométricas neste cenário específico, abordando particularmente lacunas na verificação de certas afirmações de irredutibilidade feitas na literatura anterior.