Operads, modules over walled Brauer categories, and Koszul complexes

TL;DR

This paper explores complexes related to operads and modules over walled Brauer categories, revealing their Koszul properties and connections to derivations, stable homology, and graph complexes in a characteristic zero setting.

Contribution

It introduces a new Koszul complex framework for operads over walled Brauer categories, linking it to derivations and stable homology, and extends previous work to wheeled operads.

Findings

The Chevalley-Eilenberg complex precursor is given by a Koszul complex on an explicit module.

The study establishes the Koszulity of modules over walled Brauer categories.

A new perspective on hairy graph complexes for operads is provided.

Abstract

We investigate certain complexes that are associated to an operad $\mathscr{O}$ in $k$-vector spaces, where $k$ is a field of characteristic $0$. This exploits the study of modules over the $k$-linearization of the upward walled Brauer category, $k\mathsf{uwb}$ (respectively of the downward walled Brauer category, $k\mathsf{dwb}$). These are Koszul over $k(\mathbf{FB \times FB})$, where $\mathbf{FB}$ is the category of finite sets and bijections. We show that the Chevalley-Eilenberg complex for the Lie algebra of derivations $\mathrm{Der} (\mathscr{O} (V))$ of the free $\mathscr{O}$-algebra on a finite-dimensional vector space $V$ has a precursor given by the Koszul complex on an explicit module over $(k\mathsf{dwb})_-$ (a twisted $k$-linearization of $\mathsf{dwb}$); this module is constructed naturally from the operad $\mathscr{O}$. Following Dotsenko, we also consider the more general case where a {\em wheeled} term is included. This identification exploits functoriality with respect to the category of finite-dimensional $k$-vector spaces with morphisms taken to be split monomorphisms, together with the relationship with functors on the upward (and downward) walled Brauer category. We also exploit methods developed by Sam and Snowden for investigating the stabilization of the families of representations of the general linear groups associated to a functor on the category of split monomorphisms between $k$-vector spaces. We give a new perspective on the results of Dotsenko, who investigated the stable homology of Lie algebras of derivations and established a link with the wheeled bar construction for wheeled operads. In particular, we explain why one of the Koszul complexes that we consider should be considered as the appropriate form of hairy graph complex for operads, by analogy with the case of cyclic operads.