Twisted calculus in several variables

Technische Samenvatting: Getordeelde Calculus in Verschillende Variabelen

Probleemstelling
Het artikel behandelt de uitdaging om de theorie van getordeerde differentiële operatoren en $q$-verschilvergelijkingen uit te breiden van één variabele naar meerdere variabelen binnen de context van Huber-ringen en $p$-adische geometrie. Hoewel er aanzienlijke vooruitgang is geboekt in het geval van één variabele (met name door Le Stum, Quirós, Gros en anderen) en in de context van integrale $p$-adische cohomologie (Bhatt, Morrow, Scholze), vormt de overgang naar meerdere variabelen niet-triviale moeilijkheden. Specifiek ontbreekt een natuurlijke generalisatie van de standaard formalisering van getordeerde machten van idealen, die werkt in één variabele, wanneer een ring $A$ is uitgerust met meerdere commuterende automorfismen $\sigma = (\sigma_1, \dots, \sigma_d)$. Bovendien integreren bestaande multi-variabele theorieën (bijv. door Morrow en Tsuji) of klassieke benaderingen niet volledig de specifieke "getordes" die vereist zijn voor $q$-verschilvergelijkingen of het bredere kader van prismatische cohomologie. Het centrale probleem is het construeren van een rigoureus kader voor getordeerde differentiële operatoren in verschillende variabelen dat de vergelijking van modules met getordeerde verbindingen en modules met acties van getordeerde afgeleiden mogelijk maakt, terwijl convergentie-eigenschappen en een confluentietheorema worden vastgesteld (het terugwinnen van klassieke differentiële vergelijkingen wanneer de getorseerde parameter naar 1 nadert).

Methodologie
De auteur hanteert een structurele benadering die geworteld is in de theorie van Huber-ringen en topologische algebra. De methodologie verloopt via de volgende stadia:

1. Fundamenten in Huber-ringen: Het werk begint met het vestigen van het noodzakelijke topologische algebraïsche kader, gebruikmakend van Huber-ringen, adische ringen en Tate-ringen. Het definieert topologisch étale morfismen en "goede" étale morfismen, die dienen als de affiene analogen van étale afbeeldingen in formele schema's.
2. Getordeerde Principale Delen en Coördinaten: Een kerninnovatie is de definitie van de module van getordeerde principale delen, $P_{A,(n)}^{\sigma, x}$, voor een Huber-ring $A$ uitgerust met commuterende endomorfismen $\sigma$ en een tupel van elementen $x = (x_1, \dots, x_d)$. De auteur introduceert het concept van $\sigma$-coördinaten (en specifiek goede $\sigma$-coördinaten), welke tupels $x$ zijn die een unieke Taylor-morfisme $\Theta_{A,(n)}^{\sigma, x}$ mogelijk maken.
3. Klassieke en Symmetrische Coördinaten: Om de standaard eigenschappen van differentiële calculus te herstellen, legt het artikel specifieke voorwaarden op aan de coördinaten:
   • Klassieke coördinaten: Het waarborgen dat de geïnduceerde operatoren $\partial_{\sigma, i}$ $\sigma_i$-derivaties zijn.
   • Symmetrische coördinaten: Het waarborgen van de compatibiliteit van de Taylor-morfismen met de compositie van operatoren, wat cruciaal is voor het definiëren van de ring van differentiële operatoren van oneindig niveau.
4. Getordeerde Verbindingen en Operatoren: Het artikel definieert getordeerde verbindingen en stelt een equivalentie vast tussen modules met getordeerde verbindingen en modules met acties van getordeerde afgeleiden. Het construeert de ring van getordeerde differentiële operatoren van oneindig niveau, $D^{(\infty)}_{A, \sigma}$, en relateert deze aan de categorie van integreerbare getordeerde verbindingen.
5. Convergentie en Eindige Straal: Het kader wordt uitgebreid om convergentie-eigenschappen te bevatten. Door aan te nemen dat $A$ een Tate-ring is met een contractieve norm, definieert de auteur ringen van getordeerde differentiële operatoren van een eindige straal, $D^{(\eta)}_{\sigma}$, en hun directe limiet $D^{(\eta^\dagger)}_{\sigma}$. Dit omvat het analyseren van de convergentie van getordeerde Taylor-reeksen en het gedrag van operatoren onder specifieke straalbeperkingen.

Belangrijkste Bijdragen en Resultaten

• Generalisatie naar Verschillende Variabelen: Het artikel slaagt erin de theorie van getordeerde differentiële operatoren te generaliseren naar de multi-variabele setting. Het definieert de noodzakelijke algebraïsche structuren (getordeerde principale delen, getordeerde verbindingen) en bewijst dat deze structuren analoog gedragen aan het geval van één variabele onder de hypothese van "goede" en "klassieke" coördinaten.
• Equivalentie van Categorieën:
  • Stelling 5.25: Wanneer coördinaten klassiek zijn, is er een equivalentie van categorieën tussen $A$-modules met een getordeerde verbinding en $A$-modules met een actie van getordeerde afgeleiden ($\nabla^\sigma\text{-Mod}(A) \simeq T_{A,\sigma}\text{-Mod}(A)$).
  • Stelling 6.7: Onder de aanname van symmetrische $q$-coördinaten en de inversibiliteit van $q$-integers, is er een equivalentie tussen integreerbare getordeerde verbindingen en modules over de ring van getordeerde differentiële operatoren van oneindig niveau ($\nabla^{\text{Int}}_q\text{-Mod}(A) \simeq D^{(\infty)}_{A,q}\text{-Mod}$).
• Convergentietheorie: Het artikel definieert en analyseert de convergentie van getordeerde differentiële operatoren. Het introduceert het begrip $\eta$-convergente en $\eta^\dagger$-convergente modules.
  • Stelling 7.41: Voor een sterk $\eta^\dagger$-convergente algebra $A$, is er een equivalentie tussen de categorie van eindig type $A$-modules met integreerbare $\eta^\dagger$-convergente getordeerde verbindingen en de categorie van eindig type modules over de ring van getordeerde differentiële operatoren van straal $\eta^\dagger$ ($D^{(\eta^\dagger)}_q$). Deze equivalentie is compatibel met de de Rham-cohomologie en Ext-groepen.
• Confluentietheorema:
  • Stelling 7.42: Het artikel bewijst een multi-variabel confluentietheorema. Als $A$ zowel klassieke symmetrische $q$-coördinaten als symmetrische $Id$-coördinaten (waarbij $Id$ de identiteitsgetordeerde twist vertegenwoordigt) toelaat, en $A$ is sterk $\eta^\dagger$-convergente met betrekking tot beide, dan is de categorie van $\eta^\dagger$-convergente getordeerde verbindingen met betrekking tot $q$ equivalent aan de categorie met betrekking tot $Id$ (klassieke differentiële verbindingen). Dit resultaat breidt het confluentietheorema van Le Stum en Quirós uit naar meerdere variabelen.

Betekenis en Claims
Het artikel positioneert zichzelf als fundamenteel werk voor de ontwikkeling van getordeerde calculus in verschillende variabelen. De primaire betekenis ligt in:

1. Gaten Dichten: Het biedt het noodzakelijke formalisme om resultaten van $p$-adische $q$-verschilvergelijkingen en kristallijne cohomologie uit te breiden naar de multi-variabele setting, een stap die de auteur als "zeer niet-triviaal" omschrijft.
2. Unificatie: Het kader sluit aan bij recente ontwikkelingen in de $p$-adische Hodge-theorie en prismatische cohomologie (Bhatt, Morrow, Scholze), wat suggereert dat $q$-verschilvergelijkingen kunnen worden gebruikt om prismatische cohomologie in hogere dimensies te berekenen.
3. Rigoureuze Uitbreiding: Door "goede $\sigma$-coördinaten" en "klassieke coördinaten" zorgvuldig te definiëren, zorgt het artikel ervoor dat de complexe machinerie van getordeerde differentiële operatoren de gewenste eigenschappen behoudt (zoals het bestaan van een Taylor-expansie en de equivalentie van de categorieën van verbindingen en operatoren) die bekend zijn in het geval van één variabele.

De auteur stelt expliciet dat het werk dient om voorafgaande theorieën te generaliseren door het geval van verschillende variabelen aan te pakken en meer algemene getordes te incorporeren dan eenvoudige vermenigvuldiging met $q$. De resultaten worden gepresenteerd als het vestigen van een formeel kader en het bewijzen van specifieke equivalenties en convergentietheorema's, zonder te claimen dat er directe toepassingen zijn buiten hun relevantie voor de voortdurende ontwikkeling van $p$-adische cohomologietheorieën.