Nonemptiness of single affine Deligne-Lusztig varieties

Título: Não-vazios de Variedades de Deligne-Lusztig Afins Únicas

Autor: Dong Gyu Lim
Contexto: Teoria dos Números, Geometria Algébrica (Variedades de Shimura, Espaços de Shtukas).

1. O Problema

O artigo aborda o problema fundamental da não-vazios (nonemptiness) das Variedades de Deligne-Lusztig Afins Únicas (Single Affine Deligne-Lusztig Varieties - SADLVs) no nível de Iwahori.

• Contexto: Essas variedades surgem naturalmente na descrição das fibras especiais de variedades de Shimura e espaços de moduli de shtukas locais. Elas são definidas como subconjuntos de grupos de laços (loop groups) sobre corpos locais.
• Definição: Dado um grupo redutivo $G$, um elemento $b \in G(\breve{Q}_p)$ e um elemento $x$ no grupo de Weyl afim estendido ($\tilde{W}$), a variedade única é definida como:
  $$X_x(b) := \{ gI \in G(\breve{Q}_p)/I : g^{-1}b\sigma(g) \in I\dot{x}I \}$$
  onde $I$ é um subgrupo de Iwahori e $\sigma$ é o morfismo de Frobenius.
• O Desafio: Enquanto a condição de não-vazio para variedades de Deligne-Lusztig afins gerais (com estrutura de nível parahórica arbitrária) é bem compreendida (conforme a desigualdade de Mazur e o teorema de Kottwitz), o problema para as variedades únicas (nível Iwahori, que é o mais refinado) é muito mais complexo.
• Estado da Arte: Existia um critério explícito conhecido apenas sob uma condição de "genericidade" chamada câmaras de Weyl encolhidas (shrunken Weyl chambers), estabelecido por Görtz, He e Nie (Teorema GHN B). Fora dessas câmaras (nas "faixas críticas" ou critical strips), não havia nenhum critério explícito conhecido, nem mesmo conjecturalmente.

2. Metodologia

O autor desenvolve uma nova abordagem combinatória e geométrica baseada na estrutura do grupo de Weyl afim e na ação de $\sigma$ sobre as raízes.

• Redução de Caso: O problema é reduzido ao caso onde $G$ é simples, quasi-split e de tipo adjunto.
• Novo Conjunto $W_x$: A inovação central do trabalho é a introdução de um conjunto $W_x \subset W_0$ (subgrupo de Weyl finito). Este conjunto é definido de forma a "embeber" o elemento $x$ (que pode estar em uma faixa crítica) nas câmaras de Weyl encolhidas adjacentes.
  • Intuitivamente, se $x$ está em uma faixa crítica, ele pode ser visto como pertencendo a múltiplas câmaras encolhidas adjacentes. O conjunto $W_x$ contém os elementos que realizam essas "embebições".
• Análise de Subconjuntos de Raízes: O autor utiliza propriedades de subconjuntos fechados e radicais de sistemas de raízes (baseado em [DCH94]) para caracterizar a posição de $x$ em relação às faixas críticas.
• Condição de Suporte $\sigma$: O critério propõe que a não-vazios depende de verificar se o suporte $\sigma$ de certas conjugações de um elemento chave $\eta_\sigma(x)$ (definido por Reuman) é o conjunto completo de reflexões simples $S$, para todos os elementos $r \in W_x$.

3. Contribuições Chave e Resultados Principais

A. A Nova Conjectura (Conjectura 1.2)

O autor propõe um critério explícito geral para a não-vazios de $X_x(b)$ no caso básico ($b$ é básico), assumindo que as obstruções óbvias (mapa de Kottwitz $\kappa_G(x) = \kappa_G(b)$) e de suporte ($\hat{\text{supp}}_\sigma(x) = \tilde{S}$) sejam satisfeitas.

A Condição:
$$X_x(b) \neq \emptyset \iff \text{supp}_\sigma(\sigma^{-1}(r)\eta_\sigma(x)r^{-1}) = S \quad \forall r \in W_x$$

B. Teorema Principal (Teorema 1.3)

O autor prova a conjectura acima, com exceção de um número finito de casos (elementos de comprimento pequeno).

1. Direção "Se" ($\Leftarrow$): Provada em geral (Teorema 3.10). Se a condição de suporte for satisfeita para todos $r \in W_x$, então a variedade é não vazia.
2. Direção "Apenas Se" ($\Rightarrow$): Provada para quase todos os casos (comprimento $\ell(x)$ suficientemente grande).
   • A prova é completa para:
     • Elementos em exatamente uma faixa crítica.
     • Elementos de translação ou da forma $v t_\mu$.
     • Grupos do tipo $A_n$ sob condições específicas de coeficientes dominantes.

C. Refinamento do Critério GHN A

O trabalho mostra que o critério abstrato anterior (GHN A), que exigia verificar um número infinito de pares $(J, w)$, pode ser substituído por uma verificação finita e explícita usando o conjunto $W_x$ e o teste de suporte $\sigma$.

D. Aplicações e Fórmulas de Dimensão

• Elementos Cordiais: O autor aplica o resultado para descrever completamente o conjunto $B(G)_x$ (o conjunto de classes de $\sigma$-conjugação que intersectam $I\dot{x}I$) para elementos cordiais, provando que esse conjunto é "saturado".
• Fórmula de Dimensão: O artigo discute uma nova fórmula conjectural para a dimensão de $X_x(b)$ fora das câmaras encolhidas, utilizando uma relação recursiva. Para o caso de uma única faixa crítica em grupos de posto 2, uma fórmula explícita é derivada (Teorema 1.10).

4. Significado e Impacto

• Generalização: O trabalho remove a restrição das "câmaras de Weyl encolhidas", que limitava a aplicabilidade dos resultados anteriores a uma fração dos elementos do grupo de Weyl afim.
• Explicitação: Transforma um problema que dependia de condições abstratas e difíceis de verificar (GHN A) em um critério computacional e explícito baseado na estrutura combinatória do grupo de Weyl.
• Conexão com Outros Trabalhos: O conjunto $W_x$ introduzido por Lim é relacionado (e complementar) ao conjunto "length-positive" definido recentemente por Felix Schremmer, sugerindo uma estrutura profunda subjacente à geometria das variedades de Deligne-Lusztig.
• Ferramenta para Variedades de Shimura: Ao resolver o problema de não-vazios no nível Iwahori (o mais refinado), o artigo fornece ferramentas cruciais para entender a estrutura geométrica e os pontos racionais de fibras especiais de variedades de Shimura e espaços de Rapoport-Zink.

Conclusão

Dong Gyu Lim estabelece um critério quase completo e explícito para determinar quando as variedades de Deligne-Lusztig afins únicas no nível Iwahori são não vazias. A introdução do conjunto $W_x$ e a prova de que a condição de suporte $\sigma$ deve ser satisfeita para todos os elementos desse conjunto representam um avanço significativo na teoria, unificando casos conhecidos e resolvendo novos casos críticos que antes eram desconhecidos.