🔢 mathematics

On D-cap-Modules of Finite Length on Rigid Analytic Spaces

This paper establishes that for quasi-compact smooth rigid analytic spaces, the extension functor maps holonomic $\mathcal{D}$ -modules to coadmissible $\mathcal{D}$ -cap-modules of finite length, a result achieved through the introduction of Hilbert polynomials for modules over completed Weyl algebras and applied to show the finite length of specific meromorphic connections and local cohomology groups.

Original authors: Julian Reichardt

Published 2026-04-28

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Julian Reichardt

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master architect trying to build a city that exists in two different dimensions at once: a solid, physical world (the Algebraic world) and a fluid, shimmering, dream-like world (the Rigid Analytic world).

In the solid world, everything follows strict, predictable rules. In the dream world, things are more "fuzzy" and continuous, but they can also be incredibly unstable. This paper is essentially a set of mathematical "blueprints" that explains how to translate structures from the solid world into the dream world without them falling apart or becoming infinitely complex.

Here is the breakdown of the paper using everyday analogies.

1. The Problem: The "Infinite Complexity" Trap

In mathematics, we often study D-modules, which you can think of as "instruction manuals" for how things change (like how a wave moves through water).

In the solid, algebraic world, these manuals are well-behaved. If you follow the instructions, you get a predictable result. But when you try to translate these manuals into the "dream world" (the $\hat{\mathcal{D}}$ -modules), something goes wrong. Because the dream world is so fluid, a simple instruction manual can suddenly explode into an infinite, unmanageable mess of complexity.

The author, Julian Reichardt, noticed that some of these manuals were becoming "infinite in length"—meaning they had an endless number of sub-steps, making them impossible to study or use.

2. The Solution: The "Stabilization" Tool

To fix this, the author introduces a new tool: Hilbert Polynomials.

Think of a Hilbert Polynomial like a "Complexity Thermometer." Before you try to build something in the dream world, you use this thermometer to measure how much "heat" (complexity) the instructions will generate.

The paper proves that if you start with a "Holonomic" manual (which is a fancy way of saying a "highly efficient, streamlined instruction manual"), the complexity thermometer will stay within a safe, predictable range. It won't explode into infinity; it will stay "finite."

3. The Big Discovery: The "Bridge" Works

The most important part of the paper is Theorem A.

Imagine there is a bridge between the Solid City and the Dream City. Previously, mathematicians knew that if you sent a "perfectly efficient" manual across the bridge, it would arrive in the Dream City in a usable form. However, they didn't know if it would arrive as a manageable, finite set of instructions or an infinite, chaotic nightmare.

Reichardt proves that the bridge is safe. He shows that if you start with a "Holonomic" manual in the solid world, it will always arrive in the dream world as a "Finite Length" module. This means it remains a practical, study-able object that won't break the math.

4. Real-World Applications (The "Stress Tests")

To prove his theory works, the author performs three "stress tests" on common mathematical structures:

The Meromorphic Connection (The "Broken Mirror" Test): Imagine looking at a reflection in a mirror that has cracks in it. These cracks represent "singularities." The author proves that even with these cracks, the mathematical instructions remain manageable and finite.
The Local Cohomology (The "Microscope" Test): This is like zooming in infinitely close to a single point on a map. He proves that even when you zoom in that far, the complexity doesn't spiral out of control.
The Non-Holonomic Surprise: He even finds a "glitch in the matrix"—a rare case where a manual is finite and manageable but not perfectly efficient. This proves that "being manageable" and "being perfectly efficient" are two different things, which helps mathematicians categorize these objects more accurately.

Summary for the Non-Mathematician

The "Too Long; Didn't Read" version:
Mathematicians have been trying to move complex ideas from a "stable" mathematical world to a "fluid" one. The fear was that these ideas would become infinitely messy during the move. This paper provides the mathematical proof that, as long as you start with "efficient" ideas, they will stay "manageable" and "finite" when they arrive in the new world. It gives mathematicians the confidence to build much more complex structures in the "dream world" without fear of mathematical chaos.

Technical Summary: On $\hat{\mathcal{D}}$ -Modules of Finite Length on Rigid Analytic Spaces

Author: Julian Reichardt
Subject Area: Non-archimedean Geometry, Arithmetic Geometry, $\mathcal{D}$ -module Theory

1. The Problem: The Gap in $\hat{\mathcal{D}}$ -module Theory

The study of $\mathcal{D}$ -modules (modules over sheaves of differential operators) is a cornerstone of algebraic geometry. In the rigid analytic setting over a non-archimedean field $K$ of mixed characteristic $(0, p)$ , the theory of $\hat{\mathcal{D}}$ -modules (analytic differential operators) has been developed to account for the topological nature of rigid geometry.

However, a significant foundational gap exists regarding holonomicity and finite length. In classical complex geometry, holonomic $\mathcal{D}$ -modules are well-behaved: they are always of finite length and stable under standard operations. In the rigid analytic setting, the lack of a robust "characteristic variety" led to the introduction of weakly holonomic $\hat{\mathcal{D}}$ -modules. While these are homologically well-defined, they exhibit pathological behavior: they can be of infinite length or have infinite-dimensional fibres. The central problem addressed by this paper is to establish criteria for when these weakly holonomic $\hat{\mathcal{D}}$ -modules actually behave like their classical counterparts—specifically, when they possess finite length.

2. Methodology: Algebraic Stabilization and Hilbert Polynomials

Reichardt employs a multi-step technical approach to bridge the gap between the algebraic and analytic worlds:

Deformable $R$ -algebras and Stabilization: The author utilizes the theory of "deformable $R$ -algebras" (where $R$ is the ring of integers of $K$ ). By studying the deformations of modules over these algebras, the author proves that the associated graded modules stabilize for sufficiently large $n$ . This allows for the transfer of properties from the "deformed" (more manageable) algebraic structures to the completed (analytic) structures.
Double Filtrations and Completed Weyl Algebras: The paper introduces a specialized framework for completed Weyl algebras $\hat{A}_d(K)$ . By endowing these algebras with "double filtrations" (combining the Bernstein filtration and the order filtration), the author constructs a theory of Hilbert polynomials for finitely generated modules over these completed algebras.
Dimension Theory: Using the Hilbert polynomial, the author defines a notion of dimension and multiplicity for modules over completed Weyl algebras. This provides a numerical way to measure the "size" of a module, analogous to the classical Bernstein inequality.

3. Key Contributions and Results

The paper provides several major theoretical advancements:

Theorem A (The Extension Functor): This is a central result stating that the extension functor $E_X$ , which maps coherent algebraic $\mathcal{D}_X$ -modules to coadmissible $\hat{\mathcal{D}}_X$ -modules, sends holonomic $\mathcal{D}_X$ -modules to $\hat{\mathcal{D}}_X$ -modules that are of finite length in the category of weakly holonomic modules.
Theorem B & C (Geometric Applications): The author proves that for a quasi-compact smooth rigid analytic space $X$ $X$ :
- The higher direct images $R^q j_* (M|_U)$ of an integrable connection $M$ under a Zariski-open embedding $j: U \to X$ are of finite length.
- The local cohomology groups $H^q_Z(M)$ with support in a closed analytic subset $Z$ are of finite length.
Existence of Non-Holonomic Finite Length Modules: Crucially, the paper provides explicit examples (Corollary 6.2) of $\hat{\mathcal{D}}$ -modules that are of finite length but not holonomic. This clarifies that in the rigid analytic setting, "finite length" is a strictly weaker condition than "holonomicity," mirroring the classical setting but in a more complex way.
Refined Meromorphic Connections: The paper strengthens existing results (Bitoun–Bode) by providing a more refined version of the finite length property for meromorphic connections with singularities along a hypersurface.

4. Significance

This work is significant for several reasons:

Foundational Robustness: It provides the "missing" stability results for $\hat{\mathcal{D}}$ -modules, making the theory more predictable and applicable to geometric problems.
Unification: By using the language of Lie–Rinehart algebras, the author provides a uniform treatment of both algebraic and analytic differential operators.
Computational Tools: The introduction of Hilbert polynomials for completed Weyl algebras provides a new toolkit for researchers working in non-archimedean arithmetic geometry to study the growth and dimension of differential modules.
Bridging Theory: It successfully links the homological definition of weak holonomicity with the constructive properties of finite length, providing a more complete picture of the category of coadmissible $\hat{\mathcal{D}}$ -modules.