Abstract
We give two characterisations of when a map-germ admits a 1-parameter stable unfolding, one related to the \({\mathscr {K}}_e\)-codimension and another related to the normal form of a versal unfolding. We then prove that there are infinitely many finitely determined map-germs of multiplicity 4 from \({\mathbb {K}}^3\) to \({\mathbb {K}}^3\) which do not admit a 1-parameter stable unfolding.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In classification problems of map-germs and in the study of their algebraic or topological invariants, having a 1-parameter stable unfolding is a desirable property.
Definition 1.1
Let \(f:({\mathbb {K}}^n,0)\rightarrow ({\mathbb {K}}^p,0)\) be a smooth map-germ. A 1-parameter stable unfolding (OPSU) of f is a smooth map-germ \(F:({\mathbb {K}}^{n+1},0)\rightarrow ({\mathbb {K}}^{p+1},0)\) of the form \(F(x,\lambda ) = (f_\lambda (x),\lambda )\), with \(f_0 = f\), which is stable as a map-germ.
Notice that a germ may have arbitrarily high \({\mathscr {A}}_e\)-codimension but still admit an OPSU. For example, the germs \(f_k(x,y)=(x,y^3+x^{k+1}y)\) in Rieger’s list [15] have \({\mathscr {A}}_e\)-codimension k but admit the OPSU \(F_k(x,y,\lambda )=(x,y^3+x^{k+1}y+\lambda y,\lambda )\), which is a cuspidal edge in \({\mathbb {K}}^3\). Many papers throughout the literature need the hypothesis of a germ admitting an OPSU in their main theorems. For example, in [11] it is the class of germs in which a method to calculate liftable vector fields is applicable, in Theorem 2.19 in [5] it is related to the Mond conjecture and in [6] it is necessary for a characterisation of which map-germs are augmentations. However, it is not fully understood when a map-germ admits an OPSU or not. There are obvious constraints given by the maximum possible multiplicity of stable germs in one dimension above, i.e. multiplicity 6 germs from \({\mathbb {K}}^3\) to \({\mathbb {K}}^3\) cannot have OPSU since there is no stable germ of multiplicity 6 in \({\mathbb {C}}^4\) to \({\mathbb {C}}^4\). Amongst explicitly given classifications of corank 1 simple germs most germs seem to admit OPSU, for example, in Marar and Tari’s classification of simple corank 1 germs from \({\mathbb {K}}^3\) to \({\mathbb {K}}^3\) [9] all admit OPSU. However, this is not true in general, for example \((x,y^4+x^2y)\) in Rieger’s list is simple but does not admit an OPSU. Also, the germs \(H_k(x,y)=(x,y^3,y^{3k-1}+xy)\) in Mond’s list [10] are simple of corank 1 and do not admit OPSU.
In this note we prove two characterisations of when germs admit an OPSU. The first one related to the \({\mathscr {K}}_e\)-codimension is well known but we have not found a proof of it in the literature, so we include it for the sake of completeness. The second one is related to the form of a versal unfolding and we believe it can be useful in several different contexts. Our results are in fact more general and related to the existence of stable unfoldings, the statements for OPSUs come as corollaries. We then turn our attention to the case of corank 1 map-germs from \({\mathbb {K}}^3\) to \({\mathbb {K}}^3\). Any multiplicity 2 germ in these dimensions is stable, any multiplicity 3 germ will be of the form \((x,y,z^3+h(x,y,z))\) with \(h\in {\mathfrak {m}}_3\) and it admits an OPSU \((x,y,z^3+h(x,y,z)+\lambda z,\lambda )\). By [9] all simple multiplicity 4 germs admit an OPSU too. We prove that there are infinitely many non-equivalent finitely determined map-germs of multiplicity 4 which do not admit an OPSU.
2 Preliminaries
Let \({\mathbb {K}}\) be either \({\mathbb {C}}\) or \({\mathbb {R}}\). Denote by \(\mathcal{O }_d\) the local ring of germs of smooth functions in d variables over \({\mathbb {K}}\), and denote its maximal ideal by \({\mathfrak {m}}_d\). We write \(\theta _d = \mathcal{O }_d\times \overset{d}{\cdots }\times \mathcal{O }_d\). If \(f:({\mathbb {K}}^n,0)\rightarrow ({\mathbb {K}}^p,0)\) is a smooth (holomorphic or \(C^\infty\) in \({\mathbb {C}}\) and \({\mathbb {R}}\), respectively) map-germ, then we define \(\theta (f) = \mathcal{O }_n\times \overset{p}{\cdots }\times \mathcal{O }_n\).
Recall that if \({\text {Diff}}({\mathbb {K}}^d,0)\) is the group of germs of diffeomorphisms in \({\mathbb {K}}^d\), then the group \({\mathscr {A}}= {\text {Diff}}({\mathbb {K}}^n,0)\times {\text {Diff}}({\mathbb {K}}^p,0)\) acts on the set of map-germs \(f:({\mathbb {K}}^n,0)\rightarrow ({\mathbb {K}}^p,0)\) via the natural compositions. The equivalence relation defined by the orbits of this action is called \({\mathscr {A}}\)-equivalence. We can assign to each f the following spaces:
where tf acts as the composition with the differential df, and \(\omega f\) acts as the pre-composition with f. These spaces are respectively called the \({\mathscr {A}}_e\)-tangent space to f and the \({\mathscr {A}}_e\)-normal space to f.
If \({\mathscr {K}}\) is the subgroup of \({\text {Diff}}({\mathbb {K}}^{n+p},0)\) given by diffeomorphisms of the form:
with \(\psi (x,0) = 0\) for all x, then \({\mathscr {K}}\) acts on map-germs \(f:({\mathbb {K}}^n,0)\rightarrow ({\mathbb {K}}^p,0)\) such that for each \(\Phi \in {\mathscr {K}}\):
The induced equivalence relation is called \({\mathscr {K}}\)-equivalence or contact equivalence, and we can also assign to each f the following spaces:
where \(f^*{\mathfrak {m}}_p\) is the ideal generated by the components of f over \(\mathcal{O }_n\). These are called the \({\mathscr {K}}_e\)-tangent space to f and the \({\mathscr {K}}_e\)-normal space to f.
We define the \({\mathscr {A}}_e\)-codimension of f as the dimension over \({\mathbb {K}}\) of \(N{\mathscr {A}}_ef\), and we denote it by \({{\mathscr {A}}_e-\!\text {cod}}(f)\). A map-germ is said to be \({\mathscr {A}}\)-finite if it has finite \({\mathscr {A}}_e\)-codimension. Being stable is equivalent to having \({\mathscr {A}}_e\)-codimension equal to 0. The \({\mathscr {K}}_e\)-codimension is defined similarly, and if it is finite we say that f has finite singularity type.
Being \({\mathscr {A}}\)-finite is equivalent to being finitely \({\mathscr {A}}\)-determined. We recall that, in the analytic case, this means that for any \({\mathscr {A}}\)-finite map-germ f there exists a \(d\in {\mathbb {N}}\) such that, if the Taylor expansion of another map-germ g coincides with the expansion of f up to degree d, then both map-germs are \({\mathscr {A}}\)-equivalent.
The multiplicity of f is the dimension over \({\mathbb {K}}\) of \(\frac{\mathcal{O }_n}{f^*{\mathfrak {m}}_p}\) and it is constant along the \({\mathscr {K}}\)-orbit. Finally, recall:
Definition 2.1
A smooth \(f:({\mathbb {K}}^n,0)\rightarrow ({\mathbb {K}}^p,0)\) is \({\mathscr {A}}\)-simple if there exist a finite number of \({\mathscr {A}}\)-equivalence classes such that, if the versal unfolding of f admits a representative \(F:U\rightarrow V\) with \(U\subseteq {\mathbb {K}}^n\times {\mathbb {K}}^d, V\subseteq {\mathbb {K}}^p\times {\mathbb {K}}^d\), of the form \(F(x,\lambda ) = (f_\lambda (x),\lambda )\), for each \((y,\lambda )\in V\) the map-germ \(f_\lambda :({\mathbb {K}}^n,f_\lambda ^{-1}(y))\rightarrow ({\mathbb {K}}^p,y)\) lies in one of those classes.
We refer to [12] for more details on all these definitions.
3 Minimal stable unfoldings
In [8], Mather gave a method to obtain stable mappings as unfoldings of rank 0 map-germs and proved that any stable germ can be obtained by that method. This method provided a recipe to construct a stable unfolding for any given map-germ of finite \({\mathscr {K}}_e\)-codimension. The procedure can be summarized as follows: if \(f:({\mathbb {K}}^n,0)\rightarrow ({\mathbb {K}}^p,0)\) is of rank r and has finite \({\mathscr {K}}_e\)-codimension, then it can be seen as the unfolding of some rank 0 map-germ, \(f_0:({\mathbb {K}}^{n-r},0)\rightarrow ({\mathbb {K}}^{p-r},0)\) of the same codimension \({\mathscr {K}}_e{\text{-cod}}(f_0) = m < \infty\). Since \(f_0\) is of rank 0, \(T{\mathscr {K}}_ef_0\subseteq {\mathfrak {m}}_{n-r}\theta (f_0)\). Therefore, one can find \(\gamma _1,\ldots ,\gamma _{m-p+r}\in \theta (f_0)\) such that:
Mather’s method now ensures that the unfolding:
is stable. Here the \(\gamma _i\) are seen as vector fields in \(\theta (f)\) via the natural inclusion. For detailed explanations and proofs on the results that support this method, we suggest reading Sect. 7.2 of [12].
This procedure has a minor inconvenience, namely that the number of parameters required to obtain the stable unfolding might be excessive. The following example shows a naïve approach to this situation, but hints at what might happen when one is working with a more intricate map-germ:
Example 3.1
Let \(f(x,y) = (x,y^4 + xy)\). We want to apply Mather’s method in order to obtain a stable unfolding. Here, f can be seen as an unfolding of \(f_0(y) = y^4\). Now:
Hence a stable unfolding of f is:
Clearly the term \(u_1y\) is redundant, in the sense that we only needed to add the term \(u_2y^2\) in order to obtain a stable unfolding (see the stable map-germs from \({\mathbb {K}}^3\rightarrow {\mathbb {K}}^3\) in page 210 in [4], for example).
It is widely known that to avoid this problem of repetition one must take out of the computation those elements that, once seen as vector fields in \(\theta (f)\), lie on the same class in \(N{\mathscr {K}}_ef\) as some constant vector field. For instance, in our example, the vector field (0, y) lies in the same class as \((-1,0)\) in \(N{\mathscr {K}}_ef\), since (1, y) is in \(T{\mathscr {K}}_ef\).
We have not been able to find in the literature a published proof of this detail. The following discussion aims to provide a formal proof for future reference.
In order to do this consider the following quotient, which is just a version of the \({\mathscr {K}}_e\)-normal space with the constant vector fields added into the zero class:
This space was studied in depth by Ruas in her thesis [13], using it to provide criteria for determining when an \({\mathscr {A}}\)-orbit is open on its \({\mathscr {K}}\)-orbit. As we will see, it is also the right tool to use when trying to build a stable unfolding with the minimal number of parameters.
Definition 3.2
We will say that a d-parameter stable unfolding F of f is a minimal stable unfolding if no other stable unfolding exists with less than d parameters.
Denote by \(\frac{\partial }{\partial X_1},\ldots ,\frac{\partial }{\partial X_p}\) the constant vector fields in \(\theta (f)\). Then we can also denote the constant vector fields of \(\theta (F)\) by \(\frac{\partial }{\partial X_1},\ldots ,\frac{\partial }{\partial X_p},\frac{\partial }{\partial U_1},\ldots ,\frac{\partial }{\partial U_d}\). The following result can be found as Lemma 5.5 in [12]:
Lemma 3.3
For any unfolding \(F(x,u) = (f_u(x),u)\) of f, there is an isomorphism \(\beta :N{\mathscr {K}}_eF\rightarrow N{\mathscr {K}}_ef\) that takes the class of \(\frac{\partial }{\partial X_i}\) to the class in \(N{\mathscr {K}}_ef\) of \(\frac{\partial }{\partial X_i}\) for each \(i=1,\ldots ,p\), and the class of \(\frac{\partial }{\partial U_j}\) to the class in \(N{\mathscr {K}}_ef\) of \(\dot{F_j} = \left. \frac{\partial f_u}{\partial u_j} \right| _{u=0}\) for each \(j=1,\ldots ,d\).
Denote by c(f) the number of constant vector fields \(\frac{\partial }{\partial X_j}\) which do not belong to \(T{\mathscr {K}}_ef\).
Theorem 3.4
Let \(f:({\mathbb {K}}^n,0)\rightarrow ({\mathbb {K}}^p,0)\) be a smooth map-germ with finite \({\mathscr {K}}_e\)-codimension. Then, \(d:=\dim _{\mathbb {K}}N(f) = {\mathscr {K}}_e-\!\text {cod}(f) - c(f)\). Moreover, if the classes of \(\gamma _1,\ldots ,\gamma _d\in \theta (f)\) form a \({\mathbb {K}}\)-basis of the quotient N(f), then:
is a minimal stable unfolding of f. In particular, f admits an OPSU if and only if \(\dim _{\mathbb {K}}N(f) = 1\).
Proof
The following argument is similar to the one found in Proposition 7.1 from [12], but taking into account that f is not of rank 0.
Notice that the only elements in \(\omega f(\theta _p)\) that do not belong to \(f^*{\mathfrak {m}}_p\theta (f)\) are those from the subspace \({\text {Sp}}_{\mathbb {K}}\left\{ \frac{\partial }{\partial X_1},\ldots ,\frac{\partial }{\partial X_p}\right\}\). Therefore N(f) is effectively \(N{\mathscr {K}}_ef\) but adding all the constants into the zero class. Hence, the first equality is clear.
This also means that \(N{\mathscr {K}}_ef\) is contained in the linear space generated over \({\mathbb {K}}\) by the classes of \(\frac{\partial }{\partial X_1},\ldots ,\frac{\partial }{\partial X_p}\), \(\gamma _1,\ldots ,\gamma _d\). As a remark, since f is of arbitrary rank, the class of some \(\frac{\partial }{\partial X_i}\) might be zero over \(N{\mathscr {K}}_ef\), and so these classes might not form a system of generators. Now, by Lemma 3.3, we have that \(N{\mathscr {K}}_eF\) is contained in the linear space generated over \({\mathbb {K}}\) by the classes of \(\frac{\partial }{\partial X_1},\ldots ,\frac{\partial }{\partial X_p},\frac{\partial }{\partial U_1},\ldots ,\frac{\partial }{\partial U_d}\). Again, some of the \(\frac{\partial }{\partial X_i}\) might be in the zero class, but we still have:
Hence, F is stable (see Theorem 4.1 from [12]). No stable unfolding with less parameters can exist, since the image of the \(\frac{\partial }{\partial U_1},\ldots ,\frac{\partial }{\partial U_d}\) via the isomorphism must project to a basis of N(f) for the unfolding to be stable.
\(\square\)
The \({\mathscr {K}}_e\)-codimension is constant in a \({\mathscr {K}}\)-orbit, so one could be inclined to think that having an OPSU depends only on the \({\mathscr {K}}\)-orbit (i.e. on the multiplicity). However, c(f) is not, as the following example shows (see also Sect. 4).
Example 3.5
In Rieger’s classification [15] amongst the multiplicity 4 germs, \((x,y^4+xy)\) and \((x,y^4+xy^2+y^{2k+1})\) (\(k>1\)) admit OPSUs, and \((x,y^4+x^2y+y^5)\) and \((x,y^4+x^2y)\) don’t. It can be seen that \(c(f)=2\) for the first two, but for the last two \((1,0)\in T{\mathscr {K}}_ef\) and \(c(f)=1\).
We finish the section by giving a normal form of the versal unfolding of map-germs that admit stable unfolding, involving N(f). Part of the argument in the following proof can be found as the first step in the proof of Theorem 5.1 from Ruas’ thesis ( [13]), which was later published in [14]. It is used there to obtain a sufficient condition (equivalent in the article) for the \({\mathscr {A}}\)-orbit of a germ with finite singularity type to be open on its \({\mathscr {K}}\)-orbit. The extra hypothesis of finite \({\mathscr {A}}_e\)-codimension allows to prove another result:
Proposition 3.6
If \(f:({\mathbb {K}}^n,0)\rightarrow ({\mathbb {K}}^p,0)\) has finite \({\mathscr {A}}_e\)-codimension k, and \(N(f) = {\text {Sp}}_{\mathbb {K}}\lbrace \gamma _1,\ldots , \gamma _d \rbrace\) for some \(\gamma _i\in \theta (f)\), then:
for some \(p_i^j\in {\mathfrak {m}}_p\). In particular, f admits an OPSU if and only if it admits a versal unfolding of the form:
for some \(p_2,\ldots ,p_k\in {\mathfrak {m}}_p\).
Proof
First notice that:
Hence, since \(\gamma _1,\ldots ,\gamma _d\) are a \({\mathbb {K}}\)-basis of N(f), they must form a \({\mathbb {K}}\)-independent set over \(N{\mathscr {A}}_ef\). Since \({{\mathscr {A}}_e-\!\text {cod}}(f) = k < \infty\), there must exist some \(\gamma _{d+1},\ldots ,\gamma _{k}\) that complete a basis of \(N{\mathscr {A}}_ef\).
We can also use the Malgrange Preparation Theorem (see the proofs mentioned above from [13, 14]) to see that \(N{\mathscr {A}}_ef\) is generated by \(\gamma _1,\ldots ,\gamma _d\) as an \(\mathcal{O }_p\)-module via f. Therefore, each \(\gamma _{d+1},\ldots ,\gamma _k\) must be in the class of some element in \(f^*{\mathfrak {m}}_p{\text {Sp}}_{\mathbb {K}}\lbrace \gamma _1,\ldots ,\gamma _d\rbrace\) over \(N{\mathscr {A}}_ef\), giving a basis in the required form.
In particular, if \(d =1\) there must exist \(p_2,\ldots ,p_k\in {\mathfrak {m}}_p\) so that \(\gamma _i(x) = p_i(f(x))\gamma _1(x)\) for each \(i=2,\ldots ,k\), and so a versal unfolding in the required form can be constructed. The converse is also true, since finding a versal unfolding of this form implies that \(N{\mathscr {A}}_ef = {\text {Sp}}_{\mathbb {K}}\lbrace \gamma _1,p_2(f( x))\gamma _1,\ldots ,p_k(f(x))\gamma _1\rbrace\). As \(p_i(f(x))\gamma _1\in f^*{\mathfrak {m}}_p\theta (f)\) for each \(i=2,\ldots ,k\), we have that \(\dim _{\mathbb {K}}N(f) = \dim _{\mathbb {K}}\left( {\text {Sp}}_{\mathbb {K}}\lbrace \gamma _1(x)\rbrace \right) = 1\) and so by Theorem 3.4f admits an OPSU of the form \((f(x) + \lambda \gamma _1(x),\lambda )\). \(\square\)
In spite of not knowing explicitly who the \(p_i\) are, this result can be of great interest when dealing with equivalence of unfoldings.
Example 3.7
Suppose you are given a germ and its versal unfolding, for example \(P_2:(x,y,z^5+xz,z^3+yz)\) in Houston and Kirk’s list [7] and its versal unfolding \((x,y,z^5+xz+\lambda _1z^2+\lambda _2xz^2,z^3+yz,\lambda _1,\lambda _2)\). An advanced reader might realise that \(P_2\) is a 1-parameter unfolding of \(H_2\) in Mond’s list [10], which has \({\mathscr {A}}_e\)-codimension 2, so the versal unfolding of \(H_2\) should be an OPSU of \(P_2\). However, with less background on existing classifications, knowing whether \(P_2\) admits an OPSU or not is a priori not direct. Now, the versal unfolding can be written as \((P_2,\lambda _1,\lambda _2)+(\lambda _1+\lambda _2x)(0,0,z^2,0,0,0)\), and by the above result, this implies that \((P_2,\lambda )+\lambda (0,0,z^2,0,0)=(x,y,z^5+xz+\lambda z^2,z^3+yz,\lambda )\) is an OPSU.
4 Corank 1 multiplicity 4 germs from \({\mathbb {K}}^3\) to \({\mathbb {K}}^3\)
All simple germs of multiplicity 4 in Marar and Tari’s list [9] admit an OPSU. In fact the germs \(4_1^k:(x,y,z^4+xz+y^kz^2)\) and \(4_2^k:(x,y,z^4+(y^2+x^k)z+xz^2)\) are augmentations and any augmentation admits an OPSU (see [1] for details on augmentations and their simplicity). It is natural to ask whether there are any other finitely determined germs in this \({\mathscr {K}}\)-orbit which do not admit OPSU.
Theorem 4.1
There are infinitely many non \({\mathscr {A}}\)-equivalent finitely determined germs of multiplicity 4 in \({\mathbb {C}}^3\) to \({\mathbb {C}}^3\) which do not admit an OPSU.
Proof
Let \(H(d_1,d_2,d_3)\) the set of all homogeneous polynomial mappings \(F =(f_1,f_2,f_3):{\mathbb {C}}^3\rightarrow {\mathbb {C}}^3\), such that \(deg f_i = d_i\). By Theorem 1.1 in [3], if \(gcd(d_1,d_2,d_3)=1\) and \(gcd(d_i,d_j)\le 2\) for \(1\le i\le j\le 3\), then there exists a non-empty Zariski open subset \(U\subset H(d_1,d_2,d_3)\) such that for every mapping \(F\in U\) the map germ (F, 0) is finitely \({\mathscr {A}}\)-determined. Taking \((d_1,d_2,d_3)=(1,1,p)\) with \(p>4\), we then have that there exists a finitely determined map-germ with homogeneous entries of those degrees in each component. By linear changes of coordinates in the source, this germ will be equivalent to \((x,y,\phi _p(x,y,z))\), where \(\phi _p\) is a homogeneous polynomial of degree p in the variables x, y, z.
Now, by Lemma 1.2 in [2], if we add polynomials in each component of degrees strictly less than (1, 1, p), the resulting germ will be finitely determined. So we have that \(f_p(x,y,z)=(x,y,\phi _p(x,y,z))+(0,0,z^4)=(x,y,z^4+\phi _p(x,y,z))\) is finitely determined. Notice that it has multiplicity 4 for any p.
Next, taking \(p_1\ne p_2\), we show that \(f_{p_1}\) is not \({\mathscr {A}}\)-equivalent to \(f_{p_2}\). Notice that \(f_p(x,y,z)\) can be written as
for \({\tilde{\phi }}_p,\phi ^1_p,\phi ^2_p,\phi ^3_p\) homogeneous polynomials of degrees \(p-4,p-1,p-2\) and \(p-3\), respectively. Notice that \((1+{\tilde{\phi }}_p(x,y,z))\) is a unity. Any change of coordinates in the source will mantain some monomial of degree p. On the other hand, the only way to eliminate monomials of degree p with changes of coordinates in the target is with the change \(Z\rightarrow Z-\psi (X,Y)Z\), where (X, Y, Z) are the coordinates in the target and \(\psi (X,Y)\) is a polynomial of degree \(p-4\). However, any monomial in \(\psi (X,Y)Z\) of degree p will have \(z^4\) and the monomials of degree p in \(f_p\) have \(z,z^2\) or \(z^3\), so there is no way of eliminating all the monomials of degree p by \({\mathscr {A}}\)-equivalence. Hence \(f_{p_1}\) is not \({\mathscr {A}}\)-equivalent to \(f_{p_2}\) if \(p_1\ne p_2\). \(\square\)
Example 4.2
In [9] a method to classificate corank 1 simple germs in the equidimensional case due to du Plessis is given. Any such germ is \({\mathscr {A}}\)-equivalent to a germ of the form \((x_1,\ldots ,x_{n-1},x_n^{n+1}+\sum _{i=1}^{n-1}P_i(x_1,\ldots ,x_{n-1})x_n^i)\). Two such germs are \({\mathscr {A}}\)-equivalent if and only if the corresponding \((P_1,\ldots ,P_{n-1})\) are \({\mathscr {G}}\)-equivalent, where \({\mathscr {G}}\) is a subgroup of \({\mathscr {K}}\). The \({\mathscr {A}}_e\)-codimension of the germ is equal to the \({\mathscr {G}}_e\)-codimension of \((P_1,\ldots ,P_{n-1})\), and following [9], for multiplicity 4 germs of type \((x,y,z^4+P(x,y)z+Q(x,y)z^2)\), this is given by the codimension in \(\mathcal{O }_2^2\) of the space generated by \(\{(3P,2Q),(P_x,Q_x),(P_y,Q_y),(-4PQ^2,9P^2)-Q^2(3P,2Q),(-2PQQ_x,3PP_x),(-2PQQ_y,3PP_y)\}\).
The corresponding calculation shows that the germ \((x,y,z^4+(x^2-y^2)z+y^2z^2)\) has \({\mathscr {A}}_e\)-codimension 4 and is therefore finitely determined. However, by Theorem 3.4 it does not admit an OPSU.
References
Breva Ribes, I., Oset Sinha, R.: Simplicity of augmentations of codimension 1 germs and by Morse functions. Mediterr. J. Math. 19(6), 279, 20 (2022)
Bruce, J.W., Ruas, M.A.S., Saia, M.J.: A note on determinacy. Proc. Am. Math. Soc 115(3), 865–871 (1992)
Farnik, M., Jelonek, Z., Ruas, M.A.S.: Finite \({\mathscr {A}}\)-determinacy of generic homogeneous map germs in \({\mathbb{C}}^3\). J. Math. Soc. Jpn. 73(1), 211–220 (2021)
Gibson, C.G.: Singular points of smooth mappings. Research notes in mathematics, Pitman (1979)
Giménez Conejero, R., Nuño-Ballesteros, J.J.: A weak version of the Mond conjecture. Collect. Math. (2023)
Houston, K.: Augmentation of singularities of smooth mappings. Int. J. Math. 15(2), 111–124 (2004)
Houston, K., Kirk, N.: On the classification and geometry of Corank 1 map-germs from three-space to four-space. In: Singularity Theory (Liverpool, 1996), xxii, 325–351, London Math. Soc. Lecture Note Ser., 263, Cambridge Univ. Press, Cambridge (1999)
Mather, J.N.: Stability of \(C^\infty\) mappings, IV: classification of stable germs by R-algebras. Publ. Math. l’Inst. Hautes Sci. 37, 223–248 (1969)
Marar, W.L., Tari, F.: On the geometry of simple germs of co-rank 1 maps from R3 to R3. Math. Proc. Camb. Philos. Soc. 3(119), 469–481 (1996)
Mond, D.: On the classification of germs of maps from \({\mathbb{R} }^2\) to \({\mathbb{R}}^3\). Proc. Lond. Math. Soc. (3) 50, 333–369 (1983)
Nishimura, T., Oset Sinha, R., Ruas, M.A.S., Wik, R.: Atique Liftable vector fields over corank one multigerms. Math. Ann. 366(1–2), 573–611 (2016)
Mond, D., Nuño-Ballesteros, J.J.: Singularities of mappings. In: The Local Behaviour of Smooth and Complex Analytic Mappings. Grundlehren der Mathematischen Wissenschaften. Springer, Berlin, p. 357 (2020)
Ruas, M.A.S.: \(C^l\)-determinação finita e aplicações. Thesis, ICMC, USP-São Carlos (1983)
Rieger, J.H., Ruas, M.A.S.: M-deformations of \({\mathscr {A}}\)-simple \(\Sigma ^{n-p+1}\)-germs from \({\mathbb{R} }^n\) to \({\mathbb{R} }^p\), \(n\ge p\). Math. Proc. Camb. Philos. Soc. 139(2), 333–349 (2005)
Rieger, J.H.: Families of maps from the plane to the plane. J. Lond. Math. Soc. 2(36), 361–369 (1986)
Acknowledgements
The authors thank M. A. S. Ruas for constant encouragement and inspiration. In fact, all the ideas in this paper have been directly inspired by discussions with Ruas.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. Work of R. Oset Sinha partially supported by Grant PID2021-124577NB-I00 funded by MCIN/AEI/ 10.13039/501100011033 and by “ERDF A way of making Europe”. Work of I. Breva Ribes partially supported by Universitat de Valencia, grant UV-INV-PREDOC22-2187086.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Lev Birbrair.
Dedicated to Maria Aparecida Soares Ruas (Cidinha) on the ocassion of her 75th birthday.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Breva Ribes, I., Oset Sinha, R. A note on 1-parameter stable unfoldings. São Paulo J. Math. Sci. (2023). https://doi.org/10.1007/s40863-023-00384-6
Accepted:
Published:
DOI: https://doi.org/10.1007/s40863-023-00384-6