Syntomification and crystalline local systems

Technische Samenvatting: Syntomificatie en Kristallijne Lokaal Systemen

Probleem en Context
Het artikel behandelt de relatie tussen de geometrie van $p$-adische formele schema's en de representatietheorie van $p$-adische Galoisgroepen. Specifiek streeft het ernaar de Bhatt-Scholze-equivalentie tussen prismatische $F$-kristallen en kristallijne Galoisrepresentaties (vastgesteld voor een punt, d.w.z. $\text{Spf } \mathcal{O}_K$) te generaliseren naar de setting van gladde $p$-adische formele schema's $X$. Het centrale onderzoeksobject is de syntomische stapel $X_{\text{Syn}}$ geassocieerd met $X$, geïntroduceerd door Bhatt en Lurie. Het artikel onderzoekt de étale realisatiefunctie $\mathcal{T}_{\text{ét}}: \text{Perf}(X_{\text{Syn}}) \to D^{(b)}_{\text{lisse}}(X_\eta, \mathbb{Z}_p)$, die perfecte complexen op de syntomische stapel afbeeldt op afgeleide categorieën van lokaal systemen op de rigide generieke vezel $X_\eta$.

De primaire uitdagingen die worden aangepakt zijn:

1. Het karakteriseren van het essentiële beeld van $\mathcal{T}_{\text{ét}}$ op de categorie van perfecte complexen (en zijn isogeniecategorie) in termen van kristallijne lokaal systemen.
2. Het bepalen of de equivalentie $\text{Perf}(\mathbb{Z}_p^{\text{Syn}})[1/p] \simeq D^b(\text{Rep}^{\text{cris}}_{\mathbb{Q}_p}(G_{\mathbb{Q}_p}))$ generaliseert naar hoger-dimensionale $X$.
3. Het verschaffen van een expliciete algebraïsche beschrijving van de categorie $\text{Perf}(X_{\text{Syn}})[1/p]$ in het propre geval, analoog aan de beschrijving van kristallijne representaties via zwak toelaatbare gefilterde $F$-isokristallen.

Methodologie
De auteur hanteert een combinatie van stapelgeometrie, descendietheorie en technieken uit de $p$-adische Hodge-theorie:

• Stapelkader: Het artikel maakt gebruik van de formele stapels $X_{\text{Syn}}$, $X_{\text{Nyg}}$ (Nygaard) en $X_\Delta$ (prismatisch). De structuur van $X_{\text{Syn}}$ wordt geanalyseerd via pushouts en co-equalizers die deze stapels betrekken.
• Reflexieve Sheaves: Een belangrijke technische innovatie is de introductie van reflexieve sheaves ($\text{Refl}(X_{\text{Syn}})$) op de syntomische stapel. De auteur definieert deze als coherente sheaves $E$ waarbij de natuurlijke afbeelding $E \to E^{\vee\vee}$ een isomorfisme is. Deze subcategorie wordt aangetoond als het juiste domein voor de étale realisatiefunctie om een equivalentie te induceren.
• Kernanalyse: Het artikel analyseert de kern van de étale realisatiefunctie. Door methoden van Bhatt-Lurie aan te passen en gebruik te maken van gegradueerde connecties op Nygaard-geassocieerde gegradueerde objecten, wordt aangetoond dat de kern bestaat uit coherente $F$-meters die $(p, v_{1,X})$-machtstorsie zijn.
• Descendie en Overdekkingen: De bewijzen maken zwaar gebruik van vlak-lokale surjecties (specifiek het gebruik van Rees-stapels geassocieerd met Breuil-Kisin-prisma's) om globale vragen over $X$ te reduceren tot lokale vragen over affiene schema's waar expliciete berekeningen met Breuil-Kisin-modules en $q$-connecties haalbaar zijn.
• Beilinson-Vezelvierkant: In het propre geval construeert het artikel een Beilinson-vezelvierkant dat de syntomische cohomologie van $X$ relateert aan zijn kristallijne cohomologie (over de speciale vezel) en de Rham-cohomologie (over de generieke vezel). Dit vierkant wordt gebruikt om de doelcategorie van toelaatbare gefilterde $F$-isokristallen te definiëren.

Belangrijkste Bijdragen en Resultaten

1. Equivalentie voor Reflexieve Sheaves (Stelling A):
   Het artikel stelt vast dat voor een glad en quasicompact $p$-adisch formeel schema $X/\text{Spf } \mathcal{O}_K$, de étale realisatiefunctie een equivalentie van categorieën induceert:
   $$\mathcal{T}_{\text{ét}}: \text{Refl}(X_{\text{Syn}}) \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$$
   waarbij $\text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$ de categorie is van pro-étale kristallijne $\mathbb{Z}_p$-lokaal systemen. Dit resultaat karakteriseert het essentiële beeld van de functor $\Pi_X$ (geconstrueerd door Guo-Li) als precies de reflexieve sheaves.

2. Isogeniecategorie en Kristallijne Cohomologie (Corollarium 1.3):
   Na inverteren van $p$, induceert de functor een equivalentie op de harten van de respectievelijke t-structuren:
   $$\text{Coh}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta)$$
   Het essentiële beeld van $\mathcal{T}_{\text{ét}}[1/p]$ op de volledige afgeleide categorie is opgenomen in de subcategorie van objecten met kristallijne cohomologiesheaves, hoewel het artikel opmerkt dat inclusies over het algemeen strikt zijn (d.w.z. niet elke complex met kristallijne cohomologiesheaves bevindt zich in het essentiële beeld).

3. Falen van Naieve Generalisatie (Voorbeeld 4.7):
   Het artikel demonstreert dat de equivalentie $\text{Perf}(X_{\text{Syn}})[1/p] \simeq D^b(\text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta))$ in het algemeen niet geldt voor hoger-dimensionale $X$ (bijvoorbeeld $X = \mathbb{P}^1_{\mathbb{Z}_p}$). Dit komt door een falen van volledige trouwheid, waargenomen aan de hand van niet-verdwijnende syntomische cohomologiegroepen $H^2_{\text{Syn}}$ die niet corresponderen met extensies in de categorie van kristallijne lokaal systemen.

4. Equivalentie voor Propre Schema's (Stelling B):
   Voor $X$ glad en propre over $\text{Spf } \mathcal{O}_K$, bewijst het artikel een equivalentie:
   $$\text{Perf}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$$
   Hierbij is $\text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$ de categorie van perfecte complexen van toelaatbare gefilterde $F$-isokristallen. Deze categorie wordt gedefinieerd via een Beilinson-vezelvierkant dat het kristallijne site van de speciale vezel en de de Rham-stapel van de generieke vezel betrekken. De "toelaatbare" voorwaarde zorgt ervoor dat de cohomologiesheaves corresponderen met kristallijne lokaal systemen.

5. Cohomologische Berekeningen:
   Het artikel levert een cohomologische berekening die aantoont dat voor $X = \text{Spf } \mathcal{O}_K$, de syntomische cohomologie $H^i_{\text{Syn}}(\mathcal{O}_K, E)[1/p]$ verdwijnt voor $i \geq 2$ en isomorf is met de Bloch-Kato Selmer-groep (of extensiegroepen in kristallijne representaties) voor $i=1$. Dit verdwijnen is cruciaal voor het vestigen van de equivalentie in het puntgeval en het propre geval.

Betekenis en Beweringen
Het artikel beweert de vraag op te lossen of de syntomische stapel van Bhatt-Lurie een afgeleide Riemann-Hilbert-correspondentie biedt voor $p$-adische formele schema's.

• Het bevestigt dat hoewel de naieve afgeleide equivalentie faalt voor algemene $X$, een precieze karakterisatie bestaat via reflexieve sheaves.
• Het generaliseert succesvol de equivalentie tussen syntomische perfecte complexen en kristallijne representaties naar de isogeniecategorie voor gladde propere schema's, maar vereist dat de doelcategorie wordt verfijnd tot toelaatbare gefilterde $F$-isokristallen in plaats van slechts de afgeleide categorie van kristallijne lokaal systemen.
• Het werk overbrugt de kloof tussen de prismatische/stapelbenadering (Bhatt-Scholze, Bhatt-Lurie) en de klassieke theorie van gefilterde $F$-isokristallen (Colmez-Fontaine), en biedt een unificerend kader voor het bestuderen van kristallijne lokaal systemen op $p$-adische formele schema's.

De auteur merkt expliciet op dat de resultaten afhankelijk zijn van $X$ dat glad en quasicompact (of propre) is, en dat de interpretatie van isogeniecategorieën zorgvuldigheid vereist wanneer $X$ niet quasicompact is. Het artikel claimt niet het probleem op te lossen voor niet-gladde schema's of een beschrijving van het essentiële beeld te verschaffen zonder $p$ te inverteren (wat wordt achtergelaten als toekomstig werk).