Contact (+1)surgeries along Legendrian Twocomponent Links
Abstract.
In this paper, we prove that the contact OzsváthSzabó invariant of a contact 3manifold vanishes if it can be obtained from the standard contact 3sphere by contact surgery along a Legendrian twocomponent link with the linking number of and being nonzero and satisfying . As a corollary, the contact OzsváthSzabó invariant of the contact 3manifold obtained from the tight contact by contact surgery along a homologically essential Legendrian knot vanishes for any positive integer . We also prove that the contact OzsváthSzabó invariant of a contact 3manifold vanishes if it can be obtained from the standard contact by contact surgery along a Legendrian Whitehead link. In addition, we give a sufficient condition for the contact 3maniold obtained from the standard contact 3sphere by contact surgery along a Legendrian twocomponent link being overtwisted.
2000 Mathematics Subject Classification:
1. Introduction
A contact structure on a smooth oriented 3manifold is a smooth tangent 2plane field such that any smooth 1form locally defining as satisfies the condition . A contact structure is coorientable if and only if there is a global 1form with . Throughout this paper, we will assume our 3manifolds are oriented, connected and our contact structures are cooriented. A contact structure on is called overtwisted if one can find an embedded disc in such that the tangent plane field of along its boundary coincides with ; otherwise, it is called tight. Any closed oriented 3manifold admits an overtwisted contact structure (cf. [ge]). It is much harder to find tight contact structures on a closed oriented 3manifold. The following question is still open: Which closed oriented 3manifolds admit tight contact structures?
One way of obtaining new contact manifolds from the existing one is through contact surgery. Suppose is a Legendrian knot in a contact 3manifold , i.e., is tangent to the given contact structure on . Contact surgery is a version of Dehn surgery that is adapted to the contact category. Roughly speaking, we delete a tubular neighborhood of , then reglue it, and obtain a contact structure on the surgered manifold by extending from the complement of the tubular neighborhood of to a tight contact structure on the reglued solid torus (see [dg] for details). In [dg], the first author and Geiges proved that every closed contact 3manifold can be obtained by contact surgery along a Legendrian link in , where denotes the standard contact structure on .
Heegaard Floer theory associates an abelian group to a closed, oriented Spin 3manifold , and a homomorphism
to a Spin cobordism between two Spin 3manifolds and . Write for the direct sum over all Spin structures on and for the sum over all Spin structures on . Throughout this paper, we work with the Heegaard Floer homology with coefficients in . In [OSzContact], Ozsváth and Szabó introduced an invariant for any closed contact 3manifold . We call it the contact OzsváthSzabó invariant, or simply the contact invariant of . It is shown that if is overtwisted [OSzContact], and if is strongly symplectically fillable [gh]. If the contact manifold is obtained from by contact surgery along a Legendrian knot , then we have
(1.1) 
where stands for the cobordism induced by the surgery with reversed orientation. This functorial property of the contact invariant can be proved by an adaption of [OSzContact, Theorem 4.2] (cf. [ls2, Theorem 2.3]).
It is natural to ask whether the contact invariant of a contact 3manifold obtained by contact surgery along a Legendrian link is trivial or not. Here, contact surgery along a Legendrian link means contact surgery along each component of the Legendrian link. Most known results concern contact surgeries along Legendrian knots. In [ls], Lisca and Stipsicz showed that contact surgeries along certain Legendrian knots in yield contact 3manifolds with nonvanishing contact invariants for any positive integer . In [g], Golla considered contact 3manifolds obtained from by contact surgeries along Legendrian knots, where is any positive integer. He gave a necessary and sufficient condition for the contact invariant of such a contact 3manifold to be nonvanishing. In [mt], Mark and Tosun extended Golla’s result to contact surgeries, where is rational.
In this paper, we study contact surgeries along Legendrian twocomponent links in . Our main result is:
Theorem 1.1.
Suppose is a Legendrian twocomponent link in the standard contact 3sphere whose two components have nonzero linking number. Assume satisfies , where denotes the mirror of . Then contact surgery on along yields a contact 3manifold with vanishing contact invariant.
The main tool for proving this theorem is a link surgery formula for the Heegaard Floer homology of integral surgeries on links developed by Manolescu and Ozsváth [mo]. Here, is a numerical invariant defined by Hom and the third author in [HW] based on work of Rasmussen [Ras]. It is shown in [h, Proposition 3.11] that a knot satisfies the condition if and only if we have a filtered chain homotopy equivalence
(1.2) 
where denotes the unknot and is acyclic, i.e., . Applying (1.2) enables us to treat effectively like the unknot in the proof of Theorem 1.1.
Example 1.2.

The most basic examples are the slice knots.
We are particularly interested in Legendrian slice knots with ThurstonBennequin invariant , as contact surgeries along these knots result in contact 3manifolds with nonvanishing contact invariants [g]. Nontrivial knot types of smoothly slice knots with at most 10 crossings that have Legendrian representatives with ThurstonBennequin invariant are (the mirror of ) and [cns]. Moreover, recall that , where denotes the Legendrian connected sum of the Legendrian knots and [eh]. By performing Legendrian connected sums, we obtain infinitely many Legendrian slice knots which have ThurstonBennequin invariant equal to .
In Figures 1, 2 and 3 below, we give several Legendrian twocomponent links in that include a Lengendrian unknot and a Legendrian knot of type , respectively. Note that one obtains nonvanishing contact invariant after performing contact surgery along each knot component of the depicted links. On the other hand, Theorem 1.1 implies that contact surgeries along these links result in contact 3manifolds with vanishing contact invariants. It will be shown in Examples 1.8 and 1.10 that contact surgeries along Legendrian twocomponent links in Figures 1 and 2 yield overtwisted contact 3manifolds. It is still unknown whether the contact 3manifold obtained by contact surgery along the Legendrian link in Figure 3 is overtwisted or tight.

More generally, all rationally slice knots satisfy [KW, Theorem 1.10].
Recall that a knot is rationally slice if there exists an embedded disk in a rational homology ball such that . Examples of rationally slice knots include strongly amphicheiral knots and Miyazaki knots, i.e., fibered, amphicheiral knots with irreducible Alexander polynomial [KW]. In particular, the figureeight knot is rationally slice but not slice.
Example 1.3.
Let be a Legendrian link in . Suppose is a Legendrian unknot with , and is a meridional curve of . Then, by Theorem 1.1, contact surgery along yields a contact structure on with vanishing contact invariant. Hence by the classification of tight contact structures on [e0] and , the contact 3manifold is overtwisted.
In the special case of Theorem 1.1 where is a Legendrian unknot with ThurstonBennequin invariant , contact surgery on along yields the unique (up to isotopy) tight contact structure on . Hence, in this case, we may interpret the theorem as a result of contact surgery along a Legendrian knot in . More generally, we have the following corollary.
Corollary 1.4.
Suppose is a Legendrian knot in , the contact connected sum of copies of . If is not nullhomologous, then contact surgery on along yields a contact 3manifold with vanishing contact invariant for any positive integer .
We also consider contact 3manifolds obtained by contact surgeries along Legendrian twocomponent links in whose two components have linking number zero. There are examples of such contact 3manifolds whose contact invariants do not vanish.
Example 1.5.

Contact surgery on along the Legendrian twocomponent unlink whose two components both have ThurstonBennequin invariant yields the contact 3manifold with nonvanishing contact invariant.

[ozst, Exercise 12.2.8(c)] provides examples of Legendrian twocomponent links in by removing one of the two Legendrian unknot components in [ozst, Figure 12.4] along which contact surgeries yield contact 3manifolds with nonvanishing contact invariants. One of the resulted contact surgery diagrams can be transformed to Figure 4 by Legendrian Reidemeister moves. One should be careful that there is a wrong crossing in [ozst, Figure 12.4].
Consider contact 3manifolds obtained from by contact surgeries along Legendrian Whitehead links. To the best of our knowledge, the contact invariants and tightness of such manifolds have not been explicitly given in the literature.
Proposition 1.6.
Contact surgery on along a Legendrian Whitehead link yields a contact 3manifold with vanishing contact invariant.
In light of the above vanishing results in Theorem 1.1 and Proposition 1.6, one may wonder whether the contact manifolds studied there are tight or not. Although we have not yet been fully successful in answering this question, we came up with the following sufficient condition for contact surgeries yielding overtwisted contact 3manifolds. Note that this theorem is irrelevant to the linking number of the two components of the Legendrian link along which we perform contact surgery. It is inspired by the work of Baker and Onaran [bo, Proposition 4.1.10].
Theorem 1.7.
Suppose there exists a front projection of a Legendrian twocomponent link in the standard contact 3sphere that contains one of the configurations exhibited in Figure 5, then contact surgery on along yields an overtwisted contact 3manifold.
Example 1.8.
We can transform the four configurations in Figure 5 to that in Figure 7 through Legendrian Reidemeister moves. So we have the following corollary.
Corollary 1.9.
Suppose there exists a front projection of a Legendrian twocomponent link in the standard contact 3sphere that contains one of the configurations exhibited in Figure 7, then contact surgery on along yields an overtwisted contact 3manifold.
Example 1.10.
In Figure 8, and are parts of and , respectively. Contact surgery along the Legendrian link in the left of Figure 8 yields an overtwisted contact 3manifold. This is because we can transform the Legendrian link in the left of Figure 8 to that in the right of Figure 8 which contains the configuration in Figure 7(a) through Legendrian Reidemeister moves. It follows that contact surgery along the Legendrian link in Figure 2 yields an overtwisted contact 3manifold.
The remainder of this paper is organized as follows. In Section 2, we review basic properties of the contact invariant. We also reformulate the statement of Golla concerning the conditions under which contact surgery along a Legendrian knot yields a contact 3manifold with nonvanishing contact invariant. In Section 3, we go through the construction of the link surgery formula of Manolescu and Ozsváth in the special case of twocomponents links. We elaborate on the page of an associated spectral sequence and identify the relevant maps in the differential with the wellknown and in the knot surgery formula of Ozsváth and Szabó [OSzSurgery]. In Section 4, we analyze the page and give a proof of Theorem 1.1 based on diagram chasing. This idea is partly inspired by the work of Hom and Lidman [HL], and also constitutes the most novel part of our paper. Due to some technical issues, the above argument does not apply to the linking number 0 case, so in Section 5, we use a different machinery in Heegaard Floer homology, namely, the grading to prove Proposition 1.6. Finally in Section 6, we prove Theorem 1.7 and Corollary 1.9.
Acknowledgements.
The authors would like to thank Ciprian Manolescu, Tye Lidman, Jen Hom, Faramarz Vafaee, Eugene Gorsky and John Etnyre for helpful discussions and suggestions. Part of this work was done while the second author was visiting The Chinese University of Hong Kong, and he would like to thank for its generous hospitality and support. The first author was partially supported by Grant No. 11371033 of the National Natural Science Foundation of China. The second author was partially supported by Grant No. 11471212 of the National Natural Science Foundation of China. The third author was partially supported by grants from the Research Grants Council of the Hong Kong Special Administrative Region, China (Project No. 14301215).
2. Preliminaries on contact invariants
Let be an oriented Legendrian twocomponent link in . Suppose is the linking number of and . The result of contact surgery along is denoted by , where
is the topological surgery framing matrix.
Let be the cobordism from to induced by the surgery, and be with reversed orientation. One has the contact invariant
and
where is the mirror of . We have a map
From the functoriality (1.1) and the composition law [OSzFour, Theorem 3.4], we see that
(2.3) 
In [g], Golla investigated the contact invariant of a contact manifold given by contact surgery along a Legendrian knot in . In particular, by [g, Theorem 1.1], the contact 3manifold obtained by contact surgery along the Legendrian knot () in has nonvanishing contact invariant if and only if satisfies the following three conditions:
(2.4) 
(2.5) 
(2.6) 
Hence, if either or does not satisfy one of these three conditions, then it follows readily from the functoriality (1.1) that the contact invariant must vanish as well.
Remark 2.1.
There exists a twocomponent link such that the knot type of each component has a Legendrian representative satisfying the above three conditions, but the link type of this twocomponent link has no Legendrian representative with both two components satisfying the above three conditions simultaneously [e, Section 5.6].
3. Link surgery formula for twocomponent links
In this section, we recall the link surgery formula for twocomponent links developed in [mo]. The link surgery formula is a generalization of the knot surgery formula given by Ozsváth and Szabó [OSzSurgery][OSzRatSurg]. The idea is to compute the Heegaard Floer homology of a 3manifold obtained by surgery along a knot in terms of the mapping cone of the knot Floer complex, and more generally surgery along a link in terms of the hyperbox of the link surgery complex. In addition, the cobordism map is realized as the induced map of the inclusion of complexes in the system of hyperboxes [mo, Theorem 14.3].
We go over the construction for twocomponent links. Suppose is an oriented link with two components and , and the linking number of and is . Suppose the topological surgery framing matrix is
We will see the computation of .
Definition 3.1.
Let The affine lattice over is defined by
The elements of correspond to Spin structures on relative to .
Similarly, let . The elements of correspond to Spin structures on relative to for . Furthermore, let and represent the component with the given and opposite orientation, respectively. If is or where is or for , we can define
where is the other component of . One caveat is that is independent of for .
Now we consider Spin structures on . Let be the (possibly degenerate) sublattice of generated by the two columns of . We denote the quotient of in by . For any , there is a standard way of associating an element . This gives an identification of the set with .
Fix . Manolescu and Ozsváth constructed a hyperbox of complexes which is a twisted gluing of the following four squares of chain complexes: