Mathematics – Group Theory
Scientific paper
2005-01-04
Algebr. Geom. Topol. 5 (2005) 725-740
Mathematics
Group Theory
Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-30.abs.html
Scientific paper
Let F_n be the free group on n generators. Define IA_n to be group of automorphisms of F_n that act trivially on first homology. The Johnson homomorphism in this setting is a map from IA_n to its abelianization. The first goal of this paper is to determine how much this map contributes to the second rational cohomology of IA_n. A descending central series of IA_n is given by the subgroups K_n^(i) which act trivially on F_n/F_n^(i+1), the free rank n, degree i nilpotent group. It is a conjecture of Andreadakis that K_n^(i) is equal to the lower central series of IA_n; indeed K_n^(2) is known to be the commutator subgroup of IA_n. We prove that the quotient group K_n^(3)/IA_n^(3) is finite for all n and trivial for n=3. We also compute the rank of K_n^(2)/K_n^(3).
No associations
LandOfFree
The Johnson homomorphism and the second cohomology of IA_n does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Johnson homomorphism and the second cohomology of IA_n, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Johnson homomorphism and the second cohomology of IA_n will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-531892