Abstract:In 1974, Birman posed the question of under what conditions a matrix with Laurent polynomial entries is in the image of the Burau representation. In 1984, Squier observed that the matrices in the image are contained in a unitary group. In 2021, Salter formulated a specific question: whether the central quotient of the Burau image group is the central quotient of a certain subgroup of the unitary group. We solve this question negatively in the simplest nontrivial case, $n=3$, algorithmically constructing a counterexample.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a specific problem proposed by Salter in 2021, namely whether the Burau image group of the central quotient is the central quotient of a specific subgroup of the unitary group. Specifically, the author explores whether the Burau representation of the braid group \(B_3\) mapped to the central quotient of the group \(\Gamma\) is surjective when \(n = 3\). The author constructs a counterexample by an algorithm and proves that this conjecture does not hold for the simplest non - trivial case \(n=3\).
### Specific problem description
Salter's problem can be formalized as whether the following mapping is surjective:
\[ q \circ \beta_3: B_3 \to \Gamma \]
where:
- \(B_3\) is the braid group.
- \(\beta_3\) is the Burau representation.
- \(q\) is the mapping of taking the central quotient.
- \(\Gamma\) is a subgroup of the unitary group defined by certain algebraic properties.
### Main conclusions of the paper
The main conclusions of the paper are:
\[ \text{Theorem 1.1} \]
The mapping \(q \circ \beta_3: B_3 \to \Gamma\) is not surjective, and we have
\[ [\Gamma : q \circ \beta_3(B_3)]=\infty \]
### Solution methods
To prove this, the author adopts the following steps:
1. **Re - interpret the Burau representation**: By re - interpreting the Burau representation \(\beta_3\) as a mapping \(\mu\) from the modular group \(PSL(2,\mathbb{Z})\) to the projective linear group \(PGL(2,\mathbb{Z}[t,t^{-1},(1 + t)^{-1}])\).
2. **Prove the structure of \(\Gamma\)**: Prove that \(\Gamma\) is isomorphic to the semidirect product \(F\rtimes PSL(2,\mathbb{Z})\), where \(F\) is a free group.
3. **Construct a counterexample**: Find a solution satisfying a specific equation by an algorithm, thereby proving Theorem 1.1.
### Related formulas
Some of the key formulas involved in the paper include:
- The specific matrix form of the Burau representation:
\[
\sigma_i \mapsto \begin{pmatrix}
I_{i - 1}&0&0&0\\
0&1 - t&t&0\\
0&1&0&0\\
0&0&0&I_{n - i - 1}
\end{pmatrix}\in GL(n,\mathbb{Z}[t,t^{-1}])
\]
- The identity relation:
\[
AJ_nA^T = J_n
\]
where,
\[
J_n:=\begin{pmatrix}
1 - t&-t^{-1}&-t^{-1}&\cdots&-t^{-1}\\
-t&1 - t&-t^{-1}&\cdots&-t^{-1}\\
-t&-t&1&\cdots&-t^{-1}\\
\vdots&\vdots&\vdots&\ddots&\vdots\\
-t&-t&-t&\cdots&1
\end{pmatrix}
\]
These formulas and methods together reveal the deep connection between the Burau representation and the unitary group and finally solve the problem proposed by Salter.