On the Derived Category of an Algebra Over an Operad

We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.

OPERADS AND JET MODULES

Let A be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of A-modules. We define certain symmetric product functors of such modules generalizing the tensor product of modules over commutative algebras, which we use to define the notion of a jet module. This in turn generalizes the notion of a jet module over a module over a classical commutative algebra. We are able to define Atiyah classes (i.e., obstructions to the existence of connections) in this generalized context. We use certain model structures on the category of A-modules to study the properties of these Atiyah classes. The purpose of the paper is not to present any really deep theorem. It is more about the right concepts when dealing with modules over an algebra that is defined over an arbitrary operad, i.e., the aim is to show how to generalize various classical constructions, including modules of jets, the Atiyah class and the curvature, to the operadic context. For convenience of the reader and for the purpose of defining the notations, the basic definitions of the theory of operads and model categories are included.