Relative Gieseker's problem on $F$-divided bundles

Resumen Técnico: El Problema de Gieseker Relativo para Fibrados F-divididos

Enunciado del Problema
El artículo aborda el comportamiento de los grupos fundamentales bajo morfismos de variedades en característica positiva, centrándose específicamente en la relación entre el grupo fundamental étale ($\pi_1^{\text{ét}}$) y el grupo fundamental $F$-dividido ($\pi_1^{\text{F-div}}$). En característica cero, Grothendieck estableció que para un morfismo $f: X \to Y$ de esquemas conexos propios, la suryectividad (o isomorfismo) del mapa en los grupos fundamentales étale implica la planaidad fiel (o isomorfismo) del mapa en los grupos fundamentales estratificados.

En característica positiva, los fibrados estratificados son equivalentes a los fibrados $F$-divididos (secuencias de fibrados vectoriales relacionados por tracciones de Frobenius). El problema central, conocido como el problema de Gieseker, pregunta si las afirmaciones análogas se cumplen para $\pi_1^{\text{F-div}}$. Específicamente, si $f: X \to Y$ es un morfismo suryectivo de variedades proyectivas normales sobre un cuerpo algebraicamente cerrado, ¿implica la suryectividad de $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ que $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ sea plana fielmente? Además, ¿implica el isomorfismo de los grupos fundamentales étale un isomorfismo de los grupos fundamentales $F$-divididos?

Resultados previos de Esnault y Mehta [EM10] y Biswas, Kumar y Parameswaran [BKP25] abordaron casos absolutos o morfismos finitos específicos, a menudo requiriendo supuestos de suavidad. Sun y Zhang [SZ25] generalizaron recientemente estos resultados a variedades normales, pero dependieron de pruebas complejas que involucraban la suavidad de la variedad objetivo $Y$. Este artículo tiene como objetivo generalizar y fortalecer estos resultados, eliminando supuestos de suavidad innecesarios donde sea posible y proporcionando un marco unificado.

Metodología
La estrategia de prueba se basa en la dualidad de Tannaka. Dado que la categoría de fibrados $F$-divididos, $\text{Vect}^{\text{perf}}(X)$, es una categoría de Tannaka, las propiedades del homomorfismo inducido en los grupos fundamentales son equivalentes a las propiedades del functor de tracción (pullback) $f^*: \text{Vect}^{\text{perf}}(Y) \to \text{Vect}^{\text{perf}}(X)$. Específicamente:

1. Planaidad Fiel: Requiere que $f^*$ sea totalmente fiel y que su imagen esencial sea cerrada bajo subobjetos.
2. Isomorfismo: Requiere que $f^*$ sea totalmente fiel y esencialmente sobreyectiva.

El artículo emplea las siguientes herramientas técnicas clave:

• Teorema de Descenso para Fibrados $F$-divididos: Los autores prueban un análogo del teorema de descenso de Bhatt y Scholze [BS17] específicamente para fibrados $F$-divididos. Esta es la innovación técnica central. Establece que un fibrado $F-dividido$ en $X$ desciende a $Y$ si y solo si es trivial en todas las fibras geométricas de $f$, siempre que $f$ tenga fibras geométricamente conexas. A diferencia del resultado de Bhatt-Scholze, que permite el descenso tras un mapa finito puramente inseparable, este resultado proporciona un único mapa de descenso para la secuencia completa de fibrados.
• Factorización de Stein: El morfismo $f$ se descompone en una parte con fibras geométricamente conexas y un homeomorfismo universal finito. El segundo induce una equivalencia de categorías (Lema 1.3), reduciendo el problema al caso donde $f$ tiene fibras geométricamente conexas.
• Morfismos Genuinamente Ramificados: Para el caso de isomorfismo, los autores utilizan la teoría de morfismos "genuinamente ramificados" (introducida en [PS10] y [BKP25]). Adaptan argumentos sobre estabilidad de pendientes y el comportamiento de los fibrados reflexivos bajo tracción al entorno de las variedades normales.
• Esquemas de Representación y Moduli: Para manejar la sobreyectividad esencial (el caso de isomorfismo), el artículo utiliza la generalización de X. Sun de los esquemas de representación de Simpson a característica positiva [Sun19]. Esto implica la construcción de espacios de moduli de fibrados vectoriales semiestables con clases de Chern numéricamente nulas y con marco (framed).
• Teorema de Hrushovski: La prueba de la sobreyectividad esencial depende del teorema de Hrushovski [Hru04] relativo a los puntos periódicos de mapas racionales. Al extender la situación a una familia sobre una base finitamente generada y analizar la acción del morfismo de Frobenius en el esquema de representación, los autores muestran que los fibrados estables con propiedades específicas de Frobenius son densos. Esto permite construir los datos de descenso necesarios.

Contribuciones Clave y Resultados

1. Teorema de Descenso (Teorema 0.4 / Teorema 2.2):
   El artículo demuestra que para un mapa propio y suryectivo $f: X \to Y$ de esquemas de tipo $F$-finito conexos con fibras geométricamente conexas, un fibrado $F$-dividido en $X$ desciende a $Y$ si y solo si es trivial en cada fibra geométrica. Este resultado es independiente del teorema de Bhatt-Scholze y es crucial para las aplicaciones posteriores.

2. Planaidad Fiel (Teorema 0.3 y Teorema 3.8):

• Teorema 0.3: Si $f: X \to Y$ es un morfismo propio suryectivo con fibras geométricamente conexas, entonces $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ es plana fielmente. Este resultado se sostiene sin asumir que $Y$ sea suave o que $X$ sea normal, siempre que las fibras sean geométricamente conexas.
• Teorema 3.8: Para variedades proyectivas normales donde $Y$ es suave y $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ es suryectiva, el mapa inducido en los grupos fundamentales $F$-divididos es plana fielmente. Este resultado generaliza trabajos previos al eliminar el requisito de que $f$ sea finito.

3. Isomorfismo (Teorema 0.2 y Teorema 3.11):

• Teorema 0.2: Si $X$ e $Y$ son variedades proyectivas normales, $Y$ es suave, y $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ es un isomorfismo, entonces $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ es un isomorfismo.
• Teorema 3.11: Bajo el supuesto adicional de $f_*\mathcal{O}_X = \mathcal{O}_Y$ (lo que implica fibras geométricamente conexas), el isomorfismo de los grupos fundamentales étale implica el isomorfismo de los grupos fundamentales $F$-divididos.
• El artículo señala que la suavidad de $Y$ es actualmente esencial para la parte del isomorfismo debido a las limitaciones en la comprensión del comportamiento de los grupos fundamentales étale bajo la extensión (spreading out) para variedades normales generales y la dependencia de los teoremas de pureza en las pruebas existentes de morfismos genuinamente ramificados.

4. Generalización de Trabajo Previo:
   Los resultados generalizan y fortalecen el trabajo reciente de Sun y Zhang [SZ25], que a su vez generalizó a Esnault-Mehta [EM10] y Biswas-Kumar-Parameswaran [BKP25]. El artículo proporciona una prueba más directa para el caso de planaidad fiel utilizando el nuevo teorema de descenso, evitando los argumentos más complejos de [SZ25].

Significancia y Reivindicaciones
El artículo afirma proporcionar una respuesta definitiva al problema de Gieseker relativo para fibrados $F$-divididos en el contexto de variedades proyectivas normales, sujeto a la suavidad del objetivo para el caso de isomorfismo. La principal significancia radica en:

• El Teorema de Descenso: Los autores presentan el análogo del teorema de descenso de Bhatt-Scholze para fibrados $F$-divididos como un resultado de interés independiente, señalando que supera las limitaciones de aplicar el teorema original directamente a la secuencia completa de fibrados.
• Eliminación de Supuestos de Suavidad: Para el resultado de planaidad fiel, el artículo logra eliminar el supuesto de que $f$ deba ser un morfismo finito o que $X$ deba ser suave, apoyándose en su lugar en la conexidad geométrica de las fibras.
• Unificación: El trabajo unifica el tratamiento de los fibrados estratificados en característica cero y los fibrados $F$-divididos en característica positiva, confirmando que la relación estructural entre los grupos fundamentales étale y "diferenciales" (estratificados/$F$-divididos) persiste en característica positiva bajo condiciones apropiadas.

Los autores declaran explícamente que la suavidad de $Y$ en el teorema de isomorfismo es una limitación actual de las técnicas de prueba (específicamente la dependencia de [BKP25] y [SZ25] para el caso genuinamente ramificado) más que una necesidad conocida del resultado en sí. También observan que la prueba de la segunda parte del Teorema 0.2 depende del teorema de Hrushovski y la acotación de las familias de fibrados semiestables, contenidos dentro de los esquemas de representación de Sun.