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

Technische Samenvatting: Een p-adische Simpson-correspondentie voor singuliere rigide-analytische variëteiten

Probleemstelling
Het artikel behandelt de uitbreiding van de p-adische Simpson-correspondentie naar het kader van singuliere rigide-analytische variëteiten. Eerdere fundamentele werken hebben deze correspondentie vastgesteld voor gladde projectieve krommen (Faltings [Fal05]), gladde algebraïsche variëteiten van hogere dimensie (Abbes, Gros en Tsuji [AGT16]), en willekeurige gladde eigentijdse rigide-analytische variëteiten over een volledige, algebraïsch gesloten niet-archimedische veld $C$ (Heuer [Heu23]). De centrale uitdaging die hier wordt aangepakt, is het verwijderen van de gladheidsaanname. In het singuliere geval is de standaard schaal van differentiaalvormen $\Omega^1_X$ ontoereikend om Higgs-bundels te definiëren op een manier die de nodige cohomologische eigenschappen vastlegt, en de étale-topologie staat geen basis van gladde objecten toe, wat dalingsargumenten bemoeilijkt.

Methodologie
De auteurs maken gebruik van de $\acute{e}h$-topologie (voor rigide-analytische variëteiten geïntroduceerd door Guo [Guo19]) om singuliere punten lokaal op te lossen. De $\acute{e}h$-topologie wordt gegenereerd door étale overdekkingen, opblaas-overdekkingen en universele homeomorfismen. Een belangrijke structurele eigenschap die wordt benut, is dat de $\acute{e}h$-site van elke rigide-analytische variëteit een basis vormt van gladde rigide-analytische variëteiten via singuliere oplossingen.

De methodologie verloopt via drie hoofdfasen:

1. Daling op gladde variëteiten: De auteurs stellen eerst vast dat voor een gladde rigide-analytische variëteit $X$, de categorie van Higgs-bundels op de $\acute{e}h$-site ($X_{\acute{e}h}$) equivalent is aan de categorie van Higgs-bundels op de étale-site ($X_{\acute{e}t}$). Dit berust op het bewijzen dat vectorbundels en Higgs-bundels voldoen aan $\acute{e}h$-daling en dat de schaal van differentiaalvormen $\Omega^1_{\acute{e}h}$ overeenkomt met de terugtrekking van de étale-differentiaalvormen op gladde objecten.
2. Simpliciale apparatuur: Om om te gaan met singuliere variëteiten, construeren de auteurs gladde eigentijdse $\acute{e}h$-hypercovers. Zij ontwikkelen de theorie van simpliciale rigide-analytische variëteiten, definiëren simpliciale Higgs-bundels en stellen een p-adische Simpson-correspondentie vast voor gladde eigentijdse simpliciale variëteiten. Dit omvat het liften van de simpliciale variëteit naar $B^+_{dR}/\xi^2$ en het gebruikmaken van een exponentiële afbeelding.
3. Daling naar het singuliere geval: Door gebruik te maken van de lokale gladheid van de $\acute{e}h$-topologie, construeren de auteurs een 1-afgeknotte gladde eigentijdse $\acute{e}h$-hypercover voor een willekeurige eigentijdse rigide-analytische variëteit $X$. Zij gebruiken vervolgens de equivalentie die in het simpliciale gladde geval is vastgesteld en dalingseigenschappen (specifiek dat vectorbundels en Higgs-bundels $\acute{e}h$-schillen vormen) om de correspondentie af te dalen naar de singuliere variëteit $X$.

Belangrijkste bijdragen en resultaten

• Hoofdstelling (Stelling 4.4): Voor een eigentijdse rigide-analytische variëteit $X$ over $C$ is de categorie van pro-étale vectorbundels op $X$ ($\text{Vect}(X_{pro\acute{e}t})$) equivalent aan de categorie van Higgs-bundels op de $\acute{e}h$-site van $X$ ($\text{Higgs}(X_{\acute{e}h})$).

  • Een Higgs-bundel op $X_{\acute{e}h}$ wordt gedefinieerd als een eindig lokaal vrije $\mathcal{O}_{X_{\acute{e}h}}$-module $E$ uitgerust met een morfisme $\theta: E \to E \otimes \Omega^1_{X_{\acute{e}h}}(-1)$ dat voldoet aan $\theta \wedge \theta = 0$.
  • Hierbij is $\Omega^1_{X_{\acute{e}h}}$ de schaal die geassocieerd is met de preschaal die een gladde rigide-analytische variëteit $Y$ afbeeldt op $\Gamma(Y, \Omega^1_Y)$. Deze schaal vervangt effectief de standaard differentiaalschaal door het eerste Deligne–Du Bois-complex in de singuliere context.

• Cohomologische vergelijking (Stelling 4.7): De correspondentie induceert een natuurlijke isomorfisme tussen de pro-étale cohomologie van een vectorbundel $E$ en de $\acute{e}h$-cohomologie van de corresponderende Higgs-bundel $(E, \theta)$:
  $$R\Gamma_{pro\acute{e}t}(X, E) \simeq R\Gamma_{\acute{e}h}(X, (E, \theta))$$
  De auteurs bewijzen dat deze cohomologiegroepen geconcentreerd zijn in cohomologische graden $[0, 2n]$, waarbij $n$ de dimensie van $X$ is.

• Geometrische Sen-operator (Propositie 4.8): Het artikel construeert een unieke Higgs-veld $\eta_E$ voor elke $v$-vectorbundel op de diamant geassocieerd met een rigide-analytische variëteit $X$. Dit veld verdwijnt dan en slechts dan als de bundel afdaalt van de $\acute{e}h$-site, waarmee de geometrische Sen-operator wordt gegeneraliseerd naar het singuliere kader.

• Dalingseigenschappen: Het artikel stelt rigoureus vast dat de preschalen van vectorbundels en Higgs-bundels voldoen aan $\acute{e}h$-daling (Stelling 2.5, Corollarium 2.17). Het verduidelijkt ook het gedrag van differentiaalschalen, waarbij wordt opgemerkt dat hoewel $\Omega^1_{\acute{e}h}$ geen vectorbundel is (zijn rang kan variëren), het zich voldoende goed gedraagt voor de constructie van de correspondentie.

Betekenis en claims
De auteurs claimen dat dit werk de resultaten van Faltings, Abbes-Gros-Tsuji en Heuer generaliseert naar het geval van willekeurige eigentijdse rigide-analytische variëteiten, door de gladheidsbeperking te verwijderen.

• Niet-abeliaanse Hodge-theorie: Het resultaat wordt gepresenteerd als een niet-abeliaanse categorische generalisatie van Scholze's primitieve vergelijkingstheorema en de gegeneraliseerde Hodge-decompositie voor singuliere variëteiten (Guo [Guo19]).
• Analogie met complexe meetkunde: Het artikel merkt op dat terwijl de Simpson-correspondentie voor singuliere complexe algebraïsche variëteiten grotendeels open is (met partiële resultaten voor klt-singulariteiten), de hier ontwikkelde methoden, die gebruikmaken van de $\acute{e}h$-topologie en Deligne–Du Bois-complexen, een plausibele weg suggereren om deze resultaten ook te generaliseren naar het complexe algebraïsche kader.
• Technische fundering: Het werk biedt de nodige dalingapparatuur en simpliciale raamwerk om om te gaan met singulariteiten in de p-adische niet-abeliaanse Hodge-theorie, specifiek het aanpakken van de subtiliteiten van differentiaalschalen op singuliere ruimten waar de rang niet constant is.

Het artikel stelt geen nieuwe experimentele toepassingen of toekomstige conjecturen voor buiten de directe generalisatie van de correspondentie en de potentiële uitbreiding naar complexe algebraïsche variëteiten zoals vermeld in Opmerking 1.3.