Legendrian Structures in Derived Geometry
arXiv:2406.17416
Abstract
This is the third installment in a series of papers on the subject of derived contact structures. In this paper, we formally introduce the notion of a Legendrian structure in the derived context and provide natural constructions. We then present affine models and prove a Legendrian-Darboux theorem for the Legendrians in contact derived schemes.
Latest version: 27 pages. Sections 3 and 4 revisited: corrections, simplifications, examples, clarifications, edits; Theorem 1.2 (now Theorem 1.1) corrected; new references and concluding remarks added. Comments welcome!