Box operads and higher Gerstenhaber brackets

Authors Hoang Dinh Van, Lander Hermans, Wendy Lowen

Publication date 31 May 2023

Deformations and infinitesimal methods in commutative ring theory (13D10) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Algebraic operads, cooperads, and Koszul duality (18M70)

Abstract: We introduce a symmetric operad

s q u a r e p

("box-op") which describes a certain calculus of rectangular labeled ``boxes. Algebras over $s q u a r e p$ , which we call box operads, have appeared under the name of fc multicategories in work by Leinster cite{LeinsterFcmulticategories1999}. In our main result, we endow a suitable (graded, zero differential) totalisation $s q u a r e p_{m a t h r m t d}$ with a morphism $L_{i n f t y} i g h t a r r o w s q u a r e p_{m a t h r m t d}$ . We show that $s q u a r e p$ acts on an $m a t h b b N^{3}$ -graded enlargement of the $m a t h b b N^{2}$ -graded Gerstenhaber-Schack object $m a t h b f C_{G S} (m a t h b b A)$ of a quiver $m a t h b b A$ on a small category from cite{DinhVanLowen2018}. This action restricts to an $L_{i n f t y}$ -structure on $m a t h b f C_{G S} (m a t h b b A)$ (with zero differential). For an element $a l p h a = (m, f, c) i n m a t h b f C_{G S}^{2} (m a t h b b A)$ , the Maurer-Cartan equation holds precisely when $(m a t h b b A, m, f, c)$ is a lax prestack with multiplications $m$ , restrictions $f$ , and twists $c$ . As a consequence, the $a l p h a$ -twisted $L_{i n f t y}$ -structure on $m a t h b f C_{G S} (m a t h b b A)$ controls the deformation theory of $(m a t h b b A, a l p h a)$ as a lax prestack.

This page was built for publication: Box operads and higher Gerstenhaber brackets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6438704)