The Image of the Gassner Representation of the Pure Braid Subgroup has Pairwise Free Generators

G. Makenzie Cosgrove

arxiv: 2204.12469 · v4 · submitted 2022-04-26 · 🧮 math.GR

The Image of the Gassner Representation of the Pure Braid Subgroup has Pairwise Free Generators

G. Makenzie Cosgrove This is my paper

Pith reviewed 2026-05-24 12:10 UTC · model grok-4.3

classification 🧮 math.GR

keywords Gassner representationpure braid groupColored-Burau representationpairwise free generatorsbraid groupsgroup representationslinear algebra methods

0 comments

The pith

The Gassner representation of the pure braid subgroup has an image with pairwise free generators.

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

The paper shows that the image of the Gassner representation applied to the pure braid subgroup of the braid group has generators that are pairwise free. This is achieved by establishing that the Colored-Burau representation coincides with the Gassner representation on the pure braid subgroup. The equivalence reduces the problem to basic linear algebra, avoiding more complex analysis in the lower central series. A reader would care because the faithfulness of the Gassner representation for n at least 4 is still open, and this property provides information about the structure of the image.

Core claim

By showing the equivalence of the Colored-Burau representation to the Gassner representation when restricted to the pure braid subgroup, the analysis of the Gassner representation reduces to basic linear algebra. This leads to the result that the image has pairwise free generators.

What carries the argument

The equivalence of the Colored-Burau and Gassner representations on the pure braid subgroup, enabling reduction to linear algebra.

If this is right

The generators in the image generate free subgroups in every pair.
The representation can be studied using linear algebra methods.
This avoids the need for lower central series analysis as in prior works.
The image group structure is clarified for the pure braid case.

Where Pith is reading between the lines

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

This equivalence might allow similar linear algebra approaches for other representations of braid groups.
Further study could explore whether this property extends to the full braid group.
Connections to the open faithfulness question for Gassner representation could be investigated using this reduction.

Load-bearing premise

The Colored-Burau representation of Ainshel et al. is equivalent to the Gassner representation when restricted to the pure braid subgroup.

What would settle it

Finding a pair of generators in the image whose images satisfy a non-trivial relation that free groups do not.

read the original abstract

While much is known about the faithfulness of the Burau representation, the problem remains open for the Gassner representation for every $B_n$ with $n\geq 4$. We first find the definition of the Colored-Burau representation of Ainshel, Ainshel, Goldfeld, and Lemieux and we show that this is equivalent, when restricted to the pure braid subgroup, to the Gassner representation. The methods of Abdulrahim and Knudson require analysis within the lower central series of a free subgroup of the pure braid group. However, Lipschutz's work gives a method for analyzing the Gassner representation and the Colored-Burau structure reduces this analysis to basic linear algebra.

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.

Desk Editor's Note private letter to a colleague

The paper locates an equivalence between Colored-Burau and Gassner on the pure subgroup to reach pairwise free generators via existing linear algebra, but supplies no explicit checks in the abstract.

read the letter

The main takeaway is that the paper asserts the Gassner image on the pure braid subgroup has pairwise free generators. It reaches this by first equating the Colored-Burau representation of Ainshel et al. with Gassner when restricted to P_n, then reducing the freeness question to linear algebra over the Laurent polynomial ring using Lipschutz's approach. The equivalence step is presented as newly located, and that is the concrete new piece here. The rest follows the cited methods of Abdulrahim-Knudson and Lipschutz without new machinery. The paper does a useful service by pulling the Colored-Burau definition into view and showing how it lets the analysis drop to basic linear algebra instead of lower central series work. That connection is worth having on record. The soft spot is exactly the one the stress test flags: the abstract states the equivalence is shown but gives no matrix comparison, change-of-basis, or generator-by-generator verification. If the two representations differ on even one generator for n greater than or equal to 4, the reduction does not go through. No small-n explicit matrices or independent check is referenced. The argument is not circular on its face and relies on standard external results, but the load-bearing equivalence remains unexamined from the abstract alone. This note is for specialists already working on braid representations and Gassner faithfulness questions. A reader outside that circle will not get much. It deserves a serious referee to verify whether the full text actually establishes the equivalence and whether the linear algebra conclusion follows without gaps. I would send it to review rather than desk reject.

Referee Report

1 major / 0 minor

Summary. The manuscript claims that the image of the Gassner representation of the pure braid subgroup P_n has pairwise free generators. It first locates the definition of the Colored-Burau representation of Ainshel et al. and asserts its equivalence to the Gassner representation when restricted to P_n; it then invokes Lipschutz's linear-algebraic criterion (in place of the lower-central-series analysis of Abdulrahim-Knudson) to conclude pairwise freeness of the images over the Laurent polynomial ring.

Significance. If the claimed equivalence holds and the reduction to linear algebra is valid, the result would supply a concrete structural property of the Gassner representation on P_n, a representation whose faithfulness remains open for n≥4. The paper correctly identifies that Lipschutz's method bypasses the lower-central-series machinery and reduces the question to elementary matrix algebra over ℤ[t,t^{-1}].

major comments (1)

[Equivalence argument (section containing the comparison of the two representations)] The equivalence between the Colored-Burau representation (Ainshel et al.) and the Gassner representation on P_n is the load-bearing step that permits the reduction to Lipschutz's linear algebra. The manuscript states that the definitions are located and equivalence is shown, yet supplies no explicit matrix comparison, change-of-basis matrix, or generator-by-generator verification (e.g., for the standard generators of P_4). Without this verification, the claim that the image has pairwise free generators does not follow from the cited linear-algebraic criterion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for greater explicitness in the equivalence argument between the Colored-Burau and Gassner representations. We address the single major comment below and will revise accordingly.

read point-by-point responses

Referee: [Equivalence argument (section containing the comparison of the two representations)] The equivalence between the Colored-Burau representation (Ainshel et al.) and the Gassner representation on P_n is the load-bearing step that permits the reduction to Lipschutz's linear algebra. The manuscript states that the definitions are located and equivalence is shown, yet supplies no explicit matrix comparison, change-of-basis matrix, or generator-by-generator verification (e.g., for the standard generators of P_4). Without this verification, the claim that the image has pairwise free generators does not follow from the cited linear-algebraic criterion.

Authors: We agree that an explicit verification strengthens the argument and makes the reduction to Lipschutz's criterion fully transparent. The manuscript locates the definitions and asserts equivalence on P_n, but does not include a side-by-side matrix computation or change-of-basis check. In the revised version we will insert a new subsection that (i) recalls the standard generators of P_4, (ii) writes the explicit matrices for both representations on those generators, and (iii) exhibits the change-of-basis matrix over the Laurent polynomial ring that identifies the two images. This will confirm the equivalence on P_4 and, by the naturality of both constructions, extend to general n, allowing the linear-algebraic freeness criterion to apply directly. revision: yes

Circularity Check

0 steps flagged

No significant circularity; equivalence shown as independent step

full rationale

The paper states it locates the Colored-Burau definition from Ainshel et al. and shows equivalence to Gassner on P_n, then applies Lipschutz to reduce freeness to linear algebra over Laurent polynomials. This equivalence is presented as a derived result within the manuscript rather than presupposed by definition or prior self-citation. No step equates the target claim (pairwise free generators in the image) to its inputs by construction, and external citations (Abdulrahim-Knudson, Lipschutz) supply independent content. The derivation chain remains self-contained against the cited benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axioms of braid groups, free groups, and matrix representations over Laurent polynomials; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

standard math Braid group relations and the standard definitions of Burau and Gassner representations hold
Invoked when equating Colored-Burau to Gassner and when applying linear-algebra methods.

pith-pipeline@v0.9.0 · 5645 in / 1056 out tokens · 22246 ms · 2026-05-24T12:10:52.762557+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

Princeton University Press, 2017

Oﬃce Hours with a Geometric Group Theorist . Princeton University Press, 2017

work page 2017
[2]

Abdulrahim

Mohammad N. Abdulrahim. The Gassner Representation of the Pure Braid Group . PhD thesis, The Pennsylvania State University, 1995

work page 1995
[3]

Key agreement, the algebraic eraser, and lightweight cryptography

Iris Anshel, Michael Anshel, Dorian Goldfeld, and Steph ane Lemieux. Key agreement, the algebraic eraser, and lightweight cryptography. Contemp. Math. , 418:1–34, 2006

work page 2006
[4]

Beridze, S

A. Beridze, S. Bigelow, and P. Traczyk. On the burau repre sentation of b4 modulo p. 2019

work page 2019
[5]

Beridze and P

A. Beridze and P. Traczyk. Forks, noodles and the burau re presentation for b4. Transactions of A. Razmadze Mathematical Institute , 172(3):337–353, Dec 2018

work page 2018
[6]

The Burau representation is not faithf ul for n = 5

Stephen Bigelow. The Burau representation is not faithf ul for n = 5. Geom. Topol., 3:397–404, 1999

work page 1999
[7]

Joan S. Birman. Braids, Links, and Mapping Class Groups. (AM-82) . Princeton University Press

work page
[8]

F. R. Cohen and Stratos Prassidis. On injective homomorp hisms for pure braid groups, and associated Lie algebras. J. Algebra, 298(2):363–370, 2006

work page 2006
[9]

Jinani and Mohammad N

Rawia A. Jinani and Mohammad N. Abdulrahim. On the consid erations adopted by breidze and traczyk towards the faithfulness of burau representati on for n = 4, 2022

work page 2022
[10]

Kevin P. Knudson. On the kernel of the Gassner represent ation. Arch. Math. (Basel) , 85(2):108–117, 2005

work page 2005
[11]

On a ﬁnite matrix representation of the braid group

Seymour Lipschutz. On a ﬁnite matrix representation of the braid group. Arch. Math. (Basel) , 12:7–12, 1961

work page 1961
[12]

D. D. Long. A note on the normal subgroups of mapping clas s groups. Math. Proc. Cambridge Philos. Soc. , 99(1):79–87, 1986. Department of Mathematics, University at Buffalo, Buffalo , NY 14260-2900, USA E-mail address : gagecosg@buffalo.edu 11

work page 1986

[1] [1]

Princeton University Press, 2017

Oﬃce Hours with a Geometric Group Theorist . Princeton University Press, 2017

work page 2017

[2] [2]

Abdulrahim

Mohammad N. Abdulrahim. The Gassner Representation of the Pure Braid Group . PhD thesis, The Pennsylvania State University, 1995

work page 1995

[3] [3]

Key agreement, the algebraic eraser, and lightweight cryptography

Iris Anshel, Michael Anshel, Dorian Goldfeld, and Steph ane Lemieux. Key agreement, the algebraic eraser, and lightweight cryptography. Contemp. Math. , 418:1–34, 2006

work page 2006

[4] [4]

Beridze, S

A. Beridze, S. Bigelow, and P. Traczyk. On the burau repre sentation of b4 modulo p. 2019

work page 2019

[5] [5]

Beridze and P

A. Beridze and P. Traczyk. Forks, noodles and the burau re presentation for b4. Transactions of A. Razmadze Mathematical Institute , 172(3):337–353, Dec 2018

work page 2018

[6] [6]

The Burau representation is not faithf ul for n = 5

Stephen Bigelow. The Burau representation is not faithf ul for n = 5. Geom. Topol., 3:397–404, 1999

work page 1999

[7] [7]

Joan S. Birman. Braids, Links, and Mapping Class Groups. (AM-82) . Princeton University Press

work page

[8] [8]

F. R. Cohen and Stratos Prassidis. On injective homomorp hisms for pure braid groups, and associated Lie algebras. J. Algebra, 298(2):363–370, 2006

work page 2006

[9] [9]

Jinani and Mohammad N

Rawia A. Jinani and Mohammad N. Abdulrahim. On the consid erations adopted by breidze and traczyk towards the faithfulness of burau representati on for n = 4, 2022

work page 2022

[10] [10]

Kevin P. Knudson. On the kernel of the Gassner represent ation. Arch. Math. (Basel) , 85(2):108–117, 2005

work page 2005

[11] [11]

On a ﬁnite matrix representation of the braid group

Seymour Lipschutz. On a ﬁnite matrix representation of the braid group. Arch. Math. (Basel) , 12:7–12, 1961

work page 1961

[12] [12]

D. D. Long. A note on the normal subgroups of mapping clas s groups. Math. Proc. Cambridge Philos. Soc. , 99(1):79–87, 1986. Department of Mathematics, University at Buffalo, Buffalo , NY 14260-2900, USA E-mail address : gagecosg@buffalo.edu 11

work page 1986