---
title: Johnson Kernel in Mapping Class Groups
url: https://www.emergentmind.com/topics/johnson-kernel
type: topic
---

# Johnson Kernel in Mapping Class Groups

The Johnson kernel is the second stage of the Johnson filtration of a mapping class group, lying between the Torelli group and the deeper Johnson subgroups. For a genus \(g\) surface with one boundary component, it is \(\mathcal I_g^1(2)\), the kernel of the action of \(\mathrm{Mod}_g^1\) on \(\pi_1(\Sigma_g^1)/\gamma_3(\pi_1(\Sigma_g^1))\); for a closed genus \(g\) surface, it is the subgroup \(\mathcal K_g\subset \mathcal I_g\) generated by Dehn twists about separating curves and, equivalently, the kernel of the first Johnson homomorphism [1311.7150] [2111.10568]. It is a central object in Torelli theory because it is the first term of the Johnson filtration not detected by the first Johnson homomorphism, yet it remains large enough to control substantial geometry, topology, and representation-theoretic structure.

## 1. Definitions, conventions, and place in the Johnson filtration

For a compact oriented surface \(\Sigma_g^1\) with one boundary component and basepoint \(\ast\in \partial \Sigma_g^1\), the lower central series of \(\pi=\pi_1(\Sigma_g^1,\ast)\) is
\[
\gamma_1(\pi)=\pi,\qquad \gamma_{k+1}(\pi)=[\gamma_k(\pi),\pi].
\]
The Johnson filtration of \(\mathrm{Mod}_g^1\) is
\[
\mathcal I_g^1(k)=\ker\Big(\mathrm{Mod}_g^1\to \mathrm{Aut}(\pi/\gamma_{k+1}(\pi))\Big),
\]
with \(\mathcal I_g^1(1)=\mathcal I_g^1\) the Torelli group and \(\mathcal I_g^1(2)\) the Johnson kernel [1311.7150]. In the closed case, the corresponding subgroup is denoted \(\mathcal K_g\), and in the notation \(J_2(\Sigma_{g,n})\) it is the second term of the Johnson filtration for \(n\le 1\) [1703.04190] [2603.29397].

Several standard notational conventions coexist in the literature.

| Setting | Notation | Description |
|---|---|---|
| One boundary component | \(\mathcal I_g^1(2)\), \(K_{g,1}\) | Second Johnson term; kernel of the first Johnson homomorphism |
| Closed surface | \(\mathcal K_g\), \(K_g^b\) with \(b=0\) | Subgroup generated by separating twists |
| General \(n\le 1\) notation | \(J_2(\Sigma_{g,n})\) | Johnson kernel as second filtration term |
| Mod-\(p\) analogues | \(K_{g,1}^Z\), \(K_{g,1}^S\) | Kernels of first mod-\(p\) Johnson homomorphisms |

For the bordered surface \(\Sigma_{g,1}\), the first Johnson homomorphism is
\[
\tau_1:I_{g,1}\to \operatorname{Hom}(H,L_2),
\]
with image \(\wedge^3 H\), and its kernel is
\[
K_{g,1}=I_{g,1}(2)
\]
[1402.4186]. For closed surfaces, Johnson constructed a surjective homomorphism
\[
\tau:\mathcal I_g\to \wedge^3 H/H,
\]
whose kernel is precisely \(\mathcal K_g\) [2111.10568]. This dual description—filtration-theoretic and homomorphism-theoretic—is one reason the Johnson kernel is simultaneously a geometric and algebraic invariant.

## 2. Classical geometric structure and generators

The Johnson kernel is classically characterized by separating twists. In the one-boundary convention used in the Johnson-filtration literature, a genus \(\ell\) separating twist is a Dehn twist \(T_x\) about a separating curve \(x\) cutting \(\Sigma_g^1\) into subsurfaces homeomorphic to \(\Sigma_\ell^1\) and \(\Sigma_{g-\ell}^2\). Johnson proved that \(\mathcal I_g^1(2)\) is generated by genus \(1\) and \(2\) separating twists [1311.7150]. In the closed-surface case, \(\mathcal K_g\) is generated by all Dehn twists about separating simple closed curves [1903.03864].

The kernel characterization is equally fundamental. In the closed case,
\[
1\longrightarrow \mathcal K_g \longrightarrow \mathcal I_g \xrightarrow{\tau} \wedge^3 H/H \longrightarrow 1,
\]
so \(\mathcal K_g\) is exactly the part of the Torelli group invisible to the first Johnson homomorphism [2111.10568]. In the bordered case,
\[
K_{g,1}=\ker(\tau_1)=I_{g,1}(2),
\]
and Johnson’s computation of \(\tau_1\) on genus-\(1\) bounding pair maps identifies the first nontrivial quotient of the Torelli group, with the Johnson kernel as its kernel [1402.4186].

The action of the Johnson kernel on curves is much more rigid than the action of the full Torelli group. For \(S_{g,1}\), two homologous oriented nonseparating curves \(C,D\) are equivalent under \(\mathcal K(S)\) if and only if, for representatives \(\gamma,\delta\in \pi_1(S,\ast)\), the class
\[
[\gamma\delta^{-1}] \in \Gamma_2(S)/\Gamma_3(S)\cong \wedge^2 H_1(S)
\]
lies in \(a\wedge H_1(S)\), where \(a=[C]=[D]\). For separating curves cutting off the same symplectic subspace \(V\subset H_1(S)\), equivalence under \(\mathcal K(S)\) is controlled by the condition
\[
[\gamma\delta^{-1}] \in H_1(S)\otimes \omega_V \subset \Gamma_3(S)/\Gamma_4(S),
\]
and this is also the criterion for the separating twists \(T_C\) and \(T_D\) to be conjugate inside \(\mathcal K(S)\) [1108.4511]. These criteria show that Johnson-kernel orbits are governed by nilpotent invariants of \(\pi_1\), not merely by homology.

## 3. Uniform generation and support complexity

A central development in the modern theory is that the Johnson kernel participates in a uniform bounded-support generation phenomenon. For each \(k\ge 1\), there exists \(G_k\ge 0\) such that for all \(g\ge 1\), the subgroup \(\mathcal I_g^1(k)\) is generated by elements supported on homologically standard subsurfaces of genus at most \(G_k\), with \(G_k\) depending only on \(k\), not on \(g\) [1311.7150]. Applied to \(k=2\), this gives a uniform support bound for the Johnson kernel:
\[
\mathcal I_g^1(2)
\]
is generated by mapping classes supported on homologically standard subsurfaces of bounded genus independent of \(g\) [1311.7150].

For the Johnson kernel itself, classical work is sharper: Johnson’s generation theorem by genus \(1\) and \(2\) separating twists shows that one may take \(G_2=2\) in the bordered setting, although the FI-module proof does not recover this explicit value [1311.7150]. At the same time, the lower-bound theorem in the same paper shows that for all \(g>k\), \(\mathcal I_g^1(k)\) is not generated by elements supported on subsurfaces of genus \(<k/2\). For \(k=2\), this implies that the Johnson kernel is not generated by genus \(0\) supports, so any uniform generation must involve positive-genus pieces [1311.7150].

The significance is conceptual. The proof uses central filtrations of weak FI-groups, FI-modules, and central stability over \(\mathbf{FI}\), and is non-constructive because it relies on the Noetherian property for FI-modules [1311.7150]. This suggests that the Johnson kernel is part of a broader representation-stability regime: its generators may be chosen with uniformly bounded topological complexity across genus, even though explicit optimal bounds remain a separate problem.

## 4. Finiteness properties and abelianization

The finiteness theory of the Johnson kernel has two distinct aspects: finite generation of the group itself, and finite generation of its abelianization. For \(G=\mathcal I_g^1\) with \(g\ge 12\), any subgroup containing \([G,G]\) is finitely generated. Since
\[
\mathcal K_g^1=\mathcal I_g^1(2)\supsetneq [\mathcal I_g^1,\mathcal I_g^1],
\]
this implies that the Johnson kernel is finitely generated in genus \(g\ge 12\) [1703.04190]. In the same range, its abelianization is finitely generated, and more precisely
\[
\mathcal I_g^1/[\mathcal K_g^1,\mathcal K_g^1]
\]
is nilpotent [1703.04190].

The abelianization is also accessible from a different direction. For all \(g\ge 4\), \(H_1(K_g,\mathbb C)\) is a non-trivial unipotent \(T_g\)-module, and for \(g\ge 6\) it admits an explicit presentation as a \(\mathrm{Sym}\,H_1(T_g,\mathbb C)\)-module [1101.1392]. A complementary calculation determines the rational abelianization explicitly: for \(g\ge 6\),
\[
H_1(\mathcal K_g;\mathbb Q)\cong \mathbb Q \oplus [2^2]\oplus [3\,1^2],
\]
where the \(\mathbb Q\)-summand is generated by the secondary class \(d_1\), and the other summands arise from a refinement of the second Johnson homomorphism [1711.07855].

These results separate the Johnson kernel from naive expectations of homological smallness. Its first homology is finite-dimensional over \(\mathbb Q\) in sufficiently large genus, but it is not trivial; it carries nontrivial \(\mathrm{Sp}\)-module structure and is closely related to infinitesimal Alexander invariants and the discrepancy between the lower central series of the Torelli group and the Johnson filtration [1101.1392] [1711.07855].

## 5. Homology, cohomology, and geometric applications

The Johnson kernel has striking higher-homological behavior. Bestvina–Bux–Margalit showed that its cohomological dimension is
\[
\mathrm{cd}(\mathcal K_g)=2g-3,
\]
and Gaifullin proved that the top homology \(H_{2g-3}(\mathcal K_g)\) is not finitely generated: it contains a free abelian subgroup of infinite rank, so \(H_{2g-3}(\mathcal K_g;\mathbb Q)\) is infinite-dimensional [1903.03864]. He further showed that this top homology is not finitely generated as a \(\mathbb Q[\mathcal I_g]\)-module [1903.03864].

A more refined description of one geometric piece of top homology is obtained from maximal collections of disjoint separating curves. For any \(2g-3\) disjoint separating curves on \(\Sigma_g\), the associated commuting separating twists determine an abelian cycle in \(H_{2g-3}(\mathcal K_g,\mathbb Z)\). The subgroup \(A_g\) generated by these simplest abelian cycles satisfies
\[
A_g \cong \mathrm{Ind}_{H_g}^{G_g} P_g
\]
as a \(G_g=\mathrm{Mod}(\Sigma_g)/\mathcal K_g\)-module, where \(P_g\) is free abelian of rank \((g-2)!\). It has a presentation with generators indexed by trivalent trees and relations
\[
A_{T_1}+A_{T_2}+A_{T_3}=0
\]
for cyclic triples of trees, and balanced trees furnish a basis [2111.10568]. This gives a concrete combinatorial model for a large, natural part of the top homology.

The Johnson kernel also has strong consequences for surface bundles. If a surface bundle has monodromy contained in \(\mathcal K_{g,*}\), then its cohomology ring is isomorphic to that of a trivial bundle,
\[
H^*(E)\cong H^*(B)\otimes H^*(\Sigma_g),
\]
and all higher Johnson invariants vanish upon restriction to \(\mathcal K_{g,*}\) [1601.07836]. In a related direction, any nontrivial surface bundle over a surface with monodromy in the Johnson kernel fibers in a unique way [1404.0066]. This suggests that the Johnson kernel, despite being large as a group, is cohomologically rigid in the context of surface-bundle topology.

## 6. Variants, low-genus developments, and current directions

The Johnson-kernel paradigm has natural mod-\(p\) analogues. Using the Stallings and Zassenhaus mod-\(p\) central series of \(\Gamma=\pi_1(\Sigma_{g,1})\), one defines mod-\(p\) Johnson filtrations \(I_{g,1}^S(k)\) and \(I_{g,1}^Z(k)\), with first kernels
\[
K_{g,1}^S=I_{g,1}^S(2),\qquad K_{g,1}^Z=I_{g,1}^Z(2).
\]
For \(g\ge 3\), the Zassenhaus mod-\(p\) Johnson kernel is generated by separating twists and \(p\)-th powers of Dehn twists, while the Stallings mod-\(p\) Johnson kernel is generated by separating twists, \(p\)-th powers of bounding pair maps, and \(p^2\)-powers of Dehn twists [1402.4186]. These groups are natural mod-\(p\) thickenings of the classical Johnson kernel.

Recent work also connects the Johnson kernel to quantum representations. For any nontrivial element
\[
f\in [J_2(\Sigma_{g,n}),J_2(\Sigma_{g,n})],
\]
the \(\mathrm{SO}(3)\)-WRT quantum representation \(\rho_p(f)\) has infinite order for all sufficiently large prime \(p\). More generally, for any nontrivial \(f\in J_2(\Sigma_{g,n})\), \(\rho_p(f)\) has either order \(p\) or infinite order for large enough prime \(p\) [2603.29397]. In the same paper, this implies that every nontrivial element of the derived subgroup \([J_2,J_2]\) has a pseudo-Anosov part [2603.29397].

Low-genus behavior remains delicate. The torsion subgroup of the abelianized Johnson kernel is non-trivial for genus \(g\ge 6\), and explicit lower bounds for its cardinality are obtained by infinitesimal methods based on the action on the Malcev Lie algebra [2209.12740]. More recently, the abelianizations \((\mathcal K_3^b)^{\mathrm{ab}}\) for \(b\in\{0,1\}\) were proved finitely generated, settling the genus \(3\) abelianization problem while leaving finite generation of \(\mathcal K_3^b\) itself open [2507.20710].

Several open directions recur across the literature. One asks for effective support-genus bounds in uniform generation theorems [1311.7150]. Another asks whether the subgroup \(A_g\) of top homology generated by simplest abelian cycles exhausts \(H_{2g-3}(\mathcal K_g,\mathbb Z)\) [2111.10568]. Low-genus finiteness questions remain central, especially the finite generation of \(\mathcal K_3\) itself [1903.03864] [2507.20710]. Together these problems indicate that the Johnson kernel is now understood simultaneously as a filtration term, a geometrically generated subgroup, a homologically large object, and a testing ground for stability, quantum, and arithmetic methods.

Source: https://www.emergentmind.com/topics/johnson-kernel