There is a gap in the proof of Proposition 3.1, and it seems
to be still an open problem to determine whether the map
is
surjective or not. In order not to cause any effect on our main theorems, we modify
our previous arguments in the following way.
Keywords
ring of Fricke characters, automorphism group of free
groups, IA-automorphism group, Andreadakis–Johnson
filtration, Johnson homomorphisms