DOI: 10.24193/subbmath.2020.4.11

## The size of some vanishing and critical sets

### Cornel Pintea

Abstract. We prove that the vanishing sets of all top forms on a non-orientable manifold are at least 1-dimensional in the general case and at most 1-codimen- sional in the compact case. We apply these facts to show that the critical sets of some differentiable maps are at least 1-dimensional in the general case and at most 1-codimensional when the source manifold is compact.

Mathematics Subject Classification (2010):57R70, 57R35, 57M10.

Keywords:Critical and vanishing sets.

### 1. Introduction

It is well-known that the orientability of a manifold is characterized by the
existence of a top differential form which never vanishes. Therefore it is natural to
investigate the size of the vanishing setsV(θ) :={p∈M :θ_{p} = 0} of the top forms
θ∈Ω^{m}(M) towards a measure of thedeviation from orientabilityof the involved non-
orientable manifold M. Indeed, the complement of every vanishing set of a top form
is orientable and the smallest such vanishing sets are good candidates to measure this
deviation. In this paper we show that the top forms of non-orientable manifolds cannot
have arbitrarily small vanishing sets and apply this fact to show that some maps
cannot have arbitrarily small critical sets. For instance the zero dimensional subsets
of the non-orientable manifolds are neither vanishing sets of the top differentiable
forms, nor critical sets of any differentiable function with orientable regular set, for
the orientable option of the target manifold. Similar lower bounds for the size of the
branch locus arise due to Church and Timourian [5, 6] in the codimension cases 0,

−1 and−2. On the other hand, the critical set of a zero codimensional differentiable map was treated before in [17], where the critical set is realised as the vanishing set of the pull-back of a volume form on the oriented target manifold.

Note that the other extreme is well represented in the recent years, as quite some effort oriented towards the maps with finite critical sets has been done, not only for one dimensional, but also for higher dimensional target manifolds [1, 2, 3, 8, 9, 10].

The paper is organized as follows: In the second and third sections we quickly
review the tools and emphasize the preparatory results needed to prove the main
results of the paper, which are also stated here. In the fourth section we prove the
main results of the paper, the first of which concerns the surjectivity of the group
homomorphism induced, at the level of fundamental groups, by the inclusionM\A ,→
M, where M^{m} (m ≥2) is a manifold andA ⊂M is a closed zero dimensional set.

As a consequence we observe that the dimension of the critical set of a zero or lower
codimensional map, whose target manifold is orientable and the source manifold is
non-orientable, is at least 1-dimensional. Relying, all over this paper, on the inductive
definition of the ’dimension’ [7, 13], we prove that the dimension of the critical set of a
zero or lower codimensional map, whose target manifold is compact orientable and the
source manifoldM^{n}is compact non-orientable, is at least (n−1)-dimensional. Recall
however that the small and large inductive dimensions are equal to each other and
both are equal with the covering dimension whenever the evaluated space is separable
[7, p. 65]. Since differential manifolds are metrizable metric spaces, it follows that the
inductive dimensions of a certain subset of a given manifold are equal to each other
and both are equal with the covering dimension of that subset.

### 2. Main results

In order to achieve such results we rely on the characterization of orientability
of a connected differential manifoldM by means of theorientation character, i.e. the
group homomorphismw_{M} :π1(M)−→C2:={−1,1}defined by

w_{M}([γ]) =

1 if ˜γ(1) = ˜x1

−1 if ˜γ(1) = ˜x_{−1},

where ˜γ: [0,1]−→Mˆ is the lift of the loop γ: [0,1]−→M,γ(0) =γ(1) =x, with

˜

γ(0) = ˜x_{1},p: ˆM −→M is the orientable double cover ofM andp^{−1}(x) ={x˜_{1},x˜_{−1}}.

Indeed,M is orientable if and only if the orientation character is trivial. Equivalently,
M is non-orientable if and only ifw_{M} is onto. Taking into account that the orientation
double cover ofOisp

_{p}_{−1}_{(O)}:p^{−1}(O)−→O, we deduce that the orientation character
of a connected open setO⊆M can be decomposed as

ω_{O} =w_{M}◦π1(i_{O}), whereπ1(i_{O}) :π1(O)−→π1(M)

is the group homomorphism induced by the inclusion mapi_{O} :O ,→M. Consequently
the open connected subsetO of a non-orientable manifoldM remains non-orientable
wheneverπ1(i_{O}) is surjective. Note that the orientation characterω_{M} ofM coincides
with w1(M)◦ρ, where ρ:π1(M)−→H1(M,Z) stands for the Hurewicz homomor-
phism andw1(M) for the first Stiefel-Whitney class regarded as a homomorphism via
the homomorphism of the universal coefficient Theorem

H^{1}(M;Z2)−→Hom(H1(M;Z),Z2)
andC2is identified with Z2.

Remark 2.1. LetM^{m}is a connected non-orientable manifold.

1. If the 1-skeletonM^{1}of a certainCW-decomposition ofM is a strong deformation
retract of some of its open neighbourhoodU, then the complementM\U cannot
be the vanishing set of any top form onM, as the group homomorphism

π_{1}(i_{M\U}) :π_{1}(M \U)−→π_{1}(M)
is onto [11, p. 39].

2. Them−2 and lower dimensional submanifolds of M^{m}cannot be the vanishing
sets of any top forms onM, as the group homomorphism

π1(i_{M\X}) :π1(M\X)−→π1(M)

is an isomorphism for m ≥ 3 and an epimorphism for m = 2, whenever X is such a submanifold ofM. In particular the discrete subsets ofM cannot be the vanishing sets of any top forms on M [16, Proposition 2.3]. By using the same type of arguments one can actually show that no countable subset of M can be the vanishing sets of any top form on M. In other words the vanishing set of every top form onM is uncountable. In fact the zero dimensional subsets of M cannot be the vanishing sets of any top forms onM, as we shall see in the Theorem 2.1 and Corollary 2.2.

Theorem 2.1. IfM^{m}is a smooth connected manifold (m≥2) andA⊆M is a closed
zero dimensional set, thenM\A is also connected and the group homomorphism

π_{1}(i) :π_{1}(M\A)−→π_{1}(M),

induced by the inclusioni:M\A ,→M, is onto, i.e. π1(M, M\A) = 0.

Corollary 2.2. If M^{m} is a non-orientable manifold, then dimV(ω) ≥ 1 for every
differentiable formω∈Ω^{m}(M).

Proof. Assume that dimV(ω) = 0 for some differentiable formω∈Ω^{m}(M). Accord-
ing to Theorem 2.1, the complementM \V(θ) of the vanishing set is also connected
and the group homomorphism

π_{1}(i) :π_{1}(M\V(θ))−→π_{1}(M)

is onto. The non-orientability of M shows that the orientation characterw_{M} is onto.

Consequently the orientaion characterω_{M\V}_{(θ)} =w_{M}◦π1(i_{M\V}_{(θ)}), ofM\V(θ), is also
onto, due to Theorem 2.1.

On the other hand the restriction θ|_{M}_{\V}_{(θ)} is a nowhere vanishing top form of
M \V(θ), which shows that M \V(θ) is an orientable open submanifold of M. In
other words, the orientation character ω_{M\V}_{(θ)} = w_{M} ◦π1(i_{M\V}_{(θ)}) is trivial, which
implies that either the orientation character w_{M} is not onto or the induced group
homomorphismπ1(i_{M\V}_{(θ)}) :π1(M\V(θ))−→π1(M) is not onto, which is absurd.

In the compact non-orientable case we can provide, by using some different type of arguments, a much larger lower bound for the vanishing sets of all top forms.

Theorem 2.3. If M^{m} is a compact connected non-orientable manifold, then
dimV(ω)≥m−1 for every differentiable form ω∈Ω^{m}(M).

Remark 2.2. The estimate, provided by Corollary 2.2 is sometimes sharp. Indeed, by removing a suitable circle out of Klein bottle we obtain a cylinder, which is orientable.

Also by removing a suitable copy of the (2n−1)-dimensional real projective space, out of the 2n-dimensional real projective space we obtain a 2n-disc, which is also orientable. In both casses the removed submanifolds have, due to Corollary 2.2 and Theorem 2.3, the smallest possible dimension in order to get orientability on their complements.

### 3. Preliminary results

3.1. Vanishing sets of differentiable forms

If ω is a k-differential on M, recall that the vanishing set V(ω) of ω is the collection of pointsz∈U at whichω vanishes, i.e.

V(ω) :={z∈M :ωz(v1, . . . , vk) = 0 for allvi ∈Tz(M)}.

We shall only use in this paper the vanishing sets of the top differential forms ofM. In this subsection we investigate the size of critical sets of maps between two manifolds with the same dimension via the vanishing set of the pull-back form of a volume form on the target manifold.

Remark 3.1. Iff :M^{n}→N^{n}is a local diffeomorphism andθ∈Ω^{k}(N), thenV(f^{∗}θ) =
f^{−1}(V(θ)). If f is additionally surjective, then this equality can be rewritten as
f(V(f^{∗}θ)) =V(θ), which shows, by means of Hodel [12],

dim (V(f^{∗}θ)) = dimV(θ) (3.1)

wheneverV(f^{∗}θ) is compact.

Theorem 3.1. ([17]) If M^{m}, N^{n}, m≥n are differential manifolds withN orientable
and f : M −→ N is a differential map, then C(f) = V f^{∗}volN

, where volN is a volume form onN.

Corollary 3.2. Let M^{n}, N^{n} be differential manifolds. If N is orientable and M is
non-orientable thendimC(f)≥1 for every differentiable functionf :M →N.
Proof. Let volN be a volume form onN. Combining Theorem 3.1 with Corollary 2.2

we deduce that dimC(f) = dimV(f^{∗}vol_{N})≥1.

In addition to the usefulness of the vanishing sets of differentiable forms in evaluating the size of the critical sets, they are also useful in evaluating the size of the tangency sets [4].

3.2. Zero dimensional subsets of manifolds

Lemma 3.3. If C is a closed subset of a smooth manifold M^{n}, then there exists a
smooth nonnegative function f :M −→Rsuch thatf^{−1}(0) =C.

Proof. We first consider an embedding j : M ,→ R^{2n+1}, whose existence is ensured
by Whitney’s embedding theorem.

If K ⊆ R^{2n+1} is a closed subset such that j(C) = K∩j(M), i.e. j^{−1}(K) = C,
then the required function is f =g◦j, whereg :R^{2n+1} −→R is a smooth positive
function such thatg^{−1}(0) =K, whose existence is ensured by the Whitney theorem

([18, Th´eor`eme 1, p. 17]).

Proposition 3.4. If Ais a closed zero dimensional subset of a smooth manifold M^{n},
then for eachx∈M and every neighbourhoodU ofx, there exists an open neighbour-
hoodV ofxsuch that V ⊆U, ∂V ∩A=∅ and∂V is smooth.

Proof. Ifx6∈A, then the existence of V is immediate. Assume now thata∈A and
consider an open and relatively compact neighbourhoodV^{0} ofasuch thatV^{0}⊆U and

∂V^{0}∩A=∅. We may assume thatV^{0} is actually connected, as otherwise we reduce
V^{0} to its connected component containinga. Ifϕ:M −→Ris a smooth nonnegative
function such that ϕ^{−1}(0) =A, whose existence is ensured by Lemma 3.3, observe
that m:= min{ϕ(x)|x∈∂V^{0}} >0, since the compact set A∩cl(V^{0}) =A∩V^{0} has
no common points with the compact boundary∂V^{0}. Ify∈(0, m) is a regular value of
ϕ|_{V}^{0} :V^{0} →R, then (ϕ|_{V}^{0})^{−1}(y) is a compact hypersurface in V^{0}, as (ϕ|_{V}^{0})^{−1}(y) =
ϕ^{−1}(y)∩cl(V^{0}). Indeed, the inclusion (ϕ|V^{0})^{−1}(y) ⊆ ϕ^{−1}(y)∩cl(V^{0}) is obvious. If
x∈ϕ^{−1}(y)∩cl(V^{0}), thenϕ(x) =y and x∈cl(V^{0}) =V^{0}∪∂V^{0}. But sincey >0, it
follows that x6∈∂V^{0}, which shows that x∈V^{0} andx∈(ϕ|_{V}^{0})^{−1}(y) as well. Because
y < m, it follows that (ϕ|V^{0})^{−1}(y)∩A=∅.

Finally, we consider a regular value y ∈ (0, m) of ϕ|V^{0} : V^{0} → R and observe
that the inverse image ϕ|_{V}0

−1

(−∞, y)⊆V^{0} is an open neighbourhood ofAand

∂h

ϕ|_{V}_{0}−1

(−∞, y)i

= ϕ|_{V}_{0}−1

(y),

which shows that∂h

ϕ|_{V}_{0}−1

(−∞, y)i

∩A=∅. IfV is the connected component of
the inverse image ϕ|_{V}_{0}−1

(−∞, y) containinga, then its boundary is a collection of
connected components of ϕ|_{V}0

−1

(y) and therefore∂V ∩A=∅.

Remark 3.2. If A is a closed zero dimensional subset of a smooth surface Σ, then
for each x ∈Σ and every neighbourhood U of x, there exists an open disk D such
that x ∈D ⊆U, ∂D∩A =∅ and ∂D is a smooth circle. Indeed, we consider, via
Proposition 3.4, a local chart (W, ψ) of Σ atxas well as a connected neighbourhood
V of x with smooth boundary such that x ∈ V, cl(V) ⊆ W ⊆ U, ψ(W) = D^{2}
and ∂V ∩A = ∅. Note that the boundary of ψ(V) is a union of pairwise disjoint
circles, as the circle is the only compact boundaryless one dimensional manifold. One
of these circles, say C, is the boundary of the unbounded component of R^{2}\ψ(V).

The bounded component ofR^{2}\Cis completely contained inD^{2}, containsψ(V) and
we may choose its inverse image throughψto play the role ofD.

3.3. Deformations of punctured manifolds

Since the deformations of the punctured Euclidean space and the punctured manifolds [16] will be repeatedly used in what follows, we shall review them shortly.

Forr >0 andn∈N^{∗} denote byD^{n}_{r} and S_{r}^{n−1}the open disk and the sphere respec-
tively, both of them having the center at the origin of the spaceR^{n} and radiusr.D_{1}^{n}
andS_{1}^{n−1}will be simply denoted byD^{n} andS^{n−1}respectively. Forx∈D^{n}, consider
the map h_{x}:R^{n}\ {x} −→R^{n}\ {x}defined to be the identity outside the open disc
D^{n} andh_{x}(y) =S^{n−1}∩]xy for everyy∈D^{n}\ {x}, where ]xy stands for the half line
{(1−s)x+sy : s >0}. In particularh_{x}(y) =y, ∀y∈S^{n−1}.

Let N be an n-dimensional manifold and c = (U, ϕ) be a local chart of N
such that cl(D^{n}) ⊆ϕ(U). Denote by D_{ϕ} and S_{ϕ} the sets ϕ^{−1}(D^{n}) and ϕ^{−1}(S^{n−1})
respectively. Forx∈D_{ϕ}we define the continuous maph_{c,x}:N\ {x} −→N\ {x}by

hc,x(y) =

y ify∈M\D_{ϕ}
ϕ^{−1} h_{ϕ(x)}(ϕ(y))

ify∈U\ {x}.

Note thath_{c,x}(D_{ϕ}\{x}) =S_{ϕ} andh_{c,x}(y) =y, ∀y∈S_{ϕ}.

Remark 3.3. 1. hx(D^{n}\{x}) =S^{n−1} andhx'H_{x}id_{R}n\{x}(relR^{n}\D^{n}), where
Hx:R^{n}\{x} ×[0,1]→R^{n}\{x}, Hx(y, t) = (1−t)y+thx(y).

2. h_{c,x}'_{H}_{c,x}id_{M}_{\{x}}, whereH_{c,x}: (M\{x})×[0,1]→M\ {x},

Hc,x(y, t) =

y ify∈M\Dϕ

ϕ^{−1} H_{ϕ(x)}(ϕ(y), t)

ify∈U\{x}.

If P is a given manifold and f :P −→ M is a continuous map whose image avoids the pointx, thenf 'hc,x◦f and a homotopy betweenf andhc,x◦f isHc,x(·, t)◦f. We shall refere to each hc,x◦f andHc,x(·, t)◦f as thepunctured deformationof f fromxontoSϕ.

### 4. The proofs of theorems 2.1 and 2.3

Proof of Theorem 2.1. Consider a homotopy class of curves in π1(M, M \A) repre- sented by a continuous curve α : [0,1] −→ M, α(0), α(1) ∈ M \A and deform α rel{0,1} to some differentiable curveβ with non vanishing tangent vector field. The immersionβmight actually be chosen to be a geodesic fromα(0) toα(1) with respect to some Riemannian metric on M (see e.g. [14, Theorem 1.4.6, p. 24]). Obviously dim (A∩Im(β))≤dim(A) = 0 and dim Im(β) = 1.

From this point we continue the proof by induction with respect to the dimension
mof the manifoldM. First assume thatm= 2 and observe that for eacht∈β^{−1}(A)
there exists, via Remark 3.2, a two dimensional discD_{t}⊆M with circular boundary,
neighbourhood of β(t), such that its circular boundary C_{t} has no common points
with A. Since β is locally an embedding, D_{t} might be chosen inside the domain
U_{t} of a coordinate chart c_{t} = (U_{t}, ϕ_{t}) in such a way that D_{t} = D_{ϕ}_{t}, C_{t} = S_{ϕ}_{t},
α(0) = β(0), α(1) = β(1) ∈ M \cl(D_{t}), J_{t} := β^{−1}(D_{t}) is an open interval and
ϕt(Dt∩Im(β|J_{t})) =ϕ(Dt)∩R. Since{Dt |t∈β^{−1}(A)} is an open covering of the
compact set Im(β)∩A, we may extract a finite open cover, sayDt_{1}, . . . , Dt_{s}. We may

assume that Dt_{i} \cl(Dt_{j})6=∅ whenever i6=j. Since dim(Im(β) = 1 it follows that
Im(β) cannot fill the open set

Dti\

r

[

j=1

j6=i

cl(Dtj).

For eachi∈ {1, . . . , r}, consider a point

xi∈Dt_{i}\

Im(β)∪

r

[

j=1

j6=i

cl(Dt_{j})

and the mapsgc_{ti},x_{i},:M\ {x1, . . . , xs} −→M\ {x1, . . . , xs}given by
gc_{ti},x_{i}(y) =hc_{ti},x_{i}(y).

Note that id_{M}_{\{x}_{1}_{,...,x}_{s}_{}}'g_{c}_{t}

1,x1◦· · ·◦g_{c}_{ts}_{,x}_{s}(relM \(D_{t}_{1}∪ · · · ∪D_{t}_{s})) as each of the
mapsgc_{t}_{1},x_{1}, . . . , gc_{ts},x_{s} is homotopic to id_{M\{x}_{1}_{,...,x}_{s}_{}}relative toM\(Dt_{1}∪ · · · ∪Dt_{s}).

Thus

β'(gc_{t}_{1},x_{1}◦ · · · ◦gc_{ts},x_{s}◦β)(rel{0,1})
and Im(g_{c}_{t}

1,x1◦ · · · ◦g_{c}_{ts}_{,x}_{s}◦β)⊆M\A, as
(g_{c}_{t}

1,x1◦ · · · ◦g_{c}_{ts}_{,x}_{s}) ((D_{t}_{1}∪ · · · ∪D_{t}_{s})\ {x1, . . . , x_{s}})⊆C_{t}_{1}∪ · · · ∪C_{t}_{s}⊆M \A
andβ^{−1}(M\(Dt1∪ · · · ∪Dts))⊆β^{−1}(M\A).

We next assume that the statement holds for (m−1)-dimensional manifolds and
we shall prove it for the m-dimensional manifold M. In this respect we consider a
partition 0 =t_{0}< t_{1}<· · ·< t_{r}= 1 of the interval [0,1] with small enough norm such
that:

1. β([t0, t1])∩A=β([tr−1, tr])∩A=∅andβ(t1), . . . , β(tr−1)∈M\A.

2. there are small enough open discsD1 =Dϕ1, . . . , Dr−2 =Dϕr−2 with spherical
boundariesS_{1}=S_{ϕ}_{1}, . . . , S_{r−2}=S_{ϕ}_{r−2}, for some charts c_{1}= (U_{1}, ϕ_{1}), . . . , c_{r}=
(U_{r−2}, ϕ_{r−2}), with the following properties:

(a) β^{−1}(D_{i}) is the open interval (t_{i}, t_{i+1}) and the restriction (t_{i}, t_{i+1})−→D_{i},
t7→β(t) is an embedding, for everyi= 1, r−2;

(b) cl(D_{i})∩Im(β) = S_{i}∩Im(β) ={β(t_{i}), β(t_{i+1})} and D_{i}∩D_{i+1} =∅ while
cl(D_{i})∩cl(D_{i+1}) =S_{i}∩S_{i+1}={β(t_{i+1})}, for everyi= 1, r−3.

Note that Im(β)∩A⊂D_{1}∪ · · · ∪Dr−2. For everyi∈ {1, . . . , r−2}, considerx_{i}∈D_{i}\
Im(β) and observe thatβ|[x_{i},x_{i+1}]'h_{c}_{ti}_{,x}_{i}◦β|[x_{i},x_{i+1}](rel({xi, x_{i+1}})). By applying the
inductive hypothesis to the punctured deformationh_{c}_{ti}_{,x}_{i}◦β|_{[x}_{i}_{,x}_{i+1}_{]}(rel({x_{i}, x_{i+1}}))
of β|_{[x}_{i}_{,x}_{i+1}_{]} from xi onto Si, whose image is contained in the (m−1)-dimensional
sphere S_{i}, one can conclude that h_{c}_{ti}_{,x}_{i}◦β|_{[x}_{i}_{,x}_{i+1}_{]} is homotopic rel({x_{i}, x_{i+1}}) to
some continuous curve γi : [xi, xi+1] −→ Si whose image avoids the set A, i.e.

γi([xi, xi+1])⊆Si\A. Thushc_{ti},x_{i}◦βis homotopic rel({0,1}) to the continuous curve
γ : [0,1]−→M \A defined by γ|_{[x}_{0}_{,x}_{1}_{]} =β|_{[x}_{0}_{,x}_{1}_{]}, γ|_{[x}_{i}_{,x}_{i+1}_{]} =γi for 1≤i≤r−2

andγ|_{[x}_{r−1}_{,x}_{r}_{]}=β|_{[x}_{r−1}_{,x}_{r}_{]}.

Proof of Theorem 2.3. We first observe that every top-formω ∈Ω^{m}(M) is exact, as
the top de Rham cohomology group H_{dR}^{m}(M) is trivial [15, Th. 15.21, p. 405], i.e.

ω =dθfor someθ∈Ω^{m−1}(M). If p: ˜M −→M is the orientable double cover, then
p^{∗}ω=p^{∗}(dθ) =d(p^{∗}θ), which shows that

Z

M˜

p^{∗}ω= 0 and that dim (V(p^{∗}ω))≥m−1
therefore. Thus

dim (V(ω)) = dim (p(V(p^{∗}ω))) = dim (V(p^{∗}ω))≥m−1,

asp(V(p^{∗}ω)) =V(ω).

Corollary 4.1. Let M^{n}, N^{n} be differential manifolds. If N is orientable and M is
compact and non-orientable then dimC(f)≥n−1 for every differentiable function
f :M →N.

Proof. Let vol_{N} be a volume form onN. Combining Theorem 3.1 with Theorem 2.3
we deduce that dimC(f) = dimV(f^{∗}vol_{N})≥n−1, for every differentiable function

f :M −→N.

A proof of Corollary 4.1 of similar flavor appears in [17, Theorem 2.4.(b)].

Remark 4.1. Corollaries 3.2 and 4.1 rely on the orientability of the regular set
R(f) = M \C(f) in the 0 = dim(N)−dim(M) codimension case which is a pri-
ori ensured by the nowhere vanishing restricted top formf^{∗}volN

_{R(f)}onR(f). In the
lower codimension case dim(M)>dim(N), the lack of orientability of the regular set
is obvious, even for the orientable option of the target manifoldN. We stress this by
the example of the projection of a productM =N×X on the first factor, whenN
is orientable and X is non-orientable. The critical set of this projection is obviously
empty, but its regular set is the whole non-orientable product M =N×X.

However, the orientability of the regular set R(f) ensure similar lower bounds
even in the lower codimensional context. More precisely, ifN^{n} is orientable andM^{m}
(m > n) is connected non-orientable and f : M −→ N is a differentiable function
with orientable regular set R(f), then dim(C(f))≥ 1. The proof of this statement
works along the same lines with the one of Corollary 2.2, the role of the vanishing set
V(θ) is played here by the critical setC(f).

Acknowledgment. The author is grateful to the anonymous referee for his (or her) useful comments, which have helped him to improve the presentation.

### References

[1] Andrica, D., Funar, L., On smooth maps with finitely many critical points, J. London Math. Soc.,69(2004), no. 2, 783-800.

[2] Andrica, D., Funar, L.,Addendum: ”On smooth maps with finitely many critical points”

J. London Math. Soc.,73(2006), no. 1, 231-236.

[3] Andrica, D., Funar, L., Kudryavtseva, E.,On the minimal number of critical points of smooth maps between closed manifolds, Russ. J. Math. Phys.,16(2009), no. 3, 363-370.

[4] Balogh, Z.M., Pintea, C., Rohner, H.,Size of tangencies to non-involutive distributions, Indiana Univ. Math. J. 60 (2011), 2061-2092.

[5] Church, P.T., Timourian, J.G.,Differentiable maps with0-dimensional critical set, Pa- cific J. Math.,41(1972), no. 3, 615-630.

[6] Church, P.T., Timourian, J.G.,Maps with0-dimensional critical set, Pacific J. Math., 57(1975), no. 1, 59-66.

[7] Engelking, R.,Dimension Theory, North-Holland, Amsterdam, 1978.

[8] Funar, L.,Global classification of isolated singularities in dimensions (4,3) and(8,5), Ann. Scuola Norm. Sup. Pisa Cl. Sci.,10(2011), 819-861.

[9] Funar, L., Pintea, C.,Manifolds which admit maps with finitely many critical points into spheres of small dimensions, Michigan Math. J.,67(2018), 585-615.

[10] Funar, L., Pintea, C., Zhang, P., Examples of smooth maps with finitely many critical points in dimensions(4,3),(8,5)and(16,9), Proc. Amer. Math. Soc.,138(2010), no. 1, 355-365.

[11] Hatcher, A.,Algebraic Topology, Cambridge University Press, 2002.

[12] Hodel, R.E.,Open functions and dimension, Duke Math. J.,30(1963), 46-468.

[13] Hurewicz, W., Wallman, H., Dimension theory, Princeton Mathematical Series, 4, Princeton University Press, Princeton, NJ, 1941.

[14] Jost, J., Riemannian Geometry and Geometric Analysis, (Third Edition), Springer- Verlag, 2002.

[15] Lee, J.M.,Introduction to Smooth Manifolds, Springer, 2006.

[16] Pintea, C., Differentiable mappings with an infinite number of critical points, Proc.

Amer. Math. Soc.,128(2000), no. 11, 3435-3444.

[17] Pintea, C.,Smooth mappings with higher dimensional critical sets, Canad. Math. Bull., 53(2010), no. 3, 542-549.

[18] Postnikov, M.,Le¸cons de G´eom´etrie, Ed. MIR Moscou, 1990.

Cornel Pintea

Babe¸s-Bolyai University,

Faculty of Mathematics and Computer Sciences, 1, Kog˘alniceanu Street,

400084 Cluj-Napoca, Romania e-mail:[email protected]