Multibranched surfaces in 3-manifolds
This is a latest survey article on embeddings of multibranched surfaces into 3-manifolds.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Makoto Ozawa 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
This is a latest survey article on embeddings of multibranched surfaces into 3-manifolds.
In this paper, we give a lower bound for the maximum and minimum genus of a multibranched surface by the first Betti number and the minimum and maximum genus of the boundary of the neighborhood of it, respectively. As its application, we show that the maximum and minimum genus of $G\times S^1$ is equal to twice of the maximum and minimum genus of $G$ for a graph $G$, respectively. This provides an interplay between graph theory and 3-manifold theory.
We say that a $2$-dimensional CW complex is a multibranched surface if we remove all points whose open neighborhoods are homeomorphic to the $2$-dimensional Euclidean space, then we obtain a $1$-dimensional complex which is homeomorphic to a disjoint union of some $S^1$'s. We define the genus of a multibranched surface $X$ as the minimum number of genera of $3$-dimensional manifold into which $X$ can be embedded. We prove some inequalities which give upper bounds for the genus of a multibranched surface. A multibranched surface is a generalization of graphs. Therefore, we can define "minors" of multibranched surfaces analogously. We study various properties of the minors of multibranched surfaces.
We consider an embedding of a $2$-dimensional CW complex into the $3$-sphere, and construct it's dual graph. Then we obtain a homogeneous system of linear equations from the $2$-dimensional CW complex in the first homology group of the complement of the dual graph. By checking that the homogeneous system of linear equations does not have an integral solution, we show that some $2$-dimensional CW complexes cannot be embedded into the 3-sphere.
We discuss an "extrinsic" property of knots in a 3-subspace of the 3-sphere $S^3$ to characterize how the subspace is embedded in $S^3$. Specifically, we show that every knot in a subspace of the 3-sphere is transient if and only if the exterior of the subspace is a disjoint union of handlebodies, i.e. regular neighborhoods of embedded graphs, where a knot in a 3-subspace of $S^3$ is said to be transient if it can be moved by a homotopy within the subspace to the trivial knot in $S^3$. To show this, we discuss relation between certain group-theoretic and homotopic properties of knots in a compact 3-manifold, which can be of independent interest. Further, using the notion of transient knot, we define an integer-valued invariant of knots in $S^3$ that we call the transient number. We then show that the union of the sets of knots of unknotting number one and tunnel number one is a proper subset of the set of knots of transient number one.
In this paper, we give an algorithm to build all compact orientable atoroidal Haken 3-manifolds with tori boundary or closed orientable Haken 3-manifolds, so that in both cases, there are embedded closed orientable separating incompressible surfaces which are not tori. Next, such incompressible surfaces are related to Heegaard splittings. For simplicity, we focus on the case of separating incompressible surfaces, since non-separating ones have been extensively studied. After putting the surfaces into Morse position relative to the height function associated to the Heegaard splittings, a thin position method is applied so that levels are thin or thick, depending on the side of the surface. The complete description of the surface in terms of these thin/thick levels gives a hierarchy. Also this thin/thick description can be related to properties of the curve complex for the Heegaard surface.
For a compact connected 3-submanifold with connected boundary in the 3-sphere, we relate the existence of a Seifert surface system for a surface with a Dehn surgery along a null-homologous link. As its corollary, we obtain a refinement of the Fox's re-embedding theorem.
We give a locally minimal, but not globally minimal bridge position of a knot, that is, an unstabilized, nonminimal bridge position of a knot. It implies that a bridge position cannot always be simplified so that the bridge number monotonically decreases to the minimal.
We characterize composite tunnel number one genus two handlebody-knots.
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.
It is a well-known procedure for constructing a torus knot or link that first we prepare an unknotted torus and meridian disks in the complementary solid tori of it, and second smooth the intersections of the boundary of meridian disks uniformly. Then we obtain a torus knot or link on the unknotted torus and its Seifert surface made of meridian disks. In the present paper, we generalize this procedure by a closed fake surface and show that the resultant two surfaces obtained by smoothing triple points uniformly are essential. We also show that a knot obtained by this procedure satisfies the Neuwirth conjecture, and the distance of two boundary slopes for the knot is equal to the number of triple points of the closed fake surface.
We show that a handlebody-knot whose exterior is boundary-irreducible has a unique maximal unnested set of knotted handle decomposing spheres up to isotopies and annulus-moves. As an application, we show that the handlebody-knots $6_{14}$ and $6_{15}$ are not equivalent. We also show that some genus two handlebody-knots with a knotted handle decomposing sphere can be determined by their exteriors. As an application, we show that the exteriors of $6_{14}$ and $6_{15}$ are not homeomorphic.
Neuwirth asked if any non-trivial knot in the 3-sphere can be embedded in a closed surface so that the complement of the surface is a connected essential surface for the knot complement. In this paper, we examine some variations on this question and prove it for all knots up to 11 crossings except for two examples. We also establish the conjecture for all Montesinos knots and for all generalized arborescently alternating knots. For knot exteriors containing closed incompressible surfaces satisfying a simple homological condition, we establish that the knots satisfy the Neuwirth conjecture. If there is a proper degree one map from knot $K$ to knot $K'$ and $K'$ satisfies the Neuwirth conjecture then we prove the same is true for knot $K$. Algorithms are given to decide if a knot satisfies the various versions of the Neuwirth conjecture and also the related conjectures about whether all non-trivial knots have essential surfaces at integer boundary slopes.
First, we extend Otal's result for the trivial knot to trivial spatial graphs, namely, we show that for any bridge tangle decomposing sphere $S^2$ for a trivial spatial graph $Γ$, there exists a 2-sphere $F$ such that $F$ contains $Γ$ and $F$ intersects $S^2$ in a single loop. Next, we introduce two invariants for spatial graphs. As a generalization of the bridge number for knots, we define the {\em bridge string number} $bs(Γ)$ of a spatial graph $Γ$ as the minimal number of $|Γ\cap S^2|$ for all bridge tangle decomposing sphere $S^2$. As a spatial version of the representativity for a graph embedded in a surface, we define the {\em representativity} of a non-trivial spatial graph $Γ$ as \[ r(Γ)=\max_{F\in\mathcal{F}} \min_{D\in\mathcal{D}_F} |\partial D\cap Γ|, \] where $\mathcal{F}$ is the set of all closed surfaces containing $Γ$ and $\mathcal{D}_F$ is the set of all compressing disks for $F$ in $S^3$. Then we show that for a non-trivial spatial graph $Γ$, \[ \displaystyle r(Γ)\le \frac{bs(Γ)}{2}. \] In particular, if $Γ$ is a knot, then $r(Γ)\le b(Γ)$, where $b(Γ)$ denotes the bridge number. This generalizes Schubert's result on torus knots.
We study a canonical spanning surface obtained from a knot or link diagram depending on a given Kauffman state, and give a sufficient condition for the surface to be essential. By using the essential surface, we can see the triviality and splittability of a knot or link from its diagrams. This has been done on the extended knot or link class which includes all of semiadequate, homogeneous, and most of algebraic knots and links. In the process of the proof of main theorem, Gabai's Murasugi sum theorem is extended to the case of nonorientable spanning surfaces.
We show that any non-minimal bridge decomposition of a torus knot is stabilized and that $n$-bridge decompositions of a torus knot are unique for any integer $n$. This implies that a knot in a bridge position is a torus knot if and only if there exists a torus containing the knot such that it intersects the bridge sphere in two essential loops.