Algebraic foliations and derived geometry: the Riemann-Hilbert correspondence

This is the first in a series of papers about foliations in derived geometry. After introducing derived foliations on arbitrary derived stacks, we concentrate on quasi-smooth and rigid derived foliations on smooth complex algebraic varieties and on their associated formal and analytic versions. Their truncations are classical singular foliations defined in terms of differential ideals in the algebra of forms. We prove that a quasismooth rigid derived foliation on a smooth complex variety X is formally integrable at any point, and, if we suppose that its singular locus has codimension >= 2, its analytification is a locally integrable singular foliation on the associated complex manifold X-h. We then introduce the derived category of perfect crystals on a quasi-smooth rigid derived foliation on X, and prove a Riemann-Hilbert correspondence for them when X is proper. We discuss several examples and applications.

Automated summary

This paper is the first in a series of papers about foliations in derived geometry. The authors introduce derived foliations on arbitrary derived stacks and focus on quasi-smooth and rigid derived foliations on smooth complex algebraic varieties. They discuss their formal and analytic versions and prove several results, including the formal integrability of quasismooth rigid derived foliations and the local integrability of their analytifications. The authors also introduce the derived category of perfect crystals on a quasi-smooth rigid derived foliation and establish a Riemann-Hilbert correspondence for them.