\subsection{$A_k$ singularities}\label{Morin}
We set $n=m=1$, $j=0$ and:
$$
g_c(x)=g(x;c)=x^{k+1}+c_1x^{k-1}+\cdots+c_{k-2}x^2+c_{k-1}x.
$$
Then we have $\chi_c(B_0)=\#\{x:g_c(x)=\varepsilon\}$ and:
$$
\chi_c(B_+)-\chi_c(B_-)=
\begin{cases}
0&k \  \textrm{even},\\
-1&k \  \textrm{odd}.
\end{cases}
$$
If $k$ is even, then we obtain:
$$
1-(-1)^{a+b}\chi_c(F)=
\begin{cases}
1-\#\{x\in B:g_c(x)=\varepsilon\}&
\textrm{$a$  even, $b$  even }\\
0
&\textrm{$a$  even, $b$  odd \ }\\
0
&\textrm{$a$  odd,  $b$  even }\\
\#\{x\in B:g_c(x)=\varepsilon\}-1
&\textrm{$a$ odd, $b$ odd \ }
\end{cases}
$$
If $k$ is odd, then we obtain:
$$
1-(-1)^{a+b}\chi_c(F)=
\begin{cases}
1-\#\{x\in B:g_c(x)=\varepsilon\}&
\textrm{$a$ even, $b$ even }\\
-1
&\textrm{$a$ even, $b$ odd \ }\\
1
&\textrm{$a$ odd, $b$ even }\\
\#\{x\in B:g_c(x)=\varepsilon\}-1
&\textrm{$a$ odd,  $b$  odd \ }
\end{cases}
$$
\subsection{Unfoldings of functions
$(x_1,x_2,z)\mapsto g(x,0)+Q(z)$}
We set $n=m=2$ and $j=0$.
We consider the map defined by:
\begin{multline}\label{NFF}
(\BB{R}^{2+a+b+h},0)\to(\BB{R}^{1+h},0),\qquad
(x_1,x_2,z_1,\dots,z_{a+b},c_1,\dots,c_h)\mapsto\\
(g(x_1,x_2,c_1,\dots,c_h)
+{z_1}^2+\cdots+{z_a}^2-{z_{a+1}}^2-\cdots-{z_{a+b}}^2,c_1,\dots,c_h).
\end{multline}
Let $r$ denote the number of branches of the curve defined by $g(x;0)=0$.
Since $\chi_c(B_0)=-r$, we obtain that:
$$
1+(-1)^{a+b}\chi_c(F)=
\begin{cases}
1-r
&\textrm{$a$ even, $b$  even }\\
\chi_c(B_-)-\chi_c(B_+)
&\textrm{$a$ even, $b$  odd \ }\\
\chi_c(B_+)-\chi_c(B_-)
&\textrm{$a$ odd, \ $b$ even }\\
r-1
&\textrm{$a$ odd, \ $b$ odd \ }
\end{cases}
$$
O.~Viro \cite{Viro1990} described the list of possible smoothings of
$D_k$ ($k\ge4$), $E_6$, $E_7$, $E_8$, $J_{10}$
and non-degenerate $r$-fold points.
In next subsection, we use this list
to compute $\chi_c(B_+)-\chi_c(B_-)$
for $D_k$ singularities.
We leave to the reader the computation in the other cases.
\subsection{$D_k$ singularities}
We denote by $D_k^\pm$ the singularity defined by \eqref{NFF}
with:
$$
g(x;c)=x_1({x_1}^{k-2}\pm {x_2}^2)+c_1x_1+\cdots
+c_{k-2}{x_1}^{k-2}+c_{k-1}x_2.
$$
\underline{First case:}  $k$ is even and
$\{x \in \mathbb{R}^2  :   g(x,0)=0 \}$ has 3 branches.

The zero set of $g(x,0)$ looks like  the following:
\begin{center}
\setlength{\unitlength}{0.7pt}
\begin{picture}(100,100)(-50,-50)
\path(0,-50)(0,50)
\path(43.3,25)(-43.3,-25)
\path(-43.3,25)(43.3,-25)
\put(10,-45){$D_4^-$}
\end{picture}
\qquad
\begin{picture}(100,100)(-50,-50)
\path(0,-50)(0,50)
\spline(43.3,20)(20,3)(0,0)
\spline(-43.3,20)(-20,3)(0,0)
\spline(43.3,-20)(20,-3)(0,0)
\spline(-43.3,-20)(-20,-3)(0,0)
\put(10,-45){$D_k^-$ ($k>4$ even)}
\end{picture}
\end{center}
First consider the smoothing described by the following picture:
\begin{center}
\setlength{\unitlength}{0.7pt}
\begin{picture}(100,100)(-50,-50)
\spline(0,-50)(-10,-17.3)(-43.3,-25)
\spline(43.3,25)(10,17.3)(0,50)
\path(-43.3,25)(43.3,-25)
\end{picture}
\qquad
\begin{picture}(100,100)(-50,-50)
\spline(0,50)(-10,17.3)(-43.3,25)
\spline(43.3,-25)(10,-17.3)(0,-50)
\path(-43.3,-25)(43.3,25)
\end{picture}
\end{center}
For such a smoothing, it is easy to see $\chi_c(B_+)-\chi_c(B_-)=0$.

Next we consider the smoothings described by the following pictures:
\begin{center}
\setlength{\unitlength}{0.7pt}
\begin{picture}(150,100)(-50,-50)
\spline(0,-50)(-10,-17.3)(-43.3,-25)
\spline(43.3,25)(20,0)(43.3,-25)
\spline(-43.3,25)(-10,17.3)(0,50)
\put(-4,0){$\langle\alpha\rangle$}
\put(10,-45){$0\le\alpha\le\frac{k-1}2$}
\end{picture}
\qquad
\begin{picture}(150,100)(-50,-50)
\spline(0,50)(10,17.3)(43.3,25)
\spline(-43.3,-25)(-20,0)(-43.3,25)
\spline(43.3,-25)(10,-17.3)(0,-50)
\put(-4,0){$\langle\alpha\rangle$}
\put(10,-45){$0\le\alpha\le\frac{k-1}2$}
\end{picture}
\qquad
\begin{picture}(140,100)(-50,-50)
\path(0,50)(0,-50)
\spline(43.3,-25)(20,0)(43.3,25)
\spline(-43.3,-25)(-20,0)(-43.3,25)
\put(-25,10){$\langle\alpha\rangle$}
\put(1,10){$\langle\beta\rangle$}
\put(10,-45){$0\le\alpha+\beta\le\frac{k-4}2$}
\end{picture}
\end{center}
Here $\langle \alpha \rangle$ represents a group of $\alpha$ ovals
without nests. For such smoothings, we see that:
$
\chi_c(B_+)-\chi_c(B_-)=2(1+\alpha), \
-2(1+\alpha), \ 2(\alpha-\beta)$
respectively.
Then we obtain:
$$
\chi_c(B_+)-\chi_c(B_-)=-k, -k+2,\dots, k-2, k.
$$
\underline{Second case:}  $k$ is even and $\{x \in \mathbb{R}^2  :    g(x,0)=0 \}$ has 1 branch.

The smoothings are described by the figure on the right-hand side.
\begin{center}
\setlength{\unitlength}{0.7pt}
\begin{picture}(150,100)(-50,-50)
\path(0,-50)(0,50)
\put(0,0){\circle*{2}}
\put(10,-45){$D_k^+$ ($k$ even)}
\end{picture}
\qquad
\begin{picture}(140,100)(-50,-50)
\path(0,-50)(0,50)
\put(-25,0){$\langle\alpha\rangle$}
\put(13,0){$\langle\beta\rangle$}
\put(10,-45){$0\le\alpha+\beta\le \frac{k-2}2$}
\end{picture}
\end{center}
For such smoothings, we see that
$\chi_c(B_+)-\chi_c(B_-)=2(\alpha-\beta)$.
Thus we have:
$$
\chi_c(B_+)-\chi_c(B_-)=2-k,4-k,\dots,k-4,k-2.
$$
\underline{Third case:}  $k$ is odd.
\begin{center}
\setlength{\unitlength}{0.7pt}
\begin{picture}(130,100)(-50,-50)
\path(0,-50)(0,50)
\spline(43.3,20)(20,5)(0,0)
\spline(43.3,-20)(20,-5)(0,0)
\put(10,-45){$D_k$ ($k$ odd)}
\end{picture}
\qquad
\begin{picture}(130,100)(-50,-50)
\put(-25,0){$\langle\alpha\rangle$}
\spline(0,-50)(10,-10)(43.3,-20)
\spline(0,50)(10,10)(43.3,20)
\put(10,-45){$0\le\alpha\le\frac{k-3}2$}
\end{picture}
\qquad
\begin{picture}(130,100)(-50,-50)
\put(-25,0){$\langle\alpha\rangle$}
\put(2,10){$\langle\beta\rangle$}
\path(0,-50)(0,50)
\spline(43.3,-20)(20,0)(43.3,20)
\put(10,-45){$0\le\alpha+\beta\le\frac{k-3}2$}
\end{picture}
\end{center}
For such smoothings, we see that:
$\chi_c(B_+)-\chi_c(B_-)=-1-2\alpha,\ 1-2(\alpha-\beta)$,
respectively.
Thus we have:
$$
\chi_c(B_+)-\chi_c(B_-)=2-k,4-k,\dots,k-4,k-2.
$$

\lsection{Study of stable maps $f:M\to N$ with $\dim M \ge \dim N$}
\label{SecSatble1}
Let $f:M\to N$ be a stable map between two smooth manifolds $M$ and $N$.
Let $m=\dim M$ and $n=\dim N$.
We assume that $m \ge n$, that $N$ is connected and that $M$ and $N$ have finite topological types.
Let $\sigma$ denote the singularity type given by the genotype : $x\mapsto(g(x;0),g'(x;0))$ in the notation
of \eqref{PreNormalForm}.
Then the genotype $\sigma$ gives rise to two singularity types of $f$ :  we say that $f$ is of type $\sigma^+$ (resp. $\sigma^-$)
if, in the expression of given \eqref{PreNormalForm},
 $b$ is even (resp. odd).
The definition of $\sigma^+$ and $\sigma^-$ is ad hoc,
since it depends on the normal form \eqref{PreNormalForm}.
It seems to be no natural way to define the sign in general.
We set:
$$
\sigma^\pm(f)=\{x\in M: f_x \textrm{ has singularity of type $\sigma^\pm$}\},
$$
where $f_x:(M,x)\to(N,f(x))$ is the germ of $f$ at $x$.
Let $\Sigma(f)$ denote the critical set of $f$.

Since $f$ is stable, $\Sigma(f)\cap f^{-1}(y)$ is a finite set for each
$y\in N$.
Then $f$ defines a multi-germ:
$$
f_y:(M,\Sigma(f)\cap f^{-1}(y))\to(N,y).
$$
Let $\tau$ denote a type of singularities of stable multi-germs and:
$$
N_\tau(f)=\{y\in N: f_y \textrm{ has singularities of type $\tau$}\}.
$$
\subsection{Case $m-n$ is odd}
If $m-n$ is odd, then $\chi_c(f^{-1}(y')\cap \overline{B_\varepsilon(x)})$
does not depend on the choice of regular value $y'$ nearby $f(x)$, where $B_\varepsilon(x)$ denotes the open ball of small radius $\varepsilon$ centered at $x$ in $M$.
Indeed, $f^{-1}(y') \cap \overline{B_\varepsilon(x)}$ is a compact odd-dimensional manifold with boundary and so:
$$\chi_c(f^{-1}(y') \cap  \overline{B_\varepsilon(x)})=\chi(f^{-1}(y') \cap  \overline{B_\varepsilon(x)})=
\frac{1}{2} \chi(f^{-1}(y') \cap \partial  \overline{B_\varepsilon(x)}).$$
But the last Euler characteristic is equal to $\chi(f^{-1}(f(x)) \cap \partial \overline{B_\varepsilon(x)})$. If $x$ is of type $\nu$ then we
denote by $c_\nu$ the Euler characteristic $\chi_c(f^{-1}(y') \cap \overline{B_\varepsilon(x)})$.

Replacing the ball of small radius with a ball with big radius and assuming that $f$ is locally trivial at infinity, we may establish in a similar way that $\chi_c(f^{-1}(y))$ does not depend on the choice of the regular value $y$ of $f$.
We denote this Euler characteristic by $\chi_f$.
\begin{thm}\label{RThm1}
Assume that $f:M\to N$ is locally trivial at infinity and
has finitely many singularity types (this is the case when $(m,n)$ is
a pair of nice dimensions  in Mather's sense).
Then we have:
\begin{equation}\label{F1}
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{\nu}c_\nu\chi_c(\nu(f))=\chi_f\chi_c(N),
\end{equation}
provided that the $\chi_c(\nu(f))$'s and $\chi_f$ are finite.
Moreover, if all singularities of $f$ are versal unfoldings of function-germs
then we have:
\begin{equation}\label{F2}
\chi_c(M)-\chi_f\chi_c(N)=\mathop{\textrm{\scriptsize $\mathop\sum$}}_\sigma s_\sigma
\bigl[\chi_c(\sigma^+(f))-\chi_c(\sigma^-(f))\bigr],
\end{equation}
where $\sigma$ denotes the singularity type of the genotype and
$s_\sigma$ is defined as in Definition \ref{DefSsigma}.
\end{thm}
\begin{proof}
We consider the stratification of $f$ defined by the types of
singularities (see Nakai's paper \cite[\S1]{Nakai2000}) and we define
$\mathcal S(M)$, $\mathcal S(N)$
as the subset algebras generated by the strata and fibers of $f$.
Then $(\mathcal S(X),\mathcal S(Y))$ fits to the map $f$.
Set $\mu_X=\chi_c$, $\mu_Y=\chi_c$ and:
$$
\varphi(x)=\chi_c(f^{-1}(y')\cap \overline{B_\varepsilon(x)}),
$$
where $y'$ is a regular value nearby $f(x)$.
Applying Corollary \ref{Fubini2} for $\varphi$,
Lemma \ref{L1} and Remark \ref{L2} below,  we obtain:
\begin{equation}\label{F11}
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{\nu}c_\nu\chi_c(\nu(f))=\chi_f\chi_c(N).
\end{equation}
By the additivity of the Euler characteristic with compact support, we get:
$$
\chi_c(M)-\chi_f\chi_c(N)
=
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{\nu}(1-c_\nu)\chi_c(\nu(f)).
$$
If all the singularities are versal unfoldings of function-germs then
 each genotype gives rise to two singularity types $\sigma^+(f)$ and
 $\sigma^-(f)$ and $1-c_{\sigma^-}=-(1-c_{\sigma^+})=-s_\sigma$ by
 Remark  \ref{L2} below and the computations made in Section \ref{Euler
 characteristics of local generic fibers}.

\end{proof}
\begin{lem}\label{L1}
Let $f:M\to N$ be a smooth map such that:
\begin{itemize}
\item $\dim M-\dim N$ is odd,
\item $f|_{\Sigma(f)}$ is finite,
\item $f$ is locally trivial at infinity.
\end{itemize}
Then for each $y \in N$, we have:
$$
f_*\varphi(y)
=\int_{f^{-1}(y)}\varphi(x)d\chi_c
=\chi_c(f^{-1}(y')),
$$
where $y'$ is a regular value of $f$ close to $y$.
\end{lem}
\begin{proof}
Set $\{x_1,\dots,x_s\}=f^{-1}(y)\cap\Sigma(f)$. Take a regular value $y'$ of $f$ near $y$. Then:
\begin{align*}
\chi_c(f^{-1}(y'))
=&\chi_c(f^{-1}(y')\setminus\cup_i\overline{B_\varepsilon(x_i)})
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_i\chi_c(f^{-1}(y')\cap \overline{B_\varepsilon(x_i)})\\
=&\chi_c(f^{-1}(y)\setminus\cup_i\overline{B_\varepsilon(x_i)})
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_i\chi_c(f^{-1}(y')\cap \overline{B_\varepsilon(x_i)})\\
=&\chi_c(f^{-1}(y)\setminus\{x_1,\dots,x_s\})
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_i\varphi(x_i)\\
=&\int_{f^{-1}(y)\setminus\{x_1,\dots,x_s\}}\varphi(x)d\chi_c
+\int_{\{x_1,\dots,x_s\}}\varphi(x)d\chi_c\\
=&\int_{f^{-1}(y)}\varphi(x)d\chi_c.
\end{align*}
\end{proof}
\begin{rem}\label{L2}
Set $\phi(x)=\chi_c(f^{-1}(y')\cap B_\varepsilon(x))$ where $y'$ is a
 regular value nearby $f(x)$.
Then:
$$
\varphi(x)=\phi(x)+\chi_c(f^{-1}(y')\cap S_\varepsilon(x)),
$$
where $S_\varepsilon(x)$ is the sphere of radius $\varepsilon$ centered at $x$.
If $f^{-1}(y')\cap \overline{B_\varepsilon(x)}$ is an odd
 dimensional  manifold with boundary $f^{-1}(y')\cap S_\varepsilon(x)$,
then we obtain $\phi(x)=-\varphi(x)$,
since:
$$
2\varphi(x)
=\chi_c(f^{-1}(y')\cap S_\varepsilon(x))
=-2\phi(x).
$$
Similarly
if $f^{-1}(y')\cap \overline{B_\varepsilon(x)}$ is an even
dimensional  manifold with boundary $f^{-1}(y')\cap S_\varepsilon(x)$,
we obtain that $\phi(x)=\varphi(x)$.
\end{rem}

\begin{cor}\label{RMorin1}
Assume that the map $f$ satisfies the assumptions of Theorem \ref{RThm1} and
has at worst $A_n$ singularities. Then, we have:
$$
\chi_c(M)-\chi_f\, \chi_c(N)
=\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k :\textrm{odd}}
\bigl[\chi_c( A_k^+ (f))
-\chi_c( A_k^-(f))\bigr].
$$
\end{cor}
\begin{proof}
Using the computations in
Section \ref{Euler characteristics of local generic fibers},
we see that $s_{A_k}=0$ is $k$ is even and $s_{A_k}=1$ if $k$ is odd.
\end{proof}
\begin{cor}\label{RMorin11}
Assume that the map $f$ satisfies the assumptions of Theorem \ref{RThm1} and
has only stable singularities locally defined by \eqref{NFF}.
We denote $\sigma_r$ the union of singularities types
so that the number of branches of $g(x_1,x_2;0)=0$ near $0$ is $r$.
We denote by $\sigma_r^+$ (resp. $\sigma_r^-$)
the union of such singularities types with even (resp. odd) $b$.
Then, we have:
$$
\chi_c(M)-\chi_f\, \chi_c(N)
=
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{r}
(1-r)\bigl[\chi_c( \sigma_r^+ (f))
-\chi_c(\sigma_r^-(f))\bigr].
$$
\end{cor}
\begin{proof}
Using the computations in
Section \ref{Euler characteristics of local generic fibers},
we see that $s_{ \sigma_r}=1-r$ .
\end{proof}

\subsection{Case $m-n$ is even and $m-n >0$}
If $m-n$ is even and non-zero then $\chi_c(f^{-1}(y') \cap
\overline{B_\varepsilon(x)})$ depends on the choice of the regular value
$y'$ nearby $f(x)$. But its parity does not depend on $y'$.
Indeed, $f^{-1}(y') \cap \overline{B_\varepsilon(x)}$ is a compact
even-dimensional manifold with boundary and so:
\begin{align*}
\chi_c(f^{-1}(y') \cap  \overline{B_\varepsilon(x)})
\equiv&\chi(f^{-1}(y')\cap  \overline{B_\varepsilon(x)})\\
\equiv&\psi (f^{-1}(y')\cap S_\varepsilon(x))\\
\equiv&\psi (f^{-1}(f(x))\cap S_\varepsilon(x)) \pmod 2,
\end{align*}
where $\psi$ denotes the semi-characteristic,
i.e., half the sum of the mod $2$ Betti numbers (see \cite{Wall1983}).

If a point $x$ in $M$ is of singular type $\nu$ then we denote by
$c_\nu$ the mod $2$ Euler characteristic $\chi_c(f^{-1}(y') \cap
\overline{B_\varepsilon(x)})$. We will denote by $\chi_f$ the mod $2$
Euler characteristic $\chi_c(f^{-1}(y))$ where $y$ is a regular value of
$f$. The following theorem is proved in the same way as Theorem
\ref{RThm1}.
\begin{thm}\label{RThm1B}
Assume that $f:M\to N$ is locally trivial at infinity and
has finitely many singularity types (this is the case when $(m,n)$ is
a pair of nice dimensions in Mather's sense).
Then we have:
\begin{equation}\label{F111}
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{\nu}c_\nu\chi_c(\nu(f))\equiv\chi_f\chi_c(N) \pmod{2},
\end{equation}
provided that the $\chi_c(\nu(f))$'s and $\chi_f$ are finite.
Moreover, if all singularities of $f$ are versal unfoldings of function-germs
then we have:
\begin{equation}\label{F22}
\chi_c(M)-\chi_f\chi_c(N)\equiv\mathop{\textrm{\scriptsize $\mathop\sum$}}_\sigma s_\sigma
\bigl[\chi_c(\sigma^+(f))-\chi_c(\sigma^-(f))\bigr] \pmod{2},
\end{equation}
where $\sigma$ denotes the singularity type of the genotype and
 $s_\sigma$ is defined as in Definition \ref{DefSsigma}.
\end{thm}
This theorem gives a mod $2$ equality. Nevertheless, it is still
possible to find integral relations between the topology
of the source, the target and the singular set.

Let $\nu$ denote a singularity type of a map-germ.
Let $c_\nu^{\max}$ (resp. $c_\nu^{\min}$) denote
the maximal (resp. minimum) of all possible Euler characteristics of
local regular fibers nearby the singular fiber.
Set also:
\begin{align*}
N_j^{\max}=&\big\{y\in N  :
j=\max\{\chi_c(f^{-1}(y')):y' \textrm{ a regular value nearby } y\} \big\},\\
N_j^{\min}=&\big\{y\in N  :
j=\min\{\chi_c(f^{-1}(y')):y' \textrm{ a regular value nearby } y\} \big\}.
\end{align*}
\begin{thm}\label{RThm1C}
If a smooth map $f:M\to N$ is locally trivial at infinity and
has finitely many singularity types (this is the case if $(m,n)$ is
a pair of nice dimensions in  Mather's sense),
then:
\begin{align*}
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{\nu}c_\nu^{\max}\cdot\chi_c(\nu(f))
\ge&\mathop{\textrm{\scriptsize $\mathop\sum$}}_jj\chi_c(N_j^{\max}), \\
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{\nu}c_\nu^{\min}\cdot\chi_c(\nu(f))
\le&\mathop{\textrm{\scriptsize $\mathop\sum$}}_jj\chi_c(N_j^{\min}),
\end{align*}
provided the $\chi_c(\nu(f))$'s, the $\chi_c(N_j^{\max})$'s  and the $\chi_c(N_j^{\min})$'s are finite.
If $f$ is stable, we have the equalities.
Moreover, if all singularities are versal unfoldings of function-germs
then:
\begin{align*}
\chi_c(M)-\mathop{\textrm{\scriptsize $\mathop\sum$}}_jj\chi_c(N^{\max}_j)
=&\sum_\sigma
\bigl[s_\sigma^{\max}\chi_c(\sigma^+(f))
-s_\sigma^{\min}\chi_c(\sigma^-(f))\bigr],\\
\chi_c(M)-\mathop{\textrm{\scriptsize $\mathop\sum$}}_jj\chi_c(N^{\min}_j)
=&\sum_\sigma
\bigl[s_\sigma^{\min}\chi_c(\sigma^+(f))
-s_{\sigma}^{\max}\chi_c(\sigma^-(f))\bigr],
\end{align*}
where $\sigma$ denotes the singularity type of the genotype and
 $s_\sigma^{\max}$ and $s_\sigma^{\min}$ are defined
in Definition \ref{DefSsigma}.
\end{thm}
\begin{proof}
To get the first inequalities, we apply the same method as we did in the proof of Theorem \ref{RThm1} with the two following constructible functions $\varphi_{\max}$ and $\varphi_{\min}$:
\begin{align*}
\varphi_{\max}(x)=&\max\{\chi_c(f^{-1}(y')\cap B_\varepsilon(x)) :
y' \textrm{ is regular value nearby $f(x)$}\},\\
\varphi_{\min}(x)=&\min\{\chi_c(f^{-1}(y')\cap B_\varepsilon(x)) :
y' \textrm{ is regular value nearby $f(x)$}\}.
\end{align*}
We also use Lemma \ref{L3} below.

When $f$ is stable, by the additivity of the Euler characteristic with compact support, we get:
$$\chi_c(M)-\sum_j \chi_c(N_j^{\max})=\sum_{\nu}(1-c_\nu^{\max}) \chi_c(\nu(f)),$$
$$\chi_c(M)-\sum_j \chi_c(N_j^{\min})=\sum_{\nu}(1-c_\nu^{\min}) \chi_c(\nu(f)).$$
If all the singularities are versal unfoldings of function-germs then
 each genotype gives rise to two singularity types $\sigma_+(f)$ and
 $\sigma_-(f)$. Using the computations done in
Section \ref{Euler characteristics of local generic fibers}, we see that:
$$
1-c_{\sigma^+(f)}^{\max}=s_\sigma^{\max}, \
1-c_{\sigma^-(f)}^{\max}=-s_\sigma^{\min}, \
1-c_{\sigma^+(f)}^{\min}=s_\sigma^{\min}, \hbox{ and }
1-c_{\sigma^-(f)}^{\min}=-s_\sigma^{\max}.
$$
\end{proof}
\begin{lem}\label{L3}
Let $f:M\to N$ be a smooth map such that:
\begin{itemize}
\item $\dim M-\dim N$ is even,
\item $f|_{\Sigma(f)}$ is finite,
\item $f$ is locally trivial at infinity.
\end{itemize}
Then we have:
\begin{align*}
f_*\varphi_{\max}(y)\ge&
\max\{\chi_c(f^{-1}(y')):y' \textrm{ a regular value
 nearby $y$}\},
\\
f_*\varphi_{\min}(y)\le&
\min\{\chi_c(f^{-1}(y')):y' \textrm{ a regular value
 nearby $y$}\}.
\end{align*}
We have the equalities when $f$ is stable.
\end{lem}
\begin{proof}
Set $\{x_1,\dots,x_s\}=f^{-1}(y)\cap\Sigma(f)$.
Take a regular value $y'$ of $f$ near $y$. Then:
\begin{align*}
\chi_c(f^{-1}(y'))
=&\chi_c(f^{-1}(y')\setminus\cup_i\overline{B_\varepsilon(x_i)})
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_i\chi_c(f^{-1}(y')\cap \overline{B_\varepsilon(x_i)})\\
=&\chi_c(f^{-1}(y)\setminus\cup_i\overline{B_\varepsilon(x_i)})
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_i\chi_c(f^{-1}(y')\cap \overline{B_\varepsilon(x_i)})\\
\le&\chi_c(f^{-1}(y)\setminus\{x_1,\dots,x_s\})
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_i\varphi_{\max}(x_i)\\
=&\int_{f^{-1}(y)\setminus\{x_1,\dots,x_s\}}\varphi_{\max}(x)d\chi_c
+\int_{\{x_1,\dots,x_s\}}\varphi_{\max}(x)d\chi_c\\
=&\int_{f^{-1}(y)}\varphi_{\max}(x)d\chi_c
=f_*\varphi_{\max}(y).
\end{align*}
When $f$ is stable, we see that the equality is attained by some $y'$
using the fact (i)$\Longleftrightarrow$(iii) of \cite[Lemma 1.5]{Wall2009}.

Similarly we obtain:
\begin{align*}
\chi_c(f^{-1}(y'))
=&\chi_c(f^{-1}(y')\setminus\cup_i\overline{B_\varepsilon(x_i)})
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_i\chi_c(f^{-1}(y')\cap \overline{B_\varepsilon(x_i)})\\
=&\chi_c(f^{-1}(y)\setminus\cup_i\overline{B_\varepsilon(x_i)})
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_i\chi_c(f^{-1}(y')\cap \overline{B_\varepsilon(x_i)})\\
\ge&\chi_c(f^{-1}(y)\setminus\{x_1,\dots,x_s\})
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_i\varphi_{\min}(x_i)\\
=&\int_{f^{-1}(y)\setminus\{x_1,\dots,x_s\}}\varphi_{\min}(x)d\chi_c
+\int_{\{x_1,\dots,x_s\}}\varphi_{\min}(x)d\chi_c\\
=&\int_{f^{-1}(y)}\varphi_{\min}(x)d\chi_c
=f_*\varphi_{\min}(y).
\end{align*}
When $f$ is stable, we see that the equality is attained by some $y'$
using the fact (i)$\Longleftrightarrow$(iii) of \cite[Lemma 1.5]{Wall2009}.
\end{proof}
Now let us apply this theorem to the case of a map having at worst $D_n$
singularities. Using the computations in Section \ref{Euler characteristics of local generic fibers},
we see that:
$$
1-c_\nu^{\max
=
\begin{cases}
-k&\textrm{ if } x\in A_k^+(f),\\
-1&\textrm{ if } x\in A_k^-(f),\ k\textrm{  odd},\\
0&\textrm{ if } x\in A_k^-(f),\ k\textrm{  even},\\
k&\textrm{ if } x\in D_k^-(f),\ k\textrm{  even},\\
k-2&\textrm{ if } x\in D_k^+(f),\ k\textrm{  even},\\
k-2&\textrm{ if } x\in D_k(f),\ k\textrm{  odd},
\end{cases}
\qqua
1-c_\nu^{\min
=
\begin{cases}
k&\textrm{ if } x\in A_k^-(f)\\
1&\textrm{ if } x\in A_k^+(f),\ k\textrm{  odd},\\
0&\textrm{ if } x\in A_k^+(f),\ k\textrm{   even},\\
-k&\textrm{ if } x\in D_k^-(f),\ k\textrm{  even},\\
2-k&\textrm{ if } x\in D_k^+(f),\ k\textrm{  even},\\
2-k&\textrm{ if } x\in D_k(f),\ k\textrm{  odd}.
\end{cases}
$$
\begin{cor}\label{RMorin2}
If the map $f$ satisfies the assumptions of
Theorem \ref{RThm1C} and has at worst $D_n$ singularities then:
\footnotesiz
\begin{align*}
\chi_c(M)-\sum_jj\chi_c(N_j^{\max})
=&
-\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k>0}k\chi_c(A^+_k(f))
-\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k: \textrm{odd}}\chi_c(A_k^-(f))
+\sum_{k}(k-2)\chi_c(D_k(f))
+2\sum_{k: {\textrm{even}}}\chi_c(D_k^-(f))
\\
\chi_c(M)-\sum_jj\chi_c(N_j^{\min})
=&
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k>0}k\chi_c(A_k^-(f))
+\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k :\textrm{odd}}\chi_c(A_k^+(f))
+\sum_{k}(2-k)\chi_c(D_k(f))
-2\sum_{k: {\textrm{even}}}\chi_c(D_k^-(f))
\end{align*}
\end{cor}
\begin{proof}
Combine the previous theorem with
the above expressions of $\varphi_{\max}$ and $\varphi_{\min}$.
\end{proof}

\begin{cor}\label{RMorin3}
Assume that a map $f$ satisfies the assumptions of Theorem \ref{RThm1C}
 and has at worst $A_n$ singularities.\\
When $\dim N=1$, we have:
$$
\sum_jj\chi_c(N_j^{\max})=\chi_c(M)+\chi_c(A_1(f)),\qquad
\sum_jj\chi_c(N_j^{\min})=\chi_c(M)-\chi_c(A_1(f)),
$$
and thus:
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{j}\tfrac{j}2[\chi_c(N^{\max}_j)+\chi_c(N^{\min}_j)]=
\chi_c(M),
$$
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{j}\tfrac{j}2[\chi_c(N^{\max}_j)-\chi_c(N^{\min}_j)]=
\chi_c(A_1(f))=\chi_c(\Sigma(f)).
$$
When $\dim N=2$, we have:
\begin{align*}
\sum_jj\chi_c(N_j^{\max})
=&\chi_c(M)
+\chi_c(A_1(f))+2\#(A^+_2(f)),\\
\sum_jj\chi_c(N_j^{\min})
=&\chi_c(M)
-\chi_c(A_1(f))-2\#(A_2^-(f)),
\end{align*}
and thus:
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{j}\tfrac{j}2[\chi_c(N^{\max}_j)+\chi_c(N^{\min}_j)]=
\chi_c(M)+\#(A^+_2(f))-\#(A^-_2(f)),
$$
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{j}\tfrac{j}2[\chi_c(N^{\max}_j)-\chi_c(N^{\min}_j)]=
\chi_c(A_1(f))+\#(A_2(f))=\chi_c(\Sigma(f)).
$$
When $\dim N=3$, we have:
\begin{align*}
\sum_jj\chi_c(N_j^{\max})
=&\chi_c(M)
+\chi_c(A_1(f))+2\chi_c(A^+_2(f))+\#(A_3(f))+2\#(A_3^+(f)),\\
\sum_jj\chi_c(N_j^{\min})
=&\chi_c(M)
-\chi_c(A_1(f))-2\chi_c(A_2^-(f))-\#(A_3(f))-2\#(A_3^-(f)),
\end{align*}
and thus:
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{j}\tfrac{j}2[\chi_c(N^{\max}_j)+\chi_c(N^{\min}_j)]
=\chi_c(M)+\chi_c(A^+_2(f))-\chi_c(A^-_2(f))+\#(A^+_3(f))-\#(A^-_3(f)),
$$
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{j}\tfrac{j}2[\chi_c(N^{\max}_j)-\chi_c(N^{\min}_j)]
=\chi_c(A_1(f))+\chi_c(A_2(f))+2\#(A_3(f))
=\chi_c(\Sigma(f))+\#(A_3(f)).
$$
\end{cor}
\subsection{Case $m-n=0$}
Here we assume that $M$ and $N$ are oriented and have the same dimension
$n$. If a point $x$ in $M$ is of type $\nu$, we denote by $d_\nu$ the
local topological degree of the map-germ
$f:(M,x)\to(N,f(x))$. We assume that $f$ is finite-to-one and that $f$
is locally trivial at infinity. In this situation, it is possible to
define the mapping degree of $f$ as follows:
$$
\deg f =\sum_{x \in f^{-1}(y)} \deg \left( f: (M,x) \to (N,f(x))
\right),
$$
where $y$ is a regular value of $f$.
\begin{thm}\label{RThm1D}
Assume that a map $f:M\to N$ is finite-to-one, locally trivial at
 infinity and has finitely many singularity types. We also assume that
 $M$ and $N$ are oriented and that $N$ is connected. Then:
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_\nu d_\sigma\chi_c(\nu(f))
=(\deg f)\chi_c(N),
$$
provided that  the $\chi_c(\nu(f))$'s are finite.
\end{thm}
\begin{proof}
We consider the stratification of $f$ defined by the types of
singularities (see Nakai's paper \cite[\S1]{Nakai2000}) and we define
$\mathcal S(M)$, $\mathcal S(N)$
as the subset algebras generated by the strata and fibers of $f$.
Then $(\mathcal S(X),\mathcal S(Y))$ fits to the map $f$.
Set $\mu_X=\chi_c$, $\mu_Y=\chi_c$ and:
$$
\varphi(x)= \deg \left( f: (M,x) \to (N,f(x)) \right).
$$
Applying Corollary \ref{Fubini2} for $\varphi$ and remarking that $f_*\varphi(y)=\deg f$, we obtain the result.
\end{proof}
If $x$ is a point of type $A_k$ with $k$ even, we say that $x$ belongs to $A_k^+(f)$ (resp. $A_k^-(f)$) if $\deg\{f:(M,x)\to(N,f(x))\}=1$ (resp. $-1$).

\begin{cor}\label{RMorin4}
Assume that $f$ satisfies the assumptions of Theorem \ref{RThm1D} and has at worst $A_n$ singularities. Then we have:
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k: {\textrm{even}}}
\bigl[\chi_c(A_k^+(f))-\chi_c(A_k^-(f))\bigr]
=(\deg f)\chi_c(N).
$$
\end{cor}
\begin{proof}
Apply the previous theorem and the fact that
$\deg\{f:(M,x)\to(N,f(x))\}=0$ if $x \in A_k(f)$, $k$ odd.
\end{proof}

The map $f:(\BB{R}^4,0)\to(\BB{R}^4,0)$ is an $I_{2,2}^\pm$ singularity  if $f$ is defined by:
$$
(x,y,a,b)\mapsto(x^2\pm y^2+ax+by,xy,a,b).
$$
This is the only singularity of stable-germs which is not a Morin
singularity from $\BB{R}^4$ to $\BB{R}^4$. We can state:
\begin{cor}\label{RMorin5}
Assume that $f$ satisfies the assumptions of Theroem \ref{RThm1D} and that $n=4$. Then we have:
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k: {\textrm{even}}}
\bigl[\chi_c(A_k^+(f))-\chi_c(A_k^-(f))\bigr]
+2\#(I_{2,2}^-(f))=(\deg f) \chi_c(N).
$$
\end{cor}
\begin{proof}
Remark that the mapping degree of  $f_x$ is 2 (resp. 0) when $x$ is an
$I_{2,2}^-$ ($I_{2,2}^+$) point.
\end{proof}
A similar discussion shows the following:
\begin{thm}
Assume that a map $f:M\to N$ is finite-to-one, locally trivial at infinity and has finitely many singularity types. We assume that $M$ or $N$ may not be orientable and that $N$ is connected.
Then:
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_\sigma d_\sigma\chi_c(M_\sigma(f))
\equiv(\deg f)\chi_c(N)\pmod{2}.
$$
\end{thm}

\lsection{Applications to Morin maps}\label{SecMorin}
In this section, we apply the results of the previous section to Morin
maps. We will consider three different settings : Morin maps
from a compact manifold $M$ to a connected manifold $N$ such that $\dim
M-\dim N$ is odd, Morin maps from a compact manifold $M$ to a
connected manifold $N$ with $\dim M=\dim N$, Morin perturbations of
smooth map-germs.

\subsection{Morin maps from $M^m$ to $N^n$, $m-n$ odd}
Let $f : M^m \to N^n$ be a Morin mapping from a compact $m$-dimensional
manifold $M$ to a connected $n$-dimensional manifold $N$.

Let us recall that a point $p$ in $M$ is of type $A_k$ if its genotype
is $x^{k+1}$. This means that  there exist a local
coordinate sytem $(x_1,\ldots,x_m)$ centered at $p$ and a local
coordinate system $(y_1,\ldots,y_n)$ centered at $f(p)$ such that $f$
has the following normal form:
$$ \begin{array}{l}
y_i \circ f = x_i \hbox{ for } i \le n-1 ,\cr
y_n \circ f = x_n^{k+1} + \sum_{i=1}^{k-1} x_ix_n^{k-i} +x_{n+1}^2 +\cdots+x_{n+\lambda-1}^2-x_{n+\lambda}^2-\cdots-x_m^2.
\cr
\end{array} $$
Note that $x$ belongs to $A_k^+(f)$ (resp. $A_k^-(f)$) if and only if $m-n-\lambda+1$ is even (resp. odd). We should remark also that if $k$ is odd then $x \in A_k^+(f)$ (resp. $A_k^-(f)$) if and only if
$\chi_c(f^{-1}(y') \cap \overline{B_\varepsilon(x)})=\chi(f^{-1}(y') \cap \overline{B_\varepsilon(x)})=0$ (resp. $2$) where $y'$ is a regular value of $f$ close to $f(x)$. It is well known that for $k\ge 1$, the $A_k(f)$'s are smooth manifolds of dimension $n-k$, that the $\overline{A_k(f)}$'s are smooth manifolds with boundary and that:
$$\overline{A_k(f)}= \cup_{i \ge k} A_i(f) , \  \ \partial{\overline{A_k(f)}}=\cup_{i>k} A_i(f).$$
We will describe more precisely the structure of the $A_k^{\pm}(f)$'s.
\begin{prop}\label{RProp6A}
If $k$ is odd then $\overline{A_k^+(f)}$ and $\overline{A_k^-(f)}$ are compact manifolds with boundary of dimension $n-k$.
Furthermore $\partial \overline{A_k^+(f)}=\partial \overline{A_k^-(f)}= \overline{A_{k+1}(f)}$.
\end{prop}
\begin{proof}
Let $p$ be a point in $A_k(f)$, $k$ odd. There exist local coordinates around $p$ and $f(p)$ such that $f$
has the form:
$$ \begin{array}{l}
y_i \circ f = x_i \hbox{ for } i \le n-1 ,\cr
y_n \circ f = x_n^{k+1} + \sum_{i=1}^{k-1} x_ix_n^{k-i} +x_{n+1}^2 +\cdots+x_{n+\lambda-1}^2-x_{n+\lambda}^2-\cdots-x_m^2.
\end{array}$$
Let us write $g=y_n \circ f$. Around $p$, $A_k(f)$ is defined by $\frac{\partial g}{\partial x_n}=\cdots=\frac{\partial^k
g}{\partial x_n^k}=0$ and $x_{n+1}=\cdots=x_m=0$.
It is easy to see that this is equivalent to $x_1=\cdots=x_{k-1}=0$ and
$x_n=\cdots=x_m=0$. This proves that $A_k(f)$ is a manifold  of dimension $n-k$. Let $q=(q_1,\ldots,q_m) \in A_k(f)$ be a point
close to $p$. We have $q_1=\ldots=q_{k-1}=0$ and $q_n=\ldots=q_m=0$. For $i\in \{k,\ldots,n-1\}$, let us put
$z_i=x_i-q_i$ and $w_i=y_i-q_i$. For $i \notin \{k,\ldots,n-1\}$, let us put $z_i=x_i$ and $w_i=y_i$. Then
$(z_1,\ldots,z_m)$ and $(w_1,\ldots,w_n)$ are local coordinate systems centered at $q$ and $f(q)$. In these systems, $f$
has the form:
$$\begin{array}{l}
w_i \circ f = z_i \hbox{ for } i \le n-1, \cr
w_n \circ f = z_n^{k+1} + \sum_{i=1}^{k-1} z_iz_n^{k-i} +z_{n+1}^2 +\cdots+z_{n+\lambda-1}^2-z_{n+\lambda}^2-\cdots-z_m^2.
\cr
\end{array} $$
We conclude that $q $ belongs to $A_k^+(f)$ (resp. $A_k^-(f)$) if and only if $p$ belongs to $A_k^+(f)$ (resp.
$A_k^-(f)$). This proves that the sets  $A_k^+(f)$ and $A_k^-(f)$ are open subsets of $A_k(f)$, hence manifolds of dimension $n-k$.

We know that $\overline{A_k(f)}=\cup_{l\ge k} A_l(f)$. Let $l>k$ and let $p \in A_l(f)$. There are local coordinates
systems around $p$ and $f(p)$ such that $f$ has the form:
$$\begin{array}{l}
y_i \circ f = x_i \hbox{ for } i \le n-1, \cr
y_n \circ f = x_n^{l+1} + \sum_{i=1}^{l-1} x_ix_n^{l-i} +x_{n+1}^2 +\cdots+x_{n+\lambda-1}^2-x_{n+\lambda}^2-\cdots-x_m^2.
\cr
\end{array}$$
Let us denote by $g$ the function $y_n \circ f$. We have:
$$A_k(f)= \left\{ \frac{\partial g}{\partial x_n}=\cdots=\frac{\partial^k g}{\partial x_n^k}=0,x_{n+1}=\cdots=x_m=0,\frac{\partial^{k+1} g}{\partial x_n^{k+1}}\not=0
\right\},$$
and
$$\overline{A_{k+1}(f)}= \left\{ \frac{\partial g}{\partial x_n}=\cdots=\frac{\partial^{k+1} g}{\partial x_n^{k+1}}=0,x_{n+1}=\cdots=x_m=0
\right\}.$$
Let $q=(q_1,\ldots,q_n,0,\ldots,0)$ be a point in $A_k(f)$ close to $p$. Let us find when $q \in A_k^+(f)$ or $q\in
A_k^-(f)$. For this we have to compute $\varphi(q)=\chi(f^{-1}(y') \cap \overline{B_\varepsilon(q)})$ where $y'$ is a regular value of $f$ close to $f(q)$.
Since it does not depend on the choice of the regular value because $m-n$ is odd, let us compute $\chi(f^{-1}(\tilde{y}) \cap \overline{B_\varepsilon(q)})$ where $\tilde{y}=(q_1,\ldots,q_{n-1},
q_n+\epsilon)$ and $\epsilon$ is a small real number.
So we have to look for the
zeros lying close to $q$ of the following system:
$$\left\{ \begin{array}{l}
y_i \circ f (x)= q_i \hbox{ for } i \le n-1 \cr
g(x)=g(q)+ \epsilon .\cr
\end{array} \right.$$
This system is equivalent to:
$$\left\{ \begin{array}{l}
x_i= q_i \hbox{ for } i \le n-1 \cr
g(q_1,\ldots,q_{n-1},q_n+x_n',x_{n+1},\ldots,x_m)=g(q)+ \epsilon .\cr
\end{array} \right.$$
But we have:
\begin{align*}
&g(q_1,\ldots,q_{n-1},q_n+x_n',x_{n+1},\ldots,x_m)\\
=&g(q_1,\ldots,q_{n-1},q_n+x_n',0,\ldots,0)
+x_{n+1}^2+\cdots+x_{n+\lambda-1}^2-x_{n+\lambda}^2-\cdots-x_m^2\\
=&g(q)+\sum_{i\ge k+1} \frac{1}{i!}\frac{\partial^i g}{\partial
x_n^i}(q){x_n'}^i+x_{n+1}^2+\cdots
+x_{n+\lambda-1}^2-x_{n+\lambda}^2-\cdots-x_m^2
\\
=&
g(q)+g'(x'_n,x_{n+1},\ldots,x_m).
\end{align*}
Hence by Khimshiashvili's formula \cite{Khimshiashvili}, we have :
 $\varphi (q)=1-\deg_0 \nabla g'$,
where $\deg_ 0 \nabla g'$ is the topological degree of the map
 $\frac{\nabla g'}{\Vert \nabla g' \Vert} : S_\varepsilon^{m-n} \to
 S^{m-n}$.
Two cases are possible. If $\lambda$ is even then:
$$
q \in A_k^+(f) \Leftrightarrow \frac{\partial^{k+1}g}{\partial
 x_n^{k+1}}(q) >0 \hbox{ and }
q \in A_k^-(f) \Leftrightarrow \frac{\partial^{k+1}g}{\partial x_n^{k+1}}(q) <0.$$
If $\lambda$ is odd then:
$$q \in A_k^+(f) \Leftrightarrow \frac{\partial^{k+1}g}{\partial x_n^{k+1}}(q) <0 \hbox{ and }
q \in A_k^-(f) \Leftrightarrow \frac{\partial^{k+1}g}{\partial x_n^{k+1}}(q) >0.$$
Finally we see that the sets $A_k^+(f)$ and $A_k^-(f)$ are in
 correspondence with the sets
$A_k(f) \cap
\{\frac{\partial^{k+1}g}{\partial x_n^{k+1}}>0\}$ and $A_k(f) \cap
\{\frac{\partial^{k+1}g}{\partial x_n^{k+1}}<0\}$,
which enables us to conclude.
\end{proof}

We can state our main theorem which is a slight improvement of a result
of T.~Fukuda \cite{Fukuda1988} for $N=\mathbb{R}^n$ and O.~Saeki
\cite{Saeki} for a general $N$.

\begin{thm}\label{RThm6A}
Let $f : M^m \to N^n$ be a Morin mapping. Assume that $M$ is compact, $N$ is connected and $m-n$ is odd. Then we have:
$$
\chi(M)=\sum_{k: {\textrm{odd}}}
\Bigl[\chi(\overline{A_k^+(f)})-\chi(\overline{A_k^-(f)})\Bigr].
$$
\end{thm}
\begin{proof}
Applying Corollary \ref{RMorin1}, we get:
$$
\chi_c(M)-\chi_f\, \chi_c(N)
=\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k:{\textrm{odd}}}
\bigl[\chi_c( A_k^+ (f))-\chi_c( A_k^-(f))\bigr],
$$
where $\chi_f$ is the Euler characteristic of a regular fiber of $f$. In this situation, $\chi_f=0$ because the regular fiber of $f$ is a compact odd-dimensional manifold. Then we remark  that $\chi_c(M)=\chi(M)$ because $M$ is compact. Moreover by the additivity of the Euler-Poincar\'e with
compact support, we have:
\begin{align*}
\chi(\overline{A_k^+(f)})
=&\chi_c(\overline{A_k^+(f)})
=\chi_c(A_k^+(f))+\chi_c(\partial(\overline{A_k^+(f)}))
=\chi_c(A_k^+(f))+\chi_c(\overline{A_{k+1}(f)}),\\
\chi(\overline{A_k^-(f)})
=&\chi_c(\overline{A_k^-(f)})
=\chi_c(A_k^-(f))+\chi_c(\partial(\overline{A_k^-(f)}))
=\chi_c(A_k^-(f))+\chi_c(\overline{A_{k+1}(f)}).
\end{align*}
This implies that
$\chi(\overline{A_k^+(f)})-\chi(\overline{A_k^-(f)})
=\chi_c(A_k^+(f))-\chi_c(A_k^{-}(f))$.
\end{proof}
We end this subsection with two remarks:

\begin{enumerate}
\item If $m$ is odd then $n$ is even and $\chi(M)=0$. If $k$ is odd, the dimension of $\overline{A_k^+(f)}$ and
$\overline{A_k^+(f)}$ is odd. Furthermore, we have:
$$\chi(\overline{A_k^+(f)})=\frac{1}{2}\chi(\partial \overline{A_k^+(f)})=\frac{1}{2}\chi(\overline{A_{k+1}(f)})=
\frac{1}{2}\chi(\partial \overline{A_k^-(f)})=\chi(\overline{A_k^-(f)}),$$
and $\chi(\overline{A_k^+(f)})-\chi(\overline{A_k^-(f)})=0$. In this case, our theorem is trivial.
\item If $m$ is even and $n=1$, then we can apply our theorem.
In this situation, there is only a finite number of singular
points, which are the elements of $A_1^+(f)$ and of $A_1^-(f)$. Theorem
      \ref{RThm6A} gives
that $\chi(M)= \# A_1^+(f)-\# A_1^-(f)$. We recover the well-known Morse equalities.
\end{enumerate}

\subsection{Morin  maps from $M^n$ to $N^n$}
Let $f : M^n \to N^n$ be a Morin mapping from a compact oriented manifold $M$ of dimension $n$ to a connected manifold $N$ of the same dimension.
For any $p \in M$, let $\varphi (p)$ be the local topological degree of
the map-germ $f : (M,p) \to (N,f(p))$. Recall that $\varphi(p)=0$ if $p
\in A_k(f)$ and $k$ odd and that $\vert \varphi(p) \vert=1$ if $p \in
A_k(f)$ and $k$ even. Hence, if $k$ is even, $A_k(f)$ splits into two
subsets $A_k^+(f)$ and $A_k^-(f)$ where $A_k^+(f)$ (resp. $A_k^-(f)$)
consists of the points $p$ such that $\varphi(p)=1$
(resp. $\varphi(p)=-1$). It is well known that the $A_k(f)$'s are smooth
manifolds of dimension $n-k$, that the $\overline{A_k(f)}$'s are smooth
manifolds with boundary and that:
$$
\overline{A_k(f)}= \cup_{i \ge k} A_i(f) , \  \
\partial{\overline{A_k(f)}}=\cup_{i>k} A_i(f).
$$
Remark that $A_0(f)$ is the set of regular points of $f$.
Let  us  describe more precisely the structure of the sets $A_k^{\pm}(f)$.
\begin{prop}
If $k$ is even, then $\overline{A_k^+(f)}$ and $\overline{A_k^-(f)}$ are manifolds with boundary of dimension $n-k$ and
$\partial \overline{A_k^+(f)}=\partial \overline{A_k^-(f)}= \overline{A_{k+1}(f)}$.
\end{prop}
\begin{proof}
Let $p$ be  a point in $A_k(f)$, $k$ even. In local coordinates, $f$ is given by:
$$
\begin{array}{l}
y_i \circ f = x_i \hbox{ for } i \le n-1 ,\cr
y_n \circ f = x_n^{k+1} + \sum_{i=1}^{k-1} x_ix_n^{k-i}. \cr
\end{array}
$$
If we suppose that $(x_1,\ldots,x_n)$ and $(y_1,\ldots,y_n)$ are coordinates in direct basis,
then $f$ has two possible forms:
$$
\begin{cases}
y_i \circ f = &x_i \quad\hbox{ for } i \le n-1 ,\cr
y_n \circ f = &x_n^{k+1} + \sum_{i=1}^{k-1} x_ix_n^{k-i}, \cr
\end{cases}
\quad\textrm{or}\quad
\begin{cases}
y_i \circ f = &x_i \quad\hbox{ for } i \le n-1 ,\cr
y_n \circ f = &-x_n^{k+1} + \sum_{i=1}^{k-1}(-1)^{k-i} x_ix_n^{k-i}. \cr
\end{cases}
$$
In the first case, $\varphi(p)=1$ and in the second case $\varphi(p)=-1$.

We can prove the fact that $A_k^+(f)$ and $A_k^-(f)$ are manifolds of dimension $n-k$  with the same method as
in Proposition \ref{RProp6A}.
Now let $l>k$ and let $p \in A_l(f)$. Locally $f$ is given by:
$$\begin{array}{l}
y_i \circ f = x_i \hbox{ for } i \le n-1 ,\cr
y_n \circ f = \pm x_n^{l+1} + \sum_{i=1}^{l-1}\pm x_ix_n^{l-i}. \cr
\end{array} $$
Let us denote by $g$ the function $y_n \circ f$. We have:
$$A_k(f)= \left\{ \frac{\partial g}{\partial x_n}=\cdots=\frac{\partial^k g}{\partial x_n^k}=0,\frac{\partial^{k+1} g}{\partial x_n^{k+1}} \not= 0
\right\},$$
and:
$$\overline{A_{k+1}(f)}= \left\{ \frac{\partial g}{\partial x_n}=\cdots=\frac{\partial^{k+1} g}{\partial x_n^{k+1}}=0
\right\}.$$
Let $q=(q_1,\ldots,q_n)$ be a point in $A_k(f)$ close to $p$. Let us find when $q \in A_k^+(f)$ or $q\in
A_k^-(f)$. For this we have to compute $\varphi(q)$. Let $\epsilon$ be a small real number and let us look for the
zeros lying close to $q$ of the following system:
$$\left\{ \begin{array}{l}
y_i \circ f (x)= q_i \hbox{ for } i \le n-1, \cr
g(x)=g(q)+ \epsilon .\cr
\end{array} \right.$$
This system is equivalent to:
$$\left\{ \begin{array}{l}
x_i= q_i \hbox{ for } i \le n-1 ,\cr
g(q_1,\ldots,q_{n-1},q_n+x_n')=g(q)+ \epsilon . \cr
\end{array} \right.$$
But:
$$g(q_1,\ldots,q_{n-1},q_n+x_n')=g(q)+\sum_{i\ge k+1}\frac{\partial^i g}{\partial
x_n^i}(q){x_n'}^i.$$
Then we see  that $\varphi(q)= \hbox{sign} \frac{\partial^{k+1}g}{\partial x_n^{k+1}}(q)$. We conclude as in Proposition \ref{RProp6A}.
\end{proof}
\begin{thm}
Let $f : M^n \to N^n$ be a Morin mapping. Assume that $M$ is compact and
 oriented and that $N$ is connected and oriented. We have:
$$
\sum_{k : {\textrm{even}}} \Bigl[
\chi(\overline{A_k^+(f)})-\chi(\overline{A_k^-(f)})\Bigr]
=(\deg f)\chi(N).
$$
\end{thm}
This is proved by I.~R.~Quine \cite{Quine} when $n=2$.
It appeared in a preprint of I.~Nakai \cite{Nakai1996} for any $n$.
\begin{proof}
By Corollary \ref{RMorin4}, we know that:
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k :\textrm{even}}
\bigl[\chi_c(A_k^+(f))-\chi_c(A_k^-(f))\bigr]
=(\deg f)\chi_c(N).
$$
If $N$ is compact then $\chi_c(N)=\chi(N)$ and if $N$ is not compact then $\deg f=0$. In both cases the equality $(\deg f) \chi_c (N)= (\deg f) \chi(N)$ is true. With the same arguments as in Theorem \ref{RThm6A}, it is easy to prove that $\chi(\overline{A_k^+(f)})-\chi(\overline{A_k^-(f)})=
\chi_c(A_k^+(f))-\chi_c(A_k^-(f))$.
\end{proof}

\begin{rem}
When $n$ is odd, $\overline{A_k^+(f)}$ and $\overline{A_k^-(f)}$
are odd-dimensional manifolds with the same boundary and so the left hand-side of the equality vanishes. But the right-hand
side is also zero because $\chi(N)=0$ if $N$ is compact and $\deg f=0$ if $N$ is not compact. Hence our theorem is trivial in
this case.
\end{rem}

\subsection{Local versions}
We give local versions of the global formulas of the previous subsections.

We work first with map-germs $f :(\mathbb{R}^n,0) \rightarrow
(\mathbb{R}^p,0)$, $n>p$, which are generic in the sense of
Theorem $1'$ in \cite{Fukuda1985}. There are two cases:

Case I) If the origin $0$ is not isolated in $f^{-1}(0)$, i.e $0 \in
\overline{f^{-1}(0) \setminus \{0\}}$, then
there exist a positive number $\varepsilon_0$ and a strictly increasing
function
$\delta : [0,\varepsilon_0] \rightarrow[0,+\infty)$
with $\delta(0)=0$ such that for every $\varepsilon$ and
$\delta$ with $0< \varepsilon \le \varepsilon_0$ and
$0<\delta< \delta(\varepsilon)$ the following properties hold:
\begin{enumerate}
\item $f^{-1}(0) \cap S_\varepsilon^{n-1}$ is an $(n-p-1)$-dimensional
      manifold and it is diffeomorphic to $f^{-1}(0) \cap
S_{\varepsilon_0}^{n-1}$.
\item $\overline{B_\varepsilon^n} \cap f^{-1}(S_\delta^{p-1})$ is a smooth manifold with boundary and it is diffeomorphic to
$\overline{B_{\varepsilon_0}^n} \cap f^{-1}(S_{\delta(\varepsilon_0)}^{p-1})$.
\item $\partial(\overline{B_\varepsilon^n} \cap f^{-1}(\overline{B_\delta^{p}}))$ is homeomorphic to $S_\varepsilon^{n-1}$.
\item The restricted mapping $f : \overline{B_\varepsilon^n} \cap f^{-1}(S_\delta^{p-1}) \rightarrow S_\delta^{p-1}$ is topologically
stable ($C^\infty$ stable if $(n,p)$ is a nice pair) and its topological type is independent of $\varepsilon$ and $\delta$.
\end{enumerate}
Here $B_\varepsilon^n$ denotes the open ball of radius $\varepsilon$
centered at $0$ and $S_\varepsilon^{n-1}$ the sphere of radius
$\varepsilon$ centered at $0$ in $\mathbb{R}^n$.

Case II) If the origin $0$ is isolated in $f^{-1}(0)$, i.e $0 \notin \overline{f^{-1}(0) \setminus \{0\}}$, then
there exists a positive number $\varepsilon_0$ such that for every $\varepsilon$ with $0< \varepsilon \le \varepsilon_0$
the following properties hold:
\begin{enumerate}
\item $f^{-1}(S_\varepsilon^{p-1})$ is diffeomorphic to
$S_\varepsilon^{n-1}$.
\item The restricted mapping $f : f^{-1}(S_\varepsilon^{p-1}) \rightarrow S_\varepsilon^{p-1}$ is topologically
stable ($C^\infty$ stable if $(n,p)$ is a nice pair) and its topological type is independent of $\varepsilon$.
\end{enumerate}

We will focus first on Case I). Note that in this case, $\overline{B_\varepsilon^n} \cap f^{-1}(\overline{B_\delta^{p}})$ is a manifold with corners
whose topological boundary is the manifold with corners $\overline{B_\varepsilon^n} \cap f^{-1}(S_\delta^{p-1}) \cup S^{n-1}_\varepsilon \cap f^{-1}(\overline{B_\delta^p})$.
We will use the following notations : $B_{\varepsilon,\delta}=f^{-1}(\overline{B_\delta^p}) \cap \overline{B_\varepsilon^n}$,
$\partial B_{\varepsilon,\delta}= \overline{B_\varepsilon^n} \cap f^{-1}(S_\delta^{p-1}) \cup S^{n-1}_\varepsilon \cap f^{-1}(\overline{B_\delta^p})$,
$C_{\varepsilon,\delta}= B_\varepsilon^n \cap f^{-1}(S_\delta^{p-1})$ and
$I_{\varepsilon,\delta}$ is the topological interior of $B_{\varepsilon,\delta}$.

Let us denote by $\partial f$ the restricted mapping $f_{\vert C_{\varepsilon,\delta} } : C_{\varepsilon,\delta} \to S_\delta^{p-1}$ and let us assume that it is a Morin mapping.
Let us consider a perturbation $\tilde{f}$ of $f$ such that  $\tilde{f}_{\vert I_{\varepsilon,\delta}}  :
I_{\varepsilon,\delta} \to B_\delta^{p}$ is a Morin mapping and $\tilde{f}=f$ in a neighborhood of $C_{\varepsilon,\delta}$.

Our aim is to generalize Theorem 2 of \cite{Fukuda1985} which deals with
map-germs from $\mathbb{R}^n$ to $\mathbb{R}$, i.e to relate
the topology of ${\mathrm{Lk}}(f)=f^{-1}(0) \cap S_\varepsilon^{n-1}$ to the
topology of the singular set of $\tilde{f}$ and to the topology of the
singular set of $\partial f$. As in the previous sections,
we will denote by $A_k(\tilde{f})$ (resp. $A_k(\partial f)$), the set of
singular points of $\tilde{f}$ (resp. $\tilde{f}$) of type $A_k$.
The first result is a local version of Saeki's formula
(Theorem 2.3 in \cite{Saeki}).

\begin{thm}\label{RThm6C}
We have:
$$
\psi({\mathrm{Lk}}(f))
\equiv
1+\sum_{k=1}^{p-1}
\psi(A_k(\partial f))+\# A_p(\tilde{f}) \bmod 2,
$$
where $\psi$ denotes the semi-characteristic.
\end{thm}
\begin{proof}
Note that for $\tilde{\delta}$ a sufficiently small regular value of
$\tilde{f}$ ($\vert \tilde{\delta} \vert \le \delta$), we have:
$$
\chi_c(\tilde{f}^{-1}(\tilde{\delta})\cap I_{\varepsilon,\delta})
\equiv
\chi(\tilde{f}^{-1}(\tilde{\delta})\cap I_{\varepsilon,\delta})
\equiv
\chi(\tilde{f}^{-1}(\tilde{\delta}) \cap B_{\varepsilon,\delta})
\equiv
\psi(\tilde{f}^{-1}(\tilde{\delta}) \cap S_\varepsilon^{n-1})
\equiv\psi({\mathrm{Lk}}(f)) \mod{2}.
$$
The last equality comes from the fact that $f$ has an isolated
 singularity, that $\tilde{f}^{-1}(\tilde{\delta})$
intersects $S_\varepsilon^{n-1}$ transversally and that $\tilde{f}$ is
 close to $f$.

On the one hand, applying Theorem \ref{RThm1},  Theorem \ref{RThm1B} and their corollaries to the restriction of $\tilde{f}$ to $I_{\varepsilon,\delta}$, we obtain:
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k:{\textrm{even}}} \chi_c(A_k(\tilde{f} )\cap
I_{\varepsilon,\delta}) \equiv \psi({\mathrm{Lk}}(f)) \bmod 2.
$$

On the other hand, by additivity, we have:
$$
1
\equiv\chi_c (I_{\varepsilon,\delta})
\equiv\sum_k \chi_c(I_{\varepsilon,\delta} \cap A_k(\tilde{f})) \bmod 2.
$$
For each $k \ge 1$, we have:
$$\overline{A_k(\tilde{f}) \cap I_{\varepsilon,\delta}} =
A_k(\tilde{f})\cap I_{\varepsilon,\delta} \sqcup \overline{A_{k+1}(\tilde{f})} \cap I_{\varepsilon,\delta} \sqcup
\overline{A_k(\tilde{f})} \cap C_{\varepsilon,\delta},$$
because if $\varepsilon$ and $\delta$ are small enough the singular set of $\tilde{f}$ does not intersect $f^{-1}(\overline{B_\delta^p}) \cap S_\varepsilon^{n-1}$.
Before carrying on with our computations, let us observe that for
$k \in \{1,\ldots,p-1\}$, $\overline{A_k(\tilde{f})} \cap
 C_{\varepsilon,\delta} = A_k(\partial f)$.
It is not difficult to see
 this with the characterization of the $A_k$ sets by the ranks of the
 iterate jacobians. Moreover, using the characterization of the $A_k^+$
 and $A_k^-$ sets by the Euler characteristic of the nearby fiber, we
 can say that
$\overline{A_k^+(\tilde{f})} \cap C_{\varepsilon,\delta}= A_k^+(\partial
 f)$
and
$\overline{A_k^-(\tilde{f})} \cap C_{\varepsilon,\delta} = A_k^-(\partial f)$.
Hence:
\begin{align*}
\chi(\overline{A_k(\tilde{f})\cap I_{\varepsilon,\delta}})
\equiv&\chi_c(\overline{A_k(\tilde{f}) \cap I_{\varepsilon,\delta}})
\\
\equiv&\chi_c(A_k(\tilde{f}) \cap I_{\varepsilon,\delta})
+\chi_c(\overline{A_{k+1}(\tilde{f})} \cap I_{\varepsilon,\delta})
+\chi_c(\overline{A_k(\tilde{f})}\cap C_{\varepsilon,\delta})
\\
\equiv&
\chi_c(A_k(\tilde{f}) \cap I_{\varepsilon,\delta})
+\chi_c(\overline{A_{k+1}(\tilde{f})} \cap I_{\varepsilon,\delta})
\pmod 2,
\end{align*}
because $\overline{A_k(\tilde{f})} \cap C_{\varepsilon,\delta}$ is a compact boundary.
Furthermore, we have:
$$\chi(\overline{A_{k+1}(\tilde{f}) \cap I_{\varepsilon,\delta}})=\chi_c (\overline{A_{k+1}(\tilde{f})} \cap
I_{\varepsilon,\delta} )+\chi_c (\overline{A_{k+1}(\tilde{f})} \cap
C_{\varepsilon,\delta})=\chi_c(\overline{A_{k+1}(\tilde{f})} \cap
I_{\varepsilon,\delta} ).$$
Finally, for each $k$,
$
\chi_c(A_k(\tilde{f}) \cap I_{\varepsilon,\delta})
=
\chi(\overline{A_k(\tilde{f}) \cap I_{\varepsilon,\delta}})
+
\chi(\overline{A_{k+1}(\tilde{f}) \cap I_{\varepsilon,\delta}}),
$
and so:
\begin{align*}
\psi({\mathrm{Lk}}(f))\equiv&
1+\sum_{k=1}^{p} \chi(\overline{A_k(\tilde{f}) \cap
 I_{\varepsilon,\delta}}) \bmod 2,\\
\psi({\mathrm{Lk}}(f))\equiv&
1+\sum_{k=1}^{p-1} \psi (A_k(\partial f) )+\# A_p(\tilde{f})
\bmod 2.
\end{align*}
\end{proof}
Let us examine some special cases.
When $p=1$, we find:
$$
\psi({\mathrm{Lk}}(f))\equiv 1+\#A_1(\tilde{f})\equiv1+\deg_0 \nabla f \pmod{2},
$$
where $\deg_ 0 \nabla f$ is the topological degree of the map
$\frac{\nabla f}{\Vert \nabla f \Vert} : S_\varepsilon^{n-1} \to
S^{n-1}$. This due to the fact
$\tilde{f}$ is a Morse function and the points in
$A_1(\tilde{f})$ are exactly its critical points.
When $p=2$, we find:
$$
\psi({\mathrm{Lk}}(f))\equiv1 +\psi(A_1(\partial f))+\#A_2(\tilde{f}) \bmod 2.
$$
If $\tilde{f}$ is close to $f$ then $\psi(A_1(\partial f))$ is equal to
$\frac{1}{2}b(C(f)) \bmod 2$ where $C(f)$ denotes critical locus of $f$ and $b(C(f))$ the number of branches of $C(f)$.
Hence:
$$
\psi({\mathrm{Lk}}(f))\equiv1+\frac{1}{2}b(C(f)) +\# A_2(\tilde{f}) \bmod 2.
$$
Since $b(C(f))$ is a topological invariant of $f$, we deduce that $\# A_2 (\tilde{f}) \bmod 2$ is a topological invariant of $f$.
Similarly if $p=3$, this gives:
$$
\psi({\mathrm{Lk}}(f))\equiv1+\psi(C(f) \cap \partial B_{\varepsilon,\delta})
+\frac{1}{2}b(C(f_{\vert C(f)})) +\# A_3(\tilde{f}) \bmod 2.
$$
In the sequel, we will improve Theorem \ref{RThm6C} in some situations.
Let us assume that $n-p$ is odd.
\begin{thm}\label{RThm6D}
If $n-p$ is odd, then we have:
$$
\chi({\mathrm{Lk}}(f))
=2-2 \sum_{k: {\textrm{odd}}}
\Bigl[
\chi(\overline{A_k^+(\tilde{f}) \cap I_{\varepsilon,\delta}})
-\chi(\overline{A_k^-(\tilde{f}) \cap I_{\varepsilon,\delta}})
\Bigr].
$$
Furthermore, when $n$ is odd and $p$ is even, we have:
$$
\chi({\mathrm{Lk}}(f))=
2-\sum_{k: {\textrm{odd}}}
\Bigl[
\chi(\overline{A_k^+(\partial f)})
-\chi(\overline{A_k^-(\partial f)})
\Bigr].
$$
\end{thm}
\begin{proof}
With the same notations as in Theorem \ref{RThm6C}, we can write:
$$
\chi_c(\tilde{f}^{-1}(\tilde{\delta})\cap B_{\varepsilon,\delta})
= \chi_c(\tilde{f}^{-1}(\tilde{\delta})\cap I_{\varepsilon,\delta} )
+\chi_c(\tilde{f}^{-1}(\tilde{\delta})\cap\partial B_{\varepsilon,\delta}),
$$
thus:
$$
\frac{1}{2} \chi({\mathrm{Lk}}(f))
=\chi_c(\tilde{f}^{-1}(\tilde{\delta})
\cap I_{\varepsilon,\delta})+\chi({\mathrm{Lk}}(f)).
$$
Therefore, we get:
$$
\chi_c(\tilde{f}^{-1}(\tilde{\delta}) \cap
 I_{\varepsilon,\delta})=-\frac{1}{2} \chi({\mathrm{Lk}}(f)).
$$
Applying Corollary \ref{RMorin1}, we obtain:
$$
\chi_c(I_{\varepsilon,\delta})
+\frac{1}{2} \chi({\mathrm{Lk}}(f)) \chi_c(B_\delta^p)
=\sum_{k : \textrm{odd}}\chi_c (A_k^+(\tilde{f})\cap
I_{\varepsilon,\delta})-\chi_c(A_k^-(\tilde{f}) \cap I_{\varepsilon,\delta}).
$$
Let us compute $\chi_c(I_{\varepsilon,\delta})$.
We have:
$$
 \chi(B_{\varepsilon,\delta})=\chi_c(B_{\varepsilon,\delta})=
\chi_c(I_{\varepsilon,\delta} ) +
\chi_c(B^n_\varepsilon \cap f^{-1}(S^{p-1}_\delta)) +
\chi_c(S^{n-1}_\varepsilon \cap f^{-1} (\overline{B^p_\delta})). $$
If $n$ is odd and $p$ is even, we have:
$$\chi(B_{\varepsilon,\delta})=\frac{1}{2}\chi(S^{n-1}_\varepsilon \cap f^{-1}(\overline{B^p_\delta}))+
\frac{1}{2}\chi(\overline{B^n_\varepsilon}
\cap f^{-1}(S^{p-1}_\delta)),$$
and:
\begin{align*}
\chi(\overline{B^n_\varepsilon }\cap f^{-1}(S^{p-1}_\delta))
=&\chi_c(\overline{B^n_\varepsilon} \cap f^{-1}(S^{p-1}_\delta))\\
=&
\chi_c(B^n_\varepsilon \cap f^{-1}(S^{p-1}_\delta))
+ \chi_c(S^{n-1}_\varepsilon \cap f^{-1}(S^{p-1}_\delta))
\\
=&
\chi_c(B^n_\varepsilon \cap f^{-1}(S^{p-1}_\delta))
+\chi(S^{n-1}_\varepsilon \cap f^{-1}(S^{p-1}_\delta))
\\
=&
\chi_c (B^n_\varepsilon  \cap f^{-1}(S^{p-1}_\delta)).
\end{align*}
Thus we obtain:
\begin{align*}
\chi_c(I_{\varepsilon,\delta})
=&
\textrm{\small$
\frac{1}{2}\chi(S^{n-1}_\varepsilon \cap f^{-1}( \overline{B^p_\delta)})
+\frac{1}{2}\chi(\overline{B^n_\varepsilon}\cap f^{-1} (S^{p-1}_\delta))
-\chi (\overline{B^n_\varepsilon} \cap f^{-1}(S^{p-1}_\delta))
-\chi(S^{n-1}_\varepsilon \cap f^{-1}(\overline{B^p_\delta}))$} \\
=&
-\frac{1}{2} \chi(\overline{B^n_\varepsilon} \cap f^{-1}(S^{p-1}_\delta)) -\frac{1}{2} \chi(S^{n-1}_\varepsilon \cap
f^{-1}(\overline{B^p_\delta}))
=-\chi(B_{\varepsilon,\delta})=-1.
\end{align*}
Finally we get:
\begin{align*}
\frac{1}{2}\chi({\mathrm{Lk}}(f))
=&1+
\sum_{k: {\textrm{odd}}}
\Bigl[
\chi_c(A_k^+(\tilde{f})\cap I_{\varepsilon,\delta})
-\chi_c(A_k^-(\tilde{f})\cap I_{\varepsilon,\delta})
\Bigr],
\end{align*}
which means:
$$
\chi({\mathrm{Lk}}(f))
= 2 +2
\sum_{k : {\textrm{odd}}}
\Bigl[
 \chi_c(A_k^+(\tilde{f})\cap I_{\varepsilon,\delta})
-\chi_c(A_k^-(\tilde{f})\cap I_{\varepsilon,\delta})
\Bigr].
$$
Since dim $A_k^+(\tilde{f})=$ dim $A_k^-(\tilde{f})=p-k$ is odd,
we can establish using the same arguments as above that:
\begin{align*}
\chi_c(A_k^+(\tilde{f}) \cap I_{\varepsilon,\delta})
=&-\chi(\overline{A_k^+(\tilde{f}) \cap I_{\varepsilon,\delta}})
=
-\frac{1}{2}\chi(\overline{A_k^+(\tilde{f})}\cap C_{\varepsilon,\delta})
-\frac{1}{2}\chi(\overline{A_{k+1}(\tilde{f})\cap I_{\varepsilon,\delta}}),\\
\chi_c(A_k^-(\tilde{f})\cap I_{\varepsilon,\delta})
=&-\chi(\overline{A_k^-(\tilde{f}) \cap I_{\varepsilon,\delta}})
=-\frac{1}{2}\chi(\overline{A_k^-(\tilde{f})}\cap
 C_{\varepsilon,\delta}) -\frac{1}{2}
\chi(\overline{A_{k+1}(\tilde{f}) \cap I_{\varepsilon,\delta} }).
\end{align*}
Finally, we obtain:
$$
\chi({\mathrm{Lk}}(f))
=
2-2\sum_{k : {\textrm{odd}}}
\Bigl[
 \chi(\overline{A_k^+(\tilde{f})\cap I_{\varepsilon,\delta}})
-\chi(\overline{A_k^-(\tilde{f})\cap I_{\varepsilon,\delta}})
\Bigr]
=
2-\sum_{k : {\textrm{odd}}}
\Bigl[
\chi(\overline{A_k^+(\partial f)})
-\chi(\overline{A_k^-(\partial f)})
\Bigr].
$$
If $n$ is even and $p$ is odd, then:
\begin{align*}
\chi_c(B_\varepsilon^n \cap f^{-1}(S^{p-1}_\delta))
=&-\chi(B_{\varepsilon}^n \cap f^{-1}(S^{p-1}_\delta))
=-\frac{1}{2} \chi (S^{n-1}_\varepsilon\cap f^{-1}(S^{p-1}_\delta)),
\\
\chi_c (S^{n-1}_\varepsilon \cap f^{-1}(\overline{B^p_\delta}))
=&\chi(S^{n-1}_\varepsilon \cap f^{-1}(\overline{B^p_\delta}))
=\frac{1}{2}\chi(S^{n-1}_\varepsilon \cap f^{-1}(S^{p-1}_\delta)).
\end{align*}
So
$\chi_c(I_{\varepsilon,\delta})=\chi(B_{\varepsilon,\delta})=1$,
and:
$$
1-\sum_{k: {\textrm{odd}}}
\chi_c(A_k^+(\tilde{f})\cap I_{\varepsilon,\delta})
+\sum_{k: {\textrm{odd}}}
\chi_c(A_k^-(\tilde{f})\cap I_{\varepsilon,\delta})
=
\frac{1}{2} \chi ({\mathrm{Lk}}(f)),
$$
and then:
$$
\chi({\mathrm{Lk}}(f))
=
2-2 \left(
\sum_{k: {\textrm{odd}}}
\chi_c(A_k^+(\tilde{f})\cap I_{\varepsilon,\delta})
-\sum_{k: {\textrm{odd}}}
\chi_c(A_k^-(\tilde{f})\cap I_{\varepsilon,\delta})
\right).
$$
Here $\dim A_k^+(\tilde{f})=\dim A_k^-(\tilde{f})=p-k$ is even
when $k$ is odd. We have:
\begin{align*}
\chi(\overline{A_k^+(\tilde{f}) \cap I_{\varepsilon,\delta}})
=&
\chi_c(\overline{A_k^+(\tilde{f})\cap I_{\varepsilon,\delta}}) \\
=&
\chi_c(A_k^+(\tilde{f})\cap I_{\varepsilon,\delta})
+
\chi_c(\overline{A_{k+1}(\tilde{f})}\cap I_{\varepsilon,\delta})
+
\chi_c(\overline{A_k^+(\tilde{f})}\cap C_{\varepsilon,\delta}) \\
=&
\chi_c(A_k^+(\tilde{f}) \cap I_{\varepsilon,\delta})
+
\chi_c(\overline{A_{k+1}(\tilde{f})} \cap I_{\varepsilon,\delta})
+
\chi(\overline{A_k^+(\tilde{f})} \cap C_{\varepsilon,\delta})\\
=&
\chi_c(A_k^+(\tilde{f}) \cap I_{\varepsilon,\delta})
+
\chi_c(\overline{A_{k+1}(\tilde{f})} \cap I_{\varepsilon,\delta}).
\end{align*}
Hence:
$$
\chi(\overline{A_k^+(\tilde{f}) \cap I_{\varepsilon,\delta}})
-\chi(\overline{A_k^-(\tilde{f}) \cap I_{\varepsilon,\delta}})
=\chi_c(A_k^+(\tilde{f}) \cap I_{\varepsilon,\delta})
-\chi(A_k^-(\tilde{f}) \cap I_{\varepsilon,\delta}).
$$
\end{proof}

The same results hold in Case II) replacing $B^n_\varepsilon \cap f^{-1}(S_\varepsilon^{p-1})$ with
$f^{-1}(S_\varepsilon^{p-1})$, which is diffeomorphic to
$S_\varepsilon^{n-1}$,  $B_{\varepsilon,\delta}$ with $f^{-1}(\overline{B^p_\varepsilon})$, $I_{\varepsilon,\delta}$ with the topological interior of $f^{-1}(\overline{B^p_\varepsilon})$ and $\chi({\mathrm{Lk}}(f)))$ with $0$.

Now we work with map-germs from $(\mathbb{R}^n,0)$ to $(\mathbb{R}^n,0)$. Let $f : (\mathbb{R}^n,0) \rightarrow
(\mathbb{R}^n,0)$ be a map-germ such that $0$ is isolated in $f^{-1}(0)$. We assume that $f$ is generic in the sense of
Theorem 3 in \cite{Fukuda1981} : there exists a positive number $\varepsilon_0$ such that for any number $\varepsilon$ with
$0<\varepsilon \le \varepsilon_0$, we have:
\begin{enumerate}
\item $\tilde{S}^{n-1}_\varepsilon = f^{-1}(S_\varepsilon^{n-1})$ is a homotopy $(n-1)$-sphere which, if $n \not= 4,5$, is
diffeomorphic to the natural $(n-1)$-sphere $S^{n-1}$,
\item the restricted mapping $f_{\vert \tilde{S}_\varepsilon^{n-1}} : \tilde{S}_\varepsilon^{n-1} \rightarrow
S_\varepsilon^{n-1}$ is topological stable ($C^\infty$ stable if $(n,p)$ is a nice pair),
\item letting $\tilde{B}_\varepsilon^n=f^{-1}(\overline{B^n_\varepsilon})$, the restricted mapping $f_{\vert \tilde{B}^n_\varepsilon} :
\tilde{B}_\varepsilon^n \setminus \{0\} \rightarrow \overline{B_\varepsilon^n} \setminus \{0\}$ is proper, topologically stable
($C^\infty$ stable if $(n,p)$ is nice) and topologically equivalent ($C^\infty$ equivalent if $(n,p)$ is nice) to the product
mapping:
$$
(f_{\vert \tilde{S}^{n-1}_\varepsilon}) \times
      \mathop{\mathrm{Id}}\nolimits_{(0,\varepsilon)} : \tilde{S}_\varepsilon^{n-1} \times
      (0,\varepsilon)
\rightarrow S_\varepsilon^{n-1} \times (0,\varepsilon),
$$
defined by $(x,t) \mapsto (f(x),t)$,
\item consequently, $f_{\vert \tilde{B}^n_\varepsilon} : \tilde{B}^n_\varepsilon \rightarrow \overline{B^n_\varepsilon}$ is topologically equivalent
to the cone:
$$C(f_{\vert \tilde{S}_\varepsilon^{n-1}}) :  \tilde{S}_\varepsilon^{n-1} \times [0,\varepsilon) /
\tilde{S}_\varepsilon^{n-1} \times \{0\} \rightarrow  S_\varepsilon^{n-1} \times [0,\varepsilon) /
S_\varepsilon^{n-1} \times \{0\},$$
of the stable mapping $f_{\vert \tilde{S}_\varepsilon^{n-1}} : \tilde{S}_\varepsilon^{n-1} \rightarrow S_\varepsilon^{n-1}$
defined by $$C(f_{\vert \tilde{S}_\varepsilon^{n-1}}) (x,t)=(f(x),t).$$
\end{enumerate}
Note that in this case $\tilde{B}_\varepsilon=f^{-1}(\overline{B_\varepsilon^n})$ is a smooth manifold with boundary
$f^{-1}(S_\varepsilon^{n-1})$. This last manifold has the homotopy type of $S^{n-1}$.

We will keep the notations of the previous sections.
We denote by $\tilde{B}_\varepsilon$ the set $f^{-1}(\overline{B^n_\varepsilon})$, by $\tilde{I}_\varepsilon$ its
topological interior and by $\partial \tilde{B}_\varepsilon$ its
boundary. We denote by $\partial f$ the restricted mapping $f _{\vert
\partial \tilde{B}_\varepsilon} : \partial \tilde{B}_\varepsilon \to
S^{n-1}_\varepsilon$ and we assume that  it is a Morin mapping.

Let us consider a perturbation $\tilde{f}$ of $f$ such that
$\tilde{f}_{\vert \tilde{I}_\varepsilon}:
\tilde{I}_\varepsilon \rightarrow  B_\varepsilon^{n}$ is a Morin mapping
and $\tilde{f}=f$ in a neighborhood of $\partial
\tilde{B}_\varepsilon$.

The main
result is a local version of Corollary \ref{RMorin4}.
\begin{thm}\label{RThm6E}
We have:
$$
\deg_0 f =\sum_{k:{\textrm{even}}}
\Bigl[
\chi(\overline{A_k^+(\tilde{f}) \cap \tilde{I}_\varepsilon})
-\chi(\overline{A_k^-(\tilde{f}) \cap \tilde{I}_\varepsilon})
\Bigr],
$$
where $\deg_0 f$ is the local topological degree of $f$ at $0$.
\end{thm}
\begin{proof}
Using Corollary \ref{RMorin4}, we obtain:
$$
(\deg_0 f)(-1)^n =
\sum_{k : \textrm{even}} \chi_c (A_k^+(\tilde{f}) \cap \tilde{I}_\varepsilon) -
\chi_c (A_k^-(\tilde{f}) \cap \tilde{I}_\varepsilon).
$$
It remains to relate the Euler characteristics with compact support to the topological Euler characteristics. But, as in Theorem
\ref{RThm6D}, we have:
$$
\chi_c (A_k^+(\tilde{f}) \cap \tilde{I}_\varepsilon) -
\chi_c (A_k^-(\tilde{f}) \cap \tilde{I}_\varepsilon)=  (-1)^{n-k} \left(
\chi(\overline{A_k^+(\tilde{f}) \cap \tilde{I}_\varepsilon})-
\chi(\overline{A_k^-(\tilde{f}) \cap \tilde{I}_\varepsilon}) \right) .$$
\end{proof}

\begin{cor}
If $n$ is odd, we have:
$$
2\deg_0 f =
\sum_{k : \textrm{even}}
\Bigl[
 \chi(\overline{A_k^+(\partial f)})
-\chi(\overline{A_k^-(\partial f)})
\Bigr].
$$
\end{cor}

\begin{cor}
$$
\deg_0 f\equiv1+\sum_k \psi(\overline{A_k(\partial f)})+\# A_n(\tilde{f})
 \bmod 2.
$$
\end{cor}
\begin{proof}
 We have:
$$
1
=\chi(\tilde{B}_\varepsilon)
=\chi(\overline{A_0^+(\tilde{f})\cap \tilde{I}_\varepsilon})
+\chi(\overline{A_0^-(\tilde{f})\cap \tilde{I}_\varepsilon})
-\chi(\overline{A_1(\tilde{f}) \cap \tilde{I}_\varepsilon}),
$$
hence:
$$
\chi(\overline{A_0^+(\tilde{f})\cap\tilde{I}_\varepsilon})
-\chi(\overline{A_0^-(\tilde{f})\cap\tilde{I}_\varepsilon})
\equiv
1+\chi(\overline{A_1(\tilde{f})\cap\tilde{I}_\varepsilon})
\equiv
1 +\psi(\overline{A_1(\partial f)}) \bmod 2.
$$
Similarly, if $k$ is even and dim $A_k >0$, then:
$$
\chi(\overline{A_k^+(\tilde{f})\cap \tilde{I}_\varepsilon})
-\chi(\overline{A_k^-(\tilde{f})\cap \tilde{I}_\varepsilon})
\equiv
\chi(\overline{A_k(\tilde{f})\cap \tilde{I}_\varepsilon})
+\chi(\overline{A_{k+1}(\tilde{f})\cap \tilde{I}_\varepsilon})
\bmod 2.
$$
Thus we obtain that:
$$
\chi(\overline{A_k^+(\tilde{f})\cap \tilde{I}_\varepsilon})
-\chi(\overline{A_k^-(\tilde{f})\cap \tilde{I}_\varepsilon})
\equiv
\begin{cases}
\psi(\overline{A_k(\partial f)})
+\psi(\overline{A_{k+1}(\partial f)}) &
\textrm{if dim $A_k(\tilde{f})>1$}\\
\psi(\overline{A_k(\partial f)})+\# A_{k+1}(\tilde{f})
&
\textrm{if dim $A_k(\tilde{f})=1$}\\
\# A_k(\tilde{f})
&\textrm{if dim $A_k(\tilde{f})=0$}
\end{cases}
$$
modulo 2.
\end{proof}

If $n=2$, this gives:
$$
\deg_0 f \equiv 1+\frac{1}{2} b(C(f)) + \# A_2(\tilde{f}) \bmod 2,
$$
and we recover Theorem 2.1 of T.~Fukuda and
G.~Ishikawa \cite{FukudaIshikawa}.

If $n=3$, this gives:
$$
\deg_0 f\equiv1+\psi (C(f) \cap \partial \tilde{B}_\varepsilon) +
\frac{1}{2} b(C(f_{\vert C(f)})) + \# A_3(\tilde{f}) \bmod 2.
$$

\lsection{Complex maps}\label{ComplexMap}
We end with some remarks in the complex case.
Let $f:M\to N$ be a holomorphic map between complex manifolds $M$ and $N$.
We assume that $N$ is connected.
We assume that $f$ is locally infinitesimally stable in J.~Mather's
sense.

Let $c_\sigma$ denote the Euler characteristic of the local generic
fiber of the map-germ of singular type $\sigma$.
Let $\chi_f$ denote the Euler characteristics of the generic
fibers of $f$.
\begin{thm}
If a locally infinitesimally stable map $f:M\to N$
does not have singularities at infinity,
then
$$
\mathop{\textrm{\scriptsize $\mathop\sum$}}_{\sigma}c_\sigma\,\chi_c(M_\sigma(f))
=\chi_f\, \chi_c(N).
$$
\end{thm}
\begin{proof}
Apply Corollary \ref{Fubini3}.
\end{proof}
\begin{cor}\label{CMorin}
If a Morin map $f:M\to N$ is locally trivial at infinity, then:
$$
\chi_c(M)+(-1)^{m-n}\mathop{\textrm{\scriptsize $\mathop\sum$}}_{k=1}^{n}\chi_c(\overline{A_k(f)})
=\chi_f\, \chi_c(N)
$$
where $m$ denotes the complex dimension of $M$
and $n$ denotes the complex dimension of $N$.
\end{cor}
We should remark that this formula was firstly formulated by Y.~Yomdin
(see \cite{Yomdin83}).
Note also that when $m=n$, then $\chi_f$ is also the topological degree of $f$.

Let $f=(f_1,f_2):(\BB{C}^2,0)\to(\BB{C}^2,0)$ be a holomorphic map-germ
with $c(f)<\infty$ where:
$$
c(f)=\dim_{\BB{C}}\mathcal O_2\bigg/I_2
\begin{pmatrix}
\pd{f_1}{x_1}&\pd{f_2}{x_1}&\pd{J}{x_1}\\
\pd{f_1}{x_2}&\pd{f_2}{x_2}&\pd{J}{x_2}
\end{pmatrix},
\qquad
J=
\begin{vmatrix}
\pd{f_1}{x_1}&\pd{f_2}{x_1}\\
\pd{f_1}{x_2}&\pd{f_2}{x_2}
\end{vmatrix}.
$$
\begin{cor}[{\cite[(1.8)]{GaffneyMond}}]
Let $f,g:(\BB{C}^2,0)\to(\BB{C}^2,0)$ be holomorphic map-germs with
 $c(f)<\infty$, $c(g)<\infty$.
Let $f_t$, $g_t$ denote stable perturbations of $f$, $g$.
If $f$ and $g$ are topologically right-left equivalent, then
$\#A_2(f_t)=\#A_2(g_t)$.
\end{cor}
\begin{proof}
Since the critical set
can be characterized topologically,
$(\BB{C}^2,\Sigma(f),0)$ and $(\BB{C}^2,\Sigma(g),0)$ are
topologically equivalent,
and they have the same Milnor number.
Thus their smoothings have the same Euler characteristic and
$\chi(\overline{A_1(f_t)})=\chi(\overline{A_1(g_t)})$.
By Corollary \ref{CMorin}, we have:
\begin{align*}
1+\chi_c(\overline{A_1(f_t)})+\#A_2(f_t)=&\deg_0 f,\\
1+\chi_c(\overline{A_1(g_t)})+\#A_2(g_t)=&\deg_0 g,
\end{align*}
and, since $\deg_0 f=\deg_0 g$, we conclude the result.
\end{proof}

\begin{rem}
Consider the map germ $f=(f_1,f_2):(\BB{C}^n,0)\to(\BB{C}^2,0)$, $n>2$.
Take a stable perturbation $f_t$ of $f$.
We have:
\begin{equation}\label{eqCM}
\chi_c(\overline{A_1(f_t)})+\#A_2(f_t)=(-1)^n(\chi_f-1).
\end{equation}
Consider the map
$F:(\BB{C}^n,0)\times(\BB{C},0)\to(\BB{C}^2,0)\times(\BB{C},0)$
defined by $F(x,t)=(f_t(x),t)$.
Since $\overline{A_1(F)}$ is determinantal,
it is Cohen-Macaulay.
So the map
$\overline{A_1(F)}\to(\BB{C},0)$, $(x,t)\mapsto t$, is flat.
So $\overline{A_1(f_t)}$ is a smoothing of $\overline{A_1(f)}$ and
its Euler characteristic is described by the Milnor number of
$\overline{A_1(f)}$:
$\chi_c(\overline{A_1(f_t)})=1-\mu(\overline{A_1(f)})$,
and we conclude that
$\mu(\overline{A_1(f)})$ and $\chi_f$ determine $\#(A_2(f_t))$.
Now we assume that $f$ is $\mathcal A$-finite.
Then, we have:
\begin{align*}
1-\mu(\overline{A_1(f)})=\chi_c(\overline{A_1(f_t)})
=&\chi_c(f_t(\overline{A_1(f_t)}))+d(f_t)\\
=&1-\mu(f(\overline{A_1(f)}))+2\#(A_2(f_t))+2d(f_t),
\end{align*}
where $d(f_t)$ denotes the number of double fold ($A_{1,1}$)
points of $f_t$ nearby $0$.
Combining this with \eqref{eqCM}, we obtain:
$$
3\#A_2(f_t)+2d(f_t)=\mu(f(\overline{A_1}(f)))-1+(-1)^n(\chi_f-1).
$$
We conclude that
$3\#A_2(f_t)+2d(f_t)$ (and thus $\#A_2(f_t)\bmod 2$)
is a topological invariant of $f$.
\end{rem}
\begin{rem}
Consider a map germ
$f:(\BB{C}^3,0)\to(\BB{C}^3,0)$, $x\mapsto y=f(x)$.
Take a stable perturbation $f_t$ of $f$. Then we obtain:
$$
1+\chi_c(\overline{A_1(f_t)})+\chi_c (\overline{A_2(f_t)})+\#A_3(f_t)
=\deg f.
$$
Consider the map
$F:(\BB{C}^3,0)\times(\BB{C},0)\to(\BB{C}^3,0)\times(\BB{C},0)$
defined by $F(x,t)=(f_t(x),t)$.
Since $\overline{A_2(F)}$ is determinantal, it is Cohen-Macaulay.
We obtain that the map
$\overline{A_2(F)}\to(\BB{C},0)$, $(x,t)\mapsto t$, is flat.
So $\overline{A_2(f_t)}$ is a smoothing of $\overline{A_2(f)}$ and
its Euler characteristic $\chi_c(\overline{A_2(f_t)})$
is described by Milnor number of $\overline{A_2(f)}$
when $\overline{A_2(f)}$ has an isolated singularity at $0$.
This means $\#(A_3(f_t))$ is determined by $\mu(\overline{A_1(f)})$,
$\mu(\overline{A_2(f)})$ and $\deg f$:
$$
\#(A_3(f_t))=\deg f-\mu(\overline{A_1(f)})+\mu(\overline{A_2(f)})-3,
$$
when $\overline{A_1(f)}$ and $\overline{A_2(f)}$
have isolated singularities at $0$.
\end{rem}
\begin{rem}
Consider a map germ $f:(\BB{C}^n,0)\to(\BB{C}^3,0)$, $n>3$.
Take a stable perturbation $f_t$ of $f$. Then we obtain:
$$
\chi_c(\overline{A_1(f_t)})+\chi_c (\overline{A_2(f_t)})+\#A_3(f_t)
=(-1)^n(1-\chi_f).
$$
Consider the map
$F:(\BB{C}^n,0)\times(\BB{C},0)\to(\BB{C}^3,0)\times(\BB{C},0)$
defined by $F(x,t)=(f_t(x),t)$.
Since $\overline{A_1(F)}$ is determinantal, it is Cohen-Macaulay.
We obtain that the map
$\overline{A_1(F)}\to(\BB{C},0)$, $(x,t)\mapsto t$, is flat,
and $\overline{A_1(f_t)}$ is a smoothing, which is determinantal.
So the topology of $\overline{A_1(f_t)}$ is determined by
 $\overline{A_1(f)}$ when $\overline{A_1(f)}$ has isolated singularity
 at $0$.
By Theorem 2.9 in \cite{Fukui-Weyman},
$\overline{A_2(F)}$ is Cohen-Macaulay if and only if $n=4,5$.
We thus obtain that the map
$\overline{A_2(F)}\to(\BB{C},0)$, $(x,t)\mapsto t$, is flat,
if only if $n=4,5$.
Assume that $n=4,5$. Then
$\overline{A_2(f_t)}$ is a smoothing of $\overline{A_2(f)}$ and
its Euler characteristic $\chi_c(\overline{A_2(f_t)})$
is described by the Milnor number of $\overline{A_2(f)}$:
$\chi_c(\overline{A_2(f_t)})=1-\mu(\overline{A_2(f)})$.
This means $\#(A_3(f_t))$ is determined by $\mu(\overline{A_1(f)})$,
$\mu(\overline{A_2(f)})$ and $\chi_f$.
When $n\ge6$, we do not know whether
$\chi_c(\overline{A_2(f_t)})=1-\mu(\overline{A_2(f)})$
holds or not.
\end{rem}
The following example also shows that the reduced structure
of singularities locus may not fit the context of deformation of maps.
\begin{exam}
Let us consider the image of the map $g:\BB{C}\to\BB{C}$ defined by
$s\mapsto(s^3,s^4,s^5)$, which Milnor number $\mu$ is 4.
The defining ideal is:
$$
I_0=\langle xz-y^2,\ yz-x^3,\ x^2y-z^2\rangle.
$$
We know it defines a Cohen-Macaulay space. Consider the map:
$$
G:(\BB{C}^2,0)\to(\BB{C}^4,0)\quad
\textrm{defined by}\quad (s,t)\mapsto(x,y,z,t)
=(st+s^3,s^4,s^5,t).
$$
Remark that $g_0(s)=g(s)$ where $G(s,t)=(g_t(s),t)$.
The image of $g_t$, $t\ne0$, is nonsingular,
and its Euler characteristic is 1, which is not $1-\mu$.
Let us see what happens in this example.
Eliminating $s$ from the ideal generated by:
$$
x-st-s^3,\ y-s^4,\ z-s^5,
$$
we obtain the ideal:
\begin{multline*}
I=\langle
z^2-x^2y+ty^2+txz,
xy^2-x^2z+tyz+t^2xy-t^3z,
y^3-xyz+tx^2y-t^2y^2+t^2xz,\\
xyz+tz^2-x^4+2tx^2y+2t^2xz+t^4y,
y^2z-xz^2+tx^2z-2t^2yz-t^3xy+t^4z
\rangle
\end{multline*}
of $\BB{C}\{x,y,z,t\}$.
We remark that the variety $X$ defined by the ideal $I$ is not Cohen-Macaulay.
We also remark that this defines a reduced space, but the fiber
 $\pi^{-1}(0)$,
where $\pi:X\to\BB{C}$ is the projection  $\pi(x,y,z,t)=t$,
is not reduced, since
$$
\BB{C}\{x,y,z,t\}/I\otimes_{\BB{C}}\BB{C}\{t\}/\langle t\rangle
\simeq
\BB{C}\{x,y,z\}/I_0\cap\langle x,\ y^3,\ y^2z,\ z^2\rangle.
$$
\end{exam}