# Does a four-variable analog of the Hall-Witt identity exist?

Lately I have been thinking about commutator formulas, sparked by rereading the following paragraph in Isaacs (p.125):

An amazing commutator formula is the Hall-Witt identity: $$[x,y^{-1},z]^y[y,z^{-1},x]^z[z,x^{-1},y]^x=1,$$ which holds for any three elements of every group. $\ldots$ One can think of the Hall-Witt formula as a kind of three-variable version of the much more elementary two-variable identity, $[x,y][y,x]=1$. This observation hints at the possibility that a corresponding four-variable formula might exist, but if there is such a four-variable identity, it has yet to be discovered.

To my knowledge a four-variable formula hasn't been discovered since this was written. I was thinking about this and found myself unable to even decide whether or not I thought one could exist (i.e. whether one would, hypothetically, try to find an identity or disprove its existence). Thus, I am attempting to "write down the problem."

Question: How can one rigorously formulate the question, "Does a four-variable analog of the Hall-Witt identity exist?"

## Current Progress.

Since we want the identity to hold in every group, it seems best to formulate the question in terms of the free group $F$ on $4$ letters.

Suppose we have a free generating set $A=\{a,b,c,d\}$, so that $A^{-1}=\{a^{-1},b^{-1},c^{-1},d^{-1}\}$ and $S=A\cup A^{-1}$. Let $F_A$ the group of all reduced words in $S$. Words are reduced when they have been can no longer be simplified by cancelling adjacent $x$ and $x^{-1}$s (for $x\in A$).

Cyclically reduced words are words where the first and last letters are not inverse to each other. Every word is conjugate to a cyclically reduced word, so we can consider $\hat{F_A}$, the quotient of $F_A$ by the equivalence relation of being cyclically reduced. (Note that this is not the equivalence relation of being conjugate.)

Let $\Phi$ be the set of functions $\varphi:A^4\rightarrow \hat{F_A}$ defining words in $\hat{F_A}$ that contain at least one instance of each free generator or its inverse. Now let $\Psi:\Phi\rightarrow \hat{F_A}$ be formally defined by $$\Psi(\varphi)(u,x,y,z)=\varphi(u,x,y,z)\varphi(x,y,z,u)\varphi(y,z,u,x)\varphi(z,u,x,y).$$ So, if a $4$-variable Hall-Witt identity exists, it will be among the functions in the preimage of $0$ (the function which just maps everything to the empty word) under $\Psi$.

## Discussion.

Question: Are there any problems or logical errors in the above formulation?

I think that the $\varphi$'s need to be going into $\hat{F_A}$ to be well defined, but this may create complications that I have overlooked. The notation could probably be improved, too.

Further thoughts:

Let $$W(a,b,c):=[a,b^{-1},c]^b=b^{-1}[a,b^{-1}]^{-1}c^{-1}[a,b^{-1}]cb=a^{-1}b^{-1}ac^{-1}a^{-1}bab^{-1}cb.$$ Define $w_1(a,b,c)=a^{-1}b^{-1}ac^{-1}a^{-1}$ and $w_2(a,b,c)=bab^{-1}cb$, so that $W(a,b,c)=w_1(a,b,c)w_2(a,b,c)$. Now, the Hall-Witt Identity is $$W(x,y,z)W(y,z,x)W(z,x,y)=1,$$ that is, $$\overbrace{\underbrace{x^{-1}y^{-1}xz^{-1}x^{-1}}_{w_1(x,y,z)}\underbrace{yxy^{-1}zy}_{w_2(x,y,z)}}^{W(x,y,z)} \overbrace{\underbrace{y^{-1}z^{-1}yx^{-1}y^{-1}}_{w_1(y,z,x)}\underbrace{zyz^{-1}xz}_{w_2(y,z,x)}}^{W(y,z,x)} \overbrace{\underbrace{z^{-1}x^{-1}zy^{-1}z^{-1}}_{w_1(z,x,y)}\underbrace{xzx^{-1}yx}_{w_2(z,x,y)}}^{W(z,x,y)} =1.$$ It's clear the cancellation works by $w_1(b,c,a)=w_2(a,b,c)^{-1}$. This makes sense: we should be able to cyclically permute the overall word and have it still work, since $1^a=1$. So the question is, can we find a $4$-letter string $w_1(a,b,c,d)$ that is the inverse of $w_2(b,c,d,a)$? Of course if we let $z=zu$ in the $3$-dimensional Hall Witt, this will make this happen, but can we find these words in single-entry commutators/conjugations only?

Update: If the word to be repeated was split up into $3$ parts, $$W(a,b,c,d)=w_1(a,b,c,d)w_2(a,b,c,d)w_3(a,b,c,d).$$ we would in this case have to insist that $w_3(a,b,c,d)=w_1(b,c,d,a)^{-1}$ and $w_2(a,b,c,d)=w_2(b,c,d,a)^{-1}$. In that case after the $w_1$'s and $w_3$'s cancelled out, we'd be left with $w_2(x,y,z,u)w_2(y,z,u,x)w_2(z,u,x,y)w_2(u,x,y,z)=1$. Of course the question of whether or not that can exist is equivalent to the question of whether $W$ can exist. If we divided up $W(a,b,c,d)$ into $n>3$ subwords, either we would need a self-inverse word in the above sense or we would have an even number of subwords, which just reduces to the $2$ subword case. So if indeed the identity does not exist, I think it suffices to prove that the $2$ subword case is impossible, as otherwise we get a contradiction by infinite descent.

-
This is most certainly not an answer, but I remember thinking about this myself a few years ago. I didn't go very far at all, but I vaguely remember reading a result that all the commutator identities in free groups can be derived from the basic "level 1" identities (e.g., $[xy,z]=[x,z]^y[y,z]$) and the Hall-Witt identity. I do not recall where I read this, but a good bet would be in something Dan Segal wrote (probably his book Words). –  user641 Dec 6 '12 at 1:05
You might have a look at terrytao.wordpress.com/2012/05/11/… which offers up a derivation of Hall-Witt and pointers to some extensions of it... –  Steven Stadnicki Dec 6 '12 at 1:14
@StevenStadnicki I saw his Cayley graph proof sometime ago and liked it a lot. Makes me wonder whether the question would be well posed in terms of Cayley graphs. –  Alexander Gruber Dec 6 '12 at 1:17