Classification of Homogeneous Local Representations of the Singular Braid Monoid

Mohamad N. Nasser; Taher I. Mayassi

REVIEW 5 major objections 4 minor 2 cited by

Classification of Homogeneous Local Representations of the Singular Braid Monoid

T0 review · 5 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every non-trivial homogeneous 3-local braid representation of $B_n$ for $n \geq 4$ is equivalent to one of eight explicit matrix families; extensions to $SM_n$ follow the same eight-family structure.

desk verdict A genuine extension of Mikhalchishina's classification, but the printed 3-local theorems are internally inconsistent and the completeness argument is not independently checkable as submitted. read the letter →

arxiv 2501.13404 v1 pith:V4DCTHEX submitted 2025-01-23 math.RT

Taher I. Mayassi , Mohamad N. Nasser This is my paper · ORCID

classification math.RT MSC 20F36

keywords braidgroupsingularmonoidlocalrepresentationshomogeneous3-local2-localextensionsPhi-typeBuraurepresentation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper aims to give a complete classification of a restricted but natural class of linear representations of braid groups and their singular extension. Representations are called k-local when each braid generator acts by inserting the same k-by-k block into an identity matrix, and homogeneous when that block is identical for all generators. The paper claims that for at least four strands every non-trivial homogeneous 3-local representation of $B_n$ is equivalent to one of eight explicitly written matrix families, and that every homogeneous 3-local extension to the singular braid monoid $SM_n$ is likewise one of eight families. It also classifies homogeneous 2-local extensions to $SM_n$ for all $n \geq 2$ and the so-called $\Phi$-type extensions of the known 2-local braid representations. A complete classification matters because it turns an infinite family of representations into a short parameter list in which standard examples such as the Burau representation and the F-representation appear as special cases.

What carries the argument

The machinery is a localization-plus-equations reduction. A k-local representation of $B_n$ is determined by one k-by-k block placed on the diagonal of an otherwise identity matrix, and homogeneity forces the same block for every generator. The braid relations then become polynomial equations in the block entries. For the 3-local case, the distant-commutation relations force the $(1,3)$ and $(3,1)$ entries of the block to vanish, and the three-strand braid relation gives the polynomial system labeled (19)-(40); adding the singular generators produces the mixed-relation system (41)-(95). Solving these systems over the complex numbers with non-zero determinant yields the eight $M_j$ families and the companion $N_j$ families.

What would settle it

Substitute each printed family into the defining relations; for instance, the proof of Theorem 18 derives $N_8$ with entries $n_{21} = m_{21}n_{12}/m_{12}$, $n_{22} = n_{11}$, $n_{23} = n_{32} = 0$, $n_{33} = 1$, while the theorem statement prints a different $N_8$, so checking which matrix satisfies equations (41)-(95) will decide the list. Independently, a computer algebra solve of equations (19)-(40) over the complex numbers with $\det M \neq 0$ should return exactly the nine listed solutions; any extra or missing solution would falsify Theorem 17.

Watch

Extended reading notes

Core claim

The paper's central claim is a complete list: eight matrices $M_1, \dots, M_8$ such that every non-trivial homogeneous 3-local representation of $B_n$ for $n \geq 4$ is equivalent to one of them. Because homogeneous means the same block is used for every generator, a single 3-by-3 block $M$ determines the whole representation, and the braid relations reduce to a finite system of polynomial equations in the entries of $M$. The paper reports that the non-trivial solutions to this system are exactly the eight listed families, with the identity block discarded. It then claims the companion statement for the singular braid monoid: every homogeneous 3-local extension to $SM_n$ is equivalent to one of eight representations $\nu'_j$ determined by $M_j$ together with a companion block $N_j$. In the same style, the paper classifies homogeneous 2-local extensions to $SM_n$ for $n=2$ and $n \geq 3$, and classifies the extensions of 2-local braid representations that come from the $\Phi$-type construction.

Load-bearing premise

The whole result depends on two things the paper does not supply: the unstated convention for when two local representations are considered equivalent, and the computer-generated solution lists for the equations imposed by the braid and mixed relations; if those lists are incomplete or mistranscribed, the classification fails.

Editorial extensions

If this is right

For $n \geq 4$, every non-trivial homogeneous 3-local representation of $B_n$ is parameterized by at most two complex parameters from one of the eight families $M_1, \dots, M_8$, subject to the stated non-vanishing conditions.
Every homogeneous 3-local extension to $SM_n$ is likewise parameterized by the companion blocks $N_1, \dots, N_8$, so the extension problem for these representations is closed.
The complex Burau representation and the F-representation are special cases of the classified families, placing the standard examples inside the classification.
The homogeneous 2-local extension problem for $SM_n$ is fully classified: seven families for $n=2$ and three families for $n \geq 3$.
When the singular generator matrices are invertible, the classified extensions give representations of the singular braid group $SB_n$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The printed list in Theorem 18 should be checked before use: in case 8 the stated $N_8$ does not match the $N_8$ derived in the proof, so one of the two has a transcription error.
The same polynomial-system method could classify non-homogeneous 3-local representations, where the braid relation couples distinct 3-by-3 blocks; the paper does not attempt this.
The open $n=3$ case is the natural completion: with only two generators and one braid relation, the solution set should be strictly larger, and solving it would give a classification for every $n$.
If the classification is correct, each family provides a parameter space on which irreducibility, faithfulness, and possible new link invariants could be tested family by family, extending the reducibility results quoted for the Burau and F-representations.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's the short version: this is a real extension of Mikhalchishina's 2-local classification to the 3-local setting and to the singular braid monoid, and the general strategy is sound. But the printed 3-local classification is not reliable as stated. Theorem 17(4) prints a matrix with m32 in the denominator in a case whose proof sets m32=0, and Theorem 18(8) prints an N8 that belongs to Case 7 and has nothing to do with M8 in Case 8. The proof of Case 8 in Theorem 18 even writes M8 with a 1 in the (1,1) entry despite m11=0. The statement and the derivation disagree in multiple places. For a classification theorem, the list is the product, and this one is internally inconsistent.

What's good: the equation systems (19)-(40) and (41)-(95) come straight from the defining relations, so the method is legitimate. The 2-local extension results in Section 3 are checkable by hand and look right. The observation that the F-representation is family 3 of Theorem 17 is a nice sanity check, and the relation to the Burau and F-representations gives the work some context.

Beyond the concrete errors, two things block verification. The equivalence relation under which the classification is stated is never defined. And the completeness step is delegated to Mathematica with no code, no output, and no documented solve order. That is not acceptable for a "for all" claim; a referee cannot tell whether the list is complete. These are fixable, but they are load-bearing in the current version.

Who is this for: specialists in braid group representations, particularly people working on local representations and the singular braid monoid. The 2-local SM_n part may be useful independently. As submitted, I would not rely on the 3-local theorems.

Recommendation: this deserves a serious referee, not a desk reject—the problem is meaningful and the approach is credible. But the referee should be asked to return it for major revision, with the internal inconsistencies fixed, the Mathematica code shipped, and the equivalence relation stated. I wouldn't cite it in the current form.

Referee Report

5 major / 4 minor

Summary. The paper claims two classification theorems for homogeneous local representations of braid groups and singular braid monoids. Theorem 17 classifies all non-trivial homogeneous 3-local representations of the braid group B_n for n ≥ 4 into eight explicit families M_1,...,M_8, extending Mikhalchishina's 2-local classification. Theorem 18 classifies all homogeneous 3-local extensions of these representations to the singular braid monoid SM_n, again into eight families with matrices N_1,...,N_8. The paper also classifies homogeneous 2-local extensions of homogeneous 2-local representations of B_n to SM_n (Theorems 11 and 13) and Φ-type extensions of the 2-local families (Theorem 15). The proofs derive polynomial equations from the defining relations of B_n and SM_n and then solve these systems, with the final solution step delegated to the Mathematica software package.

Significance. If the classification results are correct, they would provide a complete description of the stated families of local representations, which is a natural and useful extension of Mikhalchishina's work and relevant to the study of representations of singular braid monoids. The paper also includes explicit connections to the Burau and F-representations. However, the central classification theorems currently rest on an unverifiable computer algebra step and contain internal inconsistencies in the printed families, so the results cannot be taken as established in the present form. The method of deriving equations from the defining relations is sound in principle, and the claimed families are plausible, but the lack of reproducible computation and the mismatched matrices undermine the correctness of the stated classifications.

major comments (5)

[Theorem 17(4)] The printed matrix M4 has the (2,1) entry -m22/m32 with the condition m23 m22 ≠ 0, but the proof of Case 4 in Theorem 17 sets m32 = 0 and m21 = -m22/m23. The printed matrix is therefore undefined and does not match the derivation. This is a load-bearing error because Theorem 17 is the central classification list for homogeneous 3-local representations of B_n.
[Theorem 18(8)] The statement of Theorem 18, case 8, lists M8 = [[0,m12,0],[m21,0,0],[0,0,1]] with m12 m21 ≠ 1, and N8 = [[1,0,0],[0,n22,n23],[0,m32 n23/m23,n22]], which involves parameters m23 and m32 that are zero for the given M8. The proof of Case 8 derives, with m12 m21 ≠ 0, the matrix N8 = [[n11,n12,0],[m21 n12/m12,n11,0],[0,0,1]]. Additionally, the proof writes M8 = [[1,m12,0],[m21,0,0],[0,0,0]] although its own parameter assignment states m11 = 0 and m33 = 1. Thus the theorem statement disagrees with its own derivation and cannot serve as a classification.
[Section 4, proofs of Theorems 17 and 18] The core completeness step in both theorems is delegated to 'Mathematica software' with no code, no output, and no reproducibility information. The polynomial systems (19)–(40) and (41)–(95) are printed, but the reader cannot check that the listed solutions exhaust all cases or that the N_j matrices are the complete solution sets. This is a load-bearing gap for the classification claims, and it is not a minor presentation issue.
[Definitions 1–2 and Theorems 11, 13, 15, 17, 18] The word 'equivalent' is used throughout the classification statements but is never defined. It is not specified whether equivalence means conjugation by a fixed block-diagonal matrix, conjugation by an arbitrary invertible matrix, or another relation. Without this definition, the statement that a representation is 'equivalent to one of the following' is not falsifiable and the classification is not well-posed.
[Theorem 18(8), condition on m12 m21] Theorem 18(8) states the condition m12 m21 ≠ 1 for M8, while Theorem 17(8) and the proof of Theorem 18, Case 8, use the condition m12 m21 ≠ 0. This unexplained discrepancy affects the parameter range of a listed family and should be resolved.

minor comments (4)

[Theorem 17, proof, solution (0)] The trivial solution (0) is printed with m22 = 1 and m12 = 0 but is accompanied by the conditions 'm22 ≠ 1 and m12 ≠ 0', which are incompatible with the displayed values; this appears to be a copy-paste error.
[Throughout the manuscript] There are numerous typographical errors, including 'f or', 'wehre', 'speciﬁc two local', and inconsistent use of ν versus ν' in some displayed computations in the proof of Theorem 18.
[Theorem 18, proof, Case 3] The displayed expression for N3 in the theorem statement contains the term '1 - m32 n12 + m32 n12/m22', which is notationally awkward and should be simplified to '1 - m32 n12 (1 - 1/m22)' or similar for clarity.
[References] Reference [16] is listed as 'Accepted in Vietnam Journal of Mathematics' without a year, and reference [12] is listed as 'to appear'; these should be updated if possible.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the classification is derived by imposing the braid/monoid relations as polynomial equations and solving them; the solution families are not assumed as inputs.

full rationale

The central claims (Theorems 17 and 18) are obtained by a direct algebraic derivation. In Theorem 17 the proof starts from an arbitrary 3x3 matrix M, imposes the braid relations sigma_i sigma_j = sigma_j sigma_i and sigma_i sigma_{i+1} sigma_i = sigma_{i+1} sigma_i sigma_{i+1}, obtains the polynomial systems (19)-(40), solves these systems with det(M) != 0, and lists the solution families M1...M8. The families are the output, not the input. Similarly, Theorem 18 fixes each M_j from Theorem 17 and solves the monoid and mixed-relation systems (41)-(95) to derive N_j; the N_j are not assumed. The external input, Mikhalchishina's Theorem 12, is used only to organize the 2-local SM case and is an independent published theorem, not a self-citation. The self-citations [14], [15], [16] appear in the introduction and in motivational examples (e.g., F-representation irreducibility) and are not load-bearing for the completeness of the new classification. The dependence on Mathematica and the apparent typos in the printed matrices (e.g., M4 in Theorem 17 and N8/N4 in Theorem 18) are correctness and reproducibility concerns, not circularity: they do not make any derived quantity equal to an input by construction.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central classification rests on standard monoid presentations, an unstated notion of equivalence, and unverified computer algebra; no new entities are introduced.

assumptions (4)

standard math The braid group B_n has presentation with σ_iσ_{i+1}σ_i = σ_{i+1}σ_iσ_{i+1} and σ_iσ_j=σ_jσ_i for |i-j|≥2; the singular braid monoid SM_n has the additional mixed relations (4)-(7).
Used as defining relations throughout Section 2 and in the equation systems of Sections 3 and 4.
domain assumption A k-local representation is equivalent to another if they are related by a change of basis preserving the block-local form; this equivalence relation is never stated in the paper.
The classification statements (Theorems 11, 13, 17, 18) are 'up to equivalence' but equivalence is not defined.
ad hoc to paper Mathematica's solutions of the polynomial systems (19)-(40) and (41)-(95) are complete and correct.
The paper relies on a closed-source solver for the core classification step and ships no code or certificates.
domain assumption To classify extensions to SM_n it suffices to impose the listed mixed relations; the authors assert without proof that 'the other relations imply similar equations.'
In the proof of Theorem 13, only three mixed relations are checked; in Theorem 18, a large but selective set of relations is used. No formal verification covers all relations.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Classification of Homogeneous Local Representations of the Singular Braid Monoid." pith.science (2026). https://pith.science/paper/V4DCTHEX

@misc{pith2026250113404,
  author       = {Pith},
  title        = {Pith review of: Classification of Homogeneous Local Representations of the Singular Braid Monoid},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V4DCTHEX}},
  note         = {Machine review of arXiv:2501.13404}
}

abstract

For a natural number $n$, denote by $B_n$ the braid group on $n$ strings and by $SM_n$ the singular braid monoid on $n$ strings. $SM_n$ is one of the most important extensions of $B_n$. In [13], Y. Mikhalchishina classified all homogeneous $2$-local representations of $B_n$ for all $n \geq 3$. In this article, we extend the result of Mikhalchishina in two ways. First, we classify all homogeneous $3$-local representations of $B_n$ for all $n \geq 4$. Second, we classify all homogeneous $2$-local representations of $SM_n$ for all $n\geq 2$ and all homogeneous $3$-local representations of $SM_n$ for all $n\geq 4$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Matrix representations of the twisted virtual braid group and its extensions
math.RT 2025-06 reject novelty 6.0 of 10

Every complex local representation of TVB2 into GL3(C) belongs to one of eight explicit families, and similar families are listed for TVBn into GL_{n+1}(C) and for STVB2 into M3(C).
On the classification and irreducibility of $2$-local representations of the twin group $T_n$
math.RT 2025-08 conditional novelty 5.0 of 10

A 2-local representation of the twin group reduces to an (n-1)-dimensional one, and this reduced representation is irreducible exactly when a avoids 1, -1 and roots of an explicit polynomial.

Reference graph

Works this paper leans on

17 extracted references · 15 canonical work pages · cited by 2 Pith papers

[1]

Baez, Link invariants of ﬁnite type and perturbation theory , Lett

J. Baez, Link invariants of ﬁnite type and perturbation theory , Lett. Math. Phys., 26, (1997), 43-51

work page 1997
[2]

Bardakov, P

V. Bardakov, P. Bellingeri, On representation of braids as automorphisms of free groups and corresponding linear representations , Knot Theory and Its Applications, in: Contemp. Math., 670, Amer. Math. Soc., Providence (2016), 285-298

work page 2016
[3]

Bardakov, N

V. Bardakov, N. Chbili, T. Kozlovskaya Extensions of Braid Group Representations to the Monoid of Singular Braids , Mediterr. J. Math., 21, (2024), 180

work page 2024
[4]

Birman, New points of view in knot theory , Bull

J. Birman, New points of view in knot theory , Bull. Amer. Math. Soc., 28, (1993), 253-287

work page 1993
[5]

Burau, Braids, Uber Zopfgruppen and gleichsinnig verdrillte Verk ettungen, Abh

W. Burau, Braids, Uber Zopfgruppen and gleichsinnig verdrillte Verk ettungen, Abh. Math. Semin. Hamburg Univ, 11, (1936), 179-186

work page 1936
[6]

Chreif, M

M. Chreif, M. Dally, On the irreducibility of local representations of the Braid group Bn, Arab. J. Math., (2024)

work page 2024
[7]

The Word Problem for the Singular Braid Monoid

O. Dasbach, B. Gemein, The word problem for the singular braid monoid , arXiv:math/9809070

work page Pith review arXiv
[8]

A Faithful Representation of the Singular Braid Monoid on Three Strands

O. Dasbach, B. Gemein, A faithful representation of the singular braid monoid on th ree strands, arXiv:math/9806050

work page Pith review arXiv

Show all 17 references

[9]

R. Fenn, E. Keyman, C. Rourke The singular braid monoid embeds in a group , J. Knot Theory, 7 (7), (1998), 881-892

1998
[10]

Formanek, Braid group representations of low degree , Proc

E. Formanek, Braid group representations of low degree , Proc. London Math Soc. 73 (3), (1996), 279–322

1996
[11]

Gemein, Representations of the singular braid monoid and group inva riants of singular knots, Topology and its Applications, 114 (2001), 117–140

B. Gemein, Representations of the singular braid monoid and group inva riants of singular knots, Topology and its Applications, 114 (2001), 117–140. LOCAL REPRESENTATIONS OF THE SINGULAR BRAID MONOID 27

2001
[12]

T. A. Kozlovskaya, P. Sokolov, N. Shishkin, Representations of virtual and singular braid groups to appear in Siberian Journal of Mathematics
[13]

Mikhalchishina, Local representations of braid groups , Sib

Y. Mikhalchishina, Local representations of braid groups , Sib. Math. J., 54 (4), (2013), 666–678

2013
[14]

Nasser, On the Faithfulness of a Family of Representations of the Sin gular Braid Monoid SMn, arXiv:2405.04888

M. Nasser, On the Faithfulness of a Family of Representations of the Sin gular Braid Monoid SMn, arXiv:2405.04888

arXiv
[15]

Nasser, Necessary and suﬃcient conditions for the irreducibility o f a linear representation of the braid group Bn, Arab

M. Nasser, Necessary and suﬃcient conditions for the irreducibility o f a linear representation of the braid group Bn, Arab. J. Math. 13, (2024), 333-339

2024
[16]

Nasser, Local Extensions and Φ -Type Extensions of Some Local Representations of the Braid Group Bn to the Singular Braid Monoid SMn, Accepted in Vietnam Journal of Math- ematics

M. Nasser, Local Extensions and Φ -Type Extensions of Some Local Representations of the Braid Group Bn to the Singular Braid Monoid SMn, Accepted in Vietnam Journal of Math- ematics
[17]

Paris The proof of Birman ’s conjecture on singular braid monoids, Geom

L. Paris The proof of Birman ’s conjecture on singular braid monoids, Geom. Topol., 8 (2004), 1281–1300 (electronic). Taher I. Mayassi, Department of Mathematics and Physics, Le banese International University, P.O. Box 146404, Beirut, Lebanon Email address : taher.mayasi@liu....

2004

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1]

Baez, Link invariants of ﬁnite type and perturbation theory , Lett

J. Baez, Link invariants of ﬁnite type and perturbation theory , Lett. Math. Phys., 26, (1997), 43-51

work page 1997

[2] [2]

Bardakov, P

V. Bardakov, P. Bellingeri, On representation of braids as automorphisms of free groups and corresponding linear representations , Knot Theory and Its Applications, in: Contemp. Math., 670, Amer. Math. Soc., Providence (2016), 285-298

work page 2016

[3] [3]

Bardakov, N

V. Bardakov, N. Chbili, T. Kozlovskaya Extensions of Braid Group Representations to the Monoid of Singular Braids , Mediterr. J. Math., 21, (2024), 180

work page 2024

[4] [4]

Birman, New points of view in knot theory , Bull

J. Birman, New points of view in knot theory , Bull. Amer. Math. Soc., 28, (1993), 253-287

work page 1993

[5] [5]

Burau, Braids, Uber Zopfgruppen and gleichsinnig verdrillte Verk ettungen, Abh

W. Burau, Braids, Uber Zopfgruppen and gleichsinnig verdrillte Verk ettungen, Abh. Math. Semin. Hamburg Univ, 11, (1936), 179-186

work page 1936

[6] [6]

Chreif, M

M. Chreif, M. Dally, On the irreducibility of local representations of the Braid group Bn, Arab. J. Math., (2024)

work page 2024

[7] [7]

The Word Problem for the Singular Braid Monoid

O. Dasbach, B. Gemein, The word problem for the singular braid monoid , arXiv:math/9809070

work page Pith review arXiv

[8] [8]

A Faithful Representation of the Singular Braid Monoid on Three Strands

O. Dasbach, B. Gemein, A faithful representation of the singular braid monoid on th ree strands, arXiv:math/9806050

work page Pith review arXiv