BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Yuya Koda 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 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.
A shadowed polyhedron is a simple polyhedron equipped with half integers on regions, called gleams, which represents a compact, oriented, smooth 4-manifold. The polyhedron is embedded in the 4-manifold and it is called a shadow of that manifold. A subpolyhedron of a shadow represents a possibly singular subsurface in the 4-manifold. In this paper, we focus on contractible shadows obtained from the unit disk by attaching annuli along generically immersed closed curves on the disk. In this case, the 4-manifold is always a 4-ball. Milnor fibers of plane curve singularities and complexified real line arrangements can be represented in this way. We give a presentation of the fundamental group of the complement of a subpolyhedron of such a shadow in the 4-ball. The method is very similar to the Wirtinger presentation of links in knot theory.
We prove that if the distance of a bridge decomposition of a link with respect to a Heegaard splitting of a $3$-manifold is at least $6$, then the Goeritz group is a finite group.
For a bridge decomposition of a link in the $3$-sphere, we define the Goeritz group to be the group of isotopy classes of orientation-preserving homeomorphisms of the $3$-sphere that preserve each of the bridge sphere and link setwise. After describing basic properties of this group, we discuss the asymptotic behavior of the minimal pseudo-Anosov entropies. This gives an application to the asymptotic behavior of the minimal entropies for the original Goeritz groups of Heegaard splittings of the $3$-sphere and the real projective space.
We consider the Goeritz groups of the Heegaard splittings induced from twisted book decompositions. We show that there exist Heegaard splittings of distance $2$ that have the infinite-order mapping class groups whereas that are not induced from open book decompositions. Explicit computation of those mapping class groups are given.
In terms of Turaev's shadows, we provide a sufficient condition for a compact, smooth, acyclic 4-manifold with boundary the 3-sphere to be diffeomorphic to the standard 4-ball. As a consequence, we prove that if a compact, smooth, acyclic 4-manifold with boundary the 3-sphere has shadow-complexity at most 2, then it is diffeomorphic to the standard 4-ball.
We consider the group of isotopy classes of automorphisms of the 3-sphere that preserve a spatial graph or a handlebody-knot embedded in it. We prove that the group is finitely presented for an arbitrary spatial graph or a reducible handlebody-knot of genus two. We also prove that the groups for "most" irreducible genus two handlebody-knots are finite.
Given a genus two Heegaard splitting for a non-prime 3-manifold, we define a special subcomplex of the disk complex for one of the handlebodies of the splitting, and then show that it is contractible. As applications, first we show that the complex of Haken spheres for the splitting is contractible, which refines the results of Lei and Lei-Zhang. Secondly, we classify all the genus two Heegaard splittings for non-prime 3-manifolds, which is a generalization of the result of Montesinos-Safont. Finally, we show that the mapping class group of the splitting, called the Goeritz group, is finitely presented by giving its explicit presentation.
Turaev's shadow can be seen locally as the Stein factorization of a stable map. In this paper, we define the notion of stable map complexity for a compact orientable 3-manifold bounded by (possibly empty) tori counting, with some weights, the minimal number of singular fibers of codimension 2 of stable maps into the real plane, and prove that this number equals the minimal number of vertices of its branched shadows. In consequence, we give a complete characterization of hyperbolic links in the 3-sphere whose exteriors have stable map complexity 1 in terms of Dehn surgeries, and also give an observation concerning the coincidence of the stable map complexity and shadow complexity using estimations of hyperbolic volumes.
The genus-g Goeritz group is the group of isotopy classes of orientation-preserving homeomorphisms of a closed orientable 3-manifold that preserve a given genus-g Heegaard splitting of the manifold. In this work, we show that the genus-2 Goeritz group of $S^2 \times S^1$ is finitely presented, and give its explicit presentation.
We provide a classification of the essential surfaces of non-negative Euler characteristic in the exteriors of genus two handlebodies embedded in the 3-sphere.
For a genus two Heegaard splitting of a lens space, the primitive disk complex is defined to be the full subcomplex of the disk complex for one of the handlebodies of the splitting spanned by all vertices of primitive disks. In this work, we describe the complete combinatorial structure of the primitive disk complex for the genus two Heegaard splitting of each lens space. In particular, we find all lens spaces whose primitive disk complexes are contractible.
We give a necessary and sufficient condition for the mapping class group of the pair of the 3-sphere and a graph embedded in it to be isomorphic to the topological symmetry group of the embedded graph.