Abstract
In Cisneros-Molina et al. (São Paulo J Math Sci, 2023. https://doi.org/10.1007/s40863-023-00370-y) it was proved the existence of fibrations à la Milnor (in the tube and in the sphere) for real analytic maps \(f:({\mathbb {R}}^n,0) \rightarrow ({\mathbb {R}}^k,0)\), where \(n\ge k\ge 2\), with non-isolated critical values. In the present article we extend the existence of the fibrations given in Cisneros-Molina et al. (São Paulo J Math Sci, 2023. https://doi.org/10.1007/s40863-023-00370-y) to differentiable maps of class \(C^{\ell }\), \(\ell \ge 2\), with possibly non-isolated critical value. This is done using a version of Ehresmann fibration theorem for differentiable maps of class \(C^{\ell }\) between smooth manifolds, which is a generalization of the proof given by Wolf (Michigan Math J 11:65–70, 1964) of Ehresmann fibration theorem. We also present a detailed example of a non-analytic map which has the aforementioned fibrations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the most important tools to study singularities of analytic maps and spaces is given by the fibration theorems à la Milnor [10, 12, 13, 15, 16].
In the case of a real analytic map \(f:({\mathbb {R}}^n,0) \rightarrow ({\mathbb {R}}^k,0)\) with \(n\ge k\ge 2\) and with an isolated critical value, it was proved in [18, Theorem 1.3] that if f has Thom’s \(a_f\) property, one has fibration on the tube:
where \({\mathbb {B}}_{\epsilon }^n\) is the closed ball in \({\mathbb {R}}^n\) of radius \({\epsilon }\) around the origin. This is known as Milnor-Lê fibration. Moreover, using Milnor’s vector field [16, Lemma 11.3] one also has an equivalent fibration on the sphere:
where \(\mathbb {S}^{k-1}\) is the sphere of radius 1 around \(0 \in {\mathbb {R}}^k\). However, there is no control on the projection map \(\phi \).
The question of whether we can take the projection \(\phi \) of (2) to be the natural one, \(\phi =f/\Vert f\Vert \) was answered in [7] for analytic functions with an isolated critical value, by introducing the concept of d-regularity (see also [3, 4, 8]). The d-regularity condition actually springs from [6] and is defined by means of a canonical pencil as follows: For every line \(0 \in \ell \subset {\mathbb {R}}^k\) consider the set
This is a pencil of real analytic varieties intersecting at \(f^{-1}(0)\) and smooth away from it. The map f is said to be d-regular at 0 if there exists \({\epsilon }_0>0\) such that every \(X_\ell \setminus V\) is transverse to every sphere centred at 0 and contained in \({\mathbb {B}}_{{\epsilon }_0}\), whenever the intersection is not empty.
The case of a real analytic map \(f:({\mathbb {R}}^n,0) \rightarrow ({\mathbb {R}}^k,0)\) with \(n\ge k\ge 2\) and with non-isolated critical value was studied in [5, 9, 19]. If f has the transversality property [5, Definition 2.1] (compare with the definition of \(\rho \)-regularity in [9, 19]), then for each \({\epsilon }>0\) sufficiently small there is a smooth locally trivial fibration on the tube:
where \(\Delta _{\epsilon }\) is the image by f of the critical points of f in the interior of \({\mathbb {B}}_{\epsilon }^n\). It was proved in [5, Theorem 3.12] that if f admits a linearization \(h: ({\mathbb {R}}^k,0) \rightarrow ({\mathbb {R}}^k,0)\) (as in [5, Definition 3.11]) such that \(h^{-1} \circ f\) is d-regular. Then the map
defined by
is the projection of a smooth locally trivial fibration, and this is equivalent to fibration (3) above.
In this paper we envisage the case of (possibly non-analytic) functions \(f:({\mathbb {R}}^n,0) \rightarrow ({\mathbb {R}}^k,0)\) of class \(C^{\ell }\), \(\ell \ge 2\), with possibly non-isolated critical value. We extend the fibration theorems of [5] for these maps: if f has the transversality property, then there is a fibration on tube (3); if in addition f has linear discriminant and is d-regular, then there is a fibration on sphere (6). This is done using a version of Ehresmann Fibration Theorem for differentiable maps of class \(C^{\ell }\) between smooth manifolds given in Sect. 6. It is an open question whether these two fibrations are equivalent, as in the analytic case. If f has arbitrary discriminant with the transversality property and admits a linearization \(h: ({\mathbb {R}}^k,0) \rightarrow ({\mathbb {R}}^k,0)\) such that \(h^{-1} \circ f\) is d-regular, then there is fibration (4) on the sphere.
Notice that the discriminant \(\Delta _{\epsilon }\) can have real codimension 1 and in that case its complement splits into finitely many connected components, say \(S_1,\dots ,S_r\). As it was pointed out in [5], the topology of the fibres \(f^{-1}(t) \cap {\mathbb {B}}_{\epsilon }\) can change for values in different \(S_i\). It would be very interesting to determine how the topology changes as we move from one sector to another. This can clearly be seen in the example given in Sect. 5.
Remark 1.1
As in [5], throughout this paper, we will assume that f is locally surjective, that is, the image by f of every neighbourhood of the origin in \({\mathbb {R}}^n\) contains an open neighbourhood of the origin in \({\mathbb {R}}^k\), and we shall not mention it all the time. Nevertheless, it is easy to see that in the general case the same results hold if one intersects the bases of the locally trivial fibrations with their image. This choice is to avoid a heavy notation.
2 Fibration on the tube
Let \(f:({\mathbb {R}}^n,0)\rightarrow ({\mathbb {R}}^k,0)\), \(n >k \ge 2\), be a map of class \(C^\ell \) with \(\ell \ge 2\) and a critical point at 0.
Assume that f is locally surjective (see Remark 1.1). In what follows, for \(0<{\epsilon }\) we shall consider the restriction \(f_{{\epsilon }}\) of f to the closed ball \({\mathbb {B}}_{{\epsilon }}^n\) of radius \({\epsilon }\) around 0 in \({\mathbb {R}}^n\).
Denote by \(\Sigma _{{\epsilon }}\) the intersection of the critical set of f with the ball \({\mathbb {B}}_{\epsilon }\) and set \(\Delta _{\epsilon }:= f_{\epsilon }(\Sigma _{{\epsilon }})\), which we call the discriminant of \(f_{{\epsilon }}\). It may depend on the choice of the radius \({\epsilon }\), as shown in [9].
Also denote by \(\Sigma _{{\epsilon }}(\mathbb {S}_{\epsilon }^{n-1})\) the set of critical points in \(\mathbb {S}_{\epsilon }^{n-1}\) of the restriction \(f_{\epsilon }|_{\mathbb {S}_{\epsilon }^{n-1}}\). Set \(\hat{\Sigma }_{\epsilon }:= \Sigma _{{\epsilon }}\cup \Sigma _{{\epsilon }}(\mathbb {S}_{\epsilon }^{n-1})\) and denote by \(\hat{\Delta }_{\epsilon }:= f(\hat{\Sigma }_{\epsilon })\) which we call the extended discriminantFootnote 1 of f.
Following [17, §IV.4.4] and [2, Corollary 2.2], one can prove that the restriction of f to the tube
is a locally trivial fibration, where \(\mathbb {S}_\delta ^{k-1}=\partial {\mathbb {B}}_\delta ^k\). Hence, in this general setting there is always a fibration on the tube.
Definition 2.1
We say that f has the transversality property in the ball \({\mathbb {B}}_{\epsilon }^n\) if there exist \(0<\delta \ll {\epsilon }\) such that for every \(y\in {\mathbb {B}}_\delta ^k\setminus \Delta _{\epsilon }\) the fibre \(f^{-1}(y)\) is transverse to the sphere \(\mathbb {S}_{\epsilon }^{n-1}\).
So, if f satisfies the transversality property, there is no contribution to the extended discriminant \(\hat{\Delta }_{\epsilon }\) by points on the sphere \(\mathbb {S}_{\epsilon }^{n-1}\); the extended discriminant is just the discriminant \(\Delta _{\epsilon }\) of f in \({\mathbb {B}}_{\epsilon }^n\). Then we get:
Theorem 2.2
Let \(f :({\mathbb {R}}^n, 0) \rightarrow ({\mathbb {R}}^k, 0)\), \(n>k \ge 2\) be a map of class \(C^\ell \), \(\ell \ge 2\) with a critical point at 0 and \(\dim (f^{-1}(0)) > 0\). The map f has the transversality property in the ball \({\mathbb {B}}_{\epsilon }^n\) if and only if it admits local Milnor-Lê fibrations in tubes over the complement of the discriminant \(\Delta _{\epsilon }\).
3 Differentiable maps with linear discriminant
In this section, we extend the concept of d-regularity to real differentiable maps with linear discriminant. Then we show that in this context, d-regularity guarantees a fibration on the sphere.
First, let us recall some definitions.
We say that a map \(f:({\mathbb {R}}^n,0) \rightarrow ({\mathbb {R}}^k,0)\) of class \(C^\ell \), \(\ell \ge 2\) has linear discriminant in the ball \(\mathbb {B}_{\epsilon }^n\) if \(\Delta _{\epsilon }\) is a union of line segments with one endpoint at \(0 \in \mathbb {R}^k\) and there exists \(\eta >0\), called a linearity radius for \(\Delta _{\epsilon }\), such that each of these line segments intersects \(\mathbb {S}_\eta ^{k-1}\), that is, if
In this case, we set
Also, let \(\pi :\mathbb {S}_\eta ^{k-1}\rightarrow \mathbb {S}^{k-1}\) be the radial projection onto the unit sphere \(\mathbb {S}^{k-1}\) and set
For each point \(\theta \in \mathbb {S}_\eta ^{k-1}\), let \(\mathcal {L}_\theta \subset {\mathbb {R}}^k\) be the open ray in \({\mathbb {R}}^k\) from the origin that contains the point \(\theta \). Set:
We say that f is d-regular in the ball \({\mathbb {B}}_{\epsilon }^n\) if \(E_{\theta }\) intersects the sphere \(\mathbb {S}_{{\epsilon }'}^{n-1}\) transversely in \({\mathbb {R}}^n\), for every \({\epsilon }'\) with \(0<{\epsilon }' \le {\epsilon }\) and for every \(\theta \in \mathbb {S}_\eta ^{k-1} \setminus \mathcal {A}_\eta \).
The following proposition is a straightforward generalization of [7, Proposition 3.2].
Proposition 3.1
Let \(f:({\mathbb {R}}^n,0) \rightarrow ({\mathbb {R}}^k,0)\) be a map of class \(C^\ell \) with \(\ell \ge 1\), with linear discriminant. Then f is d-regular in the ball \({\mathbb {B}}_{\epsilon }^n\) if and only if the \(C^\ell \)-map
is a submersion for every sphere \(\mathbb {S}_{{\epsilon }'}^{n-1}\) with \(0<{\epsilon }'<{\epsilon }\).
Now we can state the main result of this paper:
Theorem 3.2
Let \(f:({\mathbb {R}}^n,0) \rightarrow ({\mathbb {R}}^k,0)\) with \(n\ge k\ge 2\) be a map of class \(C^\ell \) with \(\ell \ge 2\). Suppose f has linear discriminant and the transversality property in the ball \(\mathbb {B}_{\epsilon }^n\). If f is d-regular in the ball \(\mathbb {B}_{\epsilon }^n\), then the map
is a locally trivial fibration of class \(C^{\ell -1}\).
In order to prove Theorem 3.2 we first need the following:
Lemma 3.3
Let \(f:X\rightarrow Y\) and \(g:Y\rightarrow Z\) be \(C^{\ell -1}\)-locally trivial fibrations with \(2\le l\le \infty \), between smooth manifolds possibly with boundary. Then \(g\circ f:X\rightarrow Z\) is a \(C^{\ell -1}\)-locally trivial fibration.
We will prove Lemma 3.3 in Sect. 6. Now we will prove Theorem 3.2.
Proof of Theorem 3.2
Set
Notice that \(\mathcal {M}\) is an open submanifold of \(\mathbb {S}_{\epsilon }^{n-1}\) since \(\Delta _{\epsilon }\) is closed in \({\mathbb {R}}^k\). Consider the following decomposition
where \(\mathring{{\mathbb {B}}}_{\delta }^k\) is the interior of the closed ball \({\mathbb {B}}_{\delta }^k\). Both pieces are submanifolds with boundary of \(\mathcal {M}\) of dimension \(n-1\), and their intersection is the common boundary submanifold of dimension \(n-2\)
We are going to show that the restriction of \(\phi \) to each of these components is a \(C^{\ell -1}\)-fibre bundle and that these two fibre bundles coincide on the common boundary submanifold \(\mathbb {S}_{\epsilon }^{n-1} \cap f^{-1}(\mathbb {S}_\delta ^{k-1}\setminus \Delta _{\epsilon })\), so they can be glued into a global fibre bundle.
The restriction of f given by \(f_1:\mathcal {M} \cap f^{-1}({\mathbb {B}}_\delta ^k)\rightarrow {\mathbb {B}}_{\delta }^k\setminus \Delta _{\epsilon }\) is proper since \(\mathbb {S}_{\epsilon }^{n-1}\cap f^{-1}({\mathbb {B}}_\delta ^k)\) is compact, and since f has the transversality property in the ball \(\mathbb {B}_{\epsilon }^n\) it is a submersion, and by Ehresmann fibration theorem (Theorem 6.3) it is a \(C^{\ell -1}\)-fibre bundle. Now consider the radial projection \(\tilde{\pi }:{\mathbb {B}}_{\delta }^k\setminus \Delta _{f,\eta } \rightarrow \mathbb {S}^{k-1}\setminus \mathcal {A}\) which is a (trivial and smooth) fibre bundle. The restriction
of \(\phi \) is given by the composition \(\tilde{\pi }\circ f_1\). By Lemma 3.3 the composition \(\phi _1=\tilde{\pi }\circ f_1\) is a \(C^{\ell -1}\)-locally trivial fibration.
So now we just have to show that the restriction:
is a \(C^{\ell -1}\)-fibration. We have that \(\phi _2\) is proper since \(\mathbb {S}_{\epsilon }^{n-1} \setminus f^{-1}(\mathring{{\mathbb {B}}}_\delta ^k)\) is compact.
Since f is d-regular, by Proposition 3.1 the map \(\phi :\mathbb {S}_{\epsilon }^{n-1} \setminus f^{-1}(\Delta _{\epsilon })\rightarrow \mathbb {S}^{k-1}\setminus \mathcal {A}\) has no critical points. So \(\phi _2\) is a submersion restricted to the interior \(\mathcal {M} \setminus f^{-1}({\mathbb {B}}_\delta ^k)\) of \(\mathcal {M} \setminus f^{-1}(\mathring{{\mathbb {B}}}_\delta ^k)\). Since \(\phi _1\) and \(\phi _2\) coincide on the boundary \(\mathcal {M} \cap f^{-1}(\mathbb {S}_\delta ^{k-1})\), we already saw that \(\phi _1\) restricted to this boundary is a submersion. The result follows from the Ehresmann fibration theorem for manifolds with boundary (Theorem 6.3). \(\square \)
Remark 3.4
In the articles [3, 4] we proved that when \(f:({\mathbb {R}}^n,0) \rightarrow ({\mathbb {R}}^k,0)\) is analytic with a critical point at \(0\in {\mathbb {R}}^n\) and \(0\in {\mathbb {R}}^k\) is an isolated critical value, fibrations (3) and (6) are equivalent. The proof uses [3, Proposition 3.5] (which is the analytic version of a corollary by Milnor [16, Corollary 3.4]) which says that there exists a neighbourhood of the origin of \({\mathbb {R}}^n\) such that the gradients of two non-negative analytic functions cannot point in opposite directions. This result is proved using the Analytic Curve Selection Lemma; thus, the proof does not extend to the case when f is non-analytic.
Question 3.5
Are fibrations (3) and (6) equivalent, as in the analytic case? We do not know the answer.
4 Differentiable maps with arbitrary discriminant
As in the analytic case, we want to extend the concept of d-regularity, allowing some maps to become d-regular after a homeomorphism on the target space. We start recalling some definitions from [5].
Given \(\eta >0\) and \(\theta \in \mathbb {S}_\eta ^{k-1}\), recall the set \(\mathcal {L}_\theta \subset {\mathbb {R}}^k\), which is the open segment of line that starts in the origin and ends at the point \(\theta \).
We say that a restriction \(h_\eta :{\mathbb {B}}_\eta ^k \rightarrow h({\mathbb {B}}_\eta ^k)\) of a homeomorphism \(h:({\mathbb {R}}^k,0) \longrightarrow ({\mathbb {R}}^k,0)\) is a conic homeomorphism if:
- (i):
-
For each \(\theta \in \mathbb {S}_\eta ^{k-1}\) the image \(h_\eta (\mathcal {L}_\theta )\) is a path in \({\mathbb {R}}^k\) of class \(C^\ell \) with \(\ell \ge 1\);
- (ii):
-
The inverse map \(h^{-1}\) of h is of class \(C^\ell \) with \(\ell \ge 1\) outside the origin;
- (iii):
-
The map \(h^{-1}\) is a submersion outside the origin.
To simplify the notation, set \(\mathcal {B}_\eta ^k := h({\mathbb {B}}_\eta ^k)\).
We say that a conic homeomorphism \(h:{\mathbb {B}}_\eta ^k \rightarrow \mathcal {B}_\eta ^k\) is a linearization for \(f_{\epsilon }\) if
Given a linearization h for \(f_{\epsilon }\), we say that f is \(d_h\)-regular in \({\mathbb {B}}_{\epsilon }^n\) if the composition \(h^{-1} \circ f\) is d-regular. Set
As before, let \(\pi :\mathbb {S}_\eta ^{k-1}\rightarrow \mathbb {S}^{k-1}\) be the radial projection onto the unit sphere \(\mathbb {S}^{k-1}\) and set \(\mathcal {A}_h=\pi (\mathcal {A}_{h,\eta })\). Then the following theorem is a straightforward generalization of [5, Theorem 3.12].
Theorem 4.1
Let \(f:({\mathbb {R}}^n,0) \rightarrow ({\mathbb {R}}^k,0)\) be a map of class \(C^\ell \) with the transversality property in \({\mathbb {B}}_{\epsilon }^n\), and suppose it admits a linearization \(h:{\mathbb {B}}_\eta ^k \rightarrow \mathcal {B}_\eta ^k\) making f \(d_h\)-regular in \({\mathbb {B}}_{\epsilon }^n\). Then the map
is a \(C^{\ell -1}\)-locally trivial fibration.
5 An example of a non-analytic \(d_h\)-regular map
Consider the real function \(\varsigma :{\mathbb {R}}\rightarrow {\mathbb {R}}_+\) given by:
It is a classic example of a function that is smooth and non-analytic.
Now define \(\alpha :{\mathbb {R}}^n\rightarrow {\mathbb {R}}\) by \(\alpha (x)=1-\Vert x-\bar{1}\Vert ^2\) where \(\bar{1} := (1, 0, \dots , 0)\).
So the function \(f: {\mathbb {R}}^n \rightarrow {\mathbb {R}}_+\) given by \(f(x) := \varsigma (\alpha (x))\), is smooth and non-analytic at the origin.
Notice that:
-
\(f(x) = 0\) if and only if \(\Vert x - \bar{1} \Vert \ge 1\);
-
\(f(x) = t\) for some \(t>0\) if and only if \(t \le e^{-1}\) and
$$\begin{aligned} \Vert x - \bar{1} \Vert ^2 = \frac{1}{\ln t} + 1. \end{aligned}$$
So we have that:
-
(i)
\({{\,\textrm{Im}\,}}(f) = [0, e^{-1}]\);
-
(ii)
\(V(f) = {\mathbb {R}}^n \setminus \mathring{{\mathbb {B}}}^n(\bar{1};1)\), where \(\mathring{{\mathbb {B}}}^n(\bar{1};1)\) is the open ball of radius 1 around the point \(\bar{1}\);
-
(iii)
\(f^{-1}(t) = \mathbb {S}^{n-1} \left( \bar{1}; \sqrt{ \frac{1}{\ln t} + 1} \right) \), where \(\mathbb {S}^{n-1} \left( \bar{1}; \sqrt{ \frac{1}{\ln t} + 1} \right) \) is the \((n-1)\)-sphere around \(\bar{1}\) of radius \(\sqrt{ \frac{1}{\ln t} + 1}\), for any \(0< t < e^{-1}\);
-
(iv)
\(f^{-1}(e^{-1}) = \{ \bar{1} \}\).
The gradient of \(\alpha \) is given by
The derivative of \(\varsigma \) is given by
So by the chain rule, the gradient vector of f at a point \(x \in {\mathbb {R}}^n\) is given by:
where \(\bar{0} := (0, 0, \dots , 0)\).
Hence the critical set and the discriminant of f are given by:
Now we consider a function g analogous to the function f. Define \(\beta :{\mathbb {R}}^n\rightarrow {\mathbb {R}}\) by \(\beta (x)= 4-\Vert x-\bar{2}\Vert ^2\) where \(\bar{2} := (2, 0, \dots , 0)\). Define \(g: {\mathbb {R}}^n \rightarrow {\mathbb {R}}_+\) by \(g(x) := \varsigma (\beta (x))\).
In this case we have:
-
(1)
\({{\,\textrm{Im}\,}}(g) = [0, e^{-\frac{1}{4}}]\);
-
(2)
\(V(g) = {\mathbb {R}}^2 \setminus \mathring{{\mathbb {B}}}^n(\bar{2};2)\);
-
(3)
\(g^{-1}(t) = \mathbb {S}^{n-1} \left( \bar{2}; \sqrt{ \frac{1}{\ln t} + 4} \right) \), for any \(0< t < e^{-\frac{1}{4}}\);
-
(4)
\(g^{-1}(e^{-\frac{1}{4}}) = \{ \bar{2}\}\).
Doing a computation analogous to that for f, we get that the critical set and the discriminant of g are given by:
Finally, set the map \(\Psi :{\mathbb {R}}^n \rightarrow {\mathbb {R}}^2\) given by \(\Psi := (f,g)\). It is a smooth map that is not analytic at the origin.
We have that:
-
(a)
\({{\,\textrm{Im}\,}}(\Psi ) \subset [0, e^{-1}] \times [0, e^{-\frac{1}{4}}]\);
-
(b)
\(V(\Psi ) = V(g) = {\mathbb {R}}^n \setminus \mathring{{\mathbb {B}}}^n(\bar{2};2)\), since \(V(g) \subset V(f)\);
-
(c)
\(\Psi ^{-1}(t_1,t_2) = \mathbb {S}^{n-1} \left( \bar{1}; \sqrt{ \frac{1}{\ln t_1} + 1} \right) \cap \mathbb {S}^{n-1} \left( \bar{2}; \sqrt{ \frac{1}{\ln t_2} + 4} \right) \), for any \(t_1 \ne 0\) and \(t_2 \ne 0\). Notice that if the two spheres \(f^{-1}(t_1)\) and \(g^{-1}(t_2)\) are transverse, the intersection is either homeomorphic to a sphere \(\mathbb {S}^{n-2}\) or empty. If they are tangent, the intersection is a point;
-
(d)
\(\Psi ^{-1}(0,t_2) = \left( {\mathbb {R}}^n \setminus \mathring{{\mathbb {B}}}^n(\bar{1};1) \right) \cap \mathbb {S}^{n-1} \left( \bar{2}; \sqrt{ \frac{1}{\ln t_2} + 4} \right) \), for any \(t_2 \ne 0\). Notice that this is homeomorphic to a ball \({\mathbb {B}}^{n-1}\), except when \(t_2=e^{-\frac{1}{4}}\) we get the point \(\{\bar{2}\}\).
-
(e)
\(\Psi ^{-1}(t_1,0) = \mathbb {S}^{n-1} \left( \bar{1}; \sqrt{ \frac{1}{\ln t_1} + 1} \right) \cap \left( {\mathbb {R}}^n \setminus \mathring{{\mathbb {B}}}^n(\bar{2};2) \right) \), for any \(t_1 \ne 0\). Notice that this is the empty set.
The Jacobian matrix of \(\Psi \) at a point \(x=(x_1, \dots , x_n)\) is given by the following matrix
So we have that the critical set and the discriminant are given by
where \(\mathcal {C}\) is the curve in \({\mathbb {R}}^2\) given by:
In particular, \(\Psi \) does not have linear discriminant (see Fig. 1).
Remark 5.1
The discriminant \(\Delta _\Psi \) divides the plane in two connected components. Here we can see the phenomenon described in Introduction: by (c), over points inside the discriminant, the fibres are spheres \(\mathbb {S}^{n-2}\), while over points outside the discriminant, the fibres are empty.
We claim that \(\Psi \) has the transversality property, so there is no further contribution to the discriminant by critical points of \(\Psi \) restricted to the sphere \(\mathbb {S}_{\epsilon }^{n-1}\). Let \({\mathbb {B}}_{\epsilon }\) be the closed n-ball of small radius \({\epsilon }>0\) centred at the origin \(\bar{0}\in {\mathbb {R}}^n\). Consider the \((n-1)\)-sphere \(\mathbb {S}^{n-1}(\bar{1};1)\) of radius 1 centred at \(\bar{1}\). Firstly, we want to find the equation of the \((n-2)\)-sphere which is the intersection of the \((n-1)\)-spheres \(\mathbb {S}^{n-1}_{\epsilon }\) and \(\mathbb {S}^{n-1}(\bar{1};1)\) which, respectively, have the equations
Getting \(x_2^2\) from (7) and substituting in (8) we get that \(x_1=\frac{{\epsilon }^2}{2}\), so the intersection is the \((n-2)\)-sphere with equation
Now we want to compute the radius r of the \((n-1)\)-sphere \(\mathbb {S}^{n-1}(\bar{2};r)\) with equation
which intersects the hyperplane \(x_1=\frac{{\epsilon }^2}{2}\) on the \((n-2)\)-sphere given by (9). Substituting \(x_1=\frac{{\epsilon }^2}{2}\) and (9) in (10) we obtain that \(r^2=4-{\epsilon }^2\). The image of the \((n-1)\)-sphere \(\mathbb {S}^{n-1}(\bar{2};r)\) under g is \(e^{-\frac{1}{4-r^2}}\). Any \((n-1)\)-sphere \(\mathbb {S}^{n-1}(\bar{2};r')\) of radius \(r'>r>0\) intersects any \((n-1)\)-sphere \(\mathbb {S}^{n-1}(\bar{1};r'')\) with \(0<r''\le 1\) in either, an \((n-2)\)-sphere contained in the interior of the n-ball \({\mathbb {B}}^n_{\epsilon }\) or the empty set. Taking \(\delta \le e^{-\frac{1}{r(4-r)}}\) we get that the fibre \(\Psi ^{-1}(t_1,t_2)\) with \((t_1,t_2)\in {\mathbb {B}}_\delta ^k\setminus \Delta _\Psi \) is either contained in the interior of the n-ball \({\mathbb {B}}^n_{\epsilon }\), or it is the empty set; hence, \(\Psi \) has the transversality property.
Consider the homeomorphism \(h:(0,1)\times (0,1)\rightarrow (0,e^{-1})\times (0,e^{-\frac{1}{3}})\) given by
with inverse
For \(\eta <e^{-1}\) the restriction of h to \({\mathbb {B}}_\eta ^2\cap \bigl ((0,1)\times (0,1)\bigr )\) is a conic homeomorphism that gives a linearization for \(\Psi \), since h takes the segment \(\mathcal {L}_\frac{\pi }{2}\) to itself and the segment \(\mathcal {L}_\frac{\pi }{4}\) onto the curve \(\mathcal {C}\) (see the small rectangle in Fig. 1).
Set \(E_\theta := (h^{-1} \circ \Psi )^{-1}(\mathcal {L}_\theta )\) for \(\theta \in (0,\frac{\pi }{2}]\). For any \(\theta \in (\pi /4, \pi /2)\), one can check that \(E_\theta \) is a manifold homeomorphic to the cylinder \(\mathbb {S}^{n-2} \times (0,1)\) that intersects the sphere \(\mathbb {S}_{{\epsilon }'}\) transversally, for any \({\epsilon }' \le {\epsilon }\), with \({\epsilon }\) small enough as above, and for \(\theta \in [0,\pi /4)\) we have that \(E_\theta \) is empty. Moreover:
and \(E_{\frac{\pi }{2}}\) is a manifold homeomorphic to a disk \(\mathbb {D}^n\) that intersects the sphere \(\mathbb {S}_{{\epsilon }'}\) transversally, for any \({\epsilon }' \le {\epsilon }\). Hence \(\Psi \) is \(d_h\)-regular. Alternatively, one can check this by using Proposition 3.8 of [3] for the composition \(h^{-1} \circ \Psi \).
6 An extension of Ehresmann fibration theorem
In this section we give an extension of Ehresmann fibration theorem proved by Wolf in [20] to prove Lemma 3.3. Analogous results are given by Ekedahl [11] and McKay [14, Corollary 7].
We follow Section 2 of [20] to give the necessary definitions to enunciate Wolf’s theorem. In [20] the results are stated for smooth manifolds and smooth maps between them. Here we also deal with smooth (\(C^\infty \)) manifolds, but the maps may be only of class \(C^\ell \) for \(2\le l\le \infty \).
Let E and B be smooth manifolds and \(\varphi :E\rightarrow B\) a submersion of class \(C^\ell \) with \(2\le l\le \infty \). Since \(\varphi \) is a submersion, for any \(b\in B\) the fibre \(\varphi ^{-1}(b)\) is a submanifold of E of dimension \(\dim E-\dim B\).
Given \(x\in E\), the vertical space \(V_x\) at x is the subspace of \(T_xE\) defined by
that is, the space tangent to the fibre \(\varphi ^{-1}(\varphi (x))\). One has that \(\dim V_x=\dim E-\dim B\). The vertical distribution is \(\mathcal {V}=\{V_x\}_{x\in E}\). An Ehresmann connection for \(\varphi \) is a distribution \(\mathcal {H}=\{H_x\}_{x\in E}\) on E that is complementary to \(\mathcal {V}\), i.e., \(T_xE=V_x\oplus H_x\) for every \(x\in E\). So \(D_x\varphi \) restricts to a linear isomorphism from \(H_x\) onto \(T_{\varphi (x)}B\). The space \(H_x\) is the horizontal space at x. Notice that using a Riemannian metric on E it is always possible to construct an Ehresmann connection taking the orthogonal complement of the vertical distribution.
Fix an Ehresmann connection \(\mathcal {H}\) of \(\varphi :E\rightarrow B\). A tangent vector \(v\in T_x E\) is horizontal (respectively, vertical) if \(v\in H_x\) (respectively, \(v\in V_x\)); a sectionally smooth curve in E is horizontal (respectively, vertical) if each of its tangent vectors is horizontal (respectively, vertical). We make the convention that all sectionally smooth curves are parametrised so as to be regular (nowhere vanishing tangent vector) on each smooth arc.
Let \(\alpha (t)\), \(t\in [0,1]\), be a sectionally smooth curve in \(\varphi (E)\subset B\). Given \(x\in \varphi ^{-1}(\alpha (0))\), there is at most one sectionally smooth horizontal curve \(\alpha _x(t)\), \(t\in [0,1]\), in E such that:
-
(a)
\(\alpha _x(0)=x\), and
-
(b)
\(\varphi \circ \alpha _x=\alpha \).
If it exists, \(\alpha _x\) is called the horizontal lift of \(\alpha \) to x. If \(\alpha _x\) exists for every \(x\in \varphi ^{-1}(\alpha (0))\), then we say that \(\alpha \) has horizontal lifts. In such case, the translation of the fibres along \(\alpha \) is the map
Following [20, Lemma 2.2] we get the following lemma.
Lemma 6.1
Let E and B be smooth manifolds and \(\varphi :E\rightarrow B\) a submersion of class \(C^\ell \) with \(2\le l\le \infty \). If \(u\in \varphi (E)\), then \(\varphi ^{-1}(u)\) is a closed \(C^\ell \)-submanifold of E. If \(\rho :\varphi ^{-1}(u)\rightarrow \varphi ^{-1}(v)\) is a translation relative to an Ehresmann connection for \(\varphi \), then \(\rho \) is of class \(C^{\ell -1}\).
Proof
Since \(\varphi \) is a \(C^\ell \)-submersion, by the Rank Theorem [1, 2.5.15 Rank Theorem] \(F_u:=\varphi ^{-1}(u)\) is a closed \(C^\ell \)-submanifold of E for any \(u\in \varphi (E)\). The tangent bundle \(TF_u\) of \(F_u\) is a \(C^{\ell -1}\)-manifold [1, 3.3.10 Theorem]; hence, the tangent spaces \(T_xF_u\) depend differentiably of class \(C^{\ell -1}\) on \(x\in F_u\). Thus, given an Ehresmann connection \(\mathcal {H}\) the horizontal subspaces \(H_x\) depend differentiably of class \(C^{\ell -1}\) on x.
Since E and B are smooth manifolds, we can take the curve \(\alpha \) to be sectionally smooth. Thus, its derivative \(\alpha '\), which is a curve on the tangent bundle TB, is also sectionally smooth. Given \(x\in \varphi ^{-1}(\alpha (0))\), lifting the vector field \(\alpha '\) to a horizontal vector field \(\alpha '_x\) on E using the Ehresmann connection \(\mathcal {H}\) and the differential \(D\varphi \), which is of class \(C^{\ell -1}\), we loose one degree of differentiability, but since \(\alpha '\) is of class \(C^\infty \), its lifting \(\alpha '_x\) is also of class \(C^\infty \). View the Ehresmann connection as a system of ordinary differential equations. In local coordinates the coefficients are of class \(C^{\ell -1}\) because \(H_x\) depends differentiably of class \(C^{\ell -1}\) on x; thus, the solution curve at time t depends differentiably of class \(C^{\ell -1}\) on the initial data. \(\square \)
Taking Lemma 6.1 into account, one can follow the proofs of [20, Proposition 2.3 and Corollary 2.5] to obtain the following theorem, where \(\varphi :E\rightarrow B\) instead of being a smooth fibre bundle, is a differentiable locally trivial fibre bundle of class \(C^{\ell -1}\): the projection is a map of class \(C^{\ell }\), but the local trivializations are \(C^{\ell -1}\)-diffeomorphisms.
Theorem 6.2
( [20, Corollary 2.5]) Let \(\varphi :E\rightarrow B\) be a submersion of class \(C^\ell \) with \(2\le l\le \infty \), where E and B are paracompact and B connected.Footnote 2 Then the following statements are equivalent:
-
(i)
\(\varphi :E\rightarrow \varphi (E)\) is a \(C^{\ell -1}\)-fibre bundle.
-
(ii)
There exists an Ehresmann connection for \(\varphi \), relative to which every sectionally smooth curve in \(\varphi (E)\) has horizontal lifts.
-
(iii)
If \(\mathcal {H}\) is an Ehresmann connection for \(\varphi \), then every sectionally smooth curve in \(\varphi (E)\) has horizontal lifts relative to \(\mathcal {H}\).
As a corollary, we get the following version of Ehresmann fibration theorem, which corresponds to [20, Corollary 2.4].
Theorem 6.3
(Ehresmann Fibration Theorem) Let \(\varphi :E\rightarrow B\) be a proper submersion of class \(C^\ell \) with \(2\le l\le \infty \), where E and B are paracompact. Then \(\varphi :E\rightarrow \varphi (E)\) is a \(C^{\ell -1}\)-fibre bundle.
It is easy to extend Theorem 6.3 when E is a manifold with boundary \(\partial E\) asking that the restriction \(\phi |_{\partial E}:\partial E\rightarrow B\) is also a submersion and applying Theorem 6.3 to the restriction of \(\varphi \) to the interior of E and to the restriction of \(\varphi \) to the boundary \(\partial E\).
Proof of Lemma 3.3
Since g is a \(C^{\ell -1}\)-locally trivial fibration, by Theorem 6.2 there exists an Ehresmann connection \(\mathcal {H}^g\) for g, relative to which every sectionally smooth curve in \(g(Y)\subset Z\) has horizontal lifts. For any \(y\in Y\) we have \(T_yY=V_y^g\oplus H_y^g\) where \(V_y^g\) and \(H_y^g\) are, respectively, the vertical and horizontal subspaces of \(T_yY\). Recall that \(V_y^g\) is the tangent space of the fibre \(g^{-1}(g(y))\) at y and that \(H_y^g\) projects isomorphically onto \(T_{g(y)}Z\) under \(D_yg\).
Analogously, there exists an Ehresmann connection \(\mathcal {H}^f\) for f, relative to which every sectionally smooth curve in \(f(X)\subset Y\) has horizontal lifts. For any \(x\in X\) we have \(T_xX=V_x^f\oplus H_x^f\) where \(V_x^f\) and \(H_x^f\) are, respectively, the vertical and horizontal subspaces of \(T_xX\). Recall that \(V_x^f\) is the tangent space of the fibre \(f^{-1}(f(x))\) at x and that \(H_x^f\) projects isomorphically onto \(T_{f(x)}Y=V_{f(x)}^g\oplus H_{f(x)}^g\) under \(D_xf\). This isomorphism induces a direct sum decomposition \(H_x^f=\tilde{H}_x^f\oplus H_x^{g\circ f}\), where \(\tilde{H}_x^f\) and \(H_x^{g\circ f}\) correspond, respectively, to \(V_{f(x)}^g\) and \(H_{f(x)}^g\). Hence we have \(T_xX=V_x^f\oplus \tilde{H}_x^f\oplus H_x^{g\circ f}\). Set \(V_x^{g\circ f}=V_x^f\oplus \tilde{H}_x^f\), then we have \(T_xX=V_x^{g\circ f}\oplus H_x^{g\circ f}\) and we claim that \(V_x^{g\circ f}\) is the vertical space of \(g\circ f\) at x and that the distribution \(\mathcal {H}^{g\circ f}=\{H_x^{g\circ f}\}_{x\in X}\) is an Ehresmann connection for \(g\circ f\). Firstly, it is easy to see that \(H_x^{g\circ f}\) is mapped isomorphically onto \(T_{g(f(x))}Z\) under \(D_x(g\circ f)\)
To see that \(V_x^{g\circ f}\) is the vertical space of \(g\circ f\) at x we need to check two cases: 1) if \(v\in V_x^f\) we have that \(D_xf(v)=0\), then \(D_{f(x)}g\bigl (D_xf(v)\bigr )=D_{f(x)}g(0)=0\), 2) if \(v\in \tilde{H}_x^f\) then \(D_xf(v)\in V_y^g\) and \(D_{f(x)}g\bigl (D_xf(v)\bigr )=0\).
Let \(z\in (g\circ f)(X)\subset Z\), \(x\in (g\circ f)^{-1}(z)\) and \(y=f(x)\in g^{-1}(z)\subset Y\). Let \(\alpha :I\rightarrow Z\) be a sectionally smooth curve in \((g\circ f)(X)\subset Z\) with \(\alpha (0)=z\), and let \(\alpha _y:I\rightarrow f(X)\subset Y\) be its horizontal lift relative to \(\mathcal {H}^g\), so we have that \(\alpha _y(0)=y\) and \(g\circ \alpha _y=\alpha \). Now let \(\alpha _x:I\rightarrow X\) be the horizontal lift of \(\alpha _y\) relative to \(\mathcal {H}^f\), so we have that \(\alpha _x(0)=x\) and \(f\circ \alpha _x=\alpha _y\). Thus we have \(g\circ f\circ \alpha _x=g\circ \alpha _y=\alpha \), so \(\alpha _x\) is a lift of \(\alpha \) by \(g\circ f\). To conclude the proof we need to check that \(\alpha _x\) is a horizontal lift relative to the Ehresmann connection \(\mathcal {H}^{g\circ f}\). Since \(\alpha _x:I\rightarrow X\) is the horizontal lift of \(\alpha _y\) relative to \(\mathcal {H}^f\) we have that \(\alpha _x'(t)\in H_{\alpha _x(t)}^f=\tilde{H}_{\alpha _x(t)}^f\oplus H_{\alpha _x(t)}^{g\circ f}\) for every \(t\in I\). We claim that \(\alpha _x'(t)\in H_{\alpha _x(t)}^{g\circ f}\), suppose this is not true that \(\alpha _x'(t)\in \tilde{H}_{\alpha _x(t)}^f\), then \(D_{\alpha _x(t)}f(\alpha _x'(t))=\alpha _y'(t)\in V_{f(\alpha _x(t))}^g\), but this contradicts the fact that \(\alpha _y\) is a horizontal lift of \(\alpha \) relative to the Ehresmann connection \(\mathcal {H}^g\). \(\square \)
References
Abraham, R., Marsden, J.E., Ratiu, T.: Manifolds, Tensor Analysis, and Applications, 2nd edn. Springer-Verlag, Berlin (1988)
Cisneros-Molina, J.L., Grulha Nivaldo Jr, G., José, S.: On the topology of real analytic maps. Int. J. Math. 25(7), 1450069 (2014)
Cisneros-Molina, J.L., Menegon, A.: Equivalence of Milnor and Milnor-Lê fibrations for real analytic maps. Internat. J. Math. 30(14), 1950078 (2019)
Cisneros-Molina, J.L., Menegon, A.: Errata to equivalence of Milnor and Milnor-Lê fibrations for real analytic maps. Internat. J. Math. 32(10), 2150070 (2021)
Cisneros-Molina, J.L., Menegon, A., Seade, J., Snoussi, J.: Fibration theorems à la Milnor for analytic maps with non-isolated singularities. São Paulo J. Math. Sci. (2023). https://doi.org/10.1007/s40863-023-00370-y
Cisneros-Molina, J.L., Seade, J., Snoussi, J.: Refinements of Milnor’s fibration theorem for complex singularities. Adv. Math. 222(3), 937–970 (2009)
Cisneros-Molina, J.L., Seade, J., Snoussi, J.: Milnor fibrations and \(d\)-regularity for real analytic singularities. Internat. J. Math. 21(4), 419–434 (2010)
Cisneros-Molina, J., Seade, J., Snoussi, J.: Milnor fibrations and the concept of \(d\)-regularity for analytic map germs. In Real and complex singularities, volume 569 of Contemp. Math., pages 1–28. Amer. Math. Soc., Providence, RI, (2012)
dos Santos, R.N.A., Ribeiro, M.F., Tibăr, M.: Fibrations of highly singular map germs. Bull. Sci. Math. 155, 92–111 (2019)
Hamm, H.: Lokale topologische Eigenschaften komplexer Räume. Math. Ann. 191, 235–252 (1971)
Is the composition of two bundle projections necessarily a bundle projection? MathOverflow. http://mathoverflow.net/users/4008/torsten-ekedahlTorsten Ekedahl. URL:http://mathoverflow.net/q/74722
Lê, D.T.: Some remarks on relative monodromy. In P. Holm (Ed) Real and complex singularities (Proc. Ninth Nordic Summer School/NAVF Sympos. Math., Oslo, 1976), pages 397–403. Sijthoff and Noordhoff, Alphen aan den Rijn (1977)
Looijenga, E.J.N.: Isolated Singular Points on Complete Intersections. London Mathematical Society Lecture Note Series, vol. 77. Cambridge University Press, Cambridge (1984)
McKay, B.: Morphisms of Cartan Connections. arXiv:0802.1473 (2010)
Milnor, J.: On isolated singularities of hypersurfaces. Preprint, June (1966)
Milnor, J.: Singular points of complex hypersurfaces. Annals of Mathematics Studies, No. 61. Princeton University Press, Princeton, N.J., (1968)
Pham, F.: Singularities of Integrals. Universitext. Springer, London (2011)
Pichon, A., Seade, J.: Fibred multilinks and singularities \(f{\overline{g}}\). Math. Ann. 342(3), 487–514 (2008)
Ribeiro, M.F.S.: Singular Milnor Fibrations. PhD thesis, Universidade de São Paulo, (April 2018)
Wolf, J.A.: Differentiable fibre spaces and mappings compatible with Riemannian metrics. Michigan Math. J. 11, 65–70 (1964)
Acknowledgements
We thank Prof. José Seade for many enlightening conversations, his interest and remarks on this work. We also thank the two anonymous referees for their careful reading of the article and their suggestions which greatly improve it.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author was supported by UNAM-DGAPA-PAPIIT-IN105121. The second author had partial support from CNPq (Brazil). Data sharing is not applicable to this article as no datasets were generated or analysed during the current study. The authors declare that there are no conflicts of interest.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cisneros-Molina, J.L., Menegon, A. Milnor fibration theorem for differentiable maps. Res Math Sci 11, 19 (2024). https://doi.org/10.1007/s40687-024-00431-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-024-00431-4