For a knot $K$, Kakimizu introduced a simplicial complex whose vertices are all the isotopy classes of minimal genus spanning surfaces for $K$. The first purpose of this paper is to prove the 1-skeleton of this complex has diameter bounded by a function quadratic in knot genus, whenever $K$ is atoroidal. The second purpose of this paper is to prove the intersection number of two minimal genus spanning surfaces for $K$ is also bounded by a function quadratic in knot genus, whenever $K$ is atoroidal. As one application, we prove the simple connectivity of Kakimizu's complex among all atoroidal genus 1 knots.
We generalize the idea of unknotting knots to Seifert surfaces. We define an operation called ribbon twist which serves as the equivalent of a crossing change for knots. A Seifert surface is considered untwisted, the equivalent to unknotted, if it is isotopic to a standardly embedded n-fold punctured torus. A Seifert surface is said to be twist trivial if it can be untwisted by ribbon twists. We show that canonical Seifert surfaces are twist trivial.
We define the surface complex for $3$-manifolds and embark on a case study in the arena of Seifert fibered spaces. The base orbifold of a Seifert fibered space captures some of the topology of the Seifert fibered space, so, not surprisingly, the surface complex of a Seifert fibered space always contains a subcomplex isomorphic to the curve complex of the base orbifold.
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.
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.
A virtual knot that has a homologically trivial representative $\mathscr{K}$ in a thickened surface $Σ\times [0,1]$ is said to be an almost classical (AC) knot. $\mathscr{K}$ then bounds a Seifert surface $F\subset Σ\times [0,1]$. Seifert surfaces of AC knots are useful for computing concordance invariants and slice obstructions. However, Seifert surfaces in $Σ\times [0,1]$ are difficult to construct. Here we introduce virtual Seifert surfaces of AC knots. These are planar figures representing $F \subset Σ\times [0,1]$. An algorithm for constructing a virtual Seifert surface from a Gauss diagr…
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.
Rationally null-homologous links in Seifert fibered spaces may be represented combinatorially via labeled diagrams. We introduce an additional condition on a labeled link diagram and prove that it is equivalent to the existence of a rational Seifert surface for the link. In the case when this condition is satisfied, we generalize Seifert's algorithm to explicitly construct a rational Seifert surface for any rationally null-homologous knot. As an application of the techniques developed in the paper, we derive closed formulae for the rational Thurston-Bennequin and rotation numbers of a Legendri…
In this paper we find a family of knots with trivial Alexander polynomial, and construct two non-isotopic Seifert surfaces for each member in our family. In order to distinguish the surfaces we study the sutured Floer homology invariants of the sutured manifolds obtained by cutting the knot complements along the Seifert surfaces. Our examples provide the first use of sutured Floer homology, and not merely its Euler characteristic(a classical torsion), to distinguish Seifert surfaces. Our technique uses a version of Floer homology, called Longitude Floer Homology in a way that enables us to byp…
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.
We will use immersed surfaces to study Seifert fibered surgery on Montesinos knots, and show that if $\frac 1{q_1-1} + \frac 1{q_2-1} + \frac 1{q_3-1} \leq 1$ then a Montesinos knot $K(\frac{p_1}{q_1}, \frac{p_2}{q_2}, \frac{p_3}{q_3})$ admits no atoroidal Seifert fibered surgery.
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 study the sutured Floer homology invariants of the sutured manifold obtained by cutting a knot complement along a Seifert surface, R. We show that these invariants are finer than the "top term" of the knot Floer homology, which they contain. In particular, we use sutured Floer homology to distinguish two non-isotopic minimal genus Seifert surfaces for the knot 8_3. A key ingredient for this technique is finding appropriate Heegaard diagrams for the sutured manifold associated to the complement of a Seifert surface.
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.
We introduce a new standard form of a Seifert surface $F$. In that standard form, $F$ is obtained by successively plumbing flat annuli to a disk $D$, where the gluing regions are all in $D$. We show that any link has a Seifert surface in the standard form, and thereby present a new way of coding a link. We present an algorithm to read the code directly from a braid presentation.
In this note, I give a method to construct rational Seifert surface for those smooth or piece-wise linear oriented knots in Lens space. I assume that the oriented knot has a regular projection on Heegaard torus and then construct rational Seifert surface on twist toroidal diagram.
Berge introduced knots that are primitive/primitive with respect to the genus 2 Heegaard surface, $F$, in $S^3$; surgery on such knots at the surface slope yields a lens space. Later Dean described a similar class of knots that are primitive/Seifert with respect to $F$; surgery on these knots at the surface slope yields a Seifert fibered space. Here we construct a two-parameter family of knots that have distinct primitive/Seifert embeddings in $F$ with the same surface slope, as well as a family of torus knots that have a primitive/primitive representative and a primitive/Seifert representativ…
We show how Seifert surfaces, so useful for the understanding of the Alexander polynomial Δ_L(t), can be generalized in order to study the multivariable Alexander polynomial Δ_L(t_1,...,t_μ). In particular, we give an elementary and geometric proof of the Torres formula.
We generalize the results of [AS], finding large classes of totally geodesic Seifert surfaces in hyperbolic knot and link complements, each the lift of a rigid 2-orbifold embedded in some hyperbolic 3-orbifold. In addition, we provide a uniqueness theorem and demonstrate that many knots cannot possess totally geodesic Seifert surfaces by giving bounds on the width invariant in the presence of such a surface. Finally, we utilize these examples to demonstrate that the Six Theorem is sharp for knot complements in the 3-sphere.
This article was originally published in Topology 31 (1992). The present hyperTeXed redaction corrects a few typographical errors and updates the references.
Let K be a knot in S^3 of genus g and let n>0. We show that if rk HFK(K,g) < 2^{n+1} (where HFK denotes knot Floer homology), in particular if K is an alternating knot such that the leading coefficient a_g of its Alexander polynomial satisfies |a_g| <2^{n+1}, then K has at most n pairwise disjoint non-isotopic genus g Seifert surfaces. For n=1 this implies that K has a unique minimal genus Seifert surface up to isotopy.
A Seifert surface F for a knot K is disk decomposable if there is a taut sutured manifold heirarchy for the complement of F, whose decomposing surfaces are all disks. It follows that F has minimal genus for the knot K, and has handlebody complement, i.e., F is free. We show that these necessary conditions for disk decomposability are not sufficient, by constructing a family of knots with genus one free Seifert surfaces, which are not disk decomposable.
We exhibit the first example of a knot in the three-sphere with a pair of minimal genus Seifert surfaces that can be distinguished using the sutured Floer homology of their complementary manifolds together with the Spin^c-grading. This answers a question of Juhász. More precisely, we show that the Euler characteristic of the sutured Floer homology of the complementary manifolds distinguishes between the two surfaces, as does the sutured Floer polytope introduced by Juhász. Actually, we exhibit an infinite family of knots with pairs of Seifert surfaces that can be distinguished by the Euler cha…
We generalize H. Seifert's algorithm for finding a Seifert surface for a knot or link. The generalization applies to "framed oriented measured lamination links." For knots, a Seifert surface determines a unique framing. In our setting, we analyze the set of framed lamination links which bound Seifert laminations and are carried by an $S^1$-fibered tube neighborhood of an oriented train track embedded in a 3-manifold.
The existence of basket, flat plumbing and flat plumbing basket surfaces of a link was first proven from a braid representative of the link. In the present article, we show the existence of such surfaces from an induced graph of the link. Consequently, we define the basket number, flat plumbing number and flat plumbing basket number of a link. Then we provide several upper bounds for these plumbing numbers and study the relation between these plumbing numbers and the genera of links.
Four constructions of Seifert surfaces - Hopf plumbing, arborescent plumbing, basketry, and T-bandword handle decomposition - are described, and some interrelationships found, e.g.: arborescent Seifert surfaces are baskets; Hopf-plumbed baskets are precisely homogeneous T-bandword surfaces. A Seifert surface is Hopf-plumbed if it is a 2-disk D or if it can be constructed by plumbing a positive or negative Hopf annulus A(O,-1) or A(O,1) to a Hopf-plumbed surface along a proper arc. A Seifert surface is a basket if it is D or it can be constructed by plumbing an n-twisted unknotted annulus A(O,n…
We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished in finite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.
Two Seifert surfaces of links in $S^3$ are said to be twist equivalent if one can be obtained from the other, up to isotopy, by repeatedly performing operations consisting of cutting along an embedded arc, applying a full twist near one copy of the arc, and re-gluing. By using bridge spheres for their boundary links, we provide a new method of distinguishing twist equivalence classes of Seifert surfaces of any given genus. Given a Seifert surface $F$ of a link $L$, we show that the bridge numbers of the boundary links of Seifert surfaces twist equivalent to $F$ are uniformly bounded above by a…
We describe a general method to compute the $\mathbb{Z}_2$-Thurston norm for every $\mathbb{Z}_2$-homology class in an orientable Seifert manifold with orientable orbit surface. Our main tools are pseudo-horizontal surfaces. We give a necessary and sufficient criterion for the existence of pseudo-horizontal surfaces, calculate the non-orientable genera for such surfaces, and detect their $\mathbb{Z}_2$-homology classes. We then describe an algorithm to calculate the $\mathbb{Z}_2$-Thurston norm of each $\mathbb{Z}_2$-homology classes. We also present several interesting examples.
This paper presents a new algorithm "A" for constructing Seifert surfaces from n-bridge projections of links. The algorithm produces minimal complexity surfaces for large classes of braids and alternating links. In addition, we consider a family of knots for which the canonical genus is strictly greater than the genus, (g_c(K) > g(K)), and show that A builds surfaces realizing the knot genus g(K). We also present a generalization of Seifert's algorithm which may be used to construct surfaces representing arbitrary relative second homology classes in a link complement.
The coefficients of twisted Alexander polynomials of a knot induce regular functions of the $SL_2(\mathbb{C})$-character variety. We prove that the function of the highest degree has a finite value at an ideal point which gives a minimal genus Seifert surface by Culler-Shalen theory. It implies a partial affirmative answer to a conjecture by Dunfield, Friedl and Jackson.
We introduce defects, with internal gauge symmetries, on a knot and Seifert surface to a knot into the combinatorial construction of finite gauge-group Dijkgraaf-Witten theory. The appropriate initial data for the construction are certain three object categories, with coefficients satisfying a partially degenerate cocycle condition.
We give a geometric proof of the following result of Juhasz. \emph{Let $a_g$ be the leading coefficient of the Alexander polynomial of an alternating knot $K$. If $|a_g|<4$ then $K$ has a unique minimal genus Seifert surface.} In doing so, we are able to generalise the result, replacing `minimal genus' with `incompressible' and `alternating' with `homogeneous'. We also examine the implications of our proof for alternating links in general.
We show that the Vassiliev invariants of orders $\leq n$ of a knot K, are obstructions to finding a regular Seifert surface, S, whose complement looks "simple" (e.g. like the complement of a disc) to the lower central series of its fundamental group. As a consequence of this, we obtain that the Vassiliev invariants of the knot $K=\partial S$ are null-concordance obstructions of certain links that can be obtained from regular spines of S. We also discuss various generalizations of these results, and we conjecture a geometric characterization of knots whose invariants of all orders vanish.
Kakimizu complex of a knot is a flag simplicial complex whose vertices correspond to minimal genus Seifert surfaces and edges to disjoint pairs of such surfaces. We discuss a general setting in which one can define a similar complex. We prove that this complex is contractible, which was conjectured by Kakimizu. More generally, the fixed-point set (in the Kakimizu complex) for any subgroup of an appropriate mapping class group is contractible or empty. Moreover, we prove that this fixed-point set is non-empty for finite subgroups, which implies the existence of symmetric Seifert surfaces.
This paper proves that every oriented non-disk Seifert surface $F$ for a knot $K$ in $S^3$ is smoothly concordant to a Seifert surface $F^{\prime}$ for a hyperbolic knot $K^{\prime}$ of arbitrarily large volume. This gives a new and simpler proof of the result of Friedl and of Kawauchi that every knot is $S$-equivalent to a hyperbolic knot of arbitrarily large volume. The construction also gives a new and simpler proof of the result of Silver and Whitten and of Kawauchi that for every knot $K$ there is a hyperbolic knot $K^{\prime}$ of arbitrarily large volume and a map of pairs $f:(S^3,K^{\pr…
We show that the Vassiliev invariants of a knot K, are obstructions to finding a regular Seifert surface, S, whose complement looks "simple" (e.g. like the complement of a disc) to the lower central series of its fundamental group.
To each connected component in the space of semisimple representations from the orbifold fundamental group of the base orbifold of a Seifert fibered homology 3-sphere into the Lie group U(2,1), we associate a real number called the "orbifold Toledo invariant." For each such orbifold, there exists an elliptic surface over it, called a Dolgachev surface. Using the theory of Higgs bundles on these Dolgachev surfaces, we explicitly compute all values taken on by the orbifold Toledo invariant.
A persistent lamination for a knot K is an essential lamination in the complement of K, which remains essential after every non-trivial Dehn surgery along K. Having a persistent lamination implies, for example, that every manifold obtained by non-trivial Dehn surgery along K has universal cover R^3. In this paper we present a method for building persistent laminations for knots from an incompressible Seifert surface for some `parent' knot. Using this construction, we can, for example, currently build persistent laminations for approximately 45 percent of the knots in the standard knot tables; …
The flat plumbing basket presentation of a link is introduced by Furihata, Hirasawa and Kobayashi. In this paper, we show that the pass-equivalence and an equivalence introduced by using the flat plumbing basket presentation are the same relation. Furthermore, we obtain an evaluation of the minimal number of bands used for the flat pluming basket presentation for a knot coming from the degree of the Alexander polynomial and the three genus of the knot.
By applying Seifert's algorithm to a special alternating diagram of a link L, one obtains a Seifert surface F of L. We show that the support of the sutured Floer homology of the sutured manifold complementary to F is affine isomorphic to the set of lattice points given as hypertrees in a certain hypergraph that is naturally associated to the diagram. This implies that the Floer groups in question are supported in a set of Spin^c structures that are the integer lattice points of a convex polytope. This property has an immediate extension to Seifert surfaces arising from homogeneous link diagram…
In this paper, we use `generalized Seifert surfaces' to extend the Levine-Tristram signature to colored links in S^3. This yields an integral valued function on the m-dimensional torus, where m is the number of colors of the link. The case m=1 corresponds to the Levine-Tristram signature. We show that many remarkable properties of the latter invariant extend to this m-variable generalization: it vanishes for achiral colored links, it is `piecewise continuous', and the places of the jumps are determined by the Alexander invariants of the colored link. Using a 4-dimensional interpretation and th…
We consider complements of standard Seifert surfaces of special alternating links. On these handlebodies, we use Honda's method to enumerate those tight contact structures whose dividing sets are isotopic to the link, and find their number to be the leading coefficient of the Alexander polynomial. The Euler classes of the contact structures are identified with hypertrees in a certain hypergraph. Using earlier work, this establishes a connection between contact topology and the Homfly polynomial. We also show that the contact invariants of our tight contact structures form a basis for sutured F…
Let $K$ be a knot with an unknotting tunnel $γ$ and suppose that $K$ is not a 2-bridge knot. There is an invariant $ρ= p/q \in \mathbb{Q}/2 \mathbb{Z}$, $p$ odd, defined for the pair $(K, γ)$. The invariant $ρ$ has interesting geometric properties: It is often straightforward to calculate; e. g. for $K$ a torus knot and $γ$ an annulus-spanning arc, $ρ(K, γ) = 1$. Although $ρ$ is defined abstractly, it is naturally revealed when $K \cup γ$ is put in thin position. If $ρ\neq 1$ then there is a minimal genus Seifert surface $F$ for $K$ such that the tunnel $γ$ can be slid and isotoped to lie on $…
Suppose $α$ and $R$ are disjoint simple closed curves in the boundary of a genus two handlebody $H$ such that $H[R]$ embeds in $S^3$ as the exterior of a hyperbolic knot $k$(thus, $k$ is a tunnel-number-one knot), and $α$ is Seifert in $H$(i.e., a 2-handle addition $H[α]$ is a Seifert-fibered space) and not the meridian of $H[R]$. Then for a slope $γ$ of $k$ represented by $α$, $γ$-Dehn surgery $k(γ)$ is a Seifert-fibered space. Such a construction of Seifert-fibered Dehn surgeries generalizes that of Seifert-fibered Dehn surgeries arising from primtive/Seifert positions of a knot, which was i…
