Abstract:Prestacks are algebro-geometric objects whose defining relations are far from quadratic. Indeed, they are cubic and quartic, and moreover inhomogeneous. We show that box operads, a rectangular type of operads introduced in <a class="link-https" data-arxiv-id="2305.20036" href="https://arxiv.org/abs/2305.20036">arXiv:2305.20036</a>, constitute the correct framework to encode them and resolve their relations up to homotopy. Our first main result is a Koszul duality theory for box operads, extending the duality for (nonsymmetric) operads. In this new theory, the classical restriction of being quadratic is replaced by the notion of being $\textit{thin-quadratic}$, a condition referring to a particular class of ``thin'' operations. Our main case of interest is the box operad $Lax$ encoding lax prestacks as algebras. We show that $Lax$ is not Koszul by explicitly computing its Koszul complex. We then go on to remedy the situation by suitably restricting the Koszul dual box cooperad $Lax^{\antishriek}$ to obtain our second main result: we establish a minimal (in particular cofibrant) model $Lax_{\infty}$ for the box operad $Lax$ encoding lax prestacks. This sheds new light on Markl's question on the existence of a cofibrant model for the operad encoding presheaves of algebras from <a class="link-https" data-arxiv-id="math/0103052" href="https://arxiv.org/abs/math/0103052">arXiv:math/0103052</a>. Indeed, we answer the parallel question with presheaves viewed as prestacks, and prestacks considered as algebras over a box operad, in the positive.

The Operad Quad is Koszul

Koszul Equivalences in Algebras

The structure of Koszul algebras defined by four quadrics

The Koszul complex is the cotangent complex

The operads of planar forests are Koszul

Koszul duality for operadic categories

Koszul duality of affine kac -

Koszul duality and a conjecture of Francis-Gaitsgory

Koszul Operads Governing Props and Wheeled Props

A Representation theoretic perspective of Koszul theory

Categorification of quiver diagonalization and Koszul algebras

G-Quadratic, LG-Quadratic, and Koszul Quotients of Exterior Algebras

A Poincaré-Birkhoff-Witt criterion for Koszul operads

Koszul duality for monoids and the operad of enriched rooted trees

Algebraic groups of homotopy classes of automorphisms and operadic Koszul duality

Quadric Complexes

Quasi-hereditary algebras and generalized Koszul duality

Compatible Structures of Nonsymmetric Operads, Manin Products and Koszul Duality

Compatible structures of operads by polarization, their Koszul duality and Manin products

A minimal model for prestacks via Koszul duality for box operads

Construction of Koszul algebras by finite Galois covering