Generic vanishing on homogeneous spaces in arbitrary characteristic

Resumen Técnico: Desvanecimiento Genérico en Espacios Homogéneos en Característica Arbitraria

Enunciado del Problema
El artículo aborda el problema de establecer un teorema de "desvanecimiento genérico" para la intersección de subvariedades afines suaves localmente cerradas dentro de un espacio homogéneo propio $X$, actuado por un grupo algebraico conexo $G$. Específicamente, los autores buscan demostrar que para un translate genérico $gW$ de una subvariedad $W$ por un elemento $g \in G$, la intersección $gW \cap Z$ satisface una desigualdad de signo específica respecto a su característica de Euler.

Mientras que Schürmann–Simpson–Wang [SSW25] demostraron este resultado en característica cero, los autores pretenden extender este teorema a un cuerpo algebraicamente cerrado arbitrario, incluyendo la característica positiva. El desafío central radica en adaptar los argumentos geométricos y cohomológicos utilizados en característica cero a contextos donde las herramientas estándar (como la teoría de Hodge o teoremas de desvanecimiento específicos que dependen de la característica cero) pueden no aplicarse directamente.

Metodología
Los autores emplean el marco de haces constructibles $\ell$-ádicos y la teoría de haces perversos. Su enfoque se basa en los siguientes pasos metodológicos clave:

1. Correspondencia de Radon: En lugar de considerar la familia de intersecciones meramente como una familia parametrizada, los autores modelan la situación como una correspondencia de Radon sobre el grupo $G$. Definen un funtor de transformada de Radon $R_W! : D^b_c(X) \to D^b_c(G)$ asociado a la correspondencia de incidencia $\Gamma_W \subset G \times X$.
2. Cambio de Base y Fórmula de Künneth: Una observación técnica crítica es que, tras un pullback suave a lo largo de un mapa de órbita $\mu_x: G \to X$, la correspondencia universal se convierte en un producto. Esta reducción permite a los autores utilizar la fórmula de Künneth, que se cumple incondicionalmente en la categoría derivada de haces constructibles con dimensión tor-finita ($D^b_c$).
3. Exactitud $t$: Los autores demuestran que la composición de la transformada de Radon con el empuje hacia adelante de un morfismo $f: Z \to X$ es $t$-exacta con respecto a la estructura $t$ perversa. Esto se logra analizando las propiedades de los morfismos involucrados (suavidad, afinidad, cuasi-finitud) y aplicando el desvanecimiento de Artin y teoremas estándar de cambio de base.
4. Límites de Soporte: Al establecer la exactitud $t$, deducen límites de soporte para el haz perverso resultante en $G$. Estos límites implican que los grupos de cohomología de las intersecciones se desvanecen genéricamente fuera de un grado específico.
5. Descenso Aritmético: Para el caso en que el cuerpo base es la clausura algebraica de un cuerpo finito $\mathbb{F}_q$, los autores descienden los resultados geométricos al nivel del cuerpo finito. Utilizan el teorema de cambio de base genérico de Deligne y la estimación de Lang–Weil para analizar las funciones de traza y el tamaño del lugar "malo" (donde falla el desvanecimiento genérico).

Contribuciones y Resultados Clave

• Teorema Principal (Desvanecimiento Genérico): El artículo demuestra que para un haz perverso $K$ sobre una subvariedad $Z$, existe un subconjunto abierto denso $U \subset G$ tal que para todo $g \in U(k)$, los grupos de cohomología con soporte compacto $H^i_c(gW, g f_Z^* g \phi_Z^* K)$ se desvanecen para $i \neq \dim W - \dim X$.
• Desigualdad de Signo: Como consecuencia, los autores establecen la desigualdad de signo:
  $$(-1)^{\dim X - \dim W + \dim Z} \chi(gW \cap Z) \geq 0$$
  para $g \in G$ genérico, donde $\chi$ denota la característica de Euler. Este resultado se cumple sobre cualquier cuerpo algebraicamente cerrado, extendiendo el resultado de característica cero de Schürmann–Simpson–Wang.
• Resolución de Conjeturas: El resultado confirma la conjetura de signo de Kumar para intersecciones triples de celdas de Schubert en característica arbitraria, una conjetura previamente conocida en característica cero solo en casos específicos o en generalidad completa mediante [SSW25].
• Consecuencias Aritméticas:
  • Identidad de Función de Traza: Sobre cuerpos finitos, la función de traza de la transformada de Radon sobre un subconjunto abierto denso de $G$ se identifica con la traza de Frobenius en un único grupo de cohomología intermedia.
  • Estimaciones de Lang–Weil: El artículo proporciona una estimación para el número de puntos en el lugar no genérico (el complemento del subconjunto abierto denso), mostrando que está acotado por $O(q^{n(\dim G - 1)})$.
  • Límites de Weil: Bajo suposiciones adicionales (específicamente, que el haz no tenga contribución de frontera en el infinito), los autores derivan un límite de Weil para las "sumas exponenciales" resultantes en las intersecciones.

Significado y Afirmaciones
Los autores posicionan este trabajo como una extensión natural de la tradición del desvanecimiento genérico, que históricamente ha tratado familias de caracteres o sistemas locales sobre soportes fijos (por ejemplo, Green–Lazarsfeld, Gabber–Loeser, Schnell, Weissauer). En contraste, este artículo trata un haz fijo con un soporte que varía por traslación.

El artículo afirma su relevancia en dos áreas principales:

1. Independencia de la Característica: Elimina la restricción a característica cero para los teoremas de desvanecimiento genérico en espacios homogéneos, utilizando la robustez de la transformada de Radon y la teoría de haces perversos en característica arbitraria.
2. Aplicaciones Aritméticas: Demuestra que el teorema de exactitud $t$ geométrico produce consecuencias aritméticas concretas, incluidas identidades de traza precisas y límites sobre sumas exponenciales sobre cuerpos finitos, sin requerir que los datos estén definidos sobre característica cero.

Los autores mantienen modestia respecto al alcance, señalando que los métodos dependen de la estructura específica de los espacios homogéneos y de la suavidad de los mapas de órbita, y no proponen nuevas aplicaciones experimentales ni direcciones futuras más allá de los refinamientos aritméticos inmediatos discutidos en la Sección 4.