On the Johnson filtration of the basis-conjugating automorphism group of a free group.
type: Item
instance of: scholarly article
title: On the Johnson filtration of the basis-conjugating automorphism group of a free group.
zbMATH Open document ID: 1273.20029
author: Takao Satoh
published in: Michigan Mathematical Journal
publication date: 2013-03-05T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.mmj/1331222848
review text: Let \(\mathcal A_n(k)\) denote the kernel of the natural homomorphism \(\Aut(F_n)\to\Aut(F_n/\Gamma_n(k+1))\), then is defined the descending central filtration \(\Aut(F_n)=\mathcal A_n(0)\supset\mathcal A_n(1)\supset\mathcal A_n(2)\supset\cdots\) with \(\mathcal A_n(1)=IA_n\). This descending filtration of \(\Aut(F_n)\) is called the Johnson filtration of \(\Aut(F_n)\) and was originally introduced and studied [in Proc. Lond. Math. Soc., III. Ser. 15, 239-268 (1965; Zbl 0135.04502)] by \textit{S. Andreadakis}. Although since then many papers are devoted to studying this filtration and the graded quotients \(gr^k(\mathcal A_n)=\mathcal A_n(k)/\mathcal A_n(k+1)\), it was not yet determined whether each of the \(\mathcal A_n(k)\) is finitely generated or not for \(k\geq 2\). Neither is it known whether the Abelianization \(\mathcal A_n(k)^{ab}\) of \(\mathcal A_n(k)\) is finitely generated for \(k\geq 2\). In the present paper the author, continuing his work on the study of these filtrations, considers a special subgroup of \(\Aut(F_n)\) and studies the relevant Johnson filtration. More precisely, let \(\{x_1,x_2,\dots,x_n\}\) be a basis of the free group \(F_n\), an automorphism \(\sigma\) of \(F_n\) such that \(x_i^\sigma\) is conjugate to \(x_i\), \(1\leq i\leq n\), is called a basis-conjugating automorphism of \(F_n\). The set \(P\Sigma_n\) of all basis-conjugating automorphisms is a subgroup of \(\Aut(F_n)\) and \(P\Sigma_n\subseteq IA_n\). In [Can. J. Math. 38, 1525-1529 (1986; Zbl 0613.20024)] is given by \textit{J. McCool} a finite presentation of \(P\Sigma_n\). Let \(\mathcal P_n(k)=P\Sigma_n\cap\mathcal A_n(k)\) for each \(k\geq 1\). The groups \(\mathcal P_n(k)\) form the descending central Johnson filtration \(P\Sigma_n=\mathcal P_n(1)\supset\mathcal P_n(2)\supset\mathcal P_n(3)\cdots\). If \(P\Sigma_n=P\Sigma_n^{(1)}\supset P\Sigma_n^{(2)}\supset P\Sigma_n^{(3)}\supset\cdots\) is the lower central series of \(P\Sigma_n\), then \(P\Sigma_n^{(k)}\subset\mat…
reviewed by: Dimitrios Varsos
Mathematics Subject Classification ID: 20F28
Mathematics Subject Classification ID: 20F14
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 20E36
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 6141589
zbMATH Keywords: free groups
zbMATH Keywords: conjugating automorphisms
zbMATH Keywords: Johnson filtrations
zbMATH Keywords: IA-automorphisms
zbMATH Keywords: finite presentations
zbMATH Keywords: lower central series
zbMATH Keywords: infinitely generated groups
MaRDI profile type: Publication
OpenAlex ID: W2011401383
cites work: On the Automorphisms of Free Groups and Free Nilpotent Groups
cites work: Q5457885
cites work: Q5749984
cites work: Q4145882
cites work: Über \(n\)-dimensionale Gittertransformationen
cites work: On Basis-Conjugating Automorphisms of Free Groups
cites work: Abelian quotients of subgroups of the mapping class group of surfaces
cites work: Q4486726
cites work: Q3421153
cites work: The Johnson homomorphism and the second cohomology of \(\text{IA}_n\).
cites work: NEW OBSTRUCTIONS FOR THE SURJECTIVITY OF THE JOHNSON HOMOMORPHISM OF THE AUTOMORPHISM GROUP OF A FREE GROUP
cites work: On the image of the Burau representation of the IA-automorphism group of a free group.
cites work: On the fourth Johnson homomorphism of the automorphism group of a free group.
cites work: On the lower central series of the IA-automorphism group of a free group.
cites work: Treue Darstellung Liescher Ringe.
DOI: 10.1307/MMJ/1331222848
description: scientific article; zbMATH DE number 6141589