Generalized Johnson homomorphisms for extended N-series (Q724275)

The Johnson filtration is a filtration of the mapping class group of a surface, which was introduced by \textit{D. Johnson} in [Contemp. Math. 20, 165--179 (1983; Zbl 0553.57002)] to study this group. The definition of the filtration uses the lower central series of the fundamental group of the surface. Later other filtrations of the mapping class group of a surface were obtained using different descending series of the fundamental group of the surface. The present paper studies filtrations of the mapping class not only generalising the original work of Johnson but giving an overview of the variations of the Johnson filtration from a unified viewpoint. The descending series here in question are called \textit{the extended N-series}. To exemplify some of the major results, the authors show: \par Theorem 5.3: The derivation graded Lie algebra $\mathrm{Der}_{+}(L_{\bullet})$ extends to an eg-Lie algebra $\mathrm{Der}_{\bullet}(L_{\bullet})$ by setting $\mathrm{Der}_0(L_{\bullet})=\mathrm{Aut}(L_{\bullet})$ and by defining an action \[ \mathrm{Der}_0(L_{\bullet})\times \mathrm{Der}_m(L_{\bullet})\to \mathrm{Der}_m(L_{\bullet}), \quad (f,d)\to {}^fd, \] for $m\geq 1$ by \[ ({}^fd)_i(a)=f_{m+i}d_if_i ^{-1}(a) \quad (i\geq 0, a\in L_i). \] For an extended N-series $G_{*}$ acting on an extended N-series $K_{*}$, a morphism $\bar \tau_{\bullet}=(\bar \tau_m)_{m\geq 0}: \bar G_{\bullet}\to \mathrm{Der}_{\bullet}(\bar K_{\bullet}),$ called Johnson homomorphism, is defined. \par Theorem 6.4: Let an extended N-series $G_{*}$ act on an extended N-series $K_{*}$, and set $\bar G_{\bullet}=gr_{\bullet}(G_{*})$, $\bar K_{\bullet}=gr_{\bullet}(K_{*})$. Then the family $\bar \tau_{\bullet}=(\bar \tau_m)_{m\geq 0}$ of homomorphisms $\tau_m$ is a morphism of eg-Lie algebras \[ \bar \tau_{\bullet}:\bar G_{\bullet}\to \mathrm{Der}_{\bullet}(\bar K_{\bullet}). \] Moreover, $\bar \tau_{\bullet}$ is injective if and only if $G_{*}$ is the Johnson filtration $\mathcal{F}_{*}^{K_{*}}(G_0)$. \par When one specializes for some N-series, one recovers several types of Johnson homomorphisms which have been studied previously. This is explored in detail. Then the authors introduce two other types of extended N-series $K_{*}$, each associated with a pair $(K, N)$ of a group $K$ and a normal subgroup $N$. They also provide some applications for these cases, where in one of the cases the action can be taken as the action of the handlebody mapping class group. Finally at the end they study the formality of the extended N-series. The main result of this final section is: \par Theorem 12.6: Let an N-series $G_{+}$ of a group $G$ act on a formal extended N-series $K_{*}$ with an expansion $\theta$. Then the filtration-preserving map \[ \rho^{\theta}:G \to \widehat{\mathrm{Der}}_{+}(\bar{K}_{\bullet}^{\mathbb{Q}}) \] induces the rational version of the Johnson morphism: \[ gr(\rho^{\theta})=\bar\tau_{+}^{\mathbb{Q}}:\bar G_{+} \to \mathrm{Der}_{+}(\bar{K}_{\bullet}^{\mathbb{Q}}). \]