Moduli of regular holonomic \(\mathcal D\)-modules with normal crossing singularities (Q1974944)

Let \(X\) be a non-singular complex projective variety of dimension \(d\) and let \(Y\) be a divisor with normal crossing, but whose irreducible components may be singular. By considering the singular stratification of \(X\) induced by \(Y\), we can define \(N^*(Y)\), the union of conormal bundles of the strata. It is a closed Lagrangian subset of \(T^*X\). We consider regular holonomic \({\mathcal D}\)-modules on \(X\) whose characteristic varieties are contained in \(N^*(Y)\). Such regular holonomic \({\mathcal D}\)-modules form an abelian category, in which each object is of finite length. These are called regular holonomic \({\mathcal D}\)-modules on \((X,Y)\). The present paper solves the moduli problem for regular holonomic \({\mathcal D}\)-modules. This is done by extending the notion of pre-\({\mathcal D}\)-modules to our case, defining semi-stability, and constructing a moduli for these, using geometric-invariant-theoretic methods and Simpson's conjecture of moduli for semi-stable \(\Lambda\)-modules. Also, a moduli is constructed for the corresponding perverse sheaves, and the Riemann-Hilbert correspondence is represented by an analytic morphism with various good properties.