We determine all (1,1)-knots which admit an essential meridional surface, namely, we give a construction which produces (1,1)-knots having essential meridional surfaces, and show that if a (1,1)-knot admits an essential meridional surface then it comes from the given construction.
The Meridional Rank Conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper we investigate the analogous conjecture for knotted surfaces in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite order and which detect their meridional ranks. We establish the equality of bridge number and meridional rank for these knots and knotted spheres obtained from them by twist-spinning. On the other hand, …
We show the existence of infinitely many knot exteriors where each of which contains meridional essential surfaces of any genus and (even) number of boundary components. That is, the compact surfaces that have a meridional essential embedding into a knot exterior have a meridional essential embedding into each of these knot exteriors. From these results, we also prove the existence of a hyperbolic knot exterior in some 3-manifold for which there are meridional essential surfaces of independently unbounded genus and number of boundary components.
We show the existence of an infinite collection of hyperbolic knots where each of which has in its exterior meridional essential planar surfaces of arbitrarily large number of boundary components, or, equivalently, that each of these knots has essential tangle decompositions of arbitrarily large number of strings. Moreover, each of these knots has in its exterior meridional essential surfaces of any positive genus and (even) number of boundary components. That is, the compact surfaces that have a meridional essential embedding into a hyperbolic knot exterior have meridional essential embedding…
For a knot K and its knot Floer complex CFK^-(K), we introduce an algorithm to compute the bordered Floer bimodule of the complement of the knot and its meridian. The grading of the module computes spin^c-summands of a meridional knot in the large Dehn surgery manifold, which can be also extended to arbitrary framing n.
We show the existence of infinitely many prime knots each of which having in their complements meridional essential surfaces with two boundary components and arbitrarily high genus.
We prove that the meridional rank and the bridge number of the Whitehead double of a prime algebraically tame knot coincide. Algebraically tame knots are a broad generalization of torus knots and iterated cable knots.
We prove for a large class of knots that the meridional rank coincides with the bridge number. This class contains all knots whose exterior is a graph manifold. This gives a partial answer to a question of S. Cappell and J. Shaneson, see problem 1.11 on Kirby's list.
We show that for each pair of positive integers g and n, there are infinitely many tunnel number one knots, whose exteriors contain an essential meridional surface of genus g, and with 2n boundary components. We also show that for each positive integer n, there are tunnel number one knots whose exteriors contain n disjoint, non-parallel, closed incompressible surfaces, each of genus n.
Suppose $K$ is a knot in a closed 3-manifold $M$ such that $\bar{M-N(K)}$ is irreducible. We show that for any positive integer $b$ there exists a triangulation of $\bar{M-N(K)}$ such that any weakly incompressible bridge surface for $K$ of $b$ bridges or fewer is isotopic to an almost normal bridge surface.
In the literature of the study of knot group epimorphisms, the existence of an epimorphism between two given knot groups is mostly (if not always) shown by giving an epimorphism which preserves meridians. A natural question arises: is there an epimorphism preserving meridians whenever a knot group is a homomorphic image of another? We answer in the negative by presenting infinitely many pairs of prime knot groups (G,G') such that G' is a homomorphic image of G but no epimorphism of G onto G' preserves meridians.
We find explicit maximal rank Coxeter quotients for the knot groups of 595,515 out of the 1,701,936 knots through 16 crossings. We thus calculate the bridge numbers and verify Cappell and Shaneson's Meridional Rank Conjecture for these knots. In addition, we provide a computational tool for establishing the conjecture for knots beyond 16 crossings whose meridional ranks can be detected via finite Coxeter quotients.
We study certain linear representations of the knot group that induce augmentations of knot contact homology. This perspective on augmentations enhances our understanding of the relationship between the augmentation polynomial and the A-polynomial of the knot. For example, we show that for 2-bridge knots the polynomials agree and that this is never the case for (non-2-bridge) torus knots, nor for a family of 3-bridge pretzel knots. In addition, we obtain a lower bound on the meridional rank of the knot. As a consequence, our results give another proof that torus knots and a family of pretzel k…
We give a description of all (1,2)-knots in S^3 which admit a closed meridionally incompressible surface of genus 2 in their complement. That is, we give several constructions of (1,2)-knots having a meridionally incompressible surface of genus 2, and then show that any such surface for a (1,2)-knot must come from one of the constructions. As an application, we show explicit examples of tunnel number one knots which are not (1,2)-knots.
We extend the notion of thin multiple Heegaard splittings of a link in a 3-manifold to take into consideration not only compressing disks but also cut-disks for the Heegaard surfaces. We prove that if H is a c-strongly compressible bridge surface for a link K contained in a closed orientable irreducible 3-manifold M then one of the following is satisfied: H is stabilized, H is meridionally stabilized, H is perturbed, a component of K is removable, M contains an essential meridional surface.
Any 2-bridge knot in the 3-sphere has a bridge sphere from which any other bridge surface can be obtained by stabilization, meridional stabilization, perturbation and proper isotopy.
We define the {\it Wirtinger number} of a link, an invariant closely related to the meridional rank. The Wirtinger number is the minimum number of generators of the fundamental group of the link complement over all meridional presentations in which every relation is an iterated Wirtinger relation arising in a diagram. We prove that the Wirtinger number of a link equals its bridge number. This equality can be viewed as establishing a weak version of Cappell and Shaneson's Meridional Rank Conjecture, and suggests a new approach to this conjecture. Our result also leads to a combinatorial techniq…
We show that if a knot or link has n thin levels when put in thin position then its exterior contains a collection of n disjoint, non-parallel, planar, meridional, essential surfaces. A corollary is that there are at least n/3 tetrahedra in any triangulation of the complement of such a knot.
Let $F$ be an incompressible, meridionally incompressible and not boundary-parallel surface with boundary in the complement of an algebraic tangle $(B,T)$. Then $F$ separates the strings of $T$ in $B$ and the boundary slope of $F$ is uniquely determined by $(B,T)$ and hence we can define the slope of the algebraic tangle. In addition to the Conway's tangle sum, we define a natural product of two tangles. The slopes and binary operation on algebraic tangles lead an algebraic structure which is isomorphic to the rational numbers. We introduce a new knot and link class, algebraically alternating …
We study the way a strongly irreducible Heegaard surface $Σ$ intersects a knot exterior $X$ embedded in a 3-manifold, and show that if $Σ\cap \partial X$ consists of simple closed curves which are essential in both $Σ$ and $\partial X$, then the intersection $X \cap Σ$ consists of meridional annuli only. As an application we show that when considering two Heegaard surfaces that intersect essentially and spinally (cf. Rubinstein and Shcarlemann) any embedded torus in the union of the two bounds a solid torus.
In this paper, we study on knots and closed incompressible surfaces in the 3-sphere via Morse functions. We show that both of knots and closed incompressible surfaces can be isotoped into a "related Morse position" simultaneously. As an application, we have following results. *Smallness of Montesinos tangles with length two and Kinoshita's theta curve *Classification of closed incompressible and meridionally incompressible surfaces in 2-bridge theta-curve and handcuff graph complements and the complements of links which admit Hopf tangle decompositions.
Let M be $S^3$, $S^1\times S^2$, or a lens space L(p,q), and let k be a (1,1)-knot in M, i.e., a knot which is of 1-bridge with respect to a Heegaard torus. We show that if there is a closed meridionally incompressible surface in the complement of k, then the surface and the knot can be put in a special position, namely, the surface is the boundary of a regular neighborhood of a toroidal graph, and the knot is level with respect to that graph. As an application we show that for any such M there exist tunnel number one knots which are not (1,1)-knots.
Given a knot $K$ in $S^3$, a question raised by Cappell and Shaneson asks if the meridional rank of $K$ equals the bridge number of $K$. Using augmentations in knot contact homology we consider the persistence of equality between these two invariants under satellite operations on $K$ with a braid pattern. In particular, we answer the question in the affirmative for a large class of iterated torus knots.
If a knot K in a closed, orientable 3-manifold M has a bridge surface T with distance at least 3 in the curve complex of T - K, then the genus of any essential surface in its exterior with non-empty, non-meridional boundary gives rise to an upper bound for the bridge number of K with respect to T. In particular, a nontrivial, aspherical, and atoroidal knot K with such a bridge surface has its bridge number bounded by 5 if K has a non-trivial reducing surgery; 6 if K has a non-trivial toroidal surgery; and 4g + 2 if K is null-homologous and has Seifert genus g.
We prove that in the complement of a highly twisted link, all closed, essential, meridionally incompressible surfaces must have high genus. The genus bound is proportional to the number of crossings per twist region. A similar result holds for surfaces with meridional boundary: such a surface either has large negative Euler characteristic, or is an n-punctured sphere visible in the diagram.
Abby Thompson proved that if a link $K$ is in thin position but not in bridge position then the knot complement contains an essential meridional planar surface, and she asked whether some thin level surface must be essential. This note is to give a positive answer to this question, showing that the if a link is in thin position but not bridge position then a thinnest level surface is essential. A theorem of Rieck and Sedgwick follows as a consequence, which says that thin position of a connected sum of small knots comes in the obvious way.
We have a knot quandle and a fundamental class as invariants for a surface-knot. These invariants can be defined for a classical knot in a similar way, and it is known that the pair of them is a complete invariant for classical knots. In this paper, we compare a situation in surface-knot theory with that in classical knot theory, and prove the following: There exist arbitrarily many inequivalent surface-knots of genus $g$ with the same knot quandle, and there exist two inequivalent surface-knots of genus $g$ with the same knot quandle and with the same fundamental class.
We describe a procedure for creating infinite families of hyperbolic knots having unique minimal genus Seifert surface. A large subset of these knots have the further property that the surface cannot be the sole compact leaf of a depth one foliation of the knot exterior.
A branched covering surface-knot is a surface-knot in the form of a branched covering over a surface-knot. For a branched covering surface-knot, we have a numerical invariant called the simplifying number. We show that branched covering surface-knots with degree three have the simplifying numbers less than three.
We introduce an equivalence relation, called stable equivalence, on knot diagrams and closed curves on surfaces. We give bijections between the set of abstract knots, the set of virtual knots, and the set of the stable equivalence classes of knot diagrams on surfaces. Using these bijections, we define concordance and link homology for virtual links. As an application, it is shown that Kauffman's example of a virtual knot diagram is not equivalent to a classical knot diagram.
The first examples of totally geodesic Seifert surfaces are constructed for hyperbolic knots and links, including both free and totally knotted surfaces. Then it is proved that two bridge knot complements cannot contain totally geodesic orientable surfaces.
In this paper, we describe the relation between the study of closed connected surfaces embedded in $S^3$ and the theory of handlebody-knots. By Fox's theorem, a pair of handlebody-knots is associated to a closed connected surface embedded in $S^3$ in the sense that their exterior components are pairwise homeomorphic. We show that for every handlebody-knot pair associated to a genus two "prime bi-knotted" surface, one is irreducible, and the other is reducible. Furthermore, for given two genus two handlebody-knots $H_1$ and $H_2$ satisfying certain conditions, we will construct a "prime bi-knot…
We show that any closed incompressible surface in the complement of a positive knot is algebraically non-split from the knot, positive knots cannot bound non-free incompressible Seifert surfaces and that the splitability and the primeness of positive knots and links can be seen from their positive diagrams.
A knot in a thickened surface $K$ is a smooth embedding $K:S^1 \rightarrow Σ\times [0,1]$, where $Σ$ is a closed, connected, orientable surface. There is a bijective correspondence between knots in $S^2 \times [0,1]$ and knots in $S^3$, so one can view the study of knots in thickened surfaces as an extension of classical knot theory. An immediate question is if other classical definitions, concepts, and results extend or generalize to the study of knots in a thickened surface. One such famous result is the Fox Milnor Theorem, which relates the Alexander polynomials of concordant knots. We prov…
Given a simply-connected closed 4-manifold $X$ and a smoothly embedded oriented surface $Σ$, various constructions based on Fintushel-Stern knot surgery have produced new surfaces in $X$ that are pairwise homeomorphic to $Σ$, but not diffeomorphic. We prove that for all known examples of surface knots constructed from knot surgery operations that preserve the fundamental group of the complement of surface knots, they become pairwise diffeomorphic after stabilizing by connected summing with one $S^2\tilde{\times}S^2$. When $X$ is spin, we show in addition that any surfaces obtained by a knot su…
J. Boyle classified 1-handles attached to surface-knots, that are closed and connected surfaces embedded in the Euclidean 4-space, in the case that the surfaces are oriented and 1-handles are orientable with respect to the orientations of the surfaces. In that case, the equivalence classes of 1-handles correspond to the equivalence classes of cords attached to the surface-knot, and correspond to the double cosets of the peripheral subgroup of the knot group. In this paper, we classify cords and cords with local orientations attached to (possibly non-orientable) surface-knots. And we classify 1…
Racks do not give us invariants of surface-knots in general. For example, if a surface-knot diagram has branch points (and a rack which we use satisfies some mild condition), then it admits no rack colorings. In this paper, we investigate rack colorings for surface-knot diagrams without branch points and prove that rack colorings are invariants of $S^2$-knots. We also prove that rack colorings for $S^2$-knots can be interpreted in terms of quandles, and discuss a relationship with regular-equivalences of surface-knot diagrams.
We construct an algorithm that lists all closed essential surfaces in the complement of a knot that lies on the fiber of a trefoil or figure eight knot. Such knots are Berge knots and hence admit lens space surgeries. Furthermore they may have arbitrarily large hyperbolic volume. Using this algorithm we concoct large volume Berge knots of two flavors: those whose complement contains arbitrarily many distinct closed essential surfaces, and those whose complement contains no closed essential surfaces.
We show that a knot in $S^3$ with an infinite number of distinct incompressible Seifert surfaces contains a closed incompressible surface in its complement.
We will discuss a method for visual presentation of knotted surfaces in the four space, by examining a number and a position of its Morse's critical points. Using this method, we will investigate surface-knot with one critical point of index 1. Then we show infinitely many mutually distinct surface-knots that has an embedding with two critical points of index 1. Next we define a long flat for a banded link for any surface-knot and show diagrammatically a long flat form of $n$-twist-spun $(2,t)$-torus knots.
Edmonds famously proved that every periodic knot of genus g possesses an equivariant Seifert surface of genus g. We show that this is not true if one instead considers nonorientable spanning surfaces of a periodic knot. We demonstrate by example that the difference between the first Betti number of an equivariant and a nonequivariant nonorientable spanning surface of a periodic knot, can be arbitrarily large.
Roberts proved that a family of alternating, arborescent, prime knots each have at least $2^{2n-1}$ distinct minimal genus Seifert surfaces, where $n$ is the genus of the knot in question. We give a subfamily of these knots that have exactly this many minimal genus Seifert surfaces.
State-sum invariants for knotted curves and surfaces using quandle cohomology were introduced by Laurel Langford and the authors in math.GT/9903135 In this paper we present methods to compute the invariants and sample computations. Computer calculations of cohomological dimensions for some quandles are presented. For classical knots, Burau representations together with Maple programs are used to evaluate the invariants for knot table. For knotted surfaces in 4-space, movie methods and surface braid theory are used. Relations between the invariants and symmetries of knots are discussed.
A branched covering surface-knot over an oriented surface-knot $F$ is a surface-knot in the form of a branched covering over $F$. A branched covering surface-knot over $F$ is presented by a graph called a chart on a surface diagram of $F$. For a branched covering surface-knot, an addition of 1-handles equipped with chart loops is a simplifying operation which deforms the chart to the form of the union of free edges and 1-handles with chart loops. We investigate properties of such simplifications.
In this paper, we characterize closed incompressible surfaces of genus two in the complements of 3-bridge knots and links. This characterization includes that of essential 2-string tangle decompositions for 3-bridge knots and links.
A branched covering surface-knot is a surface-knot in the form of a branched covering over an oriented surface-knot $F$, where we include the case when the covering has no branch points. A branched covering surface-knot is presented by a graph called a chart on a surface diagram of $F$. We can simplify a branched covering surface-knot by an addition of 1-handles with chart loops to a form such that its chart is the union of free edges and 1-handles with chart loops. We investigate properties of such simplifications for the case when branched covering surface-knots have a non-zero number of bra…
We study surface knots in 4-space by using generic planar projections. These projections have fold points and cusps as their singularities and the image of the singular point set divides the plane into several regions. The width (or the total width) of a surface knot is a numerical invariant related to the number of points in the inverse image of a point in each of the regions. We determine the widths of certain surface knots and characterize those surface knots with small total widths. Relation to the surface braid index is also studied.
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.
Dye and Kauffman defined surface bracket polynomials for virtual links by use of surface states, and found a relationship between the surface states and the minimal genus of a surface in which a virtual link diagram is realized. They and Miyazawa independently defined a multivariable polynomial invariant of virtual links. This invariant is deeply related to the surface states. In this paper, we introduce the notion of surface pole bracket polynomials for link diagrams in closed surfaces, as a generalization of surface bracket polynomials by Dye and Kauffman. The polynomials induce the invarian…
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 Ne…
In this paper we provide a new obstruction to 0-concordance of knotted surfaces in $S^4$ in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0-concordance classes and to provide the first proof that the submonoid of 2-knots is not a group. The main result is that the Alexander ideal induces a homomorphism from the 0-concordance monoid $\mathscr{C}_0$ of oriented surface knots in $S^4$ to the ideal class monoid of $\mathbb{Z}[t^{\pm1}]$. Consequently, any surface knot with nonprincipal Alexander ideal is not 0-slice and in fact, not invertibl…
This article is an English translation of Japanese article "Musubime to Kyokumen", Math. Soc. Japan, Sugaku Vol. 67, No. 4 (2015) 403--423. It surveys a specific area in Knot Theory concerning surfaces in knot exteriors. In version 2, we added comments on the solutions or counterexamples for Conjecture 3.5, Conjecture 3.7 and Conjecture 5.30.
In the complement of a hyperbolic Montesinos knot with 4 rational tangles, we investigate the number of closed, connected, essential, orientable surfaces of a fixed genus $g$, up to isotopy. We show that there are exactly 12 genus 2 surfaces and $8ϕ(g - 1)$ surfaces of genus greater than 2, where $ϕ(g - 1)$ is the Euler totient function of $g - 1$. Observe that this count is independent of the number of crossings of the knot. Moreover, this class of knots form an infinite class of hyperbolic 3-manifolds and the result applies to all such knot complements.