Abstract

Lie algebroid and algebraic foliation are two natural algebraic analogues of foliation in differential geometry, which are nevertheless not equivalent without smooth condition. In this project, we disregard this disharmony by considering their derived analogues, and use a refined Koszul duality to establish an equivalence (of sub-∞-categories) between partition Lie algebroids and infinitesimal derived foliations.