Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

Matrix representations of the twisted virtual braid group and its extensions

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

Pith's one-line read The paper classifies every complex local representation of the twisted virtual braid group TVB2 into GL3(C) as one of eight explicit families, all unfaithful and reducible to 2x2, then extends the list to seven homogeneous families for…

desk verdict New classification lists for twisted virtual braid group representations, but the reducibility theorems are demonstrably false and the n≥3 proofs are omitted; needs serious revision before it can be trusted. read the letter →

arxiv 2506.03806 v2 pith:H72LK2ZN submitted 2025-06-04 math.RT

classification math.RT MSC 20F3620F3857K12
keywords twistedvirtualbraidgrouplocalrepresentationshomogeneoussingularmonoidfaithfulnessirreducibilityPhi-typeextensionsmatrix
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

The paper sets out to classify all complex local representations of the twisted virtual braid group on two strands, $TVB_2$, into $\mathrm{GL}_3(\mathbb{C})$. Its main result is a complete list of eight explicit matrix families, $\zeta_1$ through $\zeta_8$, and it proves that every such representation is equivalent to one of them, that none is faithful, and that each reduces to a $2 \times 2$ representation. The same programme is pushed further: for $n \geq 3$, complex homogeneous local representations of $TVB_n$ into $\mathrm{GL}_{n+1}(\mathbb{C})$ are classified into seven unfaithful families, and complex local representations of the singular twisted virtual braid monoid $STVB_2$ into $\mathrm{M}_3(\mathbb{C})$ are classified into thirteen unfaithful families. In the last section the paper compares two natural ways to extend a $TVB_2$ representation to $STVB_2$, local extension and $\Phi$-type extension, and shows that they are not the same mechanism. A complete catalogue of this kind matters because it is the first concrete step toward deciding whether these generalized braid groups admit any faithful linear representation at all.

What carries the argument

The engine of the classification is the local representation ansatz itself: each generator is represented by a block-diagonal matrix carrying one small block, a $2 \times 2$ matrix for $TVB_2 \to \mathrm{GL}_3(\mathbb{C})$, and identity blocks elsewhere, with the twist generators $\gamma_j$ forming a family of length $n$. Plugging this ansatz into the defining relations of $TVB_n$, the involutions $\rho_i^2=1$, $\gamma_j^2=1$, the commutation rules, and the key mixed relation $\rho_1\sigma_1\rho_1=\gamma_2\gamma_1\sigma_1\gamma_1\gamma_2$, turns the representation problem into an explicit polynomial system; for $n=2$ it is a system of 31 equations in the 12 entries of the four $2 \times 2$ blocks, whose solution and subsequent change-of-basis normalization produce the eight normal forms. For $n \geq 3$ the same computation is run with all blocks constant, the homogeneous case, and for $STVB_2$ the additional singular relations $\sigma_1\tau_1=\tau_1\sigma_1$ and $\rho_1\tau_1\rho_1=\gamma_2\gamma_1\tau_1\gamma_1\gamma_2$ are imposed. The non-further-reducibility of the $n$-dimensional restrictions is controlled by restricting to the braid subgroup $B_n$ and invoking the lemma that irreducibility on a subgroup forces irreducibility of the ambient representation. The paper then separately promotes the classical $\Phi$-type extension formula $\Phi_{t,u,v}(\tau_1)=t\,\zeta(\sigma_1)+u\,\zeta(\sigma_1^{-1})+vI_3$ to the twisted setting and compares it with the local extension.

What would settle it

A direct computer-algebra check would settle the classification: generate the full solution set of the defining relations for $TVB_2$ with arbitrary invertible complex $2 \times 2$ blocks for $\gamma_1,\gamma_2$, and compare the equivalence classes with the eight families of Theorem 3.1; any class not equivalent to a $\zeta_i$ refutes completeness. For the reducibility statements, take $\zeta_3$ or $\zeta_4$ with the $2 \times 2$ block of $\gamma_1=\gamma_2$ equal to $-I_2$ and a nonzero off-diagonal $\sigma_1$ block, then test whether the $\sigma_1$-block eigenvectors are common to all matrices; if such a common eigenvector exists outside the stated conditions, the 'only if' part of Theorem 3.3(iii) fails.

Watch

Extended reading notes

Core claim

The paper's central claim is that the local ansatz is rigid for $TVB_2$: if $\zeta \colon TVB_2 \to \mathrm{GL}_3(\mathbb{C})$ is any complex local representation, then after a change of basis its values are one of the eight families $\zeta_1,\dots,\zeta_8$ displayed in Theorem 3.1, with parameters constrained by inequalities such as $b^2-d^2x^2 \neq 0$ and $x \neq 0$. In all eight families the twist generators $\gamma_1,\gamma_2$ act in only two ways, either both are the identity or they are $\mathrm{diag}(-1,1,1)$ and $\mathrm{diag}(1,-1,1)$, so the classification reduces the representation theory of this local type to a short list of $2 \times 2$ blocks. Each family is unfaithful, and each contains the invariant line spanned by the third standard basis vector, hence each is reducible to a $2 \times 2$ subrepresentation; Theorem 3.3 then states which families reduce further to degree 1. For $n \geq 3$, Theorem 3.4 gives the analogous seven homogeneous local families in $\mathrm{GL}_{n+1}(\mathbb{C})$, and Theorem 4.1 gives thirteen families for $STVB_2$ into $\mathrm{M}_3(\mathbb{C})$. Finally, Theorem 5.1 and Corollary 5.2 show that the local extension $\eta_1$ of $\zeta_1$ agrees with a $\Phi$-type extension only for a specific parameter formula, so not every local representation of $TVB_2$ extends to $STVB_2$ by the $\Phi$-type prescription.

Load-bearing premise

The load-bearing step is an omitted calculation: for $n=2$ the paper states the solution of a 31-equation system in 12 unknowns without showing the full derivation, and for $n \geq 3$ and for $STVB_2$ it asserts 'a similar proof' with no equations displayed, so the completeness of the seven- and thirteen-family lists rests entirely on those hidden computations. The reducibility claims additionally assume that any common eigenvector of the $2 \times 2$ blocks must be a standard coordinate vector, which is not generally true when a block is $\pm I_2$.

Editorial extensions

If this is right

  • Every complex local representation of $TVB_2$ in $\mathrm{GL}_3(\mathbb{C})$ is accounted for by eight parameterized families; no such representation is faithful, so the twisted virtual braid group does not admit a faithful $3 \times 3$ local representation.
  • All eight families reduce to a $2 \times 2$ subrepresentation; types $\zeta_3$ through $\zeta_8$ sometimes reduce further to degree 1, with explicit conditions such as $b=0$ and $a \neq d$ for $\zeta_3$ and $\zeta_4$.
  • For $n \geq 3$, homogeneous local representations of $TVB_n$ into $\mathrm{GL}_{n+1}(\mathbb{C})$ are exhausted by seven families; for $\zeta'_1$ through $\zeta'_4$ the $n$-dimensional reduction stays irreducible when $bc \neq 1$.
  • The singular twisted virtual braid monoid $STVB_2$ has thirteen local $\mathrm{M}_3(\mathbb{C})$ families, all unfaithful and reducible to $2 \times 2$; when $\eta(\tau_1)$ is invertible these extend to $STVG_2$.
  • Local extension and $\Phi$-type extension are different mechanisms: for $\zeta_1$ they agree only when $t,u,v$ satisfy the three formulas in Corollary 5.2, so there are local extensions that are not $\Phi$-type.

Reading between the lines

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

  • Because every classified local representation is unfaithful, any faithful complex representation of $TVB_n$ must abandon the local block form or use a dimension larger than those covered here; the smallest faithful degree of $TVB_n$ is an immediate open problem.
  • The equation-solving method is portable: repeating the classification over a finite field would turn parameter inequalities such as $b^2-d^2x^2 \neq 0$ into congruences and could produce new normal forms when those expressions vanish.
  • The $\Phi$-type comparison for $\zeta_1$ likely represents a pattern: for each $\zeta_i$, the locus of parameters where a local extension agrees with a $\Phi$-type extension should be a proper algebraic subvariety, with Corollary 5.2 as the first explicit example.
  • A testable repair of the reducibility analysis is to compute joint eigenvectors of the $2 \times 2$ blocks without assuming they are coordinate vectors; cases where the $\gamma$-block is $-I_2$ admit extra candidate common eigenvectors and would shift the reducibility-to-1 criteria.
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.

Referee Report

4 major / 4 minor

Summary. The paper classifies complex local representations of the twisted virtual braid group TVB2 into GL3(C), obtaining eight normal forms ζ1,...,ζ8; homogeneous local representations of TVBn into GL_{n+1}(C) for n≥3, obtaining seven normal forms; and local representations of the singular twisted virtual braid group STVB2 into M3(C), obtaining thirteen normal forms. It analyzes faithfulness and irreducibility of these representations and compares local extensions with Φ-type extensions of the first family ζ1 to STVB2.

Significance. If the classification theorems are correct, the paper provides complete parameter lists for local representations in these settings, which would be a useful first step toward linearity and extension problems for twisted virtual braid groups. The families are given explicitly and are concrete enough to check. However, the irreducibility analysis contains demonstrable errors and the classification proofs omit essential computations, so the paper's advertised results are not established in the submitted form.

major comments (4)
  1. [§3, Theorem 3.3(i)] The claim that type ζ2 is never further reducible to degree 1 is false. Take b=0, d=2, w=0, x=1; these parameters satisfy the stated conditions (d≠0, x≠0). Then the 2×2 block of ζ2(σ1) is 2I2 and the 2×2 block of ζ2(ρ1) is the swap matrix [[0,1],[1,0]], while γ1 and γ2 are the identity. The vector (1,1,0) is a common eigenvector of all three matrices, so the representation is reducible to degree 1. The same conclusion follows with b=1, d=0, w=0, x=1, which also satisfies the stated conditions. The proof in §3 incorrectly restricts the search for common eigenvectors to the coordinate vectors (0,1) and (1,0).
  2. [§3, Theorem 3.3(ii)] The criterion 'reducible to degree 1 if and only if b=0 and a≠d' for types ζ3 and ζ4 is wrong. In ζ3 the 2×2 block of ρ1 is −I2 and in ζ4 it is I2; in both cases the γ blocks are I2, so every vector is an eigenvector of these blocks. Hence any eigenvector of the 2×2 block of σ1 gives a common invariant line, and such an eigenvector always exists over C. For example, ζ4 with a=1, b=1, c=0, d=1 has σ1-block [[1,1],[0,1]], whose eigenvector (1,0) is also an eigenvector of I2 and of the γ blocks; thus the invariant line is C(1,0,0). The stated condition is therefore neither necessary nor sufficient.
  3. [§4, Theorem 4.3] Theorem 4.3 is proved by 'a similar proof as the proof of Theorem 3.3' and inherits the same defective eigenvector analysis. A concrete counterexample to part (i) is the family η2 with x=1, z=0, a=2, b=1, f=1, g=1. These parameters satisfy the condition a^2x^2+2abxz−b^2+b^2z^2=3≠0 and x≠0. The 2×2 blocks of σ1, ρ1, τ1 are respectively [[2,1],[1,2]], [[0,1],[1,0]], and [[1,1],[1,1]], all of which fix the vector (1,1) up to scale; γ1 and γ2 are the identity. Thus span{(1,1,0)} is invariant and the representation is further reducible to degree 1, contradicting the assertion that η1,...,η4 are not further reducible.
  4. [§3.1, §3.3, §4.1] The completeness of the classifications is not verifiable from the submitted text. In the proof of Theorem 3.1, the reduction to q=r=0, s=1 is asserted after 'Solving this system gives directly' without presenting the 31-equation system or its solution, and the subsequent case analysis relies on this unreported step. The proofs of Theorem 3.4 and Theorem 4.1 say only 'a similar proof as the proof of Theorem 3.1 gives the required result' and provide no equations at all. Since the main contribution is a complete classification of all local representations in each setting, these omitted computations are load-bearing; the reader cannot rule out missing families or extra parameter restrictions.
minor comments (4)
  1. [§3, Theorem 3.1] The condition for ζ2, '(d ≠ 0 or dx ≠ ±b − bw)', is ambiguous; it should clarify that the disjunction is over d≠0 and dx ≠ ±(b−bw), and the parenthesization should be fixed.
  2. [§3, Theorem 3.3 proof] In Case 3 of the proof, the text refers to 'a > d' and 'd > a' for complex numbers a,d; complex numbers are not ordered. The intended condition is a≠d, and the inequalities should be removed.
  3. [§3, Theorem 3.4] In part (6), the parameter list says 'where b ∈ C∗' but the displayed matrices use the parameter x; this is a typo and should read x∈C∗. Also, the 2×2 blocks in parts (1)–(4) use expressions such as √b/√c and √c/√b, which require a choice of square-root branches for b,c∈C∗; the notation should be clarified or the families should be parameterized without roots.
  4. [§5, Corollary 5.2] The formulas for t, u, v have denominators involving b^3−b(d−1)^2x^2; the parameter conditions under which these denominators are nonzero are not stated.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the classifications are direct solutions of the defining relations, and the one external irreducibility criterion is cited from non-overlapping prior work.

full rationale

The paper's central results are self-contained algebra: Theorem 3.1 sets up a 31-equation system in 12 unknowns from the defining relations of TVB2 and solves it; Theorems 3.4 and 4.1 are asserted by 'a similar proof' (an omitted-computation completeness issue, not circularity). No fitted parameters are renamed as predictions; the eight families for TVB2, seven for TVBn, and thirteen for STVB2 are not derived from an ansatz equivalent to the conclusion. Theorem 3.7 uses Lemma 3.6, a standard restriction-irreducibility fact cited to the authors' own [22], and Theorem 3.3 of [9] for irreducibility of local braid-group representations. The latter is external to this paper and does not assume the target statements; the lemma is elementary and parameter-free. Self-citations in the introduction ([19], [20], [21], [25]) are contextual and not load-bearing. The paper's reducibility claims in Theorem 3.3 and Theorem 4.3 may contain genuine mathematical errors, and the equation-solving is not fully displayed, but these are correctness and completeness concerns, not circular reasoning. No step in the derivation reduces by definition to its own input.

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

No free parameters are fitted in this paper: the complex parameters appearing in the eight, seven, and thirteen families (b, d, x, a, c, etc.) are the output of the classification, not inputs chosen to make the conclusion work. The paper contains no empirical data, no fitted constants, and no invented entities. The main axiomatic inputs are the defining group presentations of TVBn and STVBn from references [23] and [25], plus an external irreducibility criterion from [9] used in Theorem 3.7.

assumptions (2)
  • domain assumption The group presentations of TVBn (relations (2.1)-(2.13)) and STVBn (relations (2.1)-(2.22)) are correct.
    The classification solves these relations; the presentations are imported from [23] and [25].
  • domain assumption Theorem 3.3 of [9]: a homogeneous local representation of Bn with 2x2 block [[0,b],[c,0]] is irreducible if and only if bc != 1.
    Invoked in the proof of Theorem 3.7 without stating the theorem; if this criterion is misapplied, the irreducibility conclusion for zeta'_1,...,zeta'_4 fails.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Matrix representations of the twisted virtual braid group and its extensions." pith.science (2026). https://pith.science/paper/H72LK2ZN

@misc{pith2026250603806,
  author       = {Pith},
  title        = {Pith review of: Matrix representations of the twisted virtual braid group and its extensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/H72LK2ZN}},
  note         = {Machine review of arXiv:2506.03806}
}
abstract

This paper classifies complex local representations of the twisted virtual braid group, $TVB_2$, into $\mathrm{GL}_3(\mathbb{C})$. It shows that such representations fall into eight types, all of which are unfaithful and reducible to a two-dimensional representation. Further reducibility to a one-dimensional representation is analyzed for specific types. The paper also examines complex homogeneous local representations of $TVB_n$ into $\mathrm{GL}_{n+1}(\mathbb{C})$ for $n \geq 3$, identifying seven unfaithful types. Additionally, complex local representations of the singular twisted virtual braid group, $STVB_2$, into $\mathrm{M}_3(\mathbb{C})$ are classified into thirteen unfaithful types. Finally, the paper demonstrates that not all complex local extensions of $TVB_2$ representations to $STVB_2$ conform to a $\Phi$-type extension.

Figures

Figures reproduced from arXiv: 2506.03806 by the authors.

Figure 1
Figure 1. Geometrical interpretation of σi and σ −1 i . The virtual braid group V Bn defined in [12] is an extension of the classical braid group Bn generated by the generators of Bn and new generators, ρ1, ρ2, . . . , ρn−1 which satisfy the relations (2.1)-(2.2) along with the following new relations: ρ 2 i = e, i = 1, 2, · · · , n − 1, (2.3) ρiρj = ρjρi , |i − j| ≥ 2, (2.4) ρiρi+1ρi = ρi+1ρiρi+1, i = 1, 2, · · · , n − 2, (2… view at source ↗
Figure 2
Figure 2. Geometrical interpretation of ρi and γi [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Geometrical interpretation of τi and ¯τi [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. 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

26 extracted references · 25 canonical work pages · cited by 1 Pith paper

  1. [9]

    Chreif and M

    M. Chreif and M. Dally, On the Irreducibility of Local Representations of the Braid Group Bn, Arab. J. Math. , 13 (2024) 263–273

  2. [1]

    Artin, Theorie der z¨ opfe, Abhandlungen Hamburg, 4, (1925), 47-72

    E. Artin, Theorie der z¨ opfe, Abhandlungen Hamburg, 4, (1925), 47-72

  3. [2]

    Baez, Link Invariant of Finite Type and Pertubation Theory, Lett

    J. Baez, Link Invariant of Finite Type and Pertubation Theory, Lett. Math. Phys. , 26 (1992) 43–51

  4. [3]

    Bardakov, N

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

  5. [4]

    Bigelow, The Burau Representation is Not Faithful For n = 5, Geometry & Topology, 3 (1999) 397-–404

    S. Bigelow, The Burau Representation is Not Faithful For n = 5, Geometry & Topology, 3 (1999) 397-–404

  6. [5]

    Bigelow, Braid groups are linear, J

    S. Bigelow, Braid groups are linear, J. Amer. Math. Soc. , 14 (2000) 471–486

  7. [6]

    Birman, Braids, Links and Mapping Class Groups, Annals of Mathematical stud- ies, Princeton University Press, 82 (1974)

    J. Birman, Braids, Links and Mapping Class Groups, Annals of Mathematical stud- ies, Princeton University Press, 82 (1974)

  8. [7]

    Birman, New Point of View in Knot Theory, Bull

    J. Birman, New Point of View in Knot Theory, Bull. Amer. Math. Soc. , 28 (1993) 253-287

Show all 26 references
  1. [8]

    Burau, Braids, Uber Zopfgruppen and Gleichsinnig Verdrillte Verkettungen, Abh

    W. Burau, Braids, Uber Zopfgruppen and Gleichsinnig Verdrillte Verkettungen, Abh. Math. Semin. Hamburg Univ. , 11 (1936) 179–186

  2. [10]

    R. Fenn, E. Keyman, and C. Rourke, The Singular Braid Monoid Embeds in a Group, J. Knot Theory & Ramifications , 7 (1998) 881–892

  3. [11]

    Formanek, Braid Group Representations of Low Degree, Proc

    E. Formanek, Braid Group Representations of Low Degree, Proc. London Math. Soc., 73 (1996) 279—322

  4. [12]

    Kauffman and S

    L. Kauffman and S. Lambropoulou, Virtual Braids, Fund. Math., 184 (2004) 159– 186

  5. [13]

    Krammer, Braid Groups are Linear, Annals Math., 155 (2002) 131–156

    D. Krammer, Braid Groups are Linear, Annals Math., 155 (2002) 131–156

  6. [14]

    Lawrence, Homological Representations of the Hecke Algebra, Comm

    R. Lawrence, Homological Representations of the Hecke Algebra, Comm. Math. Phys., 135 (1990) 141—191

  7. [15]

    Levaillant and D

    C. Levaillant and D. Wales, Parameters For Which the Lawrence–Krammer Repre- sentation is Reducible, Journal of Algebra , 323 (2010) 1966–1982

  8. [16]

    Long and M

    D. Long and M. Paton, The Burau Representation of the Braid Group Bn is Not Faithful For n ≥ 6, Topology, 32 (1992) 439–447

  9. [17]

    Mikhalchishina, Local Representations of Braid Groups, Sib

    Y. Mikhalchishina, Local Representations of Braid Groups, Sib. Math. J. , 54 (2013) 666–678

  10. [18]

    Moody, The Burau Representation of the Braid Group Bn is Not Faithful For Large n, Bull

    J. Moody, The Burau Representation of the Braid Group Bn is Not Faithful For Large n, Bull. Amer. Math. Soc. , 25 (1991) 379–384. August 23, 2025 4:28 M˙Nasser 24

  11. [19]

    Mayassi, M

    T. Mayassi, M. Nasser, Classification of Homogeneous Local Representations of the Singular Braid Monoid, arXiv:2501.13404v1

  12. [20]

    Nasser, On the Faithfulness of a Family of Representations of the Singular Braid Monoid SMn, arXiv:2405.04888v2

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

  13. [21]

    Nasser, Local Extensions and Φ-Type Extensions of Some Local Representations of the Braid Group Bn to the Singular Braid Monoid SMn, Vietnam Journal of Mathematics, (2024) 1–12

    M. Nasser, Local Extensions and Φ-Type Extensions of Some Local Representations of the Braid Group Bn to the Singular Braid Monoid SMn, Vietnam Journal of Mathematics, (2024) 1–12

  14. [22]

    Nasser, On Extensions of the Standard Representation of the Braid Group to the Singular Braid Group, arXiv:2504.09256v1

    M. Nasser, On Extensions of the Standard Representation of the Braid Group to the Singular Braid Group, arXiv:2504.09256v1

  15. [23]

    K. Negi, M. Prabhakar, and S. Kamada, Twisted Virtual Braids and Twisted Links, arXiv:2302.13244v2

  16. [24]

    Paris, The Proof of Birman’s Conjecture on Singular Braid Monoids, Geometry and Topology, 8 (2004) 1281–1300

    L. Paris, The Proof of Birman’s Conjecture on Singular Braid Monoids, Geometry and Topology, 8 (2004) 1281–1300

  17. [25]

    Prabhakar, K

    M. Prabhakar, K. Negi, The Monoid Structure of Singular Twisted Virtual Braids, arXiv:2502.08965v1

  18. [26]

    Vinberg, Linear Representations of Groups, Translated from the Russian by A

    E. Vinberg, Linear Representations of Groups, Translated from the Russian by A. Iacob (Birkh¨ auser, 1989)

Pith tools

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