Notes on explicit smooth maps on 7-dimensional manifolds into the 4-dimensional Euclidean space

Abstract

A fold map is a smooth map at each singular point of which it is represented as the product map of a Morse function and the identity map on an open ball. A special generic map is a fold map such that the Morse function can be taken as a natural height function on an unit disk. The class of special generic maps includes a Morse function with exactly two singular points on a closed manifold, characterizing a sphere topologically (except 4-dimensional cases) as the Reeb's theorem shows, and canonical projections of unit spheres. It has been known that so-called exotic spheres do not admit special generic maps into Euclidean spaces whose dimensions are sufficiently high and smaller than the dimensions of the spheres. Exotic 7-dimensional homotopy spheres do not admit special generic maps into the 4-dimensional Euclidean space for example. We can easily obtain special generic maps on fundamental manifolds such as ones represented as connected sums of products of two standard spheres and in considerable cases, smooth manifolds resembling topologically them and different from them do not admit special generic maps. These interesting results are due to studies of Saeki, Sakuma and Wrazidlo since the 1990s. In the present paper, we present new results on explicit smooth maps including fold maps on 7-dimensional manifolds into the 4-dimensional Euclidean space and meanings in algebraic topology and differential topology of manifolds. Moreover, the author obtained related results before motivated by the studies before and they are reviewed in the presentation of the new results. We also present new discussions and results related to the results for 7-dimensional manifolds and maps on them for fold maps between manifolds of general dimensions.

arXiv comment25 pages, 4 figures, some of the description changed and a figure added, this version is submitted to a refereed journal (this is revised from the submitted version a little to upload there)

References in corpus (7)

• The classification of 2-connected 7-manifolds
• Round fold maps and the topologies and the differentiable structures of manifolds admitting explicit ones
• Standard Special Generic Maps of Homotopy Spheres into Euclidean Spaces
• Constructing fold maps by surgery operations and their Reeb spaces
• Notes on fold maps obtained by surgery operations and algebraic information of their Reeb spaces
• On the classification of 1-connected 7-manifolds with torsion free second homology
• A classification of $S^3$-bundles over $S^4$

Cited by in corpus (10)

• Closed manifolds admitting no special generic maps whose codimensions are negative and their cohomology rings
• Special generic maps and fold maps and information on triple Massey products of higher dimensional differentiable manifolds
• Notes on explicit special generic maps into Eulidean spaces whose dimensions are greater than 4
• 7-dimensional simply-connected spin manifolds whose integral cohomology rings are isomorphic to that of ${\mathbb{C}P}^2\times S^3$ admit round fold maps
• New explicit construction of fold maps on general 7-dimensional closed and simply-connected spin manifolds
• The topologies and the differentiable structures of the images of special generic maps having simple structures
• Global topologies of Reeb spaces of stable fold maps with non-trivial top homology groups
• Branched surfaces homeomorphic to Reeb spaces of simple fold maps
• A differential topological study of compact manifolds having simple structures
• 7-dimensional closed simply-connected and spin manifolds having 2nd integral cohomology classes whose squares are not divisible by 2 and stable fold maps on them