# About Abelian Bimodules

This post is about something somewhat weird I noticed about infinitesimal bimodules over operads and their relationships with some $E_{n}$ 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 $P$, $Q$ be two operads in a symmetric monoidal category $C$. An *abelian $(P,Q)$-bimodule* is a symmetric collection $M={M(n)}_{n≥0}$ equipped with composition morphisms:

satisfying obvious equivariance and associativity properties.

By composing multiple times elements of $M$ with elements of $Q$, one can give $M$ the structure of a full right module over $Q$. However, $M$ is not a left module (AKA algebra) over $P$, as only one element of $M$ can appear in successive compositions. Similarly a full bimodule is not necessarily an abelian bimodule. An operad $P$ is always an abelian $(P,P)$-bimodule.

Morally, an abelian bimodule over an operad is exactly the data required to “infinitesimally” extend the operad: if $M$ is an abelian bimodule over $P$, then there’s an operad $P⋉M$ defined by $(P⋉M)(r)=P(r)⊕M(r)$, and where the composition maps are defined using the composition maps of $P$ and the bimodule structure of $M$. 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 $P$ be an operad in a symmetric monoidal category $C$.

### Left modules

**Definition.** The *PROP associated to $P$* is the symmetric monoidal category $F(P)$ 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 $Bij_{op}→C$ instead of as symmetric collections. The composition of $F(P)$ 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 $P$-algebras (*left modules*) is equivalent to the category of symmetric monoidal functors $F(P)→C$.

Roughly speaking, a symmetric monoidal functor $F(P)→C$ is determined on objects by its value on a singleton, say $A$; then its value on a set with $n$ elements is $A_{⊗n}$. The functor then maps elements of $P(n)$ to morphisms $A_{⊗n}→A$, and then everything fits nicely together to produce an algebra.

### Right modules

**Proposition.** [Arone–Turchin, Lemma 4.3] The category of right modules over $P$ is equivalent to the category of contravariant functors $F(P)_{op}→C$.

Note here that functors are no longer assumed to be monoidal. To get an idea of the proof, note that if $M$ is a right module over $P$, then one gets maps $M(B)⊗⨂_{b∈B}P(f_{−1}(b))→M(A)$, and again everything fits together. Drawing pictures of trees is immensely helpful here.

*Example.* The category $F(Com)$ is the category of finite sets [exercise]. Thus a right $Com$-module is the same thing as a functor $Fin→C$.

### Abelian bimodules

Now we define a new category, $Γ(P)$, to model abelian bimodules.

**Definition.** [Arone–Turchin, Def. 4.5] The category $Γ(P)$ has as objects *pointed* finite sets and morphisms are given by:

The definition of $Γ(P)$ is suspiciously similar to the definition of $F(P)$, but instead of finite sets one uses finite *pointed* sets, and the map $f:S→T$ appearing in the definition is a pointed map. Composition is defined just like the composition of $F(P)$.

Arone–Turchin then define a certain “twisted” version $Γ~(P)$, with the same objects and morphisms as $Γ(P)$, but with a modified composition: if $Sf Tg U$ are pointed sets and maps, one must define a composition of the type:

In $Γ(P)$, this is defined in a straightforward way using partial composition operations $∘_{t}$ of $P$. In $Γ~(P)$, for the composition along the base point $∗∈T$, the orders of $P(g_{−1}(∗))⊗P(f_{−1}(∗))$ 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 $(P,P)$-bimodules is equivalent to the category of functors $Γ~(P)_{op}→C$.

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 $Fin↪Γ$).

*Example.* The category $Γ(Com)$ is clearly $Γ$; but moreover, $Γ~(Com)$ is also equivalent to $Γ$ (Arone–Turchin conjecture that this is true for any cyclic operad). Thus an abelian bimodule over $Com$ is the same thing as a contravariant functor from $Γ$.

## $Γ$-spaces

Now here’s what I find a bit weird. According to Segal, a “fibrant” (for some right notion of fibrant) functor $Γ→Top$ yield an infinite loop space, i.e. an $E_{∞}$-space. Morally, an $E_{∞}$-space is an algebra over a cofibrant resolution of the topological operad $Com$. But as we just saw, a contravariant functor $Γ_{op}→C$, in the algebraic setting, is the same thing as an abelian bimodule over $Com$. My question is, are these two things related? Or am I grasping at straws?

## References

- 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.