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.

Koszul Operads Governing Props and Wheeled Props

Relative nonhomogeneous Koszul duality for PROPs associated to nonaugmented operads

Koszul duality for operadic categories

Operadic Kazhdan-Lusztig-Stanley theory

The operads of planar forests are Koszul

Compatible Structures of Nonsymmetric Operads, Manin Products and Koszul Duality

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

Higher configuration operads by way of quiver Grassmannians

Koszul duality for dioperads

Koszul duality and a conjecture of Francis-Gaitsgory

The Koszul complex is the cotangent complex

Combalgebraic structures on decorated cliques

Operads on graphs: extending the pre-Lie operad and general construction

A generalization of operads based on subgraph contractions

A minimal model for prestacks via Koszul duality for box operads

Wheeled PROPs, graph complexes and the master equation

Algebraic groups of homotopy classes of automorphisms and operadic Koszul duality

A Representation theoretic perspective of Koszul theory

Gröbner bases for operads

Koszul duality for monoids and the operad of enriched rooted trees

Koszul duality for Coxeter groups