This post is about something somewhat weird I noticed about infinitesimal bimodules over operads and their relationships with some operads. I don’t know if it’s something significant, and I’d definitely be interested to hear more about it.
Context: abelian bimodules
As I said, this post is about abelian bimodules, sometimes also called infinitesimal or weak bimodules. They are a “linearized” version of usual bimodules over operads. Let me now recall their definition.
Definition. Let , be two operads in a symmetric monoidal category . An abelian -bimodule is a symmetric collection equipped with composition morphisms:
satisfying obvious equivariance and associativity properties.
By composing multiple times elements of with elements of , one can give the structure of a full right module over . However, is not a left module (AKA algebra) over , as only one element of can appear in successive compositions. Similarly a full bimodule is not necessarily an abelian bimodule. An operad is always an abelian -bimodule.
Morally, an abelian bimodule over an operad is exactly the data required to “infinitesimally” extend the operad: if is an abelian bimodule over , then there’s an operad defined by , and where the composition maps are defined using the composition maps of and the bimodule structure of . See §II.2.1 of [Fresse] for more details.
Modules as diagrams
Various categories of (bi)modules over operads can be represented as diagrams over categories associated to these operads. I’ll now explain how, using the notations from [Arone–Turchin]. Let be an operad in a symmetric monoidal category .
Definition. The PROP associated to is the symmetric monoidal category whose objects are finite sets and whose morphisms are given by:
In this definition, we implicitly use the fact that operads can equivalently be defined as functors instead of as symmetric collections. The composition of is explicit and better understood with a graphical calculus (see [Arone–Turchin, §4] or [Loday–Vallette, §5.4]). It is a symmetric monoidal category, with tensor product given on objects by disjoint union.
Proposition. [Loday–Vallette, Prop. 5.4.2] The category of -algebras (left modules) is equivalent to the category of symmetric monoidal functors .
Roughly speaking, a symmetric monoidal functor is determined on objects by its value on a singleton, say ; then its value on a set with elements is . The functor then maps elements of to morphisms , and then everything fits nicely together to produce an algebra.
Proposition. [Arone–Turchin, Lemma 4.3] The category of right modules over is equivalent to the category of contravariant functors .
Note here that functors are no longer assumed to be monoidal. To get an idea of the proof, note that if is a right module over , then one gets maps , and again everything fits together. Drawing pictures of trees is immensely helpful here.
Example. The category is the category of finite sets [exercise]. Thus a right -module is the same thing as a functor .
Now we define a new category, , to model abelian bimodules.
Definition. [Arone–Turchin, Def. 4.5] The category has as objects pointed finite sets and morphisms are given by:
The definition of is suspiciously similar to the definition of , but instead of finite sets one uses finite pointed sets, and the map appearing in the definition is a pointed map. Composition is defined just like the composition of .
Arone–Turchin then define a certain “twisted” version , with the same objects and morphisms as , but with a modified composition: if are pointed sets and maps, one must define a composition of the type:
In , this is defined in a straightforward way using partial composition operations of . In , for the composition along the base point , the orders of are first switched, and only then is the partial composition used. The rest of the compositions aren’t changed.
Proposition. [Arone–Turchin, Prop. 4.9] The category of abelian -bimodules is equivalent to the category of functors .
Now that everything is defined correctly, this is now a matter of not getting confused with indices. The base point represents morally the action on the left (which explains why the order of the composition had to be changed), while the rest of the points represents the action on the right (using that ).
Example. The category is clearly ; but moreover, is also equivalent to (Arone–Turchin conjecture that this is true for any cyclic operad). Thus an abelian bimodule over is the same thing as a contravariant functor from .
Now here’s what I find a bit weird. According to Segal, a “fibrant” (for some right notion of fibrant) functor yield an infinite loop space, i.e. an -space. Morally, an -space is an algebra over a cofibrant resolution of the topological operad . But as we just saw, a contravariant functor , in the algebraic setting, is the same thing as an abelian bimodule over . My question is, are these two things related? Or am I grasping at straws?
- Gregory Arone and Victor Turchin. “On the rational homology of high dimensional analogues of spaces of long knots”. In: Geom. Topol. 18.3 (2014), pp. 1261–1322. ISSN: 1465-3060. DOI: 10.2140/gt.2014.18.1261. arXiv: 1105.1576 [math.AT]. MR3228453.
- Benoit Fresse. Homotopy of Operads and Grothendieck–Teichmüller Groups. Preprint.
- Jean-Louis Loday and Bruno Vallette. Algebraic operads. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 346. Heidelberg: Springer, 2012, pp. xxiv+634. ISBN: 978-3-642-30361-6. DOI: 10.1007/978-3-642-30362-3. MR2954392.