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

Resumen Técnico: Sobre la estabilidad de los ciclos evanescentes de haces étale en característica positiva

Planteamiento del Problema
En el contexto analítico complejo, la teoría de haces microlocales (desarrollada por Sato, Kashiwara y Schapira) depende fuertemente de la estabilidad de los ciclos evanescentes con respecto a la elección de "funciones de prueba transversas" (ttfun). Específicamente, la microvástago (microstalk) en un punto suave del soporte singular ($SSF$) está bien definido porque el functor de ciclos evanescentes $\phi_f(F)_x$ es independiente de la elección de la función de prueba transversa $f$ (salvo isomorfismo no canónico).

En la geometría algebraica de característica positiva, esta estabilidad falla completamente debido a la ramificación salvaje. El artículo demuestra que la dimensión del ciclo evanescente $\phi_f(F)_x$ puede variar significativamente dependiendo de la función de prueba específica elegida, incluso si las funciones son transversas al soporte singular. Esta sensibilidad impide una definición directa de microvástagos en el entorno de la característica positiva. El problema central abordado es: ¿Hasta qué punto dependen los ciclos evanescentes de la función de prueba en característica positiva, y se puede recuperar una noción estable de datos microlocales?

Metodología
El autor emplea una combinación de técnicas de geometría algebraica, teoría de representaciones y teoría de haces:

1. Teorema de Deligne-Laumon: El artículo utiliza el teorema que relaciona la dimensión total de los ciclos evanescentes con el conductor de Swan. Esto permite la traslación de la estabilidad de los ciclos evanescentes a la estabilidad de los conductores de Swan de las restricciones a curvas.
2. Resolución Geométrica de Singularidades: Para analizar los conductores de Swan, el autor estudia la geometría de los lugares cero de las funciones de prueba que intersectan los divisores de ramificación. Esto implica una resolución de singularidades explícita mediante el uso de blow-ups (centrados).
3. Límites de Blow-up e Invariantes: El autor introduce y acota invariantes relacionados con la "profundidad" (depth) del haz. Las herramientas clave incluyen:
   • El cálculo del conductor de Swan vía números de intersección y datos de la teoría de representaciones (filtración del grupo de Galois).
   • Límites de blow-up: Estimación del número de blow-ups requeridos para resolver las singularidades de las curvas definidas por funciones de prueba y su interacción con los loci de puntos fijos de las acciones de Galois.
   • Diferentes de Dedekind: Utilizados para acotar el número de blow-ups necesarios para resolver singularidades en el contexto de recubrimientos de Galois (Proposición 3.8, atribuida a Bernd Ulrich).
4. Definiciones Microlocales: El artículo define la profundidad (depth) de un haz en un punto de su soporte singular como el menor entero $N$ tal que el ciclo evanescente se convierte en un sistema local para cualquier familia de funciones de prueba que concuerden hasta el $N$-ésimo jet. También introduce los haces $\mu_c$ (profundidad 2 en todas partes) y los haces $\mu_{cs}$ (estables bajo tracciones suaves).

Contribuciones Clave y Resultados

1. Fallo de la Estabilidad en General:
   El artículo proporciona contraejemplos explícitos (Ejemplos 2.7 y 2.8) que muestran que, para haces de Artin-Schreier en característica positiva, la dimensión de los ciclos evanescentes depende de la función de prueba. Específicamente, para las funciones $f_s = \frac{y}{1+x} + s x^N$, la dimensión de $\phi_{f_s}(F)$ varía con $s$ si $N$ es pequeño, pero se estabiliza para un $N$ grande. Esto confirma que los ciclos evanescentes dependen únicamente de un jet finito de la función de prueba.

2. Profundidad Finita Genérica en Superficies (Teorema 1.8 / Teorema 4.11):
   El resultado principal establece que, en una superficie suave sobre un cuerpo algebraicamente cerrado de característica $p > 2$, la profundidad de un haz es genéricamente finita.

   • Existe un subconjunto denso abierto de Zariski $V \subset X$ y un subconjunto denso abierto de Zariski $S \subset SS(F|_V)$ tales que para cada $(x, \xi) \in S$, la profundidad está acotada por un entero $N$ explícito.
   • El límite $N$ viene dado en términos del número de intersección de la función de prueba con el divisor de ramificación, el orden del grupo de Galois y el "espesor" ($ep(I)$) de los ideales de puntos fijos bajo la acción de Galois.
   • Si el haz es localmente constante cerca de $x$, la profundidad es 2.

3. Conjetura sobre Dimensiones Superiores:
   El autor conjetura (Conjetura 1.10) que esta propiedad de profundidad finita se mantiene para variedades suaves de cualquier dimensión, no solo para superficies.

4. La Clase de los Haces $\mu_c$ y $\mu_{cs}$:
   El artículo define una clase de haces con la estabilidad más fuerte posible:

   • Haces $\mu_c$: Haces con profundidad 2 en todos los puntos suaves de su soporte singular.
   • Haces $\mu_{cs}$: Haces que permanecen $\mu_c$ tras cualquier tracción (pullback) suave.
   • Teorema Principal (Teorema 1.11):
     • Los haces de tipo normal transversal simples y tasos (específicamente $j_!L$ donde $L$ es un sistema local taso en el complemento de un divisor de normalidad transversal simple) son $\mu_{cs}$.
     • Para los haces $\mu_c$, los ciclos evanescentes son independientes de la función de prueba (salvo isomorfismo), permitiendo la definición de un microvástago (microstalk).
     • La propiedad de ser $\mu_{cs}$ se preserva bajo la transformada de Radon, y los microvástagos son invariantes bajo dicha transformada.

5. Functorialidad y Estabilidad:
   El artículo establece que la profundidad se comporta bien bajo triángulos distinguidos (Lema 5.13) y bajo ciertas tracciones directas propias (proper pushforwards) específicas (Proposición 5.10), particularmente aquellas que se asemejan a la transformada de Radon. También aclara que, si bien los haces tasos no son estables bajo la transformada de la Radon (Ejemplo 5.18), la clase más amplia de haces $\mu_{cs}$ sí lo es.

Significado y Reivindicaciones
El artículo afirma proporcionar el primer paso sistemático hacia una teoría de haces microlocales en característica positiva.

• Motivación: Aborda el vacío dejado por el fallo de la estabilidad microlocal clásica debido a la ramificación salvaje.
• Marco Teórico: Al demostrar que los ciclos evanescentes dependen solo de un jet finito de la función de prueba (genéricamente en superficies), el artículo sugiere que los datos microlocales pueden definirse en un "haz de jets superiores" en lugar de simplemente en el haz cotangente.
• Clase Robusta de Haces: La identificación de los haces $\mu_{cs}$ ofrece una clase de objetos que se comportan de manera similar a los del entorno analítico complejo, preservando propiedades clave como la invarianza de los microvástagos bajo la transformada de Radon.
• Limitaciones: El autor es modesto, señalando que el resultado de profundidad finita está probado actualmente solo para superficies y que los límites explícitos, aunque finitos, pueden no ser agudos (Ejemplo 4.12). El artículo no pretende haber resuelto el problema para todos los haces en todas las dimensiones, sino que establece el caso genérico en superficies y propone una conjetura general.

En resumen, el artículo argumenta que, si bien la ramificación salvaje destruye la independencia estricta de los ciclos evanescentes respecto a las funciones de prueba, existe una estabilidad de "jet finito" de forma genérica. Esto permite la definición de una teoría microlocal significativa para una clase específica y bien comportada de haces ($\mu_{cs}$) y sugiere un camino a seguir para la teoría general mediante el uso de haces de jets superiores.