Showing 1–25 of 25 results for author: Nuño-Ballesteros, J J

Counting $D_4$ singularities in the image of a wave front

Authors: C. Muñoz-Cabello, J. J. Nuño-Ballesteros, R. Oset Sinha

Abstract: We give a formula to count the number of $D_4$ singularities in a stable frontal perturbation of a corank $2$ wave front singularity $f\colon (\mathbb{C}^3,0) \to (\mathbb{C}^4,0)$ using Mond's method of stable perturbations of map germs. For a generic germ of corank $2$ wave front $f\colon (\mathbb{C}^3,S) \to (\mathbb{C}^4,0)$, the image of a stable deformation $f_t$ of $f$ exhibits $A_k$ singul… ▽ More We give a formula to count the number of $D_4$ singularities in a stable frontal perturbation of a corank $2$ wave front singularity $f\colon (\mathbb{C}^3,0) \to (\mathbb{C}^4,0)$ using Mond's method of stable perturbations of map germs. For a generic germ of corank $2$ wave front $f\colon (\mathbb{C}^3,S) \to (\mathbb{C}^4,0)$, the image of a stable deformation $f_t$ of $f$ exhibits $A_k$ singularities with $k \leq 4$, their transverse intersections and the aforementioned $D_4$ singularities for $0 < |t| \ll 1$. By interpreting the image of $f_t$ as the discriminant (the image of the critical point set) of a smooth map germ $H_t\colon (\mathbb{C}^5,0) \to (\mathbb{C}^4,0)$, we define an algebra whose dimension over $\mathbb{C}$ is equal to the number of $D_4$ points in the image of $f_t$. △ Less

Submitted 12 May, 2025; originally announced May 2025.

Comments: 12 pages, 3 figures

MSC Class: Primary 32S30; Secondary 32S25; 58K60

The Bruce-Roberts Numbers of 1-Forms on an ICIS

Authors: Bárbara K. Lima-Pereira, Juan José Nuño-Ballesteros, Bruna Oréfice-Okamoto, João Nivaldo Tomazella

Abstract: We relate the Bruce-Roberts numbers of a 1-form with respect to an ICIS to other invariants as the GSV-index, Tjurina and Milnor numbers. We relate the Bruce-Roberts numbers of a 1-form with respect to an ICIS to other invariants as the GSV-index, Tjurina and Milnor numbers. △ Less

Submitted 12 September, 2024; originally announced September 2024.

MSC Class: 32S25; 58K40; 32S50

A proof of the Mond conjecture for wave fronts

Authors: C. Muñoz-Cabello, J. J. Nuño-Ballesteros, R. Oset Sinha

Abstract: We prove the Mond conjecture for wave fronts which states that the number of parameters of a frontal versal unfolding is less than or equal to the number of spheres in the image of a stable frontal deformation with equality if the wave front is weighted homogeneous. We give two different proofs. The first one depends on the fact that wave fronts are related to discriminants of map germs and we the… ▽ More We prove the Mond conjecture for wave fronts which states that the number of parameters of a frontal versal unfolding is less than or equal to the number of spheres in the image of a stable frontal deformation with equality if the wave front is weighted homogeneous. We give two different proofs. The first one depends on the fact that wave fronts are related to discriminants of map germs and we then use the analogous result proved by Damon and Mond in this context. The second one is based on ideas by Fernández de Bobadilla, Nuño-Ballesteros and Peñafort Sanchis and by Nuño-Ballesteros and Fernández-Hernández. The advantage of the second approach is that most results are valid for any frontal, not only wave fronts, and thus give important tools which may be useful to prove the conjecture for frontals in general. △ Less

Submitted 23 July, 2024; originally announced July 2024.

Comments: 21 pages, 4 figures

MSC Class: Primary 32S30; Secondary 32S25; 58K60

On the analytic structure of double and triple points in the target of finite holomorphic multi-germs

Authors: Juan J. Nuño-Ballesteros, Guillermo Peñafort Sanchis, Cinzia Villa

Abstract: We study the analytic structure of the double and triple point spaces $M_2(f)$ and $M_3(f)$ of finite multi-germs $f\colon (X,S)\to(\mathbb{C}^{n+1},0)$, based on results of Mond and Pellikaan for the mono-germ case. We show that these spaces are Cohen-Macaulay, provided that certain dimensional conditions are satisfied, and give explicit expressions for their defining ideals in terms of those of… ▽ More We study the analytic structure of the double and triple point spaces $M_2(f)$ and $M_3(f)$ of finite multi-germs $f\colon (X,S)\to(\mathbb{C}^{n+1},0)$, based on results of Mond and Pellikaan for the mono-germ case. We show that these spaces are Cohen-Macaulay, provided that certain dimensional conditions are satisfied, and give explicit expressions for their defining ideals in terms of those of their mono-germ branches. △ Less

Submitted 21 May, 2024; originally announced May 2024.

Comments: 16 pages

MSC Class: 32S25; 14J17; 58K20; 14B05; 13C14

Disentangling mappings defined on ICIS

Authors: Alberto Fernández-Hernández, Juan J. Nuño-Ballesteros

Abstract: We study germs of hypersurfaces $(Y,0)\subset (\mathbb C^{n+1},0)$ that can be described as the image of $\mathscr A$-finite mappings $f:(X,S)\rightarrow (\mathbb C^{n+1},0)$ defined on an ICIS $(X,S)$ of dimension $n$. We extend the definition of the Jacobian module given by Fernández de Bobadilla, Nuño-Ballesteros and Peñafort-Sanchis when $X=\mathbb C^n$, which controls the image Milnor number… ▽ More We study germs of hypersurfaces $(Y,0)\subset (\mathbb C^{n+1},0)$ that can be described as the image of $\mathscr A$-finite mappings $f:(X,S)\rightarrow (\mathbb C^{n+1},0)$ defined on an ICIS $(X,S)$ of dimension $n$. We extend the definition of the Jacobian module given by Fernández de Bobadilla, Nuño-Ballesteros and Peñafort-Sanchis when $X=\mathbb C^n$, which controls the image Milnor number $μ_I(X,f)$. We apply these results to prove the case $n=2$ of the generalised Mond conjecture, which states that $μ_I(X,f)\geq codim_{\mathscr A_e} (X,f)$, with equality if $(Y,0)$ is weighted homogeneous. △ Less

Submitted 28 September, 2023; originally announced September 2023.

Comments: 19 pages

MSC Class: Primary 58K15; Secondary 32S30; 58K40

On invariants of a map germ from n-space to 2n-space

Authors: Juan José Nuño-Ballesteros, Otoniel Nogueira da Silva, João Nivaldo Tomazella

Abstract: We consider $\mathcal{A}$-finite map germs $f$ from $(\mathbb{C}^n,0)$ to $(\mathbb{C}^{2n},0)$. First, we show that the number of double points that appears in a stabilization of $f$, denoted by $d(f)$, can be calculated as the length of the local ring of the double point set $D^2(f)$ of $f$, given by the Mond's ideal. In the case where $n\leq 3$ and $f$ is quasihomogeneous, we also present a for… ▽ More We consider $\mathcal{A}$-finite map germs $f$ from $(\mathbb{C}^n,0)$ to $(\mathbb{C}^{2n},0)$. First, we show that the number of double points that appears in a stabilization of $f$, denoted by $d(f)$, can be calculated as the length of the local ring of the double point set $D^2(f)$ of $f$, given by the Mond's ideal. In the case where $n\leq 3$ and $f$ is quasihomogeneous, we also present a formula to calculate $d(f)$ in terms of the weights and degrees of $f$. Finally, we consider an unfolding $F(x,t) = (f_t(x),t)$ of $f$ and we find a set of invariants whose constancy in the family $f_t$ is equivalent to the Whitney equisingularity of $F$. As an application, we present a formula to calculate the Euler obstruction of the image of $f$. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Deformations of corank $1$ frontals

Authors: C. Muñoz-Cabello, J. J. Nuño-Ballesteros, R. Oset Sinha

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 o… ▽ More 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$. △ Less

Submitted 27 February, 2023; originally announced February 2023.

Comments: 25 pages

MSC Class: 32S30 (Primary) 32S25; 58K25 (Secondary)

A weak version of Mond's conjecture

Authors: R. Giménez Conejero, J. J. Nuño-Ballesteros

Abstract: We prove that a map germ $f:(\mathbb{C}^n,S)\to(\mathbb{C}^{n+1},0)$ with isolated instability is stable if and only if $μ_I(f)=0$, where $μ_I(f)$ is the image Milnor number defined by Mond. In a previous paper we proved this result with the additional assumption that $f$ has corank one. The proof here is also valid for corank $\ge 2$, provided that $(n,n+1)$ are nice dimensions in Mather's sense… ▽ More We prove that a map germ $f:(\mathbb{C}^n,S)\to(\mathbb{C}^{n+1},0)$ with isolated instability is stable if and only if $μ_I(f)=0$, where $μ_I(f)$ is the image Milnor number defined by Mond. In a previous paper we proved this result with the additional assumption that $f$ has corank one. The proof here is also valid for corank $\ge 2$, provided that $(n,n+1)$ are nice dimensions in Mather's sense (so $μ_I(f)$ is well defined). Our result can be seen as a weak version of a conjecture by Mond, which says that the $\mathcal{A}_e$-codimension of $f$ is $\le μ_I(f)$, with equality if $f$ is weighted homogeneous. As an application, we deduce that the bifurcation set of a versal unfolding of $f$ is a hypersurface. △ Less

Submitted 4 July, 2022; originally announced July 2022.

Comments: 18 pages, 5 figures

MSC Class: 58K15 (Primary); 32S30; 58K40 (Secondary)

Singularities of Frontal Surfaces

Authors: C. Muñoz-Cabello, J. J. Nuño-Ballesteros, R. Oset Sinha

Abstract: We consider singularities of frontal surfaces of corank one and finite frontal codimension. We look at the classification under left-right-equivalence and introduce the notion of frontalisation for singularities of fold type. We define the cuspidal and the transverse double point curves and prove that the frontal has finite codimension if and only if both curves are reduced. Finally, we also discu… ▽ More We consider singularities of frontal surfaces of corank one and finite frontal codimension. We look at the classification under left-right-equivalence and introduce the notion of frontalisation for singularities of fold type. We define the cuspidal and the transverse double point curves and prove that the frontal has finite codimension if and only if both curves are reduced. Finally, we also discuss about the frontal versions of the Marar-Mond formulas and the Mond's conjecture. △ Less

Submitted 4 May, 2022; originally announced May 2022.

Comments: 22 pages, 16 figures

MSC Class: 32S30 (Primary) 32S25; 58S25 (Secondary)

The Bruce-Roberts Numbers of a Function on an ICIS

Authors: Bárbara K. Lima-Pereira, Juan José Nuño-Ballesteros, Bruna Oréfice-Okamoto, João Nivaldo Tomazella

Abstract: We give formulas for the Bruce-Roberts number $μ_{BR}(f,X)$ and its relative version $μ_{BR}^{-}(f,X)$ of a function $f$ with respect to an ICIS $(X,0)$. We show that $μ_{BR}^{-}(f,X)=μ(f^{-1}(0)\cap X,0)+μ(X,0)-τ(X,0)$, where $μ$ and $τ$ are the Milnor and Tjurina numbers, respectively, of the ICIS. The formula for $μ_{BR}(f,X)$ is more complicated and also involves $μ(f)$ and some lengths in ter… ▽ More We give formulas for the Bruce-Roberts number $μ_{BR}(f,X)$ and its relative version $μ_{BR}^{-}(f,X)$ of a function $f$ with respect to an ICIS $(X,0)$. We show that $μ_{BR}^{-}(f,X)=μ(f^{-1}(0)\cap X,0)+μ(X,0)-τ(X,0)$, where $μ$ and $τ$ are the Milnor and Tjurina numbers, respectively, of the ICIS. The formula for $μ_{BR}(f,X)$ is more complicated and also involves $μ(f)$ and some lengths in terms of the ideals $I_X$ and $Jf$. We also consider the logarithmic characteristic variety, $LC(X)$, and its relative version, $LC(X)^{-}$. We show that $LC(X)^{-}$ is Cohen-Macaulay and that $LC(X)$ is Cohen-Macaulay at any point not in $X\times\{0\}$. We generalize previous results presented by the authors when $(X,0)$ has codimension one and by Bruce and Roberts when it is weighted homogeneous of any codimension. △ Less

Submitted 21 March, 2022; originally announced March 2022.

MSC Class: 32S25; 58K40; 32S50

Singularities of mappings on ICIS and applications to Whitney equisingularity

Authors: R. Giménez Conejero, J. J. Nuño-Ballesteros

Abstract: We study germs of analytic maps $f:(X,S)\rightarrow(\mathbb{C}^p,0)$, when $X$ is an ICIS of dimension $n<p$. We define an image Milnor number, generalizing Mond's definition, $μ_I(X,f)$ and give results known for the smooth case such as the conservation of this quantity by deformations. We also use this to characterise the Whitney equisingularity of families of corank one map germs… ▽ More We study germs of analytic maps $f:(X,S)\rightarrow(\mathbb{C}^p,0)$, when $X$ is an ICIS of dimension $n<p$. We define an image Milnor number, generalizing Mond's definition, $μ_I(X,f)$ and give results known for the smooth case such as the conservation of this quantity by deformations. We also use this to characterise the Whitney equisingularity of families of corank one map germs $f_t\colon(\mathbb{C}^n,S)\to(\mathbb{C}^{n+1},0)$ with isolated instabilities in terms of the constancy of the $μ_I^*$-sequences of $f_t$ and the projections $π\colon D^2(f_t)\to\mathbb{C}^n$, where $D^2(f_t)$ is the ICIS given by double point space of $f_t$ in $\mathbb{C}^n\times\mathbb{C}^n$. The $μ_I^*$-sequence of a map germ consist of the image Milnor number of the map germ and all its successive transverse slices. △ Less

Submitted 12 June, 2024; v1 submitted 2 August, 2021; originally announced August 2021.

MSC Class: 58K15 (Primary) 32S30; 58K40 (Secondary)

The relative Bruce-Roberts number of a function on a hypersurface

Authors: Barbara K. Lima-Pereira, Juan Jose Nuno-Ballesteros, Bruna Orefice-Okamoto, Joao N. Tomazella

Abstract: We consider the relative Bruce-Roberts number $μ_{BR}^{-}(f,X)$ of a function on an isolated hypersurface singularity $(X,0)$. We show that $μ_{BR}^{-}(f,X)$ is equal to the sum of the Milnor number of the fibre $μ(f^{-1}(0)\cap X,0)$ plus the difference $μ(X,0)-τ(X,0)$ between the Milnor and the Tjurina numbers of $(X,0)$. As an application, we show that the usual Bruce-Roberts number… ▽ More We consider the relative Bruce-Roberts number $μ_{BR}^{-}(f,X)$ of a function on an isolated hypersurface singularity $(X,0)$. We show that $μ_{BR}^{-}(f,X)$ is equal to the sum of the Milnor number of the fibre $μ(f^{-1}(0)\cap X,0)$ plus the difference $μ(X,0)-τ(X,0)$ between the Milnor and the Tjurina numbers of $(X,0)$. As an application, we show that the usual Bruce-Roberts number $μ_{BR}(f,X)$ is equal to $μ(f)+μ_{BR}^{-}(f,X)$. We also deduce that the relative logarithmic characteristic variety $LC(X)^-$, obtained from the logarithmic characteristic variety $LC(X)$ by eliminating the component corresponding to the complement of $X$ in the ambient space, is Cohen-Macaulay. △ Less

Submitted 15 April, 2021; originally announced April 2021.

MSC Class: 32S25

Thom condition and Monodromy

Authors: R. Giménez Conejero, Lê Dũng Tráng, J. J. Nuño-Ballesteros

Abstract: We give the definition of the Thom condition and we show that given any germ of complex analytic function $f:(X,x)\to(\mathbb{C},0)$ on a complex analytic space $X$, there exists a geometric local monodromy without fixed points, provided that $f\in\mathfrak m_{X,x}^2$, where $\mathfrak m_{X,x}$ is the maximal ideal of $\mathcal O_{X,x}$. This result generalizes a well-known theorem of the second n… ▽ More We give the definition of the Thom condition and we show that given any germ of complex analytic function $f:(X,x)\to(\mathbb{C},0)$ on a complex analytic space $X$, there exists a geometric local monodromy without fixed points, provided that $f\in\mathfrak m_{X,x}^2$, where $\mathfrak m_{X,x}$ is the maximal ideal of $\mathcal O_{X,x}$. This result generalizes a well-known theorem of the second named author when $X$ is smooth and proves a statement by Tibar in his PhD thesis. It also implies the A'Campo theorem that the Lefschetz number of the monodromy is equal to zero. Moreover, we give an application to the case that $X$ has maximal rectified homotopical depth at $x$ and show that a family of such functions with isolated critical points and constant total Milnor number has no coalescing of singularities. △ Less

Submitted 22 March, 2024; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: 25 pages, 6 figures

MSC Class: 32S40 (Primary) 32S50; 32S55 (Secondary)

Families of ICIS with constant total Milnor number

Authors: Rafaela Soares de Carvalho, Juan José Nuño-Ballesteros, Bruna Oréfice-Okamoto, João Nivaldo Tomazella

Abstract: We show that a family of isolated complete intersection singularities (ICIS) with constant total Milnor number has no coalescence of singularities. This extends a well known result of Gabrielov, Lazzeri and Lê for hypersurfaces. We use A'Campo's theorem to see that the Lefschetz number of the generic monodromy of the ICIS is zero when the ICIS is singular. We give a pair applications for families… ▽ More We show that a family of isolated complete intersection singularities (ICIS) with constant total Milnor number has no coalescence of singularities. This extends a well known result of Gabrielov, Lazzeri and Lê for hypersurfaces. We use A'Campo's theorem to see that the Lefschetz number of the generic monodromy of the ICIS is zero when the ICIS is singular. We give a pair applications for families of functions on ICIS which extend also some known results for functions on a smooth variety. △ Less

Submitted 15 April, 2021; v1 submitted 12 March, 2021; originally announced March 2021.

Equisingularity of families of functions on isolated determinantal singularities

Authors: Rafaela S. Carvalho, Juan J. Nuño-Ballesteros, Bruna Oréfice-Okamoto, João N. Tomazella

Abstract: We study the equisingularity of a family of function germs $\{f_t\colon(X_t,0)\to (\mathbb{C},0)\}$, where $(X_t,0)$ are $d$-dimensional isolated determinantal singularities. We define the $(d-1)$th polar multiplicity of the fibers $X_t\cap f_t^{-1}(0)$ and we show how the constancy of the polar multiplicities is related to the constancy of the Milnor number of $f_t$ and the Whitney equisingularit… ▽ More We study the equisingularity of a family of function germs $\{f_t\colon(X_t,0)\to (\mathbb{C},0)\}$, where $(X_t,0)$ are $d$-dimensional isolated determinantal singularities. We define the $(d-1)$th polar multiplicity of the fibers $X_t\cap f_t^{-1}(0)$ and we show how the constancy of the polar multiplicities is related to the constancy of the Milnor number of $f_t$ and the Whitney equisingularity of the family. △ Less

Submitted 9 May, 2020; originally announced May 2020.

MSC Class: 32S15; 32S30; 58K60

The image Milnor number and excellent unfoldings

Authors: R. Giménez Conejero, J. J. Nuño-Ballesteros

Abstract: We show three basic properties on the image Milnor number $μ_I(f)$ of a germ $f\colon(\mathbb{C}^{n},S)\rightarrow(\mathbb{C}^{n+1},0)$ with isolated instability. First, we show the conservation of the image Milnor number, from which one can deduce the upper semi-continuity and the topological invariance for families. Second, we prove the weak Mond's conjecture, which says that $μ_I(f)=0$ if and o… ▽ More We show three basic properties on the image Milnor number $μ_I(f)$ of a germ $f\colon(\mathbb{C}^{n},S)\rightarrow(\mathbb{C}^{n+1},0)$ with isolated instability. First, we show the conservation of the image Milnor number, from which one can deduce the upper semi-continuity and the topological invariance for families. Second, we prove the weak Mond's conjecture, which says that $μ_I(f)=0$ if and only if $f$ is stable. Finally, we show a conjecture by Houston that any family $f_t\colon(\mathbb{C}^{n},S)\rightarrow(\mathbb{C}^{n+1},0)$ with $μ_I(f_t)$ constant is excellent in Gaffney's sense. By technical reasons, in the two last properties we consider only the corank 1 case. △ Less

Submitted 1 July, 2021; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: Change in note after Theorem 3.9, a previous version was published in Quart. J. Math by error

MSC Class: Primary 58K15; Secondary 32S30; 58K40

The Bruce-Roberts number of a function on a hypersurface with isolated singularity

Authors: Juan J. Nuño-Ballesteros, Bruna Oréfice-Okamoto, Bárbara K. L. Pereira, João N. Tomazella

Abstract: Let $(X,0)$ be an isolated hypersurface singularity defined by $φ\colon(\mathbb C^n,0)\to(\mathbb C,0)$ and $f\colon(\mathbb C^n,0)\to\mathbb C$ such that the Bruce-Roberts number $μ_{BR}(f,X)$ is finite. We first prove that $μ_{BR}(f,X)=μ(f)+μ(φ,f)+μ(X,0)-τ(X,0)$, where $μ$ and $τ$ are the Milnor and Tjurina numbers respectively of a function or an isolated complete intersection singularity. Seco… ▽ More Let $(X,0)$ be an isolated hypersurface singularity defined by $φ\colon(\mathbb C^n,0)\to(\mathbb C,0)$ and $f\colon(\mathbb C^n,0)\to\mathbb C$ such that the Bruce-Roberts number $μ_{BR}(f,X)$ is finite. We first prove that $μ_{BR}(f,X)=μ(f)+μ(φ,f)+μ(X,0)-τ(X,0)$, where $μ$ and $τ$ are the Milnor and Tjurina numbers respectively of a function or an isolated complete intersection singularity. Second, we show that the logarithmic characteristic variety $LC(X,0)$ is Cohen-Macaulay. Both theorems generalize the results of a previous paper by some of the authors, in which the hypersurface $(X,0)$ was assumed to be weighted homogeneous. △ Less

Submitted 4 July, 2019; originally announced July 2019.

MSC Class: 32S25; 58K40; 32S50

Metrically un-knotted corank 1 singularities of surfaces in $\mathbb{R}^4$

Authors: Lev Birbrair, Rodrigo Mendes, Juan Jose Nuño-Ballesteros

Abstract: The paper is devoted to relations between topological and metric properties of germs of real surfaces, obtained by analytic maps from $R^2$ to $R^4$. We show that for a big class of such surfaces the normal embedding property implies the triviality of the knot, presenting the link of the surfaces. We also present some criteria of normal embedding in terms of the polar curves. The paper is devoted to relations between topological and metric properties of germs of real surfaces, obtained by analytic maps from $R^2$ to $R^4$. We show that for a big class of such surfaces the normal embedding property implies the triviality of the knot, presenting the link of the surfaces. We also present some criteria of normal embedding in terms of the polar curves. △ Less

Submitted 20 June, 2017; originally announced June 2017.

Comments: 10 pages

MSC Class: 14P10

A Lê-Greuel type formula for the image Milnor number

Authors: J. J. Nuño-Ballesteros, I. Pallarés-Torres

Abstract: Let $f:(\mathbb{C}^n,0)\rightarrow (\mathbb{C}^{n+1},0)$ be a corank 1 finitely determined map germ. For a generic linear form $p:(\mathbb{C}^{n+1},0)\to(\mathbb{C},0)$ we denote by $g:(\mathbb{C}^{n-1},0)\rightarrow (\mathbb{C}^{n},0)$ the transverse slice of $f$ with respect to $p$. We prove that the sum of the image Milnor numbers $μ_I(f)+μ_I(g)$ is equal to the number of critical points of the… ▽ More Let $f:(\mathbb{C}^n,0)\rightarrow (\mathbb{C}^{n+1},0)$ be a corank 1 finitely determined map germ. For a generic linear form $p:(\mathbb{C}^{n+1},0)\to(\mathbb{C},0)$ we denote by $g:(\mathbb{C}^{n-1},0)\rightarrow (\mathbb{C}^{n},0)$ the transverse slice of $f$ with respect to $p$. We prove that the sum of the image Milnor numbers $μ_I(f)+μ_I(g)$ is equal to the number of critical points of the stratified Morse function $p|_{X_s}:X_s\to\mathbb{C}$, where $X_s$ is the disentanglement of $f$ (i.e., the image of a stabilisation $f_s$ of $f$). △ Less

Submitted 24 September, 2016; v1 submitted 12 July, 2016; originally announced July 2016.

Comments: Accepted in Hokkaido Mathematical Journal

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

Authors: J. Fernández de Bobadilla, J. J. Nuño-Ballesteros, G. Peñafort-Sanchis

Abstract: 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 dimensi… ▽ More 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. △ Less

Submitted 8 April, 2016; originally announced April 2016.

Comments: 19 pages

MSC Class: 58K15 (Primary); 58K40; 58K65 (Secondary)

Multiple point spaces of finite holomorphic maps

Authors: J. J. Nuño-Ballesteros, G. Peñafort-Sanchis

Abstract: We show that there exists a unique possible definition, with certain natural properties, of the multiple point space of a holomorphic map between complex manifolds. Our construction coincides with the double point space and the k-th multiple point space for corank one map-germs, due to Mond. We also give some interesting properties of the double point space and prove that in many cases it can be c… ▽ More We show that there exists a unique possible definition, with certain natural properties, of the multiple point space of a holomorphic map between complex manifolds. Our construction coincides with the double point space and the k-th multiple point space for corank one map-germs, due to Mond. We also give some interesting properties of the double point space and prove that in many cases it can be computed as the zero locus of certain quotient of ideals. △ Less

Submitted 1 October, 2016; v1 submitted 16 September, 2015; originally announced September 2015.

Comments: 21 pages, 4 figures. Minor changes and corrected typos. To be published in Q. J. Math

MSC Class: 58K20; 58K25; 58K60 (Primary); 32C15; 32G05 (Secondary)

Equisingularity of map germs from a surface to the plane

Authors: J. J. Nuño-Ballesteros, B. Oréfice-Okamoto, J. N. Tomazella

Abstract: Let $(X,0)$ be an ICIS of dimension 2 and let $f:(X,0)\to (\C^2,0)$ be a map germ with an isolated instability. We look at the invariants that appear when $X_s$ is a smoothing of $(X,0)$ and $f_s:X_s\to B_ε$ is a stabilization of $f$. We find relations between these invariants and also give necessary and sufficient conditions for a $1$-parameter family to be Whitney equisingular. As an application… ▽ More Let $(X,0)$ be an ICIS of dimension 2 and let $f:(X,0)\to (\C^2,0)$ be a map germ with an isolated instability. We look at the invariants that appear when $X_s$ is a smoothing of $(X,0)$ and $f_s:X_s\to B_ε$ is a stabilization of $f$. We find relations between these invariants and also give necessary and sufficient conditions for a $1$-parameter family to be Whitney equisingular. As an application, we show that a family $(X_t,0)$ is Zariski equisingular if and only if it is Whitney equisingular and the numbers of cusps and double folds of a generic linear projection are constant on $t$. △ Less

Submitted 7 June, 2016; v1 submitted 6 July, 2015; originally announced July 2015.

MSC Class: 32S15; 58K60; 58K40

Equisingularity of families of isolated determinantal singularities

Authors: J. J. Nuño-Ballesteros, B. Oréfice-Okamoto, J. N. Tomazella

Abstract: We study the topological triviality and the Whitney equisingularity of a family of isolated determinantal singularities. On one hand, we give a Lê-Ramanujam type theorem for this kind of singularities by using the vanishing Euler characteristic. On the other hand, we extend the results of Teissier and Gaffney about the Whitney equisingularity of hypersurfaces and complete intersections, respective… ▽ More We study the topological triviality and the Whitney equisingularity of a family of isolated determinantal singularities. On one hand, we give a Lê-Ramanujam type theorem for this kind of singularities by using the vanishing Euler characteristic. On the other hand, we extend the results of Teissier and Gaffney about the Whitney equisingularity of hypersurfaces and complete intersections, respectively, in terms of the constancy of the polar multiplicities. △ Less

Submitted 14 May, 2014; originally announced May 2014.

MSC Class: 32S15 (Primary) 58K60; 32S30 (Secondary)

A stereological version of the Gauss-Bonnet formula

Authors: X. Gual-Arnau, J. J. Nuno-Ballesteros

Abstract: We give a stereological version of the Gauss-Bonnet formula in order to compute the Euler characteristic of a domain with boundary in a smooth orientable surface in R^3, by looking at contacts with a "sweeping" plane. We give a stereological version of the Gauss-Bonnet formula in order to compute the Euler characteristic of a domain with boundary in a smooth orientable surface in R^3, by looking at contacts with a "sweeping" plane. △ Less

Submitted 30 July, 1999; originally announced July 1999.

Comments: 6 pages; 2 figures; AMS-LaTeX

MSC Class: 53C65

The self-linking number of a closed curve in R^n

Authors: A. Montesinos-Amilibia, J. J. Nuno-Ballesteros

Abstract: We introduce the self-linking number of a smooth closed curve in R^n with respect to a 3-dimensional vector bundle over the curve, provided that some regularity conditions are satisfied. When n=3, this construction gives the classical self-linking number of a closed embedded curve with non-vanishing curvature. We also look at some interesting particular cases, which correspond to the osculating… ▽ More We introduce the self-linking number of a smooth closed curve in R^n with respect to a 3-dimensional vector bundle over the curve, provided that some regularity conditions are satisfied. When n=3, this construction gives the classical self-linking number of a closed embedded curve with non-vanishing curvature. We also look at some interesting particular cases, which correspond to the osculating or the orthogonal vector bundle of the curve. △ Less

Submitted 2 June, 1999; originally announced June 1999.

Comments: 13 pages; 2 figures; AMS-LaTeX

MSC Class: 53A04