Technische Samenvatting: Over $\mathcal{\hat{D}}$-modules van eindige lengte op rigide analytische ruimtes

1. Het Probleem (De Context)

De klassieke theorie van algebraïsche $D$-modules op complexe variëteiten is een hoeksteen van de algebraïsche meetkunde. In de context van niet-archimedeanse rigide analytische meetkunde (over een veld $K$ van gemengde karakteristiek $(0, p)$) is een analoog kader ontwikkeld voor zogenaamde $\mathcal{\hat{D}}$-modules (door Ardakov, Wadsley en Bode).

Hoewel de theorie van $\mathcal{\hat{D}}$-modules uitgebreid is ontwikkeld, ontbrak een robuust concept voor holonomiciteit. In de klassieke setting worden holonome $D$-modules gekarakteriseerd door hun karakteristieke variëteit van minimale dimensie; zij zijn stabiel onder standaardoperaties en hebben altijd een eindige lengte. Voor $\mathcal{\hat{D}}$-modules werd een homologische vervanging geïntroduceerd: zwak holonome $\mathcal{\hat{D}}$-modules. Echter, er bestonden pathologische voorbeelden van zwak holonome $\mathcal{\hat{D}}$-modules die een oneindige lengte of oneindig dimensionale vezels hadden. Het fundamentele probleem was dus het ontbreken van een criterium om te bepalen wanneer een zwak holonome $\mathcal{\hat{D}}$-module daadwerkelijk van eindige lengte is.

2. Methodologie

Reichardt hanteert een methodologie die de brug slaat tussen de algebra van gefilterde ringen en de geometrie van rigide analytische ruimtes. De kern van zijn aanpak bestaat uit:

• Deformatie van $R$-algebra's: Hij maakt gebruik van de theorie van deformable $R$-algebras en dubbel gefilterde $K$-algebra's. Hij onderzoekt hoe de eigenschappen van geassocieerde gegradeerde modules stabiliseren naarmate de deformatie-index $n$ toeneemt.
• Voltooide Weyl-algebra's: Hij introduceert en bestudeert de structuren van voltooide Weyl-algebra's als dubbel gefilterde $K$-algebra's. Hierbij maakt hij onderscheid tussen de order filtration en de Bernstein filtration.
• Hilbert-polynomen: Een cruciaal instrument is de introductie van Hilbert-polynomen voor eindig gegenereerde modules over deze voltooide Weyl-algebra's. Dit stelt hem in staat om een dimensietheorie en een concept van multipliciteit te definiëren die vergelijkbaar zijn met de klassieke setting.
• Stabilisatie-argumenten: Door te laten zien dat de multipliciteit van de geassocieerde gegradeerde modules stabiliseert voor grote $n$, kan hij de eindige lengte van de limietmodule (de $\mathcal{\hat{D}}$-module) afleiden.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert drie hoofdbijdragen:

A. Het stabilisatie-criterium (Theoretisch fundament):
Hij bewijst dat voor een coadmissibele $\mathcal{\hat{D}}$-module op een polydisc, de eindige lengte kan worden bepaald door uniform beperkte lengtes van de deformaties $M_n$. Dit wordt geformaliseerd in een criterium waarbij de multipliciteit van de modules $M_n$ een bovengrens vormt voor de lengte.

B. De Extensiefunctie (Theorem A):
Een van de belangrijkste resultaten is dat de extensiefunctie $E_X$, die coherent $D_X$-modules naar coadmissibele $\mathcal{\hat{D}}_X$-modules stuurt, holonome $D_X$-modules naar zwak holonome $\mathcal{\hat{D}}_X$-modules van eindige lengte stuurt. Dit is een sterke versterking van eerdere resultaten.

C. Toepassingen op geometrische objecten (Theorems B & C):
Hij past zijn resultaten toe op twee belangrijke klassen van $\mathcal{\hat{D}}$-modules:

1. Meromorfe verbindingen: Hij toont aan dat de lokale cohomologie van meromorfe verbindingen (zoals beschreven door Bitoun–Bode) van eindige lengte is.
2. Integrale verbindingen: Hij bewijst dat voor een integrale verbinding $M$ op een quasi-compacte ruimte $X$, de pushforward $R_q j_* (M|_U)$ van een Zariski-open deel $U$ van eindige lengte is.

4. Significantie

De betekenis van dit werk is tweeledig:

1. Theoretische consolidatie: Het vult een cruciaal gat in de fundamentele theorie van $\mathcal{\hat{D}}$-modules door een brug te slaan tussen de algebraïsche $D$-module theorie en de analytische $\mathcal{\hat{D}}$-module theorie. Het biedt een manier om de "pathologieën" (oneindige lengte) te omzeilen door strikte criteria te stellen.
2. Constructieve waarde: Het biedt concrete voorbeelden van $\mathcal{\hat{D}}$-modules die wel zwak holonoom zijn maar niet holonoom, terwijl ze toch een eindige lengte hebben. Dit verduidelijkt de hiërarchie tussen deze klassen van modules en biedt een robuust instrumentarium voor onderzoekers in de niet-archimedeanse geometrische representatietheorie en de studie van meromorfe verbindingen.