A smooth map having only fold singularities is called a fold-map. We will give effective conditions for a continuous map to be homotopic to a fold-map from the viewpoint of the homotopy principle.
A generic smooth map of a closed $2k$-manifold into $(3k-1)$-space has a finite number of cusps ($Σ^{1,1}$-singularities). We determine the possible numbers of cusps of such maps. A fold map is a map with singular set consisting of only fold singularities ($Σ^{1,0}$-singularities). Two fold maps are fold bordant if there are cobordisms between their source- and target manifolds with a fold map extending the two maps between the boundaries, if the two targets agree and the target cobordism can be taken as a product with a unit interval then the maps are fold cobordant. We compute the cobordism …
We determine those smooth $n$--dimensional closed manifolds with $n \geq 4$ which admit round fold maps into ${\mathbb{R}}^{n-1}$, i.e.\ fold maps whose critical value sets consist of disjoint spheres of dimension $n-2$ isotopic to concentric spheres. We also classify such round fold maps up to $C^{\infty}$ $\mathcal{A}$--equivalence.
Milnor fibrations were extended by Mutsuo Oka for certain mixed polynomial. In this paper, we study singular points of differentiable maps into the 2-dimensional torus, called Milnor fibration product maps, obtained by several Milnor fibrations for mixed polynomial. We give a characterization of singular points of such product maps, and for the case of certain polar weighted homogeneous polynomials, a criterion for a fold singular point.
This is a survey paper of author's results on cobordism groups and semigroups of fold maps and simple fold maps. The results include: establishing a relation between fold maps and immersions through geometrical invariants of cobordism classes of fold maps and simple fold maps in terms of immersions with prescribed normal bundles, detecting stable homotopy groups of spheres as direct summands of the cobordism semigroups of fold maps, Pontryagin-Thom type construction for -1 codimensional fold maps and estimations about the cobordism classes of manifolds which have fold maps into stably parallel…
We compute the oriented cobordism group of fold maps of 4-manifolds into the space with all the possible restrictions (and also with no restriction) to the singular fibers. We also give geometric invariants which describe completely the cobordism group of fold maps.
We give complete geometric invariants of cobordisms of fold maps with oriented singular set and cobordisms of even codimensional fold maps. These invariants are given in terms of cobordisms of stably framed manifolds and cobordisms of immersions with prescribed normal bundles defined by the author in his earlier works.
We give complete geometric invariants of cobordisms of framed fold maps. These invariants consist of two types. We take the immersion of the fold singular set into the target manifold together with information about non-triviality of the normal bundle of the singular set in the source manifold. These invariants were introduced in the author's earlier works. Secondly we take the induced stable partial framing on the source manifold whose cobordisms were studied in general by Koschorke. We show that these invariants describe completely the cobordism groups of framed fold maps into R^n. Then we a…
In this paper, we construct round fold maps or stable fold maps with concentric singular value sets introduced by the author on smooth bundles over spheres or bundles over more general manifolds. The class of round fold maps includes special generic maps on spheres and such maps have been constructed on smooth bundles over standard spheres of dimensions larger than 1 and connected sums of smooth bundles over standard spheres of dimensions larger than 1 whose fibers are standard spheres, for example, in previous studies by the author. In this paper, we obtain round fold maps and the diffeomorph…
Fold maps are higher dimensional versions of Morse functions, which play important roles in the studies of smooth manifolds, and such general maps also have been fundamental tools in the studies of smooth manifolds by using generic maps. In this paper, we study {\it simple} fold maps, which are fold maps such that any connected component of the inverse image of each singular value includes at most one singular point. More precisely, we consider simple fold maps having simple structures locally or globally and show that the source manifolds are bounded by (PL) manifolds obtained by considering …
{\it Fold maps} are fundamental tools in generalizing the theory of Morse functions and its application to studies of geometric properties of manifolds. One of the fundamental and important problems in the theory of fold maps is to construct explicit fold maps, which are often difficult. In this paper, we construct new examples of {\it round fold maps}, which are defined as {\it stable fold maps} with singular value sets of concentric spheres introduced by the author on manifolds having the structures of circle bundles. The class of round fold maps includes some {\it special generic} maps on h…
Constructing Morse functions and their higher dimensional versions or fold maps is fundamental, important and challenging in investigating the topologies and the differentiable structures of differentiable manifolds via Morse functions, fold maps and more general generic maps. It is one of important and interesting branches of the singularity theory of differentiable maps and applications to geometry of manifolds. In this paper we present fold maps with information of cohomology rings of their Reeb spaces. Reeb spaces are defined as the spaces of all connected components of all preimages, and …
In this paper, as a fundamental study on the theory of Morse functions and their higher dimensional versions or fold maps and applications to geometric theory of manifolds, which were started in 1950s by differential topologists such as Thom and Whitney and have been studied actively, we study algebraic and differential topological properties of certain fold maps and their source manifolds. More precisely, we investigate fold maps obtained by surgery operations to fundamental fold maps and especially, homology groups of Reeb spaces, which are defined as the space of all connected components of…
Fold maps are smooth maps at each singular point of which it is represented as the product map of a Morse function and the identity map. Round fold maps are, in short, such maps the sets of all singular points of which are embedded concentrically. They are, as Morse functions, important in understanding the topologies and the differentiable structures in geometric ways. In the present paper, we study cohomology rings of $3$-dimensional manifolds admitting round fold maps into the plane and see that difference of the coefficient rings and topological types of round fold maps are closely related…
We obtain complete geometric invariants of cobordism classes of oriented simple fold maps of (n+1)-dimensional manifolds into an n-dimensional manifold N in terms of immersions with prescribed normal bundles. We compute that this cobordism group of simple fold maps is isomorphic to the direct sum of the (n-1)th stable homotopy group of spheres and the (n-1)th stable homotopy group of the infinite dimensional projective space. By using geometric invariants defined in the author's earlier works, we also describe the natural map of the simple fold cobordism group to the fold cobordism group by na…
Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of topological properties of smooth manifolds. Round fold maps were introduced as stable fold maps with singular value sets, defined as the set consisting of all the singular values, of concentric spheres by the author in 2013; for example, some special generic maps on spheres are regarded as round fold maps whose singular value sets are connected. Algebraic invariants such as homology and homotopy groups of manifolds admitting round fold maps and more …
For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting theorem for the spectrum representing the cohomology theory of fold maps. For even q, the splitting theorem implies that the cobordism group of fold maps to a manifold N is a sum of q/2 cobordism groups of framed immersions to N and a group related to diffeomorphism groups of manifolds of dimension q+1. Similarly, in the case of odd q, the cobordism group of fol…
We study smooth maps between smooth manifolds with only fold points as their singularities, and clarify the obstructions to the existence of such a map in a given homotopy class for certain dimensions. The obstructions are described in terms of characteristic classes, which arise as Postnikov invariants, and can be interpreted as primary and secondary obstructions to the elimination of certain singularities. We also discuss the relationship between the existence problem of fold maps and that of vector fields of stabilized tangent bundles.
In this paper, we first give a new simple proof to the elimination theorem of definite fold by homotopy for generic smooth maps of manifolds of dimension strictly greater than $2$ into the $2$--sphere or into the real projective plane. Our new proof has the advantage that it is not only constructive, but is also algorithmic: the procedures enable us to construct various explicit examples. We also study simple stable maps of $3$--manifolds into the $2$--sphere without definite fold. Furthermore, we prove the non-existence of singular Legendre fibrations on $3$--manifolds, answering negatively t…
We present new explicit decompositions of manifolds via so-called fold maps into lower dimensional spaces. Fold maps form a nice class of so-called generic maps, generalizing Morse functions naturally. To understand the topologies and the differentibale structures of manifolds globally, decomposing manifolds are important and this presents interesting topics and problems on geometry of manifolds. The notion of a Heegaard splitting of a $3$-dimensional closed and connected manifold presents a pioneering study. A $3$-dimensional closed and connected manifold is always decomposed into two copies …
The theory of Morse functions and their higher dimensional versions or fold maps on manifolds and its application to geometric theory of manifolds is one of important branches of geometry and mathematics. Studies related to this was started in 1950s by differential topologists such as Thom and Whitney and they have been studied actively. In this paper, we study fold maps obtained by surgery operations to fundamental fold maps, and especially Reeb spaces, defined as the spaces of all connected components of preimages and in suitable situations inheriting fundamental and important algebraic inva…
In the singularity and differential topological theory of Morse functions and higher dimensional versions or fold maps and application to algebraic and differential topology of manifolds, constructing explicit fold maps and investigating their source manifolds is fundamental, important and difficult. The author has introduced surgery operations (bubbling operations) to fold maps, motivated by studies of Kobayashi, Saeki etc. since 1990 and has explicitly shown that homology groups of Reeb spaces of maps constructed by iterations of these operations are flexible in several cases. Such operation…
Graph manifolds form important classes of $3$-dimensional closed and orientable manifolds. For example, {\it Seifert} manifolds are graph manifolds where hyperbolic manifolds are not. In applying singularity theory of differentiable maps to understanding global topologies of manifolds, graph manifolds have been shown to be characterized as ones admitting so-called simple fold maps into the plane of explicit classes by Saeki and the author. The present paper presents several related new results. Fold maps are higher dimensional variants of Morse functions and simple ones form simple classes, ge…
Analysis of Hopf solitons as generalized fold maps
Hokkaido University(北海道大学);Hiroshima University(广岛大学);University of Colorado, Boulder(科罗拉多大学博尔德分校);National Renewable Energy Laboratory(美国国家可再生能源实验室);Keio University(庆应义塾大学)
Fold maps are higher dimensional versions of Morse functions and fundamental and important tools in studying algebraic and differential topological properties of manifolds: as the theory established by Morse and the higher dimensional version, started by Thom and Whitney, later actively studied by Eliashberg, Levine etc. and recently studied by Kobayashi, Saeki, Sakuma etc., explicitly show this. One of fundamental, important and difficult studies on this field is, constructing explicit fold maps and investigating their source manifolds. As fundamental and strong tools for systematic construct…
Milnor fibrations have been studied since 1960's. In this paper, we study singular points of differentiable maps, called Milnor fibration product maps, obtained by several Milnor fibrations. We give a characterization of singular points of such product maps, and for the case of certain weighted homogeneous polynomials, a criterion for a fold point together with its index.
A smooth map between smooth manifolds is called a special generic map if it has only definite fold points as its singularities. In this paper, we give conditions for a special generic map into the 3-dimensional Euclidean space to be factored as the composition of an embedding and a projection for certain dimensions.
We obtain relations among the characteristic classes of a manifold M admitting corank one maps. Our relations yield strong restrictions on the cobordism class of M and also nonexistence results for singular maps of the projective spaces. We obtain our results through blowing up a manifold along the singular set of a smooth map and perturbing the arising non-generic corank one map.
Classes of branched surfaces extend the classes of surfaces or 2-dimensional manifolds satisfying suitable properties and defined in various manners. Reeb spaces of smooth maps of suitable classes into surfaces whose codimensions are negative are regarded as branched surfaces. They are the spaces of all connected components of preimages and natural quotient spaces of the manifolds of the domains. They are defined for general smooth maps and important topological objects in differential topology. They also play important roles in applied or applications of mathematics such as projections in dat…
In this paper, we study deformations of Brieskorn polynomials of two variables obtained by adding linear terms consisting of the conjugates of complex variables and prove that the deformed polynomial maps have only indefinite fold and cusp singularities in general. We then estimate the number of cusps appearing in such a deformation. As a corollary, we show that a deformation of a complex Morse singularity with real linear terms has only indefinite folds and cusps in general and the number of cusps is 3.
We show that the cobordism groups of negative codimensional folds maps contain direct sums of stable homotopy groups of Thom spaces of vector bundles like the circle and the infinite dimensional projective space. We give geometrical invariants which detect these direct summands.
We provide negative answers to questions posed by Durham, Hagen, and Sisto on the existence of boundary maps for some hierarchically hyperbolic spaces, namely maps from right-angled Artin groups to mapping class groups. We also prove results on existence of boundary maps for free subgroups of mapping class groups.
A Reeb space is defined as the space of all the connected components of inverse images of a smooth map, which is a fundamental tool in studying smooth manifolds using generic smooth maps whose codimensions are not positive such as Morse functions, their higher dimensional versions including fold maps and general stable maps. A special generic map is a fold map and a generalization of Morse functions with just 2 singular points on homotopy spheres and the Reeb space is a compact manifold whose dimension is equal to that of the target manifold and which can be immersed into the target manifold. …