pith. sign in

arxiv: 2503.06607 · v3 · pith:36RRZAZGnew · submitted 2025-03-09 · 🧮 math.RT

Local Representations of the Flat Virtual Braid Group

Mohamad N. Nasser , Mohammad Y. Chreif , Malak M. Dally This is my paper

Pith reviewed 2026-05-23 00:46 UTC · model grok-4.3

classification 🧮 math.RT
keywords flat virtual braid grouplocal representationscomplex representationsirreducibilityfaithfulnessgeneral linear groupbraid group representationsmatrix representations
0
0 comments X

The pith

Any complex local representation of the flat virtual braid group FVB_2 into GL_2(C) is one of twelve types λ_i.

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

The paper establishes a complete classification of complex local representations of the flat virtual braid group into general linear groups, first for two strands mapping into 2-by-2 matrices and then for larger numbers of strands under homogeneity assumptions. It identifies twelve explicit families λ_i for the two-strand case, two families γ_i for homogeneous maps into n-by-n matrices, and eight families δ_i for homogeneous maps into (n+1)-by-(n+1) matrices when n is at least 4. The classification is accompanied by explicit criteria that decide irreducibility and faithfulness for each family. A reader would care because these results turn an otherwise open-ended search for matrix solutions into a finite list of parameterized forms that can be checked directly.

Core claim

We prove that any complex local representation of FVB_2 into GL_2(C) has one of the types λ_i for 1 ≤ i ≤ 12; any complex homogeneous local representation of FVB_n into GL_n(C) for n ≥ 2 has one of the types γ_i for i = 1, 2; and any such representation into GL_{n+1}(C) for n ≥ 4 has one of the types δ_i for 1 ≤ i ≤ 8. We also determine necessary and sufficient conditions for irreducibility of the λ_i (i=1 to 5) and γ_2 families, prove reducibility or unfaithfulness results for the remaining families, and give explicit parameter conditions under which the γ_2 and δ_5, δ_6 families remain faithful.

What carries the argument

A local representation, which assigns matrices to the generators of FVB_n so that only the local flat-virtual relations hold.

If this is right

  • Representations of types λ_6 through λ_12 are always reducible.
  • Representations of type γ_1 are reducible whenever n ≥ 6.
  • Representations of type γ_2 are irreducible precisely when the parameters b and y differ, for n ≥ 3.
  • Representations of types δ_i with i ≠ 5,6 are unfaithful; types δ_5 and δ_6 are unfaithful when x = y.
  • Representations of type γ_2 become unfaithful precisely when y = b.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same local-relation approach could be applied to classify representations into matrices of other fixed sizes beyond n and n+1.
  • The explicit parameter conditions for faithfulness supply a practical test that could be used to decide whether a given matrix assignment extends to a representation of the full virtual braid group.
  • Because the families are given by concrete matrix entries, one can compute their characters or traces directly and compare them with known invariants of virtual links.

Load-bearing premise

That every solution over the complex numbers to the local flat-virtual braid relations arises from one of the listed matrix families.

What would settle it

A concrete set of matrices assigned to the generators of FVB_2 that satisfy all local relations yet lie outside every conjugacy class of the twelve λ_i families.

read the original abstract

We prove that any complex local representation of the flat virtual braid group, $FVB_2$, into $GL_2(\mathbb{C})$, has one of the types $\lambda_i: FVB_2 \rightarrow GL_2(\mathbb{C})$, $1\leq i\leq 12$. We find necessary and sufficient conditions that guarantee the irreducibility of representations of type $\lambda_i$, $1\leq i\leq 5$, and we prove that representations of type $\lambda_i$, $6\leq i\leq 12$, are reducible. Regarding faithfulness, we find necessary and sufficient conditions for representations of type $\lambda_6$ or $\lambda_7$ to be faithful. Moreover, we give sufficient conditions for representations of type $\lambda_1$, $\lambda_2$, or $\lambda_4$ to be unfaithful, and we show that representations of type $\lambda_i$, $i=3, 5, 8, 9, 10, 11, 12$ are unfaithful. We prove that any complex homogeneous local representations of the flat virtual braid group, $FVB_n$, into $GL_{n}(\mathbb{C})$, for $n\geq 2$, has one of the types $\gamma_i: FVB_n \rightarrow GL_n(\mathbb{C})$, $i=1, 2$. We then prove that representations of type $\gamma_1: FVB_n \rightarrow GL_n(\mathbb{C})$ are reducible for $n\geq 6$, while representations of type $\gamma_2: FVB_n \rightarrow GL_n(\mathbb{C})$ are irreducible if and only if $b\neq y$, for $n\geq 3$. Then, we show that representations of type $\gamma_1$ are unfaithful for $n\geq 3$ and that representations of type $\gamma_2$ are unfaithful if $y=b$. Furthermore, we prove that any complex homogeneous local representation of the flat virtual braid group, $FVB_n$, into $GL_{n+1}(\mathbb{C})$, for all $n\geq 4$, has one of the types $\delta_i: FVB_n \rightarrow GL_{n+1}(\mathbb{C})$, $1\leq i\leq 8$. We prove that these representations are reducible for $n\geq 10$. Then, we show that representations of types $\delta_i$, $i\neq 5, 6$, are unfaithful, while representations of types $\delta_5$ or $\delta_6$ are unfaithful if $x=y$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript classifies all complex local representations of the flat virtual braid group: any FVB_2 → GL_2(C) is one of twelve explicit types λ_i (i=1..12), with irreducibility conditions for λ_1..5 and faithfulness results for several types; any homogeneous local FVB_n → GL_n(C) (n≥2) is one of two types γ_i, with reducibility for γ_1 (n≥6) and faithfulness conditions; any homogeneous local FVB_n → GL_{n+1}(C) (n≥4) is one of eight types δ_i, with reducibility for n≥10 and faithfulness results. The proofs proceed by direct algebraic solution of the matrix equations imposed by the local flat-virtual relations.

Significance. If the enumerations are exhaustive, the work supplies a complete low-dimensional classification together with explicit irreducibility and faithfulness criteria. This is a concrete contribution to the representation theory of flat virtual braid groups and may be useful for applications in virtual knot theory. The paper receives credit for deriving necessary-and-sufficient conditions rather than merely listing families.

major comments (2)
  1. [Sections containing the case analysis for λ_i, γ_i and δ_i (exact section numbers not visible in abstract)] The central claim that every solution over C falls into one of the listed families rests on hand case analysis of the polynomial systems arising from the local relations (8 variables for FVB_2 → GL_2(C); analogous systems for the homogeneous cases). No explicit verification is supplied that all branches—nondiagonalizable matrices, repeated eigenvalues, vanishing denominators, or extra algebraic relations among parameters—are covered, leaving open the possibility of missed families or invalid listed types.
  2. [Proof of the λ_i classification] For the FVB_2 → GL_2(C) classification, the manuscript asserts exactly twelve parameterized families; the proof must demonstrate that the solution set of the defining matrix equations is precisely the union of these families. Any omitted locus (e.g., when a matrix is not diagonalizable over C) would falsify the “any … is one of” statement.
minor comments (1)
  1. Notation for the parameters (λ, b, y, x, …) should be introduced uniformly at the beginning of each classification subsection to avoid ambiguity when the same letter appears in different families.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to make the completeness of the case analysis fully explicit. We address the two major comments below and will revise the manuscript to include a clearer outline of the case distinctions and verification steps.

read point-by-point responses

  1. Referee: The central claim that every solution over C falls into one of the listed families rests on hand case analysis of the polynomial systems arising from the local relations (8 variables for FVB_2 → GL_2(C); analogous systems for the homogeneous cases). No explicit verification is supplied that all branches—nondiagonalizable matrices, repeated eigenvalues, vanishing denominators, or extra algebraic relations among parameters—are covered, leaving open the possibility of missed families or invalid listed types.

    Authors: The proofs solve the defining matrix equations by direct substitution and case division. For FVB_2 we separate the analysis according to the characteristic polynomials of the two generator matrices, treating the diagonalizable and non-diagonalizable (Jordan-block) situations as distinct branches; when a denominator vanishes we substitute the resulting algebraic condition back into the original relations and obtain either a contradiction or one of the listed families. The same branching is used for the homogeneous γ_i and δ_i cases. We will add a short paragraph at the beginning of each classification section that explicitly lists the case tree and notes that every branch terminates in one of the stated families or is shown to be empty. revision: partial

  2. Referee: For the FVB_2 → GL_2(C) classification, the manuscript asserts exactly twelve parameterized families; the proof must demonstrate that the solution set of the defining matrix equations is precisely the union of these families. Any omitted locus (e.g., when a matrix is not diagonalizable over C) would falsify the “any … is one of” statement.

    Authors: Theorem 3.1 (the λ_i classification) is obtained by exhaustive algebraic solution; the non-diagonalizable locus is captured inside the families λ_6 through λ_12, which are written in a form that includes Jordan blocks when the off-diagonal entry is nonzero. After deriving the twelve families we verify by direct substitution that every solution satisfies one of them and that no extraneous parameters remain. To make this verification transparent we will insert a remark immediately after the statement of the theorem that records the case-by-case exhaustion and confirms that the listed families exhaust the solution set. revision: partial

Circularity Check

0 steps flagged

No circularity: classification obtained by direct algebraic solution of defining relations

full rationale

The paper's central results consist of exhaustive case-by-case solution of the polynomial matrix equations that encode the local flat-virtual braid relations on the images of the generators. The families λ_i, γ_i and δ_i are defined as the output of that solving process rather than as inputs; no parameter is fitted to data and then re-derived as a prediction, no self-citation supplies a uniqueness theorem or ansatz, and no renaming of a known empirical pattern occurs. The derivation chain is therefore self-contained: the listed types are precisely the solutions the authors obtain from the presentation, with no reduction of any claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The work rests on the standard axioms of group representations (homomorphisms into GL_k(C)) and the concrete presentation of the flat virtual braid group; the listed types are parameterized by free complex scalars whose values are constrained only by the representation equations.

free parameters (1)
  • complex scalars (e.g., λ, b, y, x)
    Each type is defined by one or more free complex parameters that label the matrix entries and are later constrained by irreducibility or faithfulness conditions.
axioms (2)
  • standard math Representations are group homomorphisms preserving the defining relations of FVB_n
    Invoked throughout the classification statements.
  • domain assumption Working over the field of complex numbers
    Stated explicitly in every classification claim.

pith-pipeline@v0.9.0 · 6026 in / 1256 out tokens · 52551 ms · 2026-05-23T00:46:22.147448+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Twin groups representations

    math.RT 2025-07 unverdicted novelty 6.0

    Defines two representations of twin groups T_n and determines which extend in the 2-local sense to virtual twin groups VT_n and welded twin groups WT_n.

Reference graph

Works this paper leans on

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

  1. [1]

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

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

    work page 1925

  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, Contemp. Math., Amer. Math. Soc., Providence, 670, 285-298, (2016)

    work page 2016

  3. [3]

    Bardakov, B

    V. Bardakov, B. Chuzhinov, I. E. yanenkov, M. Ivanov, E. Markhinina, T. Nasybullov, S. Panov, N. Singh, S. Vasyutkin, V. Yakhin, and A. Vesnin,Representations of flat virtual braids which do not preserve the forbidden relations, Journal of Knot Theory and Its Rami- fications, 32(14), 2350093, (2023)

    work page 2023

  4. [4]

    Bardakov and M

    V. Bardakov and M. Neshchadim, A Representation of Virtual Braids by Automorphisms, Algebra Logic, 56, 355–361, (2017)

    work page 2017

  5. [5]

    Bardakov and T

    V. Bardakov and T. Nasybullov, Multi-switches and representations of braid groups, Journal of Algebra and Its Applications, 23(3), 2430003, (2024)

    work page 2024

  6. [6]

    Bigelow,The Burau Representation is not faithful forn= 5, Topology 32, 439-447, (1999)

    S. Bigelow,The Burau Representation is not faithful forn= 5, Topology 32, 439-447, (1999)

    work page 1999

  7. [7]

    Bigelow,Braid groups are linear, J

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

    work page 2000

  8. [8]

    Birman,Braids, links and mapping class groups, Annals of Mathematical studies, Prince- ton University Press, 8, (1974)

    J. Birman,Braids, links and mapping class groups, Annals of Mathematical studies, Prince- ton University Press, 8, (1974)

    work page 1974

  9. [9]

    Burau,Braids, Uber Zopfgruppen and gleichsinnig verdrillte Verkettungen, Abh

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

    work page 1936

  10. [10]

    Chreif, M

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

    work page 2024

  11. [11]

    Chuzhinov and A

    B. Chuzhinov and A. Vesnin,Representations of Flat Virtual Braids by Automorphisms of Free Group, Symmetry 15(8), (2023)

    work page 2023

  12. [12]

    Delaney, E

    C. Delaney, E. Rowell and Z. Wang,Local Unitary Representations of the Braid Group and Their Applications to Quantum Computing, Revista Colombiana de Matem´aticas, 50, 211- 276, (2016)

    work page 2016

  13. [13]

    Formanek,Braid group representations of low degree, Proc

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

    work page 1996

  14. [14]

    Kauffman,Virtual knot theory, Eur

    L. Kauffman,Virtual knot theory, Eur. J. Comb., 20(7), 663-690, (1999)

    work page 1999

  15. [15]

    Kauffman,A survey of virtual knot theory, Knots in Hellas–98 (Delphi), Ser

    L. Kauffman,A survey of virtual knot theory, Knots in Hellas–98 (Delphi), Ser. Knots Ev- erything, 24, World Sci. Publ., River Edge, NJ, 143-202, (2000)

    work page 2000

  16. [16]

    Kauffman, S

    L. Kauffman, S. Lambropoulou,Virtual braids, Fundamenta Mathematicae, 184, 159-186, (2004)

    work page 2004

  17. [17]

    Krammer,Braid groups are linear, Annals Math., 155(1), (2002), 131-156

    D. Krammer,Braid groups are linear, Annals Math., 155(1), (2002), 131-156

    work page 2002

  18. [18]

    Lawrence,Homological representations of the Hecke algebra, Comm

    R. Lawrence,Homological representations of the Hecke algebra, Comm. Math. Phys., 135(1), (1990), 141–191

    work page 1990

  19. [19]

    D. Long, M. Paton,The Burau representation of the braid groupB n is not faithful forn≥6, Topology, 32, (1992), 439-447

    work page 1992

  20. [20]

    Mayassi, M

    T. Mayassi, M. Nasser,Classification of homogeneous local representations of the singular braid monoid, arXiv:submit/6150117 [math.RT] 23 Jan 2025

    work page arXiv 2025

  21. [21]

    Mikhalchishina,Local representations of braid groups, Sib

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

    work page 2013

  22. [22]

    Moody,The Burau representation of the braid groupB n is not faithful for largen, Bull

    J. Moody,The Burau representation of the braid groupB n is not faithful for largen, Bull. Amer. Math.Soc., 25, 379-384, (1991)

    work page 1991

  23. [23]

    Nasser,Necessary and sufficient conditions for the irreducibility of a linear representation of the braid groupB n, Arab

    M. Nasser,Necessary and sufficient conditions for the irreducibility of a linear representation of the braid groupB n, Arab. J. Math., 13, 333-339, (2024). LOCAL REPRESENTATIONS OFF V B n 15

    work page 2024

  24. [24]

    M. Nasser,Local Extensions andΦ-Type Extensions of Some Local Representations of the Braid GroupB n to the Singular Braid MonoidSM n, Accepted in Vietnam Journal of Math- ematics, (2024)

    work page 2024

  25. [25]

    Sysoeva,Dimension n Representations of the Braid Group on n Strings, Journal of Algebra, 243, 518-538, (2001)

    I. Sysoeva,Dimension n Representations of the Braid Group on n Strings, Journal of Algebra, 243, 518-538, (2001)

    work page 2001

  26. [26]

    Sysoeva,Irreducible Representations of Braid GroupB n of dimensionn+ 1, Journal of group Theory, 24, 39-78, (2020)

    I. Sysoeva,Irreducible Representations of Braid GroupB n of dimensionn+ 1, Journal of group Theory, 24, 39-78, (2020). Mohamad N. Nasser, Department of Mathematics and Computer Science, Beirut Arab University, P.O. Box 11-5020, Beirut, Lebanon Email address:m.nasser@bau.edu.lb Mohamad Y. Chreif, Department of Mathematics and Physics, Lebanese Interna- tio...

    work page 2020