First cohomologies and the Johnson homomorphisms of the automorphism group of a free group.

DOI10.1016/J.JPAA.2012.06.017MaRDI QIDQ1946090zbMATH OpenOpenAlexFDO

Authors Takao Satoh

Publication date 17 April 2013

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2012.06.017

zbMATH Keywords

automorphism groupscohomology groupsfree groupsJohnson homomorphisms

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Automorphisms of infinite groups (20E36) Automorphism groups of groups (20F28) Cohomology of groups (20J06)

Review text

Let \(F_n\) be a free group of rank \(n\), let \(H\) be its Abelianisation, and let \(\Aut(F_n)\) be its automorphism group and \(\mathrm{Out}(F_n)\) be its outer automorphism group. Cohomology groups of \(\Aut(F_n)\) with coefficients in \(\mathbb Z\), \(\mathbb Q\), \(H\) and \(H^*\) (the dual of \(H\)) have been considered in the literature. This article considers the (first) cohomology group of \(\Aut(F_n)\) with coefficients in another \(\Aut(F_n)\)-module, \(V_L\), defined as follows. The kernel of the natural homomorphism \(\Aut(F_n)\to\Aut(H)\) induced from \(H\) is called the IA-automorphism group of \(F_n\) and is denoted \(IA_n\). Let \(V\) be the Abelianisation of \(IA_n\), let \(L\) be a principal ideal domain without 2-torsion, and set \(V_L=V\otimes_{\mathbb Z}L\). The main theorem is that for \(n\geq 5\) the first cohomology group \(H^1(\Aut(F_n),V_L)=L^{\oplus 2}\). Nielsen's presentation for \(\Aut(F_n)\) is central to the proof. Two applications are given (for \(n\geq 5\)). The first is that the first Johnson homomorphism \(\tau_1\colon IA_n\to V\) does not extend directly to \(\Aut(F_n)\) as a crossed homomorphism. The second is that \(H^1(\mathrm{Out}(F_n),V_L)=L\).

Recommendations

• Twisted first homology groups of the automorphism group of a free group.
• The cokernel of the Johnson homomorphisms of the automorphism group of a free metabelian group
• A reduction of the target of the Johnson homomorphisms of the automorphism group of a free group.
• On the lower central series of the IA-automorphism group of a free group.
• The Johnson-Morita theory for the ring of Fricke characters of free groups.

Cites work

• A presentation for the special automorphism group of a free group
• Abelian quotients of subgroups of the mapping class group of surfaces
• Families of Jacobian manifolds and characteristic classes of surface bundles. I
• Families of Jacobian manifolds and characteristic classes of surface bundles. II
• scientific article; zbMATH DE number 42072 (Why is no real title available?)
• scientific article; zbMATH DE number 3224578 (Why is no real title available?)
• NEW OBSTRUCTIONS FOR THE SURJECTIVITY OF THE JOHNSON HOMOMORPHISM OF THE AUTOMORPHISM GROUP OF A FREE GROUP
• On the homology groups of the mapping class groups of orientable surfaces with twisted coefficients
• Rational homology of (F_n).
• Stabilization for the automorphisms of free groups with boundaries
• Stable homology of automorphism groups of free groups.
• The abelianization of the congruence IA-automorphism group of a free group
• The extension of Johnson's homomorphism from the Torelli group to the mapping class group
• The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1}])\)
• Twisted first homology groups of the automorphism group of a free group.
• Twisted second homology groups of the automorphism group of a free group.

Cited in

(13)

• Topology of arrangements and representation stability. Abstracts from the workshop held January 14--20, 2018
• On the graded quotients of the \(\operatorname{SL}_m\)-representation algebras of groups
• The Johnson-Morita theory for the ring of Fricke characters of free groups.
• Twisted first homology groups of the automorphism group of a free group.
• On the universal \(\mathrm{SL}_2\)-representation rings of free groups
• On the low-dimensional cohomology groups of the IA-automorphism group of the free group of rank three
• On the \(\mathrm{SL}(2,\mathbf{C})\)-representation rings of free abelian groups
• The First Group (co)homology of a GroupGwith Coefficients in SomeG–Modules
• A survey of the Johnson homomorphisms of the automorphism groups of free groups and related topics
• On unstable twisted rational cohomology groups of the automorphism groups of free groups
• On the stable cohomology of the \(\mathrm{IA}\)-automorphism groups of free groups
• On the fourth Johnson homomorphism of the automorphism group of a free group.
• Twisted second homology groups of the automorphism group of a free group.

This page was built for publication: First cohomologies and the Johnson homomorphisms of the automorphism group of a free group.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1946090)