Riemann-Hilbert correspondence for Alexander complexes

Technische Samenvatting: Riemann-Hilbert-correspondentie voor Alexander-complexen

Probleemstelling
Het artikel behandelt de constructie van een expliciete, globale en functoriele Riemann-Hilbert-correspondentie voor Alexander-complexen (ook wel bekend als Sabbah-specialisatiecomplexen). Terwijl de klassieke Riemann-Hilbert-correspondentie, vastgesteld door Kashiwara en Malgrange, verband houdt met de nabijheidscycli van reguliere holonome $D$-modules van Deligne's nabijheidscycli voor een enkele holomorfe functie, en Sabbah een "lokale" correspondentie bood voor Alexander-complexen geassocieerd met een eindige vereniging van holomorfe functies, bleef een "globale" correspondentie in de relatieve setting expliciet te worden vastgesteld. De specifieke uitdaging behelst het behandelen van de equivariante structuur geïnduceerd door de fundamentele groep van de gepuncteerde complexe vlak $\mathbb{C}^*$ (gegeven door $(\mathbb{C}^*)^r$) en het relateren van de algebraïsche geometrie van Bernstein-Sato-idealen aan de analytische geometrie van constructibele verzamelingen (sheaves).

Methodologie
De auteur hanteert een hybride benadering die de methoden van Sabbah (met betrekking tot $V$-filtraties en specialisatie) combineert met die van Beilinson-Bernstein (met betrekking tot algebraïsche lokalisatie en $D$-module extensies). De kernmethodologie rust op de theorie van relatieve reguliere holonome $D$-modules over de productruimte $X \times \mathbb{C}^r$ relatief ten opzichte van de projectie naar $\mathbb{C}^r$.

Belangrijke technische stappen zijn:

1. Relatieve Extensies: De constructie van relatieve maximale ($M(*D_F^{(r)})$) en minimale ($M(!D_F^{(r)})$) extensies van een holonome $D_X$-module $M$ langs een tupel van functies $F = (f_1, \dots, f_r)$. Deze worden gedefinieerd als analytische sheafificaties van specifieke $D_X[s]$-modules die gebruikmaken van formele symbolen $F^s = \prod f_i^{s_i}$.
2. Equivariantie: Het gebruik van de universele dekking $\text{Exp}: \mathbb{C}^r \to (\mathbb{C}^*)^r$ en de fundamentele groep $G = \pi_1((\mathbb{C}^*)^r) \cong \mathbb{Z}^r$. Het artikel stelt vast dat deze relatieve extensies en hun quotient $G$-equivariante sheaves zijn. De actie van $G$ op de coördinatencirkel $\mathbb{C}[s]$ wordt gedefinieerd door translatie ($t_i \cdot s_j = s_j + \delta_{ij}$).
3. Bernstein-Sato-idealen: De analyse van de nulwortels van Bernstein-Sato-idealen geassocieerd met $M$ en $F$ om de relatieve ondersteuning (support) van de geconstrueerde modules te karakteriseren.
4. Relatieve Riemann-Hilbert: Het benutten van de recent vastgestelde relatieve Riemann-Hilbert-correspondentie (FMFS23) en het ontwikkelen van specifieke GAGA-achtige principes tussen analytische en algebraïsche relatieve $D$-modules en constructibele sheaves.

Kernbijdragen en Resultaten

• Stelling 1.1 (Globale Riemann-Hilbert-correspondentie): Het artikel vestigt een natuurlijke quasi-isomorfie tussen de equivariante directe afbeelding van het relatieve de Rham-complex van de quotientmodule $\Psi_F(M) = M(*D_F^{(r)}) / M(!D_F^{(r)})$ en de analytische sheafificatie van de Alexander-complex $\psi_F(DR_X(M))$. Specifiek:
  $$\pi^G_* \left( DR_{X \times \mathbb{C}^r / \mathbb{C}^r}(\Psi_F(M)) \right) \simeq \widetilde{\psi}_F(DR_X(M))$$
  waarbij $\pi^G_*$ de equivariante directe afbeelding-functor is. Dit resultaat generaliseert de Kashiwara-Malgrange-correspondentie naar de multivariabele setting en biedt een globale functoriele link tussen de $D$-module zijde en de constructibele sheaf zijde.

• Theorem 1.2 (Hogere Codimensie Vergelijking): De correspondentie wordt verfijnd om hogere-codimensie Sabbah-specialisatiecomplexen langs intersecties van divisoren $D_I = \bigcap_{i \in I} D_i$ te vergelijken met behulp van lokale cohomologie-sheaves.

• Theorem 1.4 & Corollary 1.5 (Relatieve Ondersteuning): Het artikel biedt een expliciete geometrische beschrijving van de relatieve ondersteuning van $\Psi_F(M)$ en de Alexander-complex. De ondersteuning wordt getoond te een eindige vereniging van getranslateerde codimensie-één subtori in $(\mathbb{C}^*)^r$ te zijn. Dit is afgeleid van de nulwortels van Bernstein-Sato-idealen, waarbij de ondersteuning overeenkomt met de vereniging van divisoren gedefinieerd door $L \cdot s + \alpha = 0$ (gemapt via de exponentiële afbeelding).

• Theorem 1.6 (Relatieve Karakteristieke Cycli): De auteur berekent de relatieve karakteristieke cyclus van $\Psi_F(M)$ als een oneindige symmetrische som over de $G$-baan van Lagrangiaanse cycli ondersteund op de karakteristieke variëteit van $M$. Deze formule relateert de multipliciteiten van de componenten aan de monodromie-zetafunctie.

• Lineariteit Conjectuur: Het artikel stelt een conjectuur voor (Conjecture 2.20) over de structuur van de ondersteuning van Ext-modules in de relatieve setting, die suggereert dat deze verenigingen zijn van getranslateerde lineaire subruimten gedefinieerd over $\mathbb{Q}$. Er wordt opgemerkt dat dit Buders conjectuur over de structuur van de nulwortels van Bernstein-Sato-idealen impliceert.

Significantie
Het artikel beweert de eerste expliciete "globale" Riemann-Hilbert-correspondentie voor Alexander-complexen op een functoriele wijze te bieden. Door de klassieke resultaten van Kashiwara en Malgrange te generaliseren, overbrugt het de kloof tussen de algebraïsche theorie van Bernstein-Sato-idealen en de topologische theorie van cohomologie-springende loci (via Alexander-complexen).

Het werk biedt een precieze $D$-module interpretatie van de ondersteuning van Alexander-complexen, en bevestigt dat deze eindige verenigingen van getranslateerde subtori zijn. Bovendien breidt het eerdere resultaten (zoals die in BVWZ21a en BG12) uit naar het algemene geval van reguliere holonome $D$-modules, en niet enkel naar de structuur-sheaf $\mathcal{O}_X$. De resultaten dienen als expliciete voorbeelden binnen het bredere kader van de relatieve reguliere Riemann-Hilbert-correspondentie die in recente literatuur is vastgesteld (FMFS23), terwijl ze noodzakelijke nieuwe instrumenten introduceren zoals equivariante relatieve $D$-modules en specifieke GAGA-principes voor relatieve settings.