Effective finite generation for [IA_n,IA_n] and the Johnson kernel

Mikhail Ershov, Daniel Franz

Let $I{A}_n$ denote the group of $IA$-automorphisms of a free group of rank $n$, and let ${\mathcal{I}}_n^b$ denote the Torelli subgroup of the mapping class group of an orientable surf…