Notes on fold maps obtained by surgery operations and algebraic information of their Reeb spaces
Abstract.
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 were started in 1950s by differential topologists such as Thom and Whitney and have been studied actively.
One of fundamental, important, interesting and difficult problems on such studies is construction of explicit fold maps and studying algebraic and differential topological information of source manifolds. One of explicit studies on construction of fold maps is construction by introducing and using surgery operations by Kobayashi since 1990s and motivated by this, the author introduced generalized versions and have succeeded in constructing explicit fold maps and knowing homological information of source manifolds.
In this paper, we study fold maps obtained by surgery operations to fundamental fold maps, especially algebraic topological information of Reeb spaces, deifned as the spaces of connected components of inverse images, often inheriting fundamental and important algebraic invariants such as (co)homology groups and fundamental and important in studying manifolds. The author has already studied about homology groups of Reeb spaces and source manifolds in the introduced studies before. In this paper, we study about cohomology rings as more precise information.
Key words and phrases:
Singularities of differentiable maps; generic maps. Differential topology. Reeb spaces.2010 Mathematics Subject Classification:
Primary 57R45. Secondary 57N15.1. Introduction and fundamental notation and terminologies.
Fold maps are smooth maps regarded as higher dimensional versions of Morse functions and fundamental and important tools in studying manifolds by investigating singular points and their values of generic smooth maps : the study is regarded as a general version of differential topological theory of Morse theory.
Definition 1.
Let and be integers satisfying the relation . A smooth map between dimensional smooth manifold without boundary and dimensional smooth manifold without boundary is said to be a fold map if at each singular point , the form is
for an integer . A singular point such that at the point a smooth map is of such a form is a fold point of the map.
Proposition 1.
For a fold map on a closed manifold, the following hold.

For any singular point , the as in Definition 1 is unique ( is called the index of ).

The set consisting of all singular points (the singular set) of a fixed index of the map is a closed smooth submanifold of dimension of the source manifold.

The restriction map to the singular set is a smooth immersion of codimension .
For fundamental theory of fold maps and more general generic maps, see [3] for example.
In studies of fold maps and application to differential topology of manifolds, construcing explicit fold maps is fundamental, important and difficult, where there are several fundamental examples as presented in Example 1.
Example 1.

FIGURE 1 represents a Morse function with just singular points, characterizing a homotopy sphere toplologically, and the canonical projection of a unit sphere.

(Discussed in [18] and later in [4], [5] and [7] etc..) FIGURE 3 represents a fold map into the plane or () such that the restriction to the singular set is embedding, that the singular set is a disjoint union of two spheres and that the inverse image of each regular value is or a disjoint union of two copies of an ()dimensional homotopy sphere represented as a manifold obtained by gluing two copies of (we call such a homotopy sphere an almostsphere) on the boundaries by a diffeomorphism as shown. Note also that such maps can characterize manifolds represented as total spaces of smooth bundles over with fibers diffeomorphic to with a condition on the structure of the map on the inverse image of the target space with the interior of an dimensional standard closed disc in the innermost connected component of the regular value set removed. See the three papers by the author cited before.
The first two examples are special generic: a special generic map is a fold map such that the index of each singular point is . Studies of special generic maps and their source manifolds were started by Furuya and Porto, Saeki and Sakuma have obtained various results and Nishioka and Wrazidlo recently obtained interesting results. Interesting points on special generic maps will be presented in Remark 1. See also [2], [16], [17] and see also [13] and [20]).
The author has succeeded in constructing explicit fold maps, in [4], [5], [7], [8] and [9] for example. In [10] and [11], Kobayashi has also succeeded in such works independently, for example.
In this paper, we further study about construction in [9]. In the paper, the author has constructed fold maps by surgery operations called bubbling operations. Such operations were introduced by the author based on [10], [11] etc. and regarded as general versions of surgery operations introduced and used in these studies. The author has also studied about Reeb spaces, defined as all connected components of inverse images of maps, inheriting fundamental important such as homology groups of source manifolds and fundamental and important tools in studying the manifolds. More precisely, the author has also investigated changes of homology groups of Reeb spaces by the operations. In this paper, we study about more precise algebraic invariants of Reeb spaces and source manifolds: we study about cohomology rings.
The organization of the paper is as the following and before the explanation, we define several terminologies used throughout this paper. The singular set of a smooth map is the set of all singular points, the singular value set of the map is the image of the singular set and each point in the set is a singular value, the regular value set is the complement of the singular value set in the target manifolds and each point is a regular value.
In section 2, we review Reeb spaces and bubbling operations; in [9], we introduced such operations and we revise definitions a little in the present paper. A bubbling operation is based on a bubbling surgery introduced in [11] ([10] is also closely related to the study). It is an operation of removing a closed disc in the regular value set and its inverse image and attaching a new smooth map whose singular set is a sphere of dimension smaller than the target space by and consists of fold points and whose restriction to the singular set is an embedding. Note that the operation does not change the other part of the map. In a word, a bubbling operation is defined by replacing a closed disc by a regular neighborhood of a bouquet of closed, connected and orientable submanifolds and regarded as a higher dimensional version. After introducing the definition of the operation, we introduce explicit cases and for example, we see that several simple examples including ones presented in FIGUREs 1–3 are obtained by finite iterations of such operations. We also review results on the changes or differences of homology groups. In addition, we also introduce results stating that for suitable fold maps such that inverse images of regular values are disjoint unions of spheres, we can know algebraic invariants of source manifolds from the Reeb spaces, first shown in [18] and later shown in [5] and [6].
In section 3, based on the results of the previous section, as main works of the present paper, we investigate changes of cohomology rings of Reeb spaces; more precisely, as explicitly depicted in FIGURE 5 later, we change the topology of the Reeb space one after another and investigate the resulting topology. We can know structures of cohomology rings of source manifolds by virtue of the result just before in the cases where inverse images of regular values are disjoint unions of spheres and where additional suitable differential topological conditions on the maps are assumed.
Throughout this paper, we assume that is a smooth, closed manifold of dimension , that is a smooth manifold of dimension without boundary, that is a smooth map and that . We denote the singular set of by .
Moreover, in the proceeding sections, manifolds are of class and maps between manifolds are smooth and class and fold maps unless otherwise stated. In addition, the structure groups of bundles such that the fibers are (smooth) manifolds are assumed to be (subgroups of) diffeomorphism groups.
The author is a member of the project and supported by the project GrantinAid for Scientific Research (S) (17H06128 Principal Investigator: Osamu Saeki) ”Innovative research of geometric topology and singularities of differentiable mappings” ( https://kaken.nii.ac.jp/en/grant/KAKENHIPROJECT17H06128/ ).
2. Reeb spaces, bubbling operations and fold maps such that inverse images of regular values are disjoint unions of spheres.
2.1. Definitions and fundamental properties of Reeb spaces and bubbling operations.
Definition 2.
Let and be topological spaces. For and for a continuous map , we define as if and only if and are in a same connected component of for some . Thus is an equivalence relation. We denote the quotient space by and call the Reeb space of .
We denote the induced quotient map from into by . We can define uniquely so that the relation holds.
For a (stable) fold map , the Reeb space is regarded as a polyhedron. For example, for a Morse function and more generally, a smooth function on a closed manifold, the Reeb space is a graph and for a special generic map, the Reeb space is regarded as a smooth manifold immersed into the target manifold. We present this; see also section 2 of [15]. A linear bundle whose fiber is a standard closed (unit) disc or its boundary is a smooth bundle whose structure group acts on the fiber linearly.
Proposition 2.
There exists a special generic map if and only if is obtained by gluing the following two manifolds by a bundle isomorphism between the bundles over the boundary of a compact manifold , which appears in the explanation.

A smooth bundle over a compact smooth manifold satisfying we can immerse into .

A linear bundle over .
Note that is regarded as the Reeb space of a special generic map on the manifold.
For Reeb spaces, see also [14] for example.
Next, we review bubbling operations, introduced in [9]
Definition 3 ([9]).
For a fold map , let be a connected component of the regular value set . Let be a connected and orientable closed submanifold of and , and be small closed regular neighborhoods of in such that holds. Furthermore, we can naturally regard as a linear bundle whose fiber is an ()dimensional disc of radius and and are subbundles of the bundle whose fibers are ()dimensional discs of radii and , respectively. Let have a connected component such that makes a bundle over .
Let us assume that there exist an dimensional closed manifold and a fold map satisfying the following.

is a compact submanifold (with nonempty boundary) of of dimension .

holds.

is the disjoint union of and .

is empty or makes a bundle over .
These assumptions enable us to consider the procedure of constructing from and we call it a normal bubbling operation to and, , which is homeomorphic to , the generating manifold of the normal bubbling operation.
Furthermore, let us suppose additional conditions.

makes the disjoint union of two bundles over , then the procedure is called a normal Mbubbling operation to .

makes the disjoint union of two bundles over and the fiber of one of the bundles is an almostsphere, then the procedure is called a normal Sbubbling operation to .
In the definition above, let be the bouquet of finite connected and orientable closed submanifolds whose dimensions are smaller than of and , and be small regular neighborhoods of in such that holds and that these three are isotopic as regular neighborhoods. By a similar way, we define a similar operation and call the operation a bubbling operation to . We call , which is homeomorphic to , the generating polyhedron of the bubbling operation.
Last, in the case where a fold map is not given and only a smooth manifold is given, we can define a bubbling operation naturally. We thus obtain a special generic map such that is an embedding. We call this a default bubbling operation.
In the following example, as in [9], we present explicit and important facts on bubbling operations.
Example 2.

The case where the generating manifold is point is a bubbling surgery, introduced in [11], based on ideas of [10]. [12] is closedly related to such operations : as surgery operations, Roperations are defined as operations deforming stable maps from closed manifolds whose dimensions are larger than into the plane and preserving topologies and smooth structures of the source manifolds. Note that for example, maps presented in FIGUREs 1–3 are obtained by finite iterations of bubbling surgeries starting from default bubbling operations whose generating manifolds are points.

By suitable default normal bubbling operations whose generating manifolds are points, we can obtain maps in FIGURE 1. Moreover, for example, by a sutitable bubbling default bubbling operation, we can obtain every manifold admitting a special generic map into the plane as the source manifold (see [15]).
Let . Note that on a manifold represented as a connected sum of the product satisfying the relations , and , by default bubbling operations, we can construct a special geneirc map into by taking generating polyhedron as a bouquet of standard spheres in a suitable family .
FIGURE 4 represents several simple default bubbling operations. It also accounts for general bubbling operations in case the inverse images are not empty.

Let us define a function satisfying the following.

is a Morse function on a compact manifold one of connected components of whose boundary is the fiber of the bundle over and with just one singular point.

The inverse image of the maximal value is the component, diffeomorphic to , and the inverse image of the minimal value is the disjoint union of connected components of the boundary except the previous one if the disjoint union is not empty and is the singular point of if the disjoint union is empty (or the index of the singular point is ).
Then, by a bubbling operation to such that the generating manifold is , we can obtain a new fold map satisfying the following conditions where we abuse notation in Definition 3. We call this operation a trivial normal bubbling operation.

.

gives a trivial bundle over .

There exists a connected component of such that the restriction map of to the component is regarded as the product of the Morse function and .
Moreover, let the normal bundle or tubular neighborhood of be trivial. is represented by and is regarded as . For example, let be the standard sphere embedded as an unknot in the interior of an open ball in the interior of . Furthermore, let the restriction of to is regarded as the product of a surjective map where is a fiber of the trivial bundle and . Then we call the previous operation a strongly trivial normal bubbling operation. Bubbling surgeries, presented in Example 2 (1), are strongly trivial normal bubbling operations, for example. Last, we can extend trivial normall bubbling operations to the cases of bubbling operations.


In the previous example, if and are closed and connected manifolds so that the manifold is represented as a connected sum of and , then, we can consider so that the boundary of its source manifold consists of three connected components and the boundary with the connected component removed is the disjoint union of and . In this case, the bubbling operation is an Mbubbling operation. We can take as any almostsphere of dimension and suitably and in this case, the operation is an Sbubbling operation. FIGURE 5 later accounts for an explicit Mbubbling operation and the change of the topology of the Reeb space.

If we perform an Sbubbling operation to a fold map such that the inverse images of regular values are always disjoint unions of almostspheres (standard spheres), then we obtain a fold map satisfying the same condition. A simple fold map is a fold map such that the map is injective. Such maps were systematically studied in [19] for example. Any special generic map and fold map such that the map is an embedding are simple fold maps. If we perform an Mbubbling operation to a simple fold map (such that the restriction map to the singular set is embedding), then the resulting fold map is also such a map.
The following is a key lemma in section 3 and it follows immediately from the definition of an Mbubbling operation.
Lemma 1.
Let be a fold map. If an Mbubbling operation is performed to and a new map is obtained, then is a proper subset of such that for the map , the restriction to is .
The following proposition is a fundamental and key tool in the present paper.
Proposition 3 ([9]).
Let be a fold map. Let be a fold map obtained by an Mbubbling operation to . Let be the generating polyhedron of the Mbubbling operation. Let be a positive integer and be represented as the bouquet of submanifolds where is an integer satisfying . Then, for any integer , we have
and we also have .
A more precise proof with explanations on MayerVietoris sequences, homology groups of product bundles etc. is presented in [9] and we present a shorter proof here. We also note that in discussions later, for example ones in section 3 including the proofs of results of the present paper, such precise explanations are omitted.
Proof.
For each , we can take a small closed tubular neighborhood, regarded as the total space of a linear bundle over . By the definition of an Mbubbling operation, we can see that a small regular neighborhood of is represented as a boundary connected sum of the tubular neighborhoods. We may consider that is obtained by attaching a manifold represented as a connected sum of total spaces of linear bundles over () by considering in the beginning of this proof as a hemisphere of and identifying the subspace obtained by restricting the space to fibers with the original regular neighborhood. Lemma 1 and FIGURE 5 may help us to understand the topology of the resulting space . For the manifold represented as a connected sum of total spaces of linear bundles over (), the bundles are regarded as products in considering the homology groups since they admit sections, corresponding to the submanifolds and regarded as sections corresponding to the origin in the fiber . From this observation on the topologies of and , we have the result. ∎
The following has been shown in [9]. We can show this by applying Proposition 3 one after another. We can show the result by taking a suitable family of generating polyhedra, which are bouquets of finite numbers of standard spheres.
Proposition 4 ([9]).
Let be a PID. For any integer , we define as a free and finitely generated module over so that is trivial and that is not zero. Then, by a finite iteration of Mbubbling operations to a map , we obtain a fold map such that is isomorphic to .
We restrict Mbubbling operations in Proposition 3 and Proposition 4 to normal ones and thus we have the following. We omit the proofs. In fact, for example, Proposition 5 is a specific case of Proposition 3.
Proposition 5 ([9]).
For a fold map , let be a fold map obtained by a normal Mbubbling operation to and let be the generating manifold of the normal Mbubbling operation and of dimension . Then for any PID and integer i, we have
.
Proposition 6 ([9]).
For any integer , we define as a free finitely generated module over a PID so that is a trivial module and is not a trivial module. Let the sum of the ranks of is not larger than the rank of . Then, by a finite iteration of normal Mbubbling (Sbubbling) operations starting from , we obtain a fold map and is isomorphic to .
2.2. Fold maps such that inverse images of regular values are disjoint unions of spheres.
In the end of this section, we review a proposition for fold maps such that inverse images of regular values are disjoint unions of spheres. Such maps are important and often appear : special generic maps satisfy the property and a map in Example 1 (3) does. The following is a proposition for simple fold maps, appearing in Example 2 (5), satisfying the property and this is a key proposition to know algebraic invariants of source manifolds from Reeb spaces under appropriate constraints. Several statements such as one on an isomorphism of subrings of cohomology rings were not shown in the cited articles, however, we can show this in a manner similar to the used manners: the key is fundamental theory of handle decompositions.
Proposition 7 ([18] ([5])).
Let and be integers satisfying . Let be a closed and connected orientable manifold of dimension and be an dimensional manifold without boundary.
Then, for a simple fold map such that inverse images of regular values are always disjoint unions of almostspheres and that indices of singular points are always or , two induced homomorphisms , , and are isomorphisms for and for any ring . Furthermore, let be a set of integers not smaller than and not larger than and if is a subring of the cohomology ring , then induces an isomorphism between and .
Furthermore, if is PID and the relation holds, then the rank of is twice the rank of . In addition, if , which is isomorphic to , is free, then they are also free.
3. On cohomology rings of Reeb spaces and source manifolds.
We investigate not only homology groups, but also cohomology rings of the resulting Reeb spaces and present these results as main results.
3.1. A connected sum of two smooth maps whose codimensions are negative.
First we introduce a connected sum of two smooth maps whose codimensions are negative. This is also a fundamental operation in constructing maps. See [15] and see also [12], in which such operations were used to construct new maps from given pairs of special generic maps into fixed Euclidean spaces and generic maps on closed manifolds of dimensions larger than into the plane.
Let be the canonical projection. Set . The restriction of the map to the unit sphere is the canonical projection as presented in Example 1 (1) and we denote its restriction to the inverse image of by : its source manifold is diffeomorphic to (see FIGURE 6).
Let be integers, () be a closed and connected manifold of dimension and and be smooth maps. Let () be the closure of a region obtained by a hyperplane in such that for the map , there exist diffeomorphisms and satisfying
(two maps are equivalent: see [3] for example).
We can glue the maps () to obtain a new map regarded as a smooth map into so that the source manifold is represented as a connected sum of the original source manifolds. The resulting map is said to be a connected sum of and . See also FIGURE 7.
3.2. Results.
Related to the explanation just before, we can show a result on cohomology rings of Reeb spaces.
We have the following.
Proposition 8.
Let and be positive integers satisfying . Let be a compact dimensional manifold represented as a boundary connected sum of manifolds each of which is represented as the product of a standard sphere and a standard closed disc. Let be an integer satisfying and be an integer satisfying . We represent each of the manifolds by . Let be a compact polyhedron represented as a bouquet of standard spheres the dimenision of each of which is not smaller than and not larger than . . Let be an integer satisfying and be an integer satisfying . We denote each of spheres by .
We can realize as a polyhedron in (we denote this by and each corresponding sphere by samely) so that the following hold.

is in the interior of a collar neighborhood of in and each of spheres is regarded as a closed submanifold of .

For each , be the set of all integers satisfying . We can set a cycle with coefficient ring represented by the canonical sphere for each with an integer and the cycle represented by is represented as the sum of for . Moreover, in the case where the relation holds, we can take an arbitrary integer as for each .
We omit the strict proof. Instead, in FIGURE 8, we explicitly present a case where holds, In this case, holds (the manifold is represented as a boundary connected sum of and ) and holds: the polyhedron is a bouquet of a circle and two copies of the dimensional standard sphere: note that the cycle represented by the circle is times the cycle represented by where is an arbitrary integer and that the cycles represented by the dimensional spheres are zero and the cycle or the minus the cycle represented by , respectively. It can be generalized immediately.
Note also that the last part is based on Whitney’s theory on embeddings and arguments and results on realizations of generic maps on surfaces into surfaces as embeddings into dimensional spaces in [1] and [21] (in the case and ).
For a finite set , we denote the cardinality of by . Based on Proposition 8, we present a proposition.
Proposition 9.
Let be integers. Let be a fold map on an dimensional closed and connected M into obtained by a finite iteration of bubbling operations starting from a fold map such that the restriction map to the set of all singular points of index is an embedding, that the image and the Reeb space are a compact dimensional manifold represented as a boundary connected sum of manifolds each of which is represented as the product of a standard sphere and a standard closed disc as the manifold of Proposition 8 .and that the image of the restriction map to the set of singular points of indices before is the boundary. Let be an integer satisfying and be an integer satisfying and we represent each of the manifolds by as Proposition 8.
If a fold map is obtained by an Mbubbling operation whose generating polyhedron is in the explanation of the result of Proposition 8 to , then we have the following where we abuse notation in Proposition 8 together with identifications of Reeb spaces as subpolyhedra of Reeb spaces obtained as the results of Mbubbling operations to the original maps as Lemma 1 and where is a PID having the identity element .

The isomorphisms and hold for . Moreover, and hold and and hold.

Let be a cocycle such that and that for any chain not representing a cycle represented as where is an integer, the value is . Then for any pair , the product in vanishes.

For any cocycle such that as before, for any and for any element represented as where is a sequence of
integers such that just one number is and that the others are , the product of the two elements in vanishes. Moreover, if here and is the element corresponding to satisfying , then the product is represented times a generater of .
Proof.
The first statement follows immediately from (the proofs of) Propositions 3 and 5. To know strictly, see [9]. The key ingredient in the proofs is that the Reeb space obtained by a bubbling operation to the original map can be regarded as a polyhedron obtained by attaching manifolds represented as connected sums of products of spheres along the polyhedron in a natural way (see FIGURE 9) in knowing homology groups and cohomology rings : in knowing more precise topological information, we may not simply argue in this way.
The second statement follows from Lemma 1 and the topology of the Reeb spaces.
In proving the third and the fourth statements, the following observation is a key: in is represented by linear combinations of cycles represented by spheres normal to () : see FIGUREs 10 and 11. This leads us to complete the proof of the last two statemants.
∎
For example, we can construct a map satisfying the asumption by a suitable default bubbling operation or a finite iteration of connected sums of maps obtained by suitable strongly trivial default normal bubbling operations.
We have the following.
Theorem 1.
Let be a PID having the identity element . Let be integers.
Let be a fold map on an dimensional closed and connected M into .
Let be a family of free finitely generated module satisfying and .
Let the sequence of integers and let be a family of sequences of nonnegative integers whose lengths
are all such that the sum of all the sequences and coincide. We denote the th element of by .
Let be another family of nonnegative integers satisfying . For any integer and any integer , for each integer ,
let be an integer if the relation holds and , or if the relation holds.
Then by the following steps, we can obtain a fold map .
STEP 1
Obtain a map satisfying the assumption of the original map in Proposition 9.
STEP 2
Consider a connected sum of and the map obtained in the previous step.
STEP 3
To the map obtained in the previous step, perform a finite iteration of Mbubbling operations.
Moreover, we can obtain the map satisfying the following.

The isomorphisms
and
hold and the summand of the cohomology group is regarded as where here is regarded as the summand of the homology group for . Moreover, and hold.

For arbitrary positive integers and , we restrict the cohomology group to the summand and the cohomology group to the summand . Take one element from each group and consider the product in . Then it vanishes.

We restrict each cohomology group to the summand and consider the resulting subgroup of
. Then for any pair of elements whose degrees are positive, the product vanishes.

Take an element of the summand () such that the only one component (corresponding to the th element) is and the other components are : we regard as a summand of
canonically. If for any nonzero element in satisfying , consider the product with the previous given element, then it vanishes. For any element in of the form
where just one component (the th component) of is and the others are , consider the product with the previous given element, then it is times a generator of the th summand of .
Furthermore, a map constructed in STEP 1 can be special generic and can be replaced by an arbitrary map obtained by a finite iteration of bubbling operations which are not Mbubbling operations and whose generating polyhedra are of dimensions smaller than ,
Proof.
For STEP 1 and STEP 2, we consider a connected sum of the map and a map obtained by a default trivial bubbling operation whose generating polyhedron is a bouquet consisting of dimensional standard spheres (), or equivalently as explained in Example 3 by a finite iteration of default strongly trivial normal bubbling operations and connected sums of them: we can consider more general map for the latter map satisfying the assumption of Proposition 9, which proves the last part of the statement.
The proof of the main statement is completed by applying Proposition 9 one after another. At each step, we perform an Mbubbling operation whose generating polyhedron is a bouquet consisting of ()dimensional standard spheres for . Moreover, for the th ()dimensional standard sphere, the corresponding homology class is a linear combination of the cycles represented by spheres as in Proposition 8 and each coefficient is . ∎
Remark 1.
According to this work, cohomology rings of Reeb spaces seem to be various. In fact, as an easy observation, by a bubbling operation of Theorem 1 to the map explained just before, we can obtain cohomology rings of Reeb spaces such that there exists no pair of cocycles satisfying the following.

The cocycles are not cycles.

The product of these two cocycles does not vanish.
and ones such that there exist such pairs.
By changing a nonzero coefficient number of the cycle represented by a sphere whose dimension is not so large in the generating polyhedron into another nonzero number. By this step, we cannot change the resulting cohomology ring whose coefficient ring is . On the other hand, the resulting cohomology ring whose coefficient ring is changes (in general).
In short, we can easily obtain familys of Reeb spaces such that cohomology rings are isomorphic in the cases where and that cohomology rings are mutually not isomorphic in the cases where .
Proposition 6 implies that from cohomology rings of Reeb spaces, we can know cohomology rings of source manifolds completely in several cases.
These facts explicitly show that difference of topology (cohomology rings) of Reeb spaces are closely related to difference of topology (cohomology rings) of source manifolds.
According to [15], [16], [17] and [20], it is explicitly found that special generic maps often restrict topology and differentiable structures of source manifolds strictly. For example, in considerable cases exotic homotopy spheres do not admit special generic maps into Euclidean spaces whose dimensions are larger than , where homotopy spheres except exotic dimensional spheres, being undiscovered, admit special generic maps into and (in the cases where the dimensions are larger than ) . Later, on dimensional homotopy spheres, stable fold maps into such that the singular value sets are concentric spheres (or round fold maps, introduced in [6]) and that inverse images of regular values are disjoint unions of spheres, satisfying the assumption of Proposition 6, were constructed by the author in [4] and [5] and the author has also explicitly found that the numbers of components of singular value sets are closely related to differentiable structures of the source manifolds. As a new work, in the present paper, we first succeeded in similar works related to cohomology rings of manifolds.
Theorem 2.
In the situation of Theorem 1, if is sufficiently large, then in STEP 1 we do not need to use special generic maps obtained by default trivial bubbling operations whose generating polyhedra are bouquets consisting of standard spheres or we do not need to assume ”trivial”.
Proof.
By an Sbubbling operation, as presented in FIGURE 5 for example, locally we obtain a connected component of an inverse image containing just one singular point of a small arc containing a value of the quotient map to the Reeb space of a singular point which is branched in the interior and for a small neighborhood of which and points being not values of singular points, inverse images are standard spheres, as presented in FIGURE 12.
We explain precisely about the figure. The three objects lined vertically mean an arc intersecting once with the set of singular values considered here, the inverse image of the arc in the Reeb space and the inverse image of the arc in the source manifold. At the top of the third figure, arrows, two circles and a bouquet of two circles are equipped and indicate structure groups of the bundles over a submanifold consisting of all new singular values with fibers being the subspace of a canonically embedded torus in the onedimensional higher Euclidean space represented as the space between the two dotted vertical lines. We need to note that circles and a bouquet of circles represent spheres and a bouquet of spheres appearing as cross sections obtained by observing the underlying corresponding lines. Last, note also that we assume the source manifold as a sufficiently high dimensional manifold and that this makes the structure group of the bundle locally regarded as rotations of these spheres and bouquets as indicated. This helps us to do Sbubbling operations which are not trivial.
∎
Remark 2.
By applying Theorem 2, we can obtain family of source manifolds whose cohomology rings are isomorphic and whose characteristic classes such as Stiefel Whitney classes, Pontrjagin classes etc. are distinct, making corresponding manifolds in the family not homeomorphic or homotopy equivalent.
We present a sketch about this. We can construct a submanifold represented as an inverse image of a colloar neighborhood of the boundary of the Reeb space flexibly from the viewpoint of characteristic classes (see also Proposition 2); note that they are homotopy equivalent to the bouquet appearing as the generating polyhedron. In the step of Sbubbling operations, we can do operations to the maps without bearing new nontrivial characteristic classes.
Last, we construct further examples.
Theorem 3.
Let be a PID having the identity element . Let be an element representing or in .
Let be integers.
Let be a fold map on an dimensional closed and connected M into . Let be a family of free finitely generated module satisfying .
Let be a family of sufficiently large nonnegative integers. For any integer and any integer , for each integer ,
let be an integer if the relation holds and , or if the relation holds.
Let be another family of sufficiently large nonnegative integers.
Then by the following steps, we can obtain a fold map .
STEP 1
Obtain a map by a default bubbling operation.
STEP 2
Consider a connected sum of and the map obtained in the previous step.
STEP 3
To the map obtained in the previous step, perform a finite iteration of Mbubbling operations.
Moreover, we can obtain the map satisfying the following.

The isomorphisms
and
hold and the summand of the cohomology group is regarded as where here is regarded as the summand of the homology group for . Moreover, and hold.

For arbitrary positive integers and , we restrict the cohomology group to the summand and the cohomology group to the summand . Take one element from each group and consider the product in . Then it vanishes.

We restrict each cohomology group to the summands