Reduced Bonded Burau Representation

• The paper introduces the reduced bonded Burau representation, extending the classical Burau homomorphism to the topological bonded braid monoid by incorporating bond generators.
• Detailed matrices for both braid and bond generators are derived using conjugation techniques to isolate the nontrivial (n–1)-dimensional action.
• The representation bridges classical braid theory with bonded and singular braid frameworks, highlighting unresolved faithfulness issues in low-dimensional cases.

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 (Cavicchioli et al., 6 Jul 2025).

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 $$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$0 is a bond generator, representing a local bonded connection between strands $$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$1 and $$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$2 (Cavicchioli et al., 6 Jul 2025).

The defining relations comprise the standard braid relations

$$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$3

$$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$4

$$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$5

the bonded braid relation

$$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$6

and the mixed braid-bond relations

$$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$7

$$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$8

$$\psi_n^r: M_n \longrightarrow \mathrm{GL}_{n-1}(\Lambda), \qquad \Lambda=\mathbb{Z}[t^{\pm1}, z],$$9

$\sigma_i$0

Restricting to the $\sigma_i$1 and relations (R1)–(R3) recovers the usual braid group $\sigma_i$2. 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 (Cavicchioli et al., 6 Jul 2025). For the classical reduced Burau representation itself, the standard topological construction uses the action of $\sigma_i$3 on the homology of an infinite cyclic cover of the punctured disc, yielding a $\sigma_i$4-dimensional representation over $\sigma_i$5 (Chen, 2015).

2. Unreduced bonded Burau representation

The reduced bonded Burau representation is obtained from an unreduced bonded Burau representation

$\sigma_i$6

Its construction begins with the classical Burau assignment on braid generators: $\sigma_i$7

For the bond generators, the representation uses an ansatz

$\sigma_i$8

Imposing the mixed relations

$\sigma_i$9

leads to the solution

$b_i$0

Hence

$b_i$1

This assignment defines the bonded Burau representation. On the subgroup $b_i$2, it restricts to the ordinary Burau representation. The new parameter $b_i$3 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 (Cavicchioli et al., 6 Jul 2025).

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 $b_i$4-dimensional summand. The conjugating matrix is

$b_i$5

For all $b_i$6,

$b_i$7

where

$b_i$8

for the $b_i$9, while for the $z$0 one has, for $z$1,

$z$2

The $z$3 blocks define the reduced representation

$z$4

with $z$5 (Cavicchioli et al., 6 Jul 2025).

For the braid generators: $z$6 and for $z$7,

$z$8

For the bond generators: $z$9 and for $B_n\subset M_n$0,

$B_n\subset M_n$1

For $B_n\subset M_n$2, the reduced representation becomes

$B_n\subset M_n$3

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 $B_n\subset M_n$4-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$5, the matrices $B_n\subset M_n$6 are the usual reduced Burau matrices. The paper states that the classical case is recovered by restriction to the braid subgroup generated by the $B_n\subset M_n$7 (Cavicchioli et al., 6 Jul 2025).

This places the representation within the standard Burau framework. In classical terms, the reduced Burau representation is the $B_n\subset M_n$8-dimensional representation

$B_n\subset M_n$9

whose topological model is the action of $b_i$0 on

$b_i$1

where $b_i$2 is the infinite cyclic cover of the punctured disc determined by total winding number (Chen, 2015). The bonded construction does not alter the Burau matrices for braid generators; instead, it adds the $b_i$3-matrices

$b_i$4

in the unreduced setting and their reduced analogues $b_i$5, thereby adjoining bond data without changing the ordinary braid-theoretic sector (Cavicchioli et al., 6 Jul 2025).

The paper also compares the bonded setting with the singular braid monoid $b_i$6: for $b_i$7, $b_i$8 is isomorphic to $b_i$9, and the representation from Dasbach–Gemein for singular braids is isomorphic to the one defined here (Cavicchioli et al., 6 Jul 2025). 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 $M_n$0. The invariant line is

$M_n$1

where $M_n$2 is the last standard basis vector and $M_n$3. Indeed,

$M_n$4

This is the direct reason reduction is possible (Cavicchioli et al., 6 Jul 2025).

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

• $M_n$5: faithfulness is obvious.
• $M_n$6: the representation is faithful. The paper proves that

$M_n$7

given by

$M_n$8

is injective.

• $M_n$9: faithfulness follows from prior work on singular braid monoids; the reduced bonded Burau representation is faithful for $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$0.
• $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$1: faithfulness remains unknown.
• $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$2: the representation is not faithful, because the classical Burau representation of the Artin braid group is not faithful for $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$3 and all $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$4, and the classical braid subgroup $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$5 already carries that obstruction (Cavicchioli et al., 6 Jul 2025).

For $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$6, the proof of faithfulness uses the distinction that $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$7 is a unit while $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$8 is not a unit, so a word mapping to $$\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,b_2,\dots,b_{n-1}.$$9 cannot contain $\sigma_i^{\pm1}$0. A plausible implication is that in very low rank the bond parameter $\sigma_i^{\pm1}$1 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,

$\sigma_i^{\pm1}$2

with kink generators $\sigma_i^{\pm1}$3 sent to matrices

$\sigma_i^{\pm1}$4

but it does not formulate a reduced rigid bonded Burau representation theorem (Cavicchioli et al., 6 Jul 2025). Thus, the term “reduced bonded Burau representation” refers specifically to the topological bonded braid monoid $\sigma_i^{\pm1}$5, not to the rigid monoid $\sigma_i^{\pm1}$6.

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, $\sigma_i^{\pm1}$7 provides a linear representation of the monoid that extends one of the central tools of classical braid theory into the bonded domain (Cavicchioli et al., 6 Jul 2025).

The main unresolved point is the $\sigma_i^{\pm1}$8 case, where faithfulness remains open, paralleling the exceptional status of $\sigma_i^{\pm1}$9-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.