The reconstruction conjecture for holonomic systems

Let XX be a complex analytic manifold and let P\boldsymbol{P} denote the complex projective line. Consider the contravariant functors

Φ ⁣:D(DX)D(ICX×P) ⁣:Ψ\Phi\colon D(\mathcal D_X)\rightleftarrows D(\mathrm{I}\mathbb C_{X\times\boldsymbol{P}})\colon\Psi

obtained from tempered holomorphic solutions after tensoring with the exponential module associated with the affine coordinate on P\boldsymbol{P}, where P\boldsymbol{P} is equipped with the projections from X×PX\times\boldsymbol{P}. Reconstruction conjecture. The natural morphism of endofunctors

idΨΦ\operatorname{id}\longrightarrow\Psi\circ\Phi

is an isomorphism on Dhol(DX)D_{\mathrm{hol}}(\mathcal D_X), and the restriction

ΦDhol(DX) ⁣:Dhol(DX)D(ICX×P)\Phi|_{D_{\mathrm{hol}}(\mathcal D_X)}\colon D_{\mathrm{hol}}(\mathcal D_X)\longrightarrow D(\mathrm{I}\mathbb C_{X\times\boldsymbol{P}})

is fully faithful. This would provide a Riemann–Hilbert correspondence for holonomic systems, extending the classical correspondence from regular holonomic systems to arbitrary holonomic systems and recovering a holonomic system from its ind-constructible complex of tempered solutions.

Sources & referencesView supporting material

Primary source

Andrea D'Agnolo and Masaki Kashiwara, “On a reconstruction theorem for holonomic systems”, arXiv:1208.6104 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.