Arxiv:2008.06921V3 [Math.GT] 17 Feb 2021
Total Page:16
File Type:pdf, Size:1020Kb
SLICE-TORUS LINK INVARIANTS, COMBINATORIAL INVARIANTS, AND POSITIVITY CONDITIONS. CARLO COLLARI ABSTRACT. We prove some necessary conditions for a link to be either concordant to a quasi-positive link, quasi-positive, positive, or the closure of a positive braid. The main applications of our results are a characterisation of positive links with unlinking number 1 and 2, and a combinatorial criterion to test if a positive link is the closure of a positive braid. Finally, we compile a table of all positive and positive-braid prime links with less than 8 crossings. 1. INTRODUCTION In this note we study slice-torus and combinatorial invariants of multi-component links – as opposed to knots – in S3 satisfying various positivity conditions. The aim of this note is dual; the first goal is to provide a necessary condition for a link to be concordant to a quasi-positive link, and compare it to other known obstructions. The second goal is to investigate certain combinatorial invariants of quasi-positive, positive and positive-braid links, providing obstructions for a link to fall in one of the aforementioned classes. As applications we give a characterisation of positive links with unlinking number 1 and 2, and a combinatorial criterion to test if a positive link is the closure of a positive braid. Finally, we compile a table of all positive and positive-braid prime links with less than 8 crossings. In what follows all manifolds and sub-manifolds are smooth and oriented, and bound- aries are endowed with the induced orientation. 1.1. Concordance to quasi-positive links. A link is a 1-dimensional closed sub-manifold of the 3-sphere S3, and a knot is a connected link. The letter L will be reserved for links, whereas the letter K will be reserved for knots. Two links are equivalent up to orientation- preserving ambient isotopy. As customary in the literature, we shall abuse the notation and make no difference between a link and its equivalence class. Quasi-positive links are a special family of links which sits in the intersection between knot theory and the theory of complex curves in C2. More precisely, quasi-positive link arXiv:2008.06921v3 [math.GT] 17 Feb 2021 are those links obtained as the transverse intersection of a complex curve in C2 with S3 = f(w; z) 2 C2 j jwj2 +jzj2 = 1g – see [4, 37]. This hints to the fact that quasi-positive links should have special properties with respect to concordance. Definition 1.1. Let L0 and L1 be two `-component links. Then, L0 and L1 are concordant 3 if there exists properly embedded disjoint annuli A1 t ::: t A` ⊂ S × [0; 1], such that both 3 3 Ai \ S × f0g and Ai \ S × f1g are non-empty for each i, and 3 3 ∗ (A1 [ ::: [ A`) \ S × f0g = L0; and (A1 [ ::: [ A`) \ S × f1g = rL1; where rL denotes the link L with its orientation reversed, and L∗ denotes the image of L under an orientation reversing diffeomorphism of S3. A link concordant to an unlink is called (strongly) slice. 1 2 CARLO COLLARI If one considers topologically locally flat embeddings instead of smooth embeddings, quasi-positive links do not present any special properties; in fact, every link is topologically locally flat concordant to a (strongly) quasi-positive link [8]. It follows that all concordance invariants which are also invariant under topological locally flat concordance cannot detect quasi-positive links. In particular, the linking matrix and, more generally, all classical con- cordance invariants obtained from the Seifert form, such as the Levine-Tristram signatures, fail to distinguish these links – cf. [38, 39]. The situation is different if one looks from the smooth perspective. First, we recall that slice-torus link invariants are a special class of R-valued concordance invariants of links, which vanish on unlinks – see [13] for the precise definition. Prominent examples of slice-torus link invariants are the Ozsváth-Szabó-Rasmussen τ-invariant [11, 33, 36], and (a re-scaling of) the Rasmussen s-invariant [5, 35]. It is known that the slice-torus link invariants provide an obstruction to being concordant to a quasi-positive link; indeed, it follows from [13, Theorem 3.2] (see [10, 27], and references therein, for knots, and special slice-torus link invariants) that: if L is an `-component link concordant to a quasi-positive link, and ν is a slice-torus invariant, then (1.1) 2ν(L) − ` = −χ4(L); where χ4 is the (smooth) slice Euler characteristic, that is 4 4 χ4(L) = maxfχ(Σ) j Σ ⊂ D compact surface with no closed components;@Σ = Σ\@D = Lg: An immediate consequence of (1.1) is that there are links which are not concordant to any quasi-positive link, eg. the figure-eight knot 41 is such that ν(41) = 0, and −χ4(41) = 1 [25]. While there are some results for special classes of links including knots, to the best of the author’s knowledge (1.1) is the only known general obstruction to being concordant to a quasi-positive link. Remark 1.2. To be fair, there is another general obstruction to being concordant to a quasi-positive link. This obstruction is stated in terms of the Hom-Wu invariant ν+ [12, 23] – which is not a slice-torus link invariant. Concretely, it follows from [12, Proposition 1.6] (cf. [23, Proposition 3] for knots) that if L is concordant to a quasi-positive link, then + 2ν (L) − ` = −χ4(L) However, this obstruction is strictly weaker than Equation (1.1) specialised to the case ν = τ [12, 23]. In this note we provide a new obstruction to being concordant to a quasi-positive link based on the slice-torus link invariants and linking numbers. Theorem 1.3. Let L be a link, and let ν be a slice-torus link invariant. If L is concordant to a quasi-positive link, then k X X (1.2) ν(L) − ν(Li) ≤ `k(Li;Lj); i=1 i<j for each partition of L into sub-links L1; :::; Lk. Note that Theorem 1.3 poses constraints on the linking matrix of a quasi-positive link in terms of its sub-links. This is slightly surprising for two reasons; first, as we mentioned above, all linking matrices can be realised by quasi-positive links. Second, all links arise as sub-links of a quasi-positive link by adding a single unknotted component. Since we SLICE-TORUS INVARIANTS, COMBINATORIAL INVARIANTS AND POSITIVITY 3 were unable to find a proof of this fact, which is well-known two experts, we included one in Appendix A. Going back to our result, we note that the obstructions provided by Theorem 1.3 and by (1.1) are independent. First, we give an example where (1.1) provides a stronger obstruction than Theorem 1.3. Recall that L is the split union of L1; :::; Lk, we write L = L1 t · · · t Lk, if L = L1 [ :::: [ Lk and the Li’s are separated by embedded copies of S2. Example 1.4. Slice-torus link invariants are additive under split union [13, Definition 2.1 (B)]. Thus, the split union of a figure-eight knot and an unlink does not satisfy (1.1), but satisfies (1.2). On the other hand, we use Theorem 1.3 to prove the following result. Theorem 1.5. Denote by L(k) the two-bridge link in Figure 1. For all k 2 N, and any slice-torus link invariant ν, we have 2ν(L(k)) − 2 = −χ4(L(k)) = 2k − 2: However, L(k) is not concordant to any quasi-positive link for all k ≥ 1. In particular, the Whitehead link L(1) is not concordant to any quasi-positive link. Proof. Using the diagram D(k) in Figure 1, and [13, Theorem 1.3] (cf. Proposition 2.4), one can compute ν(L(k)) = k. Now, a quick inspection of D(k) shows that L(k) can be unlinked with k crossing changes on a single component (cf. [14, Proposition 2.7]), therefore −χ4(L(k)) ≤ 2k −2. Since 2ν(L)−` ≤ −χ4(L), by [13, Proposition 2.11], we obtain the desired equality. Finally, L(k) has two trivial components with linking number zero. The result follows directly from Theorem 1.3. k k FIGURE 1. The diagram D(k) for the link L(k). The boxes denote k positive full-twists. We conclude the first part of the paper by studying the concordance self-linking num- ber slc. We shall be more precise in Section 2, but we briefly recall the definitions and some properties of slmax and slc. Each link can be represented non-uniquely as a closed braid [2], and to each braid β is associated its self-linking number sl(β) 2 Z. However, this number depends on the braid used to represent the given link. To obtain a link invariant and a concordance invariant, respectively, one can define slmax(L) = maxfsl(β) j the closure of β is Lg; and slc(L) = maxfsl(β) j the closure of β is concordant to Lg: Rudolph’s slice-Bennequin inequality [41] tells us that, for each braid β representing a link L, we have sl(β) ≤ −χ4(L): 4 CARLO COLLARI It follows that both slmax and slc are finite numbers. Furthermore, the slice-Bennequin inequality is sharp for quasi-positive braids [41, Section 3]. Hence, if L is either a quasi- positive link, or is concordant to a quasi-positive link, then slmax(L) = −χ4(L), or slc(L) = −χ4(L), respectively. The slice-Bennequin inequality can be refined to a slice-torus Bennequin inequality; that is, for each `-component link L, and each slice-torus link invariant ν, we have slmax(L) ≤ slc(L) ≤ 2ν(L) − ` ≤ −χ4(L): The first inequality is trivial.