Generalized Dehn twists on surfaces and homology cylinders

Abstract

Let $Σ$ be a compact oriented surface. The Dehn twist along every simple closed curve $γ\subset Σ$ induces an automorphism of the fundamental group $π$ of $Σ$. There are two possible ways to generalize such automorphisms if the curve $γ$ is allowed to have self-intersections. One way is to consider the `generalized Dehn twist' along $γ$: an automorphism of the Malcev completion of $π$ whose definition involves intersection operations and only depends on the homotopy class $[γ]\in π$ of $γ$. Another way is to choose in the usual cylinder $U:=Σ\times [-1,+1]$ a knot $L$ projecting onto $γ$, to perform a surgery along $L$ so as to get a homology cylinder $U_L$, and let $U_L$ act on every nilpotent quotient $π/Γ_{j} π$ of $π$ (where $Γ_jπ$ denotes the subgroup of $π$ generated by commutators of length $j$). In this paper, assuming that $[γ]$ is in $Γ_k π$ for some $k\geq 2$, we prove that (whatever the choice of $L$ is) the automorphism of $π/Γ_{2k+1} π$ induced by $U_L$ agrees with the generalized Dehn twist along $γ$ and we explicitly compute this automorphism in terms of $[γ]$ modulo ${Γ_{k+2}}π$. As applications, we obtain new formulas for certain evaluations of the Johnson homomorphisms showing, in particular, how to realize any element of their targets by some explicit homology cylinders and/or generalized Dehn twists.