---
title: Reduced Bonded Burau Representation
url: https://www.emergentmind.com/topics/reduced-bonded-burau-representation
type: topic
---

# Reduced Bonded Burau Representation

Searching arXiv for the bonded-braid paper and a closely related Burau background paper for citation support.
The **reduced bonded Burau representation** is a linear representation of the **topological bonded braid monoid** \(M_n\) that extends the classical reduced Burau representation from ordinary braids to braids equipped with **bond generators** between adjacent strands. In the formulation introduced for bonded braids, it is a homomorphism
\[
\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],
\]
defined on the braid generators \(\sigma_i\) by the usual reduced Burau matrices and on the bond generators \(b_i\) by parallel matrices depending on an additional parameter \(z\). The construction is designed so that restricting to the braid subgroup \(B_n\subset M_n\) recovers the classical reduced Burau representation, while the extra \(b_i\)-matrices encode the algebraic effect of bonds [2507.04565].

## 1. Algebraic setting

The ambient object for the reduced bonded Burau representation is the **topological bonded braid monoid** \(M_n\), generated by
\[
\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.
\]
Here \(\sigma_i^{\pm1}\) are the usual braid generators and their inverses, while \(b_i\) is a **bond generator**, representing a local bonded connection between strands \(i\) and \(i+1\) [2507.04565].

The defining relations comprise the standard braid relations
\[
\sigma_i \sigma_i^{-1} = Id_n, \qquad  i = 1, \dots, n-1
\tag{R1}
\]
\[
\sigma_i \sigma_j = \sigma_j \sigma_i, \qquad  |i-j| \geq 2
\tag{R2}
\]
\[
\sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1}, \qquad  i = 1, \dots, n-2
\tag{R3}
\]
the bonded braid relation
\[
b_i b_j = b_j b_i, \qquad  |i-j| \geq 2
\tag{B1}
\]
and the mixed braid-bond relations
\[
\sigma_i b_j = b_j \sigma_i, \qquad  |i-j| \geq 2
\tag{M1}
\]
\[
\sigma_i b_i = b_i \sigma_i, \qquad  i = 1, \dots, n-1
\tag{M2}
\]
\[
\sigma_{i+1} \sigma_i b_{i+1} = b_i \sigma_{i+1} \sigma_i, \qquad  i = 1, \dots, n-2
\tag{M3}
\]
\[
\sigma_i \sigma_{i+1} b_i = b_{i+1} \sigma_i \sigma_{i+1}, \qquad  i = 1, \dots, n-2.
\tag{M4}
\]

Restricting to the \(\sigma_i^{\pm1}\) and relations (R1)–(R3) recovers the usual braid group \(B_n\). This places the reduced bonded Burau representation in direct continuity with classical Burau theory: it is an extension from ordinary braid crossings to a setting in which adjacent strands may also carry bonds [2507.04565]. For the classical reduced Burau representation itself, the standard topological construction uses the action of \(B_n\) on the homology of an infinite cyclic cover of the punctured disc, yielding a \((n-1)\)-dimensional representation over \(\mathbb{Z}[t,t^{-1}]\) [1506.02189].

## 2. Unreduced bonded Burau representation

The reduced bonded Burau representation is obtained from an **unreduced bonded Burau representation**
\[
\psi: M_n \to \mathrm{GL}_{n}(\mathbb{Z}[t,t^{-1}, z]).
\]
Its construction begins with the classical Burau assignment on braid generators:
\[
\sigma_i \mapsto A_i= \left( \begin{array}{c:cc:c} I_{i-1} & 0 & 0 & 0 \\
\hdashline
0 & 1 - t & t & 0 \\
0 & 1     & 0 & 0 \\
\hdashline
0 & 0     & 0 & I_{n-i-1}
\end{array} \right).
\]

For the bond generators, the representation uses an ansatz
\[
b_i \mapsto B_i= \left( \begin{array}{c:cc:c} I_{i-1} & 0 & 0 & 0 \\
\hdashline
0 & x & y & 0 \\
0 & z & w & 0 \\
\hdashline
0 & 0     & 0 & I_{n-i-1}
\end{array} \right).
\]
Imposing the mixed relations
\[
A_i B_i = B_iA_i, \qquad A_{i+1}A_i B_{i+1} = B_i A_{i+1}A_i, \qquad A_i A_{i+1} B_i = B_{i+1} A_i A_{i+1},
\]
leads to the solution
\[
x=1-tz, \quad y=tz, \quad z=z, \quad w = 1-z.
\]
Hence
\[
b_i \mapsto B_i = \left( \begin{array}{c:cc:c} I_{i-1} & 0         & 0     & 0 \\
\hdashline
0       & 1 - tz    & tz    & 0 \\
0       & z         & 1 - z & 0 \\
\hdashline
0       & 0         & 0     & I_{n-i-1}
\end{array} \right).
\]

This assignment defines the bonded Burau representation. On the subgroup \(B_n\subset M_n\), it restricts to the ordinary Burau representation. The new parameter \(z\) records the algebraic effect of bonds, while the mixed relations force exactly the coefficients that make bond-sliding past crossings compatible with the braid geometry [2507.04565].

## 3. Reduction to the reduced bonded Burau representation

The **reduced bonded Burau representation** is obtained by conjugating the unreduced representation into upper block-triangular form and discarding the trivial \(1\)-dimensional summand. The conjugating matrix is
\[
C = C_n = \begin{pmatrix}
1 & 1 & \cdots & 1 \\
0 & 1 & \cdots & 1 \\
0 & 0 & \ddots & \vdots \\
0 & 0 & \cdots & 1
\end{pmatrix}.
\]

For all \(i=1,\dots,n-1\),
\[
C^{-1} A_i C = \begin{pmatrix} A_i' & 0 \\ \ast_i & 1 \end{pmatrix},
\qquad
C^{-1} B_i C = \begin{pmatrix} B_i' & 0 \\ \ast_i & 1 \end{pmatrix},
\]
where
\[
\ast_i = \begin{cases}
(0, \dots, 0), & i < n-1 \\
(0, \dots, 0, 1), & i = n-1
\end{cases}
\]
for the \(A_i\), while for the \(B_i\) one has, for \(i=n-1\),
\[
\ast_i=(0,\dots,0,z).
\]

The \((n-1)\times(n-1)\) blocks define the reduced representation
\[
\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \quad \sigma_i \mapsto A_i', \quad b_i \mapsto B_i',
\]
with \(\Lambda = \mathbb{Z}[t^{\pm1}, z]\) [2507.04565].

For the braid generators:
\[
\sigma_1 \mapsto A_1' = \begin{pmatrix} -t & 0 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & I_{n-3} \end{pmatrix},
\qquad
\sigma_{n-1} \mapsto A_{n-1}' = \begin{pmatrix} I_{n-3} & 0 & 0 \\ 0 & 1 & t \\ 0 & 0 & -t \end{pmatrix},
\]
and for \(1<i<n-1\),
\[
\sigma_{i} \mapsto A_i' = \begin{pmatrix}
I_{i-2} & 0 & 0 & 0 & 0 \\
0 & 1 & t & 0 & 0 \\
0 & 0 & -t & 0 & 0 \\
0 & 0 & 1 & 1 & 0 \\
0 & 0 & 0 & 0 & I_{n-i-2}
\end{pmatrix}.
\]

For the bond generators:
\[
b_1 \mapsto B_1' = \begin{pmatrix} -tz - z + 1 & 0 & 0 \\ z & 1 & 0 \\ 0 & 0 & I_{n-3} \end{pmatrix},
\qquad
b_{n-1} \mapsto B_{n-1}' = \begin{pmatrix} I_{n-3} & 0 & 0 \\ 0 & 1 & tz \\ 0 & 0 & -tz - z + 1 \end{pmatrix},
\]
and for \(1<i<n-1\),
\[
b_{i} \mapsto B_i' = \begin{pmatrix}
I_{i-2} & 0 & 0 & 0 & 0 \\
0 & 1 & tz & 0 & 0 \\
0 & 0 & -tz - z + 1 & 0 & 0 \\
0 & 0 & z & 1 & 0 \\
0 & 0 & 0 & 0 & I_{n-i-2}
\end{pmatrix}.
\]

For \(n=2\), the reduced representation becomes
\[
\psi_2^r : M_2 \longrightarrow \mathrm{GL}_1(\Lambda), \quad \sigma_1 \mapsto -t, \quad b_1 \mapsto -tz - z + 1.
\]

This reduction mirrors the classical passage from unreduced to reduced Burau. A plausible implication is that the bonded theory preserves not only the formal structure of Burau’s matrices but also the classical mechanism by which an invariant line is separated from the essential \((n-1)\)-dimensional action.

## 4. Relation to classical Burau theory

The reduced bonded Burau representation is explicitly constructed as an extension of the classical reduced Burau representation. On the braid subgroup \(B_n\subset M_n\), the matrices \(A_i'\) are the usual reduced Burau matrices. The paper states that the classical case is recovered by **restriction to the braid subgroup** generated by the \(\sigma_i\) [2507.04565].

This places the representation within the standard Burau framework. In classical terms, the reduced Burau representation is the \((n-1)\)-dimensional representation
\[
\rho_n:B_n\to GL_{n-1}(\mathbb{Z}[t,t^{-1}])
\]
whose topological model is the action of \(B_n\) on
\[
H_1(X_n;\mathbb{Z}),
\]
where \(X_n\) is the infinite cyclic cover of the punctured disc determined by total winding number [1506.02189]. The bonded construction does not alter the Burau matrices for braid generators; instead, it adds the \(b_i\)-matrices
\[
\begin{pmatrix}
1-tz & tz\\
z & 1-z
\end{pmatrix}
\]
in the unreduced setting and their reduced analogues \(B_i'\), thereby adjoining bond data without changing the ordinary braid-theoretic sector [2507.04565].

The paper also compares the bonded setting with the singular braid monoid \(SB_n\): for \(n=3\), \(SB_n\) is isomorphic to \(M_n\), and the representation from Dasbach–Gemein for singular braids is isomorphic to the one defined here [2507.04565]. This suggests that the reduced bonded Burau representation sits at an intersection of classical Burau theory, bonded braid theory, and singular braid representation theory.

## 5. Reducibility, faithfulness, and low-dimensional behavior

The unreduced bonded Burau representation is reducible for all \(n\ge 2\). The invariant line is
\[
\langle C e_n \rangle,
\]
where \(e_n\) is the last standard basis vector and \(C=C_n\). Indeed,
\[
A_i C e_n = C e_n, \qquad B_i C e_n = C e_n.
\]
This is the direct reason reduction is possible [2507.04565].

For the **reduced bonded Burau representation**, the faithfulness picture given in the paper is:

- **\(n=1\)**: faithfulness is obvious.
- **\(n=2\)**: the representation is faithful. The paper proves that
  \[
  \psi_2^r : M_2 \longrightarrow \mathrm{GL}_1(\mathbb{Z}[t^{\pm1}, z])
  \]
  given by
  \[
  \sigma_1 \mapsto -t, \quad b_1 \mapsto 1 - z - t z
  \]
  is injective.
- **\(n=3\)**: faithfulness follows from prior work on singular braid monoids; the reduced bonded Burau representation is faithful for \(n=3\).
- **\(n=4\)**: faithfulness remains unknown.
- **\(n\ge 5\)**: the representation is not faithful, because the classical Burau representation of the Artin braid group is not faithful for \(n=5\) and all \(n\ge 6\), and the classical braid subgroup \(B_n\subset M_n\) already carries that obstruction [2507.04565].

For \(n=2\), the proof of faithfulness uses the distinction that \(-t\) is a unit while \(1-z-tz\) is not a unit, so a word mapping to \(1\) cannot contain \(b_1\). A plausible implication is that in very low rank the bond parameter \(z\) produces a rigid algebraic separation between crossings and bonds that disappears in higher-dimensional Burau-like settings.

## 6. Variants, rigid extensions, and significance

The paper also defines a **rigid bonded Burau representation** in unreduced form,
\[
\psi_R: RB_n \to \mathrm{GL}_{n}(\mathbb{Z}[t,t^{-1}, z, \check z]),
\]
with kink generators \(k_i\) sent to matrices
\[
k_i \mapsto C_i = \left( \begin{array}{c:cc:c} I_{i-1} & 0         & 0     & 0 \\
\hdashline
0       & 1 - t\check z    & t\check z    & 0 \\
0       & \check z         & 1 - \check z & 0 \\
\hdashline
0       & 0         & 0     & I_{n-i-1}
\end{array} \right),
\]
but it does **not** formulate a reduced rigid bonded Burau representation theorem [2507.04565]. Thus, the term “reduced bonded Burau representation” refers specifically to the topological bonded braid monoid \(M_n\), not to the rigid monoid \(RM_n\).

The broader significance of the representation is tied to the paper’s bonded analogues of Alexander’s theorem and Markov’s theorem. Every topological bonded knot is the closure of a bonded braid, and equivalence of bonded knots is characterized by a finite sequence of algebraic moves on bonded braids. In that setting, \(\psi_n^r\) provides a linear representation of the monoid that extends one of the central tools of classical braid theory into the bonded domain [2507.04565].

The main unresolved point is the \(n=4\) case, where faithfulness remains open, paralleling the exceptional status of \(4\)-strand Burau phenomena in several classical settings. This suggests that the reduced bonded Burau representation inherits not only the algebraic form of Burau theory but also its most delicate low-rank faithfulness problem.

Source: https://www.emergentmind.com/topics/reduced-bonded-burau-representation