On the Andreadakis-Johnson filtration of the automorphism group of a free group. (Q549990)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Andreadakis-Johnson filtration of the automorphism group of a free group. |
scientific article |
Statements
On the Andreadakis-Johnson filtration of the automorphism group of a free group. (English)
0 references
19 July 2011
0 references
In [Proc. Lond. Math. Soc., III. Ser. 15, 239-268 (1965; Zbl 0135.04502)], the reviewer introduced a filtration of the automorphism group \(\Aut(F_n)\) of the free group \(F_n\). This consists of the subgroups of automorphisms \(J^s_n\) (in the present notation) of \(\Aut(F_n)\) which are defined as the subgroups which consist of the automorphisms inducing the identity on the factors \(F_n/\Gamma^{s+1}_n\), where \(\Gamma^{s+1}_n\) denotes here the \((s+1)\)-st term of the lower central series for \(F_n\). In the present paper the authors study cohomology aspects of this filtration. In the authors' words: Methods are (1) to analyze analogous classes for filtrations of a subgroup of the pure symmetric automorphism group of a free group and (2) to analyze features of these classes which are preserved by the Johnson homomorphism with values in the Lie algebra of derivations of a free Lie algebra. One consequence is that the ranks of the cohomology groups in any fixed degree \(i\) for \(1\leq i\leq n-2\) for the Johnson filtrations of \(\text{IA}_n\) increase without bound. One of the main results (without further explanation) is: If \(n\geq 3\), and \(2\leq q\leq n-1\), the integral cohomology ring \(H^*(J^s_n)\) contains a direct summand which is additively isomorphic to \(\bigotimes_{n-q}(\mathbb Z\oplus L_s[V_q]^*)\) in the image of \(\tau^*_s\colon H^*(\Hom(V_n,L_{s+1}[V_n]))\to H^*(J^s_n)\). Thus if \(1\leq i\leq n-2\), then the ranks of \(H^i(J^s_n)\) increase without bound as \(s\) increases. Here \(V_n=V\) is a free Abelian group of rank \(n\), \(L_s[V]=L[V]\cap V^{\otimes s}\), \(L[V]\) the free Lie algebra over the integers \(\mathbb Z\) and \(L_s[V]^*=\Hom(L_s[V],\mathbb Z)\). The methods are similar to those occurring within the theory of arrangements.
0 references
automorphism groups of free groups
0 references
Andreadakis-Johnson filtration
0 references
free Lie algebras
0 references
cohomology classes
0 references
cohomology groups
0 references
lower central series
0 references
0 references
0 references