The purpose of this blog post is to try to give some insight into the “meaning” of the Hall-Witt identity in group theory. This identity can look quite mysterious in its algebraic form, but there are several ways of describing it geometrically which are more natural and easier to understand.
If is a group, and are elements of , the commutator of and (denoted ) is the expression (note: algebraists tend to use the convention that instead). Commutators (as their name suggests) measure the failure of a pair of elements to commute, in the sense that . Since , the property of being a commutator is invariant under conjugation (here the superscript means conjugation by ; i.e. ; again, the algebraists use the opposite convention).
If is a space with fundamental group , conjugacy classes of elements in correspond to free homotopy classes of loops in . So let be some conjugacy class, and let be in the corresponding free homotopy class. The element is a commutator in if and only if there is a genus 1 surface (i.e. a torus) with one boundary component, and a map for which the restriction of to factors as for some homeomorphism . In words, an element in a group is a commutator if and only if the corresponding loop in a space bounds a genus 1 surface.
If then the loops representing and can be thought of as the meridian and the longitude of the bounding torus. There’s some very nice pictures of this (and loads of other stuff) at the blog Sketches of Topology.
Now, the Hall-Witt identity is the identity , valid in any group. To prove this identity it suffices to prove it in a free group, where it follows just by expanding the expressions (we use the convention that and so on).
First, the expression just means which simplifies to . The other two expressions are all obtained from the first by cyclic permutation of . Using the notation , and we see that the three expressions expand to , proving the identity.
Incidentally, some people write the term slightly differently. Taking conjugation by outside the brackets shows that this expression is equal to which in turn is equal to , which itself is equal to . In a group in which three-fold commutators are trivial (i.e. a “nilpotent group of class 3”) this is just and the Hall-Witt identity becomes a little simpler.
A slightly more geometric way to see this identity is to think about words in a free group as directed paths in a graph, where two words represent the same element if the corresponding paths are the same “after eliminating backtracks”. It is convenient to work in the graph whose vertices are the lattice and whose edges are parallel to the coordinate axes and labeled depending on their alignment. This graph is the fundamental group of the commutator subgroup of the free group ; one way to see this is to observe that the deck group is equal to the homology group , and to remember that this first homology group is just the abelianization. In this graph, the magic word is a kind of “bent letter S”; see figure:
and the composition is a kind of dumbell, made by tracing around the boundary of two opposite squares in a cube together with an edge joining them:
The boundary of the cube can be decomposed into three such dumbells in a symmetric way, and this decomposition “explains” the Hall-Witt identity (pardon the lack of hidden line removal; I write figures in .eps):
Higher dimensional generalizations of this picture (where the loops going around squares are replaced with spheres going around cubes of various dimensions) explain why the Whitehead product in homotopy theory makes the rational homotopy groups of a space into a graded Lie algebra (this is still approximately true over the integers, except that one needs to be a bit careful about 2-torsion).
A more geometric way still is to think about maps of surfaces to spaces, and what are called gropes. An expression like can be thought of geometrically as follows. The elements and are the meridian and longitude of a once-punctured torus with boundary on . But the meridian is itself the boundary of another once-puncture torus , whose meridian and longitude (in turn) are and . Geometrically, we can think of as bounding a certain kind of grope: a once-punctured torus with another once-punctured torus glued onto its meridian.
This grope can be embedded in 3-dimensional space, and thickening it slightly we obtain a genus 3 handlebody whose fundamental group is . The boundary is a genus 3 surface, and the loop divides it into a genus 1 surface and a genus 2 surface. We can think of the genus 1 surface as the “inside” of , and the genus 2 surface as the “outside” of cut open along with two copies of attached. One copy of is tucked inside the other; we can fold it out as in the figure to lay it flat.
The genus 1 surface represents in an obvious way, in the sense that there is a choice of meridian and longitude corresponding to and respectively. The genus 2 surface can be expressed as a product of 2 commutators in many ways; a pair of embedded loops intersecting transversely once gives one commutator, and a disjoint pair intersecting in the same way gives the other. The figure indicates a choice for which one meridian-longitude pair is and up to conjugacy, and the other is and (note that is not represented by a loop in the genus 2 surface, but rather as a path between the two loops where was cut open).
So this expresses as a product of something of the form and , up to suitably conjugating the entries. Keeping track of basepoints determines the correct conjugations, giving the Hall-Witt identity.