THE IMAGES OF SPECIAL GENERIC MAPS OF AN ELEMENTARY CLASS NAOKI KITAZAWA Abstract. The class of special generic maps contains Morse functions with exactly two singular points, characterizing spheres topologically which are not 4-dimensional and 4-dimensional standard spheres. This class is for higher di- mensional versions of such functions. Canonical projections of unit spheres are simplest examples and suitable manifolds diffeomorphic to ones represented as connected sums of products of spheres admit such maps. They have been found to restrict the topologies and the differentiable structures of the mani- folds strongly. The present paper focuses on images of special generic maps on closed manifolds. They are smoothly immersed compact manifolds whose dimensions are same as those of the targets. Some studies imply that they have much information on homology groups, cohomology rings, and so on. We present new construction and explicit examples of special generic maps by investigating the images and the present paper is essentially on construction and explicit algebraic topological and differential topological studies of immersed compact manifolds. 1. Introduction. Special generic maps are higher dimensional versions of Morse functions with exactly two singular points. As Reeb’s theorem shows, they characterize spheres topologically except 4-dimensional cases and 4-dimensional manifolds diffeomorphic to the unit sphere. These maps are attractive in the theory of algebraic topology and differential topology of manifolds. Throughout the present paper, a singular point p ∈ X of a differentiable map c : X → Y is a point at which the rank of the differential dcp is smaller than min{dim X, dim Y } and the singular set is the set of all singular points. ∞ arXiv:2011.12066v7 [math.AT] 21 May 2021 Special generic maps are smooth (C ) maps from an m-dimensional manifold with no boundary into an n-dimensional manifold with no boundary at each singular m−n 2 point of which it is represented as (x1, ··· xm) 7→ (x1, ··· , xn, Σj=1 xn+j ) for m ≥ n ≥ 1 and suitable coordinates. Canonical projections of unit spheres are also special generic. Their singular sets are equators and the restrictions to the singular sets are embeddings. Proposition 1. For a special generic map c : X → Y , the singular set is a closed smooth submanifold of dimension dim X−1 of the manifold X and has no boundary. Furthermore, the restriction of the map to the singular set is a smooth immersion. Key words and phrases. Singularities of differentiable maps. Fold (special generic) maps. Compact smooth submanifolds. Homology groups. Cohomology rings. 2020 Mathematics Subject Classification: Primary 57R45. Secondary 57R19. 1 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 homotopy sphere 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 connected sum 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.