Source author record

Makoto Sakuma

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

24works
2topics
4close collaborators

Published work

24 publications

preprint2022arXiv

Homotopy motions of surfaces in 33-manifolds

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.

preprint2022arXiv

Invariant Seifert surfaces for strongly invertible knots

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.

preprint2016arXiv

A family of two generator non-Hopfian groups

We construct 22-generator non-Hopfian groups Gm,m=3,4,5,…G_m, m=3, 4, 5, \dots, where each GmG_m has a specific presentation Gm=⟨a,b ∣ urm,0=urm,1=urm,2=⋯=1⟩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)C(4) and T(4)T(4). Here, urm,iu_{r_{m,i}} is the single relator of the upper presentation of the 22-bridge link group of slope rm,ir_{m,i}, where rm,0=[m+1,m,m]r_{m,0}=[m+1,m,m] and rm,i=[m+1,m−1,(i−1)⟨m⟩,m+1,m]r_{m,i}=[m+1,m-1,(i-1)\langle m \rangle,m+1,m] in continued fraction expansion for every integer i≥1i \ge 1.

preprint2016arXiv

An application of non-positively curved cubings of alternating links

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.

preprint2015arXiv

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 22-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 22-bridge sphere in an even Heckoid orbifold for the trivial knot to be homotopic in the orbifold.

preprint2014arXiv

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)(2,p)-torus link, and its sequel will treat the remaining cases.

preprint2014arXiv

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)(2,p)-torus link, and this paper treats the remaining cases.

preprint2013arXiv

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)n/(2n+1) and (n+1)/(3n+2)(n+1)/(3n+2), where n≥2n \ge 2 is an arbitrary integer.

preprint2013arXiv

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)n/(2n+1) and (n+1)/(3n+2)(n+1)/(3n+2), where n≥2n \ge 2 is an arbitrary integer. In this paper, we first treat the case of 2-bridge links of slope n/(mn+1)n/(mn+1) and (n+1)/((m+1)n+m)(n+1)/((m+1)n+m), where m≥3m \ge 3 is an arbitrary integer, and then treat the remaining cases by induction.

preprint2013arXiv

Subgroups of mapping class groups related to Heegaard splittings and bridge decompositions

Let M=H1∪SH2M=H_1\cup_S H_2 be a Heegaard splitting of a closed orientable 3-manifold MM (or a bridge decomposition of a link exterior). Consider the subgroup MCG0(Hj)\mathrm{MCG}^0(H_j) of the mapping class group of HjH_j consisting of mapping classes represented by auto-homeomorphisms of HjH_j homotopic to the identity, and let GjG_j be the subgroup of the automorphism group of the curve complex CC(S)\mathcal{CC}(S) obtained as the image of MCG0(Hj)\mathrm{MCG}^0(H_j). Then the group G=<G1,G2>G=<G_1, G_2> generated by G1G_1 and G2G_2 preserve the homotopy class in MM of simple loops on SS. In this paper, we study the structure of the group GG and the problem to what extent the converse to this observation holds.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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

Following Riley's work, for each 2-bridge link K(r)K(r) of slope $r\in\QQ$ and an integer or a half-integer nn 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 nn for K(r)K(r)}. When nn 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)K(r), and the singular set is the lower tunnel of K(r)K(r) with index nn. 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)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.

preprint2011arXiv

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,C)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.

preprint2011arXiv

Simple loops on 2-bridge spheres in 2-bridge link complements

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.

preprint2008arXiv

On hyperbolic once-punctured-torus bundles III: Comparing two tessellations of the complex plane

To each once-punctured-torus bundle, Tϕ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(ϕ)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(ϕ)CW(ϕ).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.