BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Makoto Sakuma appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We introduce the concept of a homotopy motion of a subset in a manifold, and give a systematic study of homotopy motions of surfaces in closed orientable 3-manifolds. This notion arises from various natural problems in 3-manifold theory such as domination of manifold pairs, homotopical behavior of simple loops on a Heegaard surface, and monodromies of virtual branched covering surface bundles associated to a Heegaard splitting.
We study invariant Seifert surfaces for strongly invertible knots, and prove that the gap between the equivariant genus (the minimum of the genera of invariant Seifert surfaces) of a strongly invertible knot and the (usual) genus of the underlying knot can be arbitrary large. This forms a sharp contrast with Edmonds' theorem that every periodic knot admits an invariant minimal genus Seifert surface. We also prove variants of Edmonds' theorem, which are useful in studying invariant Seifert surfaces for strongly invertible knots.
This is a survey of the impact of Thurston's work on knot theory, laying emphasis on the two characteristic features, rigidity and flexibility, of 3-dimensional hyperbolic structures. We also lay emphasis on the role of the classical invariants, the Alexander polynomial and the homology of finite branched/unbranched coverings.
We give a full proof to Agol's announcement on the classification of non-free Kleinian groups generated by two parabolic transformations.
We give an alternative proof to Agol's classification of parabolic generating pairs of non-free Kleinian groups generated by two parabolic transformations. As an application, we give a complete characterisation of epimorphims between $2$-bridge knot groups and a complete characterisation of degree one maps between the exteriors of hyperbolic $2$-bridge links.
We construct prime amphicheiral knots that have free period 2. This settles an open question raised by the second named author, who proved that amphicheiral hyperbolic knots cannot admit free periods and that prime amphicheiral knots cannot admit free periods of order >2.
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$.
By using non-positively curved cubings of prime alternating link exteriors, we prove that certain ideal triangulations of their complements, derived from reduced alternating diagrams, are non-degenerate, in the sense that none of the edges is homotopic relative its endpoints to a peripheral arc. This guarantees that the hyperbolicity equations for those triangulations for hyperbolic alternating links have solutions corresponding to the complete hyperbolic structures. Since the ideal triangulations considered in this paper are often used in the study of the volume conjecture, this result has a potential application to the volume conjecture.
Let $Σ$ be a complete finite-area orientable hyperbolic surface with one cusp, and let $\mathcal{R}$ be the space of complete geodesic rays in $Σ$ emanating from the puncture. Then there is a natural action of the mapping class group of $Σ$ on $\mathcal{R}$. We show that this action is "almost everywhere" wandering.
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.
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.
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.
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.
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.
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.
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.
Let $M=H_1\cup_S H_2$ be a Heegaard splitting of a closed orientable 3-manifold $M$ (or a bridge decomposition of a link exterior). Consider the subgroup $\mathrm{MCG}^0(H_j)$ of the mapping class group of $H_j$ consisting of mapping classes represented by auto-homeomorphisms of $H_j$ homotopic to the identity, and let $G_j$ be the subgroup of the automorphism group of the curve complex $\mathcal{CC}(S)$ obtained as the image of $\mathrm{MCG}^0(H_j)$. Then the group $G=<G_1, G_2>$ generated by $G_1$ and $G_2$ preserve the homotopy class in $M$ of simple loops on $S$. In this paper, we study the structure of the group $G$ and the problem to what extent the converse to this observation holds.
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.
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.
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.
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.
We give a complete characterization of those essential simple loops on 2-bridge spheres of 2-bridge links which are null-homotopic in the link complements. By using this result, we describe all upper-meridian-pair-preserving epimorphisms between 2-bridge link groups.
The purpose of this note is to announce complete answers to the following questions. (1) For an essential simple loop on a 2-bridge sphere in a 2-bridge link complement, when is it null-homotopic in the link complement? (2) For two distinct essential simple loops on a 2-bridge sphere in a 2-bridge link complement, when are they homotopic in the link complement? We also announce applications of these results to character varieties and McShane's identity.
To each once-punctured-torus bundle, $T_ϕ$, over the circle with pseudo-Anosov monodromy $ϕ$, there are associated two tessellations of the complex plane: one, $Δ(ϕ)$, is (the projection from $\infty$ of) the triangulation of a horosphere at $\infty$ induced by the canonical decomposition into ideal tetrahedra, and the other, $CW(ϕ)$, is a fractal tessellation given by the Cannon-Thurston map of the fiber group switching back and forth between gray and white each time it passes through $\infty$. In this paper, we study the relation between $Δ(ϕ)$ and $CW(ϕ)$.