arXiv subjects

Heejoung Kim

Publications and source records attributed to Heejoung Kim.

4 recordsLinked to original sources

arXiv2023

Surface Houghton groups

For every $n\ge 2$, the {\em surface Houghton group} $\mathcal B_n$ is defined as the asymptotically rigid mapping class group of a surface with exactly $n$ ends, all of them non-planar. The groups $\mathcal B_n$ are analogous to, and in fact contain, the braided Houghton groups. These groups also arise naturally in topology: every monodromy homeomorphisms of a fibered component of a depth-1 foliation of closed 3-manifold is conjugate into some $\mathcal B_n$. As countable mapping class groups of infinite type surfaces, the groups $\mathcal B_n$ lie somewhere between classical mapping class groups and big mapping class groups. We initiate the study of surface Houghton groups proving, among other things, that $\mathcal B_n$ is of type $F_{n-1}$, but not of type $FP_n$, analogous to the braided Houghton groups.

math.GT↗

arXiv2022

End-periodic homeomorphisms and volumes of mapping tori

Given an irreducible, end-periodic homeomorphism f of a surface S with finitely many ends, all accumulated by genus, the mapping torus is the interior of a compact, irreducible, atoroidal 3-manifold with incompressible boundary. Our main result is an upper bound on the infimal hyperbolic volume of the compactified mapping torus in terms of the translation length of f on the pants graph of S. This builds on work of Brock and Agol in the finite-type setting. We also construct a broad class of examples of irreducible, end-periodic homeomorphisms and use them to show that our bound is asymptotically sharp.

math.GT↗

arXiv2019

Algorithms detecting stability and Morseness for finitely generated groups

The notions of stable and Morse subgroups of finitely generated groups generalize the concept of a quasiconvex subgroup of a word-hyperbolic group. For a word-hyperbolic group $G$, Kapovich provided a partial algorithm which, on input a finite set $S$ of $G$, halts if $S$ generates a quasiconvex subgroup of $G$ and runs forever otherwise. In this paper, we give various detection and decidability algorithms for stability and Morseness of a finitely generated subgroup of mapping class groups, right-angled Artin groups, toral relatively hyperbolic groups, and finitely generated groups discriminated by a locally quasiconvex torsion-free hyperbolic group (for example, ordinary limit groups).

math.GR↗

arXiv2017

Stable subgroups and Morse subgroups in mapping class groups

For a finitely generated group, there are two recent generalizations of the notion of a quasiconvex subgroup of a word-hyperbolic group, namely a stable subgroup and a Morse or strongly quasiconvex subgroup. Durham and Taylor defined stability and proved stability is equivalent to convex cocompactness in mapping class groups. Another natural generalization of quasiconvexity is given by the notion of a Morse or strongly quasiconvex subgroup of a finitely generated group, studied recently by Tran and Genevois. In general, a subgroup is stable if and only if the subgroup is Morse and hyperbolic. In this paper, we prove that two properties of being Morse and stable coincide for a subgroup of infinite index in the mapping class group of an oriented, connected, finite type surface with negative Euler characteristic.

math.GT↗