pith. sign in

arxiv: 2507.15005 · v3 · submitted 2025-07-20 · 🧮 math.RT · math.GR

Twin groups representations

Mohamad N. Nasser This is my paper

Pith reviewed 2026-05-19 04:02 UTC · model grok-4.3

classification 🧮 math.RT math.GR
keywords twin groupsrepresentationsvirtual twin groupwelded twin group2-local extensionfree group automorphismsLaurent polynomial matrices
0
0 comments X

The pith

Two representations of the twin group T_n extend to the virtual twin group VT_n for n at least 2, but only one extends to the welded twin group WT_n.

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

The paper first defines two group homomorphisms from the twin group T_n: one sending generators to automorphisms of a free group on n letters, and the other to invertible matrices over the Laurent polynomials in one variable. It verifies that both maps are well-defined and then shows they both admit 2-local extensions to the larger virtual twin group VT_n. For the welded twin group WT_n the behavior splits: the automorphism representation fails to extend when n is at least 3, while the matrix representation succeeds and the paper supplies the explicit extension maps. A reader would care because these results distinguish the representation theories of virtual versus welded variants of twin groups and give concrete linear or automorphism models for studying them.

Core claim

The central claim is that the two homomorphisms η1: T_n → Aut(F_n) and η2: T_n → GL_n(Z[t^{±1}]) both extend to VT_n by the 2-local extension method for every n ≥ 2, with the extended maps explicitly constructed; in contrast, η1 admits no such 2-local extension to WT_n when n ≥ 3, while η2 does extend to WT_n for n ≥ 2 and the extension is again given explicitly.

What carries the argument

The 2-local extension procedure, which enlarges a homomorphism from T_n by defining images of the additional virtual or welded generators so that the full set of relations in VT_n or WT_n is preserved after localizing at the prime 2.

If this is right

  • The automorphism representation gives a concrete action of VT_n on free groups that can be used to study virtual twin links.
  • The matrix representation supplies a linear model for both VT_n and WT_n that is defined over the ring of Laurent polynomials.
  • Differences in extendability between VT_n and WT_n reflect structural distinctions between the two families of groups.
  • The explicit extensions allow direct calculation of invariants for virtual and welded objects coming from twin groups.

Where Pith is reading between the lines

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

  • The same 2-local technique might produce representations of other relatives of twin groups such as welded braid groups or virtual braid groups.
  • Failure of η1 to extend to WT_n suggests that welded twin groups may lack faithful actions on free groups of the same dimension.
  • One could test whether these extended representations remain irreducible or faithful after the extension step.

Load-bearing premise

The two maps η1 and η2 must already be genuine group homomorphisms from T_n, meaning the images of the twin generators satisfy exactly the defining relations of T_n.

What would settle it

An explicit computation, for some n ≥ 3, of the would-be image of a welded generator under an attempted 2-local extension of η1 that violates one of the welded twin relations would show the claimed non-extendability is false; conversely, finding such an extension that works would falsify the non-extension statement.

read the original abstract

We construct two representations of the twin group $T_n, n\geq 2$, namely $\eta_1: T_n \rightarrow \text{Aut}(\mathbb{F}_n)$ and $\eta_2: T_n \rightarrow \text{GL}_n(\mathbb{Z}[t^{\pm 1}])$, where $\mathbb{F}_n$ is a free group with $n$ generators and $t$ is indeterminate. We then analyze some characteristics of these two representations, such as irreducibility and faithfulness. Moreover, we prove that both representations can be extended to the virtual twin group $VT_n$ in the $2$-local extension way, for $n\geq 2$, and we find their $2$-local extensions. On the other hand, we obtain a different result for the welded twin group $WT_n$. More deeply, we show that $\eta_1$ cannot be extended to $WT_n$ in the $2$-local extension way, for $n\geq 3$, while $\eta_2$ can be extended to $WT_n$ in the $2$-local extension way, for $n\geq 2$, and we find its $2$-local extensions.

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

3 major / 2 minor

Summary. The manuscript constructs two explicit maps η₁: T_n → Aut(ℱ_n) and η₂: T_n → GL_n(ℤ[t^{±1}]) for the twin group T_n (n ≥ 2), claims they are group homomorphisms, analyzes their irreducibility and faithfulness, and studies 2-local extensions to the virtual twin group VT_n and welded twin group WT_n. It asserts that both maps extend to VT_n for all n ≥ 2, that η₁ does not extend to WT_n for n ≥ 3, and that η₂ does extend to WT_n for n ≥ 2, with explicit descriptions of the extensions provided.

Significance. If the maps are homomorphisms and the extension/non-extension results are correct, the constructions supply concrete representations of twin groups that distinguish VT_n from WT_n via 2-local extendability. This adds to the limited literature on representations of twin groups and their virtual/welded variants, potentially useful for invariants or structural questions in generalized braid groups. The explicit nature of the maps and extensions is a positive feature.

major comments (3)
  1. [§3] §3, definition of η₁: the assignment of generators s_i to specific automorphisms of ℱ_n is given, but no explicit verification is supplied that these images satisfy the full set of twin-group relations (far commutativity s_i s_j = s_j s_i for |i-j| ≥ 2 together with the twin relations that replace the braid relations). This check is load-bearing for the claim that η₁ is a homomorphism and therefore for all subsequent extension statements.
  2. [§4] §4, definition of η₂: similarly, the matrix images under η₂ are defined, yet the manuscript does not display the direct computation confirming that the images obey every relation in the standard presentation of T_n. Without this, the assertion that η₂ is a representation (and hence that its 2-local extensions exist) rests on an unverified premise.
  3. [§5.2] §5.2, statement that η₁ cannot be extended to WT_n for n ≥ 3: the non-extension argument presupposes that η₁ is already a well-defined homomorphism from T_n; if the relation verification in §3 is incomplete, the non-extension claim for the welded case cannot be assessed.
minor comments (2)
  1. Notation for the free group is inconsistent (sometimes ℱ_n, sometimes F_n); standardize throughout.
  2. The abstract and introduction should cite the precise presentation of T_n used, including the twin relations, to make the relation checks easier to follow.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their thorough reading of the manuscript and for pointing out areas where additional details would improve clarity. We address each of the major comments below and outline the revisions we plan to make.

read point-by-point responses

  1. Referee: [§3] §3, definition of η₁: the assignment of generators s_i to specific automorphisms of ℱ_n is given, but no explicit verification is supplied that these images satisfy the full set of twin-group relations (far commutativity s_i s_j = s_j s_i for |i-j| ≥ 2 together with the twin relations that replace the braid relations). This check is load-bearing for the claim that η₁ is a homomorphism and therefore for all subsequent extension statements.

    Authors: We agree that an explicit verification of the relations would make the argument more complete. The automorphisms were selected precisely so that the twin group relations hold, but we did not include the direct computations in the original submission. In the revised manuscript, we will insert a detailed verification of both the far commutativity relations and the twin relations for η₁. revision: yes

  2. Referee: [§4] §4, definition of η₂: similarly, the matrix images under η₂ are defined, yet the manuscript does not display the direct computation confirming that the images obey every relation in the standard presentation of T_n. Without this, the assertion that η₂ is a representation (and hence that its 2-local extensions exist) rests on an unverified premise.

    Authors: We concur that showing the direct computation for the relations under η₂ would be beneficial. Although the matrices were constructed to respect the relations, the explicit check was omitted. We will add this verification in the revised version to confirm that η₂ is indeed a homomorphism. revision: yes

  3. Referee: [§5.2] §5.2, statement that η₁ cannot be extended to WT_n for n ≥ 3: the non-extension argument presupposes that η₁ is already a well-defined homomorphism from T_n; if the relation verification in §3 is incomplete, the non-extension claim for the welded case cannot be assessed.

    Authors: The non-extension result in §5.2 is based on assuming η₁ is a homomorphism, which we will substantiate by adding the relation verifications as noted in the response to the first comment. With those additions, the argument for non-extendability to WT_n will be fully supported. We will also review the section to ensure the dependency is clearly stated. revision: partial

Circularity Check

0 steps flagged

Explicit constructions of homomorphisms with independent relation verification

full rationale

The paper defines η1 : T_n → Aut(F_n) and η2 : T_n → GL_n(Z[t^{±1}]) by specifying generator images, then proves they are homomorphisms by direct verification against the presentation of T_n (far commutativity and twin relations). Extensions to VT_n and WT_n are likewise constructed explicitly by extending the same generator maps while checking the additional relations of VT_n and WT_n. No step equates a claimed result to a quantity defined in terms of itself, no parameter is fitted to a subset and renamed as prediction, and no load-bearing premise rests on a self-citation chain. The derivation chain consists of concrete maps and relation checks that stand independently of the final extension statements.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper introduces no free parameters, no new postulated entities, and relies only on standard facts about group homomorphisms and matrix groups; the central claims rest on verifying that the explicitly given images of generators satisfy the twin-group relations.

axioms (1)
  • standard math A map from a presented group to another group is a homomorphism if and only if the images of the generators satisfy all the defining relations of the source group.
    Invoked when the authors claim that η1 and η2 are representations of T_n.

pith-pipeline@v0.9.0 · 5733 in / 1392 out tokens · 76969 ms · 2026-05-19T04:02:38.322712+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · 1 internal anchor

  1. [1]

    Bardakov, M

    V. Bardakov, M. Singh, and A. Vesnin, Structural aspects of twin and pure twin groups , Geometriae Dedicata, 203, (2019), 135-154

    work page 2019

  2. [2]

    Bellingeri, H

    P. Bellingeri, H. Chemin, and V. Lebed, Cactus groups, twin groups, and right-angled Artin groups, J. Algebr. Comb., 59, (2024), 153–178

    work page 2024

  3. [3]

    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

    work page 2024

  4. [4]

    Khovanov, Real K(π, 1) arrangements from finite root systems , Math

    M. Khovanov, Real K(π, 1) arrangements from finite root systems , Math. Res. Lett., 3, (1996), 261-274. TWIN GROUPS REPRESENTATIONS 13

    work page 1996

  5. [5]

    Khovanov, Doodle groups, Trans

    M. Khovanov, Doodle groups, Trans. Amer. Math. Soc., 349, (1997), 2297-2315

    work page 1997

  6. [6]

    Mayassi and M

    T. Mayassi and M. Nasser, Classification of homogeneous local representations of the singular braid monoid, (2025), arXiv:2501.13404

    work page arXiv 2025

  7. [7]

    Merkov, Vassiliev invariants classify flat braids, Differential and symplectic topology of knots and curves, volume 190 of Amer

    A. Merkov, Vassiliev invariants classify flat braids, Differential and symplectic topology of knots and curves, volume 190 of Amer. Math. Soc. Transl. Ser. 2, pages 83–102. Amer. Math. Soc., Providence, RI, 1999

    work page 1999

  8. [8]

    Mikhalchishina, Local representations of braid groups , Sib

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

    work page 2013

  9. [9]

    Mostovoy and C

    J. Mostovoy and C. Roque-M´ arquez,Planar pure braids on six strands, J. Knot Theo. Rami., 29 (1), (2020), 1950097

    work page 2020

  10. [10]

    Local Representations of the Flat Virtual Braid Group

    M. Nasser, M. Chreif, and M. Dally, Local representations of the flat virtual braid group , (2025), arXiv:2503.06607v1

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  11. [11]

    Nasser, Local representations of the virtual and the welded braid groups, (2025), submitted

    M. Nasser, Local representations of the virtual and the welded braid groups, (2025), submitted

    work page 2025

  12. [12]

    Nasser, V

    M. Nasser, V. Keshari, and M. Prabhakar, Matrix representations of the twisted virtual braid group and its extensions , (2025), arXiv:2506.03806

    work page arXiv 2025

  13. [13]

    T. Naik, N. Nanda, and M. Singh, Some remarks on twin groups , J. Knot Theo. Rami., 29 (10), (2020), 2042006

    work page 2020

  14. [14]

    Shabat and V

    G. Shabat and V. Voevodsky, Drawing curves over number fields , The Grothendieck Festschrift, Progr. Math. Birkhuser Boston, 88 (3), (1990), 199-277

    work page 1990

  15. [15]

    Yang and Z

    J. Yang and Z. Liu, Irreducible projective representations and their physical applications , J. Phys. A: Math. Theor., 51, (2018), 025207. 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

    work page 2018