A universal characterization of the curved homotopy Lie and associative operads

TL;DR

This paper provides a universal framework for understanding curved homotopy Lie and associative operads through a categorical approach, revealing their fundamental properties and twisting operations.

Contribution

It introduces a universal characterization of curved A-infinity and L-infinity operads within a categorical setting, connecting twisting procedures to adjunction units.

Findings

Initial object identified as curved A-infinity operad

Existence of a right adjoint to the forgetful functor

Twisting by Maurer-Cartan elements encoded by the adjunction unit

Abstract

We study the category of nonsymmetric dg operads valued in strict graded-mixed complexes, equipped with a distinguished arity zero weight one element which generates the weight grading, and whose differential has weight one. We show that the initial object is the curved A-infinity operad, that the forgetful functor to the category of operads under it admits a right adjoint, and that the unit of the adjunction encodes the operation of twisting a curved A-infinity algebra by a Maurer-Cartan element. The corresponding notions for symmetric operads characterize the curved L-infinity operad and the corresponding twisting procedure.