We generalize a theorem of Finkelstein and Moriah and show that if a link L has a 2n-plat projection satisfying certain conditions, then its cornplement contains some closed essential surfaces. In most cases these surfaces remain essential after any totally nontrivial surgery on L. A link L in S3 has a 2n-plat projection for some n, as shown in Figure 1, where a box on the i-th row and j-th column consists of 2 vertical strings with an aij left-hand half twist; in other words, it is a rational tangle of slope 1/aij. See for example [BZ]. Let n be the number of boxes in the even rows, so there are n 1 boxes in the odd rows. Let m be the number of rows in the diagram. It was shown by Finkelstein and Moriah [FMi], [FM2] that if n > 3, m > 5, and if laijI > 3 for all i, j, then the link exterior E(L) = S3 IntN(L) contains some essential planar surfaces, which can be tubed on one side to obtain closed incompressible surfaces in E(K). In this note we will prove a stronger version of this theorem, showing that E(L) contains some essential surfaces if n > 3, the boxes at the two ends of the odd rows have IaijI > 3, and aij 0 for the boxes which are not on the ends of the rows. We allow aij = 0 for boxes at the ends of the even rows, and there is no restriction on m, the number of rows in the diagram. The argument here provides a much simpler proof to the above theorem of Finkelstein and Moriah. In [FM2] that theorem was applied to show that if L is a knot, then all surgeries on L contain essential surfaces. Corollary 2 below generalizes this to the case when L has multiple components, with a mild restriction that each component of L intersects some spheres. We first give some definitions. Let a = a(al,... , am) be an arc running monotonically from the top to the bottom of the 2n-plat, such that ae. is disjoint from the boxes, and on the i-th row there are ai boxes on the left of oa. See Figure 1 for the arc ai(1, 1, 1, 2, 2). The arc ae is an allowable path if (i) each row has at least one box on each side of oa, and (ii) ae intersects L at m + 1 points (so ae intersects L once when passing from one row to another). Note that the leftmost allowable path is a(1,... , 1), which has on its left one box from each row. Given an allowable path a = a(ai,... , am), we can connect the two ends of ae by an arc 13 disjoint from the projection of L to form a circle, then cap it off by two disks, one on each side of the projection plane, to get a sphere S = S(ai,... , am), Received by the editors February 22, 2000 and, in revised form, March 27, 2000. 1991 Mathematics Subject Classification. Primary 57N10, 57M25.
Read full abstract