A Jacobian module for disentanglements and applications to Mond's conjecture

Given a germ of holomorphic map $f$ from $\mathbb C^n$ to $\mathbb C^{n+1}$, we define a module $M(f)$ whose dimension over $\mathbb C$ is an upper bound for the $\mathscr A$-codimension of $f$, with equality if $f$ is weighted homogeneous. We also define a relative version $M_y(F)$ of the module, for unfoldings $F$ of $f$. The main result is that if $(n,n+1)$ are nice dimensions, then the dimension of $M(f)$ over $\mathbb C$ is an upper bound of the image Milnor number of $f$, with equality if and only if the relative module $M_y(F)$ is Cohen-Macaulay for some stable unfolding $F$. In particular, if $M_y(F)$ is Cohen-Macaulay, then we have Mond's conjecture for $f$. Furthermore, if $f$ is quasi-homogeneous, then Mond's conjecture for $f$ is equivalent to the fact that $M_y(F)$ is Cohen-Macaulay. Finally, we observe that to prove Mond's conjecture, it suffices to prove it in a suitable family of examples.Comment: 19 page

A jacobian module for disentanglements and applications to Mond's conjecture

Let $f:(\mathbb C^n,S)\to (\mathbb C^{n+1},0)$ be a germ whose image is given by $g=0$. We define an $\mathcal O_{n+1}$-module $M(g)$ with the property that $\mathscr A_e$-$\operatorname{codim}(f)\le \dim_\mathbb C M(g)$, with equality if $f$ is weighted homogeneous. We also define a relative version $M_y(G)$ for unfoldings $F$, in such a way that $M_y(G)$ specialises to $M(g)$ when $G$ specialises to $g$. The main result is that if $(n,n+1)$ are nice dimensions, then $\dim_\mathbb C M(g)\ge \mu_I(f)$, with equality if and only if $M_y(G)$ is Cohen-Macaulay, for some stable unfolding $F$. Here, $\mu_I(f)$ denotes the image Milnor number of $f$, so that if $M_y(G)$ is Cohen-Macaulay, then Mond's conjecture holds for $f$; furthermore, if $f$ is weighted homogeneous, Mond's conjecture for $f$ is equivalent to the fact that $M_y(G)$ is Cohen-Macaulay. Finally, we observe that to prove Mond's conjecture, it is enough to prove it in a suitable family of examples.Bolsa Pesquisador Visitante Especial (PVE) - Ciˆencias sem Fronteiras/CNPq Project number: 401947/2013-0 DGICYT Grant MTM2015–64013–P CNPq Project number 401947/2013-

A Jacobian module for disentanglements and applications to Mond's conjecture

[TBA

A jacobian module for disentanglements and applications to Mond's conjecture

Let $f:(\mathbb C^n,S)\to (\mathbb C^{n+1},0)$ be a germ whose image is given by $g=0$. We define an $\mathcal O_{n+1}$-module $M(g)$ with the property that $\mathscr A_e$-$\operatorname{codim}(f)\le \dim_\mathbb C M(g)$, with equality if $f$ is weighted homogeneous. We also define a relative version $M_y(G)$ for unfoldings $F$, in such a way that $M_y(G)$ specialises to $M(g)$ when $G$ specialises to $g$. The main result is that if $(n,n+1)$ are nice dimensions, then $\dim_\mathbb C M(g)\ge \mu_I(f)$, with equality if and only if $M_y(G)$ is Cohen-Macaulay, for some stable unfolding $F$. Here, $\mu_I(f)$ denotes the image Milnor number of $f$, so that if $M_y(G)$ is Cohen-Macaulay, then Mond's conjecture holds for $f$; furthermore, if $f$ is weighted homogeneous, Mond's conjecture for $f$ is equivalent to the fact that $M_y(G)$ is Cohen-Macaulay. Finally, we observe that to prove Mond's conjecture, it is enough to prove it in a suitable family of examples.Bolsa Pesquisador Visitante Especial (PVE) - Ciˆencias sem Fronteiras/CNPq Project number: 401947/2013-0 DGICYT Grant MTM2015–64013–P CNPq Project number 401947/2013-