1: \begin{abstract} 

2: Let $F_n$ be the free group on $n$ generators. Define $\IA_n$ to be 

3: group of automorphisms of $F_n$ that act trivially on first homology. 

4: The Johnson homomorphism in this setting is a map from $\IA_n$ to 

5: its abelianization. The first goal of this paper is 

6: to determine how much this map contributes to 

7: the second rational cohomology of $\IA_n$. 

8: 

9: A descending central series of $\IA_n$ is given by the subgroups

10: $K_n^{(i)}$ which act trivially on $F_n/F_n^{(i+1)}$, the free rank

11: $n$, degree $i$ nilpotent group. It is a conjecture of Andreadakis

12: that $K_n^{(i)}$ is equal to the lower central series of $\IA_n$;

13: indeed $K_n^{(2)}$ is known to be the commutator subgroup of

14: $\IA_n$. We prove that the quotient group $K_n^{(3)}/\IA_n^{(3)}$ is

15: finite for all $n$ and trivial for $n=3$.  We also compute the rank of

16: $K_n^{(2)}/K_n^{(3)}$.

17: \end{abstract}

18: