arXiv research

Proves a conjecture about matrix orders for pseudo-Anosov maps.

Researchers prove abelianizations of specific groups are finitely generated.

The action of the mapping class group $\mathrm{Mod}_g$ of an oriented surface $Σ_g$ on the lower central series of $π_1(Σ_g)$ defines the descending filtration in $\mathrm{Mod}_g$ called the Johnson filtration. The first two terms of it are the Torelli group $\mathcal{I}_g$ and the Johnson kernel $\mathcal{K}_g$. By a …

Proposes a neural network for EMG classification that handles skewness and kurtosis.

Study on kernels of SO(3) WRT representations for surfaces of genus g≥3.

A theorem of Farb and Handel asserts that for $N\ge 4$, the natural inclusion from $\mathrm{Out}(F_N)$ into its abstract commensurator is an isomorphism. We give a new proof of their result, which enables us to generalize it to the case where $N=3$. More generally, we give sufficient conditions on a subgroup $Γ$ of $\m…

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 secondary characteristic class $d_1$ associated with the fact that the first $\mathrm…

We show, finitely generated rational $\mathsf{VIC}_{\mathbb Q}$-modules and $\mathsf{SI}_{\mathbb Q}$-modules are uniformly representation stable and all their submodules are finitely generated. We use this to prove two conjectures of Church and Farb, which state that the quotients of the lower central series of the To…

We study the abelianization of Kontsevich's Lie algebra associated with the Lie operad and some related problems. Calculating the abelianization is a long-standing unsolved problem, which is important in at least two different contexts: constructing cohomology classes in $H^k(\mathrm{Out}(F_r);\mathbb Q)$ and related g…

We show that no finite index subgroup of a sufficiently complicated mapping class group or braid group can act faithfully by $C^{1+\mathrm{bv}}$ diffeomorphisms on the circle, which generalizes a result of Farb-Franks, and which parallels a result of Ghys and Burger-Monod concerning differentiable actions of higher ran…

We consider the action of symplectic monodromy on chain-level enhancements of quantum cohomology. First, we construct a family version of $A_\infty$-structure on quantum cohomology (this should morally correspond to Hochschild cohomology of a "family of Fukaya categories over the circle"). Following Kaledin, we look at…

New parametrization of 3-spheres using Johnson subgroups.

The Johnson kernel is the subgroup of the mapping class group of a surface generated by Dehn twists along bounding simple closed curves, and has the second Johnson homomorphism as a free abelian quotient. In terms of the representation theory of the symplectic group, we give a complete description of cup products of tw…

Study 2-loop part of Johnson cokernel using trace map.

We consider two mod-p central series of the free group given by Stallings and Zassenhaus. Applying these series to definitions of Dennis Johnson's filtration of the mapping class group we obtain two mod-p Johnson filtrations. Further, we adapt the definition of the Johnson homomorphisms to obtain mod-p Johnson homomorp…

The Johnson filtration of the mapping class group of a compact, oriented surface is the descending series consisting of the kernels of the actions on the nilpotent quotients of the fundamental group of the surface. Each term of the Johnson filtration admits a Johnson homomorphism, whose kernel is the next term in the f…

We give a new proof of a celebrated theorem of Dennis Johnson that asserts that the kernel of the Johnson homomorphism on the Torelli subgroup of the mapping class group is generated by separating twists. In fact, we prove a more general result that also applies to "subsurface Torelli groups". Using this, we extend Joh…

We propose an approach to study non-Abelian Iwasawa theory, using the idea of Johnson homomorphisms in low dimensional topology. We introduce arithmetic analogues of Johnson homomorphisms/maps, called the p-Johnson homomorphisms/maps, associated to the Zassenhaus filtration of a pro-p Galois group over a Z_p-extension …

The paper finds torsion in Johnson homomorphisms' cokernels for large genus surfaces.

This paper has two main goals. First, we give a complete, explicit, and computable solution to the problem of when two simple closed curves on a surface are equivalent under the Johnson kernel. Second, we show that the Johnson filtration and the Johnson homomorphism can be defined intrinsically on subsurfaces and prove…

We prove the existence of homeomorphisms of a closed, orientable surface of genus 3 or greater that do not extend to any handlebody bounded by the surface. We show that such homeomorphisms exist arbitrarily deep in the Johnson filtration of the mapping class group. The second and third terms of the Johnson filtration a…

Let $Σ$ be a compact connected oriented surface with one boundary component and let $\mathcal{M}$ denote the mapping class group of $Σ$. By considering the action of $\mathcal{M}$ on the fundamental group of $Σ$ it is possible to define different filtrations of $\mathcal{M}$ together with some homomorphisms on each ter…

The paper develops a new theory of double Johnson filtrations for mapping class groups.

Lagrangian traces help understand Johnson filtration in handlebody groups.

Paper proves non-triviality of Johnson kernel torsion subgroup.

We survey a geometric approach to the Johnson homomorphisms using the Goldman-Turaev Lie bialgebra.

Johnson kernel generated by specific Dehn twists on surfaces.

Extended logarithm for solvable elements in mapping class groups.

Study on cohomological dimension of surface terms, answering Farb's question.

We study the structure of the symplectic invariant part $\mathfrak{h}_{g,1}^{\mathrm{Sp}}$ of the Lie algebra $\mathfrak{h}_{g,1}$ consisting of symplectic derivations of the free Lie algebra generated by the rational homology group of a closed oriented surface $Σ_{g}$ of genus $g$. First we describe the orthogonal dir…

This paper surveys work on generalized Johnson homomorphisms and tools for studying them. The goal is to unite several related threads in the literature and to clarify existing results and relationships among them using Hodge theory. We survey the work of Alekseev, Kawazumi, Kuno and Naef on the Goldman--Turaev Lie bia…

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 then extended Johnson's homomorphism to a homomorphism from the entire mapping cla…

Study subgroup of mapping class group related to handlebody, answering a question about Johnson homomorphism.

Study on Casson invariant and its variants in mapping class groups.

Answering a question of Farb-Leininger-Margalit, we give explicit lower bounds for the dilatations of pseudo-Anosov mapping classes lying in the kth term of the Johnson filtration of the mapping class group.

The paper extends Johnson's result on Torelli group homology.

We define new bordism and spin bordism invariants of certain subgroups of the mapping class group of a surface. In particular, they are invariants of the Johnson filtration of the mapping class group. The second and third terms of this filtration are the well-known Torelli group and Johnson subgroup, respectively. We i…

Two references added and the introduction slightly expanded. We show that the tree-level part of a recent theory of invariants of 3-manifolds (due, independently, to Goussarov and Habiro) is essentially given by classical algebraic topology in terms of the Johnson homomorphism and Massey products, for arbitrary 3-manif…

Let M denote the mapping class group of S, a compact connected oriented surface with one boundary component. The action of M on the nilpotent quotients of the fundamental group of S allows to define the so-called Johnson filtration and the Johnson homomorphisms. J. Levine introduced a new filtration of M, called the La…

For k >= 1, let Torelli_g^1(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_k >= 0 such that Torelli_g^1(k) is generated by elements which are supported on subsurfaces whose genus is at most G_k. We a…

New group-theoretic Johnson classes applied to curves with torsion Ceresa classes.

We examine the Johnson filtration of the (outer) automorphism group of a finitely generated group. In the case of a free group, we find a surprising result: the first Betti number of the second subgroup in the Johnson filtration is finite. Moreover, the corresponding Alexander invariant is a non-trivial module over the…

A fast binary embedding method preserves Euclidean distances in high-dimensional data.

We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the mapping class group and the automorphism group of a free group are finitely generated in a stable range. This was originally proved for the commutator subgroup by Ershov-He.

Non-trivial action on surface configuration homology.

We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the mapping class group and the automorphism group of a free group is finitely generated in a linear stable range. This was originally proved for the second terms by Ershov and He.

We prove that every trivalent marked bordered fatgraph comes equipped with a canonical generalized Magnus expansion in the sense of Kawazumi. This Magnus expansion is used to give canonical lifts of the higher Johnson homomorphisms $τ_m$, for $m\geq 1$, to the Torelli groupoid, and we provide a recursive combinatorial …

Unified analysis simplifies Johnson-Lindenstrauss lemma for data reduction.