The tempered disk and the tempered cohomology

Probleemstelling
Het artikel behandelt de geometrische interpretatie van logaritmische groeicondities in $p$-adische differentiaalvergelijkingen en de ontwikkeling van een cohomologietheorie voor schema's over een lichaam $k$ met karakteristiek $p$ die deze condities op natuurlijke wijze incorporeert. In de klassieke rigide analytische geometrie en Berkovich-ruimtes kan informatie over convergentiestralen van generieke punten naar klassieke punten worden overgedragen via continuïteitsargumenten, aangezien deze convergentiestralen worden gerepresenteerd door analytische domeinen. Logaritmische groeicondities (gerelateerd aan de hellingen van Frobenius-structuren) komen echter niet op dezelfde directe wijze overeen met open analytische domeinen binnen klassieke kaders. Hoewel transferstellingen voor logaritmische groei bestaan (bijv. Dwork-Robba, Chiarellotto-Tsuzuki), missen zij een verenigd geometrisch kader dat analoog is aan de studie van convergentiestralen. Bovendien is er behoefte aan een cohomologietheorie die dient als een "getemperde" (tempered) analoog aan convergente rigide cohomologie, wat potentieel de kloof overbrugt tussen convergente isocristallen en overconvergente isocristallen, en een geometrische setting biedt voor $p$-adische representaties met specifieke monodromie-eigenschappen.

Methodologie
De auteurs maken gebruik van het kader van afgeleide analytische geometrie gebaseerd op ind-Banach-algebra's (specifiek de categorie $\text{Ind}(\text{Ban}_R)$).

1. Ind-Banach Kader: Zij maken gebruik van de theorie van ind-Banach-modules over een niet-archimedische Banach-ring $R$, waarbij zij deze beschouwen als een quasi-abelische categorie. Zij stellen vast dat de afgeleide $\infty$-categorie van deze modules, $D_\infty(\text{Ind}(\text{Ban}_R))$, een gesloten symmetrische monoidale stabiele $\infty$-categorie vormt. Ze relateren dit ook aan de categorie van voltooide bornologische vectorruimten ($\text{CBorn}_K$) via een dissectiefunctie, wat de toepassing van functioneel-analytische methoden mogelijk maakt.
2. Afgeleid Analytisch Spectrum: Zij definiëren een spectrumfunctor $S(E)$ voor een gesloten symmetrische monoidale stabiele $\infty$-categorie $E$. Dit spectrum wordt geconstrueerd vanuit de rooster van homotopie-epimorfismen van het eenheidsobject. In tegenstelling tot het Clausen-Scholze spectrum, waar deze overeenkomen met gesloten deelverzamelingen, hanteren de auteurs een "Hochster-duale" conventie waarbij homotopie-epimorfismen overeenkomen met compacte open deelverzamelingen. Dit maakt de constructie van afgeleide analytische ruimten mogelijk waarvan de structuurschéven functies kunnen bevatten met specifieken groeicondities.
3. Getemperde Vermogenreeksen: Een centraal technisch instrument is de introductie van de algebra van getemperde vermogenreeksen (tempered power series), $R[[t]]_{\text{temp}}$, gedefinieerd als de ind-Banach colimiet van reeksen met logaritmische groei van orde $n$. Deze algebra definieert een open deelverzameling van de afgeleide analytische affiene lijn, de getemperde schijf genoemd.
4. Getemperde Buis (Tempered Tube): Voor een gladde $k$-schema $X$ ingebed in de speciale vezel van een gladde formele $V$-schema $\mathcal{P}$, definiëren de auteurs de getemperde buis $]X[\mathcal{P}_{\text{temp}}$ als een afgeleide analytische ruimte. Deze wordt geconstrueerd door het samenvoegen (gluing) van affiene getemperde buizen, die gedefinieerd worden via quotienten van getemperde vermogenreeks-algebra's door idealen gegenereerd door liftings van de definiërende vergelijkingen van $X$.
5. Definitie van Cohomologie: De getemperde convergente rigide cohomologie wordt gedefinieerd als de afgeleide de Rham-cohomologie (specifiek de Hodge-voltooide versie) van de getemperde buis. Zij maken gebruik van de analytische cotangente complexe en de afgeleide de Rham-complex binnen het ind-Banach kader.

Belangrijkste Bijdragen en Resultaten

1. Geometrische Interpretatie van Transferstellingen: De auteurs demonstreren dat de klassieke transferstelling voor logaritmische groei van oplossingen van $p$-adische differentiaalvergelijkingen kan worden geherinterpreteerd als een eenvoudige continuiteitsstelling in de afgeleide analytische setting. Specifiek impliceert het bestaan van oplossingen met log-groei bij een generiek punt hun bestaan bij een klassiek punt, omdat de afbeelding tussen de corresponderende spectra continu is en de getemperde schijf een open deelverzameling is.
2. Constructie van Getemperde Schijven en Decomposities: Zij construeren expliciet de getemperde open schijf als een open deelverzameling van de afgeleide analytische affiene lijn $A^1_R$. Zij analyseren ook het complement van de getemperde schijf bij oneindigheid, dat geïdentificeerd wordt met de algebra van snel convergerende reeksen ($K[[t]]_{\text{fast}}$). Zij bewijzen dat de affiene lijn bedekt kan worden door de gepuncteerde getemperde schijf bij oneindigheid en de snel convergerende schijf bij nul, met een niet-lege doorsnede.
3. Onafhankelijkheid van Inbedding: Een cruciaal resultaat is het bewijs dat de getemperde buis $]X[\mathcal{P}_{\text{temp}}$ onafhankelijk is van de keuze van de reguliere inbedding van $X$ in het formele schema $\mathcal{P}$ en de keuze van liftings van de definiërende vergelijkingen. Dit berust op een getemperde versie van de "zwakke fibratie-stelling" (Theorema 8.19), die aantoont dat de getemperde buis zich goed gedraagt onder gladde morfismen van formele schema's.
4. Vergelijkingstheorema: Voor gladde propere $k$-schema's stellen de auteurs een vergelijkingstheorema (Proposition 9.29) vast, waaruit blijkt dat de getemperde convergente rigide cohomologie natuurlijk isomorf is aan de kristallijne cohomologie (en dus de rigide cohomologie) getensord met het breukveld $K$.
5. Poincaré Lemma: Zij bewijzen een "Getemperd Poincaré Lemma" (Lemma 9.28), waarmee de strikte exactheid van de de Rham-complex voor getemperde vermogenreeksen wordt vastgesteld, wat essentieel is voor het bewijzen van de onafhankelijkheid van de cohomologie van de inbedding.

Betekenis
Het artikel beweert een natuurlijke analytische setting te bieden voor het bestuderen van de continuïteit van logaritmische groeicondities, analoog aan hoe Berkovich-ruimtes convergentiestralen behandelen. Door de introductie van getemperde buizen en getemperde cohomologie bieden de auteurs een verfijnd geometrisch kader dat zich tussen klassieke rigide geometrie en meer algemene afgeleide settings bevindt.

• Verfijning van Spectrum: De benadering levert een spectrum op dat rijker is dan de klassieke rigide geometrie, waarbij open deelverzamelingen hun structuurschéven bevatten die functies met logaritmische groei accommoderen.
• Unificatie: Het verenigt de studie van $p$-adische differentiaalvergelijkingen met geometrische cohomologietheorieën, waarbij transferstellingen worden geïnterpreteerd als continuiteitseigenschappen.
• Toekomstige Richtingen: De auteurs suggereren dat dit kader een geometrische fundering kan bieden voor $p$-adische representaties met eindige lokale monodromie (die overeenkomen met overconvergente isocristallen) en andere intermediaire typen representaties geassocieerd met logaritmische vervalreeksen. Zij merken op dat het uitbreiden van deze theorie naar niet-propere variëteiten een getemperde analoog van de Monsky-Washnitzer cohomologie zou vereisen, die betrokken is bij logaritmisch verval bij oneindigheid, wat onderwerp is van toekomstig werk.

Het artikel beweert niet de algemene Riemann-Hilbert-correspondentie voor alle $p$-adische representaties op te lossen, maar positioneert de constructie ervan als een noodzakelijke geometrische stap richting dat doel, in het bijzonder voor representaties die niet strikt binnen de convergente of overconvergente categorieën passen.