In June Anna attended the talk I gave on unital associahedra at the Junior Group Theory and Topology Seminar in Oxford, and asked me if I wanted to write a blog post about this topic. In that talk I introduced operads and used the Boardman-Vogt construction to define unital associahedra. However, to keep this post short, here I will only talk about operads and their algebras.
So, what are operads? Roughly, operads are gadgets that are used to encode algebraic structures.
The definition of an operad is almost impossible to understand without visualising them in pictures, so I will start off by giving an example of operad which will motivate the visual intuition.
The most important example of operad is the so-called endomorphism operad: let be a set and let be the set of maps from the -fold product to . We can think of an element of as a box with wires coming in and one going out. For example this is in :
Now, given a map and a map there is an obvious way to ‘compose’ them, by sticking the outcoming wire of one onto an incoming wire of the other. Let’s say that we stick the outcoming wire of to one of the incoming wires of , say the second wire from the left, like this:
Here and . In symbols we would write this composition like for .
If we compose three or more such maps together, then the order of composition doesn’t really matter; e.g. if we have , and , then this sort of composition is unambiguous:
In other words, composition is ‘associative’. There is also a neutral element for the composition: if we compose any map with the identity map then we get back .
We can also consider what happens if we allow maps : the -fold product is the one-point set, so a map in corresponds to the choice of an element of and we can identify with . Such maps can be represented with a box with no incoming wire and one outgoing wire, like this:
We can stick such a map on the incoming wire of any other map , provided is strictly greater than zero.
We are now ready to give the definition of an operad:
A (non-symmetric) operad O (in the category of sets) is a sequence of sets indexed by the natural numbers, together with a collection of composition maps
for all natural numbers and , where is not allowed to be zero.
Furthermore, there is a unit element , and the composition maps satisfy the associativity and unit relations manifest in the endomorphism operad, so e.g. for the composite of above, we have the relation .
Having defined operads, we can define morphisms between them: a morphism of operads is a collection of maps indexed by the natural numbers, which preserve the operadic structure, i.e. such that the following diagram commutes for all and :
and further such that sends the identity of to the identity of .
Like groups, operads are interesting because they act on things. An algebra over an operad is a set together with a morphism of operads
In other words, there is a map
for every , where I write instead of by abuse of notation, satisfying relations expressing that is a morphism of operads, e.g. that
Now we are ready to see how operads can be used to study algebraic structures.
The associative operad is given for all by the one-point set. Suppose that is an algebra over , so we have a map for every satisfying some relations.
In particular, we have a map . The composites and are both elements of and hence have to be equal, since is the one-point set. This tells us that is associative, since is equal to for all .
Furthermore, the map is the identity on , since a morphism of operads preserves identities. The map is equivalent to the choice of an element . We have that the composites and are both equal to since they are elements of . So we get that is a two-sided unit for the composition map , since for any we have
So we get that is a monoid. Conversely, one can show that any monoid is an algebra over . Thus, the operad completely encodes the structure of monoids!
Easy exercise: There is an operad which is very similar to the associative operad, and whose algebras are the semigroups. Can you figure out how it looks like?
We have seen an instance of what I hinted at in the beginning of the post, namely that we can use operads to encode algebraic structures. But this doesn’t only work for set-theoretic algebraic structures: we can define operads in any symmetric monoidal category, not only in the category of sets. Similarly to , there are operads that encode Lie algebras, Poisson algebras (here the operads live in the category of vector spaces), (commutative) monoids in any symmetric monoidal category, and so on. Furthermore, the theory of operads can be combined with homotopy theory to encode algebraic structures up to homotopy.
Using operads to study algebraic structures has many advantages. Arguably, the most important advantage is that when we use the operadic language, we have a unified framework to deal with all algebraic structures (on sets, or in any other symmetric monoidal category), which thus allows to compare different algebraic structures, or to apply results classically known to hold for some type of algebra to other algebras, and so on. (For those familiar with category theory, the unified framework is given by the fact that all operads encoding such structures live in the same category.)
The intrinsic visual nature of operads, of which I tried to give a first glimpse in this post with the endomorphism operad, has produced many fun names in the theory. There is the famous ‘Swiss cheese’ operad, there are cacti operads (with or without spines), little discs operads, and so on. To wet your appetite, I’ll leave you with a picture of an operation in a Swiss cheese operad: