Related papers: Generating the Johnson filtration

This paper gives an exposition of relative weight filtrations on completions of mapping class groups associated to a stable degeneration of marked genus g curves. These relative weight filtrations have been constructed using Galois theory…

Let $G$ be a finite group and let $k$ be a field whose characteristic $p$ divides the order of $G$. Freyd's generating hypothesis for the stable module category of $G$ is the statement that a map between finite-dimensional $kG$-modules in…

Let T_n be the kernel of the natural map from Out(F_n) to GL(n,Z). We use combinatorial Morse theory to prove that T_n has an Eilenberg-MacLane space which is (2n-4)-dimensional and that H_{2n-4}(T_n,Z) is not finitely generated (n at least…

Let $IA_n$ denote the group of $IA$-automorphisms of a free group of rank $n$, and let $\mathcal I_n^b$ denote the Torelli subgroup of the mapping class group of an orientable surface of genus $n$ with $b$ boundary components, $b=0,1$. In…

The so-called Johnson homomorphisms $(\tau_k)_{k \geq 1}$ embed the graded space associated to the Johnson filtration of a surface with one boundary component into the Lie ring of positive symplectic derivations $D(H)$. In this paper, we…

A filtration of the morphisms of the $k$-linearization $k \mathbf{FS}$ of the category $\mathbf{FS}$ of finite sets and surjections is constructed using a natural $k \mathbf{FI}^{op}$-module structure induced by restriction, where…

Let $N_g$ be a closed, connected, nonorientable surface of genus $g$. We prove that for $g \ge 13$, the mapping class group $\text{Mod}(N_g)$ can be generated by exactly two elements. This improves the previously known bound of $g \ge 19$.

The mapping class group ${\Gamma}_g^ 1$ of a closed orientable surface of genus $g \geq 1$ with one marked point can be identified, by the Nielsen action, with a subgroup of the group of orientation preserving homeomorphims of the circle.…

Given a finite set of $r$ points in a closed surface of genus $g$, we consider the torsion elements in the mapping class group of the surface leaving the finite set invariant. We show that the torsion elements generate the mapping class…

We give a new proof of the theorem of Birman-Powell that the Torelli subgroup of the mapping class group of a closed orientable surface of genus at least 3 is generated by simple homeomorphisms known as bounding pair maps. The key…

In the early 1980's, Johnson defined a homomorphism $\mathcal{I}_{g}^1\to\bigwedge^3 H_1(S_{g},\mathbb{Z})$, where $\mathcal{I}_{g}^1$ is the Torelli group of a closed, connected and oriented surface of genus $g$ with a boundary component…

We provide some language for algebraic study of the mapping class groups for surfaces with non-connected boundary. As applications, we generalize our previous results on Dehn twists to any compact connected oriented surfaces with non-empty…

Let $p$ be a prime. We solve two problems in the mod $p$ representation theory of $\mathrm{GL}_2(\mathbb{F}_{q})$ where $q=p^f$. We first prove a Clebsch-Gordan decomposition theorem for the tensor product of two mod $p$ representations of…

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…

We prove that, for a $p$-divisible group with additional structures over a complete valuation ring of rank one $O_K$ with mixed characteristic $(0,p)$, if the Newton polygon and the Hodge polygon of its special fiber possess a non trivial…

A palindrome in a free group F_n is a word on some fixed free basis of F_n that reads the same backwards as forwards. The palindromic automorphism group \Pi A_n of the free group F_n consists of automorphisms that take each member of some…

Let X be the variety of Borel subgroups of a simple and strongly inner linear algebraic group G over a field k. We prove that the torsion part of the second quotient of Grothendieck's gamma-filtration on X is a cyclic group of order the…

We call a family G of subsets of [n] a k-generator of (\mathbb{P}[n]) if every (x \subset [n]) can be expressed as a union of at most k disjoint sets in (\mathcal{G}). Frein, Leveque and Sebo conjectured that for any (n \geq k), such a…

In [CS01, Page 109] Grothendieck sketches the construction of a complex J_*(X) or commutative pro-algebraic groups, associated to a smooth variety X, and for which each J_i(X) is a product of local factors called the local generalized…

Let $\Sigma_g \to E \to \Sigma_h$ be a surface bundle over a surface with monodromy representation $\rho: \pi_1 \Sigma_h \to \operatorname{Mod}(\Sigma_g)$ contained in the Torelli group $\mathcal{I}_g$. In this paper we express the cup…