It is known that every oriented integral homology 3-sphere can be obtained from S^3 by a finite sequence of Borromean surgeries.
We give an explicit formula for the variation of the Casson invariant under such a surgery move. The formula involves simple classical invariants, namely the framing, linking number and Milnor's triple linking number.
A more general statement, for n independent Borromean surgeries, is also provided, which involves an additional cubic expression in some linking numbers of the surgery link.
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.
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.
We consider the cosmetic surgery problem for two-bridge knots in the 3-sphere. It is seen that all the two-bridge knots at most 9 crossings other than $9_{27} = S(49,19)=C[2,2,-2,2,2,-2]$ admits no purely cosmetic surgery pairs. Then we show that any two-bridge knot of the Conway form $[2x,2,-2x,2x,2,-2x]$ with $x \ge 1$ admits no cosmetic surgery pairs yielding homology 3-spheres, where $9_{27}$ appears for $x=1$. Our advantage to prove this is using the $SL(2,\mathbb{C})$ Casson invariant.
We prove a surgery formula of the Casson-Seiberg-Witten invariant of integral homology $S^1 \times S^3$ along an embedded torus, which could either be regarded as an extension of the product formula for Seiberg-Witten invariants or a manifestation of the surgery exact triangle in $4$-dimensional Seiberg-Witten theory of homology $S^1 \times S^3$. As an application, we compute this invariant for mapping tori of $3$-manifolds under diffeomorphisms of finite order and fixed-point set being a simple closed curve. This computation generalizes the result of Lin-Ruberman-Saveliev.
For a knot $K$ in a homology $3$-sphere $Σ$, let $M$ be the result of $2/q$-surgery on $K$, and let $X$ be the universal abelian covering of $M$. Our first theorem is that if the first homology of $X$ is finite cyclic and $M$ is a Seifert fibered space with $N\ge 3$ singular fibers, then $N\ge 4$ if and only if the first homology of the universal abelian covering of $X$ is infinite. Our second theorem is that under an appropriate assumption on the Alexander polynomial of $K$, if $M$ is a Seifert fibered space, then $q=\pm 1$ (i.e.\ integral surgery).
Matveev introduced Borromean surgery on 3-manifolds, and proved that the equivalence relation on closed, oriented 3-manifolds generated by Borromean surgeries is characterized by the first homology group and the torsion linking pairing. Massuyeau generalized this result to closed, spin 3-manifolds, and the second author to compact, oriented 3-manifolds with boundary. In this paper we give a partial generalization of these results to compact, spin 3-manifolds with boundary.
We investigate the behavior of the SL(2,C) Casson invariant for 3-manifolds obtained by Dehn surgery along two-bridge knots. Using the results of Hatcher and Thurston, and also results of Ohtsuki, we outline how to compute the Culler--Shalen seminorms, and we illustrate this approach by providing explicit computations for double twist knots. We then apply the surgery formula of Curtis to deduce the SL(2,C) Casson invariant for the 3-manifolds obtained by p/q-Dehn surgery on such knots. These results are applied to prove nontriviality of the SL(2,C) Casson invariant for nearly all 3-manifolds o…
We refine Matveev's result asserting that any two closed oriented 3-manifolds can be related by a sequence of borromean surgeries if and only if they have isomorphic first homology groups and linking pairings. Indeed, a borromean surgery induces a canonical isomorphism between the first homology groups of the involved 3-manifolds, which preserves the linking pairing. We prove that any such isomorphism is induced by a sequence of borromean surgeries. As an intermediate result, we prove that a given algebraic square finite presentation of the first homology group of a 3-manifold, which encodes t…
We give a rational surgery formula for the Casson-Walker invariant of a 2-component link in $S^{3}$ which is a generalization of Matveev-Polyak's formula. As application, we give more examples of non-hyperbolic L-space $M$ such that knots in $M$ are determined by their complements. We also apply the result for the cosmetic crossing conjecture.
We establish the exact triangle in Seiberg-Witten-Floer theory relating the monopoloe homologies of any two closed 3-manifolds which are obtained from each other by $\pm 1$-surgery. We also show that the sum of the modified version of the Seiberg-Witten invariants for any closed rational homology 3-sphere $Y$ over all $Spin^c$ structures equals to $\frac 12 |H_1(Y, \Z)| λ(Y)$ where $λ(Y)$ is the Casson-Walker invariant.
Let Θ(M,K) denote the 2-loop piece of (the logarithm of) the LMO invariant of a knot K in M, a ZHS^3. Forgetting the knot (by which we mean setting diagrams with legs to zero) specialises Θ(M,K) to λ(M), Casson's invariant. This note describes an extension of Casson's surgery formula for his invariant to Θ(M,K). To be precise, we describe the effect on Θ(M,K) of a surgery on a knot which together with K forms a boundary link in M. Whilst the presented formula does not characterise Θ(M,K), it does allow some insight into the underlying topology.
We derive a simple closed formula for the SL(2,C) Casson invariant for Seifert fibered homology 3-spheres using the correspondence between SL(2,C) character varieties and moduli spaces of parabolic Higgs bundles of rank two. These results are then used to deduce the invariant for Dehn surgeries on twist knots by combining computations of the Culler-Shalen norms with the surgery formula for the SL(2,C) Casson invariant.
In 1986, Matveev defined the notion of Borromean surgery for closed oriented 3-manifolds and showed that the equivalence relation generated by this move is characterized by the pair (first betti number, linking form up to isomorphism). We explain how this extends for 3-manifolds with spin structure if we replace the linking form by the quadratic form defined by the spin structure. We then show that the equivalence relation among closed spin 3-manifolds generated by spin Borromean surgeries is characterized by the triple (first betti number, linking form up to isomorphism, Rochlin invariant mod…
A long-standing conjecture due to Michael Freedman asserts that the 4-dimensional topological surgery conjecture fails for non-abelian free groups, or equivalently that a family of canonical examples of links (the generalized Borromean rings) are not A-B slice. A stronger version of the conjecture, that the Borromean rings are not even weakly A-B slice, where one drops the equivariant aspect of the problem, has been the main focus in search for an obstruction to surgery. We show that the Borromean rings, and more generally all links with trivial linking numbers, are in fact weakly A-B slice. T…
Gauss diagram formulas are extensively used to study Vassiliev link invariants. Now we apply this approach to invariants of 3-manifolds, considering manifolds given by surgery on framed links in the 3-sphere. We study the lowest degree case - the celebrated Casson-Walker invariant of rational homology spheres. This paper is dedicated to a detailed treatment of 2-component links; a general case will be considered in a forthcoming paper. We present simple Gauss diagram formulas for the Casson-Walker invariant. This enables us to understand/separate its dependence on the unframed link and on the …
We study chirally cosmetic surgeries, that is, a pair of Dehn surgeries on a knot producing homeomorphic 3-manifolds with opposite orientations. Several constraints on knots and surgery slopes to admit such surgeries are given. Our main ingredients are the original and the $SL(2,\mathbb{C})$ version of Casson invariants. As applications, we give a complete classification of chirally cosmetic surgeries on alternating knots of genus one.
Formulas previously presented for the Casson-Walker invariant are generalized to Lescop's extension. These formulas in terms of linking numbers and surgery coefficients compute the change in Lescop's invariant under crossing changes in a framed link presenting a 3-manifold. This leads us to revisit an old formula for a coefficient of the Conway polynomial. Finally we compute Lescop's invariant of several lens spaces and deduce some values for Dedekind sums.
A perturbative SU(3) Casson invariant $Λ_{SU(3)}(X)$ for integral homology 3-spheres is defined. Besides being fully perturbative, it has nice properties: (1) $4 . Λ_{SU(3)}(X)$ is an integer. (2) It is preseved under orientation change. (3) A connected sum formula holds. Explicit calculations of the invariant for $1/k$ surgery on $(2,q)$ torus knots are made and compared with a different generalization of Casson's invariant to SU(3) by Boden and Herald. For those cases computed, the invariant defined here is a quadratic polynomial in k for k>0 and a quadratic polynomial for k<0.
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-…
The goal of this paper is to give a new proof of a theorem of Meng and Taubes that identifies the Seiberg-Witten invariants of 3-manifolds with Milnor torsion. The point of view here will be that of topological quantum field theory. In particular, we relate the Seiberg-Witten equations on a 3-manifold with the Abelian vortex equations on a Riemann surface. These techniques also give a new proof of the surgery formula for the Casson invariant, interpreted as an invariant of a homology S^2 x S^1.
If a knot K bounds a genus one Seifert surface F in the 3-sphere and F contains an essential simple closed curve alpha that has induced framing 0 and is smoothly slice, then K is smoothly slice. Conjecturally, the converse holds. It is known that if K is slice, then there are strong constraints on the algebraic concordance class of such alpha, and it was thought that these constraints might imply that alpha is at least algebraically slice. We present a counterexample; in the process we answer negatively a question of Cooper and relate the result to a problem of Kauffman. Results of this paper …
Let $M_λ$ be the $λ$-component Milnor link. For $λ\ge 3$, we determine completely when a finite slope surgery along $M_λ$ yields a lens space including $S^3$ and $S^1\times S^2$, where {\it finite slope surgery} implies that a surgery coefficient of every component is not $\infty$. For $λ=3$ (i.e.\ the Borromean rings), there are three infinite sequences of finite slope surgeries yielding lens spaces. For $λ\ge 4$, any finite slope surgery does not yield a lens space. As a corollary, $M_λ$ for $λ\ge 3$ does not yield both $S^3$ and $S^1\times S^2$ by any finite slope surgery. We generalize the…
Taubes proved that the Casson invariant of an integral homology 3-sphere equals half the Euler characteristic of its instanton Floer homology. We extend this result to all closed oriented 3-manifolds with positive first Betti number by establishing a similar relationship between the Lescop invariant of the manifold and its instanton Floer homology. The proof uses surgery techniques.
In this paper, we define a new algebro-geometric invariant of 3-manifolds resulting from the Dehn surgery along a hyperbolic knot complement in S^3. We establish a Casson type invariant for these 3-manifolds. In the last section, we explicitly calculate the character variety of the figure-eight knot and discuss some applications, as well as the computation of our new invariants for some 3-manifolds resulting from the Dehn surgery along the figure-eight knot.
We study Heegaard Floer homology and various related invariants (such as the $h$-function) for two-component L-space links with linking number zero. For such links, we explicitly describe the relationship between the $h$-function, the Sato-Levine invariant and the Casson invariant. We give a formula for the Heegaard Floer $d$-invariants of integral surgeries on two-component L-space links of linking number zero in terms of the $h$-function, generalizing a formula of Ni and Wu. As a consequence, for such links with unknotted components, we characterize L-space surgery slopes in terms of the $ν^…
New methods for computing a variety of gauge theoretic invariants for homology 3-spheres are developed. These invariants include the Chern-Simons invariants, the spectral flow of the odd signature operator, and the rho invariants of irreducible SU(2) representations. These quantities are calculated for flat SU(2) connections on homology 3-spheres obtained by 1/k Dehn surgery on (2,q) torus knots. The methods are then applied to compute the SU(3) gauge theoretic Casson invariant (introduced in [H U Boden and C M Herald, The SU(3) Casson invariant for integral homology 3--spheres, J. Diff. Geom.…
Relations between the Atiyah-Patodi-Singer rho invariant and signatures of links have been known for a long time, but they were only partially investigated. In order to explore them further, we develop a versatile cut-and-paste formula for the rho invariant, which allows us to manipulate manifolds in a convenient way. With the help of this tool, we give a description of the multivariable signature of a link $L$ as the rho invariant of some closed $3$-manifold $Y_L$ intrinsically associated to $L$. We study then the rho invariant of the manifolds obtained by Dehn surgery on a $L$ along integer …
We prove a "splicing formula" for the LMO invariant, which is the universal finite-type invariant of rational homology $3$-spheres. Specifically, if a rational homology $3$-sphere $M$ is obtained by gluing the exteriors of two framed knots $K_1 \subset M_1$ and $K_2\subset M_2$ in rational homology $3$-spheres, our formula expresses the LMO invariant of $M$ in terms of the Kontsevich-LMO invariants of $(M_1,K_1)$ and $(M_2,K_2)$. The proof uses the techniques that Bar-Natan and Lawrence developed to obtain a rational surgery formula for the LMO invariant. In low degrees, we recover Fujita's fo…
