arXiv:2011.12066v7 [math.AT] 21 May 2021 c oteui pee hs asaeatatv nteter falge of theory the in attractive manifolds. are of maps topology These differential charac and . they unit shows, the manifold theorem 4-dimensional to and Reeb’s cases As 4-dimensional except topologically points. singular two exactly min opc mohsbaiod.Hmlg rus Cohomology groups. Homology submanifolds. smooth Compact n point an into boundary no with r qaosadtersrcin otesnua esaeembedd are sets singular the Proposition to restrictions the and equators are utemr,tersrcino h a otesnua e sasmo a is set singular the to map the of restriction the Furthermore, mohsbaiodo ieso dim dimension of submanifold smooth ≥ : hogottepeetppr a paper, present the Throughout generic Special e od n phrases. and words Key 2020 pca generic Special aoia rjcin fui pee r loseilgnrc Th generic. special also are unit of projections Canonical X { n utbecoordinates. suitable and 1 dim fwihi srpeetda ( as represented is it which of → ahmtc ujc Classification Subject Mathematics H MGSO PCA EEI ASO AN OF MAPS GENERIC SPECIAL OF IMAGES THE Abstract. h mgsadtepeetppri setal nconstruct on essentially studie is topological manifolds. differential paper and present topological they the algebraic that on and m imply so generic images special and studies of the Some examples rings, explicit cohomology and construction targets. groups, new the homology of on those information wh as manifolds same compact immersed are smoothly are They h manifolds. They stru maps. differentiable the such and admit strongly. topologies spheres folds the of restrict to products found of o to sums diffeomorphic connected manifolds suitable and projectio Canonical examples simplest functions. cl such This of versions spheres. mensional standard 4-dimensional topol and spheres 4-dimensional characterizing points, singular two exactly X, Y h rsn ae oue niae fseilgnrcmp o maps generic special of images on focuses paper present The dim 1 sapita hc h ako h differential the of rank the which at point a is . o pca eei map generic special a For Y } asaesot ( smooth are maps asaehge iesoa esoso os ucin with functions Morse of versions dimensional higher are maps h ls of class The n the and iglrte fdffrnibemp.Fl seilgeneri (special Fold maps. differentiable of Singularities n dmninlmnfl ihn onaya each at boundary no with manifold -dimensional LMNAYCLASS ELEMENTARY iglrset singular pca generic special 1. AK KITAZAWANAOKI Introduction. x 1 rmr 74.Scnay57R19. Secondary 57R45. Primary : iglrpoint singular , C X · · · ∞ − stesto l iglrpoints. singular all of set the is 1 x asfo an from maps ) ftemanifold the of 1 c m ascnan os ucin with functions Morse contains maps : ) X 7→ → ( x 1 p Y , · · · h iglrsti closed a is set singular the , ∈ fimre compact immersed of s rings. gclywihaenot are which ogically X so ntshrsare spheres unit of ns x , p yinvestigating by aps trso h mani- the of ctures s sfrhge di- higher for is ass m X n e ersne as represented nes fadffrnibemap differentiable a of , dmninlmanifold -dimensional o n explicit and ion Σ n a oboundary. no has and s dimensions ose epresent We . m j dc =1 − ings. p aemuch have n v been ave i iglrsets singular eir closed n ssalrthan smaller is x diffeomorphic s t immersion. oth ri topology braic n eiespheres terize + j 2 for ) singular )maps. c) m ≥ 2 NAOKI KITAZAWA

Fold maps are defined as higher dimensional versions of Morse functions in a similar way. They also satisfy Proposition 1. Special generic maps are fold maps. See [4] and [14] for example. Fold maps are also fundamental and important tools in the theory of algebraic topology and differential topology of manifolds. However we do not use general fold maps in the present paper. Theorem 1 explicitly explains that special generic maps give strong restrictions on the topologies and the differentiable structures of the manifolds in various cases. This makes special generic maps attractive. Before presenting Theorem 1, we explain some. Hereafter, manifolds, maps between manifolds, bundles whose fibers are manifolds, and so on, are smooth or of the class C∞ unless otherwise stated. Connected sums and boundary connected sums of manifolds, and so on, are also considered in the smooth category. A standard sphere is a manifold diffeomorphic to a unit sphere. A is a manifold homeomorphic to a unit sphere. An exotic sphere means a homotopy sphere which is not diffeomorphic to any standard sphere. Sk denotes the k-dimensional unit sphere and Dk denotes the k-dimensional unit disc throughout the present paper. Theorem 1 ([2], [15], [16] and [21].). No exotic sphere of dimension m ≥ 4 admits special generic maps into Rn for n = m − 3,m − 2,m − 1. Homotopy spheres except 4-dimensional exotic spheres admit special generic maps into the plane. Furthermore, 7-dimensional oriented smooth homotopy spheres of at least 14 types of the 28 types admit no special generic maps into R3. [12] is well-known as a pioneering study on discoveries of exotic spheres. The the- ory of [3] shows there exist exactly 28 types of oriented smooth homotopy spheres. More studies on special generic maps are presented in section 3. The present paper focuses on images of special generic maps on closed manifolds. As is presented in section 2, they are smoothly immersed compact manifolds whose dimensions are same as those of the targets and they have much information on homology groups, cohomology rings, and so on, in considerable cases. The present paper concerns essentially a constructive study of compact manifolds smoothly im- mersed or embedded into the Euclidean space of the same dimension to obtain special generic maps via Proposition 2 in section 2. Although such systematic studies on construction is very fundamental, even elementary studies and results seem to have not been known unitil now due to the difficulty of construction of explicit manifolds and finding good applications to problems in geometry and gen- eral fields of mathematics. For example, Nishioka’s proposition on restrictions on integral homology groups of compact and orientable manifolds, which is presented as Proposition 4 in section 3, is a recent result. It was shown to give a complete answer to the following problem in [13]: determine 5-dimensional closed and simply- connected manifolds admitting special generic maps into Rn for n =1, 2, 3, 4. Main results are the following. We introduce a Y/Z-remove to a compact and smooth manifold in section 3. Main Theorem (Theorem 6.). Let G be an arbitrary finitely generated commutative group and G1 and G2 be arbitrary free finitely generated commutative groups. Then there exists a 5-dimensional compact and simply-connected manifold X smoothly embedded into R5 satisfying the following properties. (1) X is represented as a boundary of manifolds diffeomorphic to one of the following two properties. THE IMAGES OF SPECIAL GENERIC MAPS OF AN ELEMENTARY CLASSES 3

(a) A manifold obtained by a Y/Z-remove to a 5-dimensional standard sphere or a 5-dimensional standard closed disc for a suitable 3-dimensional closed, connected and orientable manifold Y such that H1(Y ; Z) is a finite and non-trivial group and that Z is a one-point set. (b) Sk × D5−k (2 ≤ k ≤ 4). (2) H2(X; Z) is isomorphic to G. (3) Hj (X; Z) is isomorphic to Gj−2 for j =3, 4. From Propositions 2 and 3 we have the following.

Main Corollary (Corollary 1.). For any commutative group A, any integer m > 5 and any manifold X in Theorem 6, there exist an m-dimensional closed and simply- 5 connected manifold M and a special generic map to f : M → R such that Wf = N¯ in Proposition 2 is diffeomorphic to X, that the restriction to the singular set is an embedding and that Hj (M; A) =∼ Hj (X; A) for 0 ≤ j ≤ m − 5. In the next section, we first review fundamental algebraic topological and differ- ential topological theory of special generic maps. We introduce fundamental con- struction, (co)homological information of the manifolds admitting special generic maps, and so on. Key facts are that a special generic map is represented as the composition of a surjection with a smooth immersion whose codimension is 0 into the target, that the target of the first surjection has much (co)homological infor- mation of the manifold and that from a smooth immersion whose codimension is 0 into a manifold with no boundary we can construct a special generic on a suitable closed manifold. The last section is devoted to the main ingredient including Main Theorem and Main Corollary. We first review known algebraic topological and dif- ferential topological studies of special generic maps including a fundamental result by Nishioka [13] as Proposition 4. After that, we mainly present new construction of compact manifolds smoothly immersed or embedded into the Euclidean spaces of the same dimensions. Theorem 5 is also a new theorem and a key tool in proving Main Theorem and Main Corollary. As presented in section 2, we can construct a special generic map on a suitable closed manifold from the immersion or embedding. As a result we can extend a result in [8].

2. Algebraic topological and differential topological properties of special generic maps. The following proposition comes from a theorem characterizing manifolds ad- mitting special generic maps in [15]. In the present paper, a diffeomorphism on a smooth manifold is assumed to be smooth and the diffeomorphism group of the manifold is the group consisting of all diffeomorphisms on the manifold. A smooth bundle is a bundle whose fiber is a smooth manifold and whose structure group is the diffeomorphism group. A linear bundle is a smooth bundle whose fiber is a unit disc (sphere) and whose structure group acts on the fiber as linear transformations.

Proposition 2 ([15]). Let m>n ≥ 1 be integers. Let f¯N be a smooth immersion from an n-dimensional compact manifold N¯ into an n-dimensional manifold N with no boundary. In this situation, there exist a closed manifold M of dimension m and a special generic map f : M → N represented as the composition of a surjection ¯ ¯ qfN onto N with fN such that the following two properties hold. 4 NAOKI KITAZAWA

(1) The composition of the restriction of qfN to the preimage of a small collar neighborhood N(∂N¯) with the canonical projection to the boundary gives a trivial linear bundle whose fiber is diffeomorphic to the (m − n + 1)- dimensional unit disc. (2) On the preimage of the complementary set of the interior of the collar neigh-

borhood, qfN gives a trivial smooth bundle whose fiber is diffeomorphic to Sm−n. If N is orientable, then we can obtain M as an orientable manifold. If N is con- nected, then we can obtain M as a connected manifold. If N satisfies both, then we can construct M satisfying both. In general, special generic maps have structures in Proposition 2 where the two ¯ ¯ bundles may not be trivial (see [15]). Hereafter, qf , Wf and f denote qfN , N and f¯N , respectively. This is based on well-known notation on so-called Stein factorizations and Reeb spaces of maps between topological spaces. Reeb spaces will be also explained in Remark 1. We can know simple examples in [15] and also in [7], [8], and so on. Proposition 3 ([6], [7], [14], [15], [19], and so on.). In the situation of Proposition ∼ 2, qf : M → Wf := N¯ induces isomorphisms qf ∗ : Hj (M; A) = Hj (Wf ; A), ∼ ∗ j ∼ j qf ∗ : πj (M) = πj (Wf ), and qf : H (Wf ; A) = H (M; A) for 0 ≤ j ≤ m − n where A is a commutative group. This holds for general special generic maps as before.

3. Compact manifolds smoothly immersed or embedded into the Euclidean space of the same dimension and main theorems. 3.1. Several algebraic topological and differential topological studies of special generic maps including ones on Wf for a special generic map f in Proposition 2. The following was shown in [13] and the proof works in the PL category. Proposition 4 ([13]). Let A be a principal ideal domain. Let P be a compact, connected and orientable PL manifold whose dimension is greater than or equal to 2 satisfying H1(P ; A)= {0}. Then, Hj (P ; A) is free for j = dim P − 2, dim P − 1. Note that we can easily know this for dim P = 2, 3. Nishioka applied this for dim P = 4 and ∂P 6= ∅ to determine dimensions of Euclidean spaces into which 5-dimensional closed and simply-connected manifolds admit special generic maps. These manifolds are classified completely in [1] in the topology, the PL, and the smooth categories. Theorem 2 ([13].). A 5-dimensional closed and simply-connected admits a special generic map into Rn for n = 3, 4 if and only if it is homeomorphic to (and as a result diffeomorphic to) S5 or represented as a connected sum of total spaces of (lin- ear) bundles over the 2-dimensional standard sphere whose fiber is a 3-dimensional standard sphere. We introduce several known results on manifolds admitting special generic maps of suitable classes. THE IMAGES OF SPECIAL GENERIC MAPS OF AN ELEMENTARY CLASSES 5

Theorem 3 ([15].). A closed and connected manifold of dimension m> 2 admits a special generic map into the plane if and only if it is a homotopy sphere admitting a special generic function or represented as a connected sum of total spaces of bundles over the circle whose fibers are homotopy spheres admitting special generic functions. Furthemore, closed manifolds admitting special generic maps into R3 are classi- fied under constraints on the fundamental groups. Theorem 4 ([17], [18], and so on.). A 4-dimensional closed manifold whose fun- damental group is free admits a special generic map into R3 if and only if it is diffeomorphic to S4 or a manifold represented as a connected sum of total spaces of (linear) bundles over the circle whose fibers are diffeomorphic to S3 or ones over S2 whose fibers are diffeomorphic to S2. Furthermore, there exists a manifold M homeomorphic to one of such manifolds satisfying the following two properties. (1) M admits a fold map into R3. (2) M admits no special generic maps into R3. 3.2. A kind of surgery operations to construct compact manifolds smoothly immersed or embedded into the same dimensional Euclidean spaces and main results. Let X be a topological space regarded as a polyhedron. We explain k k about the (integral) homology group of X × S for k> 0. For Hi(X × S ; Z) where k i> 0, let Hb,i,k(X) ⊂ Hi(X × S ; Z) be the set of all integral homology classes of the form ip∗(c) for some homology class c of X and the inclusion ip of the form k k ip : X → X × S satisfying ip(x) = (x, p) (p ∈ S ). This is a subgroup. Let k Hf,i,k(X) ⊂ Hi(X × S ; Z) be the set of all integral homology classes in the image k of a kind of variants of so-called prism operators from Hb,i−k,k(X) to Hi(X ×S ; Z). This is defined respecting the structure of the product. This homomorphism is a k monomorphism. As a natural fact, Hi(X × S ; Z) is the internal direct sum of Hb,i,k(X) and Hf,i,k(X). Let X be a compact manifold and Y be a closed submanifold of X with no boundary embedded smoothly in IntX so that the normal bundle is trivial. Let Z be empty or a closed submanifold of Y with no boundary satisfying dim Z < dim Y and embedded smoothly in Y . Let N(Y ) be a small tubular neighborhood of Y and N(Z) be a small tubular neighborhood of Z ⊂ Y (in Y if Z 6= ∅). N(Y ) is regarded as the total space of a trivial bundle whose fiber is diffeomorphic to Ddim X−dim Y , regarded as a subbundle of a normal bundle of Y . We regard N(Y ) as a trivial linear bundle over Y and let N(Y,Z) ⊂ N(Y ) be the restriction of this bundle to N(Z). E(Y,Z) denotes the complementary set of the interior of N(Y,Z) in N(Y ). This is regarded as the restriction of the bundle N(Y ) over Y to the complementary set CE(Z) of the interior of N(Z) in Y . Definition 1. We call the procedure of removing the interior of E(Y,Z) from X and smoothing to obtain a compact and smooth manifold with no corner a Y/Z-remove to X. Let X(Y,Z) denote the resulting manifold. Let NE(Y,Z) denote E(Y,Z) T N(Y,Z). This is the restriction of the two bun- dles to ∂N(Z). Let SE(Y,Z) denote the subbundle of E(Y,Z) which is a bundle over the complementary set CE(Z) of the interior of N(Z) in Y obtained by re- stricting the fibers to the boundaries of the (dim X −dim Y )-dimensional discs. Let 6 NAOKI KITAZAWA

SNE(Y,Z) denote the subbundle of NE(Y,Z) obtained in a similar way. We have a Mayer-Vietoris exact sequence

→ Hj (SNE(Y,Z); Z) → Hj (NE(Y,Z); Z)⊕Hj (SE(Y,Z); Z) → Hj (∂E(Y,Z); Z) → and an equivalent exact sequence

→ Hb,j,dim X−dim Y −1(∂N(Z))) ⊕ Hf,j,dim X−dim Y −1(∂N(Z))

→ Hj (∂N(Z); Z) ⊕ Hb,j,dim X−dim Y −1(CE(Z)) ⊕ Hf,j,dim X−dim Y −1(CE(Z))

→ Hj (∂E(Y,Z); Z) →.

We can represent the homomorphism from

Hb,j,dim X−dim Y −1(∂N(Z)) ⊕ Hf,j,dim X−dim Y −1(∂N(Z)) by the sum of the two homomorphisms

′ ′ ′ 2 {ij ,1 ⊕ ij .2 ⊕ ij ,3}j′=1 into the direct sum

Hj (∂N(Z); Z) ⊕ Hb,j,dim X−dim Y −1(CE(Z)) ⊕ Hf,j,dim X−dim Y −1(CE(Z)) ′ ′′ where ij′,j′′ is a homomorphism from the j -th summand into the j -th summand (and defined as a suitable homomorphism in the homomorphism between the orig- inal two groups). We represent the homomorphism as this. We can represent the homomorphism from

Hj (∂N(Z); Z) ⊕ Hb,j,dim X−dim Y −1(CE(Z)) ⊕ Hf,j,dim X−dim Y −1(CE(Z)) ′ ′ 3 Z by the sum of the three homomorphisms {i j }j′=1 into Hj (∂E(Y,Z); ) where the j′-th homomorphism is a homomorphism from the j′-th summand (and defined as a suitable homomorphism in the homomorphism between the original two groups). We represent this homomorphism as this. We investigate the homomorphisms and Hj (∂E(Y,Z); Z) where Z is a one-point set for j > 0 and dim X − dim Y ≥ 2. i1,1 ⊕ i1.2 ⊕ i1,3 is the direct sum of an isomorphism, a zero homomorphism and another zero homomorphism. The first summand is an isomorphism since it is regarded as an identity map under a suitable identification. The second summand is the zero homomorphism since ∂N(Z) is a sphere bounding CE(Z). The third summand is also the zero homomorphism by the definition. i2,1 ⊕ i2.2 ⊕ i2,3 is the direct sum of a zero homomorphism, another zero homomorphism and a homomorphism: we know this for the first two homomorphisms by the definition and the third homomorphism is the zero homomorphism from a trivial group for 0

Theorem 5. Let X be a copy of a unit disc. Let Y be a closed submanifold of X with no boundary satisfying dim Y > 0 and embedded smoothly in IntX so that the normal bundle is trivial and that the dimension of the normal bundle is greater than 1. Let Z be a one-point set of Y . In this situation, Hj (X(Y,Z); Z) is isomorphic Z to Hj−(dim X−dim Y −1)(CE(Z); ) for dim X − dim Y − 1

→ Hj (∂E(Y,Z); Z) → Hj (E(Y,Z); Z) ⊕ Hj (X(Y,Z); Z) → Hj (X; Z) → and the homomorphism from Hj (∂E(Y,Z); Z) into Hj (E(Y,Z); Z)⊕Hj (X(Y,Z); Z) is an isomorphism. Hj (∂E(Y,Z); Z) has been shown to be isomorphic to the direct sum of Hj (CE(Z),∂N(Z); Z) Z and Hj−(dim X−dim Y −1)(CE(Z),∂N(Z); ) in the previous argument. Moreover, these direct summands are isomorphic to Hj (CE(Z); Z) for 0

By virtue of [20], every 3-dimensional closed, connected and orientable manifold can be embedded into R5 smoothly. In this proposition, let dim X = 5. For 8 NAOKI KITAZAWA any finite commutative group G, we can take Y ⊂ X as a 3-dimensional closed, connected and orientable manifold satisfying H1(Y ; Z) =∼ H1(CE(Z); Z) =∼ G and H2(Y ; Z) =∼ H2(CE(Z); Z) =∼ {0}. We also have dim X − dim Y − 1=5 − 3 − 1=1 and dim X − 1=5 − 1 = 4. We consider a boundary connected sum of X(Y,Z) where Z is a one-point set and finitely many copies of 5-dimensional manifolds having the form S2 × D3, S3 × D2 or S4 × D1. We have the following theorem by applying Theorem 5.

Theorem 6. Let G be an arbitrary finitely generated commutative group and G1 and G2 be arbitrary free finitely generated commutative groups. Then there exists a 5-dimensional compact and simply-connected manifold X smoothly embedded into R5 satisfying the following properties. (1) X is represented as a boundary connected sum of manifolds diffeomorphic to one of the following two. (a) A manifold obtained by a Y/Z-remove to a 5-dimensional standard sphere or a copy of the 5-dimensional unit disc for a suitable 3-dimensional closed, connected and orientable manifold Y such that H1(Y ; Z) is a finite and non-trivial group and that Z is a one-point set. (b) Sk × D5−k (2 ≤ k ≤ 4). (2) H2(X; Z) is isomorphic to G. (3) Hj (X; Z) is isomorphic to Gj−2 for j =3, 4.

Note that for the case G2 = {0}, we must use a manifold obtained by a Y/Z- remove to a 5-dimensional standard sphere instead of a copy of the 5-dimensional unit disc. Note also that for the case where the manifold to which we do a Y/Z- remove is a 5-dimensional standard sphere, we can argue similarly except for the 4-th homology groups. rankHdim X−1(X(Y,Z); Z) = rankHdim X−1(∂E(Y,Z); Z) − rankHdim X−1(E(Y,Z); Z) − 1 holds instead in Theorem 5. We can show a similar theorem where the manifold X is not supposed to be simply-connected. Proposition 4 implies that in the case where H1(X; Z) is zero and X is orientable, Hj (X; Z) must be free for j =3, 4. From Propositions 2 and 3 we have the following corollary. Corollary 1. For any commutative group A, any integer m> 5 and any manifold X in Theorem 6, there exist an m-dimensional closed and simply-connected manifold 5 M and a special generic map to f : M → R such that Wf = N¯ in Proposition 2 is diffeomorphic to X, that the restriction to the singular set is an embedding and that Hj (M; A) =∼ Hj (X; A) for 0 ≤ j ≤ m − 5. This result can be regarded as an extension of a result (Theorem 8) in [8] where G is assumed to be represented as a direct sum of finitely many copies of Z or Z/2Z. We can also improve Theorems 9 and 10 of [8] by applying the fact that there exists a 5-dimensional closed and simply-connected manifold whose second integral homology group is isomorphic to a group represented as a direct sum of two copies of an arbitrary finite commutative group and which we can immerse and embed into R6. See also [1], [13], and so on, for this 5-dimensional theory. Rigorous arguments are left to readers. Remark 1. The Reeb space of a map between topological spaces is defined as the space of all connected components of preimages for the map. For a fold map, it THE IMAGES OF SPECIAL GENERIC MAPS OF AN ELEMENTARY CLASSES 9 is regarded as a polyhedron whose dimension is equal to that of the target and it inherits (co)homological information of the manifold in various situations. The Reeb space of a special generic f is Wf . If we see the compact manifold above as a Reeb space, then this operation is regarded as an advanced version of a kind of surgery operations first defined in [5] where Z is empty. Note also that operations in [5] were introduced motivated by [9], [10] and [11] and that they are extensions of operations in [9] and [10].

4. Acknowledgement and on data. The author is a member of JSPS KAKENHI Grant Number JP17H06128 ”Inno- vative research of and singularities of differentiable mappings”. This work is also supported by this project. The author declares that data related to the present study are available within the present paper.

References [1] D. Barden, Simply Connected Five-Manifolds, Ann. of Math. (3) 82 (1965), 365–385. [2] E. Calabi, Quasi-surjective mappings and a generalization of , Proc. U.S.-Japan Seminar in Differential Geometry, Kyoto, 1965, pp. 13–16. [3] J. J. Eells and N. H. Kuiper, An invariant for certain smooth manifolds, Ann. Mat. Pura Appl. 60 (1962), 93–110. [4] M. Golubitsky and V. Guillemin, Stable mappings and their singularities, Graduate Texts in Mathematics (14), Springer-Verlag (1974). [5] N. Kitazawa, Constructing fold maps by surgery operations and homological information of their Reeb spaces, submitted to a refereed journal, :1508.05630 (the title has been changed). [6] N. Kitazawa, Notes on fold maps obtained by surgery operations and algebraic information of their Reeb spaces, submitted to a refereed journal, arxiv:1811.04080. [7] N. Kitazawa Closed manifolds admitting no special generic maps whose codimensions are negative and their cohomology rings, submitted to a refereed journal, arxiv:2008.04226. [8] N. Kitazawa, Notes on special generic maps into Euclidean spaces whose dimensions are greater than 4, submitted to a refereed journal, arXiv:2010.10078v4. [9] M. Kobayashi, Stable mappings with trivial monodromies and application to inactive log- transformations, RIMS Kokyuroku. 815 (1992), 47–53. [10] M. Kobayashi, Bubbling surgery on a smooth map, preprint. [11] M. Kobayashi and O. Saeki, Simplifying stable mappings into the plane from a global view- point, Trans. Amer. Math. Soc. 348 (1996), 2607–2636. [12] J. Milnor, On manifolds homeomorphic to the 7-sphere, Ann. of Math. (2) 64 (1956), 399–405. [13] M. Nishioka, Special generic maps of 5-dimensional manifolds, Revue Roumaine de Math‘ematiques Pures et Appliqu`ees, Volume LX No.4 (2015), 507–517. [14] O. Saeki, Notes on the topology of folds, J. Math. Soc. Japan Volume 44, Number 3 (1992),551–566. [15] O. Saeki, Topology of special generic maps of manifolds into Euclidean spaces, Topology Appl. 49 (1993), 265–293. [16] O. Saeki, Topology of special generic maps into R3, Workshop on Real and Complex Singu- larities (Sao Carlos, 1992), Mat. Contemp. 5 (1993), 161–186. [17] O. Saeki and K. Sakuma, On special generic maps into R3, Pacific J. Math. 184 (1998), 175–193. [18] O. Saeki and K. Sakuma, Special generic maps of 4-manifolds and compact complex analytic surfaces, Math. Ann. 313, 617–633, 1999. [19] O. Saeki and K. Suzuoka, Generic smooth maps with sphere fibers J. Math. Soc. Japan Volume 57, Number 3 (2005), 881–902. [20] C. T. C. Wall, All 3-manifolds embed in 5-space, Bull. Amer. Math. Soc. 71 (1965), 564–567. 10 NAOKI KITAZAWA

[21] D. J. Wrazidlo, Standard special generic maps of homotopy spheres into Eucidean spaces, Topology Appl. 234 (2018), 348–358, arxiv:1707.08646.

Institute of Mathematics for Industry, Kyushu University, 744 Motooka, Nishi-ku Fukuoka 819-0395, Japan, TEL (Office): +81-92-802-4402, FAX (Office): +81-92-802- 4405, Email address: [email protected] Webpage: https://naokikitazawa.github.io/NaokiKitazawa.html