Categorical structures of Kuranishi spaces with $L_{\infty }[1]$-algebras

Abstract

We introduce $L_{\infty }$-Kuranishi spaces by associating, to each chart, $L_{\infty }[1]$-algebras defined on open neighborhoods of points in the zero locus of the Kuranishi section. We show that these objects collectively form a category into which the category of smooth manifolds naturally embeds. Some notions in \cite{FOOO1} are modified to achieve the desired categorical structures; for instance, the tangent bundle condition for chart embeddings is replaced by a quasi-isomorphism condition for the $L_{\infty }[1]$-structures.

57 pages. A reformatted version as an independent preprint from arXiv:2511.05206v1, focusing on Part II (Categorical Structures)