A $p$-adic Simpson correspondence for singular rigid-analytic varieties

Resumo Técnico: Uma Correspondência de Simpson $p$-ádica para Variedades Rígido-Analíticas Singulares

Enunciado do Problema
O artigo aborda a extensão da correspondência de Simpson $p$-ádica para o contexto de variedades rígido-analíticas singulares. Trabalhos fundamentais anteriores estabeleceram essa correspondência para curvas projetivas suaves (Faltings [Fal05]), variedades algébricas suaves de dimensão superior (Abbes, Gros e Tsuji [AGT16]) e variedades rígido-analíticas próprias e suaves arbitrárias sobre um corpo não arquimediano completo e algebricamente fechado $C$ (Heuer [Heu23]). O desafio central abordado aqui é a remoção da hipótese de suavidade. No caso singular, a feixe padrão de diferenciais $\Omega^1_X$ é insuficiente para definir fibrados de Higgs de modo a capturar as propriedades cohomológicas necessárias, e a topologia étale não admite uma base de objetos suaves, complicando os argumentos de descida.

Metodologia
Os autores empregam a topologia $\acute{e}h$ (introduzida para variedades rígido-analíticas por Guo [Guo19]) para resolver singularidades localmente. A topologia $\acute{e}h$ é gerada por coberturas étale, coberturas por explosão (blowup) e homeomorfismos universais. Uma propriedade estrutural chave utilizada é que o sítio $\acute{e}h$ de qualquer variedade rígido-analítica admite uma base de variedades rígido-analíticas suaves via resolução de singularidades.

A metodologia procede através de três etapas principais:

1. Descida em Variedades Suaves: Os autores estabelecem primeiro que, para uma variedade rígido-analítica suave $X$, a categoria de fibrados de Higgs no sítio $\acute{e}h$ ($X_{\acute{e}h}$) é equivalente à categoria de fibrados de Higgs no sítio étale ($X_{\acute{e}t}$). Isso depende de provar que fibrados vetoriais e fibrados de Higgs satisfazem a descida $\acute{e}h$ e que o feixe de diferenciais $\Omega^1_{\acute{e}h}$ coincide com o pullback dos diferenciais étale em objetos suaves.
2. Mecanismo Simplícico: Para lidar com variedades singulares, os autores constroem $\acute{e}h$-hipercoberturas próprias e suaves. Desenvolvem a teoria de variedades rígido-analíticas simplícicas, definindo fibrados de Higgs simplícicos e estabelecendo uma correspondência de Simpson $p$-ádica para variedades simplícicas próprias e suaves. Isso envolve levantar a variedade simplícica para $B^+_{dR}/\xi^2$ e utilizar um mapa exponencial.
3. Descida para o Caso Singular: Ao utilizar a suavidade local da topologia $\acute{e}h$, os autores constroem um $\acute{e}h$-hipercobertura própria e suave 1-truncada para uma variedade rígido-analítica própria arbitrária $X$. Em seguida, usam a equivalência estabelecida no caso simplícico suave e as propriedades de descida (especificamente que fibrados vetoriais e fibrados de Higgs formam feixes $\acute{e}h$) para descer a correspondência para a variedade singular $X$.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 4.4): Para uma variedade rígido-analítica própria $X$ sobre $C$, a categoria de fibrados vetoriais pro-étale em $X$ ($\text{Vect}(X_{pro\acute{e}t})$) é equivalente à categoria de fibrados de Higgs no sítio $\acute{e}h$ de $X$ ($\text{Higgs}(X_{\acute{e}h})$).

  • Um fibrado de Higgs em $X_{\acute{e}h}$ é definido como um $\mathcal{O}_{X_{\acute{e}h}}$-módulo localmente livre e finito $E$ equipado com um morfismo $\theta: E \to E \otimes \Omega^1_{X_{\acute{e}h}}(-1)$ satisfazendo $\theta \wedge \theta = 0$.
  • Aqui, $\Omega^1_{X_{\acute{e}h}}$ é o feixe associado ao pré-feixe que envia uma variedade rígido-analítica suave $Y$ para $\Gamma(Y, \Omega^1_Y)$. Este feixe efetivamente substitui o feixe diferencial padrão pelo primeiro complexo de Deligne–Du Bois no contexto singular.

• Comparação Cohomológica (Teorema 4.7): A correspondência induz um isomorfismo natural entre a cohomologia pro-étale de um fibrado vetorial $E$ e a cohomologia $\acute{e}h$ do fibrado de Higgs correspondente $(E, \theta)$:
  $$R\Gamma_{pro\acute{e}t}(X, E) \simeq R\Gamma_{\acute{e}h}(X, (E, \theta))$$
  Os autores provam que esses grupos de cohomologia estão concentrados em graus cohomológicos $[0, 2n]$, onde $n$ é a dimensão de $X$.

• Operador Sen Geométrico (Proposição 4.8): O artigo constrói um campo de Higgs único $\eta_E$ para qualquer fibrado $v$-vetorial no diamante associado a uma variedade rígido-analítica $X$. Este campo se anula se e somente se o fibrado descende do sítio $\acute{e}h$, generalizando o operador Sen geométrico para o contexto singular.

• Propriedades de Descida: O artigo estabelece rigorosamente que os pré-feixes de fibrados vetoriais e fibrados de Higgs satisfazem a descida $\acute{e}h$ (Teorema 2.5, Corolário 2.17). Também esclarece o comportamento dos feixes diferenciais, notando que, embora $\Omega^1_{\acute{e}h}$ não seja um fibrado vetorial (seu posto pode variar), ele se comporta suficientemente bem para a construção da correspondência.

Significado e Afirmações
Os autores afirmam que este trabalho generaliza os resultados de Faltings, Abbes-Gros-Tsuji e Heuer para o caso de variedades rígido-analíticas próprias arbitrárias, removendo a restrição de suavidade.

• Teoria de Hodge Não-Abeliana: O resultado é apresentado como uma generalização categórica não-abeliana do teorema de comparação primitiva de Scholze e da decomposição de Hodge generalizada para variedades singulares (Guo [Guo19]).
• Analogia com Geometria Complexa: O artigo observa que, embora a correspondência de Simpson para variedades algébricas complexas singulares seja em grande parte aberta (com resultados parciais para singularidades klt), os métodos desenvolvidos aqui, utilizando a topologia $\acute{e}h$ e complexos de Deligne–Du Bois, sugerem um caminho plausível para generalizar esses resultados também para o contexto algébrico complexo.
• Fundamento Técnico: O trabalho fornece a maquinaria de descida necessária e o arcabouço simplícico para lidar com singularidades na teoria de Hodge não-abeliana $p$-ádica, abordando especificamente as sutilezas dos feixes diferenciais em espaços singulares onde o posto não é constante.

O artigo não propõe novas aplicações experimentais ou conjecturas futuras além da generalização imediata da correspondência e da possível extensão para variedades algébricas complexas mencionada na Observação 1.3.