Related papers: Two mod-p Johnson filtrations
We filter the equivariant Eilenberg Maclane spectrum $H\underline{\mathbb{F}}_p$ using the mod $p$ symmetric powers of the equivariant sphere spectrum, $\mathrm{Sp}_{\mathbb{Z}/p}^{\infty}(\Sigma^{\infty G}S^0)$. When $G$ is a $p$-group, we…
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 give completely combinatorial proofs of the main results of [3] using polygons. Namely, we prove that the mapping class group of a surface with boundary acts faithfully on a finitely-generated linear category. Along the way we prove some…
We prove that the mapping class groups of the genus 3 Heegaard splittings of the connected sum of two lens spaces are finitely generated, and the corresponding reducing sphere complexes are all connected.
Formulas describing all 2-element and 3-element factorizations of arbitrary element of the groups SU(2) and SO(3,R) are derived. Six 2-element factorizations, $ (U_{2}U_{3}U'_{2}), (U_{3}U_{2}U'_{3}), (U_{3}U_{1}U'_{3}), (U_{1}U_{3}U'_{1}),…
J.H.C. Whitehead's second free-group algorithm determines whether or not two given elements of a free group lie in the same orbit of the automorphism group of the free group. The algorithm involves certain connected graphs, and Whitehead…
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 prove that in positive characteristic a module with good filtration for a group of type E6 restricts to a module with good filtration for a subgroup of type F4. (Recall that a filtration of a module for a semisimple algebraic group is…
The holomorph of a free group $F_n$ is the semidirect product $F_n \rtimes Aut(F_n)$. Using the methods of Hatcher and Vogtmann, we derive stability results and calculate the mod-$p$ homology of these holomorphs for odd primes $p$ in…
It is known that if any prime power branched cyclic cover of a knot in the 3-sphere is a homology sphere, then the knot has vanishing Casson-Gordon invariants. We construct infinitely many examples of (topologically) non-slice knots in the…
Let K be the subgroup of the extended mapping class group, Mod(S), generated by Dehn twists about separating curves. Assuming that S is a closed, orientable surface of genus at least 4, we confirm a conjecture of Farb that Comm(K), Aut(K)…
In this paper, we develop a method for constructing left-orders on the fundamental groups of rational homology 3-spheres. We begin by constructing the holonomy extension locus of a rational homology solid torus $M$, which encodes the…
As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $\rho$ of the arithmetic fundamental group…
We prove that the $k$th term of the Johnson filtration of a closed, orientable surface of genus $g \geq 2$ has cohomological dimension $2g - 3$ for all $k \geq 3$ and $g \geq 2$. This answers a question of Farb and Bestvina--Bux--Margalit.
The slope filtration theorem gives a partial analogue of the eigenspace decomposition of a linear transformation, for a Frobenius-semilinear endomorphism of a finite free module over the Robba ring (the ring of germs of rigid analytic…
The notions Hodge-Newton decomposition and Hodge-Newton filtration for F-crystals are due to Katz and generalize Messing's result on the existence of the local-\'etale filtration for p-divisible groups. Recently, some of Katz's classical…
We prove that the coherent cohomology of a proper morphism of noetherian schemes can be made arbitrarily p-divisible by passage to proper covers (for a fixed prime p). Under some extra conditions, we also show that p-torsion can be killed…
Signature transforms have recently been extended to data indexed by two and more parameters. With free Lyndon generators, ideas from $\mathbf{B}_\infty$-algebras and a novel two-parameter Hoffman exponential, we provide three classes of…
This paper concerns rigidity of the mapping class groups. We show that any homomorphism $\phi:{\rm Mod}_g\to {\rm Mod}_h$ between mapping class groups of closed orientable surfaces with distinct genera $g>h$ is trivial if $g\geq 3$ and has…
We show that open 3-manifolds that have a locally finite decomposition along 2-spheres are characterized by the existence of a Riemannian metric with respect to which the second homotopy group of the manifold is generated by small elements.