arXiv subjects

Nathan Broaddus

Publications and source records attributed to Nathan Broaddus.

8 recordsLinked to original sources

arXiv2022

The mapping class group of connect sums of $S^2 \times S^1$

Let $M_n$ be the connect sum of $n$ copies of $S^2 \times S^1$. A classical theorem of Laudenbach says that the mapping class group $\text{Mod}(M_n)$ is an extension of $\text{Out}(F_n)$ by a group $(\mathbb{Z}/2)^n$ generated by sphere twists. We prove that this extension splits, so $\text{Mod}(M_n)$ is the semidirect product of $\text{Out}(F_n)$ by $(\mathbb{Z}/2)^n$, which $\text{Out}(F_n)$ acts on via the dual of the natural surjection $\text{Out}(F_n) \rightarrow \text{GL}_n(\mathbb{Z}/2)$. Our splitting takes $\text{Out}(F_n)$ to the subgroup of $\text{Mod}(M_n)$ consisting of mapping classes that fix the homotopy class of a trivialization of the tangent bundle of $M_n$. Our techniques also simplify various aspects of Laudenbach's original proof, including the identification of the twist subgroup with $(\mathbb{Z}/2)^n$.

math.GT↗

arXiv2022

The high-dimensional cohomology of the moduli space of curves with level structures II: punctures and boundary

We give two proofs that appropriately defined congruence subgroups of the mapping class group of a surface with punctures/boundary have enormous amounts of rational cohomology in their virtual cohomological dimension. In particular we give bounds that are super-exponential in each of three variables: number of punctures, number of boundary components, and genus, generalizing work of Fullarton-Putman. Along the way, we give a simplified account of a theorem of Harer explaining how to relate the homotopy type of the curve complex of a multiply-punctured surface to the curve complex of a once-punctured surface through a process that can be viewed as an analogue of a Birman exact sequence for curve complexes. As an application, we prove upper and lower bounds on the coherent cohomological dimension of the moduli space of curves with marked points. For $g \leq 5$, we compute this coherent cohomological dimension for any number of marked points. In contrast to our bounds on cohomology, when the surface has $n \geq1$ marked points, these bounds turn out to be independent of $n$, and depend only on the genus.

math.GT↗

arXiv2020

Irreducible Sp-representations and subgroup distortion in the mapping class group

We prove that various subgroups of the mapping class group $Mod(Σ)$ of a surface $Σ$ are at least exponentially distorted. Examples include the Torelli group (answering a question of Hamenstadt), the "point-pushing" and surface braid subgroups, and the Lagrangian subgroup. Our techniques include a method to compute lower bounds on distortion via representation theory and an extension of Johnson theory to arbitrary subgroups of $H_1(Σ;\mathbb{Z})$.

math.GT↗

arXiv2014

Finite rigid sets and homologically non-trivial spheres in the curve complex of a surface

Aramayona and Leininger have provided a "finite rigid subset" $\mathfrak{X}(Σ)$ of the curve complex $\mathscr{C}(Σ)$ of a surface $Σ= Σ^n_g$, characterized by the fact that any simplicial injection $\mathfrak{X}(Σ) \to \mathscr{C}(Σ)$ is induced by a unique element of the mapping class group $\mathrm{Mod}(Σ)$. In this paper we prove that, in the case of the sphere with $n\geq 5$ marked points, the reduced homology class of the finite rigid set of Aramayona and Leininger is a $\mathrm{Mod}(Σ)$-module generator for the reduced homology of the curve complex $\mathscr{C}(Σ)$, answering in the affirmative a question posed by Aramayona and Leininger. For the surface $Σ= Σ_g^n$ with $g\geq 3$ and $n\in \{0,1\}$ we find that the finite rigid set $\mathfrak{X}(Σ)$ of Aramayona and Leininger contains a proper subcomplex $X(Σ)$ whose reduced homology class is a $\mathrm{Mod}(Σ)$-module generator for the reduced homology of $\mathscr{C}(Σ)$ but which is not itself rigid.

math.GT↗

arXiv2011

Homology of the curve complex and the Steinberg module of the mapping class group

By the work of Harer, the reduced homology of the complex of curves is a fundamental cohomological object associated to all torsion free finite index subgroups of the mapping class group. We call this homology group the Steinberg module of the mapping class group. It was previously known that the curve complex has the homotopy type of a bouquet of spheres. Here, we give the first explicit homologically nontrivial sphere in the curve complex and show that under the action of the mapping class group, the orbit of this homology class generates the reduced homology of the curve complex.

math.GT↗

arXiv2007

The Casson invariant and the word metric on the Torelli group

We bound the value of the Casson invariant of any integral homology 3-sphere $M$ by a constant times the distance-squared to the identity, measured in any word metric on the Torelli group $\T$, of the element of $\T$ associated to any Heegaard splitting of $M$. We construct examples which show this bound is asymptotically sharp.

math.GT↗

arXiv2007

Calculating the image of the second Johnson-Morita representation

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 class group to ${1/2} \wedge^3 H \semi \sp(H)$. This Johnson-Morita homomorphism is not surjective, but its image is finite index in ${1/2} \wedge^3 H \semi \sp(H)$. Here we give a description of the exact image of Morita's homomorphism. Further, we compute the image of the handlebody subgroup of the mapping class group under the same map.

math.GT↗

arXiv2005

Noncyclic covers of knot complements

Hempel has shown that the fundamental groups of knot complements are residually finite. This implies that every nontrivial knot must have a finite-sheeted, noncyclic cover. We give an explicit bound, $Φ(c)$, such that if $K$ is a nontrivial knot in the three-sphere with a diagram with $c$ crossings and a particularly simple JSJ decomposition then the complement of $K$ has a finite-sheeted, noncyclic cover with at most $Φ(c)$ sheets.

math.GT↗