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

# Bonded Burau Representation

The bonded Burau representation is an extension of the classical Burau representation from ordinary braid generators to braid diagrams equipped with bond generators. In the topological setting developed in "Bonded braids and the Markov theorem" [2507.04565], it is defined on the topological bonded braid monoid \(M_n\) by keeping the usual Burau matrices for the Artin generators \(\sigma_i\) and assigning compatible \(2\times 2\) blocks to the bond generators \(b_i\). The construction has unreduced and reduced forms, admits a rigid analogue with additional kink generators, and is intended as a linear tool for bonded braid representatives of bonded knots.

## 1. Algebraic setting of bonded braids

For \(n\in\mathbb N\), the topological bonded braid monoid \(M_n\) is generated by the classical braid generators \(\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}\) together with bond generators \(b_1,\dots,b_{n-1}\). Its defining relations are the standard braid relations
\[
\sigma_i\sigma_i^{-1}=Id_n,
\]
\[
\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),
\]
\[
\sigma_i\sigma_{i+1}\sigma_i=\sigma_{i+1}\sigma_i\sigma_{i+1},
\]
the bond commutation relation
\[
b_i b_j=b_j b_i \qquad (|i-j|\ge 2),
\]
and the mixed braid-bond relations
\[
\sigma_i b_j=b_j\sigma_i \qquad (|i-j|\ge 2),
\]
\[
\sigma_i b_i=b_i\sigma_i,
\]
\[
\sigma_{i+1}\sigma_i b_{i+1}=b_i\sigma_{i+1}\sigma_i,
\]
\[
\sigma_i\sigma_{i+1} b_i=b_{i+1}\sigma_i\sigma_{i+1}.
\]
Restricting to the \(\sigma_i^{\pm1}\) recovers the classical braid group \(B_n\) [2507.04565].

The paper also defines the rigid bonded braid monoid \(RM_n\), generated by \(\sigma_i^{\pm1}\), \(b_i\), and kink generators \(k_i\), with a second family of mixed relations for the \(k_i\) analogous to those for the \(b_i\). Group completions are obtained by adjoining inverses of the bond generators: the topological bonded braid group \(BB_n\) is obtained from \(M_n\) by adjoining \(b_i^{-1}\), and the rigid bonded braid group \(RB_n\) is obtained from \(RM_n\) by adjoining \(b_i^{-1}\) and \(k_i^{-1}\).

This algebraic setting is tied in the paper to bonded knots. Every topological bonded knot arises as the closure of a bonded braid, and equivalence of bonded knots is described by a bonded analogue of Markov moves. The representation theory is introduced in that closure-theoretic context rather than as a stand-alone matrix construction.

## 2. Unreduced bonded Burau representation

The unreduced construction begins with the standard Burau representation
\[
\psi_n:B_n\to \mathrm{GL}_n(\mathbb Z[t,t^{-1}]),
\]
sending \(\sigma_i\) to the usual Burau block
\[
A_i=
\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}.
\]
To extend this to bonded braids, the paper considers a bond matrix of the form
\[
B_i=
\begin{pmatrix}
I_{i-1} & 0 & 0 & 0\\
0 & x & y & 0\\
0 & z & w & 0\\
0 & 0 & 0 & I_{n-i-1}
\end{pmatrix}
\]
and imposes exactly the relations corresponding to the nontrivial mixed bonded braid relations:
\[
A_iB_i=B_iA_i,
\]
\[
A_{i+1}A_iB_{i+1}=B_iA_{i+1}A_i,
\]
\[
A_iA_{i+1}B_i=B_{i+1}A_iA_{i+1}.
\]
Solving these equations yields
\[
x=1-tz,\qquad y=tz,\qquad w=1-z.
\]

The resulting bonded Burau representation is therefore
\[
\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},
\qquad
b_i\mapsto
\begin{pmatrix}
I_{i-1} & 0 & 0 & 0\\
0 & 1-tz & tz & 0\\
0 & z & 1-z & 0\\
0 & 0 & 0 & I_{n-i-1}
\end{pmatrix}.
\]
At the local \(2\times2\) level, the classical crossing block
\[
\begin{pmatrix}1-t&t\\ 1&0\end{pmatrix}
\]
is replaced for a bond by
\[
\begin{pmatrix}1-tz&tz\\ z&1-z\end{pmatrix},
\]
so the construction is naturally viewed as a two-parameter deformation with \(t\) carrying the classical Burau parameter and \(z\) encoding bonded interaction [2507.04565].

Strictly speaking, because \(b_i\) need not be invertible over \(\mathbb Z[t,t^{-1},z]\), this is best viewed first as a monoid representation of \(M_n\) by matrices satisfying the monoid relations. The group-level extension requires localization.

## 3. Reduced bonded Burau representation

The reduced theory is obtained by the same upper-triangular change of basis used in the classical Burau construction. Let
\[
C=C_n=
\begin{pmatrix}
1&1&\cdots&1\\
0&1&\cdots&1\\
0&0&\ddots&\vdots\\
0&0&\cdots&1
\end{pmatrix}.
\]
Then for every \(i\),
\[
C^{-1}A_iC=
\begin{pmatrix}
A_i'&0\\
\ast_i&1
\end{pmatrix},
\qquad
C^{-1}B_iC=
\begin{pmatrix}
B_i'&0\\
\ast_i&1
\end{pmatrix}.
\]
The final \(1\)-dimensional block is trivial, so the reduced bonded Burau representation is defined by the upper-left blocks
\[
\psi_n^r:M_n\to \mathrm{GL}_{n-1}(\Lambda),\qquad \Lambda=\mathbb Z[t^{\pm1},z].
\]

For the braid generators, the reduced matrices are
\[
\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, the reduced matrices are
\[
b_1\mapsto
B_1'=
\begin{pmatrix}
1-z-tz&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&1-z-tz
\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&1-z-tz&0&0\\
0&0&z&1&0\\
0&0&0&0&I_{n-i-2}
\end{pmatrix}.
\]
For \(n=2\), the reduced representation collapses to
\[
\psi_2^r:M_2\to \mathrm{GL}_1(\Lambda),\qquad \sigma_1\mapsto -t,\qquad b_1\mapsto 1-z-tz.
\]

The basis change has the standard Burau meaning: in the new basis the last basis vector \(Ce_n\) spans an invariant trivial submodule, and the reduced representation is the action on the complementary \((n-1)\)-dimensional factor. This places the bonded theory in direct formal parallel with classical reduced Burau theory [2507.04565].

## 4. Localization and the rigid bonded Burau representation

The passage from monoids to groups is controlled by explicit inverses. The braid blocks remain invertible over \(\mathbb Z[t,t^{-1},z]\):
\[
A_i^{-1}=
\begin{pmatrix}
I_{i-1}&0&0&0\\
0&0&1&0\\
0&t^{-1}&1-t^{-1}&0\\
0&0&0&I_{n-i-1}
\end{pmatrix}.
\]
For the bond blocks,
\[
B_i^{-1}=\frac{1}{1-z-tz}
\begin{pmatrix}
I_{i-1}&0&0&0\\
0&1-z&-tz&0\\
0&-z&1-tz&0\\
0&0&0&I_{n-i-1}
\end{pmatrix}.
\]
Accordingly, after adjoining \((1-z-tz)^{-1}\), the representation extends to a genuine group representation
\[
\psi':BB_n\to \mathrm{GL}_n\bigl(\mathbb Z[t,t^{-1},z,(1-z-tz)^{-1}]\bigr).
\]

The rigid bonded Burau representation duplicates the same pattern for the kink generators. It is defined by
\[
\sigma_i\mapsto A_i,\qquad b_i\mapsto B_i,
\]
and
\[
k_i\mapsto C_i=
\begin{pmatrix}
I_{i-1}&0&0&0\\
0&1-t\check z&t\check z&0\\
0&\check z&1-\check z&0\\
0&0&0&I_{n-i-1}
\end{pmatrix}.
\]
Thus the rigid case is not structurally new: it is a parallel extension of the same \(2\times2\) ansatz with a second bond-like parameter \(\check z\). The paper notes a notational inconsistency in the localized group-level formula, where the final denominator is written once with \(\hat z\) although the kink parameter had been denoted \(\check z\); the intended meaning is to invert the determinant factor corresponding to the \(k_i\)-block as well [2507.04565].

The topological and rigid settings differ chiefly in generator content. The topological setting uses \(\sigma_i^{\pm1}\) and \(b_i\) with one new parameter \(z\), whereas the rigid setting adds \(k_i\) and a second parameter \(\check z\).

## 5. Reducibility and faithfulness

The unreduced bonded Burau representation is reducible for all \(n\ge 2\). The invariant line is
\[
\langle Ce_n\rangle,
\]
since
\[
A_iCe_n=Ce_n,\qquad B_iCe_n=Ce_n.
\]
This is the bonded analogue of the classical trivial summand in the unreduced Burau representation [2507.04565].

For the reduced representation, the paper records the following low-rank faithfulness pattern.

| \(n\) | Status of \(\psi_n^r\) | Basis of statement |
|---|---|---|
| \(1\) | faithful | obvious |
| \(2\) | faithful | \(\sigma_1\mapsto -t\), \(b_1\mapsto 1-z-tz\) |
| \(3\) | faithful | identified with a representation of \(SB_3\) |
| \(4\) | unknown | unresolved |
| \(n\ge 5\) | not faithful | classical reduced Burau already not faithful on \(B_n\subset M_n\) |

The \(n=2\) case is elementary and characteristic. Since \(-t\) is a unit but \(1-z-tz\) is not, a word mapping to \(1\) cannot contain \(b_1\); then
\[
(-t)^k=1 \iff k=0.
\]
So \(\psi_2^r\) is injective. For \(n=3\), the paper uses the isomorphism between the singular braid monoid \(SB_n\) and \(M_n\), together with the Dasbach–Gemein representation for \(SB_3\). For \(n\ge 5\), nonfaithfulness is inherited from the classical reduced Burau representation because the braid subgroup \(B_n\) sits inside \(M_n\).

Two low-rank examples make the local structure transparent. For \(n=2\),
\[
A_1=
\begin{pmatrix}
1-t&t\\
1&0
\end{pmatrix},
\qquad
B_1=
\begin{pmatrix}
1-tz&tz\\
z&1-z
\end{pmatrix},
\]
and
\[
A_1'=(-t),\qquad B_1'=(1-z-tz).
\]
For \(n=3\), the reduced matrices are
\[
A_1'=
\begin{pmatrix}
-t&0\\
1&1
\end{pmatrix},
\qquad
A_2'=
\begin{pmatrix}
1&t\\
0&-t
\end{pmatrix},
\]
\[
B_1'=
\begin{pmatrix}
1-z-tz&0\\
z&1
\end{pmatrix},
\qquad
B_2'=
\begin{pmatrix}
1&tz\\
0&1-z-tz
\end{pmatrix}.
\]
These are the first genuinely noncommutative reduced examples.

## 6. Scope, applications, and related constructions

The bonded Burau representation is introduced after the paper establishes bonded analogues of the Alexander and Markov theorems. Its intended role is therefore analogous to the role of the classical Burau representation in ordinary braid theory: it is a linear construction attached to bonded braid representatives of bonded knots. The paper does not, however, develop a full invariant of bonded knots from \(\psi\) or \(\psi_n^r\). Any such invariant would need compatibility with the bonded Markov moves, which in the topological bonded setting are conjugation, cyclic permutation of bonds, and stabilization [2507.04565].

A recurrent source of confusion is terminological. The phrase “bonded Burau representation” is specific to the bonded braid monoid setting just described. It is distinct from the reduced Burau representation of \(B_3\) specialized at \(t=e^{i\omega}\) and unitarized via Squier’s Hermitian form, which was used as a two-dimensional non-Abelian control in a causal-order Gedankenexperiment; that construction concerns the reduced Burau representation of \(B_3\), not bonded braids [2510.18186]. It is also distinct from the Burau representations of loop braid groups, where four versions are constructed for \(LB_n\) and \(LB_n'\), including a reduced extended representation on
\[
S^{\oplus n-1}\oplus S/(t-1),
\]
again without bond generators in the bonded-braid sense [2109.11468].

Within the broader landscape of Burau generalizations, the bonded Burau representation is therefore characterized by three features: the presence of explicit bond generators \(b_i\), the local bond block
\[
\begin{pmatrix}1-tz&tz\\ z&1-z\end{pmatrix},
\]
and the closure-theoretic context supplied by bonded Alexander and Markov theorems. In that precise sense, it is the Burau extension native to bonded braid theory.

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