Internat. J. Math. & Math. Sci. (1990) 39-44 VOL. 13 NO. 39 A DECOMPOSITION INTO HOMEOMORPHIC HANDLEBODIES WITH NATURALLY EQUIVALENT INVOLUTIONS ROGER B. NELSON Department of Mathematical Sciences Ball State University Munci e, IN 47306 (Pceived September 12, 1988) Downing [6] ABSTRACT. extended the well-known result that any closed 3-manifold X el(X-H) is homeomorphic to H in the case where X is We show that if X is a compact 3-manifold contains a handlebody H such that a compact 3-manifold with nonvoid boundary. with involution h having 2-dimensional fixed point set, then X contains an h-invariant handlebody H such that the i,,duced involutions on H and el(X-If) are naturally equivalent. KEY WORDS AND PHARSES. 3-manifold, involution, handlebody, equivalent involutions. 1980 AMS SUBJECT CLASSIFICATION CODES. Primary 57Q15, 57S17, 57s25. I NTRODUCT ION. In this paper all spaces and maps are piecewise linear (PL) in the sense of Rourke and if]. Sanderson subspaces are PL. Bing [2]. spaces can be triangulated and all maps and Thus all This is no restriction as every 3-manifold has a tr[angrulation by [3], [4], and Rourke and Sanderson [I]. Notation follows Nelson Let X be a closed 3-manifold with triangulation T. and H If S is the l-skeleton of T S, then it is a classical result, see Seifert and el(X-H) are homeomorphic handlebodies. Downing 2 is a regular neighborhood of Threlfa]l [5,p.219], that H and H [6] extended this result, showlug that every 3-manifold with nonvoid boundary also It is the purpose of contains a handlebody which is homeo,orph[c to its complement. this paper to show that symmetries are respected. these res,Its urther can These snmetries ale extended so that certain those realized as involutions of X with orientable 2-dimensional fixed po.nt sets. Recall that Involdtlons h :X i / i homeomorphism f:X involut[on h:X an involution Xi, i l, X such X ix ;s a h,meomorphsm are equivalent, that h 2 X is F(h) of ,Y[h(x) o h x}. 2 denoted h o f. The on h X 2 Fixed of period two. if there exists a point We shall prove the following: set of R.B. NELSON 0 THEOREM I. Let X be an orlentable 3-manlfold and h:X orlentable fixed invarlant handlebodies H and H dimensional, Let f:H THEOREM 2. point F. set Then hlH in X such that thereby establlshlng the equivalence assumed to be the identity on H H[ hlH Io H h such that hlH By Nelson [4; ThE. C] the involutions hlH 2 and (i) their fixed point sets are homeomorphic and exist complementary, hlH f-I of Theorem I. 2 H2 H 2 there hlH2. 2 be the homeomorphlsm / X an involution with 2- o (hiM 2) flHl Then h- o f may be are equivalent If and only If (If) elther both fixed point sets In Nelson [3; lemma 2.1] it was shown that a 2- separate or both fall to separate. dlmensional fixed point set of an Involut[on on an orlentable handlebody separates the handlebody if and only if the l-dlmens[onal fixed point set of the involution induced Snce H on the boundary separates the boundary. and H can be chosen so that H N F need only show that H share a common boundary, we 2 H2N ence, F. Theorem follows immediately from the following lemma: LEMMA I. Let X be orlentable dimensional, invariant handlebodies a copact fixed H! and H point 3-manlfold set F. 1en in K such that H X an and h:X OF exlst there H Involutlon wlth 2- complementary, 2 2 The 3-manlfold X may be either orlentable or nonorlentable in this lemma. be assned to be orlentable in Theorem in order h- F. invoke Nelson to X mast [4; ThE. C]. Section 2 contains the proof of thls lemma in the case when X is a closed manifold. The proof is modified in section 3 to cover the case when X has nonvold boundary. proof of Theorem 2 is provided In section 4. of proofs which appear elsewhere. The Both sections 3 and 4 are modifications These sections refer heavily to the proofs which they modify. 2. )[ IS CLOSED. Our approach is to pick an initial handlebody H until H F + showlng H of F H 2 Fi= F that will be repeatedly modified F.I of F. This identity is established by I for each component / + 0 F and H 0 FI, where F i and F are "h omeomorphic halves" I F.-- 0 i i i We note first that any component F The Initial H surface. i of F is a closed, orlentable Any such surface admits an involution gl with a separating fixed point set + This separates and F Fiinto F I I + consisting of at most two simple closed curves. where gl (FI) Let X Fi be the orbit space of h. manifold with F.z is B F. gl-invarlant. triangulation of of T* to X. Triangulate Since X can BX B Since F is 2-dimenslonal, is collared, Rouke and Sanderson [I" be extended to a trfangulatlon T* of Then T is an h-lnvarlant triangulation of palr triangulated identically to F i is a bordered 3- so that the triangulation of component for each i. X Cot. 2.26], the Let T be the llft + (X,F) such that F i is 41 DECOMPOSITION INTO HOMEOMORPHIC HANDLEBODIES (n) Denote by T the nth derived subdivision of T and by S edges and vertices of T H2-- (X-HI). and triangulates F, H (n) H and H 10 F 2 lying on the l-skeleton S of T. Procedures: each F The i I handlebody of result each T i (2)) T Since minus k disks, where k to I either by procedure 3-handle a plus 20 H of is index that one modified the the and new plus a 3-handle of index one. Hence, 2 left with homeomorphl c, complementary is isomorphic to H complementary handlebody after N(S (2), F consists of k disks. i i Two procedures are used to repeatedly modify T near modification isomorphic is HI= handlebodles. orientable surface F is the connected, i is the number of 2-simplices in the triangulation of F Modification Let orlentable homeomorphlc are (n) the collection of all we modification again are handlebodies. We say such a pair is near F if i The 3-simpllces of T are in h-invarlant pairs. F the two 3-simplices of the pair intersect in The procedures below correspond to i We will not need to the cases where 3-simplices intersect in an edge or 2-face in F i employ modifications exploiting s implices intersecting F in a vertex. i Procedure =: The net result of this procedure is to remove one edge from TO F F.I Intuitlvely, H 0 contains "less" of F than H O F i i i Then e is the common edge of two 3Let e be any edge of T lying in F i Let e and e 2 be the s and s 0 such that h(s slmpllces, s and s s2-- {e} 2 2 (2) to (I) Modify S edges of T connecting the vertices of e with the barycenter of s (2) (2) lying on e and adding all vertices and edges of T by deleting from S get I) to (2) S(2)all H by H2-- T(2)lying vertices and edges of l-- NI(2) T(2)) I Procedure B: a 3-handle of (clUe2)U h(elUe 2). in a point. As a result, ala2a 3 be any 2-simplex of T in F. ala2a3a4 and ala2a3a 5 such that HI0 Then h(a 3-slmplices is a double tetrahedron we shall retriangulate. slmpllces ala2a4a 5 a a2a3a4a 5 la3a4a 5 F i contains a disk component not 4) ala2a 3 a is the common face of The union of these slmpllces 5 The new triangulation consists of the and their faces. this new triangulation is h-invariant. It is easily checked that Let T be the triangulation of X obtained by replacing the former simplices of the double tetrahedron by the new ones. I-- IN((2)’ (2))I" I Hl, the edge Employing a4a5. the near each F i 2 clIX-H2) Modifications: < is homeomorphlc to H is also homeomorphlc to H The and Substitute plus a 3-handle whose core is plus a 3-handle of index one. 8modifications are repeated independently Let f be the number of 2-simpllces and p the number of vertices in the We assume that the original T was chosen so (and also of triangulation of that p one i Let for index The net result of this procedure is to add an h-lnvarlant edge to T which intersects F in H 0 F plus We replace plus a 3-handle of index one, the cocore of which cI(X-H I) is homeomorphic to lies in a disk bounded by to H homeomorph[c is h(elU e2). (elDe2) on F F). 2f for each fixed point component F i 42 R.B. NELSON CASE I. > p f. First apply p-f this out we ralst have that p-f -< f. (F i 3f both II + lfi when F and to F (or F S F.= i 2. Next, F consist H2 of In order to carry ala2a3eF disk p x(F i) (F apply, 0 and easily checked in the procedure a to and components one in F edge every Then homeomorphic component minus p disks. CASE 2. > f p. F consist of B f-p First apply procedure procedure a to remove all edges of T from H20 where But this is equivalent to the statement t1at e which is immediate when case remaining time,; F. + + F. times to sl.nplices in is that both H The res,lt disk components and one component ho,.eomorphic to F + Then use IO F and (or F less f disks. X IS NONVOID. 3. . In this section we make the adjustments necessary in the above proof for the case X * Notice that only tle initial choice of H F. First, it was noted that collection of disks. longer is will be a closed or[entable Such a surface also admits an involution o fixed point set consisting it that true reg,lar a that Downing’s construction of the handlebody H B., I, i closed a is this is surface less a with a separating the of neighborhood 3-manifold B. and klB and accordingly q l-skeleton of Rather, we must show can be carried out equivariantly. X’= X n be the boundary components of X and let where M. is the handlebody with M X’ gi , * simple closed curves and arcs. triangulation of X will have a homeo,norphic complement in X. Let If K is a ,nlosed, orientable surface. floweret, F no longer necessarily true. No was depeudent upon X having The modification procedures do not depend upon assumptions about X. empty boundary. mapping B has i classical a Uk(UMi) homeomorphically to 8M decomposition i into H{). By Downing [6; Lemma I], each X’ onto where j 1,2, are specially Nij= Ni (M. and N are respectively, just regular neighborhoods of positioned in H and H 2. the l-dimensional sets denoted Y and Y in Downlng’s proof.) It is then shown -(2N that X X’ and that H and are homeomorphic H{ homeomorphic handlebodies H and Ni H, is isotoped by G in Mi H! Ui Mi cl((X’ handlebodies with H 2 The that f(H M. f(N.) 2) cl(xH for all i. f(Hl)). and H We do dimensional fixed Bi Let M h’ point i A X’ such yields a homeomorphism f:X’ homeomorphic handlebodies such that that f(H how.ever, I) and f(H 2) are h- may, however, be assumed h-invar[ant as in section 2. of an involution on into M know, yet not involt[on constructed to commute with h’, then to -Ni2 2 -UNi) i (i) h can be extended to an To extend h H2 HI). moving each Mi to N f(H;) and f(H)_ are isotopy G of X’ invariant. to cl(X we need set) Mi. on ’ f(H1) :K’ and f(H only know M. is But if X’ and (ii) if the isotopy G can be 2) that will be h-invariant as needed. any equivalent Then attaching M[ (free or with l- involution by to X by kl--klB I where A is a 2-spher minus disks. kl i to the restriction allows h to be extended If h is a free involution 43 DECOMPOSITION INTO HOMEOMORPHIC HANDLEBODIES of BMi, then him given (m,t) is equivalent to i_ (s(m),t) where involution on A derived from the antipodal map on $ 2 a is the free by removing invariant pairs of disks. If has a l-dimensional fixed point set, hlBM i In this case closed curves. him i with arcs as fixed point components. is equivalent it will only consist of simple where s is an involution of A to If the fixed poit set separates, than s may be 2 by renoving invar[ant disks from derived from the reflection in a great circle of S the fixed point circle and invariant pairs of disks disjoint from the circle of fixed points. Suppose him i curves. Let M. m: S x S S x S loop. has a nonseparating fixed point set consisting of k simple closed E I where A is S given himi Again, by x S (s2, 1) Y(sl s2) here l,e Involution minus disks, s has one is derived from y by fixed nonseparating point removing k invariant disks from the nonseparatlng fixed point and an appropriate number of invar[ant pairs of disks disjoint rom the fixed point set. Let A x [-I,I] be embedded in X’ by j.such that locally defined product structure. [-1,3] extended to an embedding, also called j, of A x h’lJ(A j(A x {I}) h’lj(A x [-I,]) preserves the Using an invar[ant collar C on B 3]) B.i and so that x [-I Tollefson [7; Thin. B], where : Bix (b,t) Since J(A x {I}) is B. ,j(A x [I 3]) is an invariant subspace of h’IC ((h’IBi)(b),t). into X’, such fiber is [-1,3] + B C with h’lj(A in X, can be that By Kim and preserving. x [-1,3] is given by i an invarlant subspace of x [I 3]) fiber preserving. Replacing T x [-1,3] in the proof of Downing [6; lemma I] by A x [-1,3], the isotopy G t with support in J(A x [-1,3]), taking Mi to N i may be assumed to commute with h’. That is, we may assume that G preserves the fiber structure on J(A x [-1,3]). t In the case where the boundary component B is not h-invariant, such care in i choosing the isotopy G is unnecessary. Any isotopy G with support in a small neighborhood of M. i 4. t will suffice as long as h’G t t is applied near Mj hM i PROOF OF THEOREM 2. In this section we show that the equivalence That is, we show that the homeomorphism assumed to be the identity on H I- of Nelson [4, Theorem B] and Nelson f:Hl+ H hl}{i~ hlH 2 is in some sense natural. H establishing th[s equivalence may be 2 8H 2. This [3, Theorem 4.1]. we do by modifying the proofs The proof of the equivalence in the above referenced papers is by induction on the common genus of the handlebodles H (hlHi)-invarlant, nonseparating, D. lowers the genera of along the H’. Hi the N(Di )’ induction i and H properly Nelson [4; Lemma 2.1] provides 2 embedded disks D c H. such that cutting i F(hlHi) i I, 2. Let I, 2, be the handlebodies resulting from cuttlng along D i hypothesis, equivalences be established by the fixed point sets hlH hlH fl :HI and a nd hlN(D I) hlN(D2). f2:N(D + N(D2). By the also Let By these homogeneity of 44 R.B. NELSON the manifolds (Hi)* fm(HN N(D2)). N(DI)* and equivalence The hlHl1 hlH2 reconstructed from the homeomorphism fl established is f2 and lHl so that In order to modify the above argument so that f DlC H need only to be able to choose and this proof consists in showing that D Consider the disk [4 ;Theorem B]. Nelson p(D.)1 Then arcs, if D.i is where and a disk aic p(F(h Hi) can if B relative 2 H embedded be in icP(Hi). 2 isotoped onto p(H 2). We to DI- P(Di) D2. find which is we The remainder of i U , to such D p(F(hlH2)) and D 2 as provided by space orbit the be isotoped onto D relative i can 2 2 2 can be so chosen. H D can H is the identity on H N H F(hlH i) and onto D2c and D N(DI) f:H[+ by 2 properly embedded in H i and cutting Let p denote the projection onto the properly only isotoped (H N I, 2, one ny assume that i by un[on relar, lve and 2 the H of two to can F be following procedure. as a fixed loop on H and regard D Fix D D2cH find If and 2. 2 2 2 respectively, then we are done. H --cI(H 2 on H N(D2)) 2 2’ .,Note lower of Employ Nelson [4; Theorem B] to p(F(hlH2))onto and can be isotoped relative to If not, cut H along D 2 to get a handlebody 2 D may genus. still be that with this cut the bordered surfaces regarded p(FNH) and as a fixed p(H) loop which make and up (H ’) have lower genera than p(F N respectively. Now apply Nelson 2 Theorem B] again to H taking additional care that D misses the "s cars" of [4, 2 2 previous cuts (so that D may be regarded as properly embedded n H ). This can be 2 2 done because of the homogeneity of Repetition o this procedure must p(H2) ) (H)*. eventually yeild the desired disks D with both p(H;) and p(F and D 2 since the procedure eventually terminates H 2) being disks. REFERENCES I. ROURKE, 2. BING, C.P. and SANDERSON, B .J., Introduction Piecewlse-Linear to Topology, Springer-Verlag, Berlin, 1972. R.H., An Alternative Proof that 3-Manifolds can be Triangulated. Ann. of Math 69(1959), No. 2, 37-65. 3. NELSON, R.B., Some Fiber Preserving Involutlons of Orieatable 3-dimenslonal Handlebodles, Houston J. of Math. 9(1983), No. 2, 255-269. 4. 5. 6. 7. NELSON, R.B., A Unique Decomposition of involutions of Handlebodies, Proc. Amer. Math. Sot., 93(1985), No. 2, 358-362. SEIFERT, H. and THRELFALL, W., Lehrbuch der ToP01oies Chelsea Publishing Company, New York, 1947. DOWNING, J.S., Decomposing Compact 3-manlfolds into Homeomorphic Handlebodies, Proc. Amer. Math. Soc. 24(1970), 241-24. KIM, P.K. and TOLLEFSON, J.L., PL Involutions of fibered 3-manifolds, Trans. Amer. Math. Soc. 232 (1977), 221-237.