Related papers: The Johnson homomorphism and its kernel
For some $g \geq 3$, let $\Gamma$ be a finite index subgroup of the mapping class group of a genus $g$ surface (possibly with boundary components and punctures). An old conjecture of Ivanov says that the abelianization of $\Gamma$ should be…
Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup of the mapping class group has a finite generating set whose size grows cubically with respect to the genus of the surface. Our main tool is a new space called the…
We apply mapping class group techniques and trisections to study intersection forms of smooth 4-manifolds. Johnson defined a well-known homomorphism from the Torelli group of a compact surface. Morita later showed that every homology…
We prove that the first complex homology of the Johnson subgroup of the Torelli group $T_g$ is a non-trivial unipotent $T_g$-module for all $g\ge 4$ and give an explicit presentation of it as a $\Sym H_1(T_g,\C)$-module when $g\ge 6$. We do…
The Johnson-Morita theory is an algebraic approach to the mapping class group of a surface, in which one considers its action on the successive nilpotent quotients of the fundamental group of the surface. In this paper, we develop an…
We extend certain homomorphisms defined on the higher Torelli subgroups of the mapping class group to crossed homomorphisms defined on the entire mapping class group. In particular, for every $k\geq 2$, we construct a crossed homomorphism…
The Johnson kernel is the subgroup $\mathcal{K}_g$ of the mapping class group ${\rm Mod}(\Sigma_{g})$ of a genus $g$ oriented closed surface $\Sigma_{g}$ generated by all Dehn twists about separating curves. In this paper we study the…
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. In the published version of "Mapping class group and a global Torelli theorem for hyperkahler manifolds" I made an error based on a…
We extend each higher Johnson homomorphism to a crossed homomorphism from the automorphism group of a finite-rank free group to a finite-rank abelian group. We also extend each Morita homomorphism to a crossed homomorphism from the mapping…
Johnson has defined a surjective homomorphism from the Torelli subgroup of the mapping class group of the surface of genus $g$ with one boundary component to $\wedge^3 H$, the third exterior product of the homology of the surface. Morita…
We prove that the hyperelliptic Torelli group is generated by Dehn twists about separating curves that are preserved by the hyperelliptic involution. This verifies a conjecture of Hain. The hyperelliptic Torelli group can be identified with…
Combinatorial aspects of the Torelli-Johnson-Morita theory of surface automorphisms are extended to certain subgroups of the mapping class groups. These subgroups are defined relative to a specified homomorphism from the fundamental group…
The action of the mapping class group $\mathrm{Mod}_g$ of an oriented surface $\Sigma_g$ on the lower central series of $\pi_1(\Sigma_g)$ defines the descending filtration in $\mathrm{Mod}_g$ called the Johnson filtration. The first two…
We prove two theorems about the Malcev Lie algebra associated to the Torelli group of a surface of genus $g$: stably, it is Koszul and the kernel of the Johnson homomorphism consists only of trivial $Sp_{2g}(\mathbb{Z})$-representations…
In this paper we give an exposition of Dennis Johnson's work on the first homology of the Torelli groups and show how it can be applied, alone and in concert with Saito's theory of Hodge modules, to study the geometry of moduli spaces of…
In this paper we prove that the Torelli group of a surface of genus at least 3 with 2 boundary components is finitely generated. As a consequence, we answer Putman's question on the finite generation of the stabilizer subgroup of the…
In this paper, we prove that each automorphism of the Torelli group of a surface is induced by a diffeomorphism of the surface, provided that the surface is a closed, connected, orientable surface of genus at least 3. This result was…
We calculate the Dehn twist action on the spaces of conformal blocks of a not necessarily semisimple modular category. In particular, we give the order of the Dehn twists under the mapping class group representations of closed surfaces. For…
In the late 1980's, it was shown that the Casson invariant appears in the difference between the two filtrations of the Torelli group: the lower central series and the Johnson filtration, and that its core part was identified with the…
For each closed orientable surface we introduce a simplical complex with some additional structure which is a version of the complex of curves of this surface adjusted to investigation of its Torelli group. We call this complex the Torelli…