arXiv subjects

R. Giménez Conejero

Publications and source records attributed to R. Giménez Conejero.

10 recordsLinked to original sources

arXiv2025

Embedded topological triviality of separable families of singularities

Understanding how singularities behave under small perturbations is a central theme in singularity theory. In this paper we establish sufficient conditions for families of analytic function-germs on a germ of a complex analytic space to admit an embedded topological trivialization. Our results extend previous work of the third author and collaborators, moving from abstract triviality to the embedded setting. As an application, we obtain new instances of topological stability, including a broad class of $μ$-constant deformations. These findings provide a new insight into the long-standing $μ$-constant conjecture, one of the major open problems in the field.

math.AG↗

arXiv2025

Good real pictures of corank one map germs from the $n$-space to the $(n+1)$-space

We study corank one $A$-finite germs $f:(\mathbb{R}^n,0)\rightarrow (\mathbb{R}^{n+1},0)$ and their complexifications. More precisely, we study when these germs provide good real pictures of the complex germs, i.e., when there is a real deformation that has the same homology in the image (hence, homotopy) than the generic complex deformation. We give a new sufficient condition that can be computed in practice, as well as examples.

math.AG↗

arXiv2025

Isotypical components of the homology of ICIS and images of deformations of map germs

We give a simple way to study the isotypical components of the homology of simplicial complexes with actions of finite groups, and use it for Milnor fibers of ICIS. We study the homology of images of mappings $f_t$ that arise as deformations of complex map germs $f:(\mathbb{C}^n,S)\to(\mathbb{C}^p,0)$, with $n n+1$: stable perturbations with contractible image and homology of $\text{im} f_t$ in unexpected dimensions. We show that Houston's conjecture, $μ_I$ constant in a family implies excellency in Gaffney's sense, is false, but we give a correct modification of the statement of the conjecture which we also prove.

math.AG↗

arXiv2024

Good real images of complex maps

We prove several results regarding the homology and homotopy type of images of real maps and their complexification. In particular, we study the local behavior of singular points after deformations. In this context, we prove a restrictive necessary condition for a real perturbation to have the same homology than its complexification, which is known as good real perturbation. We prove the conjecture of Marar and Mond stating that for singularities from $\mathbb{C}^n$ to $\mathbb{C}^{n+1}$, a good real perturbation is homotopy equivalent to its complexification, and show a generalization in other dimensions. Applications to $M$-deformations and other concepts as well as examples are given.

math.AG↗

arXiv2024

Singularities of mappings on ICIS and applications to Whitney equisingularity

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.

math.AG↗

arXiv2024

A note on complex plane curve singularities up to diffeomorphism and their rigidity

We prove that, if two germs of plane curves $(C,0)$ and $(C',0)$ with at least one singular branch are equivalent by a (real) smooth diffeomorphism, then $C$ is complex isomorphic to $C'$ or to $\overline{C'}$. A similar result was shown by Ephraim for irreducible hypersurfaces before, but his proof is not constructive. Indeed, we show that the complex isomorphism is given by the Taylor series of the diffeomorphism. We also prove an analogous result for the case of non-irreducible hypersurfaces containing an irreducible component of zero-dimensional isosingular locus. Moreover, we provide a general overview of the different classifications of plane curve singularities.

math.AG↗

arXiv2024

Thom condition and Monodromy

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.

math.AG↗

arXiv2024

Signature of the Milnor fiber of parametrized surfaces

We compute the signature of the Milnor fiber of certain type of non-isolated complex surface singularities, namely, images of finitely determined holomorphic germs. An explicit formula is given in algebraic terms. As a corollary we show that the signature of the Milnor fiber is a topological invariant for these singularities. The proof combines complex analytic and smooth topological techniques. The main tools are Thom-Mather theory of map germs and the Ekholm-Szűcs-Takase-Saeki formula for immersions. We give a table with many examples for which the signature is computed using our formula.

math.AG↗

arXiv2022

A weak version of Mond's conjecture

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.

math.AG↗

arXiv2021

The image Milnor number and excellent unfoldings

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.

math.AG↗