BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Sang-hyun Kim contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that $Γ_0(2^n)$ ($n\ge2$) has a Farey sequence $\{e_i\}$ such that $e_i \le 2^{n-1}$ for all $e_i$. The above upper bound is optimal, and there exists a unique $j$ such that $e_j= 2^{n-1} $. For each $e_i$, there exists a unique $a_i$ such that $\{ a_i/e_i\}\cup \{\infty\}$ is the set of ideal vertices of a fundamental domain of $Γ_0(2^n)$ whose side-pairings give a set of independent generators of $Γ_0(2^n)$.
We show that if $G_1$ and $G_2$ are non-solvable groups, then no $C^{1,τ}$ action of $(G_1\times G_2)*\mathbb{Z}$ on $S^1$ is faithful for $τ>0$. As a corollary, if $S$ is an orientable surface of complexity at least three then the critical regularity of an arbitrary finite index subgroup of the mapping class group $\mathrm{Mod}(S)$ with respect to the circle is at most one, thus strengthening a result of the first two authors with Baik.
Let $M$ be the circle or a compact interval, and let $α=k+τ\ge1$ be a real number such that $k=\lfloor α\rfloor$. We write $\mathrm{Diff}_+^α(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives are Hölder continuous with exponent $τ$. If $α\ge1$, we prove that there exists a finitely generated subgroup $G_α\le\mathrm{Diff}_+^α(M)$ with the property that $G_α$ admits no injective homomorphisms into $\mathrm{Diff}_+^β(M)$ for all $β>α$. If $α>1$, we also show the dual result: there exists a finitely generated group $H_α\le\bigcap_{β<α}\mathrm{Diff}_+^β(M)$ with the property that $H_α$ admits no injective homomorphisms into $\mathrm{Diff}_+^α(M)$. We can further require that the same properties are inherited by all finite index subgroups, and also by the commutator subgroups, of $G_α$ and $H_α$. The commutator groups of $G_α$ and of $H_α$ are countable simple groups. As a consequence, whenever $1\leα<β$ we have a continuum of isomorphism types of finitely generated subgroups of $\mathrm{Diff}_+^α(M)$ whose images under arbitrary homomorphisms to $\mathrm{Diff}_+^β(M)$ are abelian. We give some applications to smoothability of codimension one foliations and to homomorphisms between certain continuous groups of diffeomorphisms. For example, we show that if $k\neq 2$ is an integer and if $k<β$ then there is no nontrivial homomorphism $\mathrm{Diff}_+^k(S^1)\to\mathrm{Diff}_+^β(S^1)$.
We study the regularity of exceptional actions of groups by $C^{1,α}$ diffeomorphisms on the circle, i.e. ones which admit exceptional minimal sets, and whose elements have first derivatives that are continuous with concave modulus of continuity $α$. Let $G$ be a finitely generated group admitting a $C^{1,α}$ action $ρ$ with a free orbit on the circle, and such that the logarithms of derivatives of group elements are uniformly bounded at some point of the circle. We prove that if $G$ has spherical growth bounded by $c n^{d-1}$ and if the function $1/α^d$ is integrable near zero, then under some mild technical assumptions on $α$, there is a sequence of exceptional $C^{1,α}$ actions of $G$ which converge to $ρ$ in the $C^1$ topology. As a consequence for a single diffeomorphism, we obtain that if the function $1/α$ is integrable near zero, then there exists a $C^{1,α}$ exceptional diffeomorphism of the circle. This corollary accounts for all previously known moduli of continuity for derivatives of exceptional diffeomorphisms. We also obtain a partial converse to our main result. For finitely generated free abelian groups, the existence of an exceptional action, together with some natural hypotheses on the derivatives of group elements, puts integrability restrictions on the modulus $α$. These results are related to a long-standing question of D. McDuff concerning the length spectrum of exceptional $C^1$ diffeomorphisms of the circle.
Let $q\in\mathbb{C}$, let \[a=\begin{pmatrix} 1&0\\1&1\end{pmatrix},\quad b_q=\begin{pmatrix} 1&q\\0&1\end{pmatrix},\] and let $G_q<\mathrm{SL}_2(\mathbb{C})$ be the group generated by $a$ and $b_q$. In this paper, we study the problem of determining when the group $G_q$ is not free for $|q|<4$ rational. We give a robust computational criterion which allows us to prove that if $q=s/r$ for $|s|\leq 27$ then $G_q$ is non-free, with the possible exception of $s=24$. In this latter case, we prove that the set of denominators $r\in\mathbb{N}$ for which $G_{24/r}$ is non-free has natural density $1$. For a general numerator $s>27$, we prove that the lower density of denominators $r\in \mathbb{N}$ for which $G_{s/r}$ is non-free has a lower bound \[ 1- \left(1-\frac{11}{s}\right) \prod_{n=1}^\infty \left(1-\frac{4}{s^{2^n-1}}\right). \] Finally, we show that for a fixed $s$, there are arbitrarily long sequences of consecutive denominators $r$ such that $G_{s/r}$ is non-free. The proofs of some of the results are computer assisted, and Mathematica code has been provided together with suitable documentation.
For every orientable surface of finite negative Euler characteristic, we find a right-angled Artin group of cohomological dimension two which does not embed into the associated mapping class group. For a right-angled Artin group on a graph $\gam$ to embed into the mapping class group of a surface $S$, we show that the chromatic number of $\gam$ cannot exceed the chromatic number of the clique graph of the curve graph $\mathcal{C}(S)$. Thus, the chromatic number of $\gam$ is a global obstruction to embedding the right-angled Artin group $A(\gam)$ into the mapping class group $\Mod(S)$.
A graph product kernel means the kernel of the natural surjection from a graph product to the corresponding direct product. We prove that a graph product kernel of countable groups is special, and a graph product of finite or cyclic groups is virtually cocompact special in the sense of Haglund and Wise. The proof of this yields conditions for a graph over which the graph product of arbitrary nontrivial groups (or some cyclic groups, or some finite groups) contains a hyperbolic surface group. In particular, the graph product of arbitrary nontrivial groups over a cycle of length at least five, or over its opposite graph, contains a hyperbolic surface group. For the case when the defining graphs have at most seven vertices, we completely characterize right-angled Coxeter groups with hyperbolic surface subgroups.
Gordon and Wilton recently proved that the double D of a free group F amalgamated along a cyclic subgroup C of F contains a surface group if a generator w of C satisfies a certain 3-manifold theoretic condition, called virtually geometricity. Wilton and the author defined the polygonality of w which also guarantees the existence of a surface group in D. In this paper, virtual geometricity is shown to imply polygonality up to descending to a finite-index subgroup F' and applying an automorphism on F'. That the converse does not hold will follow from an example formerly considered by Manning.
A longstanding question of Gromov asks whether every one-ended word-hyperbolic group contains a subgroup isomorphic to the fundamental group of a closed hyperbolic surface. An infinite family of word-hyperbolic groups can be obtained by taking doubles of free groups amalgamated along words that are not proper powers. We define a set of polygonal words in a free group of finite rank, and prove that polygonality of the amalgamating word guarantees that the associated square complex virtually contains a $π_1$-injective closed surface. We provide many concrete examples of classes of polygonal words. For instance, in the case when the rank is 2, we establish polygonality of words without an isolated generator, and also of almost all simple height 1 words, including Baumslag--Solitar relator $a^p (a^q)^b$ for $pq\ne0$.
We study the class N of graphs, the right-angled Artin groups defined on which do not contain surface subgroups. We prove that a presumably smaller class N' is closed under amalgamating along complete subgraphs, and also under adding bisimplicial edges. It follows that chordal graphs and chordal bipartite graphs belong to N'.