Searcharxiv⌕ Search

arXiv subjects

Donghi Lee

Publications and source records attributed to Donghi Lee.

At least 19 recordsLinked to original sources
arXiv2023

A recipe for constructing non-Hopfian relatively hyperbolic groups with Hopfian peripheral subgroups

Very recently, Kim and Lee presented an example of a non-Hopfian relatively hyperbolic group with a Hopfian peripheral subgroup, demonstrating a counterexample to Osin's well-known question (Problem 5.5). In this paper, we provide a general construction method using the so-called image extension theorem to generate non-Hopfian relatively hyperbolic groups with Hopfian peripheral subgroups. Additionally, we provide two specific examples using this construction method.

math.GR↗
arXiv2019

Non-residually finite groups hyperbolic relative to residually finite subgroups

Let $m$ and $k$ be integers such that $|m|, \, |k| >1$ and $\gcd (m,k)=1$. We show that all Baumslag-Solitar groups $BS(m,mk)$ are non-residually finite groups hyperbolic relative to residually finite subgroups. By a result of Osin (2007), this implies that there exists a non-residually finite hyperbolic group, thus solving a long-standing open problem of Gromov (1987). We also show that all $BS(m, mk)$ are non-Hopfian groups hyperbolic relative to Hopfian subgroups.

math.GR↗
arXiv2016

A family of two generator non-Hopfian groups

We construct $2$-generator non-Hopfian groups $G_m, m=3, 4, 5, \dots$, where each $G_m$ has a specific presentation $G_m=\langle a, b \, | \, u_{r_{m,0}}=u_{r_{m,1}}=u_{r_{m,2}}= \cdots =1 \rangle$ which satisfies small cancellation conditions $C(4)$ and $T(4)$. Here, $u_{r_{m,i}}$ is the single relator of the upper presentation of the $2$-bridge link group of slope $r_{m,i}$, where $r_{m,0}=[m+1,m,m]$ and $r_{m,i}=[m+1,m-1,(i-1)\langle m \rangle,m+1,m]$ in continued fraction expansion for every integer $i \ge 1$.

math.GR↗
arXiv2015

Parabolic generating pairs of genus-one 2-bridge knot groups

We show that any parabolic generating pair of a genus-one hyperbolic 2-bridge knot group is equivalent to the upper or lower meridian pair. As an application, we obtain a complete classification of the epimorphisms from 2-bridge knot groups to genus-one hyperbolic 2-bridge knot groups.

math.GR↗
arXiv2015

Simple loops on 2-bridge spheres in Heckoid orbifolds for the trivial knot

In this paper, we give a necessary and sufficient condition for an essential simple loop on a $2$-bridge sphere in an even Heckoid orbifold for the trivial knot to be null-homotopic, peripheral or torsion in the orbifold. We also give a necessary and sufficient condition for two essential simple loops on a $2$-bridge sphere in an even Heckoid orbifold for the trivial knot to be homotopic in the orbifold.

math.GR↗
arXiv2014

Homotopically equivalent simple loops on 2-bridge spheres in Heckoid orbifolds for 2-bridge links (I)

In this paper and its sequel, we give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be homotopic in the orbifold. We also give a necessary and sufficient condition for an essential simple loop on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be peripheral or torsion in the orbifold. This paper treats the case when the 2-bridge link is a $(2,p)$-torus link, and its sequel will treat the remaining cases.

math.GR↗
arXiv2014

Homotopically equivalent simple loops on 2-bridge spheres in Heckoid orbifolds for 2-bridge links (II)

In this paper and its prequel, we give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be homotopic in the orbifold. We also give a necessary and sufficient condition for an essential simple loop on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be peripheral or torsion in the orbifold. The prequel treated the case when the 2-bridge link is a $(2,p)$-torus link, and this paper treats the remaining cases.

math.GR↗
arXiv2013

Homotopically equivalent simple loops on 2-bridge spheres in 2-bridge link complements (III)

This is the last of a series of papers which give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in a 2-bridge link complement to be homotopic in the link complement. The first paper of the series treated the case of the 2-bridge torus links, and the second paper treated the case of 2-bridge links of slope $n/(2n+1)$ and $(n+1)/(3n+2)$, where $n \ge 2$ is an arbitrary integer. In this paper, we first treat the case of 2-bridge links of slope $n/(mn+1)$ and $(n+1)/((m+1)n+m)$, where $m \ge 3$ is an arbitrary integer, and then treat the remaining cases by induction.

math.GR↗
arXiv2013

Homotopically equivalent simple loops on 2-bridge spheres in 2-bridge link complements (I)

In this paper and its two sequels, we give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in a 2-bridge link complement to be homotopic in the link complement. This paper treats the case when the 2-bridge link is a $(2,p)$-torus link, where more cases of homotopy arise, and its sequels will treat the remaining cases.

math.GR↗
arXiv2013

Homotopically equivalent simple loops on 2-bridge spheres in 2-bridge link complements (II)

This is the second of a series of papers which give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in a 2-bridge link complement to be homotopic in the link complement. The first paper of the series treated the case of the 2-bridge torus links. In this paper, we treat the case of 2-bridge links of slope $n/(2n+1)$ and $(n+1)/(3n+2)$, where $n \ge 2$ is an arbitrary integer.

math.GR↗
arXiv2012

Epimorphisms from 2-bridge link groups onto Heckoid groups (I)

Riley "defined" the Heckoid groups for 2-bridge links as Kleinian groups, with nontrivial torsion, generated by two parabolic transformations, and he constructed an infinite family of epimorphisms from 2-bridge link groups onto Heckoid groups. In this paper, we make Riley's definition explicit, and give a systematic construction of epimorphisms from 2-bridge link groups onto Heckoid groups, generalizing Riley's construction.

math.GT↗
arXiv2012

Epimorphisms from 2-bridge link groups onto Heckoid groups (II)

In Part I of this series of papers, we made Riley's definition of Heckoid groups for 2-bridge links explicit, and gave a systematic construction of epimorphisms from 2-bridge link groups onto Heckoid groups, generalizing Riley's construction. In this paper, we give a complete characterization of upper-meridian-pair-preserving epimorphisms from 2-bridge link groups onto even Heckoid groups, by proving that they are exactly the epimorphisms obtained by the systematic construction.

math.GR↗
arXiv2012

Simple loops on 2-bridge spheres in Heckoid orbifolds for 2-bridge links

Following Riley's work, for each 2-bridge link $K(r)$ of slope $r\in\QQ$ and an integer or a half-integer $n$ greater than 1, we introduce the {\it Heckoid orbifold $\orbs(r;n)$} and the {\it Heckoid group $\Hecke(r;n)=π_1(\orbs(r;n))$ of index $n$ for $K(r)$}. When $n$ is an integer, $\orbs(r;n)$ is called an {\it even} Heckoid orbifold; in this case, the underlying space is the exterior of $K(r)$, and the singular set is the lower tunnel of $K(r)$ with index $n$. The main purpose of this note is to announce answers to the following questions for even Heckoid orbifolds. (1) For an essential simple loop on a 4-punctured sphere $\PConway$ in $\orbs(r;n)$ determined by the 2-bridge sphere of $K(r)$, when is it null-homotopic in $\orbs(r;n)$? (2) For two distinct essential simple loops on $\PConway$, when are they homotopic in $\orbs(r;n)$? We also announce applications of these results to character varieties, McShane's identity, and epimorphisms from 2-bridge link groups onto Heckoid groups.

math.GT↗
arXiv2012

A new proof for small cancellation conditions of 2-bridge link groups

In this paper, we give a simple proof for the small cancellation conditions of the upper presentations of 2-bridge link groups, which holds the key to the proof of the main result of [1]. We also give an alternative proof of the main result of [1] using transfinite induction.

math.GR↗
arXiv2011

A variation of McShane's identity for 2-bridge links

We give a variation of McShane's identity, which describes the cusp shape of a hyperbolic 2-bridge link in terms of the complex translation lengths of simple loops on the bridge sphere. We also explicitly determine the set of end invariants of $SL(2,\mathbb{C})$-characters of the once-punctured torus corresponding to the holonomy representations of the complete hyperbolic structures of 2-bridge link complements.

math.GT↗