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

Resumo Técnico: O Problema de Gieseker Relativo para Feixes $F$-divididos

Enunciado do Problema
O artigo aborda o comportamento dos grupos fundamentais sob morfismos de variedades em característica positiva, focando especificamente na relação entre o grupo fundamental étale ($\pi_1^{\text{ét}}$) e o grupo fundamental $F$-dividido ($\pi_1^{\text{F-div}}$). Em característica zero, Grothendieck estabeleceu que, para um morfismo $f: X \to Y$ de esquemas conexos próprios, a surjetividade (ou isomorfismo) do mapa nos grupos fundamentais étales implica a planação fiel (ou isomorfismo) do mapa nos grupos fundamentais estratificados.

Em característica positiva, feixes estratificados são equivalentes a feixes $F$-divididos (sequências de fibrados vetoriais relacionados por pullbacks de Frobenius). O problema central, conhecido como o problema de Gieseker, questiona se as afirmações análogas se sustentam para $\pi_1^{\text{F-div}}$. Especificamente, se $f: X \to Y$ é um morfismo sobrejetivo de variedades projetivas normais sobre um corpo algebricamente fechado de característica positiva, a surjetividade de $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ implica que $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ é fielmente plana? Além disso, o isomorfismo de grupos fundamentais étales implica um isomorfismo de grupos fundamentais $F$-divididos?

Resultados anteriores de Esnault e Mehta [EM10] e Biswas, Kumar e Parameswaran [BKP25] abordaram casos absolutos ou morfismos finitos específicos, frequentemente exigindo suposições de suavidade. Sun e Zhang [SZ25] generalizaram recentemente esses resultados para variedades normais, mas basearam-se em provas complexas envolvendo a suavidade do alvo $Y$. Este artigo visa generalizar e fortalecer esses resultados, removendo suposições de suavidade desnecessárias sempre que possível e fornecendo um arcabouço unificado.

Metodologia
A estratégia de prova baseia-se na dualidade de Tannaka. Uma vez que a categoria de feixes $F$-divididos, $\text{Vect}^{\text{perf}}(X)$, é uma categoria de Tannaka, as propriedades do homomorfismo induzido nos grupos fundamentais são equivalentes às propriedades do funtor de pullback $f^*: \text{Vect}^{\text{perf}}(Y) \to \text{Vect}^{\text{perf}}(X)$. Especificamente:

1. Planação Fiel: Requer que $f^*$ seja totalmente fiel e que sua imagem essencial seja fechada sob subobjetos.
2. Isomorfismo: Requer que $f^*$ seja totalmente fiel e essencialmente sobrejetiva.

O artigo emprega as seguintes ferramentas técnicas principais:

• Teorema de Descida para Feixes $F$-divididos: Os autores provam um análogo do teorema de descida de Bhatt e Scholze [BS17] especificamente para feixes $F$-divididos. Esta é a inovação técnica central. Estabelece que um feixe $F-dividido$ em $X$ desce para $Y$ se, e somente se, for trivial em todas as fibras geométricas de $f$, desde que $f$ possua fibras geometricamente conexas. Diferente do resultado de Bhatt-Scholze, que permite a descida após um mapa finito puramente inseparável, este resultado fornece um único mapa de descida para toda a sequência de feixes.
• Fatoração de Stein: O morfismo $f$ é decomposto em uma parte com fibras geometricamente conexas e um homeomorfismo universal finito. Este último induz uma equivalência de categorias (Lema 1.3), reduzindo o problema ao caso onde $f$ possui fibras geometricamente conexas.
• Morfismos Genuinamente Ramificados: Para o caso de isomorfismo, os autores utilizam a teoria de morfismos "genuinamente ramificados" (introduzida em [PS10] e [BKP25]). Eles adaptam argumentos sobre estabilidade de inclinação (slope stability) e o comportamento de feixes reflexivos sob pullback para o contexto de variedades normais.
• Esquemas de Representação e Moduli: Para lidar com a sobrejetividade essencial (o caso de isomorfismo), o artigo utiliza a generalização de X. Sun para esquemas de representação de Simpson em característica positiva [Sun19]. Isso envolve a construção de espaços de moduli de feixes vetoriais semiestáveis com classes de Chern numericamente nulas e enquadrados (framed).
• Teorema de Hrushovski: A prova da sobrejetividade essencial depende do teorema de Hrushovski [Hru04] sobre pontos periódicos de mapas racionais. Ao expandir a situação para uma família sobre uma base finitamente gerada e analisar a ação do morfismo de Frobenius no esquema de representação, os autores mostram que os feixes estáveis com propriedades específicas de Frobenius são densos. Isso permite a construção dos dados de descida necessários.

Principais Contribuições e Resultados

1. Teorema de Descida (Teorema 0.4 / Teorema 2.2):
   O artigo prova que, para um mapa próprio e sobrejetivo $f: X \to Y$ de esquemas conexos de característica $F$-finita com fibras geometricamente conexas, um feixe $F$-dividido em $X$ desce para $Y$ se, e somente se, for trivial em cada fibra geométrica. Este resultado é independente do teorema de Bhatt-Scholze e é crucial para as aplicações subsequentes.

2. Planação Fiel (Teorema 0.3 e Teorema 3.8):

   • Teoremo 0.3: Se $f: X \to Y$ é um morfismo próprio e sobrejetivo com fibras geometricamente conexas, então $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ é fielmente plano. Este resultado ocorre sem assumir que $Y$ é suave ou que $X$ é normal, desde que as fibras sejam geometricamente conexas.
   • Teorema 3.8: Para variedades projetivas normais onde $Y$ é suave e $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ é sobrejetivo, o mapa induzido nos grupos fundamentais $F$-divididos é fielmente plano. Este resultado generaliza trabalhos anteriores ao remover a exigência de que $f$ seja finito.

3. Isomorfismo (Teorema 0.2 e Teorema 3.11):

   • Teorema 0.2: Se $X$ e $Y$ são variedades projetivas normais, $Y$ é suave, e $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ é um isomorfismo, então $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ é um isomorfismo.
   • Teorema 3.11: Sob a suposição adicional de que $f_*\mathcal{O}_X = \mathcal{O}_Y$ (o que implica fibras geometricamente conexas), o isomorfismo de grupos fundamentais étales implica o isomorfismo de grupos fundamentais $F$-divididos.
   • O artigo observa que a suavidade de $Y$ é atualmente essencial para a parte de isomorfismo devido a limitações na compreensão do comportamento de grupos fundamentais étales sob expansão (spreading out) para variedades normais gerais e pela dependência de teoremas de pureza em provas existentes de morfismos genuinamente ramificados.

4. Generalização de Trabalhos Anteriores:
   Os resultados generalizam e fortalecem o trabalho recente de Sun e Zhang [SZ25], que por sua vez generalizou Esnault-Mehta [EM10] e Biswas-Kumar-Parameswaran [BKP25]. O artigo fornece uma prova mais direta para o caso de planação fiel usando o novo teorema de descida, evitando os argumentos mais complexos de [SZ25].

Significância e Alegações
O artigo alega fornecer uma resposta definitiva para o problema de Gieseker relativo para feixes $F$-divididos no contexto de variedades projetivas normais, sujeito à suavidade do alvo para o caso de isomorfismo. A principal significância reside em:

• O Teorema de Descida: Os autores apresentam o análogo do teorema de descida de Bhatt-Scholze para feixes $F$-divididos como um resultado de interesse independente, observando que ele supera as limitações de aplicar o teorema original diretamente a toda a sequência de feixes.
• Remoção de Suposições de Suavidade: Para o resultado de planação fiel, o artigo remove com sucesso a suposição de que $f$ deve ser um morfismo finito ou que $X$ deve ser suave, baseando-se na conectividade geométrica das fibras.
• Unificação: O trabalho unifica o tratamento de feixes estratificados em característica zero e feixes $F$-divididos em característica positiva, confirmando que a relação estrutural entre os grupos fundamentais étale e "diferenciais" (estratificados/$F$-divididos) persiste em característica positiva sob condições apropriadas.

Os autores declaram explicitamente que a suavidade de $Y$ no teorema de isomorfismo é uma limitação atual das técnicas de prova (especificamente a dependência de [BKP25] e [SZ25] para o caso genuinamente ramificado) e não uma necessidade conhecida do resultado em si. Eles também notam que a prova da segunda parte do Teorema 0.2 depende do teorema de Hrushovski e da limitação de famílias de feixes semiestáveis, contidas nos esquemas de representação de Sun.