Witt affine Springer theory

Resumo Técnico: Teoria de Springer Afim de Witt

1. Enunciado do Problema e Contexto
Este artigo aborda a extensão da teoria de Springer afim, anteriormente desenvolvida por Bouthier, Kazhdan e Varshavsky (BKV) no cenário de característica igual, para o cenário de característica mista, especificamente para o anel de vetores de Witt $W(\kappa)$, onde $\kappa$ é um corpo algebricamente fechado de característica $p$. Os autores visam construir uma resolução de Grothendieck–Springer afim e analisar sua teoria de feixes associada para grupos redutivos sobre $W(\kappa)$.

O principal obstáculo nesta transição é a falha das ferramentas geométricas padrão no contexto de característica mista. No caso de característica igual, a teoria baseia-se fortemente na geometria dos espaços de arcos sobre anéis de séries de potências. No caso de característica mista, estes são substituídos pelos espaços de arcos de vetores de Witt. Os autores observam que o espaço tangente de um esquema perfeito é trivial (zero), o que invalida os argumentos clássicos do teorema da função inversa usados em trabalhos anteriores (ex: GKM06) para computar codimensões de estratos. Além disso, os métodos geométricos globais usados em [BKV] para provar a planaridade (flatness) da morfismo de Chevalley não estão disponíveis no cenário de característica mista.

2. Metodologia e Estrutura
Para superar esses obstáculos, os autores desenvolvem um arcabouço robusto de geometria algébrica perfeita e $\infty$-stacks perfeitas.

• $\infty$-Stacks Perfeitas: Os autores definem $\infty$-stacks perfeitas como feixes no sítio étale de esquemas afins perfeitos sobre $\mathbb{F}_p$, tomando como valores a $\infty$-categoria de espaços (anima). Eles utilizam o funtor de perfeição para relacioná-las a esquemas padrão, observando que, para esquemas perfeitos, homeomorfismos universais coincidem com isomorfismos, e todos os esquemas são reduzidos.
• Estruturas Perfeitamente Plácidas: Uma inovação técnica central é a introdução de $\infty$-stacks perfeitamente plácidas e morfismos perfeitamente suaves. Estas são definidas via limites filtrados de esquemas perfeitamente finitamente apresentados e perfeitamente suaves. Isso permite que os autores lidem com objetos de dimensão infinita (como espaços de loops) enquanto mantêm controle geométrico suficiente para definir teoria de dimensão e estratificações.
• Teoria de Dimensão: Os autores estabelecem uma teoria de dimensão para estas stacks, definindo noções de morfismos fracamente equidimensionais, equidimensionais e uo-equidimensionais (universalmente abertos e equidimensionais). Crucialmente, eles provam que estas propriedades satisfazem a "Propriedade de Independência de Apresentação" (IPP), garantindo que as dimensões sejam bem definidas independentemente da apresentação de limite específica escolhida.
• Planaridade via Interpolação: Para provar a planaridade do morfismo de Chevalley entre os espaços de arcos (um pré-requisito para o teorema principal), os autores evitam métodos globais. Em vez disso, empregam uma construção de [Ban23] envolvendo uma família de espaços de arcos sobre $\mathbb{P}^1$. Esta família interpola entre os espaços de arcos de característica mista (fibras em $x \neq \infty$) e os espaços de arcos de característica igual (fibra em $x = \infty$). Ao usar um argumento de planaridade genérica, eles deduzem a planaridade no caso de característica mista a partir do conhecido caso de característica igual.

3. Contribuições Principais e Resultados

• Planaridade dos Morfismos de Chevalley (Teorema 1.4): Os autores provam que os morfismos de Chevalley entre os espaços de arcos de vetores de Witt, $\chi: L^+(g) \to L^+(c)$ e $\nu: \text{Lie}(I) \to L^+(c)$, e suas versões truncadas, são planares (flat). Este é um resultado técnico crítico que anteriormente não havia sido provado no cenário de característica mista usando as ferramentas disponíveis.
• Estratificação GKM e Codimensões: O artigo constrói uma estratificação do espaço de arcos $L^+(c)$ (a estratificação GKM) indexada por pares $(w, r)$ do grupo de Weyl afim estendido. Devido ao desaparecimento dos espaços tangentes em esquemas perfeitos, os autores não podem usar os argumentos padrão de espaço tangente para computar codimensões. Em vez disso, fornecem uma nova prova (Apêndice B) usando uma versão do teorema da função inversa para espaços de arcos para estabelecer as codimensões destes estratos.
• A Fibração de Grothendieck–Springer Afim de Witt: Os autores definem a fibração de Grothendieck–Springer afim de Witt $p: [\tilde{C}/L(G)] \to [C/L(G)]$, onde $C$ é o espaço de elementos compactos no álgebra de Lie de loop. Eles provam que este morfismo é semi-pequeno (semi-small) sobre o locus semissimples regular e pequeno (small) sobre o locus topologicamente nulo.
• t-Estruturas Perversas: O artigo desenvolve a teoria de t-estruturas perversas em $\infty$-stacks perfeitas de dimensão infinita. Eles mostram que estas estruturas são bem definidas e independentes da escolha de uma apresentação perfeitamente plácida, mesmo na ausência de uma apresentação suave canônica (que falha no cenário perfeito).
• Teorema Principal (Teorema 11.2):
  • O feixe de Grothendieck–Springer de Witt $S_\bullet$ é perverso em relação à t-estrutura construída.
  • Existe um isomorfismo natural de álgebras de endomorfismos: $\text{End}(S_\bullet) \simeq \mathbb{Q}_\ell[\tilde{W}]$, onde $\tilde{W}$ é o grupo de Weyl afim estendido.
  • A restrição do feixe ao locus topologicamente nulo também é perversa.

4. Significância e Alegações
O artigo afirma ter sucesso na generalização da correspondência de Springer afim para o cenário de característica mista, um objetivo vislumbrado em [BKV, §0.5.3]. A significância reside em:

1. Robustez Técnica: Estabelece que os resultados centrais da teoria de Springer afim (feixes perversos e ações de álgebras de Hecke) sustentam-se em característica mista, desde que se trabalhe dentro da categoria de $\infty$-stacks perfeitas.
2. Mudança Metodológica: Demonstra que o cenário "perfeito", embora careça de espaços tangentes e apresentações suaves padrão, oferece um arcabouço mais limpo para certas definições (ex: o fato de ser reduzido é automático, homeomorfismos universais são isomorfismos) e permite a recuperação de resultados clássicos via interpolação e argumentos de limite.
3. Trabalho Fundamental: O desenvolvimento da teoria de dimensão e estratificação para stacks perfeitamente plácidas fornece uma base necessária para aplicações futuras da teoria de Springer no contexto de característica mista, como o estudo de modelos locais de variedades de Shimura.

Os autores mantêm-se modestos quanto ao escopo, observando que, embora provem a planaridade do morfismo de Chevalley e a perversidade do feixe, eles não verificam a afirmação mais forte de que os estratos são "fortemente pro-perfeitamente suaves" (embora suspeitem que isso seja verdade), visto que a uo-equidimensionalidade é suficiente para o seu teorema principal. O trabalho é apresentado como uma extensão direta de [BKV], com atenção cuidadosa às divergências técnicas específicas exigidas pelo cenário de característica mista e pelo cenário perfeito.