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

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

Let's start by explicitly making the free group on $4$ letters. Suppose we have a free generating set $A=\{a,b,c,d\}$, so that $S=A\cup A^{-1}$ and $A^{-1}=\{a^{-1},b^{-1},c^{-1},d^{-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$.

Question: Assuming the above formulation is sound, does there exist a (nontrivial) four-variable analog to the Hall-Witt identity? Can this approach be used to further refine the question?

My use of "nontrivial" above is somewhat ambiguous: what I mean is that the identity should be made with commutators and conjugations in a free set of four letters, and done so in a way that it does not reduce to the two- or three-variable commutator identities by a substitution.

## Progress.

Let $$\begin{eqnarray*} W(a,b,c) & \triangleq & [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.\end{eqnarray*}$$ Let's chop $W(a,b,c)$ in half and name the two parts. Define $$w_1(a,b,c)\triangleq a^{-1}b^{-1}ac^{-1}a^{-1} \hspace{30pt} \text{and} \hspace{30pt} w_2(a,b,c)\triangleq bab^{-1}cb,$$ so that $$W(a,b,c)=w_1(a,b,c)w_2(a,b,c).$$ Now, the Hall-Witt Identity can be written as $$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, what we should be looking for are four letter strings $w_1$ and $w_2$ such that $w_1(a,b,c,d)$ is the inverse of $w_2(b,c,d,a)$.

Update: In fact, the above observation is not just sufficient, but necessary for the existence of a four-variable Hall-Witt identity. Consider for example the case where $W(a,b,c,d)$ would be split into three subwords, rather than two: $$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}\hspace{14pt}\text{ and }\hspace{14pt}w_2(a,b,c,d)=w_2(b,c,d,a)^{-1}.$$ 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.$$ But of course asking whether that that can happen is the same as asking whether $W$ can exist, so eventually we will see a separation into two subwords, or we have a contradiction by infinite descent. If we divided up $W(a,b,c,d)$ into $n>3$ subwords, we would reduce in the case of odd $n$ to the case of a self-inverse word analogously to the $n=3$ case, or we would have an even number of subwords, which is the same thing as the $2$ subword case.

So, it suffices to either find a word $W(a,b,c,d)=w_1(a,b,c,d)w_2(a,b,c,d)$, nontrivial in each variable, such that $w_1(a,b,c,d)=w_2(b,c,d,a)^{-1}$, or to prove that such a word does not exist.

-
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 better posed in terms of Cayley graphs. –  Alexander Gruber Dec 6 '12 at 1:17
–  Grigory M Dec 24 '13 at 6:17
Related: negative answer @ MO –  Grigory M Dec 24 '13 at 6:29

The last statement in your question (which is not a mere question) also suggests a solution of the more general problem, namely the $n$-variable analog of the Hall-Witt formula for any $n\geq 2$.

Let $x_1$, $\ldots$, $x_n$ be the variables. If $w=w(x_1,x_2,\ldots,x_n)$ is any word in $x_i$'s and their inverses, define the word $\gamma w$ by $(\gamma w)(x_1,x_2,\ldots,x_n):=w(x_2,\ldots,x_n,x_1)$, and set $W:=w(\gamma w)^{-1}$. Then $$W(\gamma W)\cdots(\gamma^{n-1}W)=1~.$$ The requirement that $W$ is nontrivial in each variable is easily satisfied. In this way you can produce $n$-variable analogs of the Hall-Witt formula by truckload.

To make things more interesting, you may require, say, that $W$ must be representable by an expression built from the variables and their inverses (the 'tokens') by making commutators $[u,v]$, where $u$ and $v$ are already built expressions, and by conjugations $u^y$, where $u$ is an already built expression, but not a token, and $y$ is a token: then the things are no longer so simple. Am I far wrong in supposing that in fact you had some such additional conditions in mind when you formulated your question?

I have no idea how to go about finding an example for $n=4$ or proving that it does not exist. The only (rather weak) restriction on the word $w$ I have found so far is $l_1=l_2=\cdots=l_n$, where $l_i$ is the sum of the exponents of the appearances of $x_i^{\pm1}$ in $w$.

If we relax the condition imposed on $W$ and require only that $W\in[G,G]$, where $G$ is the free group generated by the variables $x_1$, $\ldots$, $x_n$, then we can give the full solution of the problem, since for every $w\in G$ we have $w(\gamma w)^{-1}\in[G,G]$ if and only if $l_1(w)=l_2(w)=\cdots=l_n(w)$. Here $\gamma$ is the automorphism of $G$ that sends $x_i$ to $x_{i+1}$ for $1\leq i<n$, and sends $x_n$ to $x_1$. We must also tell how the functions $l_i: G\to\mathbf{Z}$ are defined. Let $A$ be the free abelian (additive) group generated by $x_1$, $\ldots$, $x_n$, and let $h\colon G\to A$ be the homomorphism sending $x_i\in G$ to $x_i\in A$ for $1\leq i\leq n$; note that $\ker h=[G,G]$. For every $w\in G$ we have $h(w)=\sum_{i=1}^n l_i(w)x_i$: this defines the $l_i$'s.

For example, if $w=x_1^{-1}x_2^{-1}\cdots x_{n-1}^{-1}x_n^{-1}$, then $W=w(\gamma w)^{-1}=[x_1,x_nx_{n-1}\cdots x_2]$. When $n=3$ we obtain the identity $$[x,zy][y,xz][z,yx]=1~.$$ This identity is a humble cousin of the Hall-Witt formula, and is probably completely useless (nice as it is). If you wish you can rewrite $W=[x,zy]=x^{-1}y^{-1}z^{-1}xzy$ as a product of iterated commutators, $W=[x,y][x,z][[x,z],y]$, or perhaps in the well-known form $W=[x,y][x,z]^y$. (Mark that here $[x,y]=x^{-1}y^{-1}xy$; some authors define the commutator as $[x,y]:=xyx^{-1}y^{-1}$.) Note that the example $w=w_1(a,b,c,d)=a^{-1}bc^{-1}b^{-1}dad^{-1}$ given by weux082690 has $l_a(w)=l_b(w)=l_d(w)=0$ but $l_c(w)=-1$, thus $w(\gamma w)^{-1}\notin[G,G]$.

-

I don't know how you would reformulate it in terms of commutators, but $W(a,b,c,d) = a^{-1}bc^{-1}b^{-1}da^{-1}d^{-1}ab^{-1}a^{-1}cdc^{-1}b$ works with $w_1(a,b,c,d) = a^{-1}bc^{-1}b^{-1}dad^{-1}$ and $w_2(a,b,c,d) = ab^{-1}a^{-1}cdc^{-1}b$. Therefore, $w_2(a,b,c,d)*w_1(b,c,d,a) = ab^{-1}a^{-1}cdc^{-1}b * b^{-1}cd^{-1}c^{-1}aba^{-1} = 1$

Update: by shuffling around the letters a bit, I got it in somewhat commutator terms: $w_1(a,b,c,d) = b^{-1}c^{-1}ba^{-1}dad^{-1} = (c^{-1})^b * [a, d^{-1}]$ and $w_2(a,b,c,d) = ab^{-1}a^{-1}bc^{-1}dc = [a^{-1}, b] * d^c$ so $W(a,b,c,d) = (c^{-1})^b * [a, d^{-1}] * [a^{-1}, b] * d^c$.

-