Deformations of corank $1$ frontals

TL;DR

This paper develops a new theoretical framework for understanding deformations of corank 1 frontals, including stability, versality, and classification, without relying on contact geometry, and proves a version of Mond's conjecture.

Contribution

It introduces a frontal Thom-Mather theory, characterizes stability and versality, and classifies stable corank 1 frontals in complex dimensions.

Findings

Proves a frontal version of Mond's conjecture in dimension 1.

Provides a complete classification of stable corank 1 frontals from a0a0 to a0a0.

Develops methods for constructing stable and versal frontal unfoldings.

Abstract

We develop a Thom-Mather theory of frontals analogous to Ishikawa's theory of deformations of Legendrian singularities but at the frontal level, avoiding the use of the contact setting. In particular, we define concepts like frontal stability, versality of frontal unfoldings or frontal codimension. We prove several characterizations of stability, including a frontal Mather-Gaffney criterion, and of versality. We then define the method of reduction with which we show how to construct frontal versal unfoldings of plane curves and show how to construct stable unfoldings of corank 1 frontals with isolated instability which are not necessarily versal. We prove a frontal version of Mond's conjecture in dimension 1. Finally, we classify stable frontal multigerms and give a complete classification of corank 1 stable frontals from $\mathbb C^3$ to $\mathbb C^4$.

Tables

Table 1. Table 1. Stable proper frontal map germs ( ℂ 3 , 0 ) → ( ℂ 4 , 0 ) → superscript ℂ 3 0 superscript ℂ 4 0 (\mathbb{C}^{3},0)\to(\mathbb{C}^{4},0) . The notation A i , j subscript 𝐴 𝑖 𝑗 A_{i,j} is due to Ishikawa [ 14 ] .

Plane curve	Versal frontal unfolding
	$A_{2,0}$	$(u,v,t^2,t^3)$
	$A_{2,1}$	$(u,v,t^2,t^5+u{t}^3)$
	$A_{3,0}$	$(u,v,t^3+3ut,3t^4+2u{t}^2)$
	$A_{3,1}$	$(u,v,t^3+tu,t^5+v{t}^4+2uv{t}^2-5u^{2}t)$
	$A_{4,0}$	$(u,v,t^4+8tu,t^7+t^5+t^{3}v\left(5-14v\right)+t^{2}u\left(5-42v\right)-28t{u}^2)$

Equations

$$(d{\pi }_w{)}^{-1}(T_{\pi (w)}Z)\subseteq \ker {\sigma }_w.$$

$$\alpha ={\omega }_{1}d{z}^1+\cdots +{\omega }_{n+1}d{z}^{n+1}$$

$$0=F^{\ast }\alpha =\sum _{i=1}^{n+1}{\nu }_{1}d(Z_i\circ f)=\sum _{i=1}^{n+1}\sum _{j=1}^n{\nu }_i\frac{\partial f_i}{\partial x_j}d{x}^j,$$

$$f(x_1,\dots ,x_n)=(x_1^2,\dots ,x_n^2,2x_1^{p_1}+\cdots +2x_n^{p_n});$$

$${\nu }_{(x_1,\dots ,x_n)}=p_1{x}_1^{p_1-2}d{X}^1+\cdots +p_n{x}_n^{p_n-2}d{X}^n-d{X}^{n+1},$$

$$f(x,y)=(x,p(x,y),q(x,y));$$

$$\tilde{f}=\left(f,\frac{\partial q}{\partial x_1}-\mu \frac{\partial p}{\partial x_1},\dots ,\frac{\partial q}{\partial x_{n-1}}-\mu \frac{\partial p}{\partial x_{n-1}},\mu \right)$$

$$d(Z_i\circ f)=-\frac{{\nu }_1}{{\nu }_i}d(Z_1\circ f)-\cdots -\widehat{d(Z_i\circ f)}-\cdots -\frac{{\nu }_{n+1}}{{\nu }_i}d(Z_{n+1}\circ f),$$

$$f_j=$$

$$f_{j+1}=$$

$$F:({\mathbb{K}}^n,S)\to (P{T}^{\ast }{\mathbb{K}}^{n+1},w),$$

$$T^{\ast }Z$$

$${\pi }^{\prime }\circ \Psi =\psi \circ \pi$$

$$(\omega \circ d{\psi }_{\psi (z)}^{-1}\circ d{\pi }_{\Psi (q)}^{\prime })[d{\Psi }_q(v)]=0⟹d{\Psi }_q(v)\in {\Delta }_{\Psi (q)}^{\prime }$$

$$(\omega \circ d{\psi }_{\psi (z)}^{-1}\circ d{\pi }_{\Psi (q)}^{\prime })(w)=0$$

$$g=\pi \circ \tilde{g}=\pi \circ \Psi \circ \tilde{f}\circ {\varphi }^{-1}=\psi \circ \pi \circ \tilde{f}\circ {\varphi }^{-1}=\psi \circ f\circ {\varphi }^{-1},$$

$${\omega }_{(s,t)}=\alpha (t,s)(4t^{3}dX-(3t^2+s)dY)$$

$${\nu }_{(x,y,\lambda )}=({\nu }_0{)}_{(x,y)}+\sum _{j=1}^d{\lambda }_j({\nu }_j{)}_{(x,y,\lambda )}$$

$$(x,y,\lambda )\mapsto (f_{\lambda }(x,y),[{\nu }_{(x,y,\lambda )}])$$

$$\frac{\partial }{\partial u_j}(Y\circ f_{\lambda })=(P_1\circ {\tilde{f}}_{\lambda })\frac{\partial }{\partial u_j}(X_1\circ f_{\lambda })+\cdots +(P_n\circ {\tilde{f}}_{\lambda })\frac{\partial }{\partial u_j}(X_n\circ f_{\lambda })$$

$$\sum _{j=1}^n(P_j\circ {\tilde{f}}_{\lambda })\left(d{X}^j-\sum _{k=1}^d\frac{\partial }{\partial {\lambda }_k}(X_j\circ f_{\lambda })d{\lambda }^k\right)-dY+\sum _{k=1}^d\frac{\partial }{\partial {\lambda }_k}(Y\circ f_{\lambda })d{\lambda }^k$$

$$\nu \left(dF\circ \frac{\partial }{\partial u_i}\right)=$$

$$\nu \left(dF\circ \frac{\partial }{\partial {\lambda }_i}\right)=$$

$$-\frac{\partial (Y\circ f_{\lambda })}{\partial {\lambda }_i}+\frac{(Y\circ f_{\lambda })}{\partial {\lambda }_i}=0$$

$${\theta }_I(\tilde{f})=\{v_0({\tilde{f}}_t):{\tilde{f}}_t\text{ integral },{\tilde{f}}_0=\tilde{f}\};$$

$$\mathcal{F}(f)=\{v_0(f_t):(t,f_t)\text{ frontal},f_0=f\}.$$

$$\Pi :\frac{\mathcal{F}(f)}{T{\mathcal{A}}_{e}f}⟶\frac{{\theta }_I(\tilde{f})}{T{\mathcal{L}}_e\tilde{f}}.$$

$$0={\frac{d{f}_t}{dt}|}_{t=0}=[h(x,t)+t{h}_t(x,t){]}_{t=0}=h(x,0)⟹h(x,t)=tg(x,t).$$

$$d(Y\circ f_t)=\sum _{j=1}^n(P_j\circ {\tilde{f}}_t)d(X_j\circ f_t)$$

$$t\frac{\partial (Y\circ g)}{\partial x_k}=\sum _{j=1}^n\left[(P_j\circ \tilde{h})\frac{\partial (X_j\circ f_t)}{\partial x_k}+t(P_j\circ \tilde{f})\frac{\partial (X_j\circ g)}{\partial x_k}\right].$$

$$0=\sum _{j=1}^n\frac{\partial (X_i\circ f)}{\partial x_k}(x)(P_j\circ \tilde{h})(x,0)$$

$${\theta }_I(\tilde{f})=\{\xi \in \theta (\tilde{f}):{\xi }^{\ast }\tilde{\alpha }=0\},$$

Full text

Work of Juan J. Nuño-Ballesteros and 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”

1. Introduction

The study of frontal mappings has flourished rapidly in the last decade. Roughly speaking a frontal is a mapping $f\colon N\to Z$ where $N$ and $Z$ are $n$ and $(n+1)$-dimensional manifolds such that the image of $N$ has a well defined tangent hyperplane at each point. More precisely, $f$ is a frontal if it admits a Legendrian lift $\tilde{f}\colon N\to PT^{*}Z$ such that $f=\pi\circ\tilde{f}$, where $\pi$ is the canonical fibration. When the Legendrian lift is an immersion we say that $f$ is a wave front. The concept of frontals was first introduced by Fujimori, Saji, Umehara and Yamada in [7] (see also [29]) and since then it has been of great interest to differential geometers, singularists and contact topologists. The fact of having a well defined normal at each point allows one to study differential geometric properties and invariants in singular spaces ([4, 16, 21, 24, 25]), on the other hand, when studying contact and symplectic topology front singularities are unavoidable [3] and understanding the generic (or stable) situations is crucial.

In [14], Ishikawa developed the analogue of the Thom-Mather theory for corank one Legendrian singularities and he stated the main notions like infinitesimal deformations, stability, versality, etc. Our purpose in this paper is to construct a Thom-Mather theory of singularities of frontals, but downstairs, at the level of frontals, and thus, avoiding the use of the contact setting. In particular, we consider deformations that come from unfoldings $F$ of the frontal $f$. We show that such unfoldings $F$ come from a deformation of its Legendrian lift $\tilde{f}$ if and only if $F$ is frontal as a mapping. Taking local charts of $N$ and $Z$ we study map germs $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ under $\mathscr{A}$-equivalence, i.e. smooth changes of coordinates in source and target. Here, smooth means $C^{\infty}$ when $\mathbb{K}=\mathbb{R}$ or holomorphic when $\mathbb{K}=\mathbb{C}$. The case of frontal surfaces ($n=2$) was studied in a previous paper ([22]) where analytic/toplogical invariants were defined and characteristations of finite frontal codimension were given, amongst other interesting results on surfaces, using some of the definitions and results that will be given in this paper.

In Section 3 we define the concept of frontal stability and versality. We define a frontal codimension and prove that a frontal is stable if and only if it has frontal codimension 0. We also give a characterisation of versality analogous to Mather’s versality theorem. Section 4 gives a geometric criterion for stability, a frontal Mather-Gaffney criterion which states that a frontal is stable if and only if it has isolated instability. Sections 5 and 6 are devoted to show how to construct stable frontals as frontal versal unfoldings of plane curves or as a well defined sum of frontal unfoldings. We define the frontal reduction of an $\mathscr{A}_{e}$-versal unfolding of a plane curve and prove that it is, in fact, a versal frontal unfolding. As a by product we relate the frontal codimension of a plane curve with its $\mathscr{A}_{e}$-codimension and prove the frontal Mond conjecture (stated in [22]) in dimension 1, which says that the frontal codimension is less than or equal to the frontal Milnor number (the number of spheres in a stable deformation) with equality if the germ is quasi-homogeneous. We also give a method to construct stable unfoldings which are not necessarily versal. We then turn our attention to characterizing stability of frontal multigerms defining a frontal Kodaira-Spencer map which also yields a tangent space to the iso-singular locus (the manifold along which the frontal is trivial). Finally we use our methods to obtain a complete list of stable 3-dimensional frontals in $\mathbb{C}^{4}$. Note that generic wave fronts were classified by Arnol’d in [1] and, on the other hand, Ishikawa classified stable Legendrian maps (which may have different projected frontals), but, until now, a complete classification of stable frontals was only known for $n=1$ ([1]) and $n=2$ ([23]).

For technical reasons in order to use Ishikawa’s results we restrict ourselves to the case of frontals whose Legendrian lift has corank 1.

2. Frontal map-germs

Let $W$ be a smooth manifold of dimension $2n+1$. A field of hyperplanes $\Delta$ over $W$ is a contact structure for $W$ if, for all $w\in W$, there exist an open neighbourhood $U\subseteq W$ of $w$ and a $\sigma\in\Omega^{1}(U)$ such that

1. (1)

$\operatorname{rk}\sigma_{w}=1$; 2. (2)

the fibre $\Delta_{w}$ of $\Delta$ at $w$ is $\ker\sigma_{w}$; 3. (3)

$(\sigma\wedge d\sigma\wedge\stackrel{{\scriptstyle(n)}}{{\dots}}\wedge d\sigma)_{w}\neq 0$.

We call $\sigma$ the local contact form of $W$, and define a contact manifold as a pair $(W,\Delta)$, where $\Delta$ is a contact structure on $W$. Given a smooth manifold $Z$ of dimension $n+1$, a submersion $\pi\colon W\to Z$ is a Legendrian fibration for $(W,\Delta)$ if, for all $w\in W$,

[TABLE]

Example 2.1**.**

Let $W=PT^{*}\mathbb{K}^{n+1}$ be the projectivised cotangent bundle of $\mathbb{K}^{n+1}$, and $(z,[\omega])\in W$. The differential $1$-form

[TABLE]

defines a contact structure on $W$. The projection $W\to\mathbb{K}^{n+1}$ given by $(z,[\omega])\mapsto z$ is a Legendrian fibration under this contact structure.

Definition 2.2**.**

Let $\pi\colon W\to Z$, $\pi^{\prime}\colon W^{\prime}\to Z^{\prime}$ be Legendrian fibrations. A diffeomorphism $\Psi\colon W\to W^{\prime}$ between contact manifolds is

1. (1)

a contactomorphism, if $\Delta^{\prime}=d\Psi(\Delta)$; 2. (2)

a Legendrian diffeomorphism if it is a contactomorphism and there exists a diffeomorphism $\psi\colon Z\to Z^{\prime}$ such that $\psi\circ\pi=\pi^{\prime}\circ\Psi$.

We say $W$ is contactomorphic to $W^{\prime}$ if there is a contactomorphism $\Psi\colon W\to W^{\prime}$.

A well-known result by Darboux states that any two contact manifolds $W,W^{\prime}$ of the same dimension admit a local diffeomorphism $\Psi\colon W\to W^{\prime}$ such that $\Delta^{\prime}=d\Psi(\Delta)$ (see e.g. [27], §20.1). In particular, if $\dim W=2n+1$, $W$ is locally contactomorphic to the contact manifold described in Example 2.1; therefore, we can restrict oruselves to the setting given in Example 2.1.

Let $N\subseteq\mathbb{K}^{n+1}$ be an open subset. A mapping $F\colon N\to PT^{*}\mathbb{K}^{n+1}$ is integral if $F^{*}\alpha=0$.

Definition 2.3**.**

A smooth mapping $f\colon N^{n}\to Z^{n+1}$ is frontal if there exist an integral mapping $F\colon N\to W$ and a Legendrian fibration $\pi\colon W\to Z$ such that $f=\pi\circ F$. If $F$ is an immersion, we say $f$ is a wave front. Similarly, a hypersurface $X\subset Z$ is frontal (resp. a wave front) if there exists a frontal map (resp. wave front) $f\colon N\to Z$ such that $X=f(N)$.

Definition 2.4**.**

Let $S\subset N$ be a finite set. A smooth multigerm $f\colon(N,S)\to(Z,0)$ is frontal if it has a frontal representative $f\colon N\to Z$. Given a hypersurface $X\subset Z$, $(X,z)$ is a frontal hypersurface germ if there exists a frontal map germ $f\colon(N,S)\to(Z,z)$ such that $(X,z)=f(N,S)$.

Let $F\colon N\to PT^{*}\mathbb{K}^{n+1}$ be an integral map and $f=\pi\circ F$: there exist $\nu_{1},\dots,\nu_{n+1}\in\mathscr{O}_{n}$ such that

[TABLE]

where $Z_{1},\dots,Z_{n+1}$ are coordinates for $\mathbb{K}^{n+1}$. Setting $\nu=\nu_{1}\,dZ_{1}+\dots+\nu_{n+1}\,dZ_{n+1}$, this is equivalent to $\nu(df\circ\xi)=0$ for all $\xi\in\theta_{n}$. Since $PT^{*}\mathbb{K}^{n+1}$ is a fibre bundle, we can find for each pair $(z,[\omega])\in PT^{*}\mathbb{K}^{n+1}$ an open neighbourhood $Z\subset\mathbb{K}^{n+1}$ of $z$ and an open $U\subseteq\mathbb{K}P^{n+1}$ such that $\pi^{-1}(Z)\cong Z\times U$. Therefore, $F$ is contact equivalent to the mapping $\tilde{f}(x)=(f(x),[\nu_{x}])$, known as the Nash lift of $f$.

If we assume that $\Sigma(f)$ is nowhere dense in $N$, the differential form $\nu$ is uniquely determined by $f$, giving us a one-to-one correspondence between $f$ and $\tilde{f}$. Such a frontal map is known as a proper frontal map (according to Ishikawa [15]). We also define the integral corank of a proper frontal as the corank of its Nash lift.

For the rest of this article, we shall assume all frontal map germs are proper. Note that the notion of topological properness (i.e. the preimage of a compact subset is compact) is not used throughout this article.

Example 2.5**.**

Let $f\colon(\mathbb{K}^{n},0)\to(\mathbb{K}^{n+1},0)$ be the smooth map germ given by

[TABLE]

It is easy to see that $f$ has corank $n$ and the singular set $\Sigma(f)$ is nowhere dense in $\mathbb{K}^{n}$. Furthermore, the assumption that $p_{1},\dots,p_{n}>1$ implies that the Jacobian ideal of $f$ is generated by $x_{1}x_{2}\dots x_{n}$, and thus it is a proper frontal map germ by Proposition 2.6 below. In particular, the differential $1$-form

[TABLE]

verifies that $\nu(df\circ\xi)=0$ for all $\xi\in\theta_{n}$, and has corank equal to the number of $p_{i}$ that are greater than $3$. Therefore, the integral corank of $f$ is also equal to the number of $p_{i}$ greater than $3$. In particular, $f$ is a wave front when all $p_{i}$ are equal to $3$.

Proposition 2.6** ([15], Lemma 2.3).**

Let $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ be a map germ. If $f$ is frontal, then the Jacobian ideal $J_{f}$ of $f$ is principal (i.e. it is generated by a single element). Conversely, if $J_{f}$ is principal and $\Sigma(f)$ is nowhere dense in $(\mathbb{K}^{n},S)$, then $f$ is a proper frontal map germ.

If $f$ has corank $1$, we may choose local coordinates in the source and target such that

[TABLE]

in which case $J_{f}$ is the ideal generated by $p_{y}$ and $q_{y}$, and we recover the following criterion by Nuño-Ballesteros [23]:

Corollary 2.7**.**

Let $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ be a frontal map germ of corank $1$, and choose coordinates in the source and target such that $f$ is given as in Equation (2). Then $f$ is a frontal map germ if and only if either $p_{y}|q_{y}$ or $q_{y}|p_{y}$.

We shall say that $f$ is in prenormal form if it is given as in Equation (2) with $q_{y}=\mu p_{y}$ for some $\mu\in\mathscr{O}_{n}$, in which case the Nash lift becomes

[TABLE]

In particular, note that if $\operatorname{ord}_{y}(q)=\operatorname{ord}_{y}(p)+1$, then $\operatorname{ord}_{y}(\mu)=1$, and $f$ is a wave front.

3. Lowering Legendrian equivalence

The first strides in the classification of frontal mappings were done by Arnol’d and his colleagues in a series of articles published in the 1970s and 1980s. In his work, he established a notion of equivalence native to Legendrian maps (known as Legendrian equivalence) and developed a classification of all simple, stable wave fronts (see [27], Chapter 21).

Ishikawa extended Arnol’d’s theory of Legendrian equivalence to the broader class of integral mappings in [14], defining a notion of infinitesimal stability and showing that an integral map of corank at most $1$ is Legendrian stable if and only if it is infinitesimally stable. He also showed that all Legendrian stable integral mappings of corank at most $1$ belong to a special family called open Whitney umbrellas, giving a characterisation of stable umbrellas in terms of a certain $\mathbb{K}$-algebra $Q$.

The goal of this section is to formulate a notion of frontal stability and versality that does not require the use of contact geometry.

Remark 3.1**.**

Let $f\colon(\mathbb{K}^{n},0)\to\mathbb{K}^{n+1}$ be a proper frontal map germ with Nash lift $\tilde{f}=f\times[\nu]$. Since $[\nu]$ is an equivalence class in a projective space, there exists a $1\leq i\leq n+1$ such that $\nu_{i}$ is non-vanishing, so we can rewrite Equation (1) as

[TABLE]

where the hat symbol denotes an ommited summand. We then define local coordinates $X,Y,P$ on $PT^{*}\mathbb{K}^{n+1}$ such that $f_{i}=Y\circ f$ and

[TABLE]

These are known as the Darboux coordinates of $PT^{*}\mathbb{K}^{n+1}$. In particular, Equation (4) implies that the mapping $X\circ f=(X_{1}\circ f,\dots,X_{n}\circ f)$ shares the same singular set with $f$. Therefore, there exists a representative $X\circ f\colon U\to V$ of $X\circ f$ which is immersive outside of a nowhere dense subset $K$ of $U$.

Definition 3.2**.**

Let $S,S^{\prime}\subset\mathbb{K}^{n}$ be finite sets. Two integral map germs

[TABLE]

are Legendre equivalent if there exists a diffeomorphism $\phi\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n},S^{\prime})$ and a Legendrian diffeomorphism $\Psi\colon(PT^{*}\mathbb{K}^{n+1},w)\to(PT^{*}\mathbb{K}^{n+1},w^{\prime})$ such that $F^{\prime}=\Psi\circ F\circ\phi^{-1}$.

Arnol’d showed in [27], §20.4 that a Legendrian diffeomorphism $\Psi\colon W\to W^{\prime}$ is locally determined by a choice of Legendrian fibrations in the source and target, and a diffeomorphism $\psi$ between the base spaces. Nonetheless, his proof was based on the fact that a Legendrian diffeomorphism preserves the fibres, and no explicit expression is given for $\Psi$.

Theorem 3.3**.**

Given a diffeomorphism $\psi\colon Z\to Z^{\prime}$, the mapping

[TABLE]

induces a Legendrian diffeomorphism $\Psi\colon(PT^{*}Z,\Delta)\to(PT^{*}Z^{\prime},\Delta^{\prime})$.

Proof.

Let $(z,\omega)\in T^{*}Z$: since $\psi$ is a diffeomorphism, $\omega\circ d\psi^{-1}_{\psi(z)}\neq 0$ and $\Psi$ is a well-defined diffeomorphism. Furthermore, it is clear that

[TABLE]

by construction. Therefore, we only need to show that $d\Psi_{q}(\Delta_{q})=\Delta^{\prime}_{\Psi(q)}$.

Let $q=(z,[\omega])$ and $v\in\Delta_{q}$. Since $\pi$ is a submersion, $(\omega\circ d\pi_{q})(v)=0$, and it follows from (5) that

[TABLE]

Conversely, let $w\in\Delta^{\prime}_{\Psi(q)}$. Since $\Psi$ is a diffeomorphism, there exists a unique $v\in T_{q}PT^{*}Z$ such that $w=d\Psi_{q}(v)$. By definition of $\Delta^{\prime}$, we have

[TABLE]

By (5), this implies that $(\omega\circ d\pi_{q})(v)=0$, from which follows that $w\in d\Psi_{q}(\Delta_{q})$. ∎

Remark 3.4**.**

Let $\psi_{t}\colon(\mathbb{K}^{n+1},0)\to(\mathbb{K}^{n+1},0)$ be a smooth $1$-parameter family of diffeomorphisms. Given $t$ in an open neighbourhood $U\subseteq\mathbb{K}$ of [math], we know by Theorem 3.3 that we can lift $\psi_{t}$ onto a Legendrian diffeomorphism $\Psi_{t}\colon(PT^{*}\mathbb{K}^{n+1},w)\to(PT^{*}\mathbb{K}^{n+1},0)$. Since $\pi\colon PT^{*}\mathbb{K}^{n+1}\to\mathbb{K}^{n+1}$ is a fibre bundle and $\mathbb{K}^{n+1}$ is a paracompact Hausdorff space, $\pi$ is a fibration (see [26], Corollary 2.7.14), so it verifies the homotopy lifting property. Therefore, the $1$-parameter family $\Psi_{t}$ defined in this way is, indeed, a lift of the family $\psi_{t}$.

Corollary 3.5**.**

Let $f,g\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$:

1. (1)

if $f$ is $\mathscr{A}$-equivalent to $g$ and $f$ is frontal, $g$ is frontal; 2. (2)

if $f$ and $g$ are frontal, $\tilde{f}$ is Legendrian equivalent to $\tilde{g}$ if and only if $f$ is $\mathscr{A}$-equivalent to $g$.

Proof.

Assume that $f$ is frontal: there exist an integral map germ $F\colon(\mathbb{K}^{n},S)\to PT^{*}\mathbb{K}^{n+1}$ such that $f=\pi\circ F$, where $\pi$ is the canonical bundle projection. Now let $\phi\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n},S)$, $\psi\colon(\mathbb{K}^{n+1},0)\to(\mathbb{K}^{n+1},0)$ be diffeomorphisms such that $g=\psi\circ f\circ\phi^{-1}$: by Theorem 3.3, we can lift $\psi$ onto a Legendrian diffeomorphism $\Psi\colon PT^{*}\mathbb{K}^{n+1}\to PT^{*}\mathbb{K}^{n+1}$. Therefore, the map $G=\Psi\circ F\circ\phi^{-1}$ is an integral map such that $\pi\circ G=g$, and $g$ is frontal. This proves the first item.

For the second item, the “only if” is proved in a similar fashion. For the “if”, let $\phi\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n},S)$ and $\Psi\colon(PT^{*}\mathbb{K}^{n+1},w)\to(PT^{*}\mathbb{K}^{n+1},w)$ be diffeomorphisms such that $\tilde{g}=\Psi\circ\tilde{f}\circ\phi^{-1}$, with $\Psi$ Legendrian. By definition of Legendrian diffeomorphism, there exists a diffeomorphism $\psi\colon(\mathbb{K}^{n+1},0)\to(\mathbb{K}^{n+1},0)$ such that $\pi\circ\Psi=\psi\circ\pi$, from which follows that

[TABLE]

proving the second item. ∎

3.1. Unfolding frontal map germs

The theory of Legendrian equivalence describes homotopic deformations of a pair $(\pi,F)$ via integral deformations, deformations $(F_{u})$ of $F$ which are themselves integral for any fixed $u$. Nonetheless, frontal deformations often fail to preserve the frontal nature across the parameter space, as showcased in Example 3.6 below.

Example 3.6**.**

Let $\gamma\colon(\mathbb{K},0)\to(\mathbb{K}^{2},0)$ be the plane curve $t\mapsto(t^{3},t^{4})$. The $1$-parameter deformation $\gamma_{s}(t)=(t^{3}+st,t^{4})$ verifies that $\gamma_{s}$ is frontal for all $s\in\mathbb{K}$. If $\omega$ is a $1$-form such that $\omega(d\gamma_{s}\circ\partial t)=0$ for all $(t,s)$ in an open neighbourhood $U\subset\mathbb{K}^{2}$ of $(0,0)$, a simple computation shows that $\omega$ must be given in the form

[TABLE]

for some $\alpha\in\mathscr{O}_{2}$. Therefore, $\gamma_{s}$ does not yield an integral deformation at $s=0$.

Definition 3.7**.**

Let $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ be a frontal germ. An unfolding $F\colon(\mathbb{K}^{n}\times\mathbb{K}^{d},S\times\{0\})\to(\mathbb{K}^{n+1}\times\mathbb{K}^{d},0)$ of $f$ is frontal if it is frontal as a map germ.

Theorem 3.8**.**

Let $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ be a frontal map germ. A $d$-parameter unfolding $F=(f_{\lambda},\lambda)$ of $f$ is frontal if and only if $\tilde{f_{\lambda}}$ is an integral deformation of $\tilde{f}$.

Proof.

Let $F$ be a frontal $d$-parameter unfolding for $f$: there is a $\nu\in\Omega^{1}(F)$ such that $\nu(dF\circ\eta)=0$ for all $\eta\in\theta_{n+d}$. If we set $\nu_{0}=\nu|_{\lambda=0}$, we can write

[TABLE]

for some $\nu_{1},\dots,\nu_{j}\in(\mathbb{K}^{n},S)\to T^{*}\mathbb{K}^{n+1}$. Therefore, $\nu$ may be regarded as a $d$-parameter deformation of $\nu_{0}$ and the Nash lift of $f_{\lambda}$,

[TABLE]

is an integral $d$-parameter deformation of $f\times[\nu_{0}]$. Since $f\times[\nu_{0}]$ is an integral map, $\nu_{0}(df\circ\xi)=0$ for all $\xi\in\theta_{n}$. Properness of $f$ then implies that $f\times[\nu_{0}]=\tilde{f}$, and thus the map germ (6) is an integral deformation of $\tilde{f}$.

Conversely, let $\tilde{f}_{\lambda}$ be an integral deformation of $\tilde{f}$. Taking coordinates $(u,\lambda)$ in the source and Darboux coordinates in the target, the integrability condition becomes

[TABLE]

for $j=1,\dots,n$. Consider the differential form $\nu\in\Omega^{1}(F)$ given by

[TABLE]

Using the integrability condition above, we have

[TABLE]

Therefore, $\nu(dF\circ\xi)=0$ for all $\xi\in\theta_{n+d}$ and $F$ is frontal. ∎

Remark 3.9**.**

Properness of $f$ is required for the “if” direction, since $\widetilde{f_{u}}$ is not guaranteed to be a deformation of $\tilde{f}$, even if it is integral. Nonetheless, the “only if” direction does not require properness.

The space of infinitesimal integral deformations of an integral $\tilde{f}$, defined by Ishikawa in [14], is given by

[TABLE]

This space is linear when $\tilde{f}$ has corank at most $1$ ([14]), but it is known to have a conical structure in higher coranks. Counterexamples can be constructed using a similar procedure as in [11]. We also set $T\mathscr{L}_{e}\tilde{f}$ as the subspace of $\theta_{I}(\tilde{f})$ given by those $\tilde{f}_{t}$ which are trivial Legendrian deformations of $\tilde{f}$.

Definition 3.10**.**

Let $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ be a frontal map germ of integral corank at most $1$. We define the space of infinitesimal frontal deformations of $f$ as

[TABLE]

As shown in Theorem 3.12 below, $\mathscr{F}(f)$ is the linear projection of $\theta_{I}(\tilde{f})$. Therefore, if the integral corank of $f$ is at most $1$, $\mathscr{F}(f)$ is $\mathbb{K}$-linear; for this reason, any results involving $\mathscr{F}(f)$ will implicitly assume that $f$ has integral corank at most $1$. An alternative, direct proof is also given for corank $1$ frontal map germs in Remark 5.12 below.

Lemma 3.11**.**

Given a frontal map germ $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$, $T\mathscr{A}_{e}f\subseteq\mathscr{F}(f)$.

Proof.

Let $\phi_{t}\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n},S)$, $\psi_{t}\colon(\mathbb{K}^{n+1},0)\to(\mathbb{K}^{n+1},0)$ be two smooth $1$-parameter families of diffeomorphisms and $f_{t}=\psi_{t}\circ f\circ\phi^{-1}_{t}$. It is clear by construction that the vector field germ given by $f_{t}$ is in $T\mathscr{A}_{e}f$.

By Theorem 3.3, we can lift $\psi_{t}$ onto a smooth $1$-parameter family $\Psi_{t}$ of Legendrian diffeomorphisms, in which case we can lift $f_{t}$ onto an integral deformation $\widetilde{f_{t}}=\Psi_{t}\circ\tilde{f}\circ\phi_{t}^{-1}$. Using Theorem 3.8, we then see that the unfolding $F=(f_{t},t)$ is frontal. Therefore, the vector field germ given by $f_{t}$ is in $\mathscr{F}(f)$, and thus $T\mathscr{A}_{e}f\subseteq\mathscr{F}(f)$. ∎

Theorem 3.12**.**

Let $f\colon(\mathbb{K}^{n},0)\to(\mathbb{K}^{n+1},0)$ be a frontal map germ and $\pi\colon PT^{*}\mathbb{K}^{n+1}\to\mathbb{K}^{n+1}$ be the canonical bundle projection. The mapping $t\pi\colon\theta_{I}(\tilde{f})\to\mathscr{F}(f)$ given by $t\pi(\xi)=d\pi\circ\xi$ is a $\mathbb{K}$-linear isomorphism and induces an isomorphism

[TABLE]

Proof.

Let $\xi\in\theta_{I}(\tilde{f})$ and $\tilde{f}_{t}$ be an integral $1$-parameter deformation of $\tilde{f}$ and $\xi=v_{0}(\tilde{f}_{t})$: by Theorem 3.8, $F(t,x)=(t,(\pi\circ\tilde{f}_{t})(x))$ is a frontal $1$-parameter unfolding of $f$. Furthermore, using the chain rule, we see that $v_{0}(\pi\circ\tilde{f}_{t})=t\pi[v_{0}(\tilde{f}_{t})]$, so $t\pi[\theta_{I}(\tilde{f})]\subseteq\mathscr{F}(f)$ and $t\pi\colon\theta_{I}(\tilde{f})\to\mathscr{F}(f)$ is well-defined. Conversely, let $\xi\in\mathscr{F}(f)$ and $(t,f_{t})$ be a frontal $1$-parameter deformation of $f$ with $\xi=v_{0}(f_{t})$: by Theorem 3.8, we can lift $f_{t}$ onto an integral $1$-parameter deformation $\tilde{f}_{t}$ of $\tilde{f}$. Using the chain rule, it then follows that $\xi\in t\pi[\theta_{I}(\tilde{f})]$, so $t\pi[\theta_{I}(\tilde{f})]=\mathscr{F}(f)$.

We move onto injectivity. Let $\tilde{f}_{t}(x)=\tilde{f}(x)+t\tilde{h}(x,t)$ be an integral $1$-parameter deformation of $\tilde{f}$ with $(\pi\circ\tilde{f}_{t})(x)=f(x)+th(x,t)$. If we assume that $\xi=v_{0}(\tilde{f}_{t})\in\ker t\pi$, then

[TABLE]

Our goal is to show that we can write $\tilde{h}(x,t)=t\tilde{g}(x,t)$ for some $\tilde{g}$, so that $v_{0}(\tilde{f}_{t})=0$ and thus $\ker t\pi=\{0\}$.

Since $\tilde{f}_{t}$ is an integral deformation of $\tilde{f}$, it verifies the identity

[TABLE]

Taking the coefficient of $dx^{k}$ on both sides of the equation and simplifying yields

[TABLE]

Taking $t=0$ gives us the homogeneous system of equations

[TABLE]

for $k=1,\dots,n$. Using the observation from Remark 3.1 and the continuity of $P_{1}\circ\tilde{h},\dots,P_{n}\circ\tilde{h}$, we conclude that $(P_{1}\circ\tilde{h})(x,0)=\dots=(P_{n}\circ\tilde{h})(x,0)=0$ and thus $\tilde{h}(x,t)=t\tilde{g}(x,t)$.

It only remains to show that $t\pi(T\mathscr{L}_{e}\tilde{f})=T\mathscr{A}_{e}f$. Let $\xi\in T\mathscr{L}_{e}\tilde{f}$: there exist $1$-parameter families $\phi_{t}\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n},S)$, $\Psi_{t}\colon(PT^{*}\mathbb{K}^{n+1},w)\to(PT^{*}\mathbb{K}^{n+1},w)$ of diffeomorphisms such that $\xi=v_{0}(\Psi_{t}\circ\tilde{f}\circ\phi^{-1}_{t})$, with $\Psi_{t}$ Legendrian. Since $\Psi_{t}$ is Legendrian for all $t$ in a neighbourhood $U\subseteq\mathbb{K}$ of [math], there exists a $1$-parameter family $\psi_{t}\colon(\mathbb{K}^{n+1},0)\to(\mathbb{K}^{n+1},0)$ of diffeomorphisms such that $\pi\circ\Psi_{t}=\psi_{t}\circ\pi$ for all $t\in U$. We then have that $v_{0}(\psi_{t}\circ f\circ\phi^{-1}_{t})=t\pi[v_{0}(\Psi_{t}\circ\tilde{f}\circ\phi^{-1}_{t})]=t\pi(\xi)$, hence $t\pi(\xi)\in T\mathscr{A}_{e}f$.

Conversely, if $\xi\in T\mathscr{A}_{e}f$, there exist $1$-parameter families $\phi_{t}\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n},S)$, $\psi_{t}\colon(\mathbb{K}^{n+1},0)\to(\mathbb{K}^{n+1},0)$ of diffeomorphisms such that $\xi=v_{0}(\psi_{t}\circ f\circ\phi^{-1}_{t})$. Using Theorem 3.3, there exists a $1$-parameter family of Legendrian diffeomorphisms $\Psi_{t}\colon(PT^{*}\mathbb{K}^{n+1},w)\to(PT^{*}\mathbb{K}^{n+1},w)$ such that $\pi\circ\Psi_{t}=\psi_{t}\circ\pi$, and thus we can lift $\xi$ onto $v_{0}(\Psi_{t}\circ\tilde{f}\circ\phi^{-1}_{t})\in T\mathscr{L}_{e}\tilde{f}$, whose image via $t\pi$ is $\xi$. ∎

Remark 3.13**.**

Let $f\colon(\mathbb{K}^{n},0)\to(\mathbb{K}^{n+1},0)$ be a frontal map germ: Theorem 3.12 states that $\mathscr{F}(f)=t\pi[\theta(\tilde{f})]$. Since $\tilde{f}$ has corank $1$, a resut by Ishikawa [14] states that

[TABLE]

wherein $\tilde{\alpha}$ denotes the natural lifting of the contact form in $PT^{*}\mathbb{K}^{n+1}$. Taking Darboux coordinates in $PT^{*}\mathbb{K}^{n+1}$,

[TABLE]

In particular, if $f$ has corank $1$ and it is given in prenormal form, Equation (8) is equivalent to

[TABLE]

where $P_{1},\dots,P_{n-1}$ are given as in Equation (3).

Definition 3.14**.**

The frontal codimension of $f$ is defined as the dimension of $T^{1}_{\mathscr{F}_{e}}f=\mathscr{F}(f)/T\mathscr{A}_{e}f$. We say $f$ is $\mathscr{F}$-finite or has finite frontal codimension if $\dim T^{1}_{\mathscr{F}_{e}}f<\infty$.

3.2. Frontal versality and stability

In the previous subsection, we formulated the notions of integral deformation and Legendrian codimension purely in terms of frontal unfoldings. We now show that Ishikawa’s results concerning the Legendrian stability and versality of pairs from [14] have a direct parallel in our theory of frontal deformations.

Definition 3.15**.**

A frontal map germ $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ is stable as a frontal or $\mathscr{F}$-stable if every frontal unfolding of $f$ is $\mathscr{A}$-trivial.

Corollary 3.16**.**

A frontal map germ $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ is stable as a frontal if and only if $\tilde{f}$ is Legendrian stable.

Proof.

Assume $f$ is stable as a frontal and let $\tilde{f}_{u}$ be an integral deformation of $\tilde{f}$: by Theorem 3.8, $\tilde{f}_{u}$ defines a frontal unfolding $F=(f_{u},u)$ of $f$. Stability of $f$ then implies that $f_{u}$ is $\mathscr{A}$-equivalent to $f$. By Corollary 3.5, this then implies that $\tilde{f}_{u}$ is Legendrian equivalent to $\tilde{f}$. Since the choice of $\tilde{f}_{u}$ was arbitrary, we conclude $\tilde{f}$ is Legendrian stable. The opposite direction is shown similarly. ∎

Corollary 3.17**.**

A frontal map germ $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ is $\mathscr{F}$-stable if and only if its $\mathscr{F}_{e}$-codimension is [math].

Proof.

Corollary 3.16 states that $f$ is $\mathscr{F}$-stable if and only if its Nash lift $\tilde{f}$ is Legendrian stable. Since $f$ has corank at most $1$, so does $\tilde{f}$, and a result by Ishikawa [14] states that $\tilde{f}$ is Legendrian stable for the bundle projection $\pi$ if and only if $\theta_{I}(\tilde{f})=T\mathscr{L}_{e}\tilde{f}$. However, it follows from Theorem 3.12 that this is equivalent to $\mathscr{F}(f)=T\mathscr{A}_{e}f$. ∎

Example 3.18**.**

The following frontal hypersurfaces are stable as frontals:

1. (1)

Cusp: $X^{2}-Y^{3}=0$ 2. (2)

Folded Whitney umbrella: $Z^{2}-X^{2}Y^{3}=0$

Let $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ be a frontal map germ with $d$-parameter unfolding $F=(f_{u},u)$, not necessarily frontal. Recall that the pullback of $F$ by $h\colon(\mathbb{K}^{l},0)\to(\mathbb{K}^{d},0)$ is defined as the $l$-paramter unfolding

[TABLE]

Definition 3.19**.**

Let $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ be a frontal map germ. A frontal unfolding $F$ of $f$ is $\mathscr{F}$-versal or versal as a frontal if, given any other frontal unfolding $G$ of $f$, there exist unfoldings $T\colon(\mathbb{K}^{n+1}\times\mathbb{K}^{d},0)\to(\mathbb{K}^{n+1}\times\mathbb{K}^{d},0)$ and $\Sigma\colon(\mathbb{K}^{n}\times\mathbb{K}^{d},S\times\{0\})\to(\mathbb{K}^{n}\times\mathbb{K}^{d},S\times\{0\})$ of the identity such that

[TABLE]

for some map germ $h$.

Lemma 3.20**.**

Given a frontal map germ $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$, a frontal unfolding $F=(f_{u},u)$ is $\mathscr{F}$-versal if and only if $\tilde{f}_{u}$ is a Legendre versal deformation of $\tilde{f}$.

Proof.

Assume $F$ is a versal frontal unfolding of $f$ and let $(\widetilde{g_{u}})$ be an $s$-parameter integral deformation of $\tilde{f}$. Theorem 3.8 implies that the $s$-parameter unfolding $G=(u,g_{u})$ is frontal. By versality of $F$, there exist unfoldings $\mathcal{T}\colon(\mathbb{K}^{n+1}\times\mathbb{K}^{d},0)\to(\mathbb{K}^{n+1}\times\mathbb{K}^{d},0)$, $\mathcal{S}\colon(\mathbb{K}^{n}\times\mathbb{K}^{d},S\times\{0\})\to(\mathbb{K}^{n}\times\mathbb{K}^{d},S\times\{0\})$ of the identity map germ and a smooth map germ $h\colon(\mathbb{K}^{s},0)\to(\mathbb{K}^{d},0)$ such that $G=\mathcal{T}\circ h^{*}F\circ\mathcal{S}^{-1}$.

Let $f\colon N\to Z$ be a representative of $f$ which is a proper frontal map, and $F\colon\mathcal{N}\to\mathcal{Z}$ be a representative of $F$ such that $\mathcal{N}\subseteq N\times\mathbb{K}^{d}$. A simple computation shows that $\Sigma(F)=\Sigma(f)\times\{0\}$; therefore, since $\Sigma(f)$ is nowhere dense in $N$, $\Sigma(F)$ is nowhere dense in $\mathcal{N}$ and $F$ is a proper frontal map. Theorem 3.8 then states that $f_{u}$ lifts into integral deformation of $\tilde{f}$.

Now consider representatives $h^{*}F=(u,f_{h(u)})\colon\mathcal{N}_{1}\to\mathcal{Z}_{1}$, $\mathcal{S}=(u,\sigma_{u})\colon\mathcal{N}_{1}\to\mathcal{N}_{2}$, $\mathcal{T}=(u,\tau_{u})\colon\mathcal{Z}_{1}\to\mathcal{Z}_{2}$ and $G\colon\mathcal{N}_{2}\to\mathcal{Z}_{2}$ such that $G=\mathcal{T}\circ h^{*}F\circ\mathcal{S}^{-1}$ as mappings. Since $(\tau_{u})$ is a smooth $d$-parameter family of diffeomorphisms, we can lift it onto a $d$-parameter family of smooth Legendrian diffeomorphisms $T_{u}\colon PT^{*}\mathcal{Z}_{1}\to PT^{*}\mathcal{Z}_{2}$. Therefore,

[TABLE]

and $\widetilde{f_{u}}$ is a versal Legendrian deformation of $\tilde{f}$.

Conversely, let $\tilde{f}_{u}$ be a versal integral deformation of $\tilde{f}$ and $G=(g_{u},u)$ be a frontal $s$-parameter unfolding of $f$. Theorem 3.8 implies that the $s$-parameter deformation $\widetilde{g_{u}}$ is integral. By versality of $\tilde{f}_{u}$, there exist smooth families of diffeomorphisms $T_{u}\colon(PT^{*}\mathbb{K}^{n+1},w)\to(\mathbb{K}^{n+1},w)$ and $\sigma_{u}\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n},S)$ and a smooth map germ $h\colon(\mathbb{K}^{s},0)\to(\mathbb{K}^{d},0)$ verifying the following:

1. (1)

$T_{u}$ is a Legendrian diffeomorphism for all $u$; 2. (2)

$T_{0}$ and $\sigma_{0}$ are the identity map germs; 3. (3)

$\widetilde{g_{u}}=T_{u}\circ\tilde{f}_{h(u)}\circ\sigma_{u}$.

By Item 1, we can find a smooth family of diffeomorphisms $\tau_{u}\colon(\mathbb{K}^{n+1},0)\to(\mathbb{K}^{n+1},0)$ such that $\pi\circ T_{u}=\tau_{u}\circ\pi$ and $\tau_{0}$ is the identity map germ. It follows that

[TABLE]

If we now consider the unfoldings $\mathcal{T}=(\tau_{u},u)$ and $\mathcal{S}=(\sigma_{u},u)$, we have $G=\mathcal{T}\circ h^{*}F\circ\mathcal{S}$. We conclude that $F$ is versal as a frontal. ∎

Theorem 3.21** (Frontal versality theorem).**

Given a frontal map germ $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$,

1. (1)

$f$* admits a frontal versal unfolding if and only if it is $\mathscr{F}$-finite;* 2. (2)

a frontal unfolding $F(u,x)=(u,f_{u}(x))$ of $f$ is versal as a frontal if and only if

[TABLE]

To show Theorem 3.21, we shall make use of

Theorem 3.22** (Ishikawa’s Legendre versality theorem [14]).**

Given an integral $\tilde{f}\colon(\mathbb{K}^{n},S)\to(PT^{*}\mathbb{K}^{n+1},w)$ of corank at most $1$,

1. (1)

$\tilde{f}$* admits a versal Legendrian unfolding if and only if its Legendrian codimension is finite;* 2. (2)

a Legendrian unfolding $\tilde{f}_{u}$ of $\tilde{f}$ is versal if and only if

[TABLE]

Proof of Theorem 3.21.

By Lemma 3.20, a frontal unfolding $F=(f_{u},u)$ of $f$ is versal as a frontal if and only if the smooth family $\widetilde{f_{u}}$ is a versal Legendre deformation of $\tilde{f}$. In particular, it follows from Theorem 3.8 that $\tilde{f}$ admits a versal Legendrian deformation if and only if $f$ admits a versal frontal unfolding. This fact shall be used to prove both items.

By Theorem 3.22, $f$ admits a $\mathscr{F}$-versal unfolding if and only if $\tilde{f}$ has finite Legendre codimension. However, it was proved in Theorem 3.12 that this is equivalent to $f$ being $\mathscr{F}$-finite. This shows the first Item.

We move onto the second Item. If $F$ is $\mathscr{F}$-versal, $\tilde{f}_{u}$ is a Legendre versal unfolding of $\tilde{f}$ by Lemma 3.20 and Equation (9) holds. Computing the image via $t\pi$ on both sides of Equation (9) and using Theorem 3.12, we get

[TABLE]

Conversely, let us assume that (10) holds: using Theorem 3.12, we see that (9) holds as well. Therefore, $F$ is versal as a frontal. This shows the second Item. ∎

4. A geometric criterion for $\mathscr{F}$-finiteness

The Mather-Gaffney criterion states that a smooth $f\colon(\mathbb{C}^{n},S)\to(\mathbb{C}^{n+1},0)$ is $\mathscr{A}$-finite if and only if there is a finite representative $f\colon N\to Z$ with isolated instability. For example, the generic singularities for $n=2$ are transversal double points, with Whitney umbrellas and triple points in the accumulation (see e.g. [20] §4.7). This implies that generic frontal singularities such as the folded Whitney umbrella (see Example 3.18) are not $\mathscr{A}$-finite, since it contains cuspidal edges near the origin. Nonetheless, cuspidal edges are generic within the subspace of frontal map germs $(\mathbb{C}^{2},S)\to(\mathbb{C}^{3},0)$ ([1]), which suggests the existence of a Mather-Gaffney-type criterion for frontal hypersurfaces.

Proposition 4.1**.**

A germ of analytic plane curve $\gamma\colon(\mathbb{C},S)\to(\mathbb{C}^{2},0)$ is $\mathscr{F}$-finite if and only if it is $\mathscr{A}$-finite.

Proof.

If $\gamma$ is $\mathscr{A}$-finite, it is clear that it is also $\mathscr{F}$-finite, since

[TABLE]

Assume $\gamma$ is $\mathscr{F}$-finite, and let $\gamma\colon N\to Z$ be a representative of $\gamma$. By the Curve Selection Lemma [2], $\Sigma(\gamma)$ is an isolated subset in $N$, so we can assume (by shrinking $N$ if necessary) that $\gamma(N\backslash S)$ is a smooth submanifold of $Z$ and $\gamma^{-1}(\{0\})=S$. By the Mather-Gaffney criterion, it then follows that $\gamma$ is $\mathscr{A}$-finite, as stated. ∎

Given a frontal map $f\colon N\to Z$ and $z\in Z$, let $f_{z}\colon(N,f^{-1}(z))\to(Z,z)$. We define $\mathscr{F}(f)$ as the sheaf of $\mathscr{O}_{Z}$-modules given by the stalk $\mathscr{F}(f)_{z}=\mathscr{F}(f_{z})$. We also set $\theta_{N}$ (resp. $\theta_{Z}$) as the sheaf of vector fields on $N$ (resp. $Z$) and the quotient sheaves

[TABLE]

Remark 4.2**.**

If $f$ is finite, we can take coordinates in $N$ and $W$ such that $\tilde{f}(x,y)=(x,f_{n}(x,y),\dots,f_{2n+1}(x,y))$. By [13], we have the identity

[TABLE]

which is a $\mathscr{O}_{N}$-finite algebra by [12]. Since $f$ is finite, $R_{\tilde{f}}$ is $\mathscr{O}_{Z}$-finite.

Proposition 4.3** ([14]).**

Let $f\colon(\mathbb{C}^{n},S)\to(\mathbb{C}^{n+1},0)$ be a frontal map germ. If $\tilde{f}$ is $\mathscr{A}$-equivalent to an analytic $g\colon(\mathbb{C}^{n},S)\to(\mathbb{C}^{2n+1},0)$ (not necessarily integral) such that $\operatorname{codim}_{\mathbb{C}}\Sigma(g)>1$,

[TABLE]

where $\tilde{p}_{1},\dots,\tilde{p}_{n}$ are the coordinates of $\tilde{f}$ in the fibres of $\pi$.

Remark 4.4**.**

Let $f$ and $\tilde{f}$ be given as in the statement above. If we assume that $f$ has corank $1$ and is given as in Equation (2), $\Sigma(\tilde{f})=V(p_{y},\mu_{y})$.

Corollary 4.5**.**

Let $f\colon(\mathbb{C}^{n},S)\to(\mathbb{C}^{n+1},0)$ be a frontal map germ. If $f$ is finite and $\operatorname{codim}V(p_{y},\lambda_{y})>1$, there is a representative $f\colon N\to Z$ of $f$ such that $\mathscr{T}_{\mathscr{F}_{e}}^{1}f$ is a coherent sheaf.

Proof.

Using Proposition 4.3, we have

[TABLE]

Since $f$ is finite, $R_{\tilde{f}_{w}}$ is $\mathscr{O}_{Z,\pi(w)}$-finite, as shown in Remark 4.2. Therefore, the stalk of $\mathscr{T}_{\mathscr{F}_{e}}^{1}f$ at $\pi(w)$ is finitely generated and $\mathscr{T}_{\mathscr{F}_{e}}^{1}f$ is of finite type.

Let $V\subset Z$ be an open set and $\beta\colon\mathscr{O}^{q}_{Z\upharpoonright V}\to\left(\mathscr{T}_{\mathscr{F}_{e}}^{1}f\right)_{\upharpoonright V}$ an epimorphism of $\mathscr{O}_{Z}$-modules. Since $\mathscr{O}_{Z}$ is a Noetherian ring, every submodule of $\mathscr{O}^{q}_{Z\upharpoonright V}$ is finitely generated. In particular, $\ker\beta$ is finitely generated. We then conclude that $\mathscr{T}_{\mathscr{F}_{e}}^{1}f$ is a coherent sheaf. ∎

Theorem 4.6** (Mather-Gaffney criterion for frontal maps).**

Let $f\colon(\mathbb{C}^{n},S)\to(\mathbb{C}^{n+1},0)$ be a frontal map germ. If $f$ is finite and $\operatorname{codim}_{\mathbb{C}}\Sigma(\tilde{f})>1$, $f$ is $\mathscr{F}$-finite if and only if there exists a representative $f\colon N^{\prime}\to Z^{\prime}$ of $f$ such that the restriction $f\colon N^{\prime}\backslash S\to Z^{\prime}\backslash\{0\}$ is locally $\mathscr{F}$-stable.

Proof.

The case for $n=1$ follows easily from the Mather-Gaffney criterion for $\mathscr{A}$-equivalence and Proposition 4.1. Therefore, we assume $n>1$.

Suppose first that $f$ has finite $\mathscr{F}$-codimension: by Corollary 4.5, $\mathscr{T}_{\mathscr{F}_{e}}^{1}f$ is a coherent sheaf. In addition,

[TABLE]

By Rückert’s Nullstellensatz, there exists an open neighbourhood $Z^{\prime}$ of [math] in $Z$ such that $\operatorname{supp}\mathscr{T}_{\mathscr{F}_{e}}^{1}f\cap Z\subseteq\{0\}$. Therefore, every other stalk of $\mathscr{T}_{\mathscr{F}_{e}}^{1}f$ is [math], and the restriction of $f$ to $N^{\prime}\backslash\{0\}$ is $\mathscr{F}$-stable, where $N^{\prime}=f^{-1}(Z^{\prime})$.

Conversely, suppose that there exists a representative $f\colon N^{\prime}\to Z^{\prime}$ such that the restriction $f\colon N^{\prime}\backslash\{0\}\to Z^{\prime}\backslash\{0\}$ is locally $\mathscr{F}$-stable. Given $z\in Z\backslash\{0\}$, $(\mathscr{T}_{\mathscr{F}_{e}}^{1}f)_{z}=0$, so there exists an open neighbourhood $U$ of [math] in $Z$ such that $\operatorname{supp}\mathscr{T}_{\mathscr{F}_{e}}^{1}f\cap U\subseteq\{0\}$. By Rückert’s Nullstellensatz, it follows that the dimension of the stalk of $\mathscr{T}_{\mathscr{F}_{e}}^{1}f$ at [math] is finite, but that dimension is equal to $\operatorname{codim}_{\mathscr{F}_{e}}f$. We conclude that the germ of $f$ at [math] is $\mathscr{F}$-finite. ∎

5. Frontal reduction of a corank $1$ map germ

In [22], we presented the notion of frontalisation for a fold surface $f\colon(\mathbb{C}^{2},S)\to(\mathbb{C}^{3},0)$, and proved that the frontalisation process preserves some of the topological invariants of $f$. We also defined frontal versions of Mond’s $S_{k}$, $B_{k}$, $C_{k}$ and $F_{4}$ singularities (see [18]), observing that none of them are wave fronts. We now seek to describe a more general procedure to generate frontals using arbitrary corank $1$ map germs.

Example 5.1**.**

Let $\gamma\colon(\mathbb{K},0)\to(\mathbb{K}^{2},0)$ be the parametrised curve $\gamma(t)=(t^{3},t^{4})$: the unfolding $\Gamma\colon(\mathbb{K}^{3}\times\mathbb{K},0)\to(\mathbb{K}^{3}\times\mathbb{K}^{2},0)$ given by

[TABLE]

is an $\mathscr{A}$-miniversal deformation for $\gamma$. By Proposition 2.7 and since $\deg_{t}p_{t}<\deg_{t}q_{t}$, $\Gamma$ is frontal if and only if $p_{t}|q_{t}$. If $\mu\in\mathscr{O}_{1}$ is such that $q_{t}=\mu p_{t}$, a simple computation then shows that the identity

[TABLE]

holds if and only if $u_{2}=\mu_{0}=0$, $\mu_{1}=4/3$ and $2u_{3}=3u_{1}$. Setting $h(v)=(3v,0,2v)$, we obtain the unfolding

[TABLE]

which is a swallowtail singularity.

In this section, we show that the frontal reduction of the versal unfolding of a plane curve is a $\mathscr{F}$-versal unfolding. The proof of this result gives a procedure to compute the frontal reduction of a given unfolding (versal or otherwise) via a system of polynomial equations, which may be solved using a computer algebra system such as Oscar or Singular.

Remark 5.2** (Piuseux parametrisation).**

Let $\gamma\colon(\mathbb{C},0)\to(\mathbb{C}^{2},0)$ be an analytic plane curve with isolated singularities. There exists a $f\in\mathbb{C}\{x,y\}$ such that $f\circ\gamma=0$. By Piuseux’s Theorem (see e.g. [28], Theorem 2.2.6, or [5], Theorem 5.1.1), if $\alpha=\operatorname{ord}f$, $f(t^{\alpha},t^{\alpha+1}h(t))=0$ for some $h\in\mathbb{C}\{t\}$. Therefore, $\gamma$ is $\mathscr{A}$-equivalent to the plane curve

[TABLE]

In particular, $\gamma$ is $\mathscr{A}$-finite (and thus finitely determined) by the Mather-Gaffney criterion, so we can further assume that $g\in\mathbb{C}[t]$.

If $\mathbb{K}=\mathbb{R}$, it suffices to replace $\gamma$ with its complexification $\gamma_{\mathbb{C}}$ in the argument above, as $\gamma$ is analytic. Therefore, such a parametrisation also exists in the real case.

Lemma 5.3**.**

Let $\gamma\colon(\mathbb{K},0)\to(\mathbb{K}^{2},0)$ be the plane curve from Remark 5.2. There exists a smooth $d$-parameter deformation $(g_{w})$ such that

[TABLE]

is a miniversal unfolding of $\gamma$.

Proof.

Let $G=\{g_{1},\dots,g_{d}\}\subset\mathbb{K}[t]$ be a $\mathbb{K}$-basis for $T^{1}_{\mathscr{A}_{e}}\gamma$: by Martinet’s theorem, a miniversal unfolding for $\gamma$ is given by the expression

[TABLE]

A simple computation shows that

[TABLE]

Using Equation (12), we may assume that $g_{j}(t)=(t^{j},0)$ and $g_{j+\alpha-2}(t)=(0,t^{j})$ for $1\leq j\leq\alpha-2$. Setting $g_{w}(t)=g(t)+w_{1}g_{2\alpha-1}(t)+\dots+w_{d-2\alpha+1}g_{d}(t)$, Equation (11) becomes

[TABLE]

as claimed. ∎

Remark 5.4**.**

Let $h\colon(\mathbb{K}^{r},0)\to(\mathbb{K}^{d},0)$ be a smooth map-germ and $\Gamma$ be the unfolding from Lemma 5.3. The pullback $h^{*}\Gamma$ is given by

[TABLE]

where $u_{j}(x)\equiv(u_{j}\circ h)(x)$, $v_{j}(x)\equiv(v_{j}\circ h)(x)$ and $w(x)\equiv(w\circ h)(x)$. As we saw in the proof of Lemma 5.3,

[TABLE]

where $g$ can be assumed to be a polynomial function (due to Remark 5.2). Therefore, the component functions of $h^{*}\Gamma$ are elements of $\mathscr{O}_{r}[t]$, the algebra of polynomials on $t$ with coefficients in $\mathscr{O}_{r}$.

Theorem 5.5**.**

If $\gamma$ has a miniversal $d$-parameter unfolding $\Gamma$, there is an immersion $h\colon(\mathbb{K}^{l},0)\to(\mathbb{K}^{d},0)$ with the following properties:

1. (1)

$h^{*}\Gamma$* is a frontal unfolding of $\gamma$ ;* 2. (2)

if $(h^{\prime})^{*}\Gamma$ is frontal for any other $h^{\prime}\colon(\mathbb{K}^{l^{\prime}},0)\to(\mathbb{K}^{d},0)$, $(h^{\prime})^{*}\Gamma$ is equivalent as an unfolding to a pullback of $h^{*}\Gamma$ .

Therefore, $h^{*}\Gamma$ is a frontal miniversal unfolding.

We shall denote $h^{*}\Gamma$ as $\Gamma_{\mathscr{F}}$ and call it a frontal reduction of $\Gamma$.

Proof.

Let $\Gamma$ be the unfolding from Lemma 5.3 and $d=\operatorname{codim}_{\mathscr{A}_{e}}\gamma$. We first want to show that there is an immersion $h\colon(\mathbb{K}^{\ell},0)\to(\mathbb{K}^{d},0)$ making $h^{*}\Gamma$ a frontal map germ; to do so, we shall derive a system of equations that determines whether a given pullback yields a frontal unfolding.

Let $(h^{*}\Gamma)(x,t)=(x,P(x,t),Q(x,t))$. By Remark 5.4, $Q\in\mathscr{O}_{r}[t]$, so we can write $Q(x,t)=q_{1}(x)t+\dots+q_{\beta}(x)t^{\beta}$. Since $h^{*}\Gamma$ is a corank $1$ map germ, Corollary 2.7 states that it is frontal if and only if either $P_{t}|Q_{t}$ or $Q_{t}|P_{t}$; in particular, we can assume that $\deg_{t}P_{t}\leq\deg_{t}Q_{t}$, allowing us to impose the condition $P_{t}|Q_{t}$ to $h^{*}\Gamma$.

If $Q_{t}=\mu P_{t}$ for some $\mu\in\mathscr{O}_{r+1}$, there will exist $\mu_{0},\dots,\mu_{\beta-\alpha}$ such that $\mu(x,t)=\mu_{0}(x)+\dots+\mu_{\beta-\alpha}(x)t^{\beta-\alpha}$. Therefore, the identity $Q_{t}=\mu P_{t}$ is equivalent to

[TABLE]

for $k=1,2\dots,\beta$. For $k\geq\alpha$, we may solve for $\mu_{k-\alpha}$ to get the expression

[TABLE]

The remaining terms define an immersion germ $h\colon(\mathbb{K}^{d-\alpha+1},0)\to(\mathbb{K}^{d},0)$ given by $h(u,w)=(u,v(u,w),w),$ which verifies Equation (13) by construction. This proves Item 1.

Let $\Lambda$ be a frontal unfolding of $\gamma$: versality of $\Gamma$ implies that $\Lambda$ is equivalent to $(h^{\prime})^{*}\Gamma$ for some $h^{\prime}\colon(\mathbb{K}^{r},0)\to(\mathbb{K}^{d},0)$. Let $h\colon V\to U$ be a one-to-one representative of $h$, $\pi\colon U\to V$ be the projection

[TABLE]

and $h^{\prime}\colon V^{\prime}\to U^{\prime}$ be a representative of $h^{\prime}$. Since $(h^{\prime})^{*}\Gamma$ is frontal, $h^{\prime}$ verifies Equation (13) and thus $h^{\prime}(V^{\prime})\subseteq h(V)$ by construction. Given $v^{\prime}\in V^{\prime}$, there exists a unique $v\in V$ such that

[TABLE]

and thus $(h^{\prime})^{*}\Gamma=(h\circ\pi\circ h^{\prime})^{*}\Gamma=(\pi\circ h^{\prime})^{*}(h^{*}\Gamma)$. ∎

Example 5.6**.**

Consider Arnol’d’s $E_{8}$ singularity, $\gamma(t)=(t^{3},t^{5})$. A versal unfolding of this curve is given by

[TABLE]

The frontal reduction of this unfolding may now be computed using Equation (13), which can be written in matrix form as

[TABLE]

Since this system has five equations and only three unknowns, we can now solve for $v$, yielding $v_{1}=-5/9u^{2}$ and $v_{2}=2/3w$.

Remark 5.7**.**

While the method of frontal reductions successfully turns $\mathscr{A}$-versal unfoldings into $\mathscr{F}$-versal unfoldings, the same does not hold for stable unfoldings. For example, given the plane curve $\gamma(t)=(t^{2},t^{2k+1})$, $k>1$, a stable unfolding of $\gamma$ is given by $f(u,t)=(u,t^{2},t^{2k+1}+ut)$. However, the only pullback that can turn $f$ into a frontal map germ is $u(s)=0$, giving us $\gamma$, which is not stable by hypothesis.

A more general method to compute stable unfoldings will be given in §6.

Corollary 5.8**.**

Given $\gamma\colon(\mathbb{K},0)\to(\mathbb{K}^{2},0)$,

[TABLE]

Consequently, if $\gamma(\mathbb{K},0)$ is the zero locus of some analytic $g\in\mathscr{O}_{2}$,

[TABLE]

Proof.

In the proof of Theorem 5.5, we see that $l=d-\alpha+1$, where $d=\operatorname{codim}_{\mathscr{A}_{e}}\gamma$ and $\alpha=\operatorname{mult}(\gamma)$. Since $h^{*}\Gamma$ is a miniversal $l$-parameter unfolding, $\operatorname{codim}_{\mathscr{F}_{e}}\gamma=l$, giving the first identity.

Now assume $\mathbb{K}=\mathbb{C}$: Milnor’s formula [17] states that the delta invariant $\delta(g)$ and the Milnor number $\mu(g)$ of $g$ are related via the identity $2\delta(g)=\mu(g)$, since $\gamma$ is a mono-germ. On the other hand, a result in [8] states that $\operatorname{codim}_{\mathscr{A}_{e}}\gamma=\tau(g)-\delta(g)=\tau(g)-1/2\mu(g)$, $\tau$ being the Tjurina number, hence yielding the expression

[TABLE]

In particular, the order of $g$ is equal to $\operatorname{mult}(\gamma)$ (see [5] Corollary 5.1.6).

For $\mathbb{K}=\mathbb{R}$, simply note that $\mu(g)=\mu(g_{\mathbb{C}})$, $\operatorname{ord}(g)=\operatorname{ord}(g_{\mathbb{C}})$ and $\tau(g)=\tau(g_{\mathbb{C}})$, where $g_{\mathbb{C}}$ is the complexification of $g$. ∎

Example 5.9**.**

Let $\gamma\colon(\mathbb{C},0)\to(\mathbb{C}^{2},0)$ be the $A_{2k}$ singularity, with normalisation $\gamma(t)=(t^{2},t^{2k+1})$. Direct computations show that

[TABLE]

from which follows that its $\mathscr{A}_{e}$-codimension is $k$ and its $\mathscr{F}_{e}$-codimension is $k-1$. Therefore, we have $\operatorname{codim}_{\mathscr{F}_{e}}\gamma=k-1=k-2+1=\operatorname{codim}_{\mathscr{A}_{e}}\gamma-\operatorname{mult}(\gamma)+1$, as expected.

The image of $\gamma$ is given as the zero locus of the function $g(x,y)=y^{2}-x^{2k+1}$. Using the second expression for the frontal codimension, we have

[TABLE]

as expected, since both the Tjurina and Milnor numbers of $g$ are $2k$.

In [22] §5, we introduced the notion of frontal Milnor number $\mu_{\mathscr{F}}$ for a frontal multi-germ $f\colon(\mathbb{C}^{n},S)\to(\mathbb{C}^{n+1},0)$. This analytic invariant was defined in a similar fashion to Mond’s image Milnor number [19], only changing smooth stabilisations for frontal ones. We then conjectured that $\mu_{\mathscr{F}}$ verified an adapted version of Mond’s conjecture, which we called Mond’s frontal conjecture.

Applying [22], Proposition 5.10 to Corollary 5.8, we can now prove Mond’s frontal conjecture in dimension $1$.

Corollary 5.10**.**

Given a plane curve $\gamma\colon(\mathbb{K},S)\to(\mathbb{K}^{2},0)$, $\mu_{\mathscr{F}}(\gamma)\geq\operatorname{codim}_{\mathscr{F}}(\gamma)$, with equality if $\gamma$ is quasi-homogeneous.

Proof.

Let $\gamma$ be a non-constant analytic plane curve. By the Curve Selection Lemma [2], $\gamma$ has an isolated singularity at the origin, so it is $\mathscr{A}$-finite and

[TABLE]

with equality if $\gamma$ is quasi-homogeneous (see [19]). By Corollary 5.8, $\gamma$ is $\mathscr{F}$-finite and $\operatorname{codim}_{\mathscr{A}_{e}}(\gamma)=\operatorname{codim}_{\mathscr{F}_{e}}(\gamma)+\operatorname{mult}(\gamma)-1$. Using [22] Proposition 5.10 and Conservation of Multiplicity (see e.g. [20], Corollary E.4), $\mu_{\mathscr{F}}(\gamma)=\mu_{I}(\gamma)-\operatorname{mult}(\gamma)+1$, as stated above. Therefore,

[TABLE]

with equality if $\gamma$ is quasi-homogeneous. ∎

Now let $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ be a corank $1$ frontal map germ with isolated frontal instability. We can choose coordinates in the source and target such that

[TABLE]

for some $p,q,\mu\in\mathscr{O}_{n}$. We then set $S^{\prime}$ as the projection on the $y$ coordinate of $S$ and consider the generic slice $\gamma\colon(\mathbb{K},S^{\prime})\to(\mathbb{K}^{2},0)$ of $f$, given by $\gamma(t)=(p(0,t),q(0,t))$. Since $f$ has isolated frontal instabilities, $\gamma$ is $\mathscr{A}$-finite (see Proposition 4.1 above) and we may consider a versal unfolding $\Gamma$ of $\gamma$ with frontal reduction

[TABLE]

It is not true in general that the sum of two frontal mappings is frontal (e.g. $(x,y)\mapsto(x,y^{3},y^{4})$ and $(x,y)\mapsto(x,xy,0)$), but we can still construct a frontal sum operator that yields a frontal mapping given two frontal mappings with corank at most $1$. Let $p^{\prime},q^{\prime},\mu^{\prime}\in\mathscr{O}_{d+1}$ such that

[TABLE]

we define the frontal sum $F\colon(\mathbb{K}^{d}\times\mathbb{K}^{n},\{0\}\times S)\to(\mathbb{K}^{d}\times\mathbb{K}^{n+1},0)$ of $f$ and $\Gamma_{\mathscr{F}}$ as $F(u,x,y)=(u,x,P(u,x,y),Q(u,x,y))$, where

[TABLE]

This map germ constitutes an unfolding of both $f$ and $\Gamma_{\mathscr{F}}$ by construction. Versality of $\Gamma_{\mathscr{F}}$ then implies that $F$ is also versal, and thus stable. Therefore, frontal sums allow us to construct stable frontal unfoldings that are not necessarily versal.

Example 5.11** (Frontalised fold surfaces).**

Let $f\colon(\mathbb{K}^{2},0)\to(\mathbb{K}^{3},0)$ be a frontal fold surface given in the form

[TABLE]

wherein we assume $a_{0},\dots,a_{n}\in\mathbb{K}[x]$. The function $t\mapsto f(0,t)$ has order $2n+3$, so $f$ can be seen as a smooth $1$-parameter unfolding of the curve

[TABLE]

A frontal miniversal unfolding for $\gamma$ is given by

[TABLE]

and we can recover $f$ by setting $u_{j}(x)=a_{j}(x)$. Taking $(u,x)\mapsto(0,u_{1}+a_{1}(x),\dots,u_{n}+a_{n}(x))$ gives the stable unfolding

[TABLE]

Remark 5.12**.**

The frontal sum defined on (14) can be used to show that $\mathscr{F}(f)$ is linear when $f$ has corank at most $1$: first, since $f$ is a corank $1$ frontal, we take coordinates in the source and target such that

[TABLE]

and consider the generic slice $\gamma(t)=(p(0,t),q(0,t))$.

Let $\xi,\eta\in\mathscr{F}(f)$ with respective integral $\mathscr{F}$-curves $F=(f_{u},u)$, $G=(g_{u},u)$. Since $F$ and $G$ are unfoldings of $f$, they may also be regarded as unfoldings of $\gamma$. We then consider the frontal sum $H=(u,v,h_{(u,v)})$ of $F$ and $G$, and set $\hat{H}=(w,\hat{h}_{w})=(w,h_{(w,w)})$. Note that the image of $\hat{H}$ is simply the intersection of the image of $H$ with the hypersurface of equation $u=v$, so $\hat{H}$ is frontal.

Using the chain rule and Leibniz’s integral rule, we see that

[TABLE]

and thus $\xi+\eta\in\mathscr{F}(f)$.

6. Stability of frontal map germs

In §5, we described a method to generate $\mathscr{F}$-versal unfoldings of analytic plane curves using pullbacks. Nonetheless, as pointed out in Remark 5.7, the pullback of a stable unfolding is generally not stable as a frontal.

In this section, we describe a technique to generate stable frontal unfoldings, not too dissimilar to the method Mather used to generate all stable map germs. We also give a classification of all $\mathscr{F}$-stable proper frontal map germs $(\mathbb{C}^{3},S)\to(\mathbb{C}^{4},0)$ of corank $1$ in §6.2, aided by Hefez and Hernandes’ Normal Form Theorem for plane curves [9, 10].

Let $f\colon(\mathbb{C}^{n},S)\to(\mathbb{C}^{n+1},0)$ be a frontal map germ and $\xi\in\mathscr{F}(f)$. By definition of $\mathscr{F}(f)$, $\xi$ is given by a frontal $1$-parameter unfolding $F=(f_{t},t)$ of $f$; this is, $F$ verifies that

[TABLE]

for some $p_{0},\dots,p_{n}\in\mathscr{O}_{n+1}$. If we now consider the vector field germ $\lambda\xi$ with $\lambda\in\mathscr{O}_{n}$, $\lambda\xi$ is given by the $1$-parameter unfolding $(\lambda f_{t},t)$. This unfolding is frontal if and only if

[TABLE]

for some $q_{0},\dots,q_{n}\in\mathscr{O}_{n+1}$. Expanding on both sides of the equality and rearranging, we see that Equation (15) is equivalent to

[TABLE]

Therefore, the ring $R_{f}=\{\lambda\in\mathscr{O}_{n}:d\lambda\in\mathscr{O}_{n}d(f^{*}\mathscr{O}_{n+1})\}$ acts on $\mathscr{F}(f)$ via the usual action. In particular, $f^{*}\mathscr{O}_{n+1}\subseteq R_{f}$, so $\mathscr{F}(f)$ is an $\mathscr{O}_{n+1}$-module via the action $h\xi=(h\circ f)\xi$.

If we assume that $f$ has integral corank $1$ (so that $\mathscr{F}(f)$ is a $\mathbb{K}$-vector space), we can define the $\mathbb{K}$-vector spaces

[TABLE]

We also define the frontal $\mathscr{K}_{e}$-codimension $\operatorname{codim}_{\mathscr{K}_{\mathscr{F}e}}f$ of $f$ as the dimension of $T^{1}_{\mathscr{K}_{\mathscr{F}e}}f$ in $\mathbb{K}$, and will say that $f$ is $\mathscr{K}_{\mathscr{F}e}$-finite if $\operatorname{codim}_{\mathscr{K}_{\mathscr{F}e}}f<\infty$.

Remark 6.1**.**

The space $\mathscr{F}(f)$ is not generally a $\mathscr{O}_{n}$-module via the usual action: consider the plane curve $\gamma\colon(\mathbb{K},0)\to(\mathbb{K}^{2},0)$ given by $\gamma(t)=(t^{2},t^{3})$. Using Remark 3.13, we see that $(0,1)\in\mathscr{F}(\gamma)$, but $(0,t)=t(0,1)\not\in\mathscr{F}(\gamma)$.

Recall that the Kodaira-Spencer map is defined as the mapping $\overline{\omega}f\colon T_{0}\mathbb{K}^{n+1}\to T^{1}_{\mathscr{K}_{e}}f$ sending $v\in T_{0}\mathbb{K}^{n+1}$ onto $\omega f(\eta)$, where $\eta\in\theta_{n+1}$ is such that $\eta_{0}=v$. Since $f$ is frontal, the image of $\omega f$ is contained within $\mathscr{F}(f)$, and the target space becomes $T^{1}_{\mathscr{K}_{\mathscr{F}e}}f$. Similarly, the kernel of this $\overline{\omega}f$ becomes

[TABLE]

since no element in $T\mathscr{K}_{e}f\backslash\mathscr{F}(f)$ has a preimage.

Lemma 6.2**.**

The map germ $f$ is $\mathscr{F}$-stable if and only if $\overline{\omega}f$ is surjective.

Proof.

Assume $f$ is $\mathscr{F}$-stable and let $\zeta\in\mathscr{F}(f)$: there exist $\xi\in\theta_{n}$ and $\eta\in\theta_{n+1}$ such that $\zeta=tf(\xi)+\omega f(\eta)$. Setting $v=\eta_{0}$, it follows that $\overline{\omega}f(v)\equiv\zeta\mod T\mathscr{K}_{\mathscr{F}e}f$, and surjectivity of $\overline{\omega}f$ follows.

Conversely, assume $\overline{\omega}f$ is surjective: we have the identity

[TABLE]

Set $V^{\prime}=\mathscr{F}(f)/tf(\theta_{n,S})$ and denote by $p\colon\mathscr{F}(f)\to V^{\prime}$ the quotient projection. We may then write Equation (16) as

[TABLE]

Since $(p\circ\omega f)(\theta_{n+1})$ is finitely generated over $\mathscr{O}_{n+1}$, so is $V^{\prime}/\mathfrak{m}_{n+1}V^{\prime}$. This implies that $V^{\prime}/\mathfrak{m}_{n+1}V^{\prime}$ is finitely generated over $\mathbb{K}$, so $V^{\prime}$ is finitely generated over $\mathscr{O}_{n+1}$ by Weierstrass’ Preparation Theorem. Since $\mathscr{O}_{n+1}$ is a local ring, Nakayama’s lemma implies that $V^{\prime}=(\pi\circ\omega f)(\theta_{n+1})$, which is equivalent to $\mathscr{F}(f)=T\mathscr{A}_{e}f$, and frontal stability follows. ∎

Theorem 6.3**.**

A frontal $f\colon(\mathbb{K}^{n},S)\to(\mathbb{K}^{n+1},0)$ with branches $f_{1},\dots,f_{r}$ is $\mathscr{F}$-stable if and only if $f_{1},\dots,f_{r}$ are $\mathscr{F}$-stable and the vector subspaces $\tau(f_{1}),\dots,\tau(f_{r})\subseteq T_{0}\mathbb{K}^{n+1}$ meet in general position.

Proof.

Let $g$ be either $f$ or one of its branches. By Lemma 6.2, $g$ is $\mathscr{F}$-stable if and only if $\overline{\omega}g$ is surjective; this is,

[TABLE]

Let $S=\{s_{1},\dots,s_{r}\}$, the ring isomorphism $\mathscr{O}_{n,S}\to\mathscr{O}_{n,s_{1}}\oplus\dots\oplus\mathscr{O}_{n,s_{r}}$ induces a module isomorpism $\mathscr{F}(f)\to\mathscr{F}(f_{1})\oplus\dots\mathscr{F}(f_{r})$, which in turn induces an isomorphism

[TABLE]

On the other hand, the spaces $\tau(f_{i})$ meet in general position if and only if the canonical map

[TABLE]

is surjective. The statement then follows from (17 - 19). ∎

We now use Ephraim’s theorem to give a geometric interpretation to $\tau(f_{i})$, $i=1,\dots,r$. Recall that the isosingular locus $\operatorname{Iso}(D,x_{0})$ of a complex space $D\subseteq W$ at $x_{0}$ is defined as the germ at $x_{0}$ of the set of points $x\in D$ such that $(D,x)$ is diffeomorphic to $(D,x_{0})$. Ephraim [6] showed that $\operatorname{Iso}(D,x_{0})$ is a germ of smooth submanifold of $(W,x_{0})$ and its tangent space at $x_{0}$ is given by the evaluation at $x_{0}$ of the elements in the space

[TABLE]

where $I\subset\mathscr{O}_{W}$ is the ideal of map germs vanishing on $(D,x_{0})$. We shall now use this result to give a geometric interpretation to the space $\tau(f)$.

Proposition 6.4**.**

Let $f\colon(\mathbb{C}^{n},S)\to(\mathbb{C}^{n+1},0)$ be a finite, frontal map germ with integral corank $1$. If $f$ is $\mathscr{F}$-stable and $\operatorname{codim}\Sigma(\tilde{f})>1$, $\tau(f)$ is the tangent space at [math] of $\operatorname{Iso}(f(\mathbb{C}^{n},S))$.

To prove this result, we shall make use of the following

Lemma 6.5** (cf. [20]).**

Let $f\colon(\mathbb{C}^{n},S)\to(\mathbb{C}^{n+1},0)$ be a finite, frontal map germ with integral corank $1$ and $\xi\in\theta_{n+1}$. If $f$ is $\mathscr{F}$-finite and $\operatorname{codim}V(p_{y},\mu_{y})>1$,

[TABLE]

Proof of Proposition 6.4.

By Ephraim’s theorem [6], the tangent space to $\operatorname{Iso}(f(\mathbb{C}^{n},S))$ at [math] is given by the evaluation at [math] of the elements in $\operatorname{Der}(-\log f)$. Using Lemma 6.5, $\operatorname{Der}(-\log f)$ is the space of elements in $\theta_{n+1}$ that are liftable via $f$. Therefore, we only need to show that the evaluation of [math] of this space coincides with $\tau(f)$.

Let $\eta\in\operatorname{Lift}(f)$: there exists a $\xi\in\theta_{n}$ such that $\omega f(\eta)=tf(\xi)\in T\mathscr{K}_{\mathscr{F}_{e}}f$, so $\eta|_{0}\in\tau(f)$. Conversely, if $\eta\in\theta_{n+1}$ verifies that $\eta|_{0}\in\tau(f)$, there exist $\xi\in\theta_{n}$, $\zeta\in\mathscr{F}(f)$ such that

[TABLE]

for some $\beta\in\mathfrak{m}_{n+1}$. Since $f$ is $\mathscr{F}$-stable, $\mathscr{F}(f)=T\mathscr{A}_{e}f$, which implies that

[TABLE]

Therefore, there exist $\xi^{\prime}\in\mathfrak{m}_{n}\theta_{n}$ and $\eta^{\prime}\in\mathfrak{m}_{n+1}\theta_{n+1}$ such that

[TABLE]

and $\eta-\eta^{\prime}\in\operatorname{Lift}(f)$. In particular, if $s\in S$, $(\eta-\eta^{\prime})|_{0}=\omega f(\eta-\eta^{\prime})|_{s}=v-0=v$, thus finishing the proof. ∎

6.1. Generating stable frontal unfoldings

The generation of stable unfoldings in Thom-Mather’s theory of smooth deformations is done by computing the $\mathscr{K}_{e}$-tangent space of a smooth map germ $f\colon(\mathbb{K}^{n},0)\to(\mathbb{K}^{p},0)$ of rank [math]. If $\mathfrak{m}_{n}\theta(f)/T\mathscr{K}_{e}f$ is generated over $\mathbb{K}$ by the classes of $g_{1},\dots,g_{s}\in\mathscr{O}_{n}$, Martinet’s theorem ([20], Theorem 7.2) states that the map germ

[TABLE]

is a stable unfolding of $f$. While such a result fails to yield frontal unfoldings of frontal map germs, if $f$ has corank $1$, we can still make use of the frontal sum operation defined on §5 to formulate a frontal version of Martinet’s theorem.

Lemma 6.6**.**

Let $f\colon(\mathbb{K}^{n},0)\to(\mathbb{K}^{n+1},0)$ be a frontal map germ of integral corank $1$ with frontal unfolding $F=(u,f_{u})$, and $(u,y)$ be local coordinates on $(\mathbb{K}^{d}\times\mathbb{K}^{n+1},0)$. There is an $\mathscr{O}_{n+d+1}$-linear isomorphism

[TABLE]

induced by the $\mathscr{O}_{n+d}$-linear epimorphism $\beta_{0}\colon\theta(F)\to\theta(f)$ sending $\partial y_{i}$ onto $\partial y_{i}$ for $i=1,\dots,n+1$ and $\partial u_{j}$ onto $-\dot{F}_{j}$ for $j=1,\dots,d$.

Proof.

In [20], Lemma 5.5, it is shown that $\beta_{0}$ induces a $\mathscr{O}_{n+d}$-linear isomorphism $\beta_{1}\colon T^{1}_{\mathscr{K}_{e}}F\to T^{1}_{\mathscr{K}_{e}}f$. In particular, we can consider $\beta_{0}$ as a $\mathscr{O}_{n+d+1}$-epimorphism via $F^{*}$. Note that $T\mathscr{K}_{\mathscr{F}e}g=T\mathscr{K}_{e}g\cap\mathscr{F}(g)$ for any frontal map germ $g$ with integral corank $1$, so it suffices to show that $\beta_{0}$ sends $\mathscr{F}(F)$ onto $\mathscr{F}(f)$.

Let $\xi\in\theta(F)$ with integral $\mathscr{F}$-curve $F_{t}$: the integral $\mathscr{F}$-curve for $\beta_{0}(\xi)$ is given by

[TABLE]

In particular, if $(t,F_{t})$ is a frontal, $(t,f_{t})$ is also frontal, since the image of $(t,f_{t})$ is embedded within the image of $(t,F_{t})$. Conversely, given a frontal unfolding $(t,f_{t})$ of $f$, the map $(t,u,f_{t})$ is a frontal unfolding of $F$ with $f_{t}=i^{*}(\pi\circ F_{t})$, hence $\beta_{0}(\mathscr{F}(F))=\mathscr{F}(f)$. ∎

As a consequence of Lemma 6.6, if $f\colon(\mathbb{K}^{n},0)\to(\mathbb{K}^{n+1},0)$ is a stable frontal map germ, it is either the versal unfolding of some frontal map germ of rank [math] or a prism (i.e. a trivial unfolding) thereof.

Theorem 6.7**.**

Let $\gamma\colon(\mathbb{K},0)\to(\mathbb{K}^{2},0)$ be the plane curve from Remark 5.2, and

[TABLE]

If $\mathscr{F}_{0}(\gamma)=\mathscr{F}(\gamma)\cap\mathfrak{m}_{1}\theta(\gamma)$, then

[TABLE]

Proof.

Let $\xi=(a,b)\in\theta(\gamma)$: by Remark 3.13, $\xi\in\mathscr{F}(\gamma)$ if and only if $b^{\prime}-\mu a^{\prime}\in\mathfrak{m}_{1}^{\alpha-1}$, which in turn is equivalent to assuming that $b^{\prime}-\mu a^{\prime}\equiv\lambda_{1}T^{\prime}_{1}+\dots+\lambda_{\alpha-2}T^{\prime}_{\alpha-2}\mod\mathfrak{m}_{1}^{\alpha-1}$ for some $\lambda_{1},\dots,\lambda_{\alpha-2}\in\mathbb{K}$. Therefore,

[TABLE]

A simple computation shows that $T\mathscr{K}_{\mathscr{F}e}\gamma\subseteq\mathfrak{m}^{\alpha-1}_{1}\theta(\gamma)$, hence $T_{j}\not\in T\mathscr{K}_{\mathscr{F}e}\gamma$ for $j<\alpha-1$. However, $T_{\alpha-1}\in t\gamma(\theta_{1})$, giving the first monomorphism. For the second monomorphism, first note that $\gamma$ is finitely determined, so there exists a $k>0$ such that $\mathfrak{m}_{1}^{k+1}\theta(\gamma)\subseteq T\mathscr{A}_{e}\gamma\subseteq T\mathscr{K}_{\mathscr{F}e}\gamma$. If $j=\alpha,\dots,k$, there exist $l>0$ and $0\leq\beta<\alpha$ such that $j=l\alpha+\beta$. Using Equation (20), we see that

[TABLE]

Similarly, $(0,t^{j})\in T\mathscr{K}_{\mathscr{F}e}\gamma$ for all $j\geq 2\alpha$. ∎

If we now consider the $1$-parameter unfolding $\Gamma_{j}(u,t)=(u,\gamma(t)+uT_{j}(t))$,

[TABLE]

and $\Gamma_{j}$ is frontal due to Corollary 2.7. Similarly, if we set $\Gamma_{k}(u,t)=(u,\gamma(t)+ut^{\alpha}k(t))$ with $k\in\mathscr{O}_{1}^{2}$,

[TABLE]

Since $\alpha+\alpha uk_{1}(t)+tk_{1}^{\prime}(t)$ is a unit, $P_{t}\,|\,Q_{t}$ and $\Gamma_{k}$ is also frontal.

If $\mathscr{F}_{0}(\gamma)=T\mathscr{K}_{\mathscr{F}e}\gamma+\operatorname{Sp}_{\mathbb{K}}\{T_{j_{1}},\dots,T_{j_{d}},k_{1},\dots,k_{b}\}$ for some $k_{1},\dots,k_{b}\in\mathfrak{m}^{\alpha}_{1}\mathscr{O}_{1}^{2}$, we consider the $(d+b)$-parameter frontal unfolding

[TABLE]

where $\#$ denotes the frontal sum operation defined on Equation (14).

Example 6.8**.**

Let $f\colon(\mathbb{K},0)\to(\mathbb{K}^{2},0)$ be the plane curve $f(t)=(t^{3},t^{5})$, which verifies that $\mathscr{F}_{0}(f)=T\mathscr{K}_{\mathscr{F}e}f\oplus\operatorname{Sp}_{\mathbb{K}}\{(9t,5t^{3}),(0,t^{4})\}$. We then consider the $1$-parameter unfoldings

[TABLE]

whose frontal sum is

[TABLE]

This unfolding is $\mathscr{A}$-equivalent to the $A_{3,1}$ singularity from [14], Example 4.2.

Theorem 6.9**.**

The map germ $F\colon(\mathbb{K}^{d}\times\mathbb{K}^{b}\times\mathbb{K},0)\to(\mathbb{K}^{d}\times\mathbb{K}^{b}\times\mathbb{K}^{2},0)$ defined on Equation (21) is stable as a frontal. Moreover, if the $\mathbb{K}$-codimension of $T\mathscr{K}_{\mathscr{F}_{e}}f$ over $\mathscr{F}_{0}(f)$ is $d+b$, every other stable frontal unfolding of $f$ must have at least $d+b$ parameters.

Proof.

It is clear by definition of $T\mathscr{K}_{\mathscr{F}e}F$ that

[TABLE]

so $F$ is $\mathscr{F}$-stable if and only if $\mathscr{F}_{0}(F)=T\mathscr{K}_{\mathscr{F}e}F$. By Lemma 6.6, this is equivalent to

[TABLE]

It follows from the definition of frontal sum that

[TABLE]

and thus $F$ is stable. ∎

6.2. Corank $1$ stable frontal map germs in dimension $3$

By Theorem 6.3, a frontal multigerm $f\colon(\mathbb{K}^{3},S)\to(\mathbb{K}^{4},0)$ is $\mathscr{F}$-stable if and only if its branches $f_{1},\dots,f_{r}$ are $\mathscr{F}$-stable and $\tau(f_{1}),\dots,\tau(f_{r})$ meet in general position. Therefore, we only need to classify the stable monogerms.

By Lemma 6.6, every $\mathscr{F}$-stable monogerm with corank $1$ is a versal unfolding of an irreducible analytic plane curve $\gamma$ with $\mathscr{F}_{e}$-codimension at most $2$. In particular, if $\gamma(\mathbb{C},0)$ is the zero locus of some analytic $g\in\mathscr{O}_{2}$, $\tau(g)-\delta(g)\leq\operatorname{ord}(g)+1$ due to Corollary 5.8. A consequence of Theorem 6.7 is that $\operatorname{codim}_{\mathscr{K}_{\mathscr{F}e}}\gamma\geq\operatorname{ord}(g)$, meaning that $\operatorname{ord}(g)$ must be at most $4$.

If $\operatorname{ord}(g)=2$, it follows from a result by Zariski [30] that $g(x,y)=x^{2}-y^{2n+1}$. For $n=0,1$, this yields an $\mathscr{F}$-stable plane curve; for $n>1$, we can unfold $\gamma(t)$ into

[TABLE]

which is stable.

The cases $\operatorname{ord}(g)=3$ and $\operatorname{ord}(g)=4$ will be examined using Hefez and Hernandes’ classification of analytic plane curves from [10]. Every analytic plane curve has an associated invariant $\Sigma=\left\langle v_{0},\dots,v_{g}\right\rangle$, known as the semigroup of values. If the curve is irreducible, its delta invariant $\delta$ is equal to

[TABLE]

regardless of its analytic family. Therefore, the expression $\tau-\delta$ only depends on $\tau$.

For $\operatorname{ord}(g)=3$, $\Sigma$ is given by $\left\langle 3,v_{1}\right\rangle$ with $v_{1}>3$, so $\delta=v_{1}-1$. If $\tau=2(v_{1}-1)$, $\tau-\delta=v_{1}-1<4$, so $g(x,y)$ is either $x^{3}-y^{4}$ or $x^{3}-y^{5}$. The case $\tau=2v_{1}-j-1$ with $j\geq 2$ implies that $\tau<\delta$, which is impossible.

For $\operatorname{ord}(g)=4$, $\Sigma$ can be either $\left\langle 4,v_{1}\right\rangle$ or $\left\langle 4,v_{1},v_{2}\right\rangle$. If $\Sigma=\left\langle 4,v_{1}\right\rangle$, $v_{1}$ is coprime with $4$, so $\delta=3/2(v_{1}-1)$ and we have two possible values for $\tau$:

1. (1)

if $\tau=3(v_{1}-1)$, $\tau-\delta=3/2(v_{1}-1)\leq 5$, which implies that $\tau<\delta$; 2. (2)

if $\tau=3v_{1}-j-2$ with $j>1$,

[TABLE]

Since $j\leq v_{1}/2$, it follows that $v_{1}\geq 3v_{1}-11$, giving us $\gamma(t)=(t^{4},t^{5}+t^{7})$.

If $\Sigma=\left\langle 4,v_{1},v_{2}\right\rangle$, $\operatorname{GCD}(4,v_{1})=2$ and $\operatorname{GCD}(4,v_{1},v_{2})=1$, which implies that $v_{1}\geq 6$ and $v_{2}\geq 2v_{1}$. Using

[TABLE]

it follows that $\tau-\delta=(v_{2}-1)/2>5$. Since we are only interested in the case $\tau-\delta\leq 5$, we can ignore this case.

For the remaining cases, the possible values for $\tau-\delta$ fall into one the following categories:

[TABLE]

for $2\leq j\leq[v_{1}/4]$ and $1\leq k\leq[v_{1}/4]-j$. If $\tau-\delta\leq 5$, then $v_{1}\geq 7$, which is not possible.

Theorem 6.10**.**

Table 1 shows all stable proper frontal map germs $(\mathbb{C}^{3},0)\to(\mathbb{C}^{4},0)$ of corank $1$ together with the plane curves of which they are versal unfoldings. All stable frontal multigerms are obtained by transverse self-intersections of these mono-germs, as shown in Theorem 6.3.

Proof.

The discussion conducted throughout this subsection shows that the only plane curves of frontal codimension less than or equal to 2 are $(t^{2},t^{3})$, $(t^{2},t^{5})$, $(t^{2},t^{7})$, $(t^{3},t^{4})$, $(t^{3},t^{5})$ and $(t^{4},t^{5}+t^{7})$.

The curve $(t^{2},t^{3})$ is easily checked to be stable as a frontal. The family of curves $(t^{2},t^{2k+1})$ for $k>1$ unfolds into $(s,t)\mapsto(s,t^{2},t^{2k+1}+st^{3})$, which is $\mathscr{A}$-equivalent to the folded Whitney umbrella $(s,t)\mapsto(s,t^{2},st^{3})$,which is stable as a frontal ([22, 23]).

The curves $(t^{3},t^{4})$ and $(t^{4},t^{5}+t^{7})$ unfold into the swallowtail and butterfly singularities ($A_{3,0}$ and $A_{4,0}$ in Table 1), both of which are stable wave fronts ([27]). The $E_{8}$ singularity unfolds into Ishikawa’s $A_{3,1}$ singularity [14]. ∎

Conjecture 6.11**.**

The stable proper frontal map germs $f\colon(\mathbb{C}^{n},0)\to(\mathbb{C}^{n+1},0)$ of corank $1$ are given by Ishikawa’s $A_{i,j}$ singularities, where

[TABLE]

where square brackets denote the floor function. All stable frontal multigerms are obtained by transverse self-intersections of these mono-germs, as shown in Theorem 6.3.

The algebra $\tilde{f}^{*}\mathscr{O}_{2n+1}/f^{*}\mathfrak{m}_{n+1}$ was introduced by Ishikawa in [14] in order to give a characterisation of Legendrian stability

7. Acknowledgements

We would like to thank M. E. Hernandes for his helpful contributions to §6.2.