In this paper it is shown that manifolds admitting minimal genus weakly reducible but irreducible Heegaard splittings contain an essential surface. This is an extension of a well known theorem of Casson-Gordon to manifolds with non-empty boundary. The situation for non-minimal genus Heegaard splittings is also investigated and it is shown that boundary stabilizations are stabilizations for manifolds which are boundary primitive.
It is known that if any prime power branched cyclic cover of a knot in the 3-sphere is a homology sphere, then the knot has vanishing Casson-Gordon invariants. We construct infinitely many examples of (topologically) non-slice knots in the 3-sphere whose prime power branched cyclic covers are homology spheres. We show that these knots generate an infinite rank subgroup of F_(1.0)/F_(1.5) for which Casson-Gordon invariants vanish in Cochran-Orr-Teichner's filtration of the classical knot concordance group . As a corollary, it follows that Casson-Gordon invariants are not a complete set of obstr…
In this paper we prove that the Casson-Gordon invariants of the connected sum of two knots split when the Alexander polynomials of the knots are coprime. As one application, for any knot K, all but finitely many algebraically slice twisted doubles of K are linearly independent in the knot concordance group.
Given a rational homology sphere which bounds rational homology balls, we investigate the complexity of these balls as measured by the number of 1-handles in a handle decomposition. We use Casson-Gordon invariants to obtain lower bounds which also lead to lower bounds on the fusion number of ribbon knots. We use Levine-Tristram signatures to compute these bounds and produce explicit examples.
In this paper, we prove a conjecture of Friedl and Powell that their Casson-Gordon type invariant of 2-component link with linking number one is actually an obstruction to being height 3.5 Whitney tower/grope concordant to the Hopf Link. The proof employs the notion of solvable cobordism of 3-manifolds with boundary, which was introduced by Cha. We also prove that the Blanchfield form and the Alexander polynomial of links in $S^3$ give obstructions to height 3 Whitney tower/grope concordance. This generalizes the results of Hillman and Kawauchi.
In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let $π$ be a group and let $M \to N$ be a homomorphism between projective $\Z[π]$-modules such that $\Z_p \otimes_{\Z[π]} M\to \Z_p \otimes_{\Z[π]} N$ is injective; for which other right $\Z[π]$-modules $V$ is the induced map $V \otimes_{\Z[π]} M\to V\otimes_{\Z[π]}N$ also injective? Our main theorem gives a new criterion which combines and generalizes many previous results.
We give a useful classification of the metabelian unitary representations of pi_1(M_K), where M_K is the result of zero-surgery along a knot K in S^3. We show that certain eta invariants associated to metabelian representations pi_1(M_K) --> U(k) vanish for slice knots and that even more eta invariants vanish for ribbon knots and doubly slice knots. We show that our vanishing results contain the Casson-Gordon sliceness obstruction. In many cases eta invariants can be easily computed for satellite knots. We use this to study the relation between the eta invariant sliceness obstruction, the eta-…
We use twisted Alexander polynomials to show that certain algebraically slice 2-bridge knots are not topologically slice, even though all prime power Casson-Gordon signatures vanish. We also provide some computations indicating the efficacy of Casson-Gordon signatures in obstructing the smooth sliceness of 2-bridge knots.
Let K and K' be 2-knots. Suppose that K and K' are ribbon-move equivalent. Then the Farber-Levine pairing for K is equivalent to that for K' and the (Z-)torsion part of the first Alexander module of $K$ is isomorphic to that of K' as Z[Z] modules. Let K be a 2-knot which is ribbon-move equivalent to the trivial knot. Then the Atiyah-Patodi-Singer-Casson-Gordon-Ruberman Q/Z-valued \widetildeη-invariants of K for Z_d is zero. (d is a natural number. d>2.).
In this paper we show that for a given 3-manifold and a given Heegaard splitting there are finitely many preferred decomposing systems of $3g - 3$ disjoint essential disks. These are characterized by a combinatorial criterion which is a slight strengthening of Casson-Gordon's rectangle condition. This is in contrast to fact that in general there can exist infinitely many such systems of disks which satisfy just the Casson-Gordon rectangle condition.
Casson and Gordon gave the rectangle condition for strong irreducibility of Heegaard splittings [1]. We give a parity condition for irreducibility of Heegaard splittings of irreducible manifolds. As an application, we give examples of non-stabilized Heegaard splittings by doing a single Dehn twist.
In this paper, we develop a lower bound for the double slice genus of a knot using Casson-Gordon invariants. As an application, we show that the double slice genus can be arbitrarily larger than twice the slice genus. As an analogue to the double slice genus, we also define the superslice genus of a knot, and give both an upper bound and a lower bound in the topological category.
We present a lower bound on the stable $4$-genus of a knot based on Casson-Gordon $τ$-signatures. We compute the lower bound for an infinite family of knots, the twist knots, and show that a twist knot is torsion in the knot concordance group if and only if it has vanishing stable $4$-genus.
We define Casson-Gordon sigma-invariants for links and give a lower bound of the slice genus of a link in terms of these invariants. We study as an example a family of two component links of genus h and show that their slice genus is h, whereas the Murasugi-Tristram inequality does not obstruct this link from bounding an annulus in the 4-ball.
A famous example of Casson and Gordon shows that a Haken 3-manifold can have an infinite family of irreducible Heegaard splittings with different genera. In this paper, we prove that a closed non-Haken 3-manifold has only finitely many irreducible Heegaard splittings, up to isotopy. This is much stronger than the Waldhausen conjecture. Another immediate corollary is that for any irreducible non-Haken 3-manifold M, there is a number N, such that any two Heegaard splittings of M are equivalent after at most N stabilizations.
In 2001, J. Hempel proved the existence of Heegaard splittings of arbitrarily high distance by using a high power of a pseudo-Anosov map as the gluing map between two handlebodies. We show that lower bounds on distance can also be obtained when using a high power of a suitably chosen Dehn twist. In certain cases, we can then determine the exact distance of the resulting splitting. These results can be seen as a natural extension of work by A. Casson and C. Gordon in 1987 regarding strongly irreducible Heegaard splittings.
In knot concordance three genera arise naturally, g(K), g_4(K), and g_c(K): these are the classical genus, the 4-ball genus, and the concordance genus, defined to be the minimum genus among all knots concordant to K. Clearly 0 <= g_4(K) <= g_c(K) <= g(K). Casson and Nakanishi gave examples to show that g_4(K) need not equal g_c(K). We begin by reviewing and extending their results. For knots representing elements in A, the concordance group of algebraically slice knots, the relationships between these genera are less clear. Casson and Gordon's result that A is nontrivial implies that g_4(K) ca…
We develop obstructions to a knot K in the 3-sphere bounding a smooth punctured Klein bottle in the 4-ball. The simplest of these is based on the linking form of the 2-fold branched cover of the 3-sphere branched over K. Stronger obstructions are based on the Ozsvath-Szabo correction term in Heegaard-Floer homology, along with the G-signature theorem and the Guillou-Marin generalization of Rokhlin's theorem. We also apply Casson-Gordon theory to show that for every n greater than one there exists a knot that does not bound a topologically embedded nonorientable ribbon surface F in the 4-ball w…
Let M be a 3-manifold admitting a strongly irreducible Heegaard surface S and f:M \to M an involution. We construct an invariant Heegaard surface for M of genus at most 8 g(S) - 7. As a consequence, given a (possibly branched) double cover π:M \to N we obtain the following bound on the Heegaard genus of N: g(N) \leq 4g(S) - 3. We also get a bound on the complexity of the branch set in terms of g(S). If we assume that M is non-Haken, by Casson and Gordon we may replace g(S) by g(M) in all the statements above.
A Heegaard splitting of an open 3-manifold is the partition of the manifold into two non-compact handlebodies which intersect on their common boundary. This paper proves several non-compact analogues of theorems about compact Heegaard splittings. The main theorem is: if N is a compact, connected, orientable 3-manifold with non-empty boundary, containing no S^2 components, and if M is obtained from N by removing the boundary then any two Heegaard splittings of M are properly ambient isotopic. This is a non-compact analogue of the classifications of splittings of (closed surface) x I and (closed…
We consider a Heegaard splitting M=H_1 \cup_S H_2 of a 3-manifold M having an essential disk D in H_1 and an essential surface F in H_2 with |D \cap F|=1. (We require that boundary of F is in S when H_2 is a compressionbody with non-empty "minus" boundary.) Let F be a genus g surface with n boundary components. From S, we obtain a genus g(S)+2g+n-2 Heegaard splitting M=H'_1 \cup_S' H'_2 by cutting H_2 along F and attaching F \times [0,1] to H_1. As an application, by using a theorem due to Casson and Gordon, we give examples of 3-manifolds having two Heegaard splittings of distinct genera wher…
