A formula for the Arf invariant of a link is given in terms of the singularities of an immersed surface bounded by the link. This is applied to study the computational complexity of quantum invariants of 3--manifolds.
We prove optimality of the Arf invariant formula for the generating function of even subgraphs, or, equivalently, the Ising partition function, of a graph.
We prove a surgery formula for the renormalized Euler characteristic of Ozsvath and Szabo. Equality between this Euler cahracteristic and the Seiberg-Witten invariant follows for rational homology three-spheres.
We establish surgery formulas for filtration of the Heegaard Floer homology associated with p/q surgery on a null-homologous knot K in a three-manifold Y, induced by K_{p/q}. Here K_{p/q} is the core of the attached solid torus (which produces the surgery). This would generalize a result of Ozsvath and Szabo. We will re-prove that surgery on non-trivial knots can not produce S^3, as a corollary of a non-vanishing result for the knot Floer homology of K_{p/q}.
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.
We compute the knot Floer filtration induced by a cable of the meridian of a knot in the manifold obtained by large integer surgery along the knot. We give a formula in terms of the original knot Floer complex of the knot in the three-sphere. As an application, we show that a knot concordance invariant of Hom can equivalently be defined in terms of filtered maps on the Heegaard Floer homology groups induced by the two-handle attachment cobordism of surgery along a knot.
We give a surgery formula for the torsions and Seiberg-Witten invariants associated with $Spin^c$-structures on 3-manifolds. We use the technique of Reidemeister-type torsions and their refinements.
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.
We write down an explicit formula for the $+$ version of the Heegaard Floer homology (as an absolutely graded vector space over an arbitrary field) of the results of Dehn surgery on a knot $K$ in $S^3$ in terms of homological data derived from $CFK^{\infty}(K)$. This allows us to prove some results about Dehn surgery on knots in $S^3$. In particular, we show that for a fixed manifold there are only finitely many alternating knots that can produce it by surgery. This is an improvement on a recent result by Lackenby and Purcell. We also derive a lower bound on the genus of knots depending on the…
Using the combinatorial approach to Heegaard Floer homology we obtain a relatively easy formula for computation of hat Heegaard Floer homology for the three-manifold obtained by rational surgery on a knot K inside a homology sphere Y.
We show how to measure the failure of the Whitney trick in dimension 4 by constructing higher- order intersection invariants of Whitney towers built from iterated Whitney disks on immersed surfaces in 4-manifolds. For Whitney towers on immersed disks in the 4-ball, we identify some of these new invariants with previously known link invariants like Milnor, Sato-Levine and Arf invariants. We also define higher- order Sato-Levine and Arf invariants and show that these invariants detect the obstructions to framing a twisted Whitney tower. Together with Milnor invariants, these higher-order invaria…
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 calculate the RT-invariants of all oriented Seifert manifolds directly from surgery presentations. We work in the general framework of an arbitrary modular category as in [V. G. Turaev, Quantum invariants of knots and 3--manifolds, de Gruyter Stud. Math. 18, Walter de Gruyter (1994)], and the invariants are expressed in terms of the S- and T-matrices of the modular category. In another direction we derive a rational surgery formula, which states how the RT-invariants behave under rational surgery along framed links in arbitrary closed oriented 3-manifolds with embedded colored ribbon graphs…
We derive a cut-and-paste surgery formula of Seiberg--Witten invariants for negative definite plumbed rational homology 3-spheres. It is similar to (and motivated by) Okuma's recursion formula [arXiv:math.AG/0610464, 4.5] targeting analytic invariants of splice quotient singularities. The two formulas combined provide automatically a proof of the equivariant version [arXiv:math.AG/0310084, 5.2(b)] of the `Seiberg--Witten invariant conjecture' [arXiv:math.AG/0111298] for these singularities.
Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $λ$, and let $Y_λ(K)$ denote the result of $λ$-framed surgery on $Y$. Ozsváth and Szabó gave a formula for the Heegaard Floer homology groups of $Y_λ(K)$ in terms of the knot Floer complex of $(Y,K)$. We strengthen this formula by adding a second filtration that computes the knot Floer complex of the dual knot $K_λ$ in $Y_λ$, i.e., the core circle of the surgery solid torus. In the course of proving our refinement we derive a combinatorial formula for the Alexander grading which may be of indepe…
We first present three graphic surgery formulae for the degree $n$ part $Z_n$ of the Kontsevich-Kuperberg-Thurston universal finite type invariant of rational homology spheres. Each of these three formulae determines an alternate sum of the form $$\sum_{I \subset N} (-1)^{\sharp I}Z_n(M_I)$$ where $N$ is the set of components of a framed algebraically split link $L$ in a rational homology sphere $M$, and $M_I$ denotes the manifold resulting from the Dehn surgeries on the components of $I$. The first formula treats the case when $L$ is a boundary link with $n$ components, while the second one i…
We study the 2-loop part of the rational Kontsevich integral of a knot in an integer homology sphere. We give a general formula which explains how the 2-loop part of the Kontsevich integral of a knot changes after surgery on a single clasper whose leaves are not linked to the knot. As an application, we relate this formula with a conjecture of L. Rozansky about integrality of the 2-loop polynomial of a knot.
We give a surgery formula for the asymptotic behavior of the sequence given by the logarithm of the higher dimensional Reidemeister torsion. Applying the resulting formula to Seifert fibered spaces, we show that the growth of the sequences has the same order as the indices and we give the explicit values for the limits of the leading coefficients. There are finitely many possibilities as the limits of the leading coefficients for a Seifert fibered space. We also show that the maximum is given by the product of (-log 2) and the Euler characteristic of the base orbifold for a Seifert fibered spa…
Let K be a (2p,q)-torus knot and M_n is a 3-manifold obtained by 1/n-Dehn surgery along K. We consider a polynomial whose zeros are the inverses of the Reideimeister torsion of M_n for SL(2;C)-irreducible representations. Johnson gave a formula for the case of the (2,3)-torus knot under some modification and normalization. We generalize this formula by using Tchebychev polynomials.
Assume that $M(\mathcal{T})$ is a rational homology sphere plumbed 3-manifold associated with a connected negative definite graph $\mathcal{T}$. We consider the combinatorial multivariable Poincaré series associated with $\mathcal{T}$ and its counting functions, which encode rich topological information. Using the `periodic constant' of the series (with reduced variables) we prove surgery formulae for the normalized Seiberg-Witten invariants: the periodic constant appears as the difference of the Seiberg-Witten invariants associated with $M(\mathcal{T})$ and $M(\mathcal{T}\setminus\mathcal{I})…
We prove that the Witten-Reshetikhin-Turaev (WRT) SO(3) invariant of an arbitrary 3-manifold M is always an algebraic integer. Moreover, we give a rational surgery formula for the unified invariant dominating WRT SO(3) invariants of rational homology 3-spheres at roots of unity of order co-prime with the torsion. As an application, we compute the unified invariant for Seifert fibered spaces and for Dehn surgeries on twist knots. We show that this invariant separates integral homology Seifert fibered spaces and can be used to detect the unknot.
We write a formula for the LMO invariant of a rational homology sphere presented as a rational surgery on a link in S^3. Our main tool is a careful use of the Aarhus integral and the (now proven) "Wheels" and "Wheeling" conjectures of B-N, Garoufalidis, Rozansky and Thurston. As steps, side benefits and asides we give explicit formulas for the values of the Kontsevich integral on the Hopf link and on Hopf chains, and for the LMO invariant of lens spaces and Seifert fibered spaces. We find that the LMO invariant does not separate lens spaces, is far from separating general Seifert fibered space…
In this paper, we establish the general theory of (2+1)-dimensional topological quantum field theory (in short, TQFT) with a Verlinde basis. It is a consequence that we have a Dehn surgery formula for 3-manifold invariants for this kind of TQFT's. We will show that Turaev-Viro-Ocneanu unitary TQFT's obtained from subfactors satisfy the axioms of TQFT's with Verlinde bases. Hence, in a Turaev-Viro-Ocneanu TQFT, we have a Dehn surgery formula for 3-manifolds. It turns out that this Dehn surgery formula is nothing but the formula of the Reshetikhin-Turaev invariant constructed from a tube system,…
We compute the effect of concordance surgery, a generalization of knot surgery defined using a self-concordance of a knot, on the Ozsváth-Szabó 4-manifold invariant. The formula involves the graded Lefschetz number of the concordance map on knot Floer homology. The proof uses the sutured Floer TQFT, and a version of sutured Floer homology perturbed by a 2-form.
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.
We give an explicit formula to compute the rotation number of a nullhomologous Legendrian knot in contact (1/n)-surgery diagrams along Legendrian links and obtain a corresponding result for the self-linking number of transverse knots. Moreover, we extend the formula by Ding-Geiges-Stipsicz for computing the d3-invariant to (1/n)-surgeries.
In this paper we describe braid equivalence for knots and links in a 3-manifold $M$ obtained by rational surgery along a framed link in $S^3$. We first prove a sharpened version of the Reidemeister theorem for links in $M$. We then give geometric formulations of the braid equivalence via mixed braids in $S^3$ using the $L$-moves and the braid band moves. We finally give algebraic formulations in terms of the mixed braid groups $B_{m,n}$ using cabling and the techniques of parting and combing for mixed braids. We also provide concrete formuli of the braid equivalence in the case where $M$ is a …
Embedded contact knot homology (ECK) is a variation on Embedded contact homology (ECH), defined with respect to an open book decomposition compatible with a contact structure on some 3-manifold, M. The knot in question is given by the (null-homologous) binding of the open book and the chain complex is defined in terms of closed orbits of the Reeb vector field and certain pseudoholomorphic curves in the symplectization of the knot complement. In this thesis we first generalize this construction to the case of rational open book decompositions, allowing us to define ECK for rationally null-homol…
Kricker defined an invariant of knots in homology 3-spheres which is a rational lift of the Kontsevich integral, and proved with Garoufalidis that this invariant satisfies splitting formulas with respect to a surgery move called null-move. We define a functorial extension of the Kricker invariant and prove splitting formulas for this functorial invariant with respect to null Lagrangian-preserving surgery, a generalization of the null-move. We apply these splitting formulas to the Kricker invariant.
It is well-known:Suppose there are three 1-dimensional links $K_+$, $K_-$, $K_0$ such that $K_+$, $K_-$, and $K_0$ coincide out of a 3-ball $B$ trivially embedded in $S^3$ and that $K_+\cap B$, $K_-\cap B$, and $K_0\cap B$ are drawn as follows. Then $Δ_{K_+}-Δ_{K_+}=(t-1)\cdotΔ_{K_0}$, where $Δ_{K}$ is the Alexander polynomial of $K$. We know similar formulae of other invariants of 1-dimensional knots and links. (The Jones polynomial etc.) It is natural to ask: Suppose there are two $n$-dimensional knots $K_+$, $K_-$ and a submanifold $K_0$ such that $K_+$, $K_-$, and $K_0$ coincide out of a $…
To formulate the universal constraints of quantum statistics data of generic long-range entangled quantum systems, we introduce the geometric-topology surgery theory on spacetime manifolds where quantum systems reside, cutting and gluing the associated quantum amplitudes, specifically in 2+1 and 3+1 spacetime dimensions. First, we introduce the fusion data for worldline and worldsheet operators capable of creating anyonic excitations of particles and strings, well-defined in gapped states of matter with intrinsic topological orders. Second, we introduce the braiding statistics data of particle…
We apply Lescop's construction of $\mathbb{Z}$-equivariant perturbative invariant of knots and 3-manifolds to the explicit equivariant propagator of "AL-paths" given in arXiv:1403.8030. We obtain an invariant $\hat{Z}_n$ of certain equivalence classes of fiberwise Morse functions on a 3-manifold fibered over $S^1$, which can be considered as a higher loop analogue of the Lefschetz zeta function and whose construction will be applied to that of finite type invariants of knots in such a 3-manifold. We also give a combinatorial formula for Lescop's equivariant invariant $\mathscr{Q}$ for 3-manifo…
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 $ν^…
In this paper we define a new invariant of the incomplete hyperbolic structures on a 1-cusped finite volume hyperbolic 3-manifold M, called the ortholength invariant. We show that away from a (possibly empty) subvariety of excluded values this invariant both locally parameterises equivalence classes of hyperbolic structures and is a complete invariant of the Dehn fillings of M which admit a hyperbolic structure. We also give an explicit formula for the ortholength invariant in terms of the traces of the holonomies of certain loops in M. Conjecturally this new invariant is intimately related to…
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 establish a surgery formula for 3-dimensional Seiberg-Witten monopoles under (+1) Dehn surgery on a knot in a homology 3-sphere. (substantial revision)
By recent results of Baker--Etnyre--Van Horn-Morris, a rational open book decomposition defines a compatible contact structure. We show that the Heegaard Floer contact invariant of such a contact structure can be computed in terms of the knot Floer homology of its (rationally null-homologous) binding. We then use this description of contact invariants, together with a formula for the knot Floer homology of the core of a surgery solid torus, to show that certain manifolds obtained by surgeries on bindings of open books carry tight contact structures. Possible applications to lens space surgerie…
We connect topological changes that can occur in $3$-space via surgery, with black hole formation, the formation of wormholes and new generalizations of these phenomena, including relationships between quantum entanglement and wormhole formation. By considering the initial manifold as the $3$-dimensional spatial section of spacetime, we describe the changes of topology occurring in these processes by determining the resulting $3$-manifold and its fundamental group. As these global changes are induced by local processes, we use the local form of Morse functions to provide an algebraic formulati…
On the asymptotic expansion of various quantum invariants III: the Reshetikhin-Turaev invariants of closed hyperbolic 3-manifolds obtained by doing integral surgery along the twist knot
By calculating the Fermat limit of certain q-Fermat functions, we get explicit surgery formulae for the second and third Ohtsuki invariants for homology 3-spheres. The surgery formula of the second Ohtsuki invariant λ_2, combined with an argument using the general theory of finite type invariants of homology 3-spheres, leads to a congruence relation between the first and second Ohtsuki invariants: λ_1=2λ_2 mod 24.
We apply the geometric-topology surgery theory on spacetime manifolds to study the constraints of quantum statistics data in 2+1 and 3+1 spacetime dimensions. First, we introduce the fusion data for worldline and worldsheet operators capable creating anyon excitations of particles and strings, well-defined in gapped states of matter with intrinsic topological orders. Second, we introduce the braiding statistics data of particles and strings, such as the geometric Berry matrices for particle-string Aharonov-Bohm and multi-loop adiabatic braiding process, encoded by submanifold linkings, in the …
To a link L in the 3-sphere, we associate a spectral sequence whose E^2 page is the reduced Khovanov homology of L and which converges to a version of the monopole Floer homology of the branched double cover. The pages E^k for k > 1 depend only on the mutation equivalence class of L. We define a mod 2 grading on the spectral sequence which interpolates between the delta-grading on Khovanov homology and the mod 2 grading on Floer homology. We also derive a new formula for link signature that is well-adapted to Khovanov homology. More generally, we construct new bigraded invariants of a framed l…
On the asymptotic expansion of quantum invariants related to surgeries of Whitehead link I: Relative Reshetikhin-Turaev invariants and the Turaev-Viro invariants at $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{2}}}$