🔢 mathematics

Riemann-Hilbert correspondence for Alexander complexes

This paper establishes a relative Riemann-Hilbert correspondence for Alexander complexes using equivariant relative regular holonomic $\mathscr{D}$ -modules to provide a global approach to Deligne's nearby cycles and derives a formula for their relative support via Bernstein-Sato ideals.

Original authors: Lei Wu

Published 2026-01-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Lei Wu

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

The Big Picture: Translating Two Languages

Imagine you are trying to understand a complex machine (a mathematical function) that has a few broken or "singular" parts (places where the function explodes or behaves wildly). Mathematicians have two different languages to describe this machine:

The "Shape" Language (Sheaves/Topology): This language describes the machine by looking at its holes, loops, and how it twists around the broken parts. It's like describing a knot by how many times it loops.
The "Equation" Language (D-Modules): This language describes the machine using differential equations (rules about how things change). It's like describing the knot by the specific mathematical formulas that generate its shape.

For a long time, mathematicians knew these two languages were connected, but only for simple cases (like a single broken part). This paper builds a universal translator that works even when you have a whole family of broken parts happening at once. It proves that you can perfectly translate the "Shape" description into the "Equation" description and back again, no matter how complex the setup is.

The Main Characters

1. The "Alexander Complex" (The Shape Language)
Think of a function $f$ as a landscape with a cliff edge (the divisor $D$ ). If you walk around this cliff, you might get dizzy or change your perspective.

The Analogy: Imagine you are walking around a lighthouse in the dark. Every time you circle it, you see the light from a slightly different angle. If you keep walking, you eventually return to your starting point, but your "memory" of the journey might be different.
The Math: The "Alexander Complex" is a mathematical record of all these different perspectives and how they twist around the cliff edge. It captures the "monodromy" (the twisting action) of the landscape.

2. The "Bernstein-Sato Ideal" (The Equation Language)
This is a special set of rules (polynomials) that tells you exactly how the function behaves near the cliff edge.

The Analogy: Imagine you have a magic ruler that can measure the "steepness" of the cliff. The Bernstein-Sato ideal is the list of all the possible measurements this ruler can give you. It tells you the "recipe" for the cliff's behavior.

The Problem: The "Global" vs. "Local" Gap

Before this paper, mathematicians could translate between the "Shape" and "Equation" languages, but only if they looked at the cliff from very close up (a "local" view). It was like having a dictionary that only worked for one word at a time.

The author, Lei Wu, wanted to create a dictionary that works for the entire landscape at once (a "global" view), even when there are multiple cliffs ( $f_1, f_2, \dots, f_r$ ) interacting with each other.

The Solution: The "Universal Cover" and the "Elevator"

To solve this, the author uses a clever trick involving a "universal cover."

The Analogy: Imagine the cliff edge is a circle. If you walk around it, you return to the start. But in the "universal cover," the circle is unrolled into an infinite straight line. Walking around the circle once moves you up one floor on an infinite elevator.
The Math: The paper constructs a new mathematical object (a "relative D-module") that lives on this infinite elevator.
- Maximal Extension: Imagine building a bridge that goes over the cliff, allowing you to cross it freely.
- Minimal Extension: Imagine building a bridge that stays tight to the cliff, only going where absolutely necessary.
- The Difference: The paper shows that the difference between the "Over" bridge and the "Tight" bridge is exactly the "Alexander Complex" (the twisting record of the journey).

The Key Results

1. The Perfect Translation (Theorem 1.1)
The paper proves that if you take the "Equation" version of the bridges (Maximal and Minimal extensions) and translate them into the "Shape" language, you get exactly the Alexander Complex.

Simple Takeaway: We now have a precise formula to turn the rules of the cliff into the record of the journey, and vice versa, for any number of cliffs.

2. Mapping the "Twist" (Theorem 1.4 & Corollary 1.5)
The paper figures out exactly where these twists happen.

The Analogy: If you look at the infinite elevator, the "twists" don't happen randomly. They happen on specific, flat planes (like floors or walls) inside the elevator shaft.
The Math: The author proves that the "support" (the places where the math is active) is a finite collection of these flat planes. Furthermore, these planes are "linear," meaning they follow straight-line rules defined by simple numbers.
Why it matters: This confirms a long-standing guess (conjecture) that these complex mathematical structures are actually built from simple, straight-line components.

3. The "Zeta Function" (Section 1.3)
The paper also calculates a "monodromy zeta function."

The Analogy: Think of this as a "soundtrack" for the cliff. If you walk around the cliff, the zeta function tells you the rhythm of the twists. The paper gives a formula to write down this soundtrack based on the "Equation" rules (Bernstein-Sato ideals).

Summary in One Sentence

This paper builds a complete, global dictionary that translates the complex "twisting" behavior of multiple mathematical functions (Alexander complexes) into precise differential equations, proving that these twists always happen in simple, predictable, straight-line patterns.

What the Paper Does Not Do

It does not apply this to physics, engineering, or medicine.
It does not solve real-world problems like predicting weather or designing bridges.
It is purely a theoretical advancement in "Pure Mathematics," specifically in the field of Algebraic Geometry and D-Modules, aimed at understanding the fundamental structure of mathematical shapes and equations.

Technical Summary: Riemann-Hilbert Correspondence for Alexander Complexes

Problem Statement
The paper addresses the construction of an explicit, global, and functorial Riemann-Hilbert correspondence for Alexander complexes (also known as Sabbah specialization complexes). While the classical Riemann-Hilbert correspondence established by Kashiwara and Malgrange relates nearby cycles of regular holonomic $D$ -modules to Deligne's nearby cycles of perverse sheaves for a single holomorphic function, and Sabbah provided a "local" correspondence for Alexander complexes associated with a finite union of holomorphic functions, a "global" correspondence in the relative setting remained to be explicitly established. The specific challenge involves handling the equivariant structure induced by the fundamental group of the punctured complex plane $(\mathbb{C}^*)^r$ and relating the algebraic geometry of Bernstein-Sato ideals to the analytic geometry of constructible sheaves.

Methodology
The author employs a hybrid approach combining the methods of Sabbah (regarding $V$ -filtrations and specialization) and Beilinson-Bernstein (regarding algebraic localization and $D$ -module extensions). The core methodology relies on the theory of relative regular holonomic $D$ -modules over the product space $X \times \mathbb{C}^r$ relative to the projection to $\mathbb{C}^r$ .

Key technical steps include:

Relative Extensions: The construction of relative maximal ( $M(*D_F^{(r)})$ ) and minimal ( $M(!D_F^{(r)})$ ) extensions of a holonomic $D_X$ -module $M$ along a tuple of functions $F = (f_1, \dots, f_r)$ . These are defined as analytic sheafifications of specific $D_X[s]$ -modules involving formal symbols $F^s = \prod f_i^{s_i}$ .
Equivariance: Utilizing the universal cover $\text{Exp}: \mathbb{C}^r \to (\mathbb{C}^*)^r$ and the fundamental group $G = \pi_1((\mathbb{C}^*)^r) \cong \mathbb{Z}^r$ . The paper establishes that these relative extensions and their quotient are $G$ -equivariant sheaves. The action of $G$ on the coordinate ring $\mathbb{C}[s]$ is defined by translation ( $t_i \cdot s_j = s_j + \delta_{ij}$ ).
Bernstein-Sato Ideals: The analysis of the zero loci of Bernstein-Sato ideals associated with $M$ and $F$ to characterize the relative support of the constructed modules.
Relative Riemann-Hilbert: Leveraging the recently established relative Riemann-Hilbert correspondence (FMFS23) and developing specific GAGA-type principles between analytic and algebraic relative $D$ -modules and constructible sheaves.

Key Contributions and Results

Theorem 1.1 (Global Riemann-Hilbert Correspondence): The paper establishes a natural quasi-isomorphism between the equivariant direct image of the relative de Rham complex of the quotient module $\Psi_F(M) = M(*D_F^{(r)}) / M(!D_F^{(r)})$ and the analytic sheafification of the Alexander complex $\psi_F(DR_X(M))$ . Specifically:
$\pi^G_* \left( DR_{X \times \mathbb{C}^r / \mathbb{C}^r}(\Psi_F(M)) \right) \simeq \widetilde{\psi}_F(DR_X(M))$
where $\pi^G_*$ is the equivariant direct image functor. This result generalizes the Kashiwara-Malgrange correspondence to the multi-variable setting and provides a global functorial link between the $D$ -module side and the constructible sheaf side.
Theorem 1.2 (Higher Codimension Comparison): The correspondence is refined to compare higher-codimensional Sabbah specialization complexes along intersections of divisors $D_I = \bigcap_{i \in I} D_i$ using local cohomology sheaves.
Theorem 1.4 & Corollary 1.5 (Relative Support): The paper provides an explicit geometric description of the relative support of $\Psi_F(M)$ and the Alexander complex. The support is shown to be a finite union of translated codimension-one subtori in $(\mathbb{C}^*)^r$ . This is derived from the zero loci of Bernstein-Sato ideals, where the support corresponds to the union of divisors defined by $L \cdot s + \alpha = 0$ (mapped via the exponential map).
Theorem 1.6 (Relative Characteristic Cycles): The author computes the relative characteristic cycle of $\Psi_F(M)$ as an infinite symmetric sum over the $G$ -orbit of Lagrangian cycles supported on the characteristic variety of $M$ . This formula relates the multiplicities of the components to the monodromy zeta function.
Linearity Conjecture: The paper proposes a conjecture (Conjecture 2.20) regarding the structure of the support of Ext-modules in the relative setting, suggesting they are unions of translated linear subspaces defined over $\mathbb{Q}$ . It is noted that this implies Budur's conjecture on the structure of Bernstein-Sato ideal zero loci.

Significance
The paper claims to provide the first explicit "global" Riemann-Hilbert correspondence for Alexander complexes in a functorial manner. By generalizing the classical result of Kashiwara and Malgrange, it bridges the gap between the algebraic theory of Bernstein-Sato ideals and the topological theory of cohomology jumping loci (via Alexander complexes).

The work offers a precise $D$ -module interpretation of the support of Alexander complexes, confirming that they are finite unions of translated subtori. Furthermore, it extends previous results (such as those in BVWZ21a and BG12) to the general case of regular holonomic $D$ -modules, not just the structure sheaf $\mathcal{O}_X$ . The results serve as explicit examples within the broader framework of the relative regular Riemann-Hilbert correspondence established in recent literature (FMFS23), while introducing necessary new tools such as equivariant relative $D$ -modules and specific GAGA principles for relative settings.