Rational surgery formula for Habiro-Le invariants of rational homology 3-spheres

Surgery obstructions and Heegaard Floer homology

Using Taubes' periodic ends theorem, Auckly gave examples of toroidal and hyperbolic irreducible integer homology spheres which are not surgery on a knot in the three-sphere. We give an obstruction to a homology sphere being surgery on a knot coming from Heegaard Floer homology. This is used to construct infinitely many small Seifert fibered examples.

Surgery Obstructions for Seifert Fibered Homology Spheres

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 …

Surgery formula for the renormalized Euler characteristic of Heegaard Floer homology

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.

Strong Integrality of Quantum Invariants of 3-manifolds

We prove that the quantum SO(3)-invariant of an arbitrary 3-manifold $M$ is always an algebraic integer, if the order of the quantum parameter is co-prime with the order of the torsion part of $H_1(M,\BZ)$. An even stronger integrality, known as cyclotomic integrality, was established by Habiro for integral homology 3-spheres. Here we generalize Habiro's result to all rational homology 3-spheres.

对合Heegaard Floer同调中的手术正合三角形

Surgery exact triangles in involutive Heegaard Floer homology

本文通过对合加倍模型建立对合Heegaard Floer同调的手术正合三角形，并由此得到Ozsváth-Szabó映射锥公式的对合版本，进而构造出不同调配边于Seifert纤维空间线性组合的整数同调球。

Knots which admit a surgery with simple knot Floer homology groups

We show that if a positive integral surgery on a knot K inside a homology sphere X with Seifert genus g(K) results in an induced knot K_n in X_n(K)=Y which has simple Floer homology, we should have n>=2g(K). Moreover, if X is the standard sphere, the three-manifold Y is a L-space and the Heegaard Floer homology groups of K are determined by its Alexander polynomial.

A Unified Quantum SO(3) Invariant for Rational Homology 3-Spheres

Given a rational homology 3-sphere M with the first integral homology of rank b and a link L inside M, colored by odd numbers, we construct a unified invariant I_{M,L} belonging to a modification of the Habiro ring where b is inverted. Our unified invariant dominates the whole set of the SO(3) Witten-Reshetikhin-Turaev invariants of the pair (M,L). If b=1 and L is empty, I_M coincides with Habiro's invariant of integral homology 3-spheres. For b>1, the unified invariant defined by the third author is determined by I_M. One of the applications are the new Ohtsuki series (perturbative expansions…

A note on surgery obstructions and hyperbolic integer homology spheres

Auckly gave two examples of irreducible integer homology spheres (one toroidal and one hyperbolic) which are not surgery on a knot in the three-sphere. Using Heegaard Floer homology, the authors and Karakurt provided infinitely many small Seifert fibered examples. In this note, we extend those results to give infinitely many hyperbolic examples, as well as infinitely many examples with arbitrary JSJ decomposition.

The surgery exact triangle in Pin(2)-monopole Floer homology

We prove the existence of an exact triangle for the Pin(2)-monopole Floer homology groups of three manifolds related by specific Dehn surgeries on a given knot. Unlike the counterpart in usual monopole Floer homology, only two of the three maps are those induced by the corresponding elementary cobordism. We use this triangle to describe the invariants associated to homology spheres obtained by (\pm1)-surgery on alternating knots.

A Surgery Formula for the Casson-Seiberg-Witten Invariant of Integral Homology $S^1 \times S^3$

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.

A Dehn surgery description of regular finite cyclic covering spaces of rational homology spheres

We provide related Dehn surgery descriptions for rational homology spheres and a class of their regular finite cyclic covering spaces. As an application, we use the surgery descriptions to relate the Casson invariants of the covering spaces to that of the base space. Finally, we show that this places restrictions on the number of finite and cyclic Dehn fillings of the knot complements in the covering spaces beyone those imposed by Culler-Gordon-Luecke-Shalen and Boyer-Zhang.

Exceptional cosmetic surgeries on homology spheres

The cosmetic surgery conjecture is a longstanding conjecture in 3-manifold theory. We present a theorem about exceptional cosmetic surgery for homology spheres. Along the way we prove that if the surgery is not a small seifert $\mathbb{Z}/2\mathbb{Z}$-homology sphere or a toroidal irreducible non-Seifert surgery then there is at most one pair of exceptional truly cosmetic slope. We also prove that toroidal truly cosmetic surgeries on integer homology spheres must be integer homology spheres.

整数同调球面中纽结手术的障碍

Surgery obstructions for knots in integer homology spheres

将Hom-Karakurt-Lidman关于S^3中纽结手术的Heegaard Floer同调障碍推广到所有整数同调球面Y的正负1/m手术，用于检验无穷多小Seifert纤维化和双曲例子，并推导光滑配边下b_2(W)的下界。

Knot Floer homology and surgery on equivariant knots

Given an equivariant knot $K$ of order $2$, we study the induced action of the symmetry on the knot Floer homology. We relate this action with the induced action of the symmetry on the Heegaard Floer homology of large surgeries on $K$. This surgery formula can be thought of as an equivariant analog of the involutive large surgery formula proved by Hendricks and Manolescu. As a consequence, we obtain that for certain double branched covers of $S^{3}$ and corks, the induced action of the involution on Heegaard Floer homology can be identified with an action on the knot Floer homology. As an appl…

Non-concordant links with homology cobordant zero framed surgery manifolds

We use topological surgery in dimension four to give sufficient conditions for the zero framed surgery manifold of a 3-component link to be homology cobordant to the 3-torus, which arises from zero framed surgery on the Borromean rings, via a topological homology cobordism preserving the homotopy classes of the meridians. This enables us to give new examples of 3-component links with unknotted components and vanishing pairwise linking numbers, such that any two of these links have homology cobordant zero surgeries in the above sense, but the zero surgery manifolds are not homeomorphic. Moreove…

A polynomial defined by the $\mathit{SL}(2;\mathbb{C})$-Reidemeister torsion for a homology 3-sphere obtained by Dehn-surgery along a torus knot

Let $M_n$ be a homology 3-sphere obtained by $\frac1n$-Dehn surgery along a $(p,q)$-torus knot. We consider a polynomial $σ_{(p,q,n)}(t)$ whose zeros are the inverses of the Reideimeister torsion of $M_n$ for $\mathit{SL}(2;\mathbb{C})$-irreducible representations. We give an explicit formula of this polynomial by using Tchebychev polynomials of the first kind. Further we also give a 3-term relations of these polynomials.

Characterization of Y_2-equivalence for homology cylinders

For S a compact connected oriented surface, we consider homology cylinders over S: these are homology cobordisms with an extra homological triviality condition. When considered up to Y_2-equivalence, which is a surgery equivalence relation arising from the Goussarov-Habiro theory, homology cylinders form an Abelian group. In this paper, when S has one or zero boundary component, we define a surgery map from a certain space of graphs to this group. This map is shown to be an isomorphism, with inverse given by some extensions of the first Johnson homomorphism and Birman-Craggs homomorphisms.

Dehn surgery and non-separating two-spheres

When can surgery on a null-homologous knot K in a rational homology sphere produce a non-separating sphere? We use Heegaard Floer homology to give sufficient conditions for K to be unknotted. We also discuss some applications to homology cobordism, concordance, and Mazur manifolds.

Mapping cone formula in Heegaard Floer homology and Dehn surgery on knots in $S^3$

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…

带滤过的瞬子同调与美容手术

Filtered instanton homology and cosmetic surgery

该研究利用带Chern-Simons滤过的瞬子Floer同调排除了美容手术猜想中±1/n手术的可能，将猜想简化为亏格2平凡Alexander多项式纽结的±2手术情形，同时定义了新的三维流形不变量与瞬子同调手术关系，并推广到S²×S¹中的纽结。

瞬子、不定4维流形与Dehn手术

Instantons, indefinite 4-manifolds, and Dehn surgery

该研究利用基于模2瞬子同调的Froyshov不变量$q_3$，证明存在Dehn手术数可任意大的双曲整数同调球，并将相关不等式扩展至有理同调球。

Splitting formulae for the Kontsevich-Kuperberg-Thurston invariant of rational homology 3-spheres

M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We discuss the behaviour of Z under rational homology handlebodies replacements. The explicit formulae that we present generalize a sum formula obtained by the author for the Casson-Walker invariant in 1994. They allow us to identify the degree one term of Z with the Walker invariant for rational hom…

A polynomial defined by the SL(2;C)-Reidemeister torsion for a homology 3-sphere obtained by a Dehn surgery along a (2p,q)-torus knot

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.

Perturbative 3-manifold invariants by cut-and-paste topology

We give a purely topological definition of the perturbative quantum invariants of links and 3-manifolds associated with Chern-Simons field theory. Our definition is as close as possible to one given by Kontsevich. We will also establish some basic properties of these invariants, in particular that they are universally finite type with respect to algebraically split surgery and with respect to Torelli surgery. Torelli surgery is a mutual generalization of blink surgery of Garoufalidis and Levine and clasper surgery of Habiro.

整数同调球L-空间中Legendrian纽结的接触整容手术

Contact cosmetic surgery on Legendrian knots in integer homology sphere $L$-spaces

研究整数同调球L-空间中Legendrian纽结的接触整容手术，证明除可能的拉格朗日切片纽结外，所有非平凡Legendrian纽结均满足接触整容手术猜想。

瞬子弗勒尔同调的纽结手术公式 I：主定理

Knot surgery formulae for instanton Floer homology I: the main theorem

本文针对3-流形Y中满足[K]=0∈H₁(Y;ℚ)且m≠0的纽结K，证明了带边瞬子同调Iᵛ(Yₘ(K))的整手术公式，其证明基于缝合瞬子同调SHI和导出范畴的八面体引理，还得到相关正合三角形及独立价值的新结果。

Reducible surgeries and Heegaard Floer homology

In this paper, we use Heegaard Floer homology to study reducible surgeries. In particular, suppose K is a non-cable knot in the three-sphere with an L-space surgery. If p-surgery on K is reducible, we show that p equals 2g(K)-1. This implies that any knot with an L-space surgery has at most one reducible surgery, a fact that we show additionally for any knot of genus at most two.

On the Kontsevich-Kuperberg-Thurston construction of a configuration-space invariant for rational homology 3-spheres

M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We review the Kontsevich-Kuperberg-Thurston construction and we provide detailed and elementary proofs for the invariance of Z. This article is the preliminary part of a work that aims to prove splitting formulae for this powerful invariant of rational homology spheres. It contains the needed backgro…

Framed Floer Homology

For any three-manifold presented as surgery on a framed link (L,Λ) in an integral homology sphere, Manolescu and Ozsváth construct a hypercube of chain complexes whose homology calculates the Heegaard Floer homology of Λ-framed surgery on Y. This carries a natural filtration that exists on any hypercube of chain complexes; we study the E_2 page of the associated spectral sequence, called Framed Floer homology. One purpose of this paper is to show that Framed Floer homology is an invariant of oriented framed links, but not an invariant of the surgered manifold. We discuss how this relates to an…

Heegaard Floer同调中的有理手术精确三角形

Rational surgery exact triangles in Heegaard Floer homology

本文提出了一种在Heegaard Floer同调中适用于所有正有理斜率的手术精确三角形构造方法，通过解决组合问题并利用Spin^c共轭对称性实现了扩展。

Instanton理论中的手术正合三角形

Surgery Exact Triangles in Instanton Theory

本文证明了联系纽结instanton Floer同调与手术instanton同调的正合三角形，这是整数系数下的首个此类结果，并据此导出Poincaré同调球在$\mathbb{Z}/2$-系数下非instanton $L$-空间。

Surgery obstructions from Khovanov homology

For a 3-manifold with torus boundary admitting an appropriate involution, we show that Khovanov homology provides obstructions to certain exceptional Dehn fillings. For example, given a strongly invertible knot in S^3, we give obstructions to lens space surgeries, as well as obstructions to surgeries with finite fundamental group. These obstructions are based on homological width in Khovanov homology, and in the case of finite fundamental group depend on a calculation of the homological width for a family of Montesinos links.

Three lens space summands from the Poincaré homology sphere

A regular fiber of the Seifert fibering of the Poincaré homology sphere admits a Dehn surgery to $L(2,1)\#L(3,2)\#L(5,4)$. We prove that this is the only knot in the Poincaré homology sphere with a surgery to a connected sum of more than two lens spaces.

A combinatorial approach to surgery formulas in Heegaard Floer homology

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.

格点同调中可迭代的纽结手术公式

An iterable surgery formula on involutive knot lattice homotopy

本文提出可迭代的纽结格点同调手术公式，生成对偶纽结的双重过滤空间及对合数据，并在无穷范畴中实现函子性，用于计算具体例子。

Seifert surgery on knots via Reidemeister torsion and Casson-Walker-Lescop invariant III

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).

结手术公式用于瞬子Floer同调II：应用

Knot surgery formulae for instanton Floer homology II: applications

本文通过整数手术公式研究了3流形的瞬子同调，揭示了几乎L空间结的纤维化和强准正性质，并确定了特定类型的结结构。

Surgery formulae for finite type invariants of rational homology 3--spheres

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…

Heegaard Floer homology and Morse surgery

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}.

On the kernel of the zero-surgery homomorphism from knot concordance

Kawauchi defined a group structure on the set of homology $S^1$$\times$$S^2$'s under an equivalence relation called $\widetilde{H}$-cobordism. This group receives a homomorphism from the knot concordance group, given by the operation of zero-surgery. It is natural to ask whether the zero-surgery homomorphism is injective. We show that this question has a negative answer in the smooth category. Indeed, using knot concordance invariants derived from knot Floer homology we show that the kernel of the zero-surgery homomorphism contains a $\mathbb{Z}^\infty$-subgroup.

On the LMO conjecture

We give a proof of the LMO conjecture which say that for any simply connectd simple Lie group $G$, the LMO invariant of rational homology 3-spheres recovers the perturvative invariant $τ^{PG}$. By Habiro-Le theorem, this implies that the LMO invariant is the universal quantum invariant of integral homology 3-spheres.

Dehn surgery, homology and hyperbolic volume

If a closed, orientable hyperbolic 3--manifold M has volume at most 1.22 then H_1(M;Z_p) has dimension at most 2 for every prime p not 2 or 7, and H_1(M;Z_2) and H_1(M;Z_7) have dimension at most 3. The proof combines several deep results about hyperbolic 3--manifolds. The strategy is to compare the volume of a tube about a shortest closed geodesic C in M with the volumes of tubes about short closed geodesics in a sequence of hyperbolic manifolds obtained from M by Dehn surgeries on C.

Concordance surgery and the Ozsváth-Szabó 4-manifold invariant

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.

关于从庞加莱同调球面上的透镜空间手术

On lens space surgeries from the Poincaré homology sphere

本文基于Greene的changemaker格发展格嵌入障碍，确定庞加莱同调球面上纽结手术产生透镜空间的条件，证明半整数手术仅有两个特例，并得出双曲纽结的透镜空间手术必为整数的结论。

同调球中纽结的美容手术与 Casson–Walker 不变量

Cosmetic surgeries on knots in homology spheres and the Casson--Walker invariant

针对同调球中纽结的美容手术问题，本文利用三维球内2分支链环的 Casson–Walker 不变量有理手术公式，给出纽结与手术斜率存在此类手术时的若干约束。

Homology cobordism and classical knot invariants

In this paper we define and investigate Z/2-homology cobordism invariants of Z/2-homology 3-spheres which turn out to be related to classical invariants of knots. As an application we show that many lens spaces have infinite order in the Z/2-homology cobordism group and we prove a lower bound for the slice genus of a knot on which integral surgery yields a given Z/2-homology sphere. We also give some new examples of 3-manifolds which cannot be obtained by integral surgery on a knot.

On Steenrod $\mathbb{L}$-homology, generalized manifolds, and surgery

The aim of this paper is to show the importance of the Steenrod construction of homology theories for the disassembly process in surgery on a generalized $n$-manifold $X^n$, in order to produce an element of generalized homology theory, which is basic for calculations. In particular, we show how to construct an element of the $n$-th Steenrod homology group $H^{st}_{n} (X^{n}, \mathbb{L}^+),$ where $\mathbb{L}^+$ is the connected covering spectrum of the periodic surgery spectrum $\mathbb{L}$, avoiding the use of the geometric splitting procedure, which is standardly used in surgery on topologi…

同调 $S^1 \times S^3$ 上 Furuta-Ohta 不变量的手术与切除公式

Surgery and Excision for Furuta-Ohta invariants on Homology $S^1 \times S^3$

本文为同调 $S^1 \times S^3$ 上的 Furuta-Ohta 不变量建立了手术公式与切除公式，并将其应用于计算映射环面族的不变量，同时完整刻画了相关柱形末端 $4$-流形上的零次 ASD 瞬子模空间。

Symplectic Instanton Homology: twisting, connected sums, and Dehn surgery

We define a twisted version of Manolescu and Woodward's Symplectic Instanton homology, prove that this invariant fits into the framework of Wehrheim and Woodward's Floer Field theory, and describe its behaviour for connected sum and Dehn surgery.

链环手术公式与等变手术

The link surgery formula and equivariant surgeries

本文证明了Heegaard Floer链环手术公式的等变版本，并由此得到$S^3$中等变纽结的等变手术公式，同时证明等变同调配边群到同调配边群的遗忘映射的核包含$\Z^\infty$-直和项。

Surgery obstructions and character varieties

We provide infinitely many rational homology 3-spheres with weight-one fundamental groups which do not arise from Dehn surgery on knots in $S^3$. In contrast with previously known examples, our proofs do not require any gauge theory or Floer homology. Instead, we make use of the $SU(2)$ character variety of the fundamental group, which for these manifolds is particularly simple: they are all $SU(2)$-cyclic, meaning that every $SU(2)$ representation has cyclic image.

Surgery, Polygons and $SU(N)$-Floer Homology

Surgery exact triangles in various 3-manifold Floer homology theories provide an important tool in studying and computing the relevant Floer homology groups. These exact triangles relate the invariants of 3-manifolds, obtained by three different Dehn surgeries on a fixed knot. In this paper, the behavior of $SU(N)$-instanton Floer homology with respect to Dehn surgery is studied. In particular, it is shown that there are surgery exact tetragons and pentagons, respectively, for $SU(3)$- and $SU(4)$-instanton Floer homologies. It is also conjectured that $SU(N)$-instanton Floer homology in gener…

Knot concordance and homology cobordism

We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-homology cobordant to the zero-framed surgery on many of its winding number one satellites P(K). Then we prove that in many cases the tau and s-invariants of K and P(K) differ. Consequently neither tau …

Homology manifolds and 4-dimensional surgery

Withdrawn May 2005. There is an error in the even-dimensional case of the proof in the April 2005 version. The hoped-for 4-dimensional applications are unlikely to survive the repairs.