Abstract
We introduce the notion of regularity for a relative holonomic -module in the sense of Monteiro Fernandes and Sabbah [Internat. Math. Res. Not. (21) (2013), 4961-4984]. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of relative constructible complexes is essentially surjective by constructing a right quasi-inverse functor. When restricted to relative -modules underlying a regular mixed twistor -module, this functor satisfies the left quasi-inverse property.
| Original language | English |
|---|---|
| Pages (from-to) | 629-672 |
| Number of pages | 44 |
| Journal | Journal of the Institute of Mathematics of Jussieu |
| Volume | 18 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 1 May 2019 |
Keywords
- holonomic relative D-module
- mixed twistor D-module
- regularity
- relative constructible sheaf
- relative perverse sheaf