As promised, this post is about the famous Eckmann–Hilton argument. This argument, on the surface, looks like a simple algebraic trick; but it has deep consequences, which I will now try to explain. This post is an expanded version of a math.SE answer I wrote some time ago.
When I was a first-year student at the ENS, we had to write a ”Mémoire de première année” (“First-year essay”) on a topic. I wrote mine together with Maxence Novel, with Grégory Ginot as advisor, about the Eckmann–Hilton argument. You can find it here (it’s in French; bear in mind that we were undergrads when we wrote this).
This was my first exposure to many topics: algebraic topology, operads, -categories… And it definitely shaped up my current mathematical interests. I still remember trying to read Lurie’s Higher Algebra armed only with point-set topology and basic category theory! Needless to say I didn’t get very far. I very much enjoyed the experience anyway.
Without further ado, here is the theorem:
Theorem (Eckmann–Hilton argument). Let be a set equipped with two monoid structures and sharing the same unit . Assume that they satisfy the interchange law:
Then both structures are equal () and moreover they are commutative ().
Basically, what this means is that if you have a set with two “compatible” laws on it, then they are equal and commutative. It’s rather powerful. This theorem can be further refined: you don’t need to assume that both laws have the same unit, and you don’t even have to assume that they are commutative. It all follows from the interchange law. But for the sack of simplicity I’ll stick with these assumptions.
The proof is amazingly concise:
One can reformulate the interchange law: it is equivalent to the fact that is a morphism of monoids, and also equivalently, is a morphism of monoids. Thus we get a reformulation of the Eckmann–Hilton argument (sorry folks, this blog will contain a lot of category theory):
Reformulation. A [monoid object](https://en.wikipedia.org/wiki/Monoid_(category_theory\)) in the category of monoids is an abelian monoid.
Reformulated in this way, the argument immediately generalizes. Let be a monoidal category. The category is the category of monoid objects in : its objects are triplet , where is an object of , and satisfy the axioms of a monoid (associativity, unitality).
If is symmetric monoidal, then can be equipped with a tensor product. If and are two monoids, their tensor product is defined to be , where is the composite (I’m forgetting about associativity constraints):
So one can speak about monoid objects inside . Then the Eckmann–Hilton argument says:
Theorem. Let be a symmetric monoidal category. Then the category of monoid objects in is equivalent to the category of abelian monoids in .
The proof is exactly the same as before, except that you need to translate it into commutative diagrams.
Fundamental groups of H-spaces
An H-space is a space equipped with a “multiplication” which is unital up to homotopy: there exists such that both and are homotopic to the identity of . Topological monoids are examples of H-spaces.
Then the Eckmann–Hilton argument can be used to show that the fundamental group is commutative. Indeed, this fundamental group has two multiplications: the usual concatenation of loops , and the multiplication of loops induced by , given by:
These two laws are unital (the unit being the class of the constant loop equal to ), and they are compatible in the sense of Eckmann–Hilton. It thus follows:
- That these laws are equal, meaning that the concatenation of two loops is homotopic to their product with ;
- And commutative, meaning that the concatenation of two loops is homotopic to their concatenation in the reverse order!
This has immediate consequences: a space like with a nonabelian fundamental group cannot be given an H-space structure.
Higher homotopy groups
This section can be summarized by this picture:
It is a depiction of the Eckmann–Hilton argument applied to . To understand it, consider a set with two monoid structures; instead of writing them with two different operators, represent one of them with horizontal multiplication and the other with vertical multiplication, like this:
The interchange law then exactly says that this multiplication is not ambiguous:
One can either multiply first each line horizontally and then vertically to get , or first each column vertically and then horizontally to get , and both are equal by the interchange law. The proof of the Eckmann–Hilton argument then goes like this:
This is very similar to the picture at the beginning of the section! To understand it, recall that the second fundamental group can be defined as the set:
quotiented out by homotopy of maps. Since the square is two-dimensional, has two composition laws: concatenation in the horizontal direction, and concatenation in the vertical direction. Both are associative, and they satisfy the interchange law (the reader is advised to draw a picture), so by the Eckmann–Hilton argument, both are equal and commutative! And the proof looks just like the picture at the beginning of the section.
Remark. This can be deduced from the fact that the fundamental group of an H-space is abelian. Indeed, , where is the loop space of ; since is an H-space (by concatenation of loops), then its fundamental group is abelian. By induction is abelian for all .
Monoids and comonoids
Let be a cartesian closed category. A comonoid in is a monoid in the opposite category , equipped with the tensor product given by the categorical coproduct. More explicitly, it’s an object equipped with a “comultiplication” and a “counit” satisfying axioms formally dual to that a of a monoid.
Then if is a monoid in (with respect to the tensor product given by the categorical product), the hom-set is equipped with two different multiplications: given , one can either consider given by , or given by . One can then check that both are compatible in the sense of Eckmann–Hilton, thus is a commutative monoid.
This is a generalization of the fact about the fundamental groups: let be the category of pointed topological spaces. Then , equipped with the “pinch map” that collapses two points, is a comonoid up to homotopy; hence if is an H-space, then is abelian.
Center of a category
Natural transformations between functors can be composed in two different ways:
- If are functors and and are natural transformations, then there is a “vertical composite” given component-wise by : 2. If and are functors and , are natural transformation, there is an horizontal composite .
So if one only considers natural transformations from the identity functor to itself, one gets two different composition laws on . Again these two laws satisfy the interchange law, and thus , called the center of the category , is abelian. If is a monoid seen as a category with one object, then is the usual center of the monoid.
Let be a monoidal category. Then endomorphisms of the unit objects can be multiplied in two ways: the usual composition of morphisms, or a kind of convolution given by
Then both laws are compatible (this isn’t easy to check!), and thus in a monoidal category, is abelian. This implies that if an object in some category has nonabelian monoid of endomorphisms, then that category cannot be given a monoidal structure with as the unit.
Both variants can be generalized by looking at bicategories. If is a bicategory and is an object, then the endomorphisms of the identity of forms an abelian monoid, just like in variant 1.
- By taking , one exactly recovers variant 1;
- If is a monoidal category, then its “suspension” is a bicategory with one object; 1-morphisms are objects of , while 2-morphisms are morphisms of . Horizontal composition is given by tensor product of objects and vertical composition by composition in . Then the endomorphisms of (seen as a bicategory) is exactly the center of (seen as a monoidal category as in variant 2).
Different variant: the Drinfeld center
There exists another, completely different notion of center of a monoidal category, called the Drinfeld center (independently due to Drinfeld and Joyal–Street). It is morally the categorification of the notion of center of a monoid (a monoidal category is the same thing as a monoid in the category of categories).
Unlike everything we’ve seen so far, the Drinfeld center of a monoidal category isn’t a “commutative” (symmetric) monoidal category – it’s a braided monoidal category, something in-between a monoidal category and a symmetric monoidal category. A braided monoidal category is a monoidal category equipped with a braiding, that is a natural isomorphism satisfying some coherence equations; but unlike a symmetric monoidal category, is not the identity of .
Given a monoidal category , the Drinfeld center has for objects pairs , where is an object of and is a half-braiding: a natural isomorphism . Composition, tensor product and braided structure are defined in the obvious way (the unconvinced reader is encouraged to write down commutative diagrams). Then:
Theorem [Drinfeld, Joyal–Street]. The center is a braided monoidal category.
The Drinfeld center also has a completely abstract definition: it is the monoidal category of endo-2-functors of the suspension (the 2-category with one object associated to ).
For those interested, I wrote a paper explaining how algebras on the groupoid of the Swiss-Cheese operad are “the same thing” as triples where is a monoidal category, is a braided monoidal category, and is a braided monoidal functor. I intend to speak more about that later.
-fold monoidal categories
The Drinfeld center is, in many respects, the “correct” notion of center for a monoidal category – but it is not symmetric, only braided. There is some amount of commutativity lost when one goes to higher dimensional category theory. This is explained by Baez and Dolan in their article (cf. References) through -tuply monoidal -categories, an -category equipped with different “compatible” monoidal structures.
By the Eckmann–Hilton argument, all these monoidal structures are equal, but the amount of commutativity one gets changes depending on and . These types of categories eventually stabilize to a “fully symmetric” structure for , as in this table (Table 21 in (Baez and Dolan)):
|monoids||monoidal categories||monoidal 2-categories|
|commutative monoids||braided monoidal categories||braided monoidal 2-categories|
|”||symmetric monoidal categories||weakly involutory monoidal 2-categories|
|”||”||strongly involutory monoidal 2-categories|
This Stabilization Hypothesis is one of the features that is expected of any good notion of -categories, inspired by the Freudenthal suspension theorem. The notion of -fold monoidal categories also appears to be linked to the theory of -operads (cf. (Balteanu et al.)), something on which I intend to speak later (cliff-hanger!).
- Beno Eckmann and Peter J. Hilton. “Group-like structures in general categories. I. Multiplications and comultiplications”. In: Math. Ann. 145 (1961–1962), pp. 227–255. ISSN: 0025-5831. MR0136642.
- Shahn Majid. “Representations, duals and quantum doubles of monoidal categories”. In: Proceedings of the Winter School on Geometry and Physics (Srní, 1990). 26. 1991, pp. 197–206. MR1151906. (Note: Majid cites a personal communication of Drinfeld where Drinfeld tells him about the Drinfeld center.)
- André Joyal and Ross Street. “Tortile Yang-Baxter operators in tensor categories”. In: J. Pure Appl. Algebra 71.1 (1991), pp. 43–51. ISSN: 0022-4049. DOI: [10.1016/0022-4049(91)90039-5](http://dx.doi.org/10.1016/0022-4049(91\)90039-5). MR1107651.
- John C. Baez and James Dolan. “Higher-dimensional algebra and topological quantum field theory”. In: J. Math. Phys. 36.11 (1995), pp. 6073–6105. ISSN: 0022-2488. DOI: 10.1063/1.531236. arXiv: q-alg/9503002 [math.QA]. MR1355899.
- Cornel Balteanu, Zbigniew Fiedorowicz, Roland Schwänzl, and Rainer M. Vogt. “Iterated monoidal categories”. In: Adv. Math. 176.2 (2003), pp. 277–349. ISSN: 0001-8708. DOI: [10.1016/S0001-8708(03)00065-3](http://dx.doi.org/10.1016/S0001-8708(03\)00065-3). arXiv: math/9808082 [math.AT]. MR1982884.