arxiv: v1 [math.gt] 15 Mar 2016

Transcription

1 DESINGULARIZING SPECIAL GENERIC MAPS INTO 3-DIMENSIONAL SPACE MASAYUKI NISHIOKA arxiv: v1 [math.gt] 15 Mar 2016 Abstract. A smooth map between smooth maniolds is called a special generic map i it has only deinite old points as its singularities. In this paper, we study the desingularization problem o special generic maps o closed orientable n-dimensional maniolds M intor 3 or n 5. We say that a smooth map : M R p is lited to an immersion or an embedding F : M R k (k> p) i is actorized as =π F or the standard projectionπ :R k R p. In this paper, we irst prove that i n=5 or 6 and M is simply connected, then a special generic map : M R 3 can be lited to an embedding intor n+1 i and only i the normal bundleν o the singular point set o in M is trivial as a vector bundle. Second, we prove that or a special generic map : M R 3 o a closed orientable n-dimensional maniold M, i n 5, k (3n+3)/2 andν is trivial, then can be lited to an embedding intor k. 1. Introduction Haeliger [8] proved that or a generic smooth map : M R 2 o a closed surace, there exists an immersion F : M R 3 such that =π F or the standard projectionπ :R 3 R 2 i and only i the number o cusps on each component C o the singular point set o is even or odd according as the tubular neighborhood o C in M is orientable or non-orientable. Here, a smooth map : M R 2 is generic i it has only old points and cusp points as its singularities. In particular, not every generic smooth map can be so lited. Based on Haeliger s result mentioned above, let us consider the ollowing problem: Given a smooth map : M R p o a closed n-dimensional maniold and an integer k with k>n p, determine whether or not can be actorized as =π F or an immersion or embedding F : M R k and or the standard projectionπ :R k R p. Such a non-singular map F is called a lit o. We can consider F as a desingularization o. This liting problem has been studied in various situations. Yamamoto [19] proved that a generic smooth map o a closed surace intor 2 can always be lited to an embedding intor 4. Saito [16] proved that a special generic map : M R n o a closed orientable n-dimensional maniold can always be lited to an immersion intor n+1. Here, special generic maps are smooth maps with only deinite old points as their singularities. Blank and Curley [1] studied the condition or a generic smooth map : M Nbetween smooth maniolds o the same dimension to be 1

2 2 MASAYUKI NISHIOKA lited to an immersion into a line bundleπ : E N. Note that these results concern the desingularization o generic maps between maniolds o the same dimension. Let us recall the deinition o a special generic map. A smooth map : M R p o a closed n-dimensional maniold with n p is called a special generic map i it has only deinite old points as its singularities (or details, see Section 2). Note that a special generic map into the line is nothing but a Morse unction with only critical points o minimum or maximum indices; in particular, the source maniold o such a map is homeomorphic to the sphere i it is connected. Special generic maps were irst deined by Burlet and de Rham [3], who showed that a closed 3-dimensional maniold M admits a special generic map into the plane i and only i M is dieomorphic to the 3-sphere or to the connected sum o a inite number o total spaces o S 2 -bundles over S 1. Porto and Furuya [12] studied the condition or a closed n-dimensional maniold M to admit a special generic map into the plane. Saeki [13] proved that a closed n-dimensional maniold M with n 3 admits a special generic map into the plane i and only i M is dieomorphic to the n-dimensional homotopy sphere (n-dimensional standard sphere or n 6) or to the connected sum o a inite number o total spaces o homotopy (n 1)-sphere bundles ((n 1)-sphere bundles or n 6) over S 1 and a homotopy n-sphere (or n 7). Èliašberg [7] proved that a closed orientable n-dimensional maniold admits a special generic map intor n i and only i M is stably parallelizable, that is, the Whitney sum o the tangent bundle o M and the trivial line bundle over M is trivial as a vector bundle. Let us now return to the liting problem. Let us irst review some results about the liting problem or smooth unctions. Burlet and Haab [4] proved that a Morse unction : M R o a closed surace can always be lited to an immersion intor 3. Saeki and Takase [15] proved that a special generic map : M R o a closed orientable n-dimensional maniold with n 1 can always be lited to an immersion intor n+1. They also proved that a special generic map : M R o a closed connected n-dimensional maniold with n 2 can be lited to an embedding intor n+1 i and only i M is dieomorphic to the n-dimensional sphere with the standard smooth structure. Yamamoto [20] gave a necessary and suicient condition or a Morse unction on the circle to be lited to an embedding intor 2. Let us now review some results about the liting problem or smooth maps into the plane. Kushner, Levine and Porto [10] studied the liting problem or generic smooth maps o 3-dimensional maniolds intor 2. Levine [11] gave a necessary and suicient condition or a generic smooth map : M R 2 o a closed orientable 3-dimensional maniold to be lited to an immersion intor 4. Saeki and Takase [15] proved that a special generic map : M R 2 o a closed orientable n-dimensional maniold with n 2 can always be lited to an immersion intor n+1. They also proved that a

3 DESINGULARIZING SPECIAL GENERIC MAPS INTO 3-DIMENSIONAL SPACE 3 special generic map : M R 2 o a closed non-orientable n-dimensional maniold with n 2 can be lited to an immersion intor n+1 i and only i n=2, 4 or 8, and the tubular neighborhood o the singular point set in M is orientable. On the other hand, they also proved that a special generic map : M R 2 o a closed connected n-dimensional maniold with n 3 can be lited to an embedding intor n+1 i and only i M is dieomorphic either to S n or to the connected sum o a inite number o copies o S 1 S n 1. Note that this result does not hold or n=2. Actually, in [15], it is proved that there exists a special generic map : S 2 R 2 which cannot be lited to any embedding F : S 2 R 3 (but which can be lited to an immersion F : S 2 R 3, since S 2 is orientable). When n p=1, Saeki and Takase [15] proved that a special generic map : M R p o a closed orientable n-dimensional maniold can be lited to an immersion intor n+1 i and only i the homology class [S ( )] H p 1 (M;Z) represented by S ( ) vanishes. Here, S ( ) is the set o all singular points o in M. Note that or a special generic map : M R p, thez 2 -homology class [S ( )] 2 H p 1 (M;Z 2 ) is Poincaré dual to the Stieel-Whitney class w n p+1 (M) (see [18]). Thereore, i can be lited to an immersion intor n+1, then M is spin, that is, the second Stieel-Whitney class w 2 (M) H 2 (M;Z 2 ) o M vanishes. When (n, p)=(5, 3), (6, 3), (6, 4) or (7, 4), Saeki and Takase [15] proved that a special generic map : M R p o a closed orientable n-dimensional maniold can be lited to an immersion intor n+1 i and only i M is spin. They also showed that one can take an embedding as a lit i (n, p)=(6, 3). In this paper, we study the liting problem or special generic maps o closed n-dimensional maniolds intor 3 or n 5. First, we prove that a special generic map : M R 3 o a closed simply connected n-dimensional maniold M, n=5 or 6, can be lited to an embedding intor n+1 i and only i the singular point set o has a trivial normal bundle in M. Second, we show that or a special generic map : M R 3 o a closed orientable n-dimensional maniold with n 5, the map can be lited an embedding intor k, i k (3n+3)/2 and the normal bundle o the singular point set S ( ) o in M is trivial. The paper is organized as ollows. In Section 2, we review various topological properties o special generic maps. In Section 3, we give a necessary condition or a special generic map to be lited to a codimension two immersion in terms o the normal bundle o the singular point set. In Section 4, we construct an embedding lit F : M R n+1 or a special generic map : M R 3 o a closed simply connected n-dimensional maniold (n=5, 6) with trivial normal bundle o S ( ) in M, by using the act that O(n 2) is a deormation retract o Di(S n 3 ), where Di(S n 3 ) is the space o all sel-dieomorphisms o S n 3. This last act has been proved by Smale [17] (n=5) and Hatcher [9] (n=6). By using a similar method, we construct an embedding lit F : M R k or a special generic map : M R 3 o a closed orientable n-dimensional maniold (n 5 and

4 4 MASAYUKI NISHIOKA k (3n+3)/2) with trivial normal bundle o S ( ) in M, by using the act that Emb(S n 3,R k 3 ) is 2-connected, where Emb(S n 3,R k 3 ) is the space o all embeddings o S n 3 intor k 3. This last act has been proved by Budney [2]. Throughout this paper, all maniolds and maps are o class C, unless otherwise indicated. For groups G 1 and G 2, G 1 G 2 means that they are isomorphic; or smooth maniolds M 1 and M 2, M 1 M 2 means that they are dieomorphic; and or vector bundles E 1 and E 2, E 1 E 2 means that they are isomorphic. The symbolr n denotes the n-dimensional Euclidean space; D n denotes the closed unit disk inr n ; and S n denotes the n-dimensional unit sphere inr n+1. For a maniold M with boundary, Int M and M denote the interior and the boundary o M, respectively. 2. Preliminaries In this section, we review several results about topological properties o special generic maps and their Stein actorizations, which will be necessary in the proo o our main theorems Special generic maps. Let : M R p be a smooth map o a closed n-dimensional maniold, n p. A point q M is called a singular point o i the rank o the dierential d q : T q M T (q) R p is strictly less than p. We denote by S ( ) the set o all singular points o and call it the singular point set o. A point q M is called a deinite old point i there exist local coordinates x=(x 1, x 2,..., x n ) around q and y=(y 1, y 2,..., y p ) around (q) such that { yi = x i, 1 i p 1, y p = x 2 p+x 2 p x2 n. When has no singular points except or deinite old points, is called a special generic map. When p = 1, special generic maps are nothing but Morse unctions with only critical points o indices 0 or n. Note that or a special generic map : M R p, the singular point set S ( ) is a closed (p 1)-dimensional submaniold o M and the restriction o to S ( ) is a codimension one immersion intor p Stein actorization. Let : X Y be a continuous map between topological spaces. For two points x 1 and x 2 in X, we deine x 1 x 2 i x 1 and x 2 are in the same connected component o the pre-image 1 (y) or a point y in Y. This relation is an equivalence relation, and thereore, we can take the quotient space W and the quotient map q : X W with respect to this relation. Then it is not diicult to prove that there exists a

5 DESINGULARIZING SPECIAL GENERIC MAPS INTO 3-DIMENSIONAL SPACE 5 unique continuous map : W Y such that the diagram q X W commutes. The above diagram is called the Stein actorization o. In general, the quotient space in the Stein actorization o a smooth map is not always a topological maniold. However, or a special generic map : M R p o a closed n-dimensional maniold, n> p, we can give a structure o a smooth p-dimensional maniold with boundary to W so that : W R p is an immersion and q : M W is a smooth map. Note that or a special generic map : M R n o a closed n- dimensional maniold into the Euclidean space o the same dimension, we have M= W, since the pre-image 1 (y) is a inite set or any y R n. So the Stein actorization does not give any new inormation. The ollowing result is very useul to study special generic maps (see [3, 13]). Theorem 2.1. Let : M R p be a special generic map o a closed connected n-dimensional maniold M intor p, n> p. Then the ollowing holds. (1) The quotient space W has the structure o a smooth p-dimensional maniold with non-empty boundary. (2) The map q : M W is a smooth map. (3) The map : W R p is a smooth immersion. (4) The singular point set S ( ) is a closed (p 1)-dimensional submaniold o M, and the restriction o q to S ( ) is a dieomorphism onto W. (5) The induced map (q ) :π 1 (M) π 1 (W ) is a group isomorphism. (6) We have q (M\ S ( ))=Int W and q M\S ( ) : M\ S ( ) Int W is a smooth S n p -bundle over Int W. The above theorem is essentially proved or (n, p)=(3, 2) in [3]. We can prove it or general (n, p), n> p, by using a similar method. We say that a D n -bundle (or an S n -bundle) is linear i its structure group can be reduced to the orthogonal group O(n). Saeki [13] proved the ollowing theorem about the topology o the source maniolds o special generic maps. Theorem 2.2. Suppose a closed n-dimensional maniold M admits a special generic map intor p with n> p. Then there exists a topological D n p+1 - bundle E over W with M being homeomorphic to E. Furthermore, i n p 3, then we can arrange so that E is a linear D n p+1 -bundle over W and that M is dieomorphic to E. Y

6 6 MASAYUKI NISHIOKA By using Theorem 2.2, Saeki [13, 14] classiies the dieomorphism types o the simply connected n-dimensional maniolds (n = 5, 6) which admit special generic maps intor 3. That is, the ollowing result holds. Theorem 2.3. Let M be a closed simply connected n-dimensional maniold with n=5, 6. Then M admits a special generic map intor 3 i and only i M is dieomorphic to S n or to the connected sum o S n 2 -bundles over S Normal bundle o the singular point set In this section, we give a necessary condition or a special generic map : M R p o a closed orientable n-dimensional maniold M with n> p to be lited to a codimension two immersion. Proposition 3.1. Let M be a closed orientable maniold o dimension n and let F be an immersion o M intor n+2 such that =π F is a special generic map, whereπ :R n+2 R p is the standard projection, n> p 1. Then the normal bundleν o S ( ) in M is stably trivial. Furthermore, i n>2p 2, thenν is trivial. Here, a vector bundle E over a topological space B is said to be stably trivial i the Whitney sum o E and a inite dimensional trivial vector bundle over B is trivial as a vector bundle. Proo o Proposition 3.1. Let i (T M) be the pullback o T M induced by the inclusion map i : S ( ) M and let ĩ : i (T M) T M be the natural map over i. Thenν is identiied with ker(d ĩ), which is an (n p+1)-plane subbundle o i (T M). On the other hand, since : W R p is an immersion o a p- dimensional maniold and q S ( ) : S ( ) W is a dieomorphism, we have that S ( ) is orientable. Thereore, since M is orientable and i (T M) TS ( ) ν, we have thatν is orientable. Let G be the restriction o df ĩ toν. Since =π F and F is an immersion, G is a iberwise monomorphism o the (n p + 1)-plane bundle ν into the (n p+2)-plane bundle ker(dπ), which is trivial. Note that G is a bundle morphism over F i. Thereore,ν is a subbundle oζ = (F i) (ker(dπ)). By using an inner product onζ, we ind a 1-dimensional subbundleξ oζ such thatν ξ ζ. Sinceν is an orientable (n p+1)- plane bundle and ζ is the trivial (n p + 2)-plane bundle, we have that ξ is an orientable line bundle and hence is trivial. This means thatν is stably trivial. Furthermore, i n>2p 2, i.e. i n p+1> p 1, then the dimension o the base space oν is strictly less than the dimension o the ibers o ν. Thereore, the stable triviality oν implies the triviality oν. This completes the proo.

7 DESINGULARIZING SPECIAL GENERIC MAPS INTO 3-DIMENSIONAL SPACE 7 4. Liting problems or special generic maps In this section, we consider the problem o liting special generic maps intor 3 to codimension one embeddings. Recall that i n=5 or 6, a closed simply connected n-dimensional maniold M admits a special generic map : M R 3 i and only i M is dieomorphic to S n or to the connected sum o S n 2 -bundles over S 2 (see Theorem 2.3). Now we prove the ollowing theorem. Theorem 4.1. Let : M R 3 be a special generic map o a closed simply connected n-dimensional maniold, n=5or 6, such that the singular point set S ( ) o has trivial normal bundle in M. Then there exists an embedding F : M W R n 2 such that P F= q, where P : W R n 2 W is the projection to the irst actor. We use the ollowing terminologies in the proo o Theorem 4.1. Deinition 4.2. Let X, Y and Z be smooth maniolds and let : X Y, F : X Zand P : Z Y be smooth maps. We say that F is a lit o with respect to P i = P F. In this case, we also say that is lited to F with respect to P. Proo o Theorem 4.1. We may assume that M is connected. Then, by Theorem 2.1, the quotient space W has the structure o a smooth compact simply connected 3-dimensional maniold with non-empty boundary, since M is simply connected. By the solution to the Poincaré conjecture, this implies that W is dieomorphic to the 3-maniold obtained by removing the interior o the union o mutually disjoint initely many 3-balls rom the 3-sphere. So we have a handle decomposition o W as ollows: ( s ) W = ( W [0, 1]) h 3, where h 1 i, i=1, 2,..., s, are 1-handles and h3 is a 3-handle. Let C (= W [0, 1]) be the collar neighborhood o W in W, where W corresponds to W {0}. Fix orientations o M andr 3. Since : W R 3 is an immersion, we can orient W in such a way that is orientation preserving. Then, or each w Int W, we can orient q 1 (w)( S n 3 ) in such a way that i U is a small open neighborhood o w in Int W, andφ : q 1 (U) U q 1 (w) is a local trivialization withφ(x)=(w, x) or every x q 1 (w), then φ is orientation preserving, where the orientations o q 1 (U) and U are induced rom those o M and W, respectively. By the assumption that S ( ) has trivial normal bundle in M, the composition o the restriction q q 1(C) : q 1 (C) Cwith the natural projection i=1 h 1 i p C : C(= W [0, 1]) W

8 8 MASAYUKI NISHIOKA is a trivial D n 2 -bundle. Thereore, we have a bundle trivialization H C : q 1 (C) W D n 2. We ix an orientation or n 2, which induces an orientation or D n 2. Then, it induces an orientation or S n 3 = D n 2. We may assume that the restriction o H C to q 1 (w) is an orientation preserving dieomorphism onto {w } S n 3 or every w W {1}, where w is the point in W such that w=(w, 1). Then the map e 1 : q 1 (C) C R n 2 deined by e 1 (x)=(q (x), pr 2 H C (x)), x q 1 (C), is a smooth map, where the map pr 2 : W D n 2 D n 2 R n 2 is the projection to the second actor. Note that e 1 is an embedding lit o q q 1(C) with respect to the restriction o P to C R n 2. This is proved as ollows. It is clear that e 1 is a lit o q q 1(C) with respect to P C R n 2 by the construction o e 1. Thereore, we have only to prove that e 1 is an embedding. Note that the ollowing diagram commutes: q 1 (C) q H C p C C(= W [0, 1]) W pr 1 W D n 2, where pr 1 is the projection to the irst actor. Thereore, the composition e 1 H 1 C : W D n 2 C R n 2 = W [0, 1] R n 2 maps (x, y) to (x, K(x, y), y) or every x W and y D n 2, where K is a smooth map o W D n 2 into [0, 1]. This implies that e 1 is an embedding. We will extend e 1 to an embedding lit o the restriction o q to q 1 (C ) with respect to the restriction h 1 1 P (C h 1 1 ) R n 2 : (C h1 1 ) Rn 2 C h 1 1. Note that h 1 1 is identiied with D2 D 1 and is attached to C along D 2 S 0. Let Di + (S n 3 ) be the space o orientation preserving dieomorphisms o S n 3. By the results o Smale [17] and Hatcher [9], Di + (S n 3 ) is homotopy equivalent to SO(n 2), which is connected. Since the 1-handle h 1 1 is contractible, we have a bundle trivialization H 1,1 : q 1 (h 1 1 ) h1 1 S n 3 which induces an orientation preserving dieomorphism o q 1 (w) onto {w} S n 3 or every w h 1 1. We have the two end points (0,±1) o the

9 DESINGULARIZING SPECIAL GENERIC MAPS INTO 3-DIMENSIONAL SPACE 9 core o the 1-handle h 1 1 = D2 D 1. Then, we deine the orientation preserving dieomorphismφ ± : S n 3 S n 3 as the composition S n 3 ={(0,±1)} S n 3 q 1 ({(0,±1)}) {(0,±1)} S n 3 = S n 3, where the irst map is H 1 1,1 restricted to{(0,±1)} S n 3, the second map is e 1 restricted to q 1 ({(0, ±1)}), and the double-sign corresponds in the same order. Since Di + (S n 3 ) is connected, there is a continuous path betweenφ andφ + in Di + (S n 3 ). This induces a homeomorphism q 1 ({0} D 1 )(= ({0} D 1 ) S n 3 ) ({0} D 1 ) S n 3, which is an orientation preserving dieomorphism on each S n 3 -iber. This coincides with e 1 q 1 (D 2 { 1,+1}) : q 1 (D 2 { 1,+1}) (D 2 { 1,+1}) S n 3 over q 1 ({0} { 1,+1}). Thereore, by gluing the two maps, we have a homeomorphism q 1 (X)(= X S n 3 ) X S n 3, where X= (D 2 { 1,+1}) ({0} D 1 ). By composing this with the natural projection, we have a continuous map φ 1 : q 1 (X)(= X S n 3 ) S n 3. Letφ 2 : h 1 1 S n 3 S n 3 be the continuous map deined byφ 2 (x, y)= φ 1 (r(x), y) or x h 1 1 and y S n 3, where r : h 1 1 X is a deormation retract. Then a smooth approximationφ 3 : h 1 1 S n 3 S n 3 oφ 2 such that φ 3 D 2 { 1,+1} S n 3=φ n 3 2 D 2 { 1,+1} S n 3 induces a dieomorphism o{x} S to S n 3 or every x h 1 1, since so doesφ 2. Consequently, we have a smooth homeomorphism φ 4 : h 1 1 S n 3 h 1 1 S n 3 given byφ 4 (x, y)=(x,φ 3 (x, y)), (x, y) h 1 1 S n 3. Since the derivative o φ 4 at each point is a linear isomorphism, by the inverse unction theorem, we have thatφ 4 is a dieomorphism. Then the composition e 2 : q 1 (h 1 1 )(= h1 1 S n 3 ) h 1 1 S n 3 h 1 1 Rn 2 is an embedding lit o q q 1(h 1 1 ) with respect to the restriction o P to h 1 1 R n 2, where the irst map isφ 4 and the second map is the product o the identity map o h 1 1 and the standard inclusion. Since e 1 and e 2 coincide on the intersection o their sources, by glueing the two maps e 1 and e 2, we have an embedding lit o q q 1(C h 1 1 ) with respect to P restricted to (C h 1 1 ) Rn 2. By iterating this procedure, we construct an embedding lit e 3 o the restriction o q to q 1 (C ( s i=1 h1 i )) with respect to P restricted (C ( s i=1 h1 i )) Rn 2.

10 10 MASAYUKI NISHIOKA Now, let us extend the lit e 3 to the whole W. Since the 3-handle h 3 is contractible, we have a bundle trivialization H 3 : q 1 (h 3 ) h 3 S n 3 which induces an orientation preserving dieomorphism o q 1 (w) onto {w} S n 3 or every w h 3. We deine the continuous mapρ 1 : h 3 S n 3 S n 3 by the composition h 3 S n 3 q 1 ( h 3 ) h 3 S n 3 S n 3, where the irst map is the restriction o H3 1 to h 3 S n 3, the second map is the restriction o e 3 to q 1 ( h 3 ), and the last map is the projection to the second actor. Note thatρ 1 induces an orientation preserving dieomorphism o{w} S n 3 onto S n 3 or every w h 3. Recall that Di + (S n 3 ) is homotopy equivalent to SO(n 2) (see [9, 17]); hence, it is 2-connected. Thereore, the continuous mapρ 1 extends to a continuous mapρ 2 : h 3 S n 3 S n 3 which induces an orientation preserving dieomorphism o{w} S n 3 onto S n 3 or every w h 3. Then a smooth approximationρ 3 : h 3 S n 3 S n 3 oρ 2 such thatρ 3 h 3 S n 3=ρ 2 h 3 S n 3 induces a dieomorphism o{w} S n 3 onto S n 3 or every w h 3. So we have a smooth homeomorphism ρ 4 : h 3 S n 3 h 3 S n 3 given byρ 4 (x, y)=(x,ρ 3 (x, y)) or x h 3 and y S n 3. Since the derivative oρ 4 at each point is a linear isomorphism, by the inverse unction theorem, we have thatρ 4 is a dieomorphism. Then the composition e 4 : q 1 (h 3 )(= h 3 S n 3 ) h 3 S n 3 h 3 R n 2 is an embedding lit o q q 1(h 3 ) with respect to the restriction o P to h 3 R n 2, where the irst map isρ 4 and the second map is the product o the identity map o h 3 and the standard inclusion. Since e 3 and e 4 coincide on the intersection o their sources, by gluing the two maps e 3 and e 4, we have an embedding lit o q with respect to P. This completes the proo. Remark 4.3. Note that the key ingredient in the proo o Theorem 4.1 is thatπ 2 Di + (S n 3 )=0or n=5, 6. On the other hand, Crowley Schick [6] proved that or every j 1, we have π 2 Di(D 8 j 1, ) 0, where Di(D 8 j 1, ) is the space o dieomorphisms o D 8 j 1 which are the identity on some neighborhood o D 8 j 1. It is known (see Proposition 4 o Appendix in [5], or example) that the ollowing homotopy equivalence holds: Di + (S n ) Di(D n, ) SO(n+1). Thereore, the result mentioned above implies that π 2 (Di + (S 8 j 1 )) 0,

11 DESINGULARIZING SPECIAL GENERIC MAPS INTO 3-DIMENSIONAL SPACE 11 or every j 1. This means that the method in the proo o Theorem 4.1 does not work in higher dimensions in general. As a consequence o Theorem 4.1, we have the ollowing result. Theorem 4.4. Let : M R 3 be a special generic map o a closed simply connected n-dimensional maniold with n=5, 6 and letπ :R n+1 R 3 be the standard projection. Then the ollowing conditions are all equivalent to each other: (1) There exists an embedding F 1 : M R n+1 such thatπ F 1 =. (2) There exists an immersion F 2 : M R n+1 such thatπ F 2 =. (3) The singular point set S ( ) o has a trivial normal bundle in M. (4) The maniold M is spin. Proo. Assume that there exists an immersion F : M R n+1 such that π F=. Then the map F : M R n+1 R deined by F (x)=(f(x), 0), x M, is also an immersion lit o. Thereore, by Proposition 3.1, we conclude that the singular point set S ( ) o has a trivial normal bundle in M. Now, suppose that S ( ) has a trivial normal bundle in M. Then by Theorem 4.1, we get an embedding lit e : M W R n 2 o q. Since W can be embedded intor n 2, by using an embedding ē : W R n 2 and the immersion : W R 3, we get an embedding G=(, ē) : W R n+1 such that G is an embedding lit o with respect to the natural projectionr n+1 R 3. Since W is compact, there exists an embedding H : W R n 2 R n+1 such that H(x, 0)= G(x) or every x W and the diagram W R n 2 H R n+1 W P commutes. Then the composition o e with H is an embedding lit o. It is trivial that the irst condition implies the second one. Thus, the irst three conditions in Theorem 4.4 are equivalent to each other. Saeki Takase proved that the second and the last conditions are equivalent to each other (see Theorem 6.1 in [15]). This completes the proo o Theorem 4.4. Remark 4.5. Note that we can directly prove that items 3 and 4 in Theorem 4.4 are equivalent to each other without using a result o Saeki Takase [15] as ollows. Recall that M is dieomorphic to E or some linear D n 2 - bundle E over W by Theorem 2.2. Since W is simply connected, we have π R 3 W W 1 W 2 W b, where the symbol denotes boundary connected sum, W i S 2 [0, 1] (i=1, 2,..., b) and b 0 (when b=0, W D 3 ). Let E i (i=1, 2,..., b)

12 12 MASAYUKI NISHIOKA be the D n 2 -bundle over W i induced rom the inclusion W i W. Then, we have M E 1 E 2 E b. Note that the maniold E i is the total space o an S n 2 -bundle over S 2. This is a spin maniold i and only i the bundle E i is trivial. Thereore, the maniold M is spin i and only i all the bundles E i are trivial. Finally, it is easy to see that this last condition is equivalent to the triviality o the normal bundleν o S ( ) in M. The ollowing proposition shows that or n 4, there exist special generic maps o closed simply connected n-dimensional maniolds intor 3 with trivial normal bundle o the singular point set. By virtue o Theorem 4.4, such special generic maps or n=5, 6 can be lited to embeddings in codimension one. Proposition 4.6. For n 3, there is a special generic map : S n 2 S 2 R 3 such that the normal bundleν o S ( ) in S n 2 S 2 is trivial. Proo. Let h : S n 2 R be the Morse unction given by h(x 1, x 2,..., x n 1 )= x n 1 or (x 1, x 2,..., x n 1 ) S n 2 R n 1. Then the composition S n 2 S 2 h id R S 2 R 3 is a special generic map, where id is the identity map o S 2, and the last map is the composition o a trivialization o the open tubular neighborhood o S 2 inr 3 with the inclusion map. Note that S ( )={(0, 0,..., 0,±1)} S 2 is the disjoint union o two 2-spheres and it has trivial normal bundle in S n 2 S 2. On the other hand, the ollowing proposition implies that there exist special generic maps o closed simply connected n-dimensional maniolds into R 3 with non-trivial normal bundle o the singular point set. By virtue o Theorem 4.4, such special generic maps or n=5, 6 cannot be lited to embeddings in codimension one. Proposition 4.7. For n 4, there is a special generic map : M R 3 such that the normal bundleν o S ( ) in M is non-trivial, where M is a non-trivial S n 2 -bundle over S 2. Proo. For real numbers t with 0 t 2π, we deine the dieomorphism g t : S n 2 S n 2 by g t (x 1, x 2,..., x n 1 )=(x 1 cos t x 2 sin t, x 1 sin t+ x 2 cos t, x 3, x 4,..., x n 1 ) or (x 1, x 2,..., x n 1 ) S n 2. Note that we have g 0 = g 2π. By using this map, we deine the dieomorphismφ : S n 2 D 2 S n 2 D 2 by Φ(x, (cos t, sin t))=(g t (x), (cos t, sin t))

13 DESINGULARIZING SPECIAL GENERIC MAPS INTO 3-DIMENSIONAL SPACE 13 or x S n 2 and 0 t 2π. Pasting S n 2 D 2 and its copy along the boundary byφ, we obtain the closed n-dimensional maniold M. It is easy to see that M is a non-trivial S n 2 -bundle over S 2. Now, we deine the special generic map h : S n 2 R by h(x 1, x 2,..., x n 1 )= x n 1 or (x 1, x 2,..., x n 1 ) S n 2. Then we have Thereore, the map (h id) Φ=h id : S n 2 D 2 R D 2. (h id) (h id) : M= (S n 2 D 2 ) Φ (S n 2 D 2 ) (R D 2 ) (R D 2 ) is well-deined, where (R D 2 ) (R D 2 )=R S 2 is the space obtained by pastingr D 2 and its copy along the boundary by the identity map. So we obtain the composition map : M R S 2 R 3, where the last map is the composition o a trivialization o the open tubular neighborhood o S 2 inr 3 with the inclusion map. Since the second Stieel- Whieney class oν does not vanish, we see that the map : M R 3 is a special generic map and that S ( ) is the disjoint union o two 2-spheres with non-trivial normal bundle in M The map in the ollowing proposition cannot be lited to an embedding intor n+1 by a result in [15]. So Theorems 4.1 and 4.4 do not hold i we drop the condition that M should be simply connected. Proposition 4.8. For n=5, 6, there exists a special generic map : M R 3 o a closed orientable n-dimensional maniold M such that the normal bundleν o S ( ) in M is trivial and that M is neither spin nor simply connected. Proo. Letπ 1 : E 1 S 2 be the projection o the non-trivial orientable linear D n 2 -bundle over S 2 (such a bundle uniquely exists up to isomorphism since π 1 (SO(n 2))=Z 2 ). Then the product mapπ 2 =π 1 id S 1 : E 1 S 1 S 2 S 1 is a non-trivial orientable linear D n 2 -bundle over S 2 S 1. Set W= S 2 S 1 \ Int D 1, E=π 1 2 (W) andπ=π 2 E : E W, where D 1 is a 3-ball in S 2 S 1. Then,π : E W is a non-trivial orientable linear D n 2 - bundle over W. It is clear that W can be immersed inr 3. Then, by using the same method used in the proo o [13, Proposition 2.1], we can construct a special generic map : M R 3 such that M = E, W = W and q : M W coincide withπover q 1 (C) or some collar neighborhood C o W in W. Note that the normal bundleν o S ( ) in M is trivial, since π : E W is trivial over W. This completes the proo. The ollowing theorem is proved by a method similar to that used in the proos o Theorems 4.1 and 4.4.

14 14 MASAYUKI NISHIOKA Theorem 4.9. Let : M R 3 be a special generic map o a closed orientable n-dimensional maniold, n 5. Then the quotient map q : M W lits to an embedding into W R k 3 with respect to the projection P : W R k 3 W i the normal bundleν o the singular point set S ( ) in M is trivial and k (3n+3)/2. We need the ollowing proposition to prove Theorem 4.9. Proposition 4.10 (Budney, [2]). The embedding space Emb(S n,r k ) is min{2k 3n 4, k n 2}-connected i k n+2 3. Proo o Theorem 4.9. By Proposition 4.10, since k (3n+3)/2 and n 5, we have that the embedding space Emb(S n 3,R k 3 ) is 2-connected. This is a key to proving Theorem 4.9. We may assume that M is connected. Then, by Theorem 2.1, the quotient space W has the structure o a smooth compact orientable connected 3-dimensional maniold with non-empty boundary. So we have a handle decomposition o W as ollows: ( s ) ( t ) W = ( W [0, 1]) h 3, where h 1 i, i=1, 2,..., s, are 1-handles, h2 j, j=1, 2,..., t, are 2-handles, and h 3 is a 3-handle. Let C(= W [0, 1]) be the collar neighborhood o W in W. Here, W corresponds to W {0}. By using the same method used in the proo o Theorem 4.1, we can construct an embedding lit e 1 o q q 1(C) with respect to P C R k 3. h 1 1 We will extend e 1 to an embedding lit o the restriction o q to q 1 ) with respect to the restriction i=1 h 1 i j=1 P (C h 1 1 ) R k 3 : (C h1 1 ) Rk 3 C h 1 1. h 2 j (C Note that h 1 1 is identiied with D2 D 1 and is attached to C along D 2 S 0. Since the 1-handle h 1 1 is contractible, we have a bundle trivialization H 1,1 : q 1 (h 1 1 ) h1 1 S n 3. We have two end points (0,±1) o the core o the 1-handle h 1 1 = D2 D 1. Then, we deine the embeddingsφ ± : S n 3 R k 3 as the composition S n 3 ={(0,±1)} S n 3 q 1 ({(0,±1)}) {(0,±1)} R k 3 =R k 3, where the irst map is H 1 1,1 restricted to{(0,±1)} S n 3, the second map is e 1 restricted to q 1 ({(0, ±1)}) and the double-sign corresponds in the same order. Since Emb(S n 3,R k 3 ) is connected, there is a continuous path between φ andφ + in Emb(S n 3,R k 3 ). This induces a topological embedding q 1 ({0} D 1 )(= ({0} D 1 ) S n 3 ) ({0} D 1 ) R k 3,

15 DESINGULARIZING SPECIAL GENERIC MAPS INTO 3-DIMENSIONAL SPACE 15 which is an embedding on each S n 3 -iber. This coincides with e 1 q 1 (D 2 { 1,+1}) : q 1 (D 2 { 1,+1}) (D 2 { 1,+1}) R k 3 over q 1 ({0} { 1,+1}). Thereore, by gluing the two maps, we have a topological embedding q 1 (X)(= X S n 3 ) X R k 3, where X= (D 2 { 1,+1}) ({0} D 1 ). By composing this with the natural projection, we have a continuous map φ 1 : q 1 (X)(= X S n 3 ) R k 3. Letφ 2 : h 1 1 S n 3 R k 3 be the continuous map deined byφ 2 (x, y)= φ 1 (r 1 (x), y) or x h 1 1 and y S n 3, where r 1 : h 1 1 X is a deormation retract. Then a smooth approximationφ 3 : h 1 1 S n 3 R k 3 oφ 2 such that φ 3 D 2 { 1,+1} S n 3 =φ 2 D 2 { 1,+1} S n 3 induces a smooth embedding o{x} S n 3 intor k 3 or every x h 1 1, since so doesφ 2. Consequently, we have a smooth injection φ 4 : h 1 1 S n 3 h 1 1 Rk 3 deined byφ 4 (x, y)=(x,φ 3 (x, y)), (x, y) h 1 1 S n 3. Since the derivative oφ 4 at each point is injective and h 1 1 S n 3 is compact, we have thatφ 4 is an embedding. Put e 2 =φ 4. Then e 2 is an embedding lit o q q 1(h 1 1 ) with respect to P restricted to h 1 1 Rk 3. Since e 1 and e 2 coincide on the intersection o their sources, by glueing the two maps e 1 and e 2, we have an embedding lit o q q 1(C h 1 1 ) with respect to P restricted to (C h 1 1 ) Rk 3. By iterating this procedure, we construct an embedding lit e 3 o q restricted to q 1 (C ( s i=1 h1 i )) with respect to P restricted to (C ( s i=1 h1 i )) R k 3. Put W 1 = C ( s i=1 h1 i ). We will extend e 3 to an embedding lit o the restriction o q to q 1 (W 1 h 2 1 ) with respect to the restriction P (W1 h 2 1 ) Rk 3 : (W 1 h 2 1 ) Rk 3 W 1 h 2 1. Note that h 2 1 is identiied with D1 D 2 and is attached to W 1 along D 1 S 1. Since the 2-handle h 2 1 is contractible, we have a bundle trivialization H 1,2 : q 1 (h 2 1 ) h2 1 S n 3. We have the circle{0} S 1 as the core o the attaching annulus o the 2- handle h 2 1 = D1 D 2. Then, we deine the embeddingψ t : S n 3 R k 3 (t S 1 ) as the composition S n 3 ={(0, t)} S n 3 q 1 ({(0, t)}) {(0, t)} R k 3 =R k 3, where the irst map is H1,2 1 restricted to{(0, t)} S n 3 and the second map is e 3 restricted to q 1 ({(0, t)}). The amily{ψ t } t S 1 induces a continuous map ψ 0 o S 1 into Emb(S n 3,R k 3 ).

16 16 MASAYUKI NISHIOKA Sinceπ 1 Emb(S n 3,R k 3 )=0, the mapψ 0 extends to a continuous map o D 2 into Emb(S n 3,R k 3 ). This induces a topological embedding q 1 ({0} D 2 )(= ({0} D 2 ) S n 3 ) ({0} D 2 ) R k 3, which is an embedding on each S n 3 -iber. This coincides with e 3 q 1 (D 1 S 1 ) : q 1 (D 1 S 1 ) (D 1 S 1 ) R k 3 over q 1 ({0} S 1 ). Thereore, by gluing the two maps, we have a topological embedding q 1 (Y)(= Y S n 3 ) Y R k 3, where Y = (D 1 S 1 ) ({0} D 2 ). By composing this with the natural projection, we have a continuous map ψ 1 : q 1 (Y)(= Y S n 3 ) R k 3. Letψ 2 : h 2 1 S n 3 R k 3 be the continuous map deined byψ 2 (x, y)= ψ 1 (r 2 (x), y) or x h 2 1 and y S n 3, where r 2 : h 2 1 Y is a deormation retract. Then a smooth approximationψ 3 : h 2 1 S n 3 R k 3 oψ 2 such that ψ 3 D 1 S 1 S n 3=ψ 2 D 1 S 1 S n 3 induces a smooth embedding o{x} S n 3 into R k 3 or every x h 2 1, since so doesψ 2. Consequently, we have a smooth injection ψ 4 : h 2 1 S n 3 h 2 1 Rk 3 deined byψ 4 (x, y)=(x,ψ 3 (x, y)), (x, y) h 2 1 S n 3. Since the derivative oψ 4 at each point is injective and h 2 1 S n 3 is compact, we have thatψ 4 is an embedding. Put e 4 =ψ 4. Then e 4 is an embedding lit o q q 1(h 2 1 ) with respect to P restricted to h 2 1 Rk 3. Since e 3 and e 4 coincide on the intersection o their sources, by glueing the two maps e 3 and e 4, we have an embedding lit o q q 1(W 1 h 2 1 ) with respect to P restricted to (W 1 h 2 1 ) Rk 3. By iterating this procedure, we construct an embedding lit e 5 o q restricted to q 1 (W 1 ( t j=1 h2 j )) with respect to P restricted to (W 1 ( tj=1 h2 j )) Rk 3. Now, let us extend the lit e 5 to the whole W. Since the 3-handle h 3 is contractible, we have a bundle trivialization H 3 : q 1 (h 3 ) h 3 S n 3. Then, we deine the continuous mapρ 1 : h 3 S n 3 R k 3 by the composition h 3 S n 3 q 1 ( h 3 ) h 3 R k 3 R k 3, where the irst map is the restriction o H 1 3 to h 3 S n 3, the second map is the restriction o e 5 to q 1 ( h 3 ) and the last map is the projection. Recall thatπ 2 Emb(S n 3,R k 3 )=0. Thereore, the continuous mapρ 1 extends to a continuous mapρ 2 : h 3 S n 3 R k 3 which induces a smooth embedding intor k 3 on each S n 3 -iber. Then a smooth approximationρ 3 : h 3 S n 3 R k 3 oρ 2 such thatρ 3 h 3 S n 3=ρ 2 h 3 S n 3 induces a smooth

17 DESINGULARIZING SPECIAL GENERIC MAPS INTO 3-DIMENSIONAL SPACE 17 embedding on each S n 3 -iber, since so doesρ 2. injection ρ 4 : h 3 S n 3 h 3 R k 3 So we have a smooth deined byρ 4 (x, y)=(x,ρ 3 (x, y)) or x h 3 and y S n 3. Since the derivative oρ 4 at each point is injective and h 3 S n 3 is compact, we have thatρ 4 is a smooth embedding. Put e 6 =ρ 4. Then, since e 5 and e 6 coincide on the intersection o their sources, by gluing the two maps e 5 and e 6, we have an embedding lit o q with respect to P. This completes the proo. As a consequence o Theorem 4.9, by using the same method as that in the proo o Theorem 4.4, we have the ollowing result. Theorem Let : M R 3 be a special generic map o a closed orientable n-dimensional maniold, n 5. Then lits to an embedding intor k with respect to the natural projectionπ :R k R 3 i the normal bundleν o the singular point set S ( ) in M is trivial and k (3n+3)/2. Furthermore, Theorem 4.11 can be generalized as ollows. Theorem Let : M R p be a special generic map o a closed orientable n-dimensional maniold with n > p 1. Then lits to an embedding intor k with respect to the natural projectionπ : R k R p i the normal bundleν o the singular point set S ( ) in M is trivial and k max{(3n+3)/2, n+ p+1}. This is proved by the (almost) same method as that in the proos o Theorems 4.9 and The key ingredient to proving Theorem 4.12 is that Emb(S n p,r k p ) is (p 1)-connected. 5. Acknowledgements The author would like to express his sincere gratitude to Proessor Osamu Saeki or useul comments and suggestions. The author would also like to express his thanks to Proessor Masamichi Takase or invaluable comments and suggestions. Reerences [1] S. J. Blank and C. Curley, Desingularizing maps o corank one, Proc. Amer. Math. Soc. 80 (1980), [2] R. Budney, A amily o embedding spaces, Geometry and Topology Monographs 13 (2008), [3] O. Burlet and G. de Rham, Sur certaines applications génériques d une variété close à trois dimensions dans le plan, Enseign. Math. 20 (1974), [4] O. Burlet and V. Haab, Réalisations de onctions de Morse sur des suraces par des immersions et plongements dans l espacer 3, C. R. Acad. Sci. Paris Sér. I Math. 300 (1985), [5] J. Cer, Sur les diéomorphismes de la sphère de dimension trois (Γ 4 = 0), Lecture Notes in Math., Vol. 53, Springer-Verlag, 1968.

18 18 MASAYUKI NISHIOKA [6] D. Crowley and T. Schick, The Gromoll iltration, KO-characteristic classes and metrics o positive scalar curvature, Geometry and Topology 17 (2013), [7] J. M. Èliašberg, On singularities o olding type, Math. USSR-lzv. 4 (1970), [8] A. Haeliger, Quelques remarques sur les applications diérentiables d une surace dans le plan, Ann. Inst. Fourier, Grenoble 10 (1960), [9] A. Hatcher, A proo o the Smale conjecture, Di(S 3 ) O(4), Ann. o Math. (2) 117 (1983), [10] L. Kushner, H. Levine and P. Porto, Mapping three-maniolds into the plane. I, Bol. Soc. Mat. Mexicana (2) 29 (1984), [11] H. Levine, Classiying immersions intor 4 over stable maps o 3-maniolds intor 2, Lecture Notes in Math., Vol. 1157, Springer-Verlag, Berlin, [12] P. Porto and Y. K. S. Furuya, On special generic maps rom a closed maniold into the plane, Topology Appl. 35 (1990), [13] O. Saeki, Topology o special generic maps o maniolds into Euclidean spaces, Topology Appl. 49 (1993), [14] O. Saeki, Topology o special generic maps intor 3, Workshop on Real and Complex Singularities (São Carlos, 1992), Mat. Contemp. 5 (1993), [15] O. Saeki and T. Takase, Desingularizing special generic maps, Journal o Gökova Geometry Topology 7 (2013), [16] Y. Saito, On decomposable mappings o maniolds, J. Math. Kyoto Univ. 1 (1961/1962), [17] S. Smale, Dieomorphisms o the 2-sphere, Proc. Amer. Math. Soc. 10 (1959), [18] R. Thom, Les singularités des applications diérentiables, Ann. Inst. Fourier, Grenoble 6 ( ), [19] M. Yamamoto, Liting a generic map o a surace into the plane to an embedding into 4-space, Illinois J. Math. 51 (2007), [20] M. Yamamoto, On embedding lits over a Morse unction on a circle, Singularity theory, geometry and topology, pp , RIMS Kôkyûroku Bessatsu B38, Res. Inst. Math. Sci. (RIMS), Kyoto, Graduate School o Mathematics, Kyushu University, Motooka 744