On the stability of vanishing cycles of étale sheaves in positive characteristic

Resumo Técnico: Sobre a estabilidade dos ciclos de vanishing de feixes étale em característica positiva

Enunciado do Problema
No contexto analítico complexo, a teoria de feixes microlocais (desenvolvida por Sato, Kashiwara e Schapira) baseia-se fortemente na estabilidade dos ciclos de vanishing (vanishing cycles) em relação à escolha de "funções de teste transversais" (transverse test functions - ttfun). Especificamente, o micro-haste (microstalk) em um ponto suave do suporte singular ($SS$) é bem definido porque o funtor de ciclos de vanishing $\phi_f(F)_x$ é independente da escolha da função de teste $f$ (até um isomorfismo não canônico).

Na geometria algébrica de característica positiva, essa estabilidade falha completamente devido à ramificação selvagem (wild ramification). O artigo demonstra que a dimensão do ciclo de vanishing $\phi_f(F)_x$ pode variar significativamente dependendo da função de teste específica escolhida, mesmo que as funções sejam transversais ao suporte singular. Essa sensibilidade impede uma definição direta de micro-hastes no cenário de característica positiva. O problema central abordado é: Até que ponto os ciclos de vanishing dependem da função de teste em característica positiva e é possível recuperar uma noção estável de dados microlocais?

Metodologia
O autor emprega uma combinação de técnicas de geometria algébrica, teoria de representação e teoria de feixes:

1. Teorema de Deligne-Laumon: O artigo utiliza o teorema que relaciona a dimensão total dos ciclos de vanishing com o condutor de Swan (Swan conductor). Isso permite a tradução da estabilidade dos ciclos de vanishing para a estabilidade dos condutores de Swan de restrições a curvas.
2. Resolução Geométrica de Singularidades: Para analisar os condutores de Swan, o autor estuda a geometria dos loci de zeros das funções de teste que interceptam divisores de ramificação. Isso envolve resolução explícita de singularidades via blow-ups.
3. Limites de Blow-up e Invariantes: O autor introduz e limita invariantes relacionados à "profundidade" (depth) do feixe. As ferramentas principais incluem:
   • A computação do condutor de Swan via números de interseção e dados de representação teórica (filtração do grupo de Galois).
   • Limites de blow-up: Estimação do número de blow-ups necessários para resolver as singularidades de curvas definidas por funções de teste e sua interação com loci de pontos fixos de ações de Galois.
   • Diferentes de Dedekind: Usados para limitar o número de blow-ups necessários para resolver singularidades no contexto de coberturas de Galois (Proposição 3.8, atribuída a Bernd Ulrich).
4. Definições Microlocais: O artigo define a profundidade (depth) de um feixe em um ponto de seu suporte singular como o menor inteiro $N$ tal que o ciclo de vanishing se torna um sistema local para qualquer família de funções de teste que concordem até o $N$-ésimo jato (jet). O autor também introduz os feixes $\mu_c$ (profundidade 2 em toda parte) e os feixes $\mu_{cs}$ (estáveis sob pullbacks suaves).

Principais Contribuições e Resultados

1. Falha da Estabilidade em Geral:
   O artigo fornece contraexemplos explícitos (Exemplos 2.7 e 2.8) mostrando que, para feixes de Artin-Schreier em característica positiva, a dimensão dos ciclos de vanishing depende da função de teste. Especificamente, para funções $f_s = \frac{y}{1+x} + s x^N$, a dimensão de $\phi_{f_s}(F)$ varia com $s$ se $N$ for pequeno, mas estabiliza para $N$ grande. Isso confirma que os ciclos de vanishing dependem apenas de um jato finito da função de teste.

2. Profundidade Finita Genérica em Superfícies (Teorema 1.8 / Teorema 4.11):
   O principal resultado estabelece que, em uma superfície suave sobre um corpo algebricamente fechado de característica $p > 2$, a profundidade de um feixe é genericamente finita.

   • Existe um subconjunto denso de Zariski $V \subset X$ e um subconjunto denso de Zariski $S \subset SS(F|_V)$ tais que, para cada $(x, \xi) \in S$, a profundidade é limitada por um inteiro $N$ explícito.
   • O limite $N$ é dado em termos do número de interseção da função de teste com o divisor de ramificação, a ordem do grupo de Galois e a "espessura" ($ep(I)$) dos ideais de pontos fixos sob a ação de Galois.
   • Se o feixe é localmente constante próximo a $x$, a profundidade é 2.

3. Conjectura sobre Dimensões Superiores:
   O autor conjectura (Conjectura 1.10) que essa propriedade de profundidade finita se mantém para variedades suaves de qualquer dimensão, não apenas superfícies.

4. A Classe de Feixes $\mu_c$ e $\mu_{cs}$:
   O artigo define uma classe de feixes com a mais forte possível estabilidade:

   • Feixes $\mu_c$: Feixes com profundidade 2 em todos os pontos suaves de seu suporte singular.
   • Feixes $\mu_{cs}$: Feixes que permanecem $\mu_c$ após qualquer pullback suave.
   • Teorema Principal (Teorema 1.11):
     • Feixes de interseção normal simples tame (especificamente $j_!L$ onde $L$ é um sistema local tame no complemento de um divisor de interseção normal simples) são $\mu_{cs}$.
     • Para feixes $\mu_c$, os ciclos de vanishing são independentes da função de teste (até um isomorfismo), permitindo a definição de uma micro-haste (microstalk).
     • A propriedade de ser $\mu_{cs}$ é preservada pela transformada de Radon, e as micro-hastes são invariantes sob essa transformada.

5. Functorialidade e Estabilidade:
   O artigo estabelece que a profundidade se comporta bem sob triângulos distinguidos (Lema 5.13) e pushforwards próprios específicos (Proposição 5.10), particularmente aqueles que se assemelham à transformada de Radon. Também esclarece que, embora os feixes tame não sejam estáveis sob a transformada de Radon (Exemplo 5.18), a classe mais ampla de feixes $\mu_{cs}$ o é.

Significância e Alegações
O artigo afirma fornecer o primeiro passo sistemático em direção a uma teoria de feixes microlocais em característica positiva.

• Motivação: Aborda a lacuna deixada pela falha da estabilidade microlocal clássica devido à ramificação selvagem.
• Estrutura Teórica: Ao provar que os ciclos de vanishing dependem apenas de um jato finito da função de teste (genericamente em superfícies), o artigo sugere que os dados microlocais podem ser definidos em um "feixe de jatos superiores" (higher jet bundle) em vez de apenas no fibrado cotangente.
• Classe Robusta de Feixes: A identificação dos feixes $\mu_{cs}$ oferece uma classe de objetos que se comportam de forma semelhante aos objetos do cenário analítico complexo, preservando propriedades fundamentais como a invariância das micro-hastes sob a transformada de Radon.
• Limitações: O autor é modesto, observando que o resultado de profundidade finita é atualmente provado apenas para superfícies e que os limites explícitos, embora finitos, podem não ser agudos (Exemplo 4.12). O artigo não pretende ter resolvido o problema para todos os feixes em todas as dimensões, mas estabelece o caso genérico em superfícies e propõe a conjectura geral.

Em resumo, o artigo argumenta que, embora a ramificação selvagem destrua a independência estrita dos ciclos de vanishing em relação às funções de teste, uma estabilidade de "jato finito" existe genericamente. Isso permite a definição de uma teoria microlocal significativa para uma classe específica e bem comportada de feixes ($\mu_{cs}$) e sugere um caminho a seguir para a teoria geral via feixes de jatos superiores.