On the structure of \'etale fibrations of $L_\infty$-bundles

TL;DR

This paper investigates the structure of étale fibrations of L-infinity bundles, establishing local sections, an inverse function theorem, and a homotopy category description, advancing the understanding of their morphisms and equivalences.

Contribution

It introduces a new local section construction for étale fibrations of L-infinity bundles and proves an inverse function theorem, clarifying their homotopy theory.

Findings

Existence of local sections composed of simple elementary morphisms.

An inverse function theorem for L-infinity bundles.

Weak equivalences induce quasi-isomorphisms of global functions.

Abstract

We prove that an \'etale fibration between $L_\infty$-bundles admits local sections composed of several elementary morphisms of particularly simple and accessible type. As applications, we establish an inverse function theorem for $L_\infty$-bundles and provide an elementary proof that every weak equivalence of $L_\infty$-bundles induces a quasi-isomorphism of the differential graded algebras of global functions. Furthermore, we apply this inverse function theorem to show that the homotopy category of $L_\infty$-bundles admits a simple description in terms of homotopy classes of morphisms, when $L_\infty$-bundles are restricted to their germs around their classical loci.