Derived Foliations
arXiv:2305.08212
Abstract
This is a book on derived foliations, that are a generalisation of classical foliations in the context of derived geometry. The text starts with the basic definitions and constructions, then explore foliated cohomology (with crystal coefficients), formal and analytic integrability problems, existence of the leaf space, characteristic classes, and two different notions of derived foliation in arbitrary characteristics.
Research monograph, 258 Pages. Preliminary version. Comments are welcome