INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS

ZHENKUN LI AND FAN YE

Abstract. In this paper, we introduce a method to extract information about the instanton Floer homology of rational homology spheres and knots in them from Heegaard diagrams, based on sutured manifolds and bypass maps. As an application, we prove that for a (1,1)-knot K in a 3 lens space Y , we have dimC KHIpY,Kq ď rkZHFKpY,Kq. If Y “ S and K is also a Heegaard Floer L-space knot, for example, K is a torus knot, then dimC KHIpY,Kq “ rkZHFKpY,Kq. Also, we prove that all simple knots in lens spaces{ are instanton Floer simple knots and admit instanton L-space surgeries. Another application is that for a rationally null-homologous{ knot K 7 in a general 3-manifold Y , we prove the dimension inequality dimC I pY q ď dimC KHIpY,Kq. In the second part of this paper, for a rationally null-homologous knot K Ă Y , we construct a decomposition of I7pY q as a candidate for the counterpart of the torsion spinc decompositions in HMpY q and HF pY q. Moreover, we construct a spectral sequence from KHIpY,Kq to I7pY q respecting this decomposition. As an application, we derive the relation τI pK¯ q “ ´τI pKq, where 3 K ĆĂ S is a knot,y K¯ is its mirror, and τI is the instanton tau invariant defined by the first author. Also, we use this decomposition to derive a dimension formula of framed instanton Floer homology for large surgeries on a null-homologous knot in a 3-manifold.

Contents 1. Introduction 2 2. Instanton Floer homology and sutured manifolds 9 2.1. Instanton Floer homology 9 2.2. Balanced sutured manifolds 10 2.3. Bypass attachments 15 3. Instanton Floer homology and Heegaard diagrams 18 3.1. Sutured manifold with tangles and Heegaard diagrams 18 3.2. A dimension inequality for tangles 20 3.3. The instanton knot homology of (1,1)-knots 32 3.4. Large surgeries on simple knots 38 4. Instanton Floer homology and the decomposition 40 4.1. Basic setups 40 4.2. Bypasses on knot complements 41 arXiv:2010.07836v2 [math.GT] 10 Nov 2020 4.3. Decomposing framed instanton Floer homology 47 4.4. Commutative diagrams for bypass maps 53 4.5. Spectral sequences and tau invariants 62 4.6. The stabilization of Integral surgeries 68 4.7. The splitting of exact triangles 70 5. Some remarks for future directions 75 References 80 1 2 ZHENKUN LI AND FAN YE

1. Introduction The instanton homology of closed 3-manifolds and knots in 3-manifolds was introduced by Floer [Flo88, Flo90], which became a powerful tool in the study of 3-dimensional topology. Some re- lated constructions were made by Kronheimer and Mrowka [KM10b, KM11b, KM11a], Li [Li19], and Daemi and Scaduto [DS19]. Apart from instanton Floer homology, there are three Floer homologies of closed 3-manifolds, knots, and balanced sutured manifolds: Heegaard Floer homol- ogy by Ozsv´athand Szab´o[OS04b, OS04a], Rasmussen [Ras03], and Juh´asz[Juh06], monopole Floer homology by Kronheimer and Mrowka [KM07, KM10b], and embedded contact homology (ECH) by Hutchings [Hut10], Colin, Ghiggini, Honda, and Hutchings [CGHH10]. For closed 3- manifolds, all these three Floer homologies are isomorphic by work of Kutluhan, Lee, and Taubes [KLT10a, KLT10b, KLT10c, KLT11, KLT12], or Taubes [Tau10a, Tau10b, Tau10c, Tau10d, Tau10e] combined with Colin, Ghiggini, and Honda [CGH11]. However, instanton Floer homology remains isolated from the rest. The following conjecture is still open. Conjecture 1.1 ([KM10b]). For a balanced sutured manifold pM, γq, we have SHIpM, γq – SFHpM, γq b C. In particular, for a knot K in a closed 3-manifold Y , there are isomorphisms 7 I pY q – HF pY q b C, and KHIpY,Kq – HFKpY,Kq b C. Here SHI is sutured instanton Floer homology [KM10b], SFH is sutured (Heegaard) Floer homol- y { ogy [Juh06], I7 is framed instanton Floer homology [KM11a], HF is the hat version of Heegaard Floer homology [OS04b], KHI is instanton knot homology [KM10b], and HFK is (Heegaard) knot Floer homology [OS04a]. y { Instanton Floer homology serves as a topological invariant of closed 3-manifolds or knots. Mean- while, closed 3-manifolds and knots can be determined by Heegaard diagrams. Thus, in principle, Heegaard diagrams also determine instanton Floer homology. However, unlike Heegaard Floer homology, which is built directly upon Heegaard diagrams, the construction of instanton Floer homology is based on a set of partial differential equations on SOp3q-bundles over suitably chosen 3-manifolds. This makes the relation between instanton Floer homology and Heegaard diagrams implicit. In the first part of the paper, we introduce a method to extract some information about instanton Floer homology from Heegaard diagrams. Theorem 1.2. Suppose Y is a rational homology sphere, and K Ă Y is a knot. Suppose pΣ, α, β, z, wq is a double-pointed Heegaard diagram of pY,Kq. Then there is a balanced sutured handlebody pH, γq induced by pΣ, α, β, z, wq so that 7 dimC I p´Y q ď dimC KHIp´Y,Kq ď dimC SHIp´H, ´γq, The proof of Theorem 1.2 makes use of sutured instanton Floer homology of balanced sutured manifolds with tangles (c.f. Xie and Zhang [XZ19]). The technique also applies to a generalization of the first inequality, which also generalizes a result for null-homologous knots by Wang [Wan20]. Proposition 1.3. Suppose Y is a closed 3-manifold and K Ă Y is a knot so that

rKs “ 0 P H1pY ; Qq. Then we have 7 dimC I p´Y q ď dimC KHIp´Y,Kq. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 3

In Theorem 1.2, we bound the dimensions of I7p´Y q and KHIp´Y,Kq by that of another instanton Floer homology SHIp´H, ´γq, which is still difficult to compute. However, in the special case when H is a handlebody, an upper bound of dimC SHIpH, γq can be obtained via bypass exact triangles (for bypass exact triangle, c.f. Baldwin and Sivek [BS16a], and for the algorithm to obtain an upper bound, c.f. Ghosh and Li [GL19]). In particular, we apply this theorem to (1,1)-knots in lens spaces, whose Heegaard diagrams are known to be simple, and obtain the following theorem. Theorem 1.4. Suppose Y is a lens space, and K Ă Y is a (1,1)-knot. Then we have

dimC KHIpY,Kq ď rkZHFKpY,Kq. Previously, Hedden, Herald, and Kirk [HHK14] studied explicit sets of generators of the instan- { ton chain complexes for some special families of knots, which would also offer upper bounds of dimC KHI. However, their bounds might not always be sharp. Theorem 1.4 thus offers a new way to obtain upper bounds of dimC KHI, and the following corollary indicates that these bounds are sharp in many occasions. Corollary 1.5. Suppose K Ă S3 is a (1,1)-knot that is also a Heegaard Floer L-space knot. Then we have 3 3 dimC KHIpS ,Kq “ rkZHFKpS ,Kq. i Proof. Suppose the Alexander polynomial of K is ∆K ptq “ cit . From Ozsv´athand Szab´o { iPZ [OS05], we have 3 ř rkZHFKpS ,Kq “ |ci|. iP ÿZ Then from Kronheimer and Mrowka [KM10a],{ or Lim [Lim09], we have

dimC KHIpY,Kq ě |ci|. iP ÿZ Hence Theorem 1.4 applies and we conclude the desired equality.  There is a spectral sequence from reduced Khovanov homology to instanton knot homology (c.f. Kronheimer and Mrowka [KM11a]). Corollary 1.5 would provide many examples whose related spectral sequences have some non-trivial intermediate pages. In particular, for torus knots, pre- viously there were only partial computations of KHI from the related specatral sequences (c.f. [KM14, LZ20]), while Corollary 1.5 applies to torus knots directly since torus knots admit lens spaces surgeries (c.f. Moser [Mos71]).

Corollary 1.6. For a torus knot K “ Tpp,qq, suppose its Alexander polynomial is

pp´1qpq´1q pq 2 ´ pp´1qpq´1q pt ´ 1qpt ´ 1q i ∆K ptq “ t 2 “ cit . ptp ´ 1qptq ´ 1q i“´ pp´1qpq´1q ÿ2 Then we have 3 dimC KHIpS , K, iq “ |ci|, where i denotes the Alexander grading of KHIpS3,Kq. In general lens spaces, we may obtain lower bounds from graded Euler characteristics and show more examples of Conjecture 1.1. For example, the Heegaard Floer homology of constrained knots 4 ZHENKUN LI AND FAN YE in lens spaces, introduced by the second author [Ye20], is determined by their graded Euler char- acteristics. However, in the manifold other than S3, it is not known if graded Euler characteristics of HFK and KHI are equal. We will deal with this in a forthcoming paper [LY]. A (Heegaard) Floer simple knot is a knot K in a rational homology sphere Y so that { (1.1) rkZHFKpY,Kq “ rkZHF pY q “ |H1pY q|, where |H pY q| is the order of the first homology group of Y with coefficient. A (Heegaard Floer) 1 { y Z L-space is a rational homology sphere Y so that the latter equality in (1.1) holds. Examples of Floer simple knots include simple knots in lens spaces (c.f. Rasmussen [Ras07]). Rasmussen and Rasmussen [RR17] proved that for Floer simple knots, there is an interval in Q Y t8u so that a Dehn surgery gives an L-space if and only if the surgery slope is in the interval. In the interior of the interval, the dual knots are also Floer simple knots. A similar result may hold for instanton Floer homology. A knot K in a rational homology sphere Y is called a instanton Floer simple knot if

7 (1.2) dimC KHIpY,Kq “ dimC I pY q “ |H1pY q|. A instanton Floer L-space is a rational homology sphere Y so that the latter equality in (1.2) holds. Proposition 1.7. Simple knots in lens spaces are instanton Floer simple knots. Proof. Suppose K is a simple knot in Y “ Lpp, qq. Combining Theorem 1.2, Theorem 1.4 and results in [Ras07], we have

7 dimC I pY q ď dimC KHIpY,Kq ď rkZHFKpY,Kq “ p. By Scaduto [Sca15, Corollary 1.4], we have { 7 dimC I pY q ě |H1pY q| “ p. Hence we conclude the desired equality.  Inspired by the proof of Theorem 1.4, we prove the following theorem by induction on Heegaard diagrams. Theorem 1.8. Suppose K is a simple knot in a lens space Y . Fixing a framing on BY pKq by picking an arbitrary longitude of K. Then there exists an integer N ě 0 so that for any r P Q with |r| ě N, the manifold obtained by a surgery of slope r along K is an instanton L-space, and the dual knot is also an instanton Floer simple knot. Remark 1.9. In general, framed instanton Floer homology is very difficult to compute. Only some special families of 3-manifolds were studied (c.f. [SS18, LPCS20, BS20, ABDS20]). Theorem 1.8 provides many new examples whose framed instanton Floer homology can be computed. In the second part, we derive some properties of framed instanton Floer homology in analogy to monopole or Heegaard Floer homology.

Theorem 1.10. Suppose Y is a closed 3-manifold, and K Ă Y is a rationally null-homologous knot. Let Y pKq “ Y zintpNpKqq be the knot complement and let S be a Seifert surface of K. Suppose futher that λ “BS pĂBY pKq is connected and |µˆ ¨ λp| “ q,p where µˆ is the meridian of K on p p p p p p p p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 5

BY pKq and the dot ¨ denotes the algebraic intersection number. Then there is a decomposition up to isomorphism associated to K: p p q´1 7 7 p I pY q – I pY , iq. i“0 à p p When H1pY q “ Zq and K represents a generator of H1pY q, we can regard the decomposition in Theorem 1.10 as an analog of the torsion spinc decompositions p p p HMpY q “ HMpY, sq, and HF pY q “ HF pY, sq. sPSpincpYˆ q sPSpincpYˆ q à à Ć p Ć p y p y p Here HM is the tilde version of monopole Floer homology [Blo09]. An evidence is the following. Proposition 1.11. Under the hypothesis and the statement of Theorem 1.10, there is a spectral Ć 7 sequence tEr, dru from E1 “ KHIpY, Kq to I pY q. Moreover, this spectral sequence respects the decomposition in Theorem 1.10, i.e., there is a decomposition p p q´p1 pEr, drq “ pEr,i, dr,iq i“0 à 7 so that Er,i converges to I pY , iq. To provide more evidence, we will prove the following result in a forthcoming paper [LY]. p Proposition 1.12. Under the hypothesis and the statement of Theorem 1.10, there is a well-defined 7 Z2 grading on I pY , iq. Suppose µ ĂBY pKq is a simple closed curve so that |µ ¨ λ| “ 1 and suppose Y is the manifold obtained by Dehn filling along µ. For any integer i P r0, q ´ 1s, we have p p p χpI7pY , iqq “ χpI7pY qq. In particular, if Y is an instanton L-space and Y “ S3, then for any integer i P r0, q ´ 1s, we have p I7pY , iq – . p C Remark 1.13. The defect of the decomposition of I7 Y in Theorem 1.10 is that currently we do p p q not know if it is independent of the choice of K inside Y . p For integral surgeries on a null-homologous knot, we obtain more results inspired from the p p large surgery formula of Heegaard Floer homology (c.f. Ozsv´athand Szab´o[OS04a]). For a null homologous knot K in a closed 3-manifold Y , let the basis of BY pKq be formed by the meridian of K and the boundary of a Seifert surface. Proposition 1.14. Suppose Y is a closed 3-manifold and K Ă Y is a null-homologous knot. Suppose Y is obtained from Y by performing the q{1 surgery along K, with q ě 2gpKq ` 1. Then for any integer i P r0, q ´ 2gpKq ´ 1s and i “ q ´ 1, we have p I7pY , iq – I7pY q. Proposition 1.15. Suppose Y is a closed 3-manifold and K Ă Y is a null-homologous knot. p Suppose Yq is obtained from Y by performing the q{1 surgery along K. If q ě 2gpKq ` 1, then for any integer i P r0, q ´ 1s, we have p 7 7 I pYq, iq – I pYq`1, i ` 1q.

p p 6 ZHENKUN LI AND FAN YE

Remark 1.16. Proposition 1.14 states that for large integral surgeries, all but p2g ´ 1q many sum- mands are isomorphic to the I7pY q. Proposition 1.15 then states that all those summands will stabilize when performing large integral surgeries with increasing slopes. The proofs of Theorem 1.10, Proposition 1.11, Proposition 1.14 and Proposition 1.15 make use of SHIpY pKq, γq for some special suture γ ĂBY pKq. In [Li19, Section 3], the first author constructed a grading, i.e., a decomposition of sutured instanton Floer homology associated to a properly embeddedp p surface with some mild conditions.p p The Seifert surface plays role of this properly embedded surface, which decomposes SHIpY pKq, γq for any suture γ. Then we are able to identify some direct summands of the decomposition with I7pY q. Explicitly, we can construct the decomposition by the following proposition. p Proposition 1.17. Suppose Y is a closed 3-manifold and K Ă Y is a null-homologous knot. Suppose Y is obtained from Y by performing a q{p-surgery along K with q ą 0. Then there is a set G of sutures on the boundary of the knot complement Y pKq, determined by the integer q and the genus gpKp q of K so that the followings hold. (1) For any suture γ P G, sutured instanton Floer homology carries a Z grading, i.e., SHIp´Y pKq, γq “ SHIp´Y pKq, γ, iq. iPZ à (2) For any suture γ P G, there is an integer iγ so that there is an isomorphism

iγ `q´1 7 – fK,γ : I p´Y q ÝÑ SHIp´Y pKq, γ, jq. j“iγ à p (3) For any two sutures γ1, γ2 P G, there is an isomorphism with respect to gradings

iγ1 `q´1 iγ2 `q´1 – gK,γ1,γ2 : SHIp´Y pKq, γ1, jq ÝÑ SHIp´Y pKq, γ2, jq. j“iγ j“iγ à1 à2 (4) For any two sutures γ1, γ2 P G, there is a commutative diagram

i `q´1 gK,γ1,γ2 i `q´1 γ1 SHI Y K , γ , j γ2 SHI Y K , γ , j j“iγ p´ p q 1 q / j“iγ p´ p q 2 q 1 h 2 6 À À fK,γ1 fK,γ2 I7p´Y q

The technique to construct the decomposition has other applications on instanton Floer homol- ´ p ogy. Let KHI be the minus version of instanton knot homology and let τI pKq be the instaton tau invariant of a knot K Ă S3, constructed by the first author [Li19]. We prove the following proposition.

Proposition 1.18. Suppose K Ă S3 is a knot. Let K¯ be the mirror knot of K. Then

τI pK¯ q “ ´τI pKq. Also, using this technique, we can obtain a dimension formula of framed instanton Floer homology for large surgeries on a null-homologous knot in a 3-manifold. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 7

Theorem 1.19. Suppose Y is a closed 3-manifold and K Ă Y is a null-homologous knot. Suppose

Yq1{p1 , Yq2{p2 , and Yq3{p3 are obtained from Y by surgeries along K with slopes q1{p1, q2{p2, and q3{p3, respectively. Suppose further that qi ą 0 for i P t1, 2, 3u and these surgeries fit into a surgery exactp trianglep p

f 7 1 7 (1.3) I pYq1{p1 q / I pYq2{p2 q e p p f3 f2 y 7 I pYq3{p3 q

Conside the indices mod 3. If there exists i P t1,p2, 3u so that qi ą 2gpKq, then fi`1 “ 0, and hence the exact triangle (1.3) splits. Corollary 1.20. Suppose Y is a closed 3-manifold and K Ă Y is a null-homologous knot. Suppose Yq{p is the 3-manifold obtained from Y by a q{p-surgery along K. Let n “ tq{pu be the maximal integer satisfying n ď q{p. Then there exist maps d, s : Z Ñ Z, so that for n ě gpKq, we have p 7 dimC I pYq{pq “ dpnq ¨ p ` spnq ¨ q. Furthermore, there exists an integer N ă 2gpKq, so that for n ě N, we have p 7 dpn ` 1q “ dpnq, and spnq “ dimC I pY q.

Proof. Suppose r3 “ q3{p3 “ q{p is the surgery slope and tru “ n. Then it is well known (c.f. Kronheimer, Mrowka, Ozsv´ath,and Szab´o[KMOS07] or Baldwin and Sivek [BS20]) that there exist slopes r1 “ q1{p1 and r2 “ q2{p2 so that

(1) p1, p2, q1, q2 ą 0. (2) q3 “ q1 ` q2, p3 “ p1 ` p2. (3) For i P t1, 2u, if pi “ 1, then qi is either n or n ` 1. If pi ‰ 1, then triu “ n. (4) r1, r2, and r3 form a surgery exact triangle as in Theorem 1.19.

When n ě gpKq, we know that q3 “ q1 ` q2 ě 2gpKq ` 1. The hypothesis of Theorem 1.19 is satisfied, and we have 7 7 7 dimCpI pYq3{p3 q “ dimCI pYq1{p1 q ` dimCI pYq2{p2 q. Hence from (2) we know that if dim I7pY q and dim I7pY q both satisfy the same linear p C q1{p1 p C q2{p2 p 7 relation, so is dimCI pYq3{p3 q. Then (1) and (2) ensure that we can apply an induction and (3) implies that the base cases are r1 “ n andpr2 “ n ` 1. We canp fix the coefficients rpnq and dpnq by 7 7 considering dimCI pYnqpand dimCI pYn`1q. When n is a large enough integer, we can apply Theorem 1.19 again and conclude p 7 p 7 7 dimCI pYn`1q “ dimCI pYnq ` dimCI pY q. Hence we obtain the desired result.  p p Remark 1.21. In Theorem 1.19, the assumptions are only on the numerators of slopes. In princi- ple, we could also write down some formula for surgeries of large denominators and small slopes. However, it would be much more complicated. On the other hand, the proof of Theorem 1.19 not only states the splitting of the exact triangle but also indicates some information about the 7 decomposition (in the sense of Theorem 1.10) of I pYqi{pi q for i “ t1, 2, 3u.

p 8 ZHENKUN LI AND FAN YE

Remark 1.22. For the dimension formula of surgeries, the special case for knots in S3 has recently been resolved by Baldwin and Sivek [BS20]. However, their technique depends strongly on the fact that I7pS3q is 1-dimensional, and it is difficult to generalize the technique to general 3-manifolds. Conventions. If not mentioned, homology groups and cohomology groups are with Z coefficient. (Sutured) Heegaard Floer homology is with Z coefficient, while (sutured) instanton Floer homology is with C coefficients. If not mentioned, all manifolds are smooth, connected and oriented. Suppose M is an oriented manifold. Let ´M denote the same manifold with the reverse orientation, called the mirror manifold of M. If not mentioned, we do not consider orientations of knots. Suppose K is a knot in a 3-manifold M. Then p´M,Kq is the mirror knot in the mirror manifold. In S3, the mirror knot is also denoted by K¯ . For a manifold M, let intpMq denote its interior. For a submanifold A in a manifold Y , let NpAq denote the tubular neighborhood. The knot complement of K in Y is denoted by Y pKq “ Y zintpNpKqq. For a simple closed curve on a surface, we do not distinguish between its homology class and itself. The algebraic intersection number of two curves α and β on a surface is denoted by α ¨ β, while the number of intersection points between α and β is denoted by |α X β|. A basis pm, lq of 2 H1pT ; Zq satisfies m ¨ l “ ´1. The surgery means the Dehn surgery and the slope (in some basis) is usually denoted by q{p (rather than p{q). A rational homology sphere is a closed 3-manifold whose homology groups with rational coefficients are isomorphic to those of S3. The integral homology sphere is defined similarly. A knot K Ă Y is called null-homologous if it represents trivial homology class in H1pY ; Zq, while it is called rationally null-homologous if it represents trivial homology class in H1pY ; Qq. For r P R, let rrs and tru be the minimal integer and the maximal integer satisfying rrs ě r and tru ď r, respectively. An argument holds for large enough n if there exists a fixed N P Z so that the argument holds for any integer n ą N. An argument holds for small enough n if there exists a fixed N P Z so that the argument holds for any integer n ă N. Organization. The paper is organized as follows. In Section 2, we review some backgrounds, including instanton Floer homology of closed manifolds, Heegaard Floer homology and instanton Floer homology of balanced sutured manifolds, and bypass attachments on balanced sutured man- ifolds. In Section 3, we prove Theorem 1.2 and Proposition 1.3 by a dimension inequality from tangles in balanced sutured manifolds. Then we deal with (1,1)-knots and prove Theorem 1.4 and Theorem 1.8. In Section 4, we prove Theorem 1.10 by Proposition 1.17, and then prove Proposition 1.11, Proposition 1.18, Proposition 1.14, Proposition 1.15, and Theorem 1.19. Finally, in Section 5, we discuss some possible future directions. Acknowledgement. The first author is partially supported by his Ph.D. advisor Tomasz Mrowka’s NSF Grant 1808794. The second author would like to thank his supervisor Jacob Rasmussen for patient guidance and helpful comments, and thank his parents for support and constant encourage- ment. The authors would also like to thank Ciprian Manolescu for helpful comments on the draft of the paper, and thank John Baldwin, Qilong Guo, Joshua Wang, Yi Xie, and Ruide Fu for helpful conversations. The second author is also grateful to Yi Liu for inviting him to Peking University, and Zekun Chen, Honghuai Fang, and Longke Tang for the company when he was writing this paper. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 9

2. Instanton Floer homology and sutured manifolds 2.1. Instanton Floer homology. Definition 2.1. Suppose Y is a closed 3-manifold and ω is a closed 1-submanifold in Y . Suppose further that there is a close oriented surface Σ Ă Y of genus at least one so that the algebraic intersection number ω ¨ Σ is odd. Then the pair pY, ωq is called an admissible pair. We can construct instanton Floer homology for admissible pairs. Theorem 2.2 (Floer [Flo90]). Suppose pY, ωq is an admissible pair. Then there is a finite- dimensional complex vector space IωpY q called the instanton Floer homology of pY, ωq. Suppose pY, ωq and pY 1, ω1q are two admissible pairs and suppose pW, νq is a cobordism from pY, ωq to pY 1, ω1q. Then there exists a complex-linear map

1 IpW, νq : IωpY q Ñ Iω pY 1q, called the cobordism map of pW, νq.

For an admissible pair pY, ωq, any homology class α P H˚pY q induces a complex-linear action on the instanton Floer homology: µpαq : IωpY q Ñ IωpY q.

For any two homology classes α1, α2 P H˚pY q, we have

degpα1qdegpα2q µpα1 ` α2q “ µpα1q ` µpα2q, and µpα1qµpα2q “ p´1q µpα2qµpα1q.

If b2pY q ą 0, we can pick a basis β1, . . . , βn of H2pY ; Qq and consider the simultaneous gener- alized eigenspaces of all the actions µpβ1q, . . . , µpβnq. The simultaneous eigenvalues, as a tuple pλ1, . . . , λnq, can be viewed as a linear map from H2pY ; Qq to Q. This linear map is the analog of (the first Chern classes of) non-torsion spinc structures in Heegaard Floer homology. However, if α “ 0 P H2pY ; Qq, then µpαq “ 0. Hence for a rational homology sphere Y , all µ-actions associated to second homology classes are zero, and we cannot obtain an effective decomposition from µ. Definition 2.3 (Kronheimer and Mrowka [KM10b]). Suppose pY, ωq is an admissible pair, R is a closed surface of genus at least one, and ω ¨ R is odd. Let IωpY |Rq be the p2gpRq ´ 2, 2q-generalized eigenspaces of the pair of actions ppµpRq, µpptqq on IωpY q, where pt is any fixed basepoint on Y . Suppose M is a compact oriented 3-manifold with torus boundary. Suppose ω Ă M is a closed 1-submanifold so that there exists a closed surface Σ of genus at least one with ω ¨ Σ odd. Let i : BM Ñ M be the inclusion, and let

(2.1) i˚ : H1pBM; Qq Ñ H1pM; Qq. be the induced map on homology. Let γ1, γ2, γ3 be three oriented simple closed curves on BM so that

γ1 ¨ γ2 “ γ2 ¨ γ3 “ γ3 ¨ γ1 “ ´1.

For i P t1, 2, 3u, let Yi be the closed 3-manifold obtained by Dehn filling along γi: 1 2 Yi “ M Y S ˆ D . 2 γi“t1uˆBD

Then clearly for i P t1, 2, 3u, pYi, ωq are all admissible pairs. We have the following theorem. 10 ZHENKUN LI AND FAN YE

Theorem 2.4 ([Flo90]). There is an exact triangle

ω f1 ω (2.2) I pY1q / I pY2q d

f3 f2 ω z I pY3q Furthermore, all maps in the exact triangle (2.2) are induced by cobordism maps. Remark 2.5. Note in Floer [Flo90] or Scaduto [Sca15], one has to add some extra component to ω in one of the 3-manifolds Y1, Y2, and Y3 to make the exact triangle hold. However, from [BS20, Section 2.2], Baldwin and Sivek showed that one could wisely choose some other 1-submanifold ω1 to start with. After adding the extra component coming from the original exact triangle, we finally arrive at a 1-submanifold representing the same homology class as ω for all three 3-manifolds. 2.2. Balanced sutured manifolds. Definition 2.6 ([Juh06, KM10b]). A balanced sutured manifold pM, γq consists of a compact oriented 3-manifold M with non-empty boundary together with a closed 1-submanifold γ on BM. Let Apγq “ r´1, 1sˆγ be an annular neighborhood of γ ĂBM and let Rpγq “ BMzintpApγqq. They satisfy the following properties. (1) Neither M nor Rpγq has a closed component. (2) If BApγq “ ´BRpγq is oriented in the same way as γ, then we require this orientation of BRpγq induces one on Rpγq. The induced orientation on Rpγq is called the canonical orientation. (3) Let R`pγq be the part of Rpγq so that the canonical orientation coincides with the induced orientation on BM, and let R´pγq “ RpγqzR`pγq. We require that χpR`pγqq “ χpR´pγqq. If γ is clear in the contents, we simply write R˘ “ R˘pγq. For a balanced sutured manifold pM, γq, Juh´aszconstructed sutured (Heegaard) Floer homology, and Kronheimer and Mrowka constructed sutured instanton Floer homology. Definition 2.7 ([Juh06]). A balanced diagram is a triple pΣ, α, βq so that the followings hold. (1) We have Σ being a connected compact oriented surface with boundary. (2) We have α “ tα1, . . . , αnu and β “ tβ1, . . . , βnu being two sets of pair-wise disjoint simple closed curves in the interior of Σ. We do not distinguish between the set and the union of curves. (3) The maps π0pBΣq Ñ π0pΣzαq and π0pBΣq Ñ π0pΣzβq are surjective. Let M be the 3-manifold obtained from Σ ˆ r´1, 1s by attaching 3–dimensional 2–handles along αi ˆt´1u and βi ˆt1u for each integer i P r1, ns and let γ “BΣˆt0u. A balanced diagram pΣ, α, βq is called compatible with a balanced sutured manifold pN, νq if the sutured manifold pM, γq is diffeomorphic to pN, νq. A sutured manifold pN, νq is called a product sutured manifold if it is compatible with pΣ, H, Hq for some Σ. Theorem 2.8 (Juh´asz[Juh06]). Suppose pM, γq is a balanced sutured manifold. There is a balanced diagram compatible with pM, γq. Then there is a module SFHpM, γq over Z, which is called the sutured (Heegaard) Floer homology of pM, γq. Remark 2.9. Sutured Heegaard Floer homology generalizes Heegaard Floer homology [OS04b], and knot Flor homology [OS04a, Ras03]. Suppose Y is a closed 3-manifold and K Ă Y is a knot. Let INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 11

Y p1q be obtained from Y by removing a 3-ball and let δ be a simple closed curve on BY p1q. Let γ consist of two meridians of K. Then there are canonical isomorphisms SFHpY p1q, δq – HF pY q, and SFHpY pKq, γq – HFKpY,Kq. Theorem 2.10 (Kronheimer and Mrowka [KM10b]). For a balanced sutured manifold pM, γq, one y { can associate a triple pY, R, ωq, called a closure of pM, γq, so that the followings hold. (1) We have Y being a closed 3-manifold so that M is an oriented submanifold of Y . (2) We have R Ă Y being a connected closed oriented surface of genus at least one so that R`pγq is an oriented submanifold of R and R X intpMq “ H. (3) We have ω Ă Y being a simple closed curve so that it intersects R transversely at one point and ω X intpMq “ H. Moreover, the isomorphism class of IωpY |Rq as in Definition 2.3 is independent of the choices of the triple pY, R, ωq and is a topological invariant of pM, γq. Definition 2.11. For a balanced sutured manifold pM, γq, the vector space IωpY |Rq for a closure pY, R, ωq of pM, γq is called the sutured instanton Floer homology of pM, γq. It is also denoted by SHIpM, γq to stress the independence of choices of closures as claimed in Theorem 2.10. One of the most important properties of these two kinds of sutured Floer homologies is that they detect the tautness of balanced sutured manifolds.

Definition 2.12 ([Juh06]). A sutured manifold pM, γq is called taut if M is irreducible and R˘pγq are both incompressible and Thurston norm-minimizing in the homology class they represent in H2pM, γq. Theorem 2.13 (Juh´asz[Juh06, Juh08], Kronheimer and Mrowka [KM10b]). Suppose pM, γq is a balanced sutured manifold so that M is irreducible, then the following three statements are equivalent. ‚p M, γq is taut. ‚ SFHpM, γq ‰ 0. ‚ SHIpM, γq ‰ 0. Another important property is about the product manifold. Theorem 2.14 (Ni [Ni07], Kronheimer and Mrowka [KM10b]). Suppose pM, γq is a sutured man- ifold and a homology product. Then the following three statements are equivalent. ‚p M, γq is a product sutured manifold. ‚ SFHpM, γq – Z. ‚ SHIpM, γq – C. In Theorem 2.10, only the isomorphism class of SHI is well-defined. Later, Baldwin and Sivek improved the naturality of SHI, making it possible to discuss about elements in SHI. Similar work is done by Juh´asz, Thurston and Zemke [JTZ12] for SFH over Z2, and Kutluhan, Sivek, and Taubes [KST13] for sutured ECH. Theorem 2.15 (Baldwin and Sivek [BS15]). For a balanced sutured manifold pM, γq and any two closures pY1,R1, ω1q and pY2,R2, ω2q, there is an isomorphism

ω1 – ω2 Φ1,2 : I pY1|R1q ÝÑ I pY2|R2q that is well-defined up to multiplication by a unit, i.e., a nonzero complex number. Furthermore, the isomorphism Φ satisfies the following two conditions. 12 ZHENKUN LI AND FAN YE

(1) If pY1,R1, ω1q “ pY2,R2, ω2q, then . Φ1,2 “ id, . where “ means equal up to multiplication by a unit. (2) If there is a third closure pY3,R3, ω3q, then we have

. ω1 ω3 Φ1,3 “ Φ2,3 ˝ Φ1,2 : I pY1|R1q Ñ I pY3|R3q. From Theorem 2.15, for a balanced sutured manifold pM, γq, Baldwin and Sivek constructed a projective transitive system based on the vector space IωpY |Rq coming from different closures of pM, γq and the canonical maps Φ between them. There is then a canonical module associated to the projective transitive system, which we write as SHIpM, γq. We can regard it as a complex vector space well defined up to multiplication by a unit. From now on, we will write SHIpM, γq for sutured instanton Floer homology. Definition 2.16 ([KM10b, Section 7]). Suppose Y is a closed 3-manifold and K Ă Y is a knot. Let pY p1q, δq and pY pKq, γq be sutured manifolds defined as in Remark 2.9. The framed instanton Floer homology of Y is defined by

1 I7pY q :“ IS pY 7pS1 ˆ T 2q|t1u ˆ T 2q – SHIpY p1q, δq. The instanton knot homology of pY,Kq is defined by KHIpY,Kq :“ SHIpY pKq, γq. Remark 2.17. In [BS15], in order to make the definition of KHI independent of different choices of knot complements and the position of the meridianal suture, Baldwin and Sivek also added a basepoint to the data. However, since in this paper we only care about the dimension of KHI, we overlook this ambiguity and omit the basepoint from our notation. Also, the definition of SHIpY p1q, δq depends on a choice of basepoint. By the same reason we omit the basepoint. The surgery exact triangle in Theorem 2.4 can easily be generalized for KHI. Suppose M is a compact oriented 3-manifold with torus boundary and K Ă M is a knot. Let γ1, γ2, γ3 be three oriented simple closed curves on BM so that

γ1 ¨ γ2 “ γ2 ¨ γ3 “ γ3 ¨ γ1 “ ´1.

For i P t1, 2, 3u, let Yi be a closed 3-manifold obtained by Dehn filling along γi and let Ki be the knot induced by K: 1 2 pYi,Kiq “ pM,Kq Y S ˆ D . 2 γi“t1uˆBD Theorem 2.18. There is an exact triangle

f1 (2.3) KHIpY1,K1q / KHIpY2,K2q g

f3 f2 w KHIpY3,K3q Furthermore, all maps in the exact triangle (2.3) are induced by cobordism maps between corre- sponding closures of sutured manifolds induced by pYi,Kiq. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 13

Suppose pM, γq is a balanced sutured manifold and S Ă M is a properly embedded surface. We state results about the decomposition of SHIpM, γq associated to S. Definition 2.19 ([GL19, Definition 2.25]). Suppose pM, γq is a balanced sutured manifold and S Ă pM, γq is a properly embedded surface in M. The surface S is called an admissible surface if the followings hold. (1) Every boundary component of S intersects γ transversely and non-trivially. 1 (2) We require that 2 |S X γ| ´ χpSq is an even integer. For an admissible surface S Ă pM, γq, there is a well-defined Z grading on SHIpM, γq. Theorem 2.20 (Li [Li19]). Suppose pM, γq is a balanced sutured manifold and S Ă pM, γq is 1 an admissible surface with n “ 2 |S X γ|. Then there exists a closure pY, R, ωq of pM, γq so that S extends to a closed surface S¯ Ă Y with χpS¯q “ χpSq ´ n. Let SHIpM, γ, S, iq denote the p2iq- generalized eigenspace of µpS¯q acting on SHIpM, γq “ IωpY |Rq. Then SHIpM, γ, S, iq is preserved by the canonical maps in Theorem 2.15. Thus, the vector space SHIpM, γ, S, iq is well-defined. Furthermore, the followings hold. 1 (1) If |i| ą 2 pn ´ χpSqq, then SHIpM, γ, S, iq “ 0. S 1 1 (2) If there is a sutured manifold decomposition pM, γq pM , γ q in the sense of Gabai [Gab83], then we have 1 SHIpM, γ, S, pn ´ χpSqqq – SHIpM 1, γ1q. 2 (3) For any i P Z, we have SHIpM, γ, S, iq “ SHIpM, γ, ´S, ´iq. Remark 2.21. In [Li19], the grading was only constructed for an admissible surface with a connected boundary. When generalizing it to admissible surfaces with multiple boundary components, more choices arise in the construction of the grading. This new ambiguity was reduced to a combinatorial problem as discussed in [Li19] and was then resolved in [Kav19]. Remark 2.22. The first statement in Theorem 2.20 comes from an adjunction inequality from instanton Floer homology [KM10b, Proposition 7.5]. The second statement in Theorem 2.20 is a restatement of [KM10b, Proposition 7.11]. Suppose pM, γq is a balanced sutured manifold, and S Ă M is a properly embedded surface. If S is not admissible, then we can perform isotopies on S to make it admissible. Definition 2.23. Suppose pM, γq is a balanced sutured manifold, and S is a properly embedded oriented surface. A stabilization of S is an isotopy of S to a surface S1 in the following sense. This isotopy creates a new pair of intersection points: 1 BS X γ “ pBS X γq Y tp`, p´u. We require that there are arcs α ĂBS1 and β Ă γ, oriented in the same way as BS1 and γ, respectively, so that the followings hold.

(1) We have Bα “Bβ “ tp`, p´u. (2) The curves α and β cobound a disk D so that intpDq X pγ YBS1q “ H. 14 ZHENKUN LI AND FAN YE

The stabilization is called negative if D can be oriented so that BD “ α Y β as oriented curves. It is called positive if BD “ p´αq Y β. See Figure 1. We denote by S˘k the result of performing k many positive or negative stabilizations of S. α D β

negative γ ¨¨* ¨ ¨H D HH α γ Hj β BS positive

Figure 1. The positive and negative stabilizations of S.

The following lemma is straightforward. Lemma 2.24. Suppose pM, γq is a balanced sutured manifold, and S is a properly embedded oriented surface. Suppose S` and S´ are the results of performing a positive and a negative stabilization on S, respectively. Then, we have the following. (1) If we decompose pM, γq along S or S`, then the resulting two balanced sutured manifolds are diffeomorphic. (2) If we decompose pM, γq along S´, then the resulting balanced sutured manifold pM 1, γ1q is not 1 taut, as R˘pγ q would both become compressible. Remark 2.25. Note the definition of stabilizations of a surface depends on the orientations of the suture and the surface. If the orientation of the suture reverses, then positive and negative stabilizations switch between each other. Similarly, if we switch the orientation of the surface, then the positive and negative stabilizations also switch between each other. One important result that will be useful is to relate the gradings associated to different stabi- lizations of the same surface. Theorem 2.26 (Li [Li19, Proposition 4.3] and Wang [Wan20, Proposition 4.17]). Suppose pM, γq is a balanced sutured manifold and S is a properly embedded surface in M, which intersects the suture γ transversely. Suppose S has a distinguished boundary component so that all the stabilizations mentioned below are performed on this boundary component. Then, for any p, k, l P Z so that the stabilized surfaces Sp and Sp`2k are both admissible, we have SHIpM, γ, Sp, lq “ SHIpM, γ, Sp`2k, l ` kq. Note Sp is a stabilization of S as introduced in Definition 2.23, and, in particular, S0 “ S. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 15

Remark 2.27. The original form of Theorem 2.26 in [Li19] was stated for a Seifert surface in the case of a knot complement. Though it is straightforward to generalize the proof to the case of a general admissible surface in a general balanced sutured manifold, given the condition that the decompositions along S and ´S are both taut. This extra condition on taut decompositions was then dropped due to the work in [Wan20]. 2.3. Bypass attachments. In this subsection, we review an important tool for sutured manifolds, i.e., the bypass map. Definition 2.28 ([Hon00]). Suppose pM, γq is a balanced sutured manifold. An arc α ĂBM is called a bypass arc if the arc intersects the suture γ transversely at three points, including two endpoints. For a bypass arc α, let its three intersection points with γ be P0, P1, and P2, ordered by an arbitrary orientation of α. For i “ 0, 1, 2, let γi be the component of γ containing Pi. If γ0 “ γ1 ‰ γ2 or γ1 “ γ2 ‰ γ0, then α is called a wave bypass. If γ0 “ γ2 ‰ γ1, then α is called an anti-wave bypass. Remark 2.29. The names of wave and anti-wave follows from [GL16, Section 7], where waves and anti-waves are arcs whose endpoints are on the same curve. After removing the component of γ containing only one intersection point with α, the arc α becomes a wave or an anti-wave.

α P0,´ P1,´ P2,´

P0,` P1,` P2,`

Figure 2. The bypass arc and the bypass attachment.

Given a bypass arc α on a balanced sutured manifold pM, γ1q, we can change the suture locally as follows. Let D ĂBM be a neighborhood of the arc α ĂBM, which is a disk containing α and intersecting γ in three arcs. There are six endpoints after cutting γ along α. We label them corresponding to the orientation of BM: if Pi,´ and Pi,` are two endpoints according to Pi, we label them so that the oriented arc α, together with the arc-component of γ X D from Pi,´ to Pi,`, gives an oriented framing of the boundary BM. Then we connect the newly created six endpoints according to the ‘left-handed-principle’: in D, a new suture γ2 is obtained by connecting P0,´ to P1,´, connecting P2,´ to P0,`, and connecting P2,` to P1,`. See Figure 2 for an example of a bypass arc and the corresponding new sutures. Proposition 2.30 (Honda [Hon02]). Suppose pM, γq is a balanced sutured manifold and α is a bypass arc. Suppose γ2 is the new suture described as above. Then pM, γ2q is still a balanced sutured manifold. If α is a wave bypass, the suture γ2 is obtained from γ1 via a ‘mystery move’. If α is an anti-wave bypass, the suture γ2 is obtained from γ1 via a positive Dehn twist. In both cases, the numbers of components of γ1 and γ2 are the same. 16 ZHENKUN LI AND FAN YE

Definition 2.31. The change from pM, γ1q to pM, γ2q is called a bypass attachment along α. Remark 2.32. The definition of a bypass attachment is due to [Hon00, Section 3.4]. Originally, a bypass attachment is a thickened half-disk, carrying some particular contact structure, attached to a contact 3-manifold M along an arc α ĂBM. The dividing set on the boundary BM can be thought of as equivalent to the suture. After the half-disk-attachment, the dividing set, or the suture, is changed in the way described in Definition 2.31. For our purpose, we do not require the balanced suture manifold pM, γ1q to carry a contact structure, while we can still perform an abstract bypass attachment. A bypass attachment induces a map

ψ1 : SHIp´M, ´γ1q Ñ SHIp´M, ´γ2q. This map can be explained in the following two ways. Contact handle decomposition. By Ozbagci [Ozb11, Section 3], the half-disk-attachment can be decomposed into two contact handle attachments. First, one can attach a contact 1-handle along two endpoints of the bypass arc α. Then one can attach a contact 2-handle along a circle that is the union of α and an arc on the attached 1-handle. Topologically, the 1-handle and the 2-handle form a canceling pair, so the homeomorphism type of the 3-manifold is the same. However, the contact structure is changed, and the suture γ1 is replaced by γ2. In [BS16b, Section 5], Baldwin and Sivek constructed contact handle attaching maps for SHI. Following Ozbagci’s idea, they defined the map

ψ1 : SHIp´M, ´γ1q Ñ SHIp´M, ´γ2q to be the composition of the corresponding contact 2-handle and 1-handle attaching maps. Contact gluing maps. The half-disk attachment can be re-interpreted as follows. We start with pM, γ1q. Then pick r1, 2s ˆ BM to be a collar of the boundary, carrying a particular contact structure ξ specified by the bypass attachment, so that the boundary t1, 2u ˆ BM is convex and the dividing set is γ1 Y γ2, with γi Ă tiu ˆ BM for i P t1, 2u. Then we glue r1, 2s ˆ BM to M by the identification t1u ˆ BM “BM. The new 3-manifold is diffeomorphic to M, while the suture γ1 is replaced by γ2. In [HKM08], Honda, Kazez, and Mati´cdefined a gluing map for SFH

Φξ : SFHp´M, ´γ1q Ñ SFHp´M, ´γ2q, which was then re-visited by Juh´aszand Zemke [JZ12]. Later, the first author defined a similar gluing map for SHI in [Li18], and we can define

ψ1 “ Φξ : SHIp´M, ´γ1q Ñ SHIp´M, ´γ2q. These two points of view are equivalent due to [Li18, Section 4]. They will both be useful. Some immediate corollaries are the followings. Lemma 2.33. Suppose pM, γq is a balanced sutured manifold and α, β ĂBM are two bypass arcs with α X β “H. Let ψα and ψβ be the bypass attaching maps associated to α and β, respectively. Let pM, γ1q be the resulting balanced sutured manifold after bypass attachments along both α and β. Then we have 1 ψα ˝ ψβ “ ψβ ˝ ψα : SHIp´M, ´γq Ñ SHIp´M, ´γ q. Proof. Consider bypasses as the compositions of contact handle attachments. Since α X β “H, the contact handles associated to α and β are attached to disjoint regions on BM. Then it follows immediately that the corresponding contact handle attaching maps commute with each other.  INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 17

Lemma 2.34. Suppose pM, γq is a balanced sutured manifold and α0, α1 ĂBM are two bypass arcs. Suppose further that these two arcs are isotopic as bypass arcs, i.e., there is a smooth family 1 αt, for t P r0, 1s, of bypass arcs. Then, α1 and α2 lead to isotopic balanced sutured manifold pM, γ q, and the bypass maps ψα1 and ψα2 are the same:

1 ψα1 “ ψα2 : SHIp´M, ´γq Ñ SHIp´M, ´γ q. Proof. It follows from the contact handle decomposition interpretation of the bypass attachments. 

Remark 2.35. On the level of contact geometry, Honda has already proved Lemma 2.33 and Lemma 2.34 in [Hon00]. Thus, these two lemmas can also be proved by combining Honda’s results with the functoriality of gluing maps Φξ in [Li18].

One of the most important properties of bypass attachments is the bypass exact triangle. Suppose pM, γq is a balanced sutured manifold, and α is a bypass arc. Suppose D is a neighborhood of α ĂBM and pM, γ2q is the result of the bypass attachment along α. As shown in Figure 3, after attaching a bypass along α, there is an obvious bypass arc β Ă D. If we do the bypass attachement along β, then we obtain another balanced sutured manifold pM, γ3q, and it still carries an obvious bypass arc θ. When we further do the bypass attachement along θ, we obtain pM, γ1q again. Let ψ1, ψ2, and ψ3 be the bypass maps associated to α, β, and θ, respectively. We have the following.

α

β θ

Figure 3. The bypass triangle.

Theorem 2.36 (Baldwin and Sivek [BS18, Theorem 1.20]). There exists an exact triangle

ψ1 SHIp´M, ´γ1q / SHIp´M, ´γ2q h

ψ3 ψ2 v SHIp´M, ´γ3q 18 ZHENKUN LI AND FAN YE

3. Instanton Floer homology and Heegaard diagrams 3.1. Sutured manifold with tangles and Heegaard diagrams. Definition 3.1 ([XZ19, Definition 1.1]). Suppose pM, γq is a balanced sutured manifold. A tangle T Ă pM, γq is a properly embedded 1-submanifold so that T X Apγq “ H. A tangle T is called balanced if

|T X R`pγq| “ |T X R´pγq|. A component α of T is called vertical if α is an arc,

T X R`pγq ‰ H, and T X R´pγq ‰ H. A tangle is called vertical if every component of T is vertical. Theorem 3.2 (Xie and Zhang [XZ19]). For a balanced sutured manifold pM, γq and a balanced tangle T Ă pM, γq, there is a finite-dimensional complex vector space SHIpM, γ, T q associated to them, whose isomorphism class is a topological invariant of the triple pM, γ, T q. Suppose T Ă pM, γq is a vertical tangle, one can associate a new balanced sutured manifold pMT , γT q to it. Let MT “ MzNpT q and let the suture γT be the union of γ and one meridian for each component of T . We have the following theorem. Theorem 3.3 ([XZ19, Lemma 7.10]). For a vertical tangle T Ă pM, γq, there is an isomorphism

SHIpM, γ, T q – SHIpMT , γT q. Then we introduce Heegaard diagrams of closed 3-manifolds and knots. Definition 3.4. A (genus g) diagram is a triple pΣ, α, βq so that the followings hold. (1) We have Σ being a connected closed surface of genus g. (2) We have α “ tα1, . . . , αmu and β “ tβ1, . . . , βnu being two sets of pair-wise disjoint simple closed curves on Σ. We do not distinguish the set and the union of curves.

Let N0 be the manifold obtained from Σ ˆ r´1, 1s by attaching 3–dimensional 2–handles along αi ˆ t´1u and βj ˆ t1u for each integer i P r1, ms and each integer j P r1, ns. Let N be the manifold obtained from N0 by capping off spherical boundaries. A diagram pΣ, α, βq is called compatible with a 3-manifold M if M – N. In such case, we also write M is compatible with pΣ, α, βq, or pΣ, α, βq is a diagram of M. Definition 3.5. A (genus g) Heegaard diagram is a (genus g) diagram pΣ, α, βq satisfying the following conditions. (1) We have |α| “ |β| “ g, i.e., there are g many curves in either tuple. (2) The complements Σzα and Σzβ are connected. Given a Heegaard diagram pΣ, α, βq, the manifolds compatible with pΣ, α, Hq and pΣ, H, βq are called the α-handlebody and the β-handlebody, respectively. Definition 3.6. A basepoint in a Heegaard diagram pΣ, α, βq is a point in Σzpα Y βq.A (genus g) doubly-pointed Heegaard diagram pΣ, α, β, z, wq is a (genus g) Heegaard diagram with two basepoints z and w. Let a Ă Σzα and b Ă Σzβ be two arcs connecting z and w. Suppose a1 and b1 are obtained from a and b by pushing them into α-handlebody and β-handlebody, respectively. A doubly-pointed Heegaard diagram pΣ, α, β, z, wq is called compatible with a knot K in a closed 3-manifold Y if pΣ, α, βq is compatible with Y and the union a1 Y b1 is isotopic to K. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 19

Definition 3.7. Suppose pΣ, α, βq is a Heegaard diagram of a closed 3-manifold Y . A knot K Ă Y is called the core knot of βi for some βi Ă β if it is constructed as follows. First, let M be the manifold compatible with the diagram pΣ, α, βzβiq. It has a torus boundary and βi induces a simple closed curve on BM. Dehn filling M along βi ĂBM gives Y . Second, let K be the image of S1 ˆ 0 Ă S1 ˆ D2 under the filling map, where S1 ˆ D2 is the filling solid torus. The following is a basic fact in 3-dimensional topology. Theorem 3.8. For any closed 3-manifold Y and any knot K Ă Y , there is a Heegaard diagram compatible with Y and a doubly-pointed Heegaard diagram compatible with pY,Kq. Lemma 3.9. Suppose Y is a closed 3-manifold and K Ă Y is a knot. Suppose pΣ, α, β, z, wq is a genus g doubly-pointed Heegaard diagram compatible with pY,Kq. Then there is a genus pg ` 1q 1 1 1 Heegaard diagram pΣ , α , β q compatible with Y so that βg`1 is a meridian of K. Hence K is the core knot of βg`1. Proof. Consider the manifold obtained from Σˆr´1, 1s by attaching a 3-dimensional 1-handle along tz, wu ˆ t1u. This manifold has two boundaries. Let Σ1 be the boundary that is not diffeomorphic 1 to Σ. Let αg`1 Ă Σ be the curve running from z to w and then back over the 1-handle. Let 1 1 1 βg`1 Ă Σ be a small circle around z. Then α “ α Y tαg`1u and β “ β Y tβg`1u are desired.  Lemma 3.10. Suppose Y is a closed 3-manifold and pΣ, α, βq is a Heegaard diagram compatible with Y . Then we can construct a vertical tangle T Ă pY p1q, δq, where pY p1q, δq is defined as in Remark 2.9. Furthermore, the balanced sutured manifold pY p1qT , γT q has the following properties:

(1) The 3-manifold Y p1qT is a handlebody with boundary Σ. (2) The suture δT contains all curves in β. (3) R`pδT q and R´pδT q are both spheres with pg ` 1q many punctures. Proof. The manifold Y p1q can be obtained from the α-handlebody by attaching 3–dimensional 2- handles along βi for each integer i P r1, gs. To pick the tangle, first note that a 3-dimensional 2 2 2-handle can be thought of as r´1, 1s ˆ D attached along r´1, 1s ˆ BD . Let θi “ r´1, 1s ˆ t0u be the co-core of the 2-handle attached along βi, and let T “ θ1 Y ¨ ¨ ¨ Y θg. Then T is properly embedded in Y p1q. To obtain a balanced sutured manifold as well as a vertical tangle, we can pick a simple closed curve δ ĂBY p1q so that for any i, two endpoints of θi lie on two different sides of δ. Since T is chosen to be the co-core of the 2-handles attached along βi, it is straightforward to check that Y p1qT is a handlebody and all βi are components of δT . Other than βi, the suture δT contains another component, namely δ. Thus, R`pγT q and R´pγT q can be obtained from Σzβ by cutting along δ. Thus, they are both spheres with pg ` 1q many punctures. 

Lemma 3.11. Suppose H is a handlebody, and γ is a suture on BH so that R`pγq and R´pγq are both spheres with pg ` 1q many punctures. We can find a closed 3-manifold Y and a Heegaard diagram pΣ, α, βq compatible with Y so that for the vertical tangle T Ă pY p1q, δq constructed in the proof of Lemma 3.10, we have pY p1qT , δT q “ pH, γq.

Proof. Let Σ “BH. Suppose Σ has genus g. Let α1,. . . ,αg be boundaries of g compressing disks D1,...,Dg so that HzpD1 Y ¨ ¨ ¨ Y Dgq is a 3-ball. Since R`pγq and R´pγq are both spheres with pg ` 1q many punctures, the suture γ has pg ` 1q many components. We can take arbitrary g many of them to form β. Different choices of such g many curves from γ are clearly related to each other by a finite sequence of handle slides, so they lead to the same closed 3-manifold Y up to diffeomorphism. 20 ZHENKUN LI AND FAN YE

Let δ be the remaining component of γ. Suppose Y p1q is obtained by attaching 3-dimensional 2-handles along β curves. Then δ becomes the desired suture on BY p1q. Then it is straightforward to check the final argument.  Lemma 3.12. Suppose pΣ, α, βq is a Heegaard diagram compatible with a closed 3-manifold Y . Then there exists a balanced sutured handlebody pH, γq satisfying the hypothesis of Lemma 3.11. Furthermore, the manifold obtained by applying Lemma 3.11 is precisely Y .

Proof. Let H be the α-handleboby. Suppose Σ has genus g. For any integer i P r1, gs, let βi be 1 oriented arbitrarily and let βi be the curve obtained by pushing off βi to the right with respect to 1 1 the orientation. Suppose βi is oriented reversely. Let βg`1 be the curve obtained from βi by band sums with respect to orientations so that βg`1 is disjoint from β1, ..., βg. Let γ “ β1 Y ¨ ¨ ¨ Y βg`1. It is straightforward to check that pH, γq is the desired sutured handlebody.  Remark 3.13. Suppose Y is a closed 3-manifold and K Ă Y is a knot. Suppose pΣ, α, β, z, wq is a genus pg ´ 1q doubly-pointed Heegaard diagram of pY,Kq. It induces a genus g Heegaard diagram pΣ1, α1, β1q of Y by Lemma 3.9 and then a balanced sutured handlebody pH, γq by Lemma 3.12. 1 1 Note the diagram pΣ , α , βq is compatible with the knot complement Y pKq. Since βg X βg`1 “H and βg`1 is the meridian of K, the suture βg becomes a parallel copy of the meridian of K with the reverse orientation. 3.2. A dimension inequality for tangles. In this subsection, we prove the following proposition. Proposition 3.14. Suppose pM, γq is a balanced sutured manifold and T is a vertical tangle. 1 Suppose α Ă T is a component of T so that rαs “ 0 P H1pM, BM; Qq. Let T “ T zα. Then we have 1 dimCSHIp´M, ´γ, T q ď dimCSHIp´M, ´γ, T q. Proof. We prove this propositions in followings steps.

Step 1. We construct an auxiliary manifold MT0 with a family of sutures Γn for n P N Y t´, `u on BMT0 . Since rαs “ 0 P H1pM, BM; Qq, there exist q, k P Z and arcs β1, ..., βk ĂBM so that there exists a properly embedded surface S in M with BS consisting of β1,..., βk and q copies of α. Suppose components of T are α1, α2, ..., αm, with α1 “ α. As in Subsection 3.1, we form a new balanced sutured manifold pMT , γT q as follows. Let NpT q be a tubular neighborhood of T in M. Then BNpT q intersects either R`pγq or R´pγq in m many disks and intersects intpMq in m many cylinders. Let C1,...,Cm be the cylinders corresponding to α1, . . . , αm, respectively. Let MT “ MzintpNpT qq. For any integer i P r1, ns, let γi Ă Ci be a simple closed curve representing the generator of H1pCiq. Let αi be oriented from R`pγq to R´pγq. Then γi has an induced orientation from αi. Let

γT “ γ Y γ1 Y ... Y γm.

The surface S can be modified into a properly embedded surface ST in MT as follows. First, for the part of BS, which are q copies of α, we isotop them to be on C1. Then βj for any integer j P r1, ks can be viewed as an arc on BMT zC1. We can isotop S if necessary to make S intersect αi for any integer i P r2, ms transversely. When removing NpT q from M, we remove disks, viewed 1 as neighborhoods of S X T , from S. Thus, we obtain ST Ă MT . Note ST X C1 consists of q many arcs, each intersecting γ1 transversely at one point. Also note for any integer i P r2, ms, ST X Ci is a (possibly empty) collection of circles that are parallel to γi. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 21

Note β1 does not intersect any γi, but intersects the original suture γ. Since the arc β1 ĂBST Ă BMT has one endpoint in R`pγT q and the other in R´pγT q, its intersection with γ must be odd. Let β1 be oriented from R`pγT q to R´pγT q and let the intersection points between β1 and γ be 1 1 p1, . . . , pl with l odd, ordered by the orientation of β1. Let β1 be a perturbation of β1 so that β1 1 and β1 meet at endpoints. Suppose the intersection points between β1 and γ be q1, . . . , ql so that qi is near pi for integer i P r1, ls. If l “ 1, then pMT , γT q is enough for the proof. If l ą 1, we have to perform the following modification on pMT , γT q. We attach a contact 1-handle to pM, γq along q1 and ql´1 in the sense of Baldwin and Sivek [BS16a, Section 4.2.2], or equivalently, attach a product 1-handle in the sense of Kronheimer and Mrowka [KM10b, Section 6]. They both proved that the balanced sutured manifolds before and after attaching such a 1-handle have exactly the same closure, which is also compatible with Xie and Zhang’s construction. As a result, after attaching the 1-handle, the sutured instanton Floer homology does not change. Thus, we will still use pM, γq and pMT , γT q to denote sutured manifolds after attaching the 1-handle. The convenience of having an extra 1-handle attached is that now there exists an arc ζ with the following significance.

(1) Endpoints of ζ are contained in BC1. (2) The arc ζ intersects γ transversely at one point. (3) The arc ζ is disjoint from ST . 1 The arc ζ can be obtained by first going along β1 until reaching q1, then going along the 1-handle, 1 1 and going back to β1 at the point ql´1 and then keeping going along β1. Finally, we slightly perturb this arc to make it disjoint from ST . See Figure 4.

1-handle ζ` q1 q 2 q1 q2 q l´1 ql´1 q α0 l Npα1q ql

1 ζ´ β1 β1

1 Figure 4. Left, the arc β1; middle, the 1-handle on β1; right, the arcs ζ`, α0, and ζ´.

Let α0 be the arc obtained by pushing a neighborhood of ql on ζ into the interior of MT . Suppose the endpoints of α0 are still in ζ and α0 is disjoint from ST . The arc α0 can be regarded as a vertical 1 1 tangle in MT and hence in the original manifold M. Let T0 “ T Y α0, and T0 “ T Y α0. Let pMT0 , γT0 q be obtained similarly as pMT , γT q. Since MT0 “ MT zNpα0q, the cylinder C0 and the suture γ0 are defined similarly as Ci and γi for any integer i P r1, ms. A sketch is shown in Figure

5. Let ζ˘ be two parts of ζ contained in R˘pγT0 q, respectively.

Now, we pick a family of sutures Γn on MT0 so that Γn is the suture obtained from γT0 by replacing γ0 and γ1 by other two sutures. We describe the two new sutures in details as follows.

For Γ0, the new sutures are depicted in Figure 5. Note that the part of the new sutures in R˘pγT0 q consists of two parallel copies of ζ˘, respectively. To obtain other sutures Γn, we perform twists along ´γ1 for n times, as shown in Figure 6. 22 ZHENKUN LI AND FAN YE Γ ζ` 0

R`pγT0 q

γ0 γ1

Npα0q Npα1q

R´pγT0 q

ζ´

Figure 5. Left, a sketch of the balanced sutured manifold pMT0 , γT0 q with the arcs ζ` and ζ´; right, the suture Γ0.

Γn Γ`

R`pγT0 q

η´

η`

R´pγT0 q

Figure 6. Left, the suture Γn, and the bypass arcs η` and η´; right, the suture Γ`.

There are two obvious bypass arcs in Figure 6, denoted by η` and η´, respectively. It is straight- forward to check that these two bypass arcs induce bypass exact triangles from Theorem 2.36:

n´1 ψ`,n (3.1) SHIp´MT , ´Γn´1q / SHIp´MT , ´Γnq 0 i 0

n ψ` ψ `,n´1 u `,` SHIp´MT0 , ´Γ`q INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 23 and

n´1 ψ´,n (3.2) SHIp´MT , ´Γn´1q / SHIp´MT , ´Γnq 0 i 0

n ψ´ ψ ´,n´1 u ´,´ SHIp´MT0 , ´Γ´q

Here Γ´ is the same as the original suture γT0 , and Γ` is the suture as depicted in Figure 6. One thing we would like to remark here is about the bypass attachment. The bypasses are attached to η` and η´ from the exterior of the 3-manifold MT0 , though the point of view in Figure 6 is from the interior of the manifold. So readers have to take extra care when performing these bypass attachments.

Step 2. We use bypass maps and bypass triangles to derive an inequality for MT0 . Recall we have a properly embedded surface ST Ă MT . Since α0 X ST “H, we can regard ST as being properly embedded in MT0 . Let ST be oriented so that the orientation of BST coincides with that of α (“ α1). Note that ζ` and ζ´ are both disjoint from ST . We can perform stabilizations on ST so that the followings hold.

(1) ST is admissible with respect to the suture Γ´ (“ γT0 ). (2) For any n P Zě0 Y t´, `u, ST has minimal possible number of intersection points with the suture Γnzpγ Y γ2 Y ... Y γmq. (3) ST is disjoint from a neighborhood of ζ` Y ζ´.

The surface after stabilizations is still denoted by ST . After obtaining the surface ST that satisfies the above three conditions, we further perform stabilizations on it as follows. For any n P N Y t´, `u, if ST is already admissible with respect to Γn, then let Sn be the surface ST without any further change. If ST is not admissible with respect to Γn, then perform a negative stabilization on ST within C1 to make it admissible, and call the resulting surface Sn. Equivalently, define a map τ : N Y t´, `u ÞÑ t0, ´1u 0 If S X Γ X C is odd τpnq “ T n 1 ´1 If ST X Γn X C1 is even " τpnq Then we take Sn “ ST , where the superscript on the surface ST follows Definition 2.23. Note all the stabilizations are with respect to Γn.

By Theorem 2.20, for any n P N Y t´, `u, there is a closure pYn,Rn, ωnq for pMT0 , Γnq so that Sn extends to a closed surface S¯n. Let 1 1 in “ ´ χpS¯ q, and in “ χpS¯ q ´ τpnq. max 2 n min 2 n n n Lemma 3.15. If i ą imax or i ă imin, then SHIp´MT0 , ´Γn,Sn, iq “ 0. Proof. If τpnq “ 0, then the lemma follows directly from term (1) of Theorem 2.20. If τpnq “ ´1, n then term (1) of Theorem 2.20 only implies that for i ă imin ´ 1,

SHIp´MT0 , ´Γn,Sn, iq “ 0. n For the remaining case when i “ imin ´ 1, from term (3) of Theorem 2.20, we have χpS¯ q SHIp´M , ´Γ ,S , iq “ SHIp´M , ´Γ , ´S , ´iq “ SHIp´M , ´Γ , ´S , ´ n q. T0 n n T0 n n T0 n n 2 24 ZHENKUN LI AND FAN YE

From the construction of Sn, we know that ´Sn is obtained from ST by a negative stabilization with respect to the suture ´Γn. Hence we can apply Lemma 2.24 and term (2) of Theorem 2.20 to obtain the desired result.  n Remark 3.16. Note we do not know if the corresponding SHI is non-vanishing at the gradings imax n and imin, though this does not make a difference in the proof of Proposition 3.14. Next, we will derive a graded version of bypass exact triangles (3.1) and (3.2). To do so, we will discuss more about the surface Sn. Since BST contains q copies of α1, for any n P N, we have

|ST X Γ` X C1| “ q, |ST X Γ´ X C1| “ 3q, and |ST X Γn X C1| “ p2n ` 1qq. From Theorem 2.20, we know that for any n P N, ¯ ¯ ¯ ¯ (3.3) χpS´q “ χpS`q ´ q ` τp´q, and χpSnq “ χpS`q ´ nq ` τpnq. From Lemma 3.15, we have n n (3.4) lim imax “ `8, and lim imin “ ´8. nÑ`8 nÑ`8 To present the grading shifting property better, we make the following definition. Definition 3.17. Suppose pM, γq is a balanced sutured manifold and S is an admissible surface in pM, γq. For any i, j P Z, define SHIpM, γ, S, iqrjs “ SHIpM, γ, S, i ´ jq. Lemma 3.18. For any n P N, we have two exact triangles ψn n`1 n `,n`1 SHIp´MT0 , ´Γn,Snqrimin ´ imins / SHIp´MT0 , ´Γn`1,Sn`1q O ` ψ`,n ψn`1 r `,` n`1 ` SHIp´MT0 , ´Γ`,S`qrimax ´ imaxs and ψn n`1 n ´,n`1 SHIp´MT0 , ´Γn,Snqrimax ´ imaxs / SHIp´MT0 , ´Γn`1,Sn`1q . O ´ ψ´,n ψn`1 r ´,´ n`1 ´ SHIp´MT0 , ´Γ´,S´qrimin ´ imins Furthermore, all maps in the above two exact triangles are grading preserving. n`1 Proof. We only prove the grading shifting behavior of the map ψ`,` in the triangle (3.1), and the proof for all other maps are similar. For simplicity, we also assume that τpnq “ τp`q “ 0 (Note τp`q “ 0 by construction), and other cases are similar. From Subsection 2.3, we know bypass maps are constructed via contact handle maps and ultimately via cobordisms maps associated to Dehn surgeries. It is obvious that the surface Sn`1 is disjoint from the bypass arc, so we conclude that the following map is grading preserving: n`1 ψ`,` : SHIp´MT0 , ´Γn`1,Sn`1q Ñ SHIp´MT0 , ´Γ`,Sn`1q.

From Figure 7, it is straightforward to check that Sn`1 is obtained from S` by 1 p|S X Γ X C | ´ |S X Γ X C |q “ 2pin`1 ´ i` q 2 n`1 ` 1 ` ` 1 max max INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 25 many negative stabilizations, with respect to the suture Γ`. Hence they become positive stabiliza- tions with respect to ´Γ`. Then Theorem 2.26 applies and we obtain the desired result.  Γn Γ`

R`pγT0 q

BSn

Positive Stabilizations

η`

R´pγT0 q

Figure 7. Left, the suture Γn, the surface Sn, and the bypass η`; right, the suture Γ` after the bypass attachment along η`.

Remark 3.19. The statement of Lemma 3.18 can be illustrated in Figure 8, where vector spaces are denoted by the related sutures and maps are denoted by horizontal arrows. The heights of the blocks depend on imax ´ imin. This illustration is also useful for statements in Section 4.

Figure 8. Illustration of Lemma 3.18.

Equipped with Lemma 3.18, we are able to prove the following lemma. 26 ZHENKUN LI AND FAN YE

Lemma 3.20. The map n,j n n`1 ψ`,n`1 : SHIp´MT0 , ´Γn,Sn, jq Ñ SHIp´MT0 , ´Γn`1,Sn`1, j ´ pimin ´ iminqq is an isomorphism if n`1 n n`1 ` ` j ă imax ` pimin ´ iminq ´ pimax ´ iminq. Similarly, the map n,j n`1 n ψ´,n`1 : SHIp´MT0 , ´Γn,Sn, jq Ñ SHIp´MT0 , ´Γn`1,Sn`1, j ` pimax ´ imaxqq is an isomorphism if n`1 n`1 n ´ ´ j ą imin ´ pimax ´ imaxq ` pimax ´ iminq. Proof. We only prove the first statement. The proof of the second is similar. Suppose n`1 n`1 i “ j ´ pimin ´ iminq. Then we know that there is a map n`1,i n`1 ` ψ`,` : SHIp´MT0 , ´Γn`1,Sn`1, iq Ñ SHIp´MT0 , ´Γ`,S`, i ´ imax ` imaxq. By assumption, we have n`1 ` n n`1 n`1 ` i ´ imax ` imax “ j ´ pimin ´ iminq ´ imax ` imax n`1 n n`1 ` ` n n`1 n`1 ` ă imax ` pimin ´ iminq ´ pimax ´ iminq ´ pimin ´ iminq ´ imax ` imax ` “ imin. n`1,i n,j Hence it follows from Lemma 3.15 that ψ`,` “ 0. Then it follows from Lemma 3.18 that ψ`,n`1 is surjective. The proof that it is injective is similar.  Lemma 3.21. For any n P Z, there is an exact triangle

(3.5) SHIp´MT , ´Γnq / SHIp´MT , ´Γn`1q 0 i 0

Gn Fn`1 u SHI M 1 , γ 1 p´ T0 ´ T0 q n n Furthermore, we have two commutative diagrams related to ψ`,n`1 and ψ´,n`1, respectively

n ψ˘,n`1 SHIp´MT , ´Γnq / SHIp´MT , ´Γn`1q 0 i 5 0

Gn Gn`1

SHI M 1 , γ 1 p´ T0 ´ T0 q

1 Proof. Let γ1 be the curve obtained by pushing γ1 into the interior of MT0 . The surgery triangle 1 associated to γ1 is the following.

pp´MT q1, ´Γn`1q / pp´MT q8, ´Γn`1q 0 i 0

u pp´MT0 q0, ´Γn`1q INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 27 γ 1 Γn T0 M M 1 T0 T0

1 η` η`

γ1

Figure 9. Left, the suture Γn, the meridian γ1, and the bypass η`; right, the balanced sutured manifold M 1 , γ 1 after attaching a contact 2-handle along γ . p T0 T0 q 1

1 1 The slopes 8, 0, and 1 are with respect to the surface framing of γ1 induced by BMT0 . Since γ1 is in the interior of MT0 , the surgeries do not influence the procedure of closing up the balanced sutured manifolds. Hence from Theorem 2.4 we have an exact triangle

SHIpp´MT q1, ´Γn`1q / SHIpp´MT q8, ´Γn`1q 0 j 0

t SHIpp´MT0 q0, ´Γn`1q The 8-surgery does not change anything, so

pp´MT0 q8, ´Γn`1q – p´MT0 , ´Γn`1q. 1 The 1-surgery is equivalent to a local twist along γ1. It does not change the underlying 3-manifold, while the suture Γn`1 is replaced by Γn:

pp´MT0 q1, ´Γn`1q – p´MT0 , ´Γnq. Finally, for the 0-surgery, from Baldwin and Sivek [BS16b], we know that on the level of closures, performing a 0-surgery is equivalent to attaching a contact 2-handle along γ1 ĂBMT0 . Attaching such a contact 2-handle changes M , Γ to M 1 , γ 1 . Hence we derive the desired exact p T0 n`1q p T0 T0 q triangle. 1 To prove two commutative diagrams, first note that the curve γ1 is disjoint from the bypass arc η`. As a result, the related maps commute with each other: n ψ ˝ G “ G ˝ ψ 1 , `,n`1 n n`1 η` 1 where η` is the bypass arc as shown in Figure 9. It is straightforward to check that the bypass along 1 η` is a trivial bypass, and hence from [Hon02] it does not change the contact structure. In Subsection 2.3, the bypass maps can be re-interpreted as contact gluing maps, and by the functoriality of instanton contact gluing maps in [Li18], we know that the bypass map ψη` corresponding to the 28 ZHENKUN LI AND FAN YE trivial bypass η` is the identity map. Hence we conclude that n ψ ˝ G “ G ˝ ψ 1 “ G ˝ id “ G . `,n`1 n n`1 η` n`1 n`1 n The other commutative diagram involving ψ´,n`1 can be proved similarly. 

Lemma 3.22. For a large enough integer n, the map Gn in Lemma 3.21 is zero.

Proof. Suppose the contrary. Then for any n, there exists x SHI M 1 , γ 1 so that P p´ T0 ´ T0 q

y “ Gnpxq ‰ 0 P SHIp´MT0 , ´Γnq. Suppose

y “ yj, where yj P SHIp´MT0 , ´Γn,Sn, jq, jP ÿZ jmax “ max j, and jmin “ min j. yj ‰0 yj ‰0

By assumption jmax and jmin both exist and jmax ě jmin. Suppose

z “ Gn`1pxq P SHIp´MT0 , ´Γn`1q, and similarly

z “ zj, where zj P SHIp´MT0 , ´Γn`1,Sn`1, jq. jP ÿZ From facts (3.3) and (3.4), we know that for a large enough integer n, we have n`1 n n`1 ` ` n`1 n`1 n ´ ´ imax ` pimin ´ iminq ´ pimax ´ iminq ą imin ´ pimax ´ imaxq ` pimax ´ iminq. Hence at least one of the following two statements must be true. n`1 n`1 n ´ ´ (1) jmax ą imin ´ pimax ´ imaxq ` pimax ´ iminq n`1 n n`1 ` ` (2) jmin ă imax ` pimin ´ iminq ´ pimax ´ iminq We only work with the case when the first statement is true, and the other case is similar. From Lemma 3.21, we have n n z “ ψ`,n`1pyq “ ψ´,n`1pyq. Suppose n n`1 i “ jmax “ jmax ` pimax ´ imaxq, and 1 n n`1 j “ i ` pimin ´ iminq. By Lemma 3.18, we have 1 n,j n,jmax 1 ψ`,n`1pyj q “ zi “ ψ´,n`1 pyjmax q. 1 n,jmax Since j ą jmax, we have zi “ 0. By Lemma 3.20, the first statement implies ψ´,n`1 is an isomorphism. Hence yjmax “ 0, which contradicts with the assumpotion of jmax. 

Suppose n is large enough. From the exact triangle (3.5), the map Gn is zero, and this implies

dim SHI M 1 , γ 1 dim SHI M , Γ dim SHI M , Γ . C p´ T0 ´ T0 q “ C p´ T0 ´ n`1q ´ C p´ T0 ´ nq

From the exact triangle (3.2) and the fact that Γ´ “ γT0 , we have

dimC SHIp´MT0 , ´γT0 q ď dimC SHIp´MT0 , ´Γn`1q ´ dimC SHIp´MT0 , ´Γnq. Step 3. We obtain the desired inequality from the above equality and inequality. Note that α0 is an arc obtained by pushing a neighborhood of ql in ζ into the interior of MT , and

MT0 is obtained from MT by removing a tubular neighborhood of α0. There is an embedded disk INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 29

D in MT0 whose boundary is the union of α0 and the neighborhood of ql in ζ. The boundary BD intersects γT0 at two points, one of which is ql and the other is in γ0. By Kronheimer and Mrowka

[KM10b, Section 6], decomposing the sutured manifold pMT0 , γT0 q along D does not change the isomorphism class of the sutured instanton Floer homology (D is a product disk in the sense of [Juh08, Definition 2.8]). It is straightforward to check the sutured manifold after the sutured manifold decomposition is exactly pMT , γT q. Then we have

dimC SHIp´MT0 , ´γT0 q “ dimC SHIp´MT , ´γT q. Similarly, we have

dim SHI M 1 , γ 1 dim SHI M 1 , γ 1 . C p´ T0 ´ T0 q “ C p´ T ´ T q Thus, we conclude

dimC SHIp´MT , ´γT q ď dimC SHIp´MT 1 , ´γT 1 q. Then Proposition 3.14 follows from Theorem 3.3.  Proof of Theorem 1.2. Consider the Heegaard diagram pΣ1, α1, β1q compatible with Y obtained from Lemma 3.9 and the tangle T obtained from Lemma 3.13. Since Y is a rational homology sphere, we have H1pY p1q, BY p1q; Qq “ 0, where pY p1q, δq is defined as in Remark 2.9. In particular, any component of T has trivial rational homology class. Then the theorem follows from Proposition 3.14, Theorem 3.3, and Remark 3.13.  Remark 3.23. Suppose pΣ, α, βq is a Heegaard diagram of a rational homology sphere Y and K is the core knot of βi for some βi Ă β. Suppose pH, γq is the sutured handlebody obtained from pΣ, α, βq by Lemma 3.12 and T is the tangle obtained from Lemma 3.13. Then the proof of Theorem 1.2 applies without change and we conclude the same inequality. Proof of Proposition 1.3. Similar to the proof of Theorem 1.2, since the knot K has trivial rational homology class, the corresponding tangle has trivial homology class in

H1pY p1q, BY p1q; Qq.  Corollary 3.24. Suppose pΣ, α, βq is a genus g Heegaard diagram of a rational homology sphere Y . Let pH, γq be a sutured handlebody obtained by Lemma 3.12. Suppose 1 g n “ |α X γ|. 2 i i“1 ÿ Then we have 7 n´g dimCI p´Y q ď 2 . Proof. By Lemma 3.10 and Theorem 1.2, we know that 7 dimCI pY q ď dimCSHIp´H, ´γq. Hence it suffices to prove that SHIp´M, ´γq ď 2n´g.

First note that if n ă g, then there exists an integer i P r1, gs so that αi Xγ “H. Hence the balanced sutured manifold p´H, ´γq is not taut, and by Theorem 2.13 we know that SHIp´M, ´γq “ 0. 30 ZHENKUN LI AND FAN YE

When g “ n, then either there exists an integer i P r1, gs so that αi X γ “H, and then SHIp´M, ´γq “ 0 as above, or for each i P t1, ..., gu, αi intersects γ precisely at two points. Thus the disk Di Ă H bounded by αi is a product disk. Let D “ D1 Y...YDg. We can perform a sutured D 3 3 3 manifold decomposition p´H, ´γq pD , δq, where D is a 3-ball and δ is a suture on BD . From [KM10b, Section 6], we know that 3 dimCSHIp´H, ´γq “ dimCSHIpD , δq “ 1. We prove other cases by induction. Assume that the statement has been proved for g ď n “ k´1. For the case of n “ k, we proceed as follows. Since k ą g, there is a curve αi satisfying αi X γ ě 4. Suppose η Ă αi is an arc so that Bη Ă γ, and the interior of η intersects with γ transversely once. Then we can do the bypass attachement along η and form an exact triangle by Theorem 2.36: SHIp´H, ´γq 6

( SHIp´H, ´γ2q o SHIp´H, ´γ1q It is straightforward to check that n n |γ1 X αi| ď 2k ´ 2, and |γ2 X αi| ď 2k ´ 2. i“1 i“1 ÿ ÿ So by the induction hypothesis and the exactness, we conclude that k´g dimCSHIp´H, ´γq ď dimCSHIp´H, ´γ1q ` dimCSHIp´H, ´γ2q ď 2 . Hence we complete the induction.  Example 3.25. Suppose we have a Heegaard diagram pΣ, α, βq as in Figure 10, and let Y be the corresponding 3-manifold. It is straightforward to check that

H1pY q “ Z2 ‘ Z2. We can apply Lemma 3.12 to obtain a sutured handlebody pH, γq. See Figure 11. By Lemma 3.10 and Theorem 1.2, we know that 7 (3.6) dimCI p´Y q ď dimCSHIp´H, ´γq.

So it remains to bound dimC SHIp´H, ´γq. If we apply Corollary 3.24 directly, we obtain

dimCSHIp´H, ´γq ď 64. However, we can improve this bound by examining the bypass exact triangles more carefully in following steps. Step 1. We can do the bypass attachement along the arc η1 as shown in Figure 11. By Theorem 2.36, there exists an exact triangle (3.7) SHIp´H, ´γq 6

( SHIp´H, ´γ2q o SHIp´H, ´γ1q

The sutures γ1 and γ2 are depicted in Figure 12 and Figure 13, respectively. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 31

β1 β2

η1

α1 α2

Figure 10. A Heegaard diagram. Figure 11. The sutured man- ifold pH, γq.

η2

Figure 12. The sutured man- Figure 13. The sutured man- ifold pH, γ1q. ifold pH, γ2q.

Step 2. We compute SHIp´H, ´γ2q. The curve α2 bounds a disk D Ă H. It then induces a grading on SHIp´H, ´γ2q. Note D is not admissible in the sense of Definition 2.19, so we perform a negative stabilization on D as in Definition 2.23, and call the result D´. By Theorem 2.20, for ´ |i| ą 1, we have SHIp´H, ´γ2,D , iq “ 0. We can perform a sutured manifold decomposition

´ D 1 p´H, ´γ2q pV, γ2q, 1 where V is a solid torus and γ1 is depicted as in Figure 14. From Theorem 2.20 and Theorem 2.13, we know that ´ 1 SHIp´H, ´γ2,D , 1q – SHIpV, γ2q “ 0. By Lemma 2.24, Theorem 2.20, and Theorem 2.13, we know ´ ´ SHIp´H, ´γ2,D , ´1q “SHIp´H, ´γ2, ´D , 1q ` “SHIp´H, ´γ2, p´Dq , 1q “0. By Theorem 2.20, Theorem 2.26, and Theorem 2.13, we know ´ ´ SHIp´H, ´γ2,D , 0q “SHIp´H, ´γ2, ´D , 0q ` “SHIp´H, ´γ2, p´Dq , 0q ´ “SHIp´H, ´γ2, p´Dq , 1q 2 “SHIpV, γ2 q. 32 ZHENKUN LI AND FAN YE

2 ´ 2 Here, pV, γ2 q is obtained from p´H, ´γ2q by decomposing along p´Dq . V is a solid torus and γ2 is depicted as in Figure 15. From [Li19, Proposition 1.4], we know that

Figure 14. The sutured man- Figure 15. The sutured man- 1 2 ifold pV, γ1q. ifold pV, γ2 q.

2 2 SHIpV, γ2 q – C . Hence we conclude that 2 (3.8) SHIp´H, ´γ2q – C .

Step 3. We can perform a second bypass along the arc η2 as shown in Figure 12 on pH, γ1q and obtain an exact triangle

(3.9) SHIp´H, ´γ1q 6

( SHI H, γ SHI H, γ p´ ´ 4q o 3 p´ ´ 3q ψ4

It is straightforward to check that both γ3 and γ4 intersect the disk D at four points, so we can compute in the same way as we did for SHIp´H, ´γ2q that 3 5 (3.10) SHIp´H, ´γ3q – C , and SHIp´H, ´γ4q – C . From (3.6), (3.7), (3.8), (3.9), and (3.10), we know that 7 dimCI p´Y q ď 10. 3.3. The instanton knot homology of (1,1)-knots. In this subsection, we make use of Theorem 1.2 to prove Theorem 1.4. Definition 3.26. Suppose integers p and q satisfy p ě 1, 0 ď q ă p and gcdpp, qq “ 1. Letα ˜ and β˜ be two straight lines in R2 passing the origin with slopes 0 and p{q, respectively, and let r : R2 Ñ T 2 be the quotient map induced by px, yq Ñ px ` m, y ` nq for m, n P Z. Suppose α “ rpα˜q, and β “ rpβ˜q. Then the manifold compatible with the Heegaard diagram pT 2, α, βq is called a lens space and is denoted by Lpp, qq. Furthermore, the Heegaard diagram pT 2, α, βq is called the standard diagram of the lens space. In particular, we regard S3 as a lens space. The lens space is oriented so that the orientation on the α-handlebody is induced from the standard embedding of S1 ˆ D2 in R3. With this convention, the lens space Lpp, qq comes from the p{q-surgery on the unknot in S3. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 33

Definition 3.27. A proper embedded arc γ in a handlebody H is called a trivial arc if there is an embedded disk D Ă H satisfying BD “ γ Y pD XBHq. The disk D is called the cancelling disk of γ. A knot K in a closed 3-manifold Y admits a (1,1)-decomposition if the followings hold. 1 2 (1) Y admits a splitting Y “ H1 YT 2 H2 so that H1 – H2 – S ˆ D . (2) K X Hi is a properly embedded trivial arc in Hi for i P t1, 2u. In this case, Y is either a lens space or S1 ˆS2. A knot K admitting a (1,1)-decomposition is called a (1,1)-knot. Proposition 3.28 (Rasmussen [Ras05], Goda, Matsuda and Morifuji [GMM05]). For p, q, r, s ě 0 satisfying 2q ` r ď p and s ă p, a (1,1)-decomposition of a knot determines and is determined by a doubly-pointed diagram. After isotopy, such a diagram becomes pT 2, α, β, z, wq in Figure 16, where p is the total number of intersection points, q is the number of strands around either basepoint, r is the number of strands in the middle band, and the i-th point on the right-hand side is identified with the pi ` sq-th point on the left-hand side.

Figure 16. (1,1)-diagram.

Definition 3.29. A simple closed curve β on pT 2, α, z, wq is called reduced if the number of intersection points between α and β is minimal. The doubly-pointed diagram in Figure 16 is called the (1,1)-diagram of type pp, q, r, sq, which is denoted by W pp, q, r, sq. Strands around basepoints are called rainbows and strands in the bands are called stripes. If for some parameters pp, q, r, sq, the (1,1)-diagram of W pp, q, r, sq is a Heegaard diagram, or 2 equivalently, β has one component and represents a nontrivial homology class in H1pT q, then the corresponding knot is also denoted by W pp, q, r, sq. A (1,1)-knot whose (1,1)-diagram does not have rainbows is called a simple knot (c.f. Ras- mussen [Ras07]). For simple knots, let Kpp, q, kq “ W pp, 0, k, qq. Proposition 3.30. The mirror knot of a (1,1)-knot W pp, q, r, sq is W pp, q, p ´ 2q ´ r, p ´ s ` 2qq. Proof. The Heegaard diagram of the mirror knot of W pp, q, r, sq is obtained by the (1,1)-diagram of W pp, q, r, sq by vertical reflection. Redrawing the Heegaard diagram so that the lower band becomes the middle band and the middle band becomes the lower band, this proposition is straightforward from definition.  34 ZHENKUN LI AND FAN YE

According to [GMM05], for the HFK of a (1,1)-knot, the generators of the chain complexes are intersection points of α and β in the (1,1)-diagram and there is no differential. Thus, the following proposition holds. { Proposition 3.31 ([GMM05]). For a (1,1)-knot K “ W pp, q, r, sq in Y , we have p HFKpY,Kq – Z . We restate the construction in Remark 3.13 more carefully. { Definition 3.32. Suppose pT 2, α, β, z, wq is the (1,1)-diagram of W pp, q, r, sq. We construct a sutured handlebody pH, γq, called the (1,1)-sutured-handlebody of W pp, q, r, sq, as follows. (1) Let Σ be the genus-two boundary of the manifold obtained from r´1, 1s ˆ T 2 by attaching a 3-dimensional 1-handle along t1u ˆ tz, wu. For simplicity, when drawing the diagram, the attached 1-handle will still be denoted by two basepoints z and w. (2) Let α1 and β1 denote the curves on Σ induced from α and β, respectively. Let β be oriented so that the innermost rainbow around z is oriented clockwise, which induces an orientation of β1. If there is no rainbow, let β be oriented so that each stripe goes from left to right in Figure 16. (3) Consider the straight arc connecting z and w in Figure 16. It induces a simple closed curve α2 on Σ by going along the 1-handle. Let β2 be the curve on Σ induced by a small circle around z, oriented counterclockwise. (4) Let γ1 and γ2 be obtained by pushing off β1 and β2 to the right with respect to the orientation. Suppose they are oriented reversely. Let a0 be a straight arc connecting the innermost rainbow of β around z and the above small circle. It induces an arc connecting γ1 and γ2, still denoted by a0. Let γ3 be obtained by a band sum of γ1 and γ2 along a1, with the induced orientation. (5) Let H be the handlebody compatible with the diagram pΣ, tα1, α2u, Hq and let

γ “ γ1 Y γ2 Y γ3. Rainbows and stripes are defined similarly for sutures. The main goal is to prove the following theorem. Theorem 3.33. For a (1,1)-sutured-handlebody pH, γq of W pp, q, r, sq, we have

dimC SHIp´H, ´γq ď p. Before proving this theorem, we first use it to derive Theorem 1.4. Proof of Theorem 1.4. Combining Theorem 1.2, Proposition 3.30, Proposition 3.31, and Theorem 3.33, for a (1,1)-knot K “ W pp, q, r, sq in a lens space Y , we have

dimC KHIp´Y,Kq ď dimC SHIp´H, ´γq ď p “ rkZHFKp´Y,Kq. The theorem follows from the fact that the mirror knot of a (1,1)-knot is still a (1,1)-knot.  { Proof of Theorem 3.33. We prove the theorem by induction on p for any (1,1)-diagram of W pp, q, r, sq where β has only one component. This includes the case that β represents trivial homology class. For the base case, consider p “ 1. The curves α1, α2, β1, β2 in Definition 3.32 satisfy

|α1 X β1| “ |α2 X β2| “ 1. It is straightforward to check pH, γq is a product sutured manifold, so is p´H, ´γq. Then Theorem 2.14 implies

dimC SHIp´H, ´γq “ 1. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 35

Now we deal with the case when p ą 1. In Definition 3.32, the innermost rainbow around z, if exists, is oriented clockwise. Suppose δ1 is either the innermost rainbow around z, or a stripe that is closest to z with z on its right-hand side. Suppose δ2 is another rainbow or stripe that is closest to δ1 and is to the left of δ1. See Figure 17 for all possible cases. Compared to Figure 16, we have rotated the square counterclockwise by 90 degrees for the purpose of a better display.

Figure 17. Several cases of δ1 and δ2.

We consider two different cases about the orientation of δ2. Case 1. Suppose δ1 and δ2 are oriented parallelly. We use W p6, 2, 1, 3q shown in Figure 18 as an example to carry out the proof, and the general case is similar. In this example, two innermost rainbows around z are oriented parallelly. By construction, the suture γ3 is parallel (regardless of orientations) to γ1 outside the neighborhood of the band-sum arc a0. Thus, there exists a unique rainbow of γ3 between δ1 and δ2 around z. Let 1 a1 be an anti-wave bypass arc cutting these three rainbows, as shown in Figure 18. Suppose γ and 2 γ are the other two sutures involved in the bypass triangle associated to a2, respectively.

Figure 18. Sutures related to W p6, 2, 1, 3q and the anti-wave bypass arc. 36 ZHENKUN LI AND FAN YE

Figure 19. Local diagrams after bypass attachments.

1 2 1 2 From Proposition 2.30, we can describe the sutures γ and γ as follows. First, let γ1 and γ1 be two components of γ1zBa1. Suppose 1 1 2 2 γ1 “ γ1 Y a1, and γ1 “ γ1 Y a1 1 2 2 as shown in Figure 19. Second, γ is obtained from γ by a Dehn twist along γ1 , and γ is obtained 1 from γ by a Dehn twist along γ1. 1 2 There is a more direct way to describe γ and γ . First, note that the suture γ2 is disjoint from 1 2 1 2 both Dehn-twist curves γ1 and γ1 , so γ2 remains the same in γ and γ . Second, it is straightforward 2 1 to check the result of γ1 under the Dehn twist along γ1 is γ1, and the result of γ1 under the Dehn 1 2 1 1 2 2 twist along γ1 is γ1 . Thus, γ1 is a component of γ and γ1 is a component of γ . 1 2 To figure out the image γ3 of γ3 under the Dehn twist along γ1 , we first observe that we can 1 1 1 isotop the band-sum arc a0 to a new position a0 so that its endpoints Ba0 lie on γ1 X γ1 and γ2, 1 2 as shown in the left sub-figure of Figure 19. Thus, the facts that a0 is disjoint from γ1 and that 1 2 2 γ1 is the image of γ1 under the Dehn twist along γ1 imply that performing a Dehn twist along γ1 1 1 and performing the band sum along a0 commute with each other. Thus, we conclude that γ3 can 1 1 be obtained from a band sum on γ1 and γ2 along the arc a0. Similarly we can describe the image 2 1 γ3 of γ3 under the Dehn twist along γ1. Thus, we have described the sutures 1 1 1 2 1 2 γ “ γ1 Y γ2 Y γ3, and γ “ γ1 Y γ2 Y γ3 explicitly, and it follows that pH, γ1q and pH, γ2q are both (1,1)-sutured handlebodies. Suppose they are associated to W pp1, q1, r1, s1q and W pp2, q2, r2, s2q, respectively. 1 2 From the above description, both γ1 and γ1 are reduced. We have 1 2 1 2 p ` p “ |γ1 X α1| ` |γ1 X α1| “ |γ1 X α1| “ p. Thus, the induction applies. Case 2. Suppose δ1 and δ2 are oriented oppositely. An example W p10, 3, 1, 5q is shown in Figure 20. By construction, there is a rainbow of γ3 to the right of δ2. Let a2 be a wave bypass arc cutting δ1, δ2, and this rainbow as shown in Figure 1 2 20. Suppose γ and γ are the other two sutures involved in the bypass triangle associated to a2, respectively. 1 2 1 To describe the sutures γ and γ more explicitly, note that the arc a2 cuts γ1 into two parts γ1 2 1 2 1 and γ1 . Suppose that near a2, γ1 is to the left of a2 and γ1 is to the right of a2. For γ , it consists of three components: 1 1 1 γ “ γ1 Y γ2 Y γ3, 1 2 1 where γ2 is as before, γ1 is obtained by cutting γ3 open by a2 and gluing it to γ1 , and γ3 is obtained 1 by gluing a copy of a2 to γ1 . They are depicted as in the left sub-figure of Figure 21. Note the curve INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 37

Figure 20. Sutures related to W p10, 3, 1, 5q and the wave bypass arc.

Figure 21. Local diagrams after bypass attachments.

Figure 22. Local diagrams after isotopy.

1 2 γ1 is not reduced. We can isotop the curve along the arc γ1 into a reduced curve. The orientations 1 of sutures imply this reduced curve is depicted as in the left sub-figure of Figure 22. Note γ3 is also 1 not reduced. However, from Figure 22 it is straightforward to check that γ3 can be thought of as 1 1 obtained from γ2 and γ1 by a band sum along the arc a0. Also, it is clear that 1 1 |γ1 X α1| “ |γ1 X α1|. 38 ZHENKUN LI AND FAN YE

Similarly, γ2 consists of three components:

2 2 2 γ “ γ1 Y γ2 Y γ3 , 2 1 2 where γ2 is as before, γ1 is obtained by cutting γ3 open by a2 and gluing it to γ1 , and γ3 is obtained 2 by gluing a copy of a2 to γ1 . They are depicted as in the right sub-figure of Figure 21. Considering 2 1 the orientations, we can isotop γ2 along γ2 to the position shown in the right sub-figure of Figure 2 2 2 22. Then γ3 can be thought of as obtained from γ1 and γ2 by a band sum along a0. Also, 2 2 |γ1 X α1| “ |γ1 X α1|. Hence we conclude that γ1 and γ2 both come from some (1,1)-diagrams, and

1 2 |γ2 X α1| ` |γ2 X α1| “ |γ2,1 X α1| ` |γ2,2 X α1| “ |γ2 X α1|. Thus, the induction applies.  3.4. Large surgeries on simple knots. In this subsection, we generalize the idea about the anti-wave bypass arc in the proof of Theorem 3.33 to prove Theorem 1.8. 2 For a simple knot K “ Kpp, q, kq Ă Y , consider its (1,1)-diagram pT , α1, β1, z, wq and the Heegaard diagram pΣ, tα1, α2u, tβ1, β2uq of Y from Lemma 3.9. Suppose α “ tα1, α2u and m “ β2. Let l be an arc connecting z to w in T 2 ´ β, which induces a curve on Σ, still denoted by l. Then pΣ, α, tβ1uq is a diagram of Y pKq and pm, lq forms a basis of H1pBY pKqq. 1 Given p, q P Z so that gcdpp, qq “ 1, let β2 be the curve on Σ obtained by resolving intersection 1 points of |q| parallel copies of m and |p| parallel copies of l. Then pΣ, α, tβ1, β2uq is a Heegaard diagram of the manifold obtained from the q{p-surgery on K. Remark 3.34. There are two ways of resolutions, namely the positive resolution and the negative resolution. The choice of the ways depends on orientations of Σ and curves, and signs of p and q. However, the goal in Theorem 1.8 is for any large enough surgery slope without regard of the sign. So the choice here is not important.

Definition 3.35 (Greene and Levine [GL16]). An arc a in a Heegaard diagram pΣ, α, βq is called an anti-wave if it satisfies the following conditions. (1) It is properly embedded in a component R of Σzpα Y βq. (2) Its endpoints lie on the interior of distinct arcs r1, r2 of BR, where r1 and r2 are subsets of the same curve αi Ă α or βi Ă β for some i. (3) The local signs of intersection at two endpoints are the same.

For the simple knot K, there exist anti-waves in each component of T 2 ´ α Y β. It is possible to choose l so that l X R “H for some component R of Σzpα Y βq. Let a be an anti-wave in R. It 1 induces an anti-wave in pΣ, α, tβ1, β2uq which is still denoted by a.

1 Lemma 3.36. Given the surgery slope q{p, consider the Heegaard diagram pΣ, α, tβ1, β2uq and the 1 2 i anti-wave a defined as above. Let β1 and β1 denote two arcs of β1zBa and let β1,i “ β1 Y a for 1 i P t1, 2u. Suppose Yi is the manifold compatible with the Heegaard diagram pΣ, α, tβ1,i, β2uq and 1 1 Ki is the core knot of β2. Suppose pY0,K0q “ pY,Kq. Then there exists a knot K Ă Y so that 1 pYi,Kiq, for i “ 0, 1, 2, satisfy the exact triangle associated to K in Theorem 2.18. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 39

1 1 Proof. Consider neighborhoods Npβ1q and Npβ2q of β1 and β2 on Σ, respectively. The manifold 1 ΣzintpNpβ1qq Y intpNpβ2qq 2 4 is diffeomorphic to S z Yi“1 Di, where Di are pair-wise disjoint disks. Suppose BD1 and BD2 are images of BNpβ2q under the diffeomorphism and a becomes an arc connecting BD1 and BD2. There 2 exists a curve β3 Ă S separates D1 Y D2 and D3 Y D4. It induces a null-homologous curve on Σ 1 which is still denoted by β3. By construction, β3 is disjoint from β1, β2 and β1,i for i P t1, 2u. The 3-manifold compatible with the diagram pΣ, α, tβ3uq has two toroidal boundary components. It can be regarded the complement of K and K1 in Y for some knot K1. Equivalently, K is the 1 1 core knot of β2 and K is the core knot of β1 and the way how K and K is linked is determined by β3. After isotopy, β2, β2,1 and β2,2 intersect pair-wise at one point. Then Theorem 2.18 applies 1 in this case for K . 

Lemma 3.37. There exists N0 ą 0 so that for any surgery slope q{p satifying |q{p| ě N0, the manifolds Yi in Lemma 3.36 corresponding to q{p, for i “ 0, 1, 2, satisfy

|H1pY0q| “ |H1pY1q| ` |H1pY2q|.

Proof. For i P t1, 2u, it is straightforward to check that β1,i is a reduced curve without rainbows. Suppose orientations of curves are chosen so that

|β1,i X α1| “ β1,i ¨ α1 “ pi, and |β1,i X α2| “ β1,i ¨ α2 “ ki. By construction, we have p1 ` p2 “ p0, and k1 ` k2 “ k0.

It is clear that Ki is the dual knot of some surgery on Kppi, qi, kiq for some qi. Suppose

l ¨ α1 “ x, and l ¨ α2 “ y.

Suppose the orientation of m is chosen so that m ¨ α2 “ 1. Then we have 1 1 β2 ¨ α1 “ px, and β2 ¨ α2 “ q ` py. Thus, for i P t1, 2u, we have

|H1pY0q| “ |pk0 ´ pq ` pyqp0|, and |H1pYiq| “ |pki ´ pq ` pyqpi|. One of these orders is the sum of other two. If |q{p| is large enough, the order

|H1pY0q| “ p|k0 ´ pq{p ` yqp0| is greater than |H1pYiq| for i P t1, 2u. Hence we conclude the lemma. 

Proof of Theorem 1.8. We prove the theorem by induction on p0 for simple knots Kpp0, q0, k0q. 3 For the base case, consider p0 “ 1. The simple knot is the unknot in S . The dual knot is the core knot of β for the standard diagram of a lens space, which is also a simple knot (c.f. Rasmussen [Ras07]). The theorem follows from Proposition 1.7. When p0 ą 1, consider knots Ki and the related simple knots Kppi, qi, kiq for i P t1, 2u in Lemma 3.36 and Lemma 3.37. By induction hypothesis, there exist Ni for Kppi, qi, kiq so that r surgery with |r| ě N induces an instanton Floer simple knot. Equivalently,

dimC KHIpY1,K1q “ |H1pY1q|, and dimC KHIpY2,K2q “ |H1pY2q|.

We have to discuss about the basis of the homology at first. The basis pm, l0q of H1pBY pK0qq is chosen with respect to the anti-wave in the Heegaard diagram corresponding to K0, which induces a basis on H1pBYipKiqq. However, in the proofs of Lemma 3.36 and Lemma 3.37, another basis pm, liq 40 ZHENKUN LI AND FAN YE is chosen with respect to the anti-wave in the Heegaard diagram corresponding to Ki. Suppose li “ xim ` l. Then qm ` pl “ pq ´ pxiqm ` pli.

Suppose N “ maxtN1 ` |x1|,N2 ` |x2|,N0u. Then Lemma 3.37 implies

|H1pY0q| “ |H1pY1q| ` |H1pY2q|. Combining Theorem 2.18 and Lemma 3.36, we have

dimC KHIpY0,K0q ď dimC KHIpY1,K1q ` dimC KHIpY2,K2q. Hence we have

dimC KHIpY0,K0q ď |H1pY0q|. Combining Theorem 1.2 and [Sca15, Corollary 1.4], we have

7 dimC KHIpY0,K0q ě dimC I pY0q ě |H1pY0q|. Thus,

dimC KHIpY0,K0q “ |H1pY0q|. and the induction applies.  Remark 3.38. For the above proof, the induction based on SHIp´H, ´γq does not work any more because the inequality

dimC KHIp´Y,Kq ď dimC SHIp´H, ´γq might not always be sharp. That is the reason why we switch to surgery exact triangles instead of sticking to bypass exact triangles.

4. Instanton Floer homology and the decomposition 4.1. Basic setups. Suppose Y is a closed 3-manifold and K Ă Y is a null-homologous knot. Let Y pKq be the knot complement Y zintpNpKqq. Any Seifert surface S of K gives rise to a framing on BY pKq: the longitude λ can be picked as S XBY pKq with the induced orientation from S, and the meridian µ can be picked as the meridian of the solid torus NpKq with the orientation so that µ ¨ λ “ ´1. The ‘half lives and half dies’ fact for 3-manifolds implies that the following map has a 1-dimensional image:

B˚ : H2pY pKq, BY pKq; Qq Ñ H1pBY pKq; Qq. Hence any two Seifert surfaces lead to the same framing on BY pKq. Definition 4.1. The framing pµ, λq defined as above is called the canonical framing of pY,Kq. With respect to this canonical framing, let 1 2 Yq{p “ Y pKq Yφ S ˆ D be the 3-manifold obtained from Y by a q{p surgery along K, i.e., p φpt1u ˆ BD2q “ qµ ` pλ.

When the surgery slope is understood, we also write Yq{p simply as Y . Let K be the dual knot, i.e., the image of S1 ˆ t0u Ă S1 ˆ D2 in Y under the gluing map. p p p p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 41

Convention. Throughout this section, we will always assume that gcdpp, qq “ 1 and q ą 0 or pp, qq “ p1, 0q for a Dehn surgery. Especially, the original pair pY,Kq can be thought of as a pair pY, Kq obtained from pY,Kq by the 1{0 surgery. Moreover, we will always assume that the knot complement Y pKq is irreducible. p p Remark 4.2. The reason to use Next, we describe various families of sutures on the knot complement. Suppose K Ă Y is a null-homologous knot and the pair pY, Kq is obtained from pY,Kq by a q{p surgery. Note we can identify the complement of K Ă Y with that of K Ă Y : p p Y pKq “ Y pKq. p p On BY pKq, there are two framings: One comes from K, and we write longitude and meridian as λ p p and µ, respectively. The other comes from K. Note only the meridianµ ˆ of K is well-defined, and by definition, it is µˆp“ qµ ` pλ. p Remark 4.3. The reason using q and p for coefficients of µ and λ, respectively, is to be consistent with the definition of ‘slope’ in [Hon00].

Definition 4.4. If p “ 0, then q “ 1 andµ ˆ “ µ. We can take λˆ “ λ. If pq, pq “ p0, 1q, then we ˆ ˆ take λ “ ´µ. If p, q ‰ 0, then we take λ “ q0µ ` p0λ, where pp0, q0q is the unique pair of integers so that the following conditions are true.

(1)0 ď |p0| ă |p| and p0p ď 0. (2)0 ď |q0| ă |q| and q0q ď 0. (3) p0q ´ pq0 “ 1.

For a homology class xλ ` yµ, let γpx,yq “ γxλ`yµ be the suture consists of two disjoint simple closed curves representing ˘pxλ ` yµq on BY pKq. Furthermore, for n P Z, define

Γnpq{pq “ γλˆ´nµˆ Suppose p , q is the unique pair of integers so that q 0 and Γ q p γ . Finally, define p n nq p n ě np { q “ ppn,qnq

Γµpq{pq “ γµˆ. p When λˆ andµ ˆ are understood, we omit the slope q p and simply write Γ and Γ . p { n µ Remark 4.5. Since the two components of the suture must be given opposite orientations, the p p notations γpp,qq and γp´p,´qq represent the same suture on the knot complement Y pKq. Our choice makes qn`1 ď qn for n ă ´1 and qn`1 ě qn for n ě 0. In the following three subsections, we prove Proposition 1.17.

4.2. Bypasses on knot complements. Suppose Y is a closed 3-manifold and K Ă Y is a null-homologous knot. Let pµ, λq be the canonical framing on Y pKq. Suppose y3{x3 is a surgery slope with y3 ě 0. According to Honda

[Hon00], there are two basic bypasses on the balanced sutured manifold pY pKq, γpx3,y3qq, whose arcs are depicted as in Figure 23. The sutures involved in the bypass triangles were described explicitly in Honda [Hon00, Section 4.4.4]. 42 ZHENKUN LI AND FAN YE

Figure 23. Bypass arcs on γp1,´1q.

Definition 4.6. For a surgery slope y3{x3 with y3 ě 0, suppose its continued fraction is y 1 3 “ ra , a , ..., a s “ a ´ , x 0 1 n 0 a 1 3 1 ´ ...´ 1 an where integers ai ă ´1. If y3 ą ´x3 ą 0, let y1 y2 “ ra0, ..., an´1s and “ ra0, ..., an ` 1s. x1 x2

When ai “ ´2 for integer i P pk, ns and ak ‰ ´2, we can set

ra0, ..., an ` 1s “ ra0, ..., ak ` 1s for simplicity. If ´x3 ą y3 ą 0, we do the same thing for x3{p´y3q. If y3 ą x3 ą 0, we do the same thing for y3{p´x3q. If x3 ą y3 ą 0, we do the same thing for x3{p´y3q. If y3{x3 “ 1{0, then y1{x1 “ 0{1 and y2{x2 “ 1{p´1q. If y3{x3 “ 0{1, let y1{x1 “ 1{p´1q and y1{x1 “ 0{1. We always require that y1 ě 0 and y2 ě 0.

Remark 4.7. It is straightforward to use induction to verify that for y3 ą ´x3 ą 0,

x3 “ x1 ` x2, and y3 “ y1 ` y2. Then the bypass exact triangle in Theorem 2.36 becomes the following.

Proposition 4.8. Suppose K Ă Y is a null-homologous knot, and suppose the surgery slopes yi{xi for i P t1, 2, 3u are defined as in Definition 4.6. Suppose the indices are considered mod 3. Let ψyi{xi and ψyi{xi be bypass maps from two different bypasses, respectively. Then there `,yi`1{xi`1 ´,yi`1{xi`1 are two exact triangles related to ψyi{xi and ψyi{xi , respectively. `,yi`1{xi`1 ´,yi`1{xi`1

ψy2{x2 ˘,y3{x3 SHIp´Y pKq, ´γpx2,y2qq / SHIp´Y pKq, ´γpx3,y3qq j

ψy1{x1 ψy3{x3 ˘,y2{x2 t ˘,y1{x1 SHIp´Y pKq, ´γpx1,y1qq Remark 4.9. Note there are two different bypasses, so two different exact triangles, while both of them involve the same set of balanced sutured manifolds. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 43

˚ ˚ Convention. We will use ψ`,˚ and ψ´,˚ to denote bypass maps with respect to some slopes. Next, we discuss the special case when the bypasses are performed on sutures that arise from Dehn surgeries. Proposition 4.10. Suppose K Ă Y is a null-homologous knot and the pair pY, Kq being obtained from pY,Kq by a q{p surgery. Suppose further that the sutures Γn and Γµ are defined as in Definition ˚ ˚ 4.4. Then there are two exact triangles related to ψ`,˚ and ψ´,˚, respectively.p p

n p p ψ˘,n`1 (4.1) SHIp´Y pKq, ´Γnq / SHIp´Y pKq, ´Γn`1q i

µ p ψ ψn`1 p ˘,n u ˘,µ SHIp´Y pKq, ´Γµq

Proof. If Γn`1 “ γpx3,y3q and y3 ą ´x3 ą 0 and , thenp it is straight forward to check that γ “ Γ , and γ “ Γ . p px1,y1q µ px2,y2q n Then the exact triangles follows from Proposition 4.8. The similar proof applies for other cases.  p p Similar to Lemma 3.21, we have the following proposition. Lemma 4.11 ([GLW19, Section 3]). Suppose K Ă Y is a null-homologous knot and the pair pY, Kq being obtained from pY,Kq by a q{p surgery. Suppose further that the sutures Γn are defined as in Definition 4.4. Then, there is an exact triangle p p p (4.2) SHIp´Y pKq, ´Γnq / SHIp´Y pKq, ´Γn`1q h

p G F p n u n`1 SHIp´Y p1q, ´δq

Here, the balanced sutured manifold pY p1q, δq is defined as in Remark 2.9. p n n Furthermore, we have four commutative diagrams related to ψ`,n`1 and ψ´,n`1, respectively

p n ψ˘,n`1 SHIp´Y pKq, ´Γnq / SHIp´Y pKq, ´Γn`1q h 5

p Gn Gn`1 p SHIp´Y p1q, ´δq and pn ψ˘,n`1 SHIp´Y pKq, ´Γnq / SHIp´Y pKq, ´Γn`1q

p F F p n ( u n`1 SHIp´Y p1q, ´δq

The bypass maps in (4.1) behave well underp the gradings on SHI associated to a fixed Seifert surface of K. To provide more details, let us fix a minimal genus Seifert surface S of K. 44 ZHENKUN LI AND FAN YE

Convention. We will always assume by default that the Seifert surface S has minimal possible intersections with any suture γpp,qq we are dealing with.

Definition 4.12. Suppose K Ă Y is a null-homologous knot and γpx,yq is a suture on BY pKq with y ě 0. Suppose further that S is a minimal genus Seifert surface of K. Write Sτpyq to be a negative stabilization of S if y is even and to be the original S if y is odd. When the suture γpx,yq is understood, we simply write Sτ . More explicitly, we define a map τ : N ÞÑ t0, ´1u as 0 y is odd τpyq “ ´1 y is even " τ Remark 4.13. It is straightforward to check that S Ă pM, γpx,yqq is admissible. Note that the negative stabilization is with respect to the suture γpx,yq rather than ´γpx,yq. This is important because later we will incorporate this definition of Sτ with the bypass maps, where the orientations of the sutures are reverse (c.f. Remark 2.25). Convention. Note in Subsection 3.2, we also define another function τ. Since the old definition will no longer be used, and the new tau function serves for the same purpose as the old, we keep using the same notation. From now on, we use the new definition of τ as in Definition 4.12.

Lemma 4.14. Suppose K Ă Y is a null-homologous knot and γpx,yq is a suture on BY pKq with y ě 0. Suppose further that S is a minimal genus Seifert surface of K. Suppose the maximal and τ minimal nonzero gradings of SHIp´Y pKq, ´γpx,yq,S q, are imax and imin, respectively. Then we have 1 y ´ 1 i “ py ´ 1 ´ τpyqq ` gpSq “ r s ` gpSq max 2 2 and 1 y ´ 1 i “ ´ py ´ 1 ` τpyqq ´ gpSq “ r´ s ´ gpSq. min 2 2 Proof. The proof is similar to that of Lemma 3.15, though in the current lemma, we can also identify the top and bottom non-trivial gradings by making use of sutured manifold decompositions. Note we have assumed that the knot complement Y pKq is irreducible, and S is a minimal genus Seifert surface of K, so the decomposition of pY pKq, γq along S and ´S are both taut. When y is odd, we have Sτ “ S. Then it follows directly from Theorem 2.20 that y ´ 1 y ´ 1 i “ ` gpSq, and i “ ´ ´ gpSq. max 2 min 2 When y is even, we have Sτ “ S´. Then it follows directly from Theorem 2.20 that y i “ ` gpSq. max 2

To figure out the grading imin, note ´ ´ SHIp´Y pKq, ´γpx,yq,S , ´imaxq “SHIp´Y pKq, ´γpx,yq, ´pS q, imaxq ` “SHIp´Y pKq, ´γpx,yq, p´Sq , imaxq “0 The last equality follows from Lemma 2.24 and the fact that the positive stabilization on p´Sq is with respect to γpx,yq and becomes a negative one with respect to ´γpx,yq. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 45

We also have ´ ´ SHIp´Y pKq, ´γpx,yq,S , 1 ´ imaxq “SHIp´Y pKq, ´γpx,yq, ´pS q, imax ´ 1q ` “SHIp´Y pKq, ´γpx,yq, p´Sq , imax ´ 1q ´ “SHIp´Y pKq, ´γpx,yq, p´Sq , imaxq Note the last equality follows from Theorem 2.26. Now, from Lemma 2.24 and Theorem 2.20, we know that ´ 1 1 SHIp´Y pKq, ´γpx,yq, p´Sq , imaxq – SHIp´M , ´γ q ‰ 0, 1 1 where pM , γ q is the taut balanced sutured manifold obtained from pY pKq, γpx,yqq by decomposing along ´S. Hence we conclude that y i “ 1 ´ i “ 1 ´ ´ gpSq min max 2 and we obtain the desired result.  Definition 4.15. For any integer y P N, define y ´ 1 y ´ 1 iy “ r s ` gpSq, and iy “ r´ s ` gpSq. max 2 min 2

For the suture Γn “ γppn,qnq, define ˆin “ iqn , and ˆin “ iqn . p max max min min Convention. Note we use the similar notations as in Subsection 3.2, while from now on, we use y y ˚ ˆ˚ ˚ ˆ˚ the new definitions of imax and imin as in Definition 4.15. We will use imax, imax and imin, imin to denote the maximal and minimal gradings for the slope specified by ˚. In [Li19, Section 5], a graded version of the bypass exact triangles in Proposition 4.8 is proved, which is similar to Lemma 3.18. Proposition 4.16 ([Li19, Proposition 5.5]). Suppose K Ă Y is a null-homologous knot and the pair pY, Kq is obtained from pY,Kq by a q{p surgery. Suppose further that the sutures Γn and Γµ are defined as in Definition 4.4 and S is a minimal genus Seifert surface of K. Then the followings hold. p p p p

(1) For n P Z so that qn`1 “ qn ` q, i.e., n ě 0, there are two bypass exact triangles:

ψn τ ˆn`1 ˆn `,n`1 τ SHIp´Y pKq, ´Γn,S qrimin ´ imins / SHIp´Y pKq, ´Γn`1,S q O µ ψ`,n p ψn`1 p s `,µ τ ˆn`1 ˆµ SHIp´Y pKq, ´Γµ,S qrimax ´ imaxs and p ψn τ ˆn`1 ˆn ´,n`1 τ SHIp´Y pKq, ´Γn,S qrimax ´ imaxs / SHIp´Y pKq, ´Γn`1,S q O µ ψ´,n p ψn`1 p s ´,µ τ ˆn`1 ˆµ SHIp´Y pKq, ´Γµ,S qrimin ´ imins

p 46 ZHENKUN LI AND FAN YE

(2) For n P Z so that qn`1 “ qn ´ q, i.e., n ă ´1, there are two bypass exact triangles:

ψn τ `,n`1 τ ˆn ˆn`1 SHIp´Y pKq, ´Γn,S q / SHIp´Y pKq, ´Γn`1,S qrimax ´ imaxs O µ ψ`,n p ψn`1 p r `,µ τ ˆn ˆµ SHIp´Y pKq, ´Γµ,S qrimin ´ imins

and p

ψn τ ´,n`1 τ ˆn ˆn`1 (4.3) SHIp´Y pKq, ´Γn,S q / SHIp´Y pKq, ´Γn`1,S qrimin ´ imins O µ ψ´,n p ψn`1 p r ´,µ τ ˆn ˆµ SHIp´Y pKq, ´Γµ,S qrimax ´ imaxs

(3) For n P Z so that qpn`1 ` qn “ q, i.e., n “ ´1, there are two bypass exact triangles:

ψn τ ˆµ ˆn `,n`1 τ ˆµ ˆn`1 (4.4) SHIp´Y pKq, ´Γn,S qrimin ´ imins / SHIp´Y pKq, ´Γn`1,S qrimax ´ imaxs O µ ψ`,n p ψn`1 p r `,µ τ SHIp´Y pKq, ´Γµ,S q

and p

ψn τ ˆµ ˆn ´,n`1 τ ˆµ ˆn`1 (4.5) SHIp´Y pKq, ´Γn,S qrimax ´ imaxs / SHIp´Y pKq, ´Γn`1,S qrimin ´ imins O µ ψ´,n p ψn`1 p r ´,µ τ SHIp´Y pKq, ´Γµ,S q

Furthermore, all maps involvedp in the above bypass exact triangles are grading preserving. Remark 4.17. The above proposition can be understood by Remark 3.19. Alternatively, we can understand the above proposition by the following method, which is inspired by the curve invariant introduced by Henselman, Rasmussen and Waston [HRW16, HRW18]. (1) Consider the lattice Z2 Ă R2. A surgery slope y{x P Q Y t8u corresponds to a straight arc connecting two lattice points in R2zZ2.

(2) Suppose the sutures γpx1,y1q, γpx2,y2q, and γpx3,y3q defined as in Definition 4.6. Then it is easy to see the arcs corresponding to these three sutures bound a triangle containing no lattice point in the interior. There are two different triangles up to translation, which correspond to two different bypass triangles. All bypass maps are clockwise in R2. Rotation around the origin by ˚ ˚ 180 degrees will switch the roles of ψ`,˚ and ψ´,˚. (3) The height of the middle point of the straight arc indicates the grading before stabilization (so there are gradings of half integers). If top endpoints of two arcs are the same, the grading shift ˆ˚ ˆ˚ is about imin. If bottom endpoints of two arcs are the same, the grading shift is about imax. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 47

4.3. Decomposing framed instanton Floer homology. In this subsection, we prove term (2) of Proposition 1.17. Throughout this subsection, let K Ă Y be a null-homologous knot and let the pair pY, Kq be obtained from pY,Kq by a q{p surgery with q ą 0. We have the sutures Γn “ γppn,qnq and Γµ defined as in Definition 4.4 and S being a minimal genus Seifert surface of K. The stabilizationpSτpof S is chosen according to Definition 4.12. The maximal and minimal gradingsp of the involvedp sutured instanton Floer homology are described in Lemma 4.14. For any i P Z, let n,i n ψ “ ψ | τ ˘,n`1 ˘,n`1 SHIp´Y pKq,´Γn,S ,iq be the restriction. p

Lemma 4.18. Suppose n P Z so that qn`1 “ qn ` q. Then the map n,i τ τ ˆn ˆn`1 ψ`,n`1 : SHIp´Y pKq, ´Γn,S , iq Ñ SHIp´Y pKq, ´Γn`1,S , i ´ imin ` iminq is an isomorphism if i ď ˆin ´ 2gpSq. Similarly, the map max p p n,i τ τ ˆn ˆn`1 ψ´,n`1 : SHIp´Y pKq, ´Γn,S , iq Ñ SHIp´Y pKq, ´Γn`1,S , i ´ imax ` imaxq is an isomorphism if i ě ˆin ` 2gpSq. min p p Proof. The proof the lemma is similar to that of Lemma 3.20. 

Lemma 4.19. For any n P Z so that qn`1 ´ q “ qn ě 2g, the map

Gn : SHIp´Y p1q, ´δq Ñ SHIp´Y pKq, ´Γnq defined as in (4.2) is the zero map. p p Proof. The proof of the lemma is similar to that of Lemma 3.22.  Corollary 4.20. We have

dimC SHIp´Y pKq, ´Γµq ě dimC SHIp´Y p1q, ´δq. Proof. Since for a large enough integer n, we have G “ 0, we know that p n p dimC SHIp´Y p1q, ´δq “ dimC SHIp´Y pKq, ´Γn`1q ´ dimC SHIp´Y pKq, ´Γnq. Then the corollary follows directly from Proposition 4.10.  p p p Corollary 4.21. Suppose L1 is a non-empty link in Y that is disjoint from K. Let L2 “ L1 Y K. Consider the link complements ´Y pL1q and ´Y pL2q. For the link complement, let Γµ be the suture consisting of two meridians for each component of thep link. We have p p p p p dimC SHIp´Y pL2q, ´Γµq ě 2 ¨ dimC SHIp´Y pL1q, ´Γµq Proof. The same argument to prove Corollary 4.20 can be applied verbatim to verify the following inequality: p p p p

dimC SHIp´Y pL2q, ´Γµq ě SHIp´Y pL1qp1q, ´Γµ Y ´δq, where Y pL1qp1q is obtained from ´Y pL1q by removing a 3-ball disjoint from L1, and δ is a simple closed curve on the new sphericalp boundaryp component.p Then it followsp from [BS16b, Lemma 4.14] that p p

SHIp´Y pL1qp1q, ´Γµ Y ´δq “ 2 ¨ dimC SHIp´Y pL1q, ´Γµq.  p p p p 48 ZHENKUN LI AND FAN YE

Lemma 4.22. Suppose n P Z satisfies qn`1 ´ q “ qn ě q ` 2gpSq, and suppose i, j P Z with ˆn ˆn imin ` 2gpSq ď i, j ď imax ´ 2gpSq, and i ´ j “ q. Then we have τ τ SHIp´Y pKq, ´Γn,S , iq – SHIp´Y pKq, ´Γn,S , jq. Proof. Since i ě ˆin ` 2gpSq, by Lemma 4.18, we know min p p τ τ ˆn ˆn`1 SHIp´Y pKq, ´Γn,S , iq – SHIp´Y pKq, ´Γn`1,S , i ´ imin ` iminq. Similarly, since j ď ˆin ´ 2gpSq, we know that max p p τ τ ˆn ˆn`1 SHIp´Y pKq, ´Γn,S , jq – SHIp´Y pKq, ´Γn`1,S , j ´ imax ` imaxq. Note also that p p ˆn ˆn`1 ˆn ˆn`1 ˆn ˆn ˆn`1 ˆn`1 i ´ imin ` imin “j ´ imax ` imax ` q ` pimax ´ iminq ´ pimax ´ iminq ˆn ˆn`1 “j ´ imax ` imax ` q ` pqn ´ 1 ` 2gpSqq ´ pqn`1 ´ 1 ` 2gpSqq ˆn ˆn`1 “j ´ imax ` imax. Hence we obtain the desired result. 

Definition 4.23. Suppose n P Z satisfies qn`1 ´ q “ qn ě q ` 2gpSq. Define τ ˆn I`p´Y, K, iq “ SHIp´Y pKq, ´Γn,S , imax ´ 2g ´ iq, and p p q´1 p I`p´Y, Kq “ I`p´Y, K, iq. i“0 à p p p p Remark 4.24. From Lemma 4.18, the definition of I`p´Y, Kq is independent of the choice of the integer n satisfying the required condition. Also, by Lemma 4.22, the definition of I`p´Y, Kq would be the same (up to a Zq grading shift) if we considerp arbitraryp q many consecutive gradings ˆn ˆn within the range rimin ` 2gpSq, imax ´ 2gpSqs. p p Next, our goal is to show that there is an isomorphism

I`p´Y, Kq – SHIp´Y p1q, ´δq. To do so, we first introduce some notations for performing computations. p p p Definition 4.25. Suppose n P Z. The direct sum of some consecutive gradings of τ SHIp´Y pKq, ´Γn,S q is called a block. For a block A, the number of gradings involved is called the size of A. p Example 4.26. Suppose n P Z satisfies qn ě q `2gpSq. Let A, B, C and D be the blocks consisting of the top 2gpSq gradings, the next q gradings, the next qn ´ q ´ 2gpSq gradings, and the last 2gpSq τ gradings of SHIp´Y pKq, ´Γn,S q, respectively. We write A p B SHIp´Y pKq, ´Γ ,Sτ q “ . n ¨ C ˛ ˚ D ‹ p ˚ ‹ ˝ ‚ INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 49

Note from Definition 4.23, we know that I`p´Y, Kq is itself a block and in fact

I`p´Y,p Kpq “ B. Also, we can write p p A E SHIp´Y pKq, ´Γ ,Sτ q “ , n ¨ F ˛ ˚ D ‹ p ˚ ‹ ˝ ‚ where E and F are of size qn ´ q ´ 2gpSq and q, respectively. By comparing the gradings, we have B E “ C F ˆ ˙ ˆ ˙ Note we do not have B “ E and C “ F since they have different sizes. However, when putting together, the total size of B and C equals that of E and F .

Lemma 4.27. Let I`p´Y, Kq be defined as in Definition 4.23. Then we know that dim I Y, K dim SHI Y 1 , δ . p p C `p´ q “ C p´ p q ´ q Proof. Suppose n satisfies q q 2g S . We can apply Proposition 4.16. Using blocks, we P Z n ě `p pp q p have the following. (There is no enough room for writing down the whole notation for the graded sutured instanton Floer homology, so we will only write down the sutures to denote them.)

µ n n`1 ψ`,n ψ`,n`1 ψ`,µ size ´Γµ / ´Γn / ´Γn`1 / ´Γµ

q G X1 G p p p p 2gpSq HAX2 H

qn ´ q ´ 2gpSq EX3

q F X4

2gpSq DX5

From the exactness, we know that

X1 “ G, X3 “ E,X4 “ F, and X5 “ D. There is another bypass exact triangle, and similarly we have

µ n n`1 ψ´,n ψ´,n`1 ψ´,µ size ´Γµ / ´Γn / ´Γn`1 / ´Γµ . 2gpSq AA p p p p q B B

qn ´ q ´ 2gpSq CC

2gpSq IDX6 I q J J J 50 ZHENKUN LI AND FAN YE

τ Comparing the two expressions of SHIp´Y pKq, ´Γn`1,S q, we have G A p X2 B ¨ ˛ τ ¨ ˛ E “ SHIp´Y pKq, ´Γn`1,S q “ C . ˚ F ‹ ˚ X6 ‹ ˚ ‹ ˚ ‹ ˚ D ‹ p ˚ J ‹ ˚ ‹ ˚ ‹ Taking sizes into consideration,˝ ‚ we know that ˝ ‚ G A F X “ ,E “ C, and “ 6 . X2 B D J ˆ ˙ ˆ ˙ ˆ ˙ ˆ ˙ Thus, we know that A B τ ¨ ˛ SHIp´Y pKq, ´Γn`1,S q “ E . ˚ F ‹ ˚ ‹ p ˚ D ‹ ˚ ‹ ˝ ‚ τ Compare this expression with the expression of SHIp´Y pKq, ´Γn,S q in Example 4.26, we have dim I p´Y, Kq “ dim B C ` C p “ dim SHIp´Y pKq, ´Γ ,Sτ q ´ dim SHIp´Y pKq, ´Γ ,Sτ q p p C n`1 C n “ dim SHIp´Y p1q, ´δq. C p p Note the last equality follows from Lemma 3.22. Hence we obtain the desired result. p  Proposition 4.28. Suppose n P Z satisfies qn`1 ´ q “ qn ě q ` 2gpSq. Then the map Fn restricted to I`p´Y, Kq is an isomorphism. – Fn| : I`p´Y, Kq ÝÑ SHIp´Y p1q, ´δq p p I`p´Y,Kq Proof. It suffices to show that thep restrictionx p p p

Fn| I`p´Y,Kq is surjective. Since qn ě q ` 2gpSq, we have qn´1 “ pqnx´ q ě 2gpSq. By Lemma 4.19, we know that Gn´1 “ 0, so Fn is surjective. Then it suffices to show that Fn remains surjective when restricted to I`p´Y, Kq. For any x P SHIp´Y p1q, ´δq, let y P SHIp´Y pKq, ´Γnq be an element so that Fnpyq “ x. Suppose τ p p y “ yj, wherep yj P SHIp´Y pKq, ´Γn,S , jpq. jP ÿZ 1 p 1 For any yj, we want to find yj P I`p´Y, Kq so that Fnpyjq “ Fnpyjq. ˆn To do this, we first assume that j ą imax ´ 2gpSq. Then there exists an integer m so that p p ˆn ˆn imax ´ 2gpSq ´ q ` 1 ď j ´ mq ď imax ´ 2gpSq. We can take ˆn`m ˆn 1 n,j´mq ´1 n,imax ´imax`j´mq ´1 n`m´1 n (4.6) yj “ pψ´,n`1 q ˝ ¨ ¨ ¨ ˝ pψ´,n`m q ˝ ψ`,n`m ˝ ... ˝ ψ`,n`1pyjq. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 51

From Lemma 4.18, we conclude that all the negative bypass maps involved in (4.6) are all isomor- phisms and 1 τ yj P SHIp´Y pKq, ´Γn,S , j ´ mqq P I`p´Y, Kq. 1 Finally, from Lemma 4.11, we know that Fnpyjq “ Fnpyjq. For p p p ˆn ˆn j P rimax ´ 2gpSq ´ q ´ 1, imax ´ 2gpSqs, 1 ˆn 1 we can simply take yj “ yj. For j ď imax ´ 2gpSq ´ q ´ 1, we can pick yj similarly, while switching ˚ ˚ the roles of ψ`,˚ and ψ´,˚ in (4.6). Hence we can take 1 1 y “ yj P I`p´Y, Kq jP ÿZ 1 p p and Fnpy q “ Fnpyq “ x. Hence Fn is surjective, and we obtain the desired result. 

In Definition 4.23, we use a large enough integer n to define I`p´Y, Kq. We can also use a small enough integer n to define a vector space similar to I`p´Y, Kq. Recall p p Γ “ γ n ppn,qnq p p is defined as in Definition 4.4 and qn is chosen to be always non-negative. p Definition 4.29. Suppose n P Z satisfies qn´1 ´ q “ qn ě q ` 2gpSq. Define τ ˆn I´p´Y, K, iq “ SHIp´Y pKq, ´Γn,S , imax ´ 2g ´ iq, and p p q´1 p I´p´Y, Kq “ I´p´Y, K, iq. i“0 à p p p p The arguments for I´p´Y, Kq are similar to those for I`p´Y, Kq. We sketch them as follows. Lemma 4.30. Suppose n P satisfies q ´ q “ q . Then the map pZ p n´1 n p p n 1,i ˆin´1 ˆin ´ ` max´ max τ ˆn´1 ˆn τ ψ`,n : SHIp´Y pKq, ´Γn´1,S , i ` imax ´ imaxq Ñ SHIp´Y pKq, ´Γn,S , iq is an isomorphism if i ď ˆin ´ 2gpSq. Similarly, the map max p p n´1,i´ˆin `ˆin´1 min min τ ˆn ˆn´1 τ ψ´,n : SHIp´Y pKq, ´Γn´1,S , i ´ imin ` iminq Ñ SHIp´Y pKq, ´Γn,S , iq is an isomorphism if i ě ˆin ` 2gpSq. min p p Proof. The proof is similar to the proof of Lemma 3.20. 

Lemma 4.31. For any n P Z so that qn´1 ´ q “ qn ě 2g, the map

Fn : SHIp´Y pKq, ´Γnq Ñ SHIp´Y p1q, ´δq defined as in (4.2) is the zero map. p p Proof. If it is not, then let jmax P Z be the maximal index j so that there exists τ x P SHIp´Y pKq, ´Γn,S , jq with Fnpxq ‰ 0. Since qn ě 2g, by Lemma 4.14, we know that either p ˆn ˆn jmax ď imax ´ 2gpSq or jmax ě imin ` 2gpSq. 52 ZHENKUN LI AND FAN YE

ˆn Suppose, without loss of generality, that jmax ě imin ` 2gpSq and τ x P SHIp´Y pKq, ´Γn,S , jmaxq n 1,j ˆin´1 ˆin satisfying F x 0. By Lemma 4.30, ψ ´ max` max´ max is an isomorphism, and we can take np q ‰ `,n p ˆn´1 ˆn ˆn´1 ˆn n´1,jmax`imax´imax n´1,jmax`imax´imax ´1 y “ ψ´,n ˝ pψ`,n q pxq. By Lemma 4.11 we know that τ Fnpyq “ Fnpxq ‰ 0 and y P SHIp´Y pKq, ´Γn,S , jmax ` qq. This is a contradiction.  p Lemma 4.32. Suppose n P Z satisfies qn´1 ´ q “ qn ě q ` 2gpSq, and suppose i, j P Z satifying ˆn ˆn imin ` 2gpSq ď i, j ď imax ´ 2gpSq, and i ´ j “ q. Then we have τ τ SHIp´Y pKq, ´Γn,S , iq – SHIp´Y pKq, ´Γn,S , jq. Proof. The proof is similar to the proof of Lemma 4.22. p p  Lemma 4.33. Let I´p´Y, Kq be defined as in Definition 4.29. Then we know that dim I p´Y, Kq “ dim SHIp´Y p1q, ´δq. p p C ´ C Proof. The proof is similar to the proof of Lemma 4.27. p p p  Proposition 4.34. Suppose n P Z satisfies qn´1 ´ q “ qn ě q ` 2gpSq. Let Πn be the projection

Πn : SHIp´Y pKq, ´Γnq Ñ I´p´Y, Kq. Then we have an isomorphism p p p – Πn ˝ Gn : SHIp´Y p1q, ´δq ÝÑ I´p´Y, Kq. Proof. It suffices to show that Π ˝ G is injective. Suppose not, i.e., there exists n n p p p x ‰ 0 P SHIp´Y p1q, ´δq with Πn ˝ Gnpxq “ 0. Write p τ y “ Gnpxq “ yj, where yj P SHIp´Y pKq, ´Γn,S , jq. jP ÿZ From Lemma 4.11 and Lemma 4.31, we know that Gn is injective,p and hence y ‰ 0. From the assumption, we know that ˆn ˆn yj “ 0 for imax ´ 2gpSq ě j ě imax ´ 2gpSq ´ q ` 1. Also write τ z “ Gn´1pxq “ zj, where zj P SHIp´Y pKq, ´Γn´1,S , jq. jP ÿZ From Lemma 4.11, we know that p n´1 n´1 ψ´,n pzq “ y “ ψ`,n pzq.

Suppose jmin is the minimal grading j so that ˆn j ą imax ´ 2gpSq and yj ‰ 0. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 53

Then we know that ˆn yjmin´q “ 0 and jmin ´ q ě imin ` 2gpsq. Hence by Lemma 4.30, we know that ˆn ˆn´1 n´1,jmin´imin`imin n 1 yjmin “ψ ,n pz ˆn ˆ ´ q ´ jmin´imin`imin ˆn ˆn´1 ˆn ˆn´1 n´1,jmin´imin`imin n´1,jmin´imin`imin ´1 “ψ´,n ˝ pψ`,n q pyjmin´qq “0. ˆn This implies that yj “ 0 for all j ě imax ´ 2gpSq ´ q ` 1. Similarly we can prove that yj “ 0 for all ˆn j ă imax ´ 2gpSq ´ q ` 1, and y “ 0, which contradicts to the injectivity of Gn.  4.4. Commutative diagrams for bypass maps. In this subsection, we show there are some commutative diagrams for bypass maps. With these commutative diagrams, we can prove I`p´Y, Kq and I´p´Y, Kq are isomorphic with respect to gradings and then finish the proof of Proposition 1.17.

p p p p ˚ Lemma 4.35 ([Li19, Corollary 2.20]). For any surgery slope q{p, consider the bypass maps ψ`,˚ ˚ and ψ´,˚ in Proposition 4.10. For any integer n P Z, we have the following commutative diagram.

n ψ´,n`1 (4.7) SHIp´Y pKq, ´Γnq / SHIp´Y pKq, ´Γn`1q

p p ψn n`1 `,n`1 ψ`,n`2

n`1  ψ´,n`2  SHIp´Y pKq, ´Γn`1q / SHIp´Y pKq, ´Γn`2q

Proof. In Subsection 2.3, we re-interpretedp bypass maps by contact gluingp maps. So the composition of bypass maps becomes the composition of contact gluing maps. To verify the commutative diagram, it suffices to verify that two components of contact structures coming from different 2 bypasses are actually the same. Thus, it is free to change the basis of H1pT q. It suffices to verify a special case q{p “ 1{0 and n “ 0. Then it follows from Honda [Hon00, Lemma 4.14] that the contact structures are the same. Alternatively, to show the propoistion holds for q{p “ 1{0 and n “ 0, we can use the interpreta- tion of bypass maps by contact handle decomposition. Explicitly, consider the proof of Proposition 4.10. We start with γ “ γp2,´1q and two bypass arcs α` and α´ as depicted in the left sub-figure 1 of Figure 24. Let the suture γ and the new bypass arc θ` be obtained by applying the bypass attachment twice along the arc α` (c.f. Figure 3). See the middle sub-figure of Figure 24. The 1 1 suture γ is a stabilization of γ1,´1 and the bypass attachment along θ` gives the map ψ`,2. The 1 2 arc α´ becomes a bypass arc on γ . Let the suture γ and the new bypass arc θ´ be obtained by applying the bypass attachment twice along the arc α´. See the right sub-figure of Figure 24. The 2 0 suture γ is a stabilization of γ0,1 and the bypass attachment along θ´ gives the map ψ´,1. Thus, 1 0 ψ`,2 ˝ ψ´,1 “ ψθ` ˝ ψθ´ . By Lemma 2.33, these two bypass maps commute. Similar to the above discussion, we have 1 0 ψ´,2 ˝ ψ`,1 “ ψθ´ ˝ ψθ` . 54 ZHENKUN LI AND FAN YE

Hence the lemma holds. 

Figure 24. Bypass arcs on sutures.

˚ ˚ Corollary 4.36. For any surgery slope q{p, consider the bypass maps ψ`,˚ and ψ´,˚ in Proposition 4.10. For i, j P Z with i ą j, suppose j i´1 i´2 j Ψ˘,i “ ψ˘,i ˝ ψ˘,i´1 ˝ ¨ ¨ ¨ ˝ ψ˘,j`1. Then we have the following commutative diagram.

j ψ`,j`1 (4.8) SHIp´Y pKq, ´Γjq / SHIp´Y pKq, ´Γj`1q

p p j j`1 Ψ´,i Ψ´,i`1

i  ψ`,i`1  SHIp´Y pKq, ´Γiq / SHIp´Y pKq, ´Γi`1q

˚ ˚ ˚ ˚ The similar commutative diagrams holdp if we switch the roles of ψ`,˚pand ψ´,˚, Ψ`,˚ and Ψ´,˚, respectively.

Proof. Combining the commutative diagrams from Lemma 4.35 with n “ j, j ` 1, . . . , i ´ 2, this lemma is straightforward. 

˚ ˚ Lemma 4.37. For any surgery slope q{p, consider the bypass maps ψ`,˚ and ψ´,˚ in Proposition 4.10. For any n P Z, we have two commutative diagrams

n ψ´,n`1 (4.9) SHIp´Y pKq, ´Γnq / SHIp´Y pKq, ´Γn`1q

n p ψ ψn`1 p `,µ ) u `,µ SHIp´Y pKq, ´Γµq

p p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 55 and n ψ´,n`1 (4.10) SHIp´Y pKq, ´Γnq / SHIp´Y pKq, ´Γn`1q i 5

p µ µ p ψ`,n ψ`,n`1

SHIp´Y pKq, ´Γµq The similar commutative diagrams hold if we switch the roles of ψ˚ and ψ˚ . p p `,˚ ´,˚ Remark 4.38. The bypass maps in Lemma 4.37 are from different bypass exact triangles.

Figure 25. Top left, bypass β3 from γp1,1q; top middle, bypasses α2 and θ1 from γp1,´1q; top right, after the bypass attachment along α2; bottom left, top left subfigure after isotopy; bottom middle, top middle figure after isotopy; bottom right, the suture γ.

Proof of Lemma 4.37. We only give the proof of (4.9). The proof for (4.10) and other two commu- tative diagrams are similar. We use the same strategy as in the proof of Lemma 4.37. Hence it 0 0 1 suffices to prove for q{p “ 1{0 and n “ 0. For ψ`,µ, we start with γp1,1q. For ψ´,1 ˝ ψ`,µ, we start with γp1,´1q. See Figure 25, where 0 1 0 ψθ1 “ ψ´,1, ψα2 “ ψ`,µ, and ψβ3 “ ψ`,µ. By Lemma 2.33, we have

ψθ1 ˝ ψα2 “ ψα2 ˝ ψθ1 . The bypass arcs α2 and β3 are isotopic. By Lemma 2.34, we have

ψα2 “ ψβ3 . 56 ZHENKUN LI AND FAN YE

After the bypass attachment along α2, the bypass θ1 is a trivial bypass. From the discussion in the proof of Lemma 3.21, the corresponding bypass map is an isomorphism. Explicitly, the third suture γ in the bypass triangle associated to θ1 contains components that bounds disks. Hence the sutured manifold p´Y pKq, ´γq is not taut. By Theorem 2.13, SHIp´Y pKq, ´γq is trivial and the bypass triangle implies the bypass map ψθ1 is an isomorphism. Thus, we conclude 0 1 0 ψ´,1 ˝ ψ`,µ “ ψ`,µ. 

Remark 4.39. Indeed, Lemma 4.37 also follows from Honda’s classification of tight contact struc- tures on T 2 ˆ I [Hon00].

˚ ˚ Corollary 4.40. For any surgery slope q{p, consider the bypass maps ψ`,˚ and ψ´,˚ in Proposition ˚ ˚ 4.10. For any i, j P Z, we have the following commutative diagrams related to ψ`,˚ and ψ´,˚, respectively.

µ ψ˘,j (4.11) SHIp´Y pKq, ´Γµq / SHIp´Y pKq, ´Γjq

p p ψµ j ˘,i ψ˘,µ

i  ψ˘,µ  SHIp´Y pKq, ´Γiq / SHIp´Y pKq, ´Γµq

˚ Proof. The commutative diagram relatedp to ψ`,˚ follows from (4.9)p and (4.9). Explicitly, for i “ j ` 1, both composition of maps are equal to

j`1 n µ ψ`,µ ˝ ψ´,j`1 ˝ ψ`,j.

The other commutative diagram follows from Lemma 4.37 similarly. 

˚ ˚ Corollary 4.41. For any surgery slope q{p, consider the bypass maps ψ`,˚ and ψ´,˚ in Proposition 4.10. For any n P Z, we have n µ n µ ψ`,µ ˝ ψ´,n “ ψ´,µ ˝ ψ`,n “ 0 and µ n µ n ψ`,n ˝ ψ`,µ “ ψ´,n ˝ ψ´,µ “ 0. Proof. By Lemma 4.37, we have

n`1 n µ ψ`,µ ˝ ψ´,n`1 ˝ ψ´,n “ 0.

Other argument follow from Lemma 4.37 similarly. 

˚ ˚ Corollary 4.42. For any surgery slope q{p, consider the bypass maps ψ`,˚ and ψ´,˚ in Proposition j 4.10. Consider Ψ˘,i in Corollary 4.36. For any i, j P Z with i ą j, we have two commutative INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 57 diagrams.

j Ψ´,i (4.12) SHIp´Y pKq, ´Γjq / SHIp´Y pKq, ´Γiq

p j i p ψ ψ `,µ ) u `,µ SHIp´Y pKq, ´Γµq and p p j ψ´,i (4.13) SHIp´Y pKq, ´Γjq / SHIp´Y pKq, ´Γiq i 5

p µ µ p ψ`,j ψ`,i

SHIp´Y pKq, ´Γµq The similar commutative diagrams hold if we switch the roles of ψ˚ and ψ˚ , Ψ˚ and Ψ˚ , p p `,˚ ´,˚ `,˚ ´,˚ respectively. Proof. Combining the commutative diagrams from Lemma 4.35 with n “ j, j ` 1, . . . , i ´ 1, this lemma is straightforward.  Remark 4.43. The above commutative diagrams can be illustrated by the method described in Remark 4.17. The illustration of the special cases in the proofs are shown in Figure 26. Note that vector spaces are denoted by their sutures (we omit the minus signs) and all maps are bypass maps. They are grading preserving and commute with F˚ and G˚ by Proposition 4.16 and Lemma 4.11, respectively.

Figure 26. Left, bypass maps; middle, illustration of (4.7); right, illustration of (4.9).

With above commutative diagrams, the following proposition follows from diagram chasing.

Proposition 4.44. For a surgery slope q{p with q ą 0, consider I`p´Y, Kq and I`p´Y, Kq defined as in Subsection 4.3. We have a grading preserving isomorphism – p p p p fK,˘ : I`p´Y, Kq ÝÑ I´p´Y, Kq, up to a Zq grading shift. p p p p 58 ZHENKUN LI AND FAN YE

Proof. Suppose n P N satisfies

qn “ ´q0 ` nq ą q ` 2gpKq, and q´n “ q0 ` nq ą q ` 2gpKq

Note q ą ´q0 ě 0. In this case I˘p´Y, Kq are defined as direct summands of

p SHIp p´Y pKq, ´Γ˘nq, respectively. Consider the following diagram p

n´1 n´2 n´i 0 ψ`,n ψ`,n´1 ψ`,n´i`1 ψ`,1 (4.14) An o An´1 o An´2 o A1 o A0 E O E O E O F

n n´1 n´i`1 1 ψ`,µ ψ`,µ ψ`,µ ψ`,µ µ µ µ ψµ ψ`,n´1 ψ`,n´2 ψ`,n´i `,0

ö ö ö ö ö ö

 ´1  ´2  n´1  C1 Ψ´,n´1 C2 Ψ´,n´2 Ci Ψ´,1 Cn F E E D

ψµ ψµ ψµ µ `,´1 `,´2 `,´i ψ`,´n ψ0 ´1 ´i`1 ´n`1 `,µ ψ`,µ ψ`,µ ψ`,µ

    B B B B B 0 o ´1 1 o ´2 2 o ´i n´1 o ´n n ψ`,0 ψ`,´1 ψ`,´i`1 ψ`,´n`1 where

Ai “ SHIp´Y pKq, ´Γiq,Bi “ SHIp´Y pKq, ´Γ´iq, and Ci “ SHIp´Y pKq, ´Γµq.

The dashed arrows denote therep are similar squares forpCi. By Corollary 4.42, the six trianglesp with circles are commutative. By Proposition 4.10, other eight triangles are bypass exact triangles. By Corollary 4.36, the squares involving An´i`1,An´i,Bi´1 and Bi are commutative for any integer i. By Proposition 4.16, all bypass maps are homogeneous, so this diagram can be decomposed into single gradings. For m P Z, recall q ´ 1 q ´ 1 ˆim “ r m s ` gpSq, and ˆim “ r´ m s ´ gpSq. max 2 min 2

For any j P Z, in diagram (4.14), we can replace Ai,Bi,Ci by 1 Aj “ SHIp´Y pKq, ´Γ ,Sτ , r p´iq ´ q ` q qs ` nq ` jq, i i 2 0 (4.15) j τ 1 B “ SHIp´Y pKq, ´Γp i,S , r piq ´ q ` q0qs ` jq, i ´ 2 j τ and Ci “ SHIp´Y pKq, ´Γpµ,S , pn ´ iqq ` jq, respectively.

p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 59

For a large enough integer n, there exist j0 P Z so that for any integer j P tj0, j0 ` 1, . . . , j0 ` q ´ 1u, 1 r p´q ` q qs ` nq ` j ą ˆi0 , 2 0 max 1 r p´q ` q qs ` j ă ˆi0 , 2 0 min 1 r p´nq ´ q ` q qs ` nq ` j P rˆin ` 2gpKq,ˆin ´ 2gpKqs, 2 0 min max 1 r pnq ´ q ` q qs ` j P rˆi´n ` 2gpKq,ˆi´n ´ 2gpKqs. 2 0 min max Thus, we have j j A0 “ B0 “ 0. By Remark 4.24, there are grading preserving isomorphisms

j0`q´1 j – ˆ ˆ fA : An ÝÑ I`p´Y, Kq j“j0 à j0`q´1 j – ˆ ˆ fB : Bn ÝÑ I´p´Y, Kq j“j0 à up to Zq grading shifts. j j In the remain part of the proof, we find an isomorphism between An and Bn for j P tj0, j0 ` 1, . . . , j0 ` q ´ 1u by a diagram chasing in diagram (4.14). For simplicity, we omit the superscript j. Note that all maps are linear maps between vector spaces over C. Since A0 “ B0 “ 0, the maps 1 µ ψ`,µ and ψ`,´1 are isomorphisms. Step 1. We construct a map f from An to Bn. n For a nonzero element an P An, consider c1 “ ψ`,µpanq P C1. By exactness, either c1 ‰ 0, or n´1 there exists a nonzero element an´1 P An´1 so that ψ`,n pan´1q “ an. µ µ If the first case happens, by the exact triangle, we know ψ`,n´1pc1q “ 0. Since ψ`,´1 is an µ isomorphism, b1 “ ψ`,´1pc1q P B1 is nonzero. From the commutative diagrams, we have ´1 µ ´1 n´1 ´1 Φ´,n´1pb1q “ ψ`,n´1pc1q “ 0, and ψ`,µpb1q “ ψ`,µ ˝ Φ´,n´1pb1q “ 0. ´2 Hence there exists a nonzero element b2 P B2 so that ψ`,´1pb2q “ b1. Consider ´2 an´2 “ Ψ´,n´2pb2q P An´2. 1 If an´2 “ 0, let b2 “ b2. If an´2 ‰ 0, then n´2 ´1 µ ψ`,n´1pan´2q “ Φ´,n´1pb1q “ ψ`,n´1pc1q “ 0. µ 1 µ Then there exists a nonzero element c2 P C2 so that ψ`,n´2pc2q “ an´2. Let b2 “ b2 ´ ψ`,´2pc2q. 1 In both cases for b2, ´2 1 ´2 ´2 1 ψ`,´1pb2q “ ψ`,´1pb2q “ b1, Ψ´,n´2pb2q “ 0, and ´2 1 n´2 ´2 1 ψ`,µpb2q “ ψ`,µ ˝ Ψ´,n´2pb2q “ 0. Hence there exists a nonzero element b3 P B3 so that ´3 ´2 ´3 ´2 1 Ψ`,´1pb3q “ ψ`,´1 ˝ ψ`,´2pb3q “ ψ`,´1pb2q “ b1. ´n By induction on i, there exists a nonzero element bn P Bn so that Ψ`,´1pbnq “ b1. Define fpanq “ bn. 60 ZHENKUN LI AND FAN YE

n´1 1 If the second case happens, consider c2 “ ψ`,µ pan´1q P C2. If c2 “ 0, let an´1 “ an´1. If µ c2 ‰ 0, consider b2 “ ψ`,´2pc2q P B2. If b2 ‰ 0, similar to the first case, there exists a nonzero ´n element bn P Bn so that Ψ`,´2pbnq “ b2. Define fpanq “ bn. If b2 “ 0, then there exists a nonzero ´1 µ ´1 element b1 P B1 so that ψ`,µpb1q “ c2. Since ψ`,´1 is an isomorphism, Ψ´,n´1pb1q is in the image µ n´1 ´1 1 ´1 1 of ψ`,n´1 and then ψ`,n ˝ Ψ´,n´1pb1q “ 0. Let an´1 “ an´1 ´ Ψ´,n´1pb1q. In both cases for an´1, n´1 1 n´1 1 ψ`,n pan´1q “ an, and ψ`,µ pan´1q “ 0. n´2 1 Hence there exists a nonzero element an´2 P An´2 so that ψ`,n´1pan´2q “ an´1. Similarly, consider n´2 µ c3 “ ψ`,µ pan´2q P C3 and b3 “ ψ`,´3pc3q. 1 2 1 If c3, b3 ‰ 0, apply the argument in the first case. If c3 “ 0, let an´2 “ an´2 and an´1 “ an´1. If ´2 c3 ‰ 0, b3 “ 0, there exists a nonzero element b2 P B2 so that ψ`,µpb2q “ c3. If n´2 ´2 ´1 ´2 ψ`,n´1 ˝ Ψ´,n´2pb2q “ Ψ´,n´1 ˝ ψ`,´1pb2q ‰ 0, µ from the isomorphism ψ`,´1, we know n´1 n´2 ´2 ψ`,n ˝ ψ`,n´1 ˝ Ψ´,n´2pb2q “ 0. Let 2 1 n´2 ´2 1 n´2 ´2 an´1 “ an´1 ´ ψ`,n´1 ˝ Ψ´,n´2pb2q, and an´2 “ an´2 ´ ψ`,n´1 ˝ Ψ´,n´2pb2q. 1 2 In both cases for an´2 and an´1, n´1 2 n´2 1 2 n´2 1 ψ`,n pan´1q “ an, ψ`,n´1pan´2q “ an´1, and ψ`,µ pan´2q “ 0. n´3 1 Hence there exists a nonzero element an´3 P An´3 so that ψ`,n´2pan´3q “ an´2. By induction 1 on i, either there exists a nonzero element a1 P A1 so that Ψ`,npa1q “ an, or there exist nonzero elements bn P Bn, bk`1 P Bk`1, and ak P An´k for some k, so that ´n µ k k Ψ`,´k´1pbnq “ bk`1 “ ψ`,´k´1 ˝ ψ`,µpakq, and Ψ`,npakq “ an. µ 1 Define fpanq “ ψ`,´n ˝ ψ`,µpa1q or fpanq “ bn in either case, respectively. Step 2. We construct a map g from Bn to An. ´n For a nonzero element bn P Bn, consider bn´1 “ ψ`,´n`1pbnq. By exactness, either bn´1 ‰ 0, or µ there exists a nonzero element cn P Cn so that ψ`,´npcnq “ bn. If the first case happens, From the commutative diagram, we have 1 n´1 ´n`1 ψ`,µ ˝ Ψ´,1 pbn´1q “ ψ`,µ pbn´1q “ 0 n´1 ´n`1 and then Ψ´,1 pbn´1q “ 0. Consider b1 “ Ψ`,´1 pbn´1q. If b1 ‰ 0, then ´1 ´1 ´n`1 1 n´1 Ψ´,n´1pb1q “ Ψ´,n´1 ˝ Ψ`,´1 pbn´1q “ Ψ`,n´1Ψ´,1 pbn´1q “ 0. µ ´1 Consider c1 “ pψ`,´1q pb1q. Then µ ´1 ψ`,n´1pc1q “ Ψ´,n´1pb1q “ 0. n Hence there exists a nonzero element an P An so that ψ`,µ “ c1. Define gpbnq “ an. If b1 “ 0, then there exists an integer k so that ´k ´k`1 bk “ Ψ`,´1pbn´1q ‰ 0, and bk´1 “ Ψ`,´1 pbn´1q “ 0. µ Hence there exists a nonzero element ck P Ck so that ψ`,kpckq “ bk. Then µ ´k 1 n´1 ψ`,n´k`1pckq “ Ψ´,n´kpbkq “ Ψ`,n´k ˝ Φ´,1 pbn´1q “ 0. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 61

µ Hence there exists a nonzero element an´k`1 P An´k`1 so that ψ`,kpan´k`1q “ ck. Define

n´k`1 gpbnq “ Ψ`,n pan´k`1q.

n´k`1 We claim that Ψ`,n pan´k`1q ‰ 0. Suppose there exists some integer l P r1, k ´ 1s so that

n´k`1 n´k`1 an´l`1 “ Ψ`,n´l`1pan´k`1q “ 0, and an´l “ Ψ`,n´l pan´k`1q ‰ 0. µ µ Then there exists a nonzero element in cl P Cl so that ψ`,n´lpclq “ an´l. Consider bl “ ψ`,´lpclq. Then ´l n´l ´l n´l ψ`,µpblq “ ψ`,µ ˝ Ψ´,n´lpblq “ ψ`,µ pan´lq “ 0. l`1 Hence there exists a nonzero element bl´1 P Bl`1 so that ψ`,l pbl`1q “ bl. By induction we know n´1 there exists a nonzero element bn´1 P Bn´1 so that ψ`,l pbn´1q “ bl. This is impossible because

µ ´n`1 µ ψ`,´n ˝ ψ`,µ pbn´1q “ ψ`,´npcnq “ bn ‰ 0. If the second case happens, Define

1 1 ´1 gpbnq “ Ψ`,n ˝ pΨ`,µq pcnq.

Similar argument to that in the first case shows gpbnq ‰ 0. Step 3. The above maps f and g is not well-defined because we may have many preimages of the same element. We fix it by considering restrictions of maps. ´i ´i ´n n´1 n´1 Let β´i`1 to be the restriction of ψ`,´i`1 on Ψ`,´ipBnq. Let αn “ ψ`,n and let An´1 be decomposed as n´1 1 An´1 “ kerpαn q ‘ An´1. Then n´1 1 An – cokerpαn q ‘ An´1. n´2 n´2 n´2 ´1 1 Let αn´1 be the restriction of ψ`,n´1 on pψ`,n´1q pAn´1q and let

n´2 ´1 1 n´2 1 pψ`,n´1q pAn´1q “ kerpαn´1q ‘ An´2.

n´i 1 ´1 0 Inductively define αn´i`1 and An´i. Since ψ`,0 “ ψ`,1 “ 0, we have the decomposition n n n´i ´i (4.16) An “ cokerpαn´i`1q, and Bn “ kerpβ´i`1q. i“1 i“1 à à The diagram chasing in Step 1 and Step 2 implies

n´i ´i (4.17) dimC cokerpαn´i`1q “ dimC kerpβ´i`1q. n´i ´i Indeed, for a fixed integer i, the diagram chasing related to elements in cokerpαn´i`1q and kerpβ´i`iq to will only go through Ci. After diagram chasing for a chosen element, we can quotient all spaces by the subspaces generated by involving elements. The diagram still holds and the diagram chasing works again. For any i, we prove that the maps f and g are well-defined and both f ˝ g and g ˝ f are identity maps. The maps f and g on An and Bn, respectively, will be defined as sums of the maps on all direct summands. 62 ZHENKUN LI AND FAN YE

For the well-definedness, we only prove for f. The proof for g is similar. Suppose there are 1 1 1 nonzero elements an´i`1, an´i`1 P An´i`1, bn, bn P Bn and bi, bi P Bi so that n´i`1 n´i`1 1 Ψ`,n pan´i`1q “ an “ Ψ`,n pan´i`1q, µ n´i`1 ´n ψ`,´i ˝ ψ`,µ pan´i`1q “ bi “ Ψ`,´ipbnq, µ n´i`1 1 1 ´n 1 ψ`,´i ˝ ψ`,µ pan´i`1q “ bi “ Ψ`,´ipbnq. Then there exists an integer k P r0, i ´ 1s so that

n´i`1 1 2 n´i`1 1 Ψ`,n´k`1pan´i`1 ´ an´i`1q “ 0, and an´k “ Ψ`,n´kpan´k ´ an´kq ‰ 0. 2 Then there exists a nonzero element ck P Ck so that µ 2 1 ψ`,n´kpckq “ an´k ´ an´k.

2 µ 2 ´k 2 1 n´k´1 Consider bk “ ψ`,´2pckq. Then ψ`,µpbkq “ 0 since an´i`1 ´ an´i`1 is in the image of ψ`,n´k . By 2 ´i`1 1 induction there exists a nonzero element bi´1 P Bi´1 so that Ψ´,n´i`1pbi´1q “ an´i`1 ´ an´i`1. Then µ n´i`1 1 ψ`,´i ˝ ψ`,µ pan´i`1 ´ an´i`1q “ 0, 1 n ´i 1 i.e., bi “ bi. Since Ψ`,´i is injective on kerpβ´i`1q, we have bn “ bn. On the direct summand about i, an and bn are considered as images of a nonzero element an´i`1 P An´i`1. It is straightforward to check f ˝ g “ g ˝ f “ id.

 Remark 4.45. In the above proof, the decomposition (4.16) is not canonical, i.e., there are many choices of direct sum decompositions. As a result, the maps f and g are not canonical, neither. However, the equation (4.17) always holds and we only need the existence of the isomorphisms.

Proof of Proposition 1.17. Let Γ be the set of ´Γn for all n satisfying qn ą q `2gpKq. The number n can be either positive or negative. Then term (1) is from Theorem 2.20. Term (2) is from Proposition 4.28 and Proposition 4.34. Term (3)p is from Remark 4.24 and Proposition 4.44. Term (4) is from Lemma 4.11 and the fact that all isomorphisms in term (3) are from bypass maps or their inverse maps. 

Proof Theorem 1.10. We prove this theorem for ´Y . Suppose µ ĂBY pKq is a simple closed curve so that |µ ¨ λ| “ 1 and suppose Y is the manifold obtained by Dehn filling along µ. Suppose further K is the dual knot in Y . Then K is a null-homologousp knot in Y , andp pY, Kq is obtained from Y by performing a q{p-surgery along pY,Kq with respect to the canonical framing in Subsection 4.1. The choice of µ is not important since it will only change the integer p.p Fromp Proposition 1.17, we can use any γ P G and term (2) to define the decomposition. Explicitly we can choose either 7 I`pY, Kq in Definition 4.23 or I´pY, Kq in Definition 4.29 to decompose I pY q. 

4.5. pSpectralp sequences and taup invariants.p p In this subsection, we derive more information from the diagram (4.14). We copy it here for the reader’s convenience. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 63

n´1 n´2 n´i 0 ψ`,n ψ`,n´1 ψ`,n´i`1 ψ`,1 p4.14q An o An´1 o An´2 o A1 o A0 E O E O E O F

n n´1 n´i`1 1 ψ`,µ ψ`,µ ψ`,µ ψ`,µ µ µ µ ψµ ψ`,n´1 ψ`,n´2 ψ`,n´i `,0

ö ö ö ö ö ö

 ´1  ´2  n´1  C1 Ψ´,n´1 C2 Ψ´,n´2 Ci Ψ´,1 Cn F E E D

ψµ ψµ ψµ µ `,´1 `,´2 `,´i ψ`,´n ψ0 ´1 ´i`1 ´n`1 `,µ ψ`,µ ψ`,µ ψ`,µ

    B B B B B 0 o ´1 1 o ´2 2 o ´i n´1 o ´n n ψ`,0 ψ`,´1 ψ`,´i`1 ψ`,´n`1

Here

Ai “ SHIp´Y pKq, ´Γiq,Bi “ SHIp´Y pKq, ´Γ´iq, and Ci “ SHIp´Y pKq, ´Γµq, or we can replace A ,B ,C by i i i p p p 1 Aj “ SHIp´Y pKq, ´Γ ,Sτ , r p´iq ´ q ` q qs ` nq ` jq, i i 2 0 p4.15q j τ 1 B “ SHIp´Y pKq, ´Γp i,S , r piq ´ q ` q0qs ` jq, i ´ 2 j τ and Ci “ SHIp´Y pKq, ´Γpµ,S , pn ´ iqq ` jq, respectively, for some shift number j . P Z p Definition 4.46. Suppose K is a null-homologous knot in Y and pY, Kq is obtained from a q{p surgery with respect to the canonical framing as in Subsection 4.1. Following the idea in [Li19, Section 5], we define KHI´pY, Kq to be the direct limit of the followingp p direct system

ψn τ ´ ´,n`1 τ ´ ¨ ¨ ¨ Ñ SHIp´Y pKq,p´Γpn,S qrjn s ÝÝÝÝÝÑ SHIp´Y pKq, ´Γn`1,S qrjn`1s Ñ ¨ ¨ ¨ , where p p q ´ 1 j´ “ gpKq ` r s ´ ˆim . m 2 max ´ There is a Z grading on KHI p´Y, Kq induced by Sτ . By Proposition 4.16 and Lemma 4.35, there is a commutative diagram p p ψn τ ´ ´,n`1 τ ´ SHIp´Y pKq, ´Γn,S qrjn s / SHIp´Y pKq, ´Γn`1,S qrjn`1s

ψn ψn`1 p`,n`1 p `,n`2  ψn`1  τ ´ ´,n`2 τ ´ SHIp´Y pKq, ´Γn`1,S qrjn`1s / SHIp´Y pKq, ´Γn`2,S qrjn`2s

p p 64 ZHENKUN LI AND FAN YE

n ´ Hence the maps tψ`,n`1u induces a map U´ of degree is ´q on KHI p´Y, Kq. Similarly, we can define KHI`p´Y, Kq to be the inverse limit of the following system p p ψn τ ` ´,n`1 τ ` ¨ ¨ ¨ Ñ SHIp pp´Y pKq, ´Γ´n´1,S qrjn s ÝÝÝÝÝÑ SHIp´Y pKq, ´Γ´n,S qrjn`1s Ñ ¨ ¨ ¨ where p q ´ 1 p j` “ ´gpKq ` r´ s ´ ˆin . m 2 min ` Also, there is a Z grading and a map U` on KHI p´Y, Kq. If the underlying space is clear, we will denote U` and U´ by U. p p Proposition 4.47. Consider KHI´p´Y, Kq and KHI`p´Y, Kq in Definition 4.46. For any grad- ing i apart from the top 2gpKq gradings of KHI´p´Y, Kq and the bottom 2gpKq gradings of KHI`p´Y, Kq, the direct sums of the vectorp p spaces p p q´1 q´1p p p p KHI´p´Y, K, i ´ mq, and KHI`p´Y, K, i ` mq m“0 m“0 à à are isomorphic to p p p p SHIp´Y p1q, ´δq – I7pY q and the maps U´ and U` are an isomorphisms. p p Proof. This follows from Lemma 4.18, Lemma 4.22, Lemma 4.30 and Lemma 4.32.  Then the diagram (4.14) induces the following proposition directly.

Proposition 4.48. Consider KHI´p´Y, Kq and KHI`p´Y, Kq defined as in Definition 4.46. There is a diagram p p p p

U´ (4.18) KHI´p´Y, Kq o KHI´p´Y, Kq O 7 O P

p p B1 p p ö' ö B3 KHIp´Y, Kq B3 7 I B p p 2 ' KHI`p´Y, Kq o KHI`p´Y, Kq U`

µ ˚ µ ˚ ˚ where the maps I, P, B1, B2 andpB3pare induced by ψ`,˚, ψ`,µ, ψ`,˚, ψ`,µ andp p Ψ´,˚, respectively. The top triangle and the bottom triangle are exact triangles. Two triangle with circles and the square are commutative. Proof. Since the maps in the diagram (4.18) are homogeneous, it suffices to prove the proposition for finite many gradings (c.f. Proposition 4.47 and [OS08, Lemma 2.5]). For a fixed integer i0 P N, we consider ´ ´ ` ` KHIfin :“ KHI pY, K, ´i0 ` mqq, and KHIfin :“ KHI pY, K, i0 ´ mqq. mPN mPN à à p p p p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 65

From Lemma 4.18 and Lemma 4.30, we can choose a large enough integer n and choose the shift ´ ` number j properly in (4.15) for the diagram (4.14) to recover the diagram (4.18) for KHIfin, KHIfin and the corresponding direct summands of gradings of KHI. 

Remark 4.49. The maps B1, B2 and B3 in the diagram (4.18) are counterparts of boundaries maps from the following short exact sequences (c.f. [OS04a]). (4.19) 0 Ñb CFK´ Ñ CFK´ Ñ CFK0 Ñ 0

(4.20) 0 Ñ CFK0 Ñ CFK` Ñ CFK` Ñ 0

(4.21) 0 Ñb CFK´ Ñ CFK8 Ñ CFK` Ñ 0 Lemma 4.50. Consider p´Y, Kq in Definition 4.46. For l P t0, . . . , q ´ 1u, define

KHIlp´Y, Kq :“ KHIp´Y, K, l ` mqq. p p mPZ à For any fixed l, there exist a spectralp sequencep tEr, dru withp Ep1 “ KHIlp´Y, Kq. Proof. As in the proof of Proposition 4.48, we can choose a large enough integer n and choose the shift number j properly in (4.15) for the diagram (4.14) to recover the diagramp p (4.18) for finite gradings. For any fixed l, there is a choice of pn, jq so that n j Ci “ KHIlp´Y, Kq. i“0 j j j jà Note in this case Ai “ Bi “ Ci “ Cn´i “ 0 for any smallp integerp iN. In the following, we omit the superscript j. ´i µ We focus on the bottom exact triangles about Ci and Bi. Let d1 be the composition ψ`,µ ˝ψ`,´i, or equivalently B2 ˝ I in the diagram (4.18). The fact d1 ˝ d1 “ 0 follows from the exactness at Ci. Let E2 be the homology of pE1, d1q. We define d2 on E2 by diagram chasing as follows. µ For a nonzero element ci P kerpd1q Ă Ci, suppose bi “ ψ`,´ipciq P Bi. By construction, ´i ´i´1 ψ`,µpbiq “ 0, so there exists an element bi`1 P Bi`1 so that ψ`,´i pbi`1q “ bi. Define ´i´1 d2pciq “ ψ`,µ pbi`1q. 1 ´i´1 1 If there is another element bi`1 Ă Bi`1 so that ψ`,´i pbi`1q “ bi. Then ´i´1 1 ψ`,´i pbi`1 ´ bi`1q “ 0. µ 1 Hence there is an element ci`1 P Ci`1 so that ψ`,´i´1pci`1q “ bi`1 ´ bi`1. Then ´i´1 ´i´1 1 ψ`,µ pbi`1q ´ ψ`,µ pbi`1q “ d1pci`1q.

Thus, the map d2 is well-defined on E2. The fact d2 ˝ d2 “ 0 is also from the exactness. n Let E3 be the homology of pE2, d2q. Consider kerpd2q as a subspace of i Ci. Then we can define d3 similarly: for elements ci P kerpd2q, choose an element bi`2 P Bi`2 so that À ´i´2 µ Ψ`,´i pbi`2q “ ψ`,´ipciq. Then define ´i´2 d3pciq “ ψ`,µ pbi`2q. By similar diagram chasing, we know d3 is well-defined on E3. For r ě 3, define pEr, drq similarly.  66 ZHENKUN LI AND FAN YE

Remark 4.51. When fixing a basis for Bi and Ci, or equivalently fixing all direct sum decompositions, we can lift all dr to Ci. The exactness implies dr ˝ ds “ 0 for any r, s P Zě1. Thus, n p Ci, d “ drq i“1 r à ÿ is a filtered chain complex. The map dr on Ci is roughly the composition ´i´r`1 ´i ´1 µ ψ`,µ ˝ pΨ`,´i´r`1q ˝ ψ`,´i. ´i ´1 1 Here pΨ`,´i´r`1q is the map from Bi to Bi`r´1, where 1 ´i Bi`r´1 “ Bi`r´1 ‘ kerpΨ`,´i´r`1q.

The restriction of impdq on Bi is well-defined. Indeed, it is the direct sum of images of ´i`r´1 ´1 µ pΨ`,´i q ˝ ψ`,´i`r´1 for all r P Zě1.

Lemma 4.52. Consider the spectral sequence tEr, dru with E1 “ KHIlp´Y, Kq for some l in Lemma 4.50. This spectral sequence stabilizes at some finite page, whose homology is isomorphic to I´pY, K,N ´ lq for some fixed integer N. p p Proof. First, consider the choice of pn, jq and the corresponding diagram (4.18) in the proof of p p Lemma 4.50. By definition of I´pY, Kq, there exists a fixed integer N so that I pY, K,N ´ lq – B – B – ¨ ¨ ¨ – B ´ p p n n´1 n´i for any small integer i P N. Then it is straightforward to check the spectral sequence stabilizes at p p some finite page. Suppose HpCiq is the homology of this page at Ci. n Second, fix a basis for Ci, consider dr on i“1 Ci and define d “ r dr. We prove (4.22) im d im ψµ p q|CÀs “ p `,´s`1q ř by induction on s. For s “ 2, we have B0 “ B1 “ C1 “ C2 “ 0, so both images are zeros. Assume the argument has been proved for s “ i, we prove it for s “ i ` 1. By assumption and Remark 4.51, we have impdq|Bi´1 “ Bi´1. From the exactness at Bi, we have µ ´i 1 impψ`,´iq “ kerpψ`,´i`1q – Bi{Bi, 1 ´i ´i where Bi – impψ`,´i`1q by the map ψ`,´i`1. From the fact impdq|Bi´1 “ Bi´1, we have 1 µ impdq|Bi “ Bi ‘ impψ`,´iq “ Bi. Then µ µ impdq|Ci`1 “ ψ`,´ipimpdq|Bi q “ impψ`,´iq. Finally, consider the decomposition of Bn in (4.16): n ´i Bn “ kerpβ´i`1q, i“1 ´i i à ´n where β´i`1 is the restriction of ψ`,´i`1 on Ψ`,´ipBnq. The diagram chasing in the proof of Proposition 4.44 and the fact (4.22) implies ´i kerpβ´i`1q – HpCiq. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 67

Hence we conclude n HpCiq – Bn – I´pY, K,N ´ lq. i“1 à p p  Proof of Proposition 1.11. This follows directly from the proof of Theorem 1.10, Lemma 4.50 and Lemma 4.52. Since the spectral sequence comes from KHI`, it is independent of the choice of pn, jq satiesfying the condition in the proof of Lemma 4.50. 

Remark 4.53. We can also construct a spectral sequence by Ai and Ci in the diagram (4.18). The commutative diagrams in the diagram (4.18) imply these spectral sequences are indeed the same ˚ ˚ one. By reversing the order of Bi and replacing ψ`,˚ by ψ´,˚, we will obtain another spectral sequence. This spectral sequence stabilizes at some finite page whose homology is isomorphic to ˚ ˚ the one contructed by ψ`,˚ in Lemma 4.50. However, the spectral sequences coming from ψ`,˚ and ˚ ψ´,˚ are not the same one and this difference might be useful to construct differentials dz and dw n on the filtered chain complex p i“1 Ci, dq, and moreover a mapping cone formula similar to the work of Ozsv´athand Szab´o[OS08, OS11]. À Then we discuss about tau invariants. Suppose Y “ S3. ´ 3 k Definition 4.54 ([Li19]). τI pKq “ maxti P Z|Dx P KHI p´S , K, iq,U´pxq ‰ 0, @k P Nu. Proof of Proposition 1.18. From [Li18], There is a canonical duality ¯ SHIp´Y pKq, ´Γnq – SHIpY pKq, ´Γ´nq – HomCpSHIp´Y pKq, ´Γ´nq, Cq. The bypass maps n p s ψ˘,np`1 p SHIp´Y pKq, ´Γnq ÝÝÝÝÝÑpSHIp´Y pKq, ´Γn`1q become ´n´1 p ψ˘,´n p SHIp´Y pKq, ´Γ´n´1q ÝÝÝÝÑ SHIp´Y pKq, ´Γ´nq since the cobordisms inducing the bypass maps have reverse orientations. Considering the gradings, we have p p ´ ¯ ` KHI p´Y, K, iq – HomCpKHI p´Y,K, ´iq, Cq, Applying to Y “ S3, we have ¯ ` 3 ´k τI pKq “ ´minti P Z|Dx P KHI p´S , K, iq,U` pxq ‰ H, @k P Nu. From Proposition 4.47, apart from the top gradings of KHI´p´S3,Kq and the bottom gradings ` 3 7 3 of KHI p´S ,Kq, the maps U´ and U` are isomorphisms. Note I p´S q – C. The condition k P N in the definition of τI can be replaced by k P r1, 2gs. Then this proposition is induced by the diagram (4.14) as follows. Let n “ 2gpKq ` 1. Choose j in the proof of Proposition 4.44 so that j ´ 3 An – KHI p´S ,K, ´gpKqq – C. Then j ´ 3 An´i – KHI p´S , K, i ´ gpKqq j ´ 3 for any integer i P r0, ns. In particular A0 – KHI p´S , K, gpKq ` 1q “ 0. Moreover, the map ˚ ψ`,˚ becomes the map U´ under the isomorphims. Then it is straightforward to check i´1 τI pKq “ maxti P Z|cokerpαi q ‰ 0u, 68 ZHENKUN LI AND FAN YE

i´1 where αi is defined as in the proof of Proposition 4.44. Under this grading shift j, we have n ` 1 Bj – KHI`p´S3, K, i ´ q i 2 for any integer i P r0, ns. In particular j ` 3 j ` 3 Bn – KHI p´S ,K, ´gpKqq – C, and B0 – KHI p´S ,K, ´gpKq ´ 1q “ 0. ˚ Similarly, the map ψ`,˚ becomes U` under the isomorphims. Then it is straightforward to check ¯ i´n´1 τI pKq “ maxti P Z|kerpβi´n q ‰ 0u. From the equation (4.17), we know that n´k ´k dimC cokerpαn´k`1q “ dimC kerpβ´k`1q. ¯ Substituting k “ n ´ i ` 1, we conclude that τI pKq “ ´τI pKq.  4.6. The stabilization of Integral surgeries. Throughout this subsection, suppose K Ă Y is a null-homologous knot and S is a minimal genus Seifert surface of K. The stabilization Sτ of S is chosen according to Definition 4.12. Since we might work with different surgery slopes, we will use the notation γpp,qq to denote the suture on the τ knot complement. The maximal and minimal gradings of SHIp´Y pKq, ´γpp,qq,S q are described explicitly according to Lemma 4.14 and we write them as q ´ 1 q ´ 1 iq “ r s ` gpSq, and iq “ r´ s ´ gpSq. max 2 min 2 Note they are independent of p. Since we will deal with different surgeries in the current subsection, we will write out the surgery slope explicitly: for the 3-manifold obtained by the q{p-surgery, we write Yq{p. For the special class n`1 of sutures, we write Γnpq{pq instead of Γn. For bypass maps, we write ψ˘,n pq{pq. However, if p q{p “ 1{0, we still omit it from the notation, then in this case, we simply write Γn as Γn. In this subsection,p we deal with large integralp surgeries. In this case, we know that Γn “ γp´1,nq. Hence we have the following by Lemma 4.22 and Proposition 4.28. (Note pp, qq “p p0, 1q.) Lemma 4.55. For any n ą 2gpSq and i P Z so that n ´ 1 n ´ 1 r´ s ` gpSq ď i ď r s ´ gpSq, 2 2 we have τ SHIp´Y pKq, ´Γn,S , iq – SHIp´Y p1q, ´δq. Remark 4.56. A more direct explanation of Lemma 4.55 is that, apart from the top 2gpSq many and bottom 2gpSq gradings, the vector spaces in all gradings are isomorphic to SHIp´Y p1q, ´δq. Next, suppose we perform a p´nq-surgery. We can take λˆ “ p0, ´1q “ ´µ andµ ˆ “ p´1, nq “ λ ´ nµ. Then we compute

(4.23) Γµp´nq “ Γn, Γ0p´nq “ Γµ, Γ1p´nq “ γp´1,n´1q “ Γn´1, Γ2p´nq “ γp´2,2n´1q, and also p p p p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 69

(4.24) Γ´1p´nq “ γp´1,n`1q “ Γn`1, Γ´2p´nq “ γp´2,2n`1q. Observe that p p (4.25) Γ´2p´nq “ Γ2p´n ´ 1q. Proposition 4.57 (Proposition 1.14). Suppose integer n ě 2gpSq ` 1, then p p

I`p´Y´n, K, iq – SHIp´Y p1q, ´δq for any integer i P r0, n ´ 2gpSq ´ 1s and i “ n ´ 1. p p Proof. When 0 ď i ď n ´ 1 ´ 2gpSq, we know from equality (4.23), Definition 4.23, Lemma 4.18, and Lemma 4.55 that τ 2n´1 I`p´Y´n, K, iq “SHIp´Y pKq, ´Γ2p´nq,S , imax ´ 2gpSq ´ iq τ n –SHIp´Y pKq, ´Γµp´nq,S , imax ´ 2gpSq ´ iq p p p τ n “SHIp´Y pKq, ´Γn,S , imax ´ 2gpSq ´ iq p –SHIp´Y p1q, ´δq. For i “ n ´ 1, we know similarly that

τ 2n´1 I`p´Y´n, K, iq “SHIp´Y pKq, ´Γ2p´nq,S , imax ´ 2gpSq ´ n ` 1q τ n –SHIp´Y pKq, ´Γµp´nq,S , imax ´ 2gpSqq p p p τ n “SHIp´Y pKq, ´Γn,S , imax ´ 2gpSqq p –SHIp´Y p1q, ´δq.

 Proposition 4.58 (Proposition 1.15). Suppose integer n ě 2gpSq ` 1, then for any integer i P r0, n ´ 1s,

I`p´Y´n´1, K, i ` 1q – I`p´Y´n, K, iq. Proof. For integer i P r0, n ´ 1 ´ 2gpSqs and i “ n ´ 1, we know from Proposition 4.57 that p p p p

I`p´Y´n´1, K, i ` 1q – SHIp´Y p1q, ´δq – I`p´Y´n, K, iq For the rest p2gpSq ´ 1q gradings, we use the following commutative diagram. p p p p

n´1 ψ`,n (4.26) SHIp´Y pKq, ´Γn´1q / SHIp´Y pKq, ´Γnq O O µ µ ψ´,1p´nq ψ´,1p´n´1q n ψ´,n`1 SHIp´Y pKq, ´Γnq / SHIp´Y pKq, ´Γn`1q

This is directly from facts (4.23) and (4.24), and Corollary 4.40 by taking i “ 1 and j “ ´1. Note

n´1 1 n µ µ ´1 ψ`,n “ ψ´,µp´nq, ψ´,n`1 “ ψ´,´1p´nq, and ψ´,1p´n ´ 1q “ ψ´,µp´nq. 70 ZHENKUN LI AND FAN YE

From Proposition 4.16 and Definition 4.23, we obtain a graded commutative diagram

ψn´1 τ n´1 `,n τ n SHIp´Y pKq, ´Γn´1,S , imin ` n ´ 2 ´ iq / SHIp´Y pKq, ´Γn,S , imin ` n ´ 2 ´ iq O O µ µ ψ´,1p´nq ψ´,1p´n´1q ψn τ n ´,n`1 τ n`1 SHIp´Y pKq, ´Γn,S , imax ` n ´ 2g ´ 1 ´ iq / SHIp´Y pKq, ´Γn`1,S , imax ` n ´ 2g ´ 1 ´ iq For any fixed integer i P rn ´ 2gpSq, n ´ 1s, we have a graded exact triangle

τ n´1 SHIp´Y pKq, ´Γn´1,S , imin ` n ´ 2 ´ iq / I`p´Y´n, K, iq O ψµ p´nq ´,1 p p τ n r SHIp´Y pKq, ´Γn,S , imax ` n ´ 2g ´ 1 ´ iq Hence we know that µ µ dimC I`p´Y´n, K, iq “ dimC kerpψ´,1p´nqq ` dimC cokerpψ´,1p´nqq. Similarly, we know that p p µ µ dimC I`p´Y´n´1, K, i ` 1q “ dimC kerpψ´,1p´n ´ 1qq ` dimC cokerpψ´,1p´n ´ 1qq Since the maps ψn´1 and ψn are both isomorphisms in the corresponding gradings by Lemma p`,n p ´,n`1 4.18, we conclude that

dimC I`p´Y´n´1, K, i ` 1q “ dimC I`p´Y´n, K, iq.

p p p p  4.7. The splitting of exact triangles. In this subsection, we study the surgery exact triangle about framed instanton Floer homology and prove that it splits under certain conditions. Suppose Y is a closed 3-manifold and K Ă Y is a null-homologous knot. Let S be a minimal genus Seifert surface of K. Suppose we have three pairs of integers pp1, q1q, pp2, q2q and pp3, q3q that satisfy the following conditions.

(1) For i P t1, 2, 3u, qi ą 0, pi ď 0. (2) We have q3 “ q1 ` q2 ą 2gpSq and p3 “ p1 ` p2.

For i P t1, 2, 3u, write Yi be the 3-manifold obtained from Y by the pqi{piq-surgery along K. From Theorem 2.4, we have an exact triangle

p f 7 1 7 (4.27) I p´Yq1{p1 q / I p´Yq2{p2 q f p p f3 f2 x 7 I p´Yq3{p3 q Then we have the following proposition. p

Proposition 4.59 (Theorem 1.19). The map f1 in the exact triangle (4.27) is zero, or equivalently, we have 7 7 7 dimCI p´Yq3{p3 q “ dimCI p´Yq1{p1 q ` dimCI p´Yq2{p2 q.

p p p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 71

Proof. Define 1 1 pp0, q0q “ pp2, q2q ´ pp1, q1q, µ “ p´p1, ´q1q, λ “ p´p0, ´q0q, 2 2 3 3 µ “ p´p2, ´q2q, λ “ p´p0, ´q0q, µ “ p´p3, ´q3q, and λ “ p´p2, ´q2q. j As in Definition 4.4, for n, j P Z, we define Γn to be the suture on Y pKq consisting of two curves of class ˘pλj ´ nµjq. It is straightforward to compute 1 1 p 2 2 (4.28) Γ´2 “ γpp3,q3q, Γ´3 “ γpp1`p3,q1`q3q, Γ2 “ γpp3,q3q, Γ3 “ γpp2`p3,q2`q3q, (4.29) 3 p 3 p 3 p p 3 Γ2 “ γpp1`p3,q1`q3q, Γ3 “ γpp1`2p3,q1`2q3q, Γ´1 “ γpp2`p3,q2`q3q, and Γ´2 “ γpp2`2p3,q2`2q3q. We sketch the idea of the proof as follows: p 1 p3 p 7 p (1) The sutures Γ´3 “ Γ2 encode information of I pYq1{p1 q. 2 3 7 (2) The sutures Γ3 “ Γ´1 encode information of I pYq2{p2 q. p3 p 3 p7 (3) The sutures Γ3 and Γ´2 encode information of I pYq3{p3 q. p3 p 3 p (4) The sutures Γ´2 can be related to Γ3 in a way similar to that of the proof of Proposition 4.58. (5) Finally, comparingp thep information coming from thep above four terms, we conclude the proof of the proposition.p p We apply Proposition 4.16 and perform the computation as in the proof of Lemma 4.27:

µ 2 3 ψ pq3{p3q ψ pq {p q ψ pq {p q 3 `,2 3 `,3 3 3 3 `,µ 3 3 3 size ´Γµ / ´Γ2 / ´Γ3 / ´Γµ 2gpSq EEE p p p p q3 ´ 2gpSq FFF 2gpSq GAIG

q1 BB

q3 ´ 2gpSq CC 2gpSq DD and µ 2 3 ψ pq3{p3q ψ pq {p q ψ pq {p q 3 ´,2 3 ´,3 3 3 3 ´,µ 3 3 3 size ´Γµ / ´Γ2 / ´Γ3 / ´Γµ 2gpSq AA p p p p q1 BB

q3 ´ 2gpSq CC 2gpSq EDHE

q3 ´ 2gpSq FFF 2gpSq GGG

3 Comparing two expressions of SHIp´Y pKq, ´Γ3q, we conclude that B F (4.30) A “ E, C “ pI ,F “ C, and D “ G. ¨ H ˛ ¨ B ˛ ˝ ‚ ˝ ‚ 72 ZHENKUN LI AND FAN YE

Similarly, we compute

´1 µ ´2 ψ pq3{p3q ψ pq3{p3q ψ pq3{p3q 3 `,µ 3 `,´2 3 `,´1 3 size ´Γ´1 / ´Γµ / ´Γ´2 / ´Γ´1 2gpSq JJJ p p p p q2 KKK

q3 ´ 2gpSq LLL 2gpSq MENM

q3 ´ 2gpSq FF 2gpSq GG and ´1 µ ´2 ψ pq3{p3q ψ pq3{p3q ψ pq3{p3q 3 ´,µ 3 ´,´2 3 ´,´1 3 size ´Γ´1 / ´Γµ / ´Γ´2 / ´Γ´1 2gpSq EE p p p p q3 ´ 2gpSq FF 2gpSq JGOJ

q2 KKK

q3 ´ 2gpSq LLL 2gpSq MMM

3 Comparing two expressions of SHIp´Y pKq, ´Γ´2q, we conclude that K F p (4.31) J “ E, L “ O ,F “ L, and G “ M. ¨ N ˛ ¨ K ˛ Now we argue in two cases. ˝ ‚ ˝ ‚ Case 1. If either q1 ě 2gpSq or q2 ě 2gpSq. We only prove the case when q2 ě 2gpSq. The other is similar. When q2 ě 2gpSq, from Proposition 4.28 and Proposition 4.34, we know that the block 3 1 F Ă SHIp´Y pKq, ´Γµq “ SHIp´Y pKq, ´Γ´2q contains all information of I7p´Y q. Similarly, the block q1{p1 p p K Ăp SHIp´Y pKq, ´Γ3 q “ SHIp´Y pKq, ´Γ2q L ´1 3 ˆ ˙ 7 contains all information of I p´Yq2{p2 q, and p p F I7p´Yp q – Ă SHIp´Y pKq, ´Γ3 q. q3{p3 O ´2 ˆ ˙ Since q2 ě 2gpSq, we can split Lpas p L L “ 1 , L2 ˆ ˙ INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 73 where L1 is of size q3 ´ q2 and L2 is of size q2 ´ 2gpSq. Then from (4.31), we know that

7 F K I p´Yq3{p3 q – “ . O L1 ˆ ˙ ˆ ˙ Now, the top q1 gradings of the blockp F K “ O L1 ˆ ˙ ˆ ˙ 7 is contained in F and hence is isomorphic to I p´Yq1{p1 q. Likewise, the rest q3 ´ q1 “ q2 gradings of the block F K “ p O L1 ˆ ˙ ˆ ˙ 7 is isomorphic to I p´Yq2{p2 q, and thus we conclude that dim I7p´Y q “ dim I7p´Y q ` dim I7p´Y q. p C q3{p3 C q1{p1 C q2{p2 Case 2. We have 0 ă q , q ă 2gpSq. 1 2 p p p As in case 1, we know that the block B Ă SHIp´Y pKq, ´Γ3q “ SHIp´Y pKq, ´Γ1 q C 2 ´3 ˆ ˙ 7 p p contains all information of I p´Yq1{p1 q, the block K Ăp SHIp´Y pKq, ´Γ3 q “ SHIp´Y pKq, ´Γ2q L ´1 3 ˆ ˙ 7 p p contains all information of I p´Yq2{p2 q, and H I7p´Yp q – Ă SHIp´Y pKq, ´Γ3q. q3{p3 F 3 ˆ ˙ Since q2 ă 2gpSq, we can split Opas p O O “ 1 , O2 ˆ ˙ where O1 is of size q2 and O2 is of size 2gpSq ´ q2. Thus from (4.31), we know that F K “ . O1 L ˆ ˙ ˆ ˙ In particular, we conclude that 7 I p´Yq2{p2 q – O1. Also, since we split I as p I I “ 1 , I2 ˆ ˙ where I1 is of size q1 and I2 is of size 2gpSq ´ q1. We make the following claim.

Claim. The blocks H and O are isomorphic by a grading preserving isomorphism as Z2gpSq graded spaces. 74 ZHENKUN LI AND FAN YE

Before proving the Claim, we first use it to conclude the proof of the proposition. From (4.30), we know that O1 I2 7 H O I p´Y q – “ “ O2 “ B . q3{p3 F F ¨ ˛ ¨ ˛ ˆ ˙ ˆ ˙ F C

Finally, we observe that thep top q2 gradings of the block˝ ‚ ˝ ‚

O1 I2 O2 “ B ¨ F ˛ ¨ C ˛ is ˝ ‚ ˝ ‚ 7 O1 – I p´Yq2{p2 q,

The rest q2 “ q3 ´ q1 gradings is contained in the block p B . C ˆ ˙ 7 Hence it is isomorphic to I p´Yq1{p1 q. Thus, we conclude that dim I7p´Y q “ dim I7p´Y q ` dim I7p´Y q. C p q3{p3 C q1{p1 C q2{p2 It remains to prove Claim. First, note from the computations to derive (4.30), we have a graded exact triangle p p p E / D _

 H which is covered by

µ ψ pq3{p3q 3 ´,2 3 SHIp´Y pKq, ´Γµq / SHIp´Y pKq, ´Γ2q i

ψp3 pq {p q ψ2 pq {p q p ´,µ 3 3 u ´,3 3 3 3 SHIp´Y pKq, ´Γ3q Similarly from the computation to derive (4.31), we have a graded exact triangle p J / G ^

 O which is covered by

´1 ψ pq3{p3q 3 ´,µ 3 SHIp´Y pKq, ´Γ´1q / SHIp´Y pKq, ´Γµq i

p ´2 µ p ψ pq {p q ψ pq3{p3q ´,´1 3 3 u ´,´2 3 SHIp´Y pKq, ´Γ´2q

p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 75

From (4.28) and (4.29), we know that 3 2 3 2 Γµ “ Γ2, and Γ´1 “ Γ3. Thus there is a map 2 p p 3p p 3 ψ´,3pq2{p2q : SHIp´Y pKq, ´Γµq Ñ SHIp´Y pKq, ´Γ´1q, which restricts to a grading-preserving isomorphism by Proposition 4.16 and Lemma 4.18: p p 2 – ψ´,3pq2{p2q : E ÝÑ J. Similarly, from (4.28) and (4.29), we know that 3 1 3 1 Γ2 “ Γ´2, and Γµ “ Γ´1. Thus, there is a map p p p p ´2 3 3 ψ´,´1pq1{p1q : SHIp´Y pKq, ´Γ2q Ñ SHIp´Y pKq, ´Γµq, which restricts to a grading-preserving isomorphism by Proposition 4.16 and Lemma 4.30: p p ´2 – ψ´,´1pq1{p1q : D ÝÑ G. To conclude that H – O, it suffices to show that the following diagram commutes:

µ ψ´,2pq3{p3q E / D

2 ´2 ψ´,3pq2{p2q ψ´,´1pq1{p1q

ψ´1 q p  ´,µp 3{ 3q  J / G which is covered by

µ ψ pq3{p3q 3 ´,2 3 (4.32) SHIp´Y pKq, ´Γµq / SHIp´Y pKq, ´Γ2q

p p 2 ´2 ψ´,3pq2{p2q ψ´,´1pq1{p1q

´1  ψ pq3{p3q  3 ´,µ 3 SHIp´Y pKq, ´Γ´1q / SHIp´Y pKq, ´Γµq 3 This is directly from Corollary 4.40 byp takingµ ˆ “ µ , i “ 2, and j “ ´p1.  5. Some remarks for future directions First, we would like to make comments on the proof of Proposition 3.14. In the proof, we take great effort to pick the arc ζ, which is disjoint from the surface ST and intersects the suture γ once. This ensures the bypass maps shift the gradings, as stated in Lemma 3.18. In the case of a rational homology sphere Y compatible with a Heegaard diagram, we are dealing with a vertical tangle T “ α1 Y ... Y αm in a balanced sutured manifold pY p1q, δq. Since the suture δ is connected, it is easy to pick an ζi for each component αi of T so that each ζi intersects δ once and they are pair-wise disjoint. The cost to pay is that we may no longer be possible to make them disjoint 76 ZHENKUN LI AND FAN YE with the surfaces Si associated to αi. This might make a difference on the proof of Lemma 3.18. However, the authors do not find any essential gaps to conclude Proposition 3.14. Since we choose ζi simultaneously and disjointly, we can deal with all different components of T at the same time. Thus, the following result is expected. Conjecture 5.1. Suppose Y is a rational homology sphere. Then there exists a balanced sutured m handlebody pH, γq and surfaces S1, ..., Sm properly embedded in H. If we consider the Z grading m on SHIp´H, ´γq induced by S1, ..., Sm simultaneously, then there is a finite subset V Ă Z so that I7p´Y q “ SHIp´H, ´γ,~vq. ~vPV à Here SHIp´H, ´γ,~vq denote the sutured instanton Floer homology at the multi-grading ~v P Zm. m Moreover, the data pH, γq, m, S1,..., Sm, and ~v Ă Z all depend only on the homeomorphism type of Y .

Second, there is a possible way to improve the estimate of I7 from the Heegaard diagrams. In Example 3.25, we conclude that 7 dimCI p´Y q ď 10. 3 However, the equality holds only if the map ψ4 in (3.9) is zero. Hence we could possibly improve 3 the bound if we can understand the map ψ4 better. A possible way is to study contact elements. It might be possible to show that the vector space SHIp´H, ´γ3q, or at least a subspace of it, is generated by the contact elements of tight contact structures on pH, γ3q. So if we could understand 3 how the bypass attachment associated to ψ4 changes the contact structures, we might be able to 3 7 understand more about the map ψ4, and hence obtain a more refined bound on dimC I p´Y q.

Third, the proof of Theorem 1.8 can be applied to computations of KHI for more examples. For example, the induction based on anti-waves can be used to give an alternate proof of Theorem 1.4 for (1,1)-L-space knots, namely (1,1)-knots that are also Heegaard Floer L-space knots, whose (1,1)-diagrams have explicit description by the work of Greene, Lewallen, and Vafaee [GLV18]. Sketchily, replace the anti-wave bypass and the bypass exact triangle in case 1 of the proof of Theorem 3.33 by an anti-wave and the surgery exact triangle from Theorem 2.18. Considering the orientations of rainbows, it can be checked that the other two knots in the surgery exact triangle are both (1,1)-L-space knots. Thus, we can prove an inequality about KHI of (1,1)-L-space knots by induction without using the inequality about SHI. The remainder of the proof is the same. The above strategy may work for Floer simple knots admitting doubly-pointed Heegaard di- agrams with the higher genus. However, the essential problem is the existence of the anti-wave bypass. For example, Floer simple knots in strong Heegaard diagrams introduced by Greene and Levine [GL16] are generalizations of simple knots, while the existence of the anti-wave bypass is a nontrivial problem mentioned in [GL16, Section 7].

Fourth, as mentioned in Remark 1.13, it is not known if the decomposition of I7pY q is independent of the choice of K. Explicitly, we have the following conjecture. p Conjecture 5.2. Suppose pY, Kq satisfies the hypothesis of Theorem 1.10. Suppose further that p another knot K1 Ă Y satisfies the similar conditions to those of K, and p p rKs “ rK1s P H pY q. p p 1 p p p p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 77

Then there exists a grading preserving isomorphism 1 I˘pY, Kq – I`pY, K q up to a Zq grading shift, where I` is defined as in Definition 4.23. p p p p The condition in Theorem 1.10 that the boundary of the Seifert surface S of K is connected can be removed by modifying the hypothesis and the statement as follows.

(1) Suppose the order of rKs P H1pY q is a, i.e., a is the minimal positive integerp so that arKs “ 0. Suppose the number of the boundary components of S is b, and λ is a simple closed curve on BY pKq so that BS “ bλp. p (2) Choose another simple closed curve µ on BY pKq so that µ¨λ “ ´1. Suppose the meridian of K hasp homologyp class qµ ` pλ. It can be shown that q is independent of the choice of µ. Indeed, we know that q “ a{b. p p p y y (3) Let definitions of imax and imin in Definition 4.15 be replaced by 1 1 iy “ r pyb ´ χpSqqs, and iy “ r´ pyb ´ χpSqqs. max 2 min 2 (4) All proofs about Theorem 1.10 and Proposition 1.11 apply without change and we will obtain a decomposition associated to K a´1 p I7pY q – I7pY , iq. i“0 à Note in the original statement of Theoremp 1.10, the integerp q is indeed the order of rKs. Moreover, the decomposition in Theorem 1.10 can be generalized to a rationally null-homologous link, i.e., the union of rationally null-homologous knots, to recover more decompositionsp as a can- didate for the counterpart of the torsion spinc decompositions in monopole or Heegaard Floer homology. However, the statement would be much more complicated. We leave the discussion to the future.

Fifth, though we have had a decomposition of I7p´Y q, we do not know if it works well with the 3 3 3 cobordism maps. For example, let K Ă S be a knot and let S´npKq be obtained from S by a 3 3 p´nq-surgery along K. Then there is a natural cobordismp W from S to S´npKq, which induces a cobordism map 7 7 3 7 3 I pW´nq : I p´S´npKqq Ñ I p´S q. Baldwin and Sivek [BS19, Section 7] proved that the cobordism map decomposes in basic classes: 7 7 I pW´nq “ I pW´n, tiq, where ti : H2pW´nq Ñ Z maps the homology class of the surface obtained by capping off of the Seifert surface of K to p2iq. We have the following conjecture, basically saying that the decompo- 7 7 3 sition of the cobordism map I pW´nq is compatible with the decomposition of I p´S´npKqq. Conjecture 5.3. There exists an integer N so that for any integer i P r0, n ´ 1s, under the 7 3 3 7 3 3 identifications I p´S´npKqq – I`p´S´npKq, Kq and I p´S q – I`p´S1{0pKq,Kq, we have 7 7 I pW´n, tiq “ I pW´nq| 3 p I`p´S´npKq,K,N´iq and this cobordism map can be recovered by bypass maps. x 78 ZHENKUN LI AND FAN YE

If the above conjecture holds, based on the bypass maps ˚ 3 3 ψ˘,˚ : I`p´S´npKq, K, iq Ñ I`p´S1{0pKq,K, 0q, it is possible to construct a mapping cone formula similar to the work of Ozsv´athand Szab´o [OS08, OS11] (c.f. Remark 4.53). p

Sixth, from Remark 4.49, we can construct the infinity version of instanton homology KHI8 as the mapping cone of KHI`p´Y, Kq ÝÑB3 KHI´p´Y, Kq in the diagram (4.18). Also, we can define the reduce version KHIred as the image of B3. Alterna- 8 tively, we may construct KHI and KHIredp fromp the spectralp sequencep in Proposition 1.11 and the related filtered chain complex in Remark 4.51. We may induce some properties from the diagram 8 (4.18) and indicate they are counterparts of HFK and HFKred, respectively. However, it is still unknown how to construct a chain complex from p´Y, Kq directly, rather than from its closures, and recover different versions of instanton knot Floer homology. p p ´ 3 Seventh, consider KHI in Definition 4.46, KHI in Definition 2.16, and I`p´S´npKq, Kq in Definition 4.23. Based on Corollary 4.41, Proposition 4.16, and [OSS15, Lemma A.3.10], it is evident that we have the following surgery-type formula. p Conjecture 5.4. For a knot K Ă S3 and n P Z so that n ą 2gpKq, there exists an N P Z so that there exist an exact triangle KHIp´S3, K, iq / KHI´p´S3, K, iq ‘ KHI´p´S3,K, ´iq i

s 3 I`p´S´npKq, K,N ´ iq We write the above as a conjecture because one also has to check that the proof of [OSS15, Lemma p A.3.10] is compatible with the proof of the bypass exact triangle for SHI and the construction of the gradings, which requires some extra work.

Finally, we would like to present an example that the decomposition of I7pY q from Propostion 1.17 is capable of performing some computations. 3 p Example 5.5. Suppose K Ă S is a knot. We adopt the notation Γn in Definition 4.4 to denote sutures consisting of two curves of slope ´n and Γµ to denote two meridians. Pick a minimal genus Seifert surface S of K. If we know that ´2 ď i ď 2 (5.1) SHIp´S3pKq, ´Γ ,Sτ , iq – C µ 0 else " then we can show that K admits an instanton L-space surgery. Note such a knot do exist: the Tp2,5q torus knot, though it is obvious that T2,5 admits a lens space surgery. From (4.25), Proposition 4.16 and Proposition 4.34, we know that 7 4 3 3 I p´S´4pKqq – I´p´S´4pKq, Kq Ă SHIp´S pKq, ´γp´2,9qq. By definition, for i P t0, 1, 2, 3u, we have p 3 3 τ (5.2) I´p´S´4pKq, K, iq – SHIp´S pKq, ´γp´2,9q,S , 2 ´ iq.

p INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 79

3 Hence our goal is to compute SHIp´S pKq, ´γp´2,9qq. From Proposition 4.8, there is a bypass exact 3 triangle relating the sutures γp´2,9q, Γ4 and Γ5. Hence we will first compute SHIp´S pKq, ´Γ4q and 3 SHIp´S pKq, ´Γ5q as follows. First, from (5.1), we know that gpKq “ 2 and K is fibred by Kronheimer and Mrowka [KM10b, KM10a]. Then, the main result of Baldwin and Sivek [BS18] can be restated in terms of KHI´ as follows. Theorem 5.6 (Baldwin and Sivek [BS18]). Suppose K is a non-trivial fibred knot which is not right veering, then ´ 3 KHI p´S , K, gpKqq – C Ă kerpUq. A priori, we do not know if K is right veering or not. However, it is a basic observation that either K or the mirror K¯ is not right veering. Note a surgery of slope r along K¯ can be thought of as a surgery of slope ´r along K in the mirror manifold. Without loss of generality, we can assume that K is not right veering. Thus, ´ 3 (5.3) KHI p´S , K,¯ gpKqq – C Ă kerpUq. Substituting n “ 4, we can apply Proposition 4.16 and compute as follows. Note this time we consider gradings instead of blocks. The number at each grading now denotes the dimension of the corresponding vector space. A letter implies we do not know the precise value.

µ 4 5 ψ`,4 ψ`,5 ψ`,µ grading ´Γµ / ´Γ4 / ´Γ5 / ´Γµ 4 1 1 1 3 1 1 a 1 2 1 a b 1 1 1 b c 1 0 1 c 1 1 ´1 c c ´2 b b ´3 a a ´4 1 1 3 3 The structures of SHIp´S pK¯ q, ´Γ4q and SHIp´S pK¯ q, ´Γ5q can be found in [GLW19, Proposition 3.3]. According to Proposition 4.16, the vector space for Γ4 after the grading shift in the above computation is 3 τ SHIp´S pK¯ q, ´Γ4,S qr´1s. From [Li19, Section 5], we know for i ě ´1 that ´ 3 3 τ KHI p´S , K,¯ iq – SHIp´S pK¯ q, ´Γ4,S , i ` 1qr´1s. 4 Moreover, the U (“ U´) map on these gradings are also identified with ψ`,5. From (5.3), we know that 4 3 τ ψ`,5|SHIp´S pK¯ q,´Γ4,S ,3qr´1s “ 0. Hence a “ 0, which implies b “ 1 by the exactness. Although we do not know the value of c, it 3 would not be a problem. The computation for SHIp´S pKq, ´γp´2,9qq is presented as follows. 80 ZHENKUN LI AND FAN YE

5 5 5 ψ`,4 ψ`,9{2 ψ`,µ grading ´Γ5 / ´Γ4 / ´γp´2,9q / ´Γ5 6 1 1 1 5 0 0 0 4 1 1 1 3 c c c 2 1 1 1 1 c 1 d c 0 1 0 1 1 ´1 0 1 1 0 ´2 1 c e 1 ´3 c c ´4 1 1 ´5 0 0 ´6 1 1 In the above computation, it is clear that for i P t´1, 0, 2u, 3 SHIp´S pKq, ´γp´2,9q,Sτ , iq – C. ˚ ˚ We can also compute using ψ´,˚ instead of ψ`,˚, which will show that 3 SHIp´S pKq, ´γp´2,9q,Sτ , 1q – C. 7 3 4 3 Hence we conclude from (5.2) that I p´S´4pKqq – C , i.e., S´4pKq is an instanton L-space.

Remark 5.7. Using τI defined as in Definition 4.54, it is possible to show c “ 0. Remark 5.8. The same technique can also be used to prove the following statement. Suppose K Ă S3 is a knot so that for any i P Z, we have 3 3 KHIpS , K, iq – KHIpS ,Tp4,5q, iq, then K admits an L-space surgery. Here Tp4,5q is the p4, 5q-torus knot.

References [ABDS20] Antonio Alfieri, John Baldwin, Irving Dai, and Steven Sivek. Instanton Floer homology of almost-rational plumbings. ArXiv: 2010.03800, 2020. [Blo09] Jonathan Bloom. A link surgery spectral sequence in monopole Floer homology. Ad- vances in Mathematics, 226(4):3216–3281, 2009. [BS15] John Baldwin and Steven Sivek. Naturality in sutured monopole and instanton homol- ogy. J. Differential Geom., 100(3):395–480, 2015. [BS16a] John Baldwin and Steven Sivek. A contact invariant in sutured monopole homology. Forum Math. Sigma, 4:e12, 82, 2016. [BS16b] John Baldwin and Steven Sivek. Instanton Floer homology and contact structures. Selecta Math. (N.S.), 22(2):939–978, 2016. [BS18] John Baldwin and Steven Sivek. Khovanov homology detects the trefoils. ArXiv:1801.07634, v1, 2018. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 81

[BS19] John Baldwin and Steven Sivek. Instanton and L-space surgeries. ArXiv:1910.13374, v1, 2019. [BS20] John Baldwin and Steven Sivek. Framed instanton homology and concordance. ArXiv:2004.08699, v2, 2020. [CGH11] Vincent Colin, Paolo Ghiggini, and Ko Honda. Equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions. Proc. Natl. Acad. Sci. USA, 108(20):8100–8105, 2011. [CGHH10] Vincent Colin, Paolo Ghiggini, Ko Honda, and Michael Hutchings. Sutures and contact homology I. Geom. Topol., 15(3):1749–1842, 2010. [DS19] Aliakbar Daemi and Christopher Scaduto. Equivariant aspects of singular instanton Floer homology. ArXiv:1912.08982, 2019. [Flo88] Andreas Floer. An instanton-invariant for 3-manifolds. Comm. Math. Phys., 118(2):215– 240, 1988. [Flo90] Andreas Floer. Instanton homology, surgery, and knots. In Geometry of low-dimensional manifolds, 1 (Durham, 1989), volume 150 of London Math. Soc. Lecture Note Ser., pages 97–114. Cambridge Univ. Press, Cambridge, 1990. [Gab83] David Gabai. Foliations and the topology of 3-manifolds. J. Differential Geom., 18(3):445–503, 1983. [GL16] Joshua Greene and Adam Levine. Strong Heegaard diagrams and strong L–spaces. Algebr. Geom. Topol., 16(6):3167–3208, 2016. [GL19] Sudipta Ghosh and Zhenkun Li. Decomposing sutured monopole and instanton Floer homologies. ArXiv:1910.10842, v2, 2019. [GLV18] Joshua Greene, Sam Lewallen, and Faramarz Vafaee. (1,1) L-space knots. Compos. Math., 154(5):918–933, 2018. [GLW19] Sudipta Ghosh, Zhenkun Li, and C.-M. Michael Wong. Tau invariants in monopole and instanton theories. ArXiv:1910.01758,v3, 2019. [GMM05] Hiroshi Goda, Hiroshi Matsuda, and Takayuki Morifuji. Knot Floer homology of (1,1)- knots. Geometriae Dedicata, 112(1):197–214, 2005. [HHK14] Matthew Hedden, Christopher Herald, and Paul Kirk. The pillowcase and perturbations of traceless representations of knot groups. Geom. Topol., 18(1):211–287, 2014. [HKM08] Ko Honda, William H. Kazez, and Gordana Mati´c. Contact structures, sutured Floer homology and TQFT. ArXiv:0807.2431, 2008. [Hon00] Ko Honda. On the classification of tight contact structures. I. Geom. Topol., 4:309–368, 2000. [Hon02] Ko Honda. Gluing tight contact structures. Duke Math. J., 115(3):435–478, 2002. [HRW16] Jonathan Hanselman, Jacob Rasmussen, and Liam Watson. Bordered Floer homology for manifolds with torus boundary via immersed curves. ArXiv:1604.03466, 2016. [HRW18] Jonathan Hanselman, Jacob Rasmussen, and Liam Watson. Heegaard Floer homology for manifolds with torus boundary: properties and examples. ArXiv:1810.10355, 2018. [Hut10] Michael Hutchings. Embedded contact homology and its applications. In Proceedings of the International Congress of Mathematicians 2010, ICM 2010, pages 1022–1041, 2010. [JTZ12] Andr´asJuh´asz, Dylan Thurston, and Ian Zemke. Naturality and mapping class groups in Heegaard Floer homology. ArXiv:1210.4996, 2012. [Juh06] Andr´asJuh´asz. Holomorphic discs and sutured manifolds. Algebr. Geom. Topol., 6:1429–1457, 2006. 82 ZHENKUN LI AND FAN YE

[Juh08] Andr´asJuh´asz.Floer homology and surface decompositions. Geom. Topol., 12(1):299– 350, 2008. [JZ12] Andr´asJuh´aszand Ian Zemke. Contact handles, duality, and sutured Floer homology. ArXiv:1803.04401, 2012. [Kav19] Nithin Kavi. Cutting and gluing surfaces. ArXiv:1910.11954, 2019. [KLT10a] C¸a˘gatay Kutluhan, Yi-Jen Lee, and Clifford Taubes. HF=HM I: Heegaard Floer ho- mology and Seiberg-Witten Floer homology. ArXiv:1007.1979, 2010. [KLT10b] C¸a˘gatay Kutluhan, Yi-Jen Lee, and Clifford Taubes. HF=HM II: Reeb orbits and holomorphic curves for the ech/Heegaard Floer correspondence. ArXiv:1008.1595, 2010. [KLT10c] C¸a˘gatay Kutluhan, Yi-Jen Lee, and Clifford Taubes. HF=HM III: Holomorphic curves and the differential for the ech/Heegaard Floer correspondence. ArXiv:1010.3456, 2010. [KLT11] C¸a˘gatay Kutluhan, Yi-Jen Lee, and Clifford Taubes. HF=HM IV: The Seiberg-Witten Floer homology and ech correspondence. ArXiv:1107.2297, 2011. [KLT12] C¸a˘gatay Kutluhan, Yi-Jen Lee, and Clifford Taubes. HF=HM V: Seiberg-Witten Floer homology and handle addition. ArXiv:1204.0115, 2012. [KM07] Peter Kronheimer and Tomasz Mrowka. Monopoles and three-manifolds, volume 10 of New Mathematical Monographs. Cambridge University Press, Cambridge, 2007. [KM10a] Peter Kronheimer and Tomasz Mrowka. Instanton Floer homology and the Alexander polynomial. Algebr. Geom. Topol., 10(3):1715–1738, 2010. [KM10b] Peter Kronheimer and Tomasz Mrowka. Knots, sutures, and excision. J. Differential Geom., 84(2):301–364, 2010. [KM11a] Peter Kronheimer and Tomasz Mrowka. Khovanov homology is an unknot-detector. Publ. Math. Inst. Hautes Etudes´ Sci., 113:97–208, 2011. [KM11b] Peter Kronheimer and Tomasz Mrowka. Knot homology groups from instantons. J. Topol., 4(4):835–918, 2011. [KM14] Peter Kronheimer and Tomasz Mrowka. Filtrations on instanton homology. Quantum Topol., 5(1):61–97, 2014. [KMOS07] Peter Kronheimer, Tomasz Mrowka, Peter Ozsv´ath,and Zolt´anSzab´o.Monopoles and lens space surgeries. Ann. of Math. (2), 165(2):457–546, 2007. [KST13] C¸a˘gatay Kutluhan, Steven Sivek, and Clifford Taubes. Sutured ECH is a natural in- variant. ArXiv:1312.3600, 2013. [Li18] Zhenkun Li. Gluing maps and cobordism maps for sutured monopole Floer homology. ArXiv:1810.13071, v3, 2018. [Li19] Zhenkun Li. Knot homologies in monopole and instanton theories via sutures. ArXiv:1901.06679, v6, 2019. [Lim09] Yuhan Lim. Instanton homology and the Alexander polynomial. ArXiv:0907.4185, v2, 2009. [LPCS20] Tye Lidman, Juanita Pinz´on-Caicedo,and Christopher Scaduto. Framed instanton homology of surgeries on L-space knots. ArXiv:2003.03329, v1, 2020. [LY] Zhenkun Li and Fan Ye. Contact structures, Heegaard Floer homology and triangulated categories. In preparation. [LZ20] Andrew Lobb and Raphael Zentner. On spectral sequences from Khovanov homology. Algebr. Geom. Topol., 20(2):531–564, 2020. [Mos71] Louise Moser. Elementary surgery along a torus knot. Pacific J. Math., 38:737–745, 1971. [Ni07] Yi Ni. Knot Floer homology detects fibred knots. Invent. Math., 170(3):577–608, 2007. INSTANTON FLOER HOMOLOGY, SUTURES, AND HEEGAARD DIAGRAMS 83

[OS04a] Peter Ozsv´athand Zolt´anSzab´o.Holomorphic disks and knot invariants. Adv. Math., 186(1):58–116, 2004. [OS04b] Peter Ozsv´athand Zolt´anSzab´o. Holomorphic disks and topological invariants for closed three-manifolds. Ann. of Math. (2), 159(3):1027–1158, 2004. [OS05] Peter Ozsv´athand Zolt´anSzab´o. On knot Floer homology and lens space surgeries. Topology, 44:1281–1300, 2005. [OS08] Peter Ozsv´athand Zolt´anSzab´o.Knot Floer homology and integer surgeries. Algebr. Geom. Topol., 8(1):101–153, 2008. [OS11] Peter Ozsv´athand Zolt´anSzab´o.Knot Floer homology and rational surgeries. Algebr. Geom. Topol., 11(1):1–68, 2011. [OSS15] Peter Ozsv´ath,Andr´asStipsicz, and Zolt´anSzab´o. Grid homology for knots and links, volume 208 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2015. [Ozb11] Burak Ozbagci. Contact handle decompositions. Topol. Appl., 158(5):718–727, 2011. [Ras03] Jacob Rasmussen. Floer homology and knot complements. ArXiv:math/0306378, 2003. [Ras05] Jacob Rasmussen. Knot polynomials and knot homologies. ArXiv:math/0504045, 2005. [Ras07] Jacob Rasmussen. Lens space surgeries and L-space homology spheres. ArXiv:0710.2531, 2007. [RR17] Jacob Rasmussen and Sarah Rasmussen. Floer simple manifolds and L-space intervals. Adv. Math., 322:738–805, 2017. [Sca15] Christopher Scaduto. Instantons and odd Khovanov homology. J. Topol., 8(3):744–810, 2015. [SS18] Christopher Scaduto and Matthew Stoffregen. Two-fold quasi-alternating links, Kho- vanov homology and instanton homology. Quantum Topol., 9(1):167–205, 2018. [Tau10a] Clifford Taubes. Embedded contact homology and Seiberg-Witten Floer cohomology I. Geom. Topol., 14(5):2497–2581, 2010. [Tau10b] Clifford Taubes. Embedded contact homology and Seiberg-Witten Floer cohomology II. Geom. Topol., 14(5):2583–2720, 2010. [Tau10c] Clifford Taubes. Embedded contact homology and Seiberg-Witten Floer cohomology III. Geom. Topol., 14(5):2721–2817, 2010. [Tau10d] Clifford Taubes. Embedded contact homology and Seiberg-Witten Floer cohomology IV. Geom. Topol., 14(5):2819–2960, 2010. [Tau10e] Clifford Taubes. Embedded contact homology and Seiberg-Witten Floer cohomology V. Geom. Topol., 14(5):2961–3000, 2010. [Wan20] Joshua Wang. The cosmetic crossing conjecture for split links. ArXiv:200601070, v1, 2020. [XZ19] Yi Xie and Boyu Zhang. Instanton Floer homology for sutured manifolds with tangles. ArXiv:1907.00547, v2, 2019. [Ye20] Fan Ye. Constrained knots in lens spaces. ArXiv:2007.04237, 2020.

Email address: [email protected]

Email address: [email protected]