Novikov initiated the study of the algebraic properties of quadratic forms over polynomial extensions by a far-reaching analogue of the Pontrjagin-Thom transversality construction of a Seifert surface of a knot and the infinite cyclic cover of the knot exterior. In this paper the analogy is applied to explain the relationship between the Seifert forms over a ring with involution and Blanchfield forms over the Laurent polynomial extension.
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…
In this survey article we present connections between Picard--Lefschetz invariants of isolated hypersurface singularities and Blanchfield forms for links. We emphasize the unifying role of Hermitian Variation Structures introduced by Némethi.
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.
In this article, we give a classification of Alexander modules of null-homologous knots in rational homology spheres. We characterize these modules A equipped with their Blanchfield forms $ϕ$, and the modules A such that there is a unique isomorphism class of $(A,ϕ)$, and we prove that for the other modules A, there are infinitely many such classes. We realise all these $(A,ϕ)$ by explicit knots in rational homology spheres.
In 1997, T. Cochran, K. Orr, and P. Teichner defined a filtration {F_n} of the classical knot concordance group C. The filtration is important because of its strong connection to the classification of topological 4-manifolds. Here we introduce new techniques for studying C and use them to prove that, for each natural number n, the abelian group F_n/F_{n.5} has infinite rank. We establish the same result for the corresponding filtration of the smooth concordance group. We also resolve a long-standing question as to whether certain natural families of knots, first considered by Casson-Gordon and…
We study some comparison between a bilinear cohomology pairing in local coefficients and the Blanchfield pairing of a knot. We show that the former pairing is an $S$-equivalent invariant, and give a criterion to a relation between the two pairings. We also observe that the pairings of some knots are equivalent, and that the pairings of other knots are not equivalent.
We calculate Blanchfield pairings of 3-manifolds. In particular, we give a formula for the Blanchfield pairing of a fibred 3-manifold and we give a new proof that the Blanchfield pairing of a knot can be expressed in terms of a Seifert matrix.
We give a formula for the duality structure of the 3-manifold obtained by doing zero-framed surgery along a knot in the 3-sphere, starting from a diagram of the knot. We then use this to give a combinatorial algorithm for computing the twisted Blanchfield pairing of such 3-manifolds. With the twisting defined by Casson-Gordon style representations, we use our computation of the twisted Blanchfield pairing to show that some subtle satellites of genus two ribbon knots yield non-slice knots. The construction is subtle in the sense that, once based, the infection curve lies in the second derived s…
In a classic paper Zeeman introduced the k-twist spin of a knot K and showed that the exterior of a twist spin fibers over S^1. In particular this result shows that the knot K # -K is doubly slice. In this paper we give a quick proof of Zeeman's result. The k-twist spin of K also gives rise to two metabolizers for K # -K and we determine these two metabolizers precisely.
We establish homotopy ribbon concordance obstructions coming from the Blanchfield form and Levine-Tristram signatures. Then, as an application of twisted Alexander polynomials, we show that for every knot K with nontrivial Alexander polynomial, there exists an infinite family of knots that are all concordant to K and have the same Blanchfield form as K, such that no pair of knots in that family is homotopy ribbon concordant.
We prove a decomposition formula for twisted Blanchfield pairings of 3-manifolds. As an application we show that the twisted Blanchfield pairing of a 3-manifold obtained from a 3-manifold Y with a representation $ϕ: Z[π_1(Y)] \to R$, infected by a knot J along a curve $η$ with $ϕ(η) \neq 1$, splits orthogonally as the sum of the twisted Blanchfield pairing of Y and the ordinary Blanchfield pairing of the knot J, with the latter tensored up from $Z[t,t^{-1}]$ to R.
We introduce a new technique for showing classical knots and links are not slice. As one application we resolve a long-standing question as to whether certain natural families of knots contain topologically slice knots. We also present a simpler proof of the result of Cochran-Teichner that the successive quotients of the integral terms of the Cochran-Orr-Teichner filtration of the knot concordance group have rank 1. For links we have similar results. We show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence…
Recently Kearton showed that any Seifert matrix of a knot is S--equivalent to the Seifert matrix of a prime knot. We show in this note that such a matrix is in fact S--equivalent to the Seifert matrix of a hyperbolic knot. This result follows from reinterpreting this problem in terms of Blanchfield pairings and by applying results of Kawauchi.
We study cobordisms and cobordisms rel boundary of PL locally-flat disk knots $D^{n-2}\into D^n$. Cobordisms of disk knots that do not fix the boundary sphere knots are easily classified by the cobordism properties of these boundaries, and any two even-dimensional disk knots with isotopic boundary knots are cobordant rel boundary. However, the cobordism rel boundary theory of odd-dimensional disk knots is more subtle. Generalizing results of Levine on cobordism of sphere knots, we define disk knot Seifert matrices and show that two higher-dimensional disk knots with isotopic boundaries are cob…
Null Lagrangian-preserving surgeries are a generalization of the Garoufalidis and Rozansky null-moves, that these authors introduced to study the Kricker lift of the Kontsevich integral, in the setting of pairs (M,K) composed of a rational homology sphere M and a null-homologous knot K in M. They are defined as replacements of null-homologous rational homology handlebodies of M\K by other such handlebodies with identical Lagrangian. A null Lagrangian-preserving surgery induces a canonical isomorphism between the rational Alexander modules of the involved pairs, which preserves the Blanchfield …
We find an infinite family of Seifert fibered surgeries on strongly invertible knots which do not have primitive/Seifert positions. Each member of the family is obtained from a trefoil knot after alternate twists along a pair of seiferters for a Seifert fibered surgery on a trefoil knot.
Given a link in $S^3$ we will use invariants derived from the Alexander module and the Blanchfield pairing to obtain lower bounds on the Gordian distance between links, the unlinking number and various splitting numbers. These lower bounds generalise results recently obtained by Kawauchi. We give an application restricting the knot types which can arise from a sequence of splitting operations on a link. This allows us to answer a question asked by Colin Adams in 1996.
A Seifert surgery is a pair (K, m) of a knot K in the 3-sphere and an integer m such that m-Dehn surgery on K results in a Seifert fiber space allowed to contain fibers of index zero. Twisting K along a trivial knot called a seiferter for (K, m) yields Seifert surgeries. We study Seifert surgeries obtained from those on a trefoil knot by twisting along their seiferters. Although Seifert surgeries on a trefoil knot are the most basic ones, this family is rich in variety. For any m which is not -2 it contains a successive triple of Seifert surgeries (K, m), (K, m +1), (K, m +2) on a hyperbolic k…
How do Seifert surgeries on hyperbolic knots arise from those on torus knots? We approach this question from a networking viewpoint. The Seifert Surgery Network is a 1-dimensional complex whose vertices correspond to Seifert surgeries; two vertices are connected by an edge if one Seifert surgery is obtained from the other by a single twist along a trivial knot called a seiferter or along an annulus cobounded by seiferters. Successive twists along a "hyperbolic seiferter" or a "hyperbolic annular pair" produce infinitely many Seifert surgeries on hyperbolic knots. In this paper, we investigate …
A Seifert surgery is an integral surgery on a knot in S^3 producing a Seifert fiber space which may contain an exceptional fiber of index 0. The Seifert Surgery Network is a 1-dimensional complex whose vertices correspond to Seifert surgeries; its edges correspond to single twistings along "seiferters" or "annular pairs of seiferters". One problem of the network is whether there is a path from each vertex to a vertex on a torus knot, the most basic Seifert surgery. We give a method to find seiferters and annular pairs of seiferters for Seifert surgeries obtained by taking two--fold branched co…
The twisted torus knots lie on the standard genus 2 Heegaard surface for $S^3$, as do the primitive/primitive and primitive/Seifert knots. It is known that primitive/primitive knots are fibered, and that not all primitive/Seifert knots are fibered. Since there is a wealth of primitive/Seifert knots that are twisted torus knots, we consider the twisted torus knots to partially answer the question of which primitive/Seifert knots are fibered. A braid computation shows that a particular family of twisted torus knots is fibered, and that computation is then used to generalize the results of a prev…
We show that if a Montesinos knot admits a Dehn surgery yielding a toroidal Seifert fibered 3-manifold, then the knot is the trefoil knot and the surgery slope is 0.
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 show that for each Seifert form of an algebraically slice knot with nontrivial Alexander polynomial, there exists an infinite family of knots having the Seifert form such that the knots are linearly independent in the knot concordance group and not concordant to any knot with coprime Alexander polynomial. Key ingredients for the proof are Cheeger-Gromov-von Neumann rho-invariants for amenable groups developed by Cha and Orr and polynomial splittings of metabelian rho-invariants.
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 give a complete classification of toroidal Seifert fibered surgeries on alternating knots. Precisely, we show that if an alternating knot admits a toroidal Seifert fibered surgery, then the knot is either the trefoil knot and the surgery slope is zero, or the connected sum of a (2,p)-torus knot and a (2,q)-torus knot and the surgery slope is 2(p+q) with |p|, |q| at least three.
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 develop a theory of chain complex double-cobordism for chain complexes equipped with Poincaré duality. The resulting double-cobordism groups are a refinement of Ranicki's torsion algebraic $L$-groups for localisations of a commutative ring with involution. The refinement is analogous to the difference between metabolic and hyperbolic linking forms. We apply the double $L$-groups in high-dimensional knot theory to define an invariant for doubly-slice $n$-knots. We prove that the "stably doubly-slice implies doubly-slice" property holds (algebraically) for Blanchfield forms, Seifert forms and…
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.
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…
In this paper, we define the primitive/Seifert-fibered property for a knot in S^3. If satisfied, the property ensures that the knot has a Dehn surgery that yields a small Seifert-fibered space (i.e. base S^2 and three or fewer critical fibers). Next we describe the twisted torus knots, which provide an abundance of examples of primitive/Seifert-fibered knots. By analyzing the twisted torus knots, we prove that nearly all possible triples of multiplicities of the critical fibers arise via Dehn surgery on primitive/Seifert-fibered knots.
Exceptional Dehn surgeries on arborescent knots have been classified except for Seifert fibered surgeries on Montesinos knots of length 3. There are infinitely many of them as it is known that 4n+6 and 4n+7 surgeries on a (-2, 3, 2n+1) pretzel knot are Seifert fibered. It will be shown that there are only finitely many others. A list of 20 surgeries will be given and proved to be Seifert fibered. We conjecture that this is a complete list.
We define a filtration on the vector space spanned by Seifert matrices of knots related to Vassiliev's filtration on the space of knots. Further we show that the invariants of knots derived from the filtration can be expressed by coefficients of the Alexander polynomial.
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.
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 consider the question of how many essential Seifert Klein bottles with common boundary slope a knot in S^3 can bound, up to ambient isotopy. We prove that any hyperbolic knot in S^3 bounds at most six Seifert Klein bottles with a given boundary slope. The Seifert Klein bottles in a minimal projection of hyperbolic pretzel knots of length 3 are shown to be unique and pi_1-injective, with surgery along their boundary slope producing irreducible toroidal manifolds. The cable knots which bound essential Seifert Klein bottles are classified; their Seifert Klein bottles are shown to be non-pi_1-i…
We show that if $B$ is an aspherical 2-orbifold in one of the families known to have orbifold fundamental groups of weight 1 then $B$ is the base of a Seifert fibration of a 2-knot manifold $M(K)$.
We prove that there are exactly $6$ Nil Seifert fibred spaces which can be obtained by Dehn surgeries on non-trefoil knots in $S^3$, with $\{60, 144, 156, 288, 300\}$ as the exact set of all such surgery slopes up to taking the mirror images of the knots. We conjecture that there are exactly $4$ specific hyperbolic knots in $S^3$ which admit Nil Seifert fibred surgery. We also give some more general results and a more general conjecture concerning Seifert fibred surgeries on hyperbolic knots in $S^3$.
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…
Which slopes can or cannot appear as Seifert fibered slopes for hyperbolic knots in the 3-sphere S^3? It is conjectured that if r-surgery on a hyperbolic knot in S^3 yields a Seifert fiber space, then r is an integer. We show that for each integer n, there exists a tunnel number one, hyperbolic knot K_n in S^3 such that n-surgery on K_n produces a small Seifert fiber space.
For every genus $g\geq 2$, we construct an infinite family of strongly quasipositive fibred knots having the same Seifert form as the torus knot $T(2,2g+1)$. In particular, their signatures and four-genera are maximal and their homological monodromies (hence their Alexander module structures) agree. On the other hand, the geometric stretching factors are pairwise distinct and the knots are pairwise not ribbon concordant.
By a recent result of Livingston, it is known that if a knot has a prime power branched cyclic cover that is not a homology sphere, then there is an infinite family of non-concordant knots having the same Seifert form as the knot. In this paper, we extend this result to the full extent. We show that if the knot has nontrivial Alexander polynomial, then there exists an infinite family of non-concordant knots having the same Seifert form as the knot. As a corollary, no nontrivial Alexander polynomial determines a unique knot concordance class. We use Cochran-Orr-Teichner's recent result on the k…
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.
We complete the classification of hyperbolic pretzel knots admitting Seifert fibered surgeries. This is the final step in understanding all exceptional surgeries on hyperbolic pretzel knots. We also present results toward similar classifications for non-pretzel Montesinos knots of length three.
We give a new criterion for a given knot to be a Montesinos knot by using the Rasmussen invariant and the signature. We apply the criterion to study Seifert fibered surgery on a strongly invertible knot, and show that a $(p,q,q)$-pretzel knot with integers $p,q \ge 2$ admits no Seifert fibered surgery.
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.
The aim of this paper is to investigate the relations between Seifert manifolds and (1,1)-knots. In particular, we prove that every orientable Seifert manifold with invariants {Oo,0|-1;(p,q),...,(p,q),(l, l-1)} has a cyclically presented fundamental group and, moreover, it is the n-fold strongly-cyclic covering of the lens space L(|nlq-p|,q), branched over the (1,1)-knot K(q,q(nl-2),p-2q,p-q) if p>=2q, and over the (1,1)-knot K(p-q,2q-p,q(nl-2),p-q) if p<2q.
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…
This article was originally published in Topology 31 (1992). The present hyperTeXed redaction corrects a few typographical errors and updates the references.
For a knot $K$ with $Δ_K(t)\doteq t^2-3t+1$ in a homology $3$-sphere, let $M$ be the result of $2/q$-surgery on $K$. We show that an appropriate assumption on the Reidemeister torsion of the universal abelian covering of $M$ implies $q=\pm 1$, if $M$ is a Seifert fibered space.
For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot having the Poincaré homology $3$-sphere as a Seifert hypersurface has at least four irreducible $SU(2)$-representations of its knot group. This result is false in the topological category. The proof uses a quantitative formulation of instanton Floer homology. Using similar techniques, we also obtain similar results about codimension-$1$ embeddings of homology $3$…
For a knot $K$ with $Δ_K(t)\doteq t^2-3t+1$ in a homology $3$-sphere, let $M$ be the result of $2/q$-surgery on $K$. We show that appropriate assumptions on the Reidemeister torsion and the Casson-Walker-Lescop invariant of the universal abelian covering of $M$ imply $q=\pm 1$, if $M$ is a Seifert fibered space.
We examine surgery on a knot in $S^3$ to determine surgery obstructions to Seifert fibered integral homology spheres. We find such surgery obstructions using Heegaard Floer, Knot Floer homology and the mapping cone formula for computing Heegaard Floer homology of surgery on a knot. Here however, we take a different approach and use the number of singular fibers of a Seifert fibered integral homology sphere, which is the toroidal structure, to find obstructions. This approach allows us to show that genus one knots cannot yield Seifert fibered integral homology spheres with six or more singular …
We study an invariant of a 3-manifold which consists of Reidemeister torsion for linear representations which pass through a finite group. We show a Dehn surgery formula on this invariant and compute that of a Seifert manifold over $S^2$. As a consequence we obtain a necessary condition for a result of Dehn surgery along a knot to be Seifert fibered, which can be applied even in a case where abelian Reidemeister torsion gives no information.
