21 pages, 18 figures, 2 tables. Final version (better organization, including new claim at the end of Section 3, extra information and new references). To appear in Pacific Journal of Mathematics
Homogeneous links were introduced by Peter Cromwell, who proved that the projection surface of these links, that given by the Seifert algorithm, has minimal genus. Here we provide a different proof, with a geometric rather than combinatorial flavor. To do this, we first show a direct relation between the Seifert matrix and the decomposition into blocks of the Seifert graph. Precisely, we prove that the Seifert matrix can be arranged in a block triangular form, with small boxes in the diagonal corresponding to the blocks of the Seifert graph. Then we prove that the boxes in the diagonal has non-zero determinant, by looking at an explicit matrix of degrees given by the planar structure of the Seifert graph. The paper contains also a complete classification of the homogeneous knots of genus one.
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.
We show some properties of a Seifert matrix of an $n$-component Brunnian link. In particular, we give a necessary and sufficient condition for a matrix to be a Seifert matrix of a 2-component Brunnian link up to S-equivalence.
We study compatible contact structures of fibered Seifert multilinks in homology 3-spheres and especially give a necessary and sufficient condition for the contact structure to be tight in the case where the Seifert fibration is positively twisted. As a corollary we determine the strongly quasipositivity of fibered Seifert links in the 3-sphere. We also study the compatible contact structures of cablings along links in any 3-manifolds.
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 explain an algorithm for finding a boundary link Seifert matrix for a given Alexander polynomial. The algorithm depends on several choices and therefore makes it possible to find non-equivalent Seifert matrices for a given Alexander polynomial.
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.
We introduce generalized arrow diagrams and generalized Reidemeister moves for diagrams of links in Seifert fibered spaces. We give a presentation of the fundamental group of the link complement. As a corollary we are able to compute the first homology group of the complement and the twisted Alexander polynomials of the link.
We introduce and define "oriented framed measured lamination links" in a 3-manifold $M$. These generalize oriented framed links in 3-manifolds, and are confined to 2-dimensional improperly embedded subsurfaces of the 3-manifold. Just as some framed links bound Seifert surfaces, so also some framed lamination links bound 2-dimensional measured and oriented "Seifert laminations." We show that any lamination link which bounds a 2-dimensional Seifert lamination, bounds a "taut" Seifert lamination, i.e. one of maximum Euler characteristic, subject to the condition that the Seifert lamination is car…
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.
This article was originally published in Topology 31 (1992). The present hyperTeXed redaction corrects a few typographical errors and updates the references.
Let $\barγ$ be a link in a Seifert fibered space $M$ over a hyperbolic $2$-orbifolds $\mathcal O$ that projects injectively to a filling multicurve of closed geodesics $γ$ in $\mathcal O.$ We prove that the complement $M_{\barγ}$ of $\barγ$ in $M$ admits a hyperbolic structure of finite volume and give combinatorial bounds of its volume.
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 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.
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…
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.
We develop an algorithm for computing generalized Seifert matrices for colored links given as closures of colored braids. The algorithm has been implemented by the second author as a computer program called Clasper. Clasper also outputs the Conway potential function, the multivariable Alexander polynomial and the Cimasoni-Florens signatures of a link, and displays a visualization of the C-complex used for producing the generalized Seifert matrices.
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…
It is well known that the minimum crossing number of an alternating link equals the number of crossings in any reduced alternating link diagram of the link. This remarkable result is an application of the Jones polynomial. In the case of the braid index of an alternating link, Murasugi had conjectured that the number of Seifert circles in a reduced alternating diagram of the link equals the braid index of the link. This conjecture turned out to be false. In this paper we prove the next best thing that one could hope for: we characterize exactly those alternating links for which their braid ind…
We consider knots whose diagrams have a high amount of twisting of multiple strands. By encircling twists on multiple strands with unknotted curves, we obtain a link called a generalized augmented link. Dehn filling this link gives the original knot. We classify those generalized augmented links that are Seifert fibered, and give a torus decomposition for those that are toroidal. In particular, we find that each component of the torus decomposition is either "trivial", in some sense, or homeomorphic to the complement of a generalized augmented link. We show this structure persists under high D…
Rectangular diagrams of links are link diagrams in the plane ${\mathbb R}^2$ such that they are composed of vertical line segments and horizontal line segments and vertical segments go over horizontal segments at all crossings. P. R. Cromwell and I. A. Dynnikov showed that rectangular diagrams of links are useful for deciding whether a given link is split or not, and whether a given knot is trivial or not. We show in this paper that an oriented link diagram $D$ with $c(D)$ crossings and $s(D)$ Seifert circles can be deformed by an ambient isotopy of ${\mathbb R}^2$ into a rectangular diagram w…
Recently, Dasbach, Futer, Kalfagianni, Lin, and Stoltzfus extended the notion of a Tait graph by associating a set of ribbon graphs (or equivalently, embedded graphs) to a link diagram. Here we focus on Seifert graphs, which are the ribbon graphs of a knot or link diagram that arise from Seifert states. We provide a characterization of Seifert graphs in terms of Eulerian subgraphs. This characterization can be viewed as a refinement of the fact that Seifert graphs are bipartite. We go on to examine the family of ribbon graphs that arises by forming the parallels of a link diagram and determine…
Let $L$ be an oriented link with an alternating diagram $D$. It is known that $L$ is a fibered link if and only if the surface $R$ obtained by applying Seifert's algorithm to $D$ is a Hopf plumbing. Here, we call $R$ a Hopf plumbing if $R$ is obtained by successively plumbing finite number of Hopf bands to a disk. In this paper, we discuss its extension so that we show the following theorem. Let $R$ be a Seifert surface obtained by applying Seifert's algorithm to an almost alternating diagrams. Then $R$ is a fiber surface if and only if $R$ is a Hopf plumbing. We also show that the above theor…
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…
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.
We study the effect of Nielsen moves and their geometric counterparts, handle slides, on good boundary links. A collection of links, universal for 4-dimensional surgery, is shown to admit Seifert surfaces with trivial Lagrangian. They are good boundary links, with Seifert matrices of a more general form than in known constructions of slice links. We show that a certain more restrictive condition on Seifert matrices is sufficient for proving the links are slice. We also give a correction of a Kirby calculus identity in \cite{FK2}, useful for constructing surgery kernels associated to link-slice…
The Goeritz matrix of a link is obtained from the Jacobian matrix of a modified Dehn presentation associated to a diagram using Fox's free differential calculus. When the diagram is special the Seifert matrix can also be determined from the presentation.
We give an example of a 3-component smoothly slice boundary link, each of whose components has a genus one Seifert surface, such that any metaboliser of the boundary link Seifert form is represented by 3 curves on the Seifert surfaces that form a link with nonvanishing Milnor triple linking number. We also give a generalisation to m-component links and higher Milnor invariants. We prove that our examples are ribbon and that all ribbon links are boundary slice.
We prove that basket links, whose symmetrized Seifert form is congruent to the Cartan matrix of the simply laced Dynkin diagram $A_{n}$, are isotopic to the torus link $T(2,n+1)$. In addition, we provide examples of links, constructed by plumbing $n$ positive Hopf bands the core curves of which intersect at most once, with symmetrized Seifert form congruent to the Cartan matrix $A_{n}$, that are not isotopic to $T(2,n+1)$.
In this survey paper we present results about link diagrams in Seifert manifolds using arrow diagrams, starting with link diagrams in $F\times S^1$ and $N\hat{\times}S^1$, where $F$ is an orientable and $N$ an unorientable surface. Reidemeister moves for such arrow diagrams make the study of link invariants possible. Transitions between arrow diagrams and alternative diagrams are presented. We recall results about %the knot group presentation for lens spaces and the Kauffman bracket and HOMFLYPT skein modules of some Seifert manifolds using arrow diagrams, namely lens spaces, a product of a di…
It is well known that the Blanchfield pairing of a knot can be expressed using Seifert matrices. In this paper, we compute the Blanchfield pairing of a colored link with non-zero Alexander polynomial. More precisely, we show that the Blanchfield pairing of such a link can be written in terms of generalized Seifert matrices which arise from the use of C-complexes.
The classification of high-dimensional mu-component boundary links motivates decomposition theorems for the algebraic K-groups of the group ring A[F_mu] and the noncommutative Cohn localization Sigma^{-1}A[F_mu], for any mu>0 and an arbitrary ring A, with F_mu the free group on mu generators and Sigma the set of matrices over A[F_mu] which become invertible over A under the augmentation A[F_mu] to A. Blanchfield A[F_mu]-modules and Seifert A-modules are abstract algebraic analogues of the exteriors and Seifert surfaces of boundary links. Algebraic transversality for A[F_mu]-module chain comple…
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.
In this paper we review the definitions of homogeneous and alternative links. We also give two new characterizations of an alternative link diagram, one within the context of the enhanced checkerboard graph and another from the labeled Seifert graph.
We characterise positive braid links with positive Seifert form via a finite number of forbidden minors. From this we deduce a one-to-one correspondence between prime positive braid links with positive Seifert form and simply laced Dynkin diagrams, as well as a simple classification of alternating positive braid knots.
We show that $|MS(L_1 # L_2)|=|MS(L_1)|\times|MS(L_2)|\times\mathbb{R}$ when $L_1$ and $L_2$ are any non-split and non-fibred links. Here $MS(L)$ denotes the Kakimizu complex of a link $L$, which records the taut Seifert surfaces for $L$. We also show that the analogous result holds if we study incompressible Seifert surfaces instead of taut ones.
We discuss when homogeneous quasipositive links are positive. In particular, we show that a homogeneous diagram of a quasipositive link whose number of Seifert circles is equal to the braid index is a positive diagram.
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 S(D) be the surface produced by applying Seifert's algorithm to the oriented link diagram D. I prove that if D has no negative crossings then S(D) is a quasipositive Seifert surface, that is, S(D) embeds incompressibly on a fiber surface plumbed from positive Hopf annuli. This result, combined with the truth of the `local Thom Conjecture', has various interesting consequences; for instance, it yields an easily-computed estimate for the slice euler characteristic of the link L(D) (where D is arbitrary) that extends and often improves the `slice-Bennequin inequality' for closed-braid diagram…
It is well known that the braid index of a link equals the minimum number of Seifert circles among all link diagrams representing it. For a link with a reduced alternating diagram $D$, $s(D)$, the number of Seifert circles in $D$, equals the braid index $\textbf{b}(D)$ of $D$ if $D$ contains no {\em lone crossings} (a crossing in $D$ is called a {\em lone crossing} if it is the only crossing between two Seifert circles in $D$). If $D$ contains lone crossings, then $\textbf{b}(D)$ is strictly less than $s(D)$. However in general it is not known how $s(D)$ is related to $\textbf{b}(D)$. In this …
We prove the following: Let $2p + 1$ be no less than 5 and $p$ be a natural number. Let $K$ and $J$ be closed, oriented, $(2p+1)$-dimensional connected, $(p-1)$-connected, simple submanifolds of the standard $(2p+3)$-sphere. Then $K$ is equivalent to $J$ if and only if a Seifert matrix associated with a simple Seifert hypersurface for $K$ is $(-1)^p$-$S$-equivalent to that for $J$. We also discuss the $2p+1=3$ case. This result implies one of our main results: Let $μ$ be a natural number. A 1-link $A$ is pass-move equivalent to a 1-link $B$ if and only if the knot product of $A$ and $μ$ copies…
In 1982 Louis Kauffman conjectured that if a knot in the 3-sphere is a slice knot then on any Seifert surface for that knot there exists a homologically essential simple closed curve of self-linking zero which is itself a slice knot, or at least has Arf invariant zero. Since that time, considerable evidence has been amassed in support of this conjecture. In particular, many invariants that obstruct a knot from being a slice knot have been explictly expressed in terms of invariants of such curves on the Seifert surface. We give counterexamples to Kauffman's conjecture, that is, we exhibit (smoo…
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…
We study the Kakimizu complex of a split link. As part of this, we also study Seifert surfaces and the Kakimizu complex for a non-split link in a 3-ball. In addition, we show that a simplex of the Kakimizu complex of a non-split link can be realised in an essentially unique way.
We show that for a special alternating link diagram, the following three polynomials are essentially the same: a) the part of the HOMFLY polynomial that corresponds to the leading term in the Alexander polynomial; b) the $h$-vector for a triangulation of the root polytope of the Seifert graph and c) the enumerator of parking functions for the planar dual of the Seifert graph. These observations yield formulas for the maximal $z$-degree part of the HOMFLY polynomial of an arbitrary homogeneous link as well. Our result is part of a program aimed at reading HOMFLY coefficients out of Heegaard Flo…
We use topological methods to prove a semicontinuity property of the Hodge spectra for analytic germs defined on an isolated surface singularity. For this we introduce an analogue of the Seifert matrix (the fractured Seifert matrix), and of the Levine--Tristram signatures associated with it, defined for null-homologous links in arbitrary three dimensional manifolds. Moreover, we establish Murasugi type inequalities in the presence of cobordisms of links. It turns out that the fractured Seifert matrix determines the Hodge spectrum and the Murasugi type inequalities can be read as spectrum semic…
