pith. sign in

arxiv: 2403.04286 · v3 · submitted 2024-03-07 · 🧮 math.AT · math.GR

On the structures of the Johnson cokernels of the basis-conjugating automorphism groups of free groups

Naoya Enomoto , Takao Satoh This is my paper

Pith reviewed 2026-05-24 02:50 UTC · model grok-4.3

classification 🧮 math.AT math.GR
keywords Johnson homomorphismsbasis-conjugating automorphismsfree groupsAndreadakis problemcokernelscohomology of automorphism groupsbraid-permutation groups
0
0 comments X

The pith

The Johnson homomorphisms of basis-conjugating automorphism groups of free groups have cokernels that are determined exactly through degree four.

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

The paper studies Johnson homomorphisms on the basis-conjugating automorphism groups of free groups. It builds explicit obstructions to surjectivity of these maps and applies them to compute the cokernels in degrees up to four. As a direct consequence the work resolves the Andreadakis problem in degree four and proves that the cup product of first cohomology classes is surjective into the second cohomology.

Core claim

Obstructions to surjectivity of the Johnson homomorphisms allow exact determination of the cokernels of the basis-conjugating automorphism groups of free groups through degree four, which in turn gives an affirmative answer to the Andreadakis problem in that degree.

What carries the argument

Obstructions to surjectivity of the Johnson homomorphisms, which detect the cokernel structure in each degree.

If this is right

  • The Andreadakis problem holds for degree four.
  • The cup product map on the first cohomology groups of the basis-conjugating automorphism group is surjective.
  • The twisted first cohomology groups of the braid-permutation automorphism groups of a free group can be calculated explicitly.
  • Structural observations on the cokernels become available for degrees greater than four.

Where Pith is reading between the lines

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

  • The same obstruction method may extend to give partial information on cokernels in degree five or six.
  • The surjectivity result on cup products constrains the low-degree cohomology ring of these automorphism groups.
  • Similar obstruction techniques could be tested on the full automorphism group or on mapping class groups of surfaces.

Load-bearing premise

The obstructions built in the paper are complete enough to give the precise cokernel in every degree through four.

What would settle it

An explicit computation of the cokernel in degree four that differs in rank or generators from the one obtained via the obstructions.

read the original abstract

In this paper, we study the Johnson homomorphisms of basis-conjugating automorphism groups of free groups. We construct obstructions for the surjectivity of the Johnson homomorphisms. By using it, we determine its cokernels of degree up to four, and give further observations for degree greater than four. As applications, we give the affirmative answer for the Andreadakis problem for degree four. We show that the cup product map of the first cohomology groups of the basis-conjugating automorphism group of a free group into the second cohomology group is surjective. Finally, we calculate the twisted first cohomology groups of the braid-permutation automorphism groups of a free group.

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

0 major / 3 minor

Summary. The paper studies the Johnson homomorphisms of the basis-conjugating automorphism group of free groups. It constructs explicit obstructions to surjectivity of these homomorphisms and uses them to determine the cokernels in degrees up to 4. Applications include an affirmative resolution of the Andreadakis problem in degree 4, a proof that the cup product map on first cohomology is surjective, and computations of twisted first cohomology groups for the braid-permutation automorphism groups.

Significance. If the obstructions are shown to generate the full cokernels in each degree ≤4, the work supplies concrete, degree-by-degree determinations that settle a specific case of the Andreadakis problem. Such explicit low-degree results are useful benchmarks for the study of automorphism filtrations and can guide conjectures in higher degrees.

minor comments (3)
  1. The abstract states that obstructions are constructed and then used to determine the cokernels, but the manuscript should include a clear statement (perhaps in §3 or §4) of the precise generators of each cokernel in degrees 1–4, together with a verification that no further relations exist in those degrees.
  2. Notation for the basis-conjugating group and the associated Johnson filtration should be fixed at the first appearance (likely §2) and used consistently; several later sections appear to switch between two equivalent but visually distinct notations without comment.
  3. The section on the cup-product surjectivity (application 2) would benefit from an explicit reference to the cohomology ring computation that precedes it, so that the reader can trace the argument without backtracking.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work on the Johnson homomorphisms for basis-conjugating automorphism groups and for recommending minor revision. No major comments are listed in the report, so we have no specific points requiring point-by-point response. We will incorporate any minor suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs explicit obstructions to the surjectivity of Johnson homomorphisms for basis-conjugating automorphism groups and applies them to finite, degree-by-degree computations that determine the cokernels exactly through degree 4. No load-bearing step reduces by definition, by fitted input renamed as prediction, or by a self-citation chain whose content is unverified outside the present work. The derivation chain consists of direct algebraic constructions and explicit checks whose validity is independent of the target cokernel results themselves.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the ledger is therefore empty.

pith-pipeline@v0.9.0 · 5644 in / 1179 out tokens · 21091 ms · 2026-05-24T02:50:49.711399+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    Alekseev and C

    A. Alekseev and C. Torossian; The Kashiwara-Vergne conjectu re and Drinfeld’s associators, Ann. Math. (2) 175 (2012), 415–463

    work page 2012

  2. [2]

    Andreadakis; On the automorphisms of free groups and free nilpotent groups, Proc

    S. Andreadakis; On the automorphisms of free groups and free nilpotent groups, Proc. London Math. Soc. (3) 15 (1965), 239-268

    work page 1965

  3. [3]

    Artin; Theorie der Z¨ opfe, Abh

    E. Artin; Theorie der Z¨ opfe, Abh. Math. Sem. Univ. Hamburg 4 ( 1925), no. 1, 47-72

    work page 1925

  4. [4]

    Bachmuth, Induced automorphisms of free groups and free metabelian groups

    S. Bachmuth, Induced automorphisms of free groups and free metabelian groups. Trans. Amer. Math. Soc. 122 (1966), 1–17

    work page 1966

  5. [5]

    Bartholdi, Automorphisms of free groups I, New York Journa l of Mathematics 19 (2013), 395-421

    L. Bartholdi, Automorphisms of free groups I, New York Journa l of Mathematics 19 (2013), 395-421

    work page 2013

  6. [6]

    Bartholdi, Erratum; Automorphisms of free groups I, New Yo rk Journal of Mathematics 22 (2016), 1135-1137

    L. Bartholdi, Erratum; Automorphisms of free groups I, New Yo rk Journal of Mathematics 22 (2016), 1135-1137

    work page 2016

  7. [7]

    J. S. Birman; Braids, Links and Mapping Class Groups, princeton U niversity Press, (1974)

    work page 1974

  8. [8]

    Brownstein and R

    A. Brownstein and R. Lee; Cohomology of the group of motions of n strings in 3-space, Mapping Class Groups and Moduli Spaces of Riemann Surfaces, Contemp. Ma th., 150, Amer. Math. Soc., Providence, RI (1993), 51–61

    work page 1993

  9. [9]

    Cohen and J

    F. Cohen and J. Pakianathan; On Automorphism Groups of Free G roups, and Their Nilpotent Quotients, preprint, unpublished

    work page

  10. [10]

    Cohen and J

    F. Cohen and J. Pakianathan; On subgroups of the automorph ism group of a free group and associated graded Lie algebras, preprint, unpublished

    work page

  11. [11]

    Damiani; A journey through loop braid groups, Expo

    C. Damiani; A journey through loop braid groups, Expo. Math.35 (2017), 252-285

    work page 2017

  12. [12]

    Darn´ e; On the stable Andreadakis Problem, Journal of Pur e and Applied Algebra, 223 (2019), 5484-5525

    J. Darn´ e; On the stable Andreadakis Problem, Journal of Pur e and Applied Algebra, 223 (2019), 5484-5525

    work page 2019

  13. [13]

    Darn´ e; On the Andreadakis problem for subgroups of IA n, Int.l Math

    J. Darn´ e; On the Andreadakis problem for subgroups of IA n, Int.l Math. Res. Not., 19 (2021) 14720-14742

    work page 2021

  14. [14]

    Enomoto and T

    N. Enomoto and T. Satoh; On the derivation algebra of the free Lie algebra and trace maps., Alg. and Geom. Top., 11 (2011) 2861-2901

    work page 2011

  15. [15]

    Farb; Automorphisms of Fn which act trivially on homology, in preparation

    B. Farb; Automorphisms of Fn which act trivially on homology, in preparation

    work page

  16. [16]

    R. Fenn, R. Rim´ anyi and C. Rourke; The braid-permutation gr oup, Topology, 36, no. 1 (1997), 123-135

    work page 1997

  17. [17]

    Hain; Infinitesimal presentations of the Torelli group, Jour nal of the American Mathematical Society 10 (1997), 597-651

    R. Hain; Infinitesimal presentations of the Torelli group, Jour nal of the American Mathematical Society 10 (1997), 597-651

    work page 1997

  18. [18]

    Hall; A basis for free Lie rings and higher commutators in free g roups, Proc

    M. Hall; A basis for free Lie rings and higher commutators in free g roups, Proc. Amer. Math. Soc., 1 (1950), 575-581. 30

    work page 1950

  19. [19]

    Hall; The theory of groups, second edition, AMS Chelsea Publis hing 1999

    M. Hall; The theory of groups, second edition, AMS Chelsea Publis hing 1999

    work page 1999

  20. [20]

    Ibrahim; On the Andreadakis equality for a subgroup of the M cCool group, preprint, arXiv:1902.10033v5

    A. Ibrahim; On the Andreadakis equality for a subgroup of the M cCool group, preprint, arXiv:1902.10033v5

    work page arXiv 1902

  21. [21]

    Jensen, J

    C. Jensen, J. McCammond and J. Meier; The integral cohomolog y of the group of loops, Geom. Topol. 10 (2006), 759–784

    work page 2006

  22. [22]

    Johnson; An abelian quotient of the mapping class group, Mat hematshe Annalen 249 (1980), 225–242

    D. Johnson; An abelian quotient of the mapping class group, Mat hematshe Annalen 249 (1980), 225–242

    work page 1980

  23. [23]

    Kawazumi; Cohomological aspects of Magnus expansions, pr eprint, arXiv:math.GT/0505497

    N. Kawazumi; Cohomological aspects of Magnus expansions, pr eprint, arXiv:math.GT/0505497

    work page arXiv

  24. [24]

    Magnus, A

    W. Magnus, A. Karras and D. Solitar; Combinatorial group theo ry, Interscience Publ., New York (1966)

    work page 1966

  25. [25]

    McCool; On basis-conjugating automorphisms of free group s, Can

    J. McCool; On basis-conjugating automorphisms of free group s, Can. J. Math., XXXVIII, No. 6 (1986), 1525-1529

    work page 1986

  26. [26]

    Morita; Abelian quotients of subgroups of the mapping class g roup of surfaces, Duke Mathe- matical Journal 70 (1993), 699-726

    S. Morita; Abelian quotients of subgroups of the mapping class g roup of surfaces, Duke Mathe- matical Journal 70 (1993), 699-726

    work page 1993

  27. [27]

    Reutenauer; Free Lie Algebras, London Mathematical Socie ty monographs, new series, no

    C. Reutenauer; Free Lie Algebras, London Mathematical Socie ty monographs, new series, no. 7, Oxford University Press (1993)

    work page 1993

  28. [28]

    Satoh; Twisted first homology groups of the automorphism g roup of a free group, Journal of Pure and Applied Algebra, 204 (2006), 334-348

    T. Satoh; Twisted first homology groups of the automorphism g roup of a free group, Journal of Pure and Applied Algebra, 204 (2006), 334-348

    work page 2006

  29. [29]

    T. Satoh; New obstructions for the surjectivity of the Johns on homomorphism of the automor- phism group of a free group, Journal of the London Mathematical Society, (2) 74 (2006) 341-360

    work page 2006

  30. [30]

    lower-triangular

    T. Satoh; On the Andreadakis conjecture restricted to the “ lower-triangular” IA-automorphism groups of free groups, Journal of Algebra and Its Applications, V ol. 16, No. 5 (2017) 1750099

    work page 2017

  31. [31]

    Satoh; The cokernel of the Johnson homomorphisms of the automorphism group of a free metabelian group, Trans

    T. Satoh; The cokernel of the Johnson homomorphisms of the automorphism group of a free metabelian group, Trans. Amer. Math. Soc., 361 (2009), 2085-21 07

    work page 2009

  32. [32]

    Satoh; On the fourth Johnson homomorphism of the automo rphism group of a free group, J

    T. Satoh; On the fourth Johnson homomorphism of the automo rphism group of a free group, J. of Algebra, 323 (2010), 3182-3201

    work page 2010

  33. [33]

    Satoh; On the lower central series of the IA-automorphism group of a free group, J

    T. Satoh; On the lower central series of the IA-automorphism group of a free group, J. of Pure and Appl. Alg., 216 (2012), 709-717

    work page 2012

  34. [34]

    Satoh; On the Johnson filtration of the basis-conjugating a utomorphism group of a free group, Michigan Mathematical Journal, 61 (2012), 87-105

    T. Satoh; On the Johnson filtration of the basis-conjugating a utomorphism group of a free group, Michigan Mathematical Journal, 61 (2012), 87-105

    work page 2012

  35. [35]

    Satoh; On the basis-conjugating automorphism groups of f ree groups and free metabelian groups, Math

    T. Satoh; On the basis-conjugating automorphism groups of f ree groups and free metabelian groups, Math. Proc. Camb. Phil. Soc. 158 (2015), 83-109

    work page 2015

  36. [36]

    Satoh; The third subgroup of the Andreadakis-Johnson filt ration of the automorphism group of a free group

    T. Satoh; The third subgroup of the Andreadakis-Johnson filt ration of the automorphism group of a free group. Journal of Group Theory 22 (2019), no. 1, 41-6 1

    work page 2019

  37. [37]

    Tokuyama; On the decomposition rules of tensor products o f the representations of the classical Weyl groups

    T. Tokuyama; On the decomposition rules of tensor products o f the representations of the classical Weyl groups. J. Algebra 88(1984), no.2, 380-394

    work page 1984

  38. [38]

    Witt; Treue Darstellung Liescher Ringe, Journal f¨ ur die Rein e und Angewandte Mathematik, 177 (1937), 152-160

    E. Witt; Treue Darstellung Liescher Ringe, Journal f¨ ur die Rein e und Angewandte Mathematik, 177 (1937), 152-160. Naoya Enomoto; The University of Electro-Communications, 1-5-1, Chofugaoka, Chofu city, Tokyo 182-8585, Japan. Email address : enomoto-naoya@uec.ac.jp Takao Satoh; Department of Mathematics, F aculty of Science Division II, Tokyo University ...

    work page 1937