Generating the Johnson filtration

الأصل · EN

For k >= 1, let Torellig¹(k) be the k-th term in the Johnson filtration of the mapping class group of a genus g surface with one boundary component. We prove that for all k, there exists some Gₖ >= 0 such that Torellig¹(k) is generated by elements which are supported on subsurfaces whose genus is at most Gₖ. We also prove similar theorems for the Johnson filtration of Aut(Fₙ) and for certain mod-p analogues of the Johnson filtrations of both the mapping class group and of Aut(Fₙ). The main tools used in the proofs are the related theories of FI-modules (due to the first author together with Ellenberg and Farb) and central stability (due to the second author), both of which concern the representation theory of the symmetric groups over Z.