On the classification and irreducibility of $2$-local representations of the twin group $T_n$

Mohamad N. Nasser; Taher I. Mayassi

REVIEW 3 major objections 3 minor 23 references

On the classification and irreducibility of $2$-local representations of the twin group $T_n$

T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read For n>=4, the reduced twin-group representation tilde xi_1 is irreducible exactly when the parameter a avoids 1, -1 and the roots of an explicit polynomial P; otherwise it has a proper invariant subspace.

desk verdict A genuine extension of the k-local program to twin groups with a correct-looking irreducibility criterion, but the classification theorem omits the identity representation and the main theorem's a=0 case is misstated. read the letter →

arxiv 2508.14505 v1 pith:7O72YLKE submitted 2025-08-20 math.RT

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

classification math.RT MSC 20F36

keywords twingrouplocalrepresentations2-localirreducibilityreducedrepresentationbraidclassification

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 classifies all homogeneous 2-local representations of the twin group T_n, the group generated by symbols s_1,...,s_{n-1} with s_i^2=1 and far-apart generators commuting. It finds exactly three families and shows that every one is reducible by writing down a one-dimensional invariant subspace. For the first family, the authors quotient out that invariant line and obtain a reduced representation tilde xi_1 of dimension n-1. The main theorem gives a complete criterion: for n>=4, tilde xi_1 is irreducible if and only if a is neither 1 nor -1 and a is not a root of the explicit polynomial P(t)=4(1+t^2)+((1-t)^4/(2t))(1-((1-t)/(1+t))^{n-4}), with the n=3 case giving the exceptional set {±1, ±i sqrt(3)}. The result matters because it turns a structural question about a group still far less understood than the braid group into a checkable condition in one complex parameter.

What carries the argument

The construction is carried by the 2x2 block M(a,b)=[[a,b],[(1-a^2)/b,-a]] placed on adjacent coordinates, with every generator acting by M on one pair and by the identity elsewhere. Quotienting out the invariant vector v, whose coordinates follow powers of (1-a)/b, leaves the reduced representation tilde xi_1. In the eigenbasis of s_1, the s_1 matrix becomes diagonal with entries -1,1,...,1, and the s_2 matrix takes an explicit nearly bidiagonal form. The irreducibility argument then runs through forced invariant vectors v_k, a bidiagonal determinant lemma, a geometric-sum evaluation leading to P(a), and a final exclusion of invariant subspaces that avoid e_1. These pieces, Propositions 10

What would settle it

For n=4 and a=i, the polynomial P(t) becomes 4(1+t^2), so P(i)=0; with b=1, write the three 3x3 matrices tilde xi_1(s_1), tilde xi_1(s_2), tilde xi_1(s_3) and check whether W=span{(1,0,0),(0,-1,1+i)} is invariant under all of them. The theorem predicts it is, and if any generator moves W outside itself the criterion is wrong. The same check with a=0, b=1, n=4 should find no nonzero proper invariant subspace at all.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is the Main Theorem of Section 5: for n>=4, the reduced representation tilde xi_1: T_n -> GL_{n-1}(C) obtained from the first family xi_1 by quotienting out the invariant vector v=e_1+((1-a)/b)e_2+...+((1-a)^{n-1}/b^{n-1})e_n is irreducible if and only if a is not in {1,-1} and a is not a root of P. The proof splits into structural propositions: a=±1 are shown reducible by explicit invariant vectors; Proposition 10 shows that any invariant subspace containing e_1 must contain the vectors v_k=-b e_{k+1}+(1+a)e_{k+2}; Proposition 12 evaluates the determinant deciding whether these forced vectors plus e_1 form an invariant subspace, collapsing it to P

Load-bearing premise

The whole criterion hangs on the determinant evaluation in Proposition 12 and its geometric-sum simplification, since a single sign or index error would move the roots of P and break the if-and-only-if; the printed formula also leaves a=0 outside P's domain, so the a=0 conclusion relies on the separate determinant value Delta=-bn/2 computed in the proof.

Editorial extensions

If this is right

For each n>=4, the reducible parameters in the first family are exactly {1,-1} together with the roots of P; every other complex number a gives an irreducible (n-1)-dimensional representation of T_n.
Because b never enters the criterion, the dichotomy in a is the same for every nonzero b; b only affects the basis in which the quotient representation is written.
The proof exhibits the invariant subspaces in the reducible cases, so the reducible representation theory of this family is described explicitly, not just detected.
Generic choices of a, avoiding a finite set, yield irreducible representations of the twin group T_n in dimension n-1, adding to the known supply of linear representations of T_n.
For n=3, the special-case theorem gives the same kind of complete description with exceptional set {±1, ±i sqrt(3)}.

Reading between the lines

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

I would expect the same quotient strategy to apply to the second and third families; since their 2x2 blocks are triangular, the reduced representations should remain reducible or even carry invariant flags, so no irreducible quotient of that form would arise. This is my inference, not a claim of the paper.
The b-independence of the criterion suggests that, for a fixed a, all nonzero b give equivalent representations; a direct construction of the intertwining isomorphisms would make this explicit.
The polynomial P simplifies at n=4 to 4(1+t^2), so the criterion predicts exceptional roots ±i; checking that small case by hand would be a quick, independent test of the general formula.
The determinant-lemma and geometric-sum structure is not specific to twin groups and could be reused to obtain irreducibility criteria for reduced local representations of other groups whose 2-local classifications are already known.

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

The main result is a genuine new addition to the k-local program. It classifies homogeneous 2-local representations of the twin group T_n and gives a necessary and sufficient irreducibility criterion for the reduced representation obtained from the first family. The determinant computation that supports the criterion is the load-bearing step; I re-derived it and it gives the stated P(t). The sign and index ambiguities in the preprint are cosmetic. The citation pattern is fine: the lineage to Mikhalchishina's braid-group work and later local-representation classifications is transparent, and the main theorem does not lean on any self-citation loop.

The soft spots are real but small. Theorem 5 claims a complete classification but omits M=I_2: it solves equations (1)-(4) and is not in any of the three listed families. The fix is to add the trivial representation as a fourth family or explicitly exclude it. This contradicts the abstract's completeness claim but does not touch the irreducibility theorem, which assumes b≠0. Second, the Main Theorem is not well-formed at a=0: P(t) has a pole at t=0, so "a is not a root of P(t)" is undefined there. The proof handles a=0 separately with determinant -bn/2, and the intended condition is "a ∉ {1,-1} and (a=0 or P(a)≠0)". That is a one-line fix.

I would not let either issue sink the paper. The missing identity case is an oversight in a classification statement, not a flaw in the main irreducibility result, and the determinant worry that looked serious at first does not survive checking. The paper is for readers who work on local representations of twin, braid, and related groups; it settles a concrete question and gives a reusable criterion. It deserves a serious referee. Send it to review; it needs a small but real revision before acceptance.

Referee Report

3 major / 3 minor

Summary. The paper studies homogeneous 2-local representations of the twin group T_n, n≥2. It claims a complete classification into three families ξ1, ξ2, ξ3, proves that each family is reducible by exhibiting a common invariant line, constructs a reduced representation tilde ξ1 of dimension n−1 for the first family, and gives a necessary and sufficient irreducibility criterion for tilde ξ1 when n≥4: tilde ξ1 is irreducible iff a∉{1,−1} and a is not a root of the rational function P(t)=4(1+t^2)+((1−t)^4/(2t))(1−((1−t)/(1+t))^{n−4}). The proof is self-contained: it solves M^2=I, constructs invariant subspaces, passes to the quotient, and computes a determinant via a bidiagonal matrix lemma.

Significance. If the classification and irreducibility criterion are correct, this is a useful contribution to the representation theory of twin groups. The paper is genuinely self-contained, the parameter families are explicit, and the final criterion is concrete and checkable, not fitted to data. The construction of the reduced representation and the determinant computation are natural and, after correction, appear to give a clean answer for the first family. However, the classification theorem as stated is false because the identity 2-local representation is omitted, and the proof of the main criterion contains sign/index inconsistencies that must be fixed before the result can be fully verified. The central irreducibility statement is plausible and likely correct, but the manuscript in its present form is not a complete proof.

major comments (3)

[Section 3, Theorem 5] The claimed complete classification is incomplete. Solving equations (1)–(4) with a=d=1 and b=c=0 gives M=I_2, and the corresponding homogeneous 2-local representation (all generators act as the identity) is not in any of the three listed families: ξ1 requires b≠0, ξ2 has d=−a, and ξ3 is −I_2. This contradicts the statement of Theorem 5 and the abstract's claim of a complete classification. The Main Theorem about tilde ξ1 is unaffected because it assumes b≠0, but the classification claim must be corrected, e.g., by adding the identity family or stating that the list is complete up to this trivial case.
[Main Theorem (Theorem 14) and Proposition 12] As written, the irreducibility criterion is not well-formed at a=0 because P(0) is undefined. In Proposition 12 the proof separates the case a=0 and obtains Δ=−bn/2, which is nonzero for b≠0 and n≥4; thus the correct statement is 'a∉{1,−1} and (a=0 or P(a)≠0)'. The current wording 'a is not a root of P' cannot be evaluated for a=0. This is a local but load-bearing issue in the statement of the main theorem.
[Section 5.2, Basis B and Proposition 12] There is a sign inconsistency that makes the proof of Proposition 12 unverifiable as written. From the definition Q^{-1}=I−(v−e1)e1^T in §4.2, the (3,2) entry of Q^{-1}ξ1(s1)Q is −(1−a)^2/b, but the matrix displayed in §4.2 has +(a−1)^2/b. With the displayed sign, the vector w=(2b^{n−2}/(1−a)^{n−2}, b^{n−3}/(1−a)^{n−3}, …, 1)^T is not an eigenvector of tilde ξ1(s1) for eigenvalue −1, contrary to the claim in §5.2. Since S2 and the determinant Δ in Proposition 12 are computed in this basis, the computation cannot be checked from the text. An independent calculation with corrected signs reproduces the stated polynomial P(t), so this appears correctable, but the manuscript must be revised to resolve the sign and index discrepancies.

minor comments (3)

[Proposition 10] The final displayed vector in the list should be −b e_{n−2}+(1+a)e_{n−1}; the printed 'ben−2' is missing a minus sign. Also, in the induction conclusion 'vk = −bek+1 + (1 + a)ek+1' should read 'ek+2'.
[Section 4.2, displayed matrix for s1] The off-diagonal entries in the displayed Q^{-1}ξ1(s1)Q have the wrong sign; see major comment 3. This should be corrected consistently throughout the reduction.
[Throughout] There are numerous typographical/OCR-style artifacts in the extracted text (e.g., missing signs, garbled formulas), which make the paper hard to read. A careful proofreading pass is needed in addition to the mathematical corrections.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is derived by self-contained linear algebra.

full rationale

The irreducibility criterion for \tilde{\xi}_1 is not an input to the paper or a renamed version of a prior result. Starting from the defining 2-local block form (Definition 2, after [13]) and the involutions s_i^2=1, the paper solves the matrix equations (1)-(4) to obtain the three families, explicitly constructs the invariant line spanned by v for \xi_1, passes to the quotient \tilde{\xi}_1, and then analyzes invariant subspaces of \tilde{\xi}_1 directly. Propositions 8, 10, 12, and 13, together with Lemma 11, are computational: they exhibit eigenvectors, build invariant subspaces, and evaluate a determinant that yields the polynomial P(t). No parameter is fitted to data, no target conclusion is assumed in the definition of P, and the self-citations in the introduction are historical/background only—the main proof uses no external irreducibility or uniqueness theorem as load-bearing. The notable defects are correctness issues rather than circularity: the 'complete classification' in Theorem 5 omits the identity representation M=I_2 (which solves (1)-(4) with a=d=1,b=c=0), and the Main Theorem's phrase 'a is not a root of P' is not well-formed at a=0, where the determinant computation gives a separate nonzero value. These do not make the derivation circular.

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

The paper's derivation is self-contained linear algebra over the classification equations; no free parameters or ad hoc constants are fitted. The main external inputs are the group presentation and the definition of local representation, both cited.

assumptions (3)

domain assumption T_n admits the presentation with s_i^2=1 and s_i s_j=s_j s_i for |i-j|>1.
Used throughout; taken from [7,12] in Section 2.
domain assumption A homogeneous 2-local representation is one where each generator acts by a fixed 2x2 block M on two adjacent coordinates and trivially elsewhere.
Definition 6 (from [13]) adopted in Section 2; the entire classification starts from this.
standard math Sherman-Morrison formula (I+uv^T)^{-1}=I-uv^T when v^T u=0.
Used in Sections 4.2 and 5.2 to invert the change-of-basis matrices; cited to [4].

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the classification and irreducibility of $2$-local representations of the twin group $T_n$." pith.science (2026). https://pith.science/paper/7O72YLKE

@misc{pith2026250814505,
  author       = {Pith},
  title        = {Pith review of: On the classification and irreducibility of $2$-local representations of the twin group $T_n$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7O72YLKE}},
  note         = {Machine review of arXiv:2508.14505}
}

abstract

We investigate the homogeneous $2$-local representations of the twin group $T_n$ for all integers $n\geqslant 2$. A complete classification is obtained, yielding three distinct families of representations. We show that each of these families is reducible by explicitly constructing one-dimensional invariant subspaces, with particular emphasis on the first family, namely $\xi_1: T_n \rightarrow \text{GL}_n(\mathbb{C})$. Passing to the corresponding quotients, we construct a reduced representation of $\xi_1$, namely $\tilde{\xi}_1: T_n \rightarrow \text{GL}_{n-1}(\mathbb{C})$. The core of the paper is that we establish, through a precise criterion, a necessary and sufficient condition for the irreducibility of the representation $\tilde{\xi}_1$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 17 canonical work pages

[1]

Consider the strip� ×[0, 1] and fix n marked points on each of the horizontal lines y = 0 and y = 1

�� For a positive integer n, the twin group Tn on n strands admits a topological interpretation that is similar to that of the braid groups. Consider the strip� ×[0, 1] and fix n marked points on each of the horizontal lines y = 0 and y = 1. A twin is represented by n monotonic (descending) strands within this strip, connecting the n top points ...

arXiv 2025
[2]

, sn� 1 and the following relations

�� For any positive integern � 2, the twin group Tn is presented by n−1 generators s1, . . . , sn� 1 and the following relations. s2 i = 1 for 1 � i � n − 1, sisj = sjsi for |i − j| > 1. The generator si can be described by the following diagram. 1 i − 1 i i + 1 i + 2 n �� The generator si A closure of a twin t is a diagram obtained by jo...

work page
[3]

�� 2�� Tn The following theorem provides a complete classification of all homogeneous 2- local representations of the twin group Tn for every n � 2. �� n � 2� �� ξ : Tn → �� n(� ) �� 2�� Tn� �� ξ �� ...

work page
[4]

We first investigate their reducibility and establish that all such representations admit a non-trivial invariant subspace

�� 2�� Tn In this section we study the structural properties of the homogeneous 2-local representations of the twin group Tn. We first investigate their reducibility and establish that all such representations admit a non-trivial invariant subspace. In the second part, we explicitly perform the reduction pro...

work page
[5]

To this end, we first present several propositions, lemmas, and theorems, which will lead us to the statement of our main result

�� ˜ξ1 �� In this section, we establish the necessary and sufficient condition for the irre- ducibility of the representation ˜ξ1. To this end, we first present several propositions, lemmas, and theorems, which will lead us to the statement of our main result. We start by the following proposition. ��...

work page
[6]

Thus, the subspace ⟨v2⟩ is invariant under the action of S2 if and only if a = 1

In addition, we have also that S2v2 = � 1 2 (a − 1)2 − 1 2 � a2 + 1 � � . Thus, the subspace ⟨v2⟩ is invariant under the action of S2 if and only if a = 1. Therefore, ˜ξ1 is irreducible if and only if a ̸∈ {±1, ±i √ 3}. � 5.2. �� ˜ξ1 �� Tn �� n � 4� Now, we deal with the case n � 4. First of all, we note that det( λIn� 1 − ˜ξ...

work page
[7]

Birman, �� , Annals of Mathematics Studies, Prince- ton University Press, (1974)

J. Birman, �� , Annals of Mathematics Studies, Prince- ton University Press, (1974)

work page 1974
[8]

Crisp and L

J. Crisp and L. Paris, �� , Pacific Journal of Mathematics, 221, (2005), 1–27

work page 2005

Show all 23 references

[9]

Funar, �� , Topology and its Applications, 156, (2009), 2504–2520

L. Funar, �� , Topology and its Applications, 156, (2009), 2504–2520

2009
[10]

Golub, and C

G. Golub, and C. Van Loan, �� , 4th ed., Johns Hopkins University Press, (2013)

2013
[11]

Humphreys, �� , Graduate Studies in Mathematics, 94, American Mathematical Society, (2008)

J. Humphreys, �� , Graduate Studies in Mathematics, 94, American Mathematical Society, (2008)

2008
[12]

Keshari, M

V. Keshari, M. Nasser, and M. Prabhakar, �� MkV Bn �� MkW Bn, arXiv:2508.04168, (2025)

2025 arXiv
[13]

Khovanov, �� , Transactions of the American Mathematical Society, 349, (1997), 2297–2315

M. Khovanov, �� , Transactions of the American Mathematical Society, 349, (1997), 2297–2315

1997
[14]

Lopatkin, and V

A. Lopatkin, and V. Vershinin, �� , Siberian Electronic Mathe- matical Reports, 15, (2018), 1673–1687

2018
[15]

Lopatkin, �� , Algebra and Discrete Mathematics, 30, (2020), 1–10

A. Lopatkin, �� , Algebra and Discrete Mathematics, 30, (2020), 1–10

2020
[16]

Mayassi and M

T. Mayassi and M. Nasser, �� , arXiv:2501.13404, (2025)

2025 arXiv
[17]

Mikhalchishina, �� , Siberian Mathematical Journal, 54, (2013), 666–678

Y. Mikhalchishina, �� , Siberian Mathematical Journal, 54, (2013), 666–678. 22 TAHER I. MAYASSI AND MOHAMAD N. NASSER

2013
[18]

T. K. Naik, N. Nanda, and M. Singh, �� , Journal of Knot Theory and Its Ramifications, 29 (10), (2020), Article ID 2042006

2020
[19]

Nasser, �� Φ�� Bn �� SMn, Vietnam Journal of Mathematics, (2024), 1–12

M. Nasser, �� Φ�� Bn �� SMn, Vietnam Journal of Mathematics, (2024), 1–12

2024
[20]

Nasser, M

M. Nasser, M. Chreif, and M. Dally, �� , arXiv:2503.06607, (2025)

2025 arXiv
[21]

Nasser, V

M. Nasser, V. Keshari, and M. Prabhakar, �� , arXiv:2506.03806, (2025)

2025 arXiv
[22]

Nasser, �� , arXiv:2507.15005, (2025)

M. Nasser, �� , arXiv:2507.15005, (2025)

2025 arXiv
[23]

Serre, �� , Springer, (1977)

J.-P. Serre, �� , Springer, (1977). �� : �� ...

1977

Pith tools

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

[1] [1]

Consider the strip� ×[0, 1] and fix n marked points on each of the horizontal lines y = 0 and y = 1

�� For a positive integer n, the twin group Tn on n strands admits a topological interpretation that is similar to that of the braid groups. Consider the strip� ×[0, 1] and fix n marked points on each of the horizontal lines y = 0 and y = 1. A twin is represented by n monotonic (descending) strands within this strip, connecting the n top points ...

arXiv 2025

[2] [2]

, sn� 1 and the following relations

�� For any positive integern � 2, the twin group Tn is presented by n−1 generators s1, . . . , sn� 1 and the following relations. s2 i = 1 for 1 � i � n − 1, sisj = sjsi for |i − j| > 1. The generator si can be described by the following diagram. 1 i − 1 i i + 1 i + 2 n �� The generator si A closure of a twin t is a diagram obtained by jo...

work page

[3] [3]

�� 2�� Tn The following theorem provides a complete classification of all homogeneous 2- local representations of the twin group Tn for every n � 2. �� n � 2� �� ξ : Tn → �� n(� ) �� 2�� Tn� �� ξ �� ...

work page

[4] [4]

We first investigate their reducibility and establish that all such representations admit a non-trivial invariant subspace

�� 2�� Tn In this section we study the structural properties of the homogeneous 2-local representations of the twin group Tn. We first investigate their reducibility and establish that all such representations admit a non-trivial invariant subspace. In the second part, we explicitly perform the reduction pro...

work page

[5] [5]

To this end, we first present several propositions, lemmas, and theorems, which will lead us to the statement of our main result

�� ˜ξ1 �� In this section, we establish the necessary and sufficient condition for the irre- ducibility of the representation ˜ξ1. To this end, we first present several propositions, lemmas, and theorems, which will lead us to the statement of our main result. We start by the following proposition. ��...

work page

[6] [6]

Thus, the subspace ⟨v2⟩ is invariant under the action of S2 if and only if a = 1

In addition, we have also that S2v2 = � 1 2 (a − 1)2 − 1 2 � a2 + 1 � � . Thus, the subspace ⟨v2⟩ is invariant under the action of S2 if and only if a = 1. Therefore, ˜ξ1 is irreducible if and only if a ̸∈ {±1, ±i √ 3}. � 5.2. �� ˜ξ1 �� Tn �� n � 4� Now, we deal with the case n � 4. First of all, we note that det( λIn� 1 − ˜ξ...

work page

[7] [7]

Birman, �� , Annals of Mathematics Studies, Prince- ton University Press, (1974)

J. Birman, �� , Annals of Mathematics Studies, Prince- ton University Press, (1974)

work page 1974

[8] [8]

Crisp and L

J. Crisp and L. Paris, �� , Pacific Journal of Mathematics, 221, (2005), 1–27

work page 2005