Showing 1–46 of 46 results for author: Ruas, M A

Bi-Lipschitz triviality of function-germs on singular varieties

Authors: Raúl Oset Sinha, Maria Aparecida Soares Ruas

Abstract: In this paper we study the bi-Lipschitz triviality of deformations of an analytic function germ $f$ defined on a germ of an analytic variety $(X, 0)$ in $\mathbb C^n$. We introduce the notion of strongly rational $\mathscr R_X$-bi-Lipschitz trivial families and give an infinitesimal criterion which is a sufficient condition for the bi-Lipschitz triviality of deformations of $f$ on $(X,0).$ As a co… ▽ More In this paper we study the bi-Lipschitz triviality of deformations of an analytic function germ $f$ defined on a germ of an analytic variety $(X, 0)$ in $\mathbb C^n$. We introduce the notion of strongly rational $\mathscr R_X$-bi-Lipschitz trivial families and give an infinitesimal criterion which is a sufficient condition for the bi-Lipschitz triviality of deformations of $f$ on $(X,0).$ As a corollary it follows that when $X$ and $f$ are homogeneous of the same degree, all deformation of $f$ of the same or higher degrees are bi-Lipschitz trivial. We then prove a rigidity result for deformations of $f$ on $X$ when both are weighted homogeneous with respect to the same set of weights. △ Less

Submitted 10 February, 2025; originally announced February 2025.

MSC Class: Primary 14B05; Secondary 58K40; 32S25

Toric varieties with isolated singularity and smooth normalization

Authors: Thais Maria Dalbelo, Maria Elenice Rodrigues Hernandes, Maria Aparecida Soares Ruas

Abstract: In this work, we describe a prenormal form for the generators of the semigroup of a toric variety $X \subset \mathbb{C}^p$ with isolated singularity at the origin and smooth normalization. A complete description of the semigroup is given when $X$ is a variety of dimension $n$ in $\mathbb{C}^{2n}$. Moreover, for toric surfaces in $\mathbb{C}^4$, we provide a set of generators of the ideal $I$ defin… ▽ More In this work, we describe a prenormal form for the generators of the semigroup of a toric variety $X \subset \mathbb{C}^p$ with isolated singularity at the origin and smooth normalization. A complete description of the semigroup is given when $X$ is a variety of dimension $n$ in $\mathbb{C}^{2n}$. Moreover, for toric surfaces in $\mathbb{C}^4$, we provide a set of generators of the ideal $I$ defining $X$. △ Less

Submitted 9 December, 2024; v1 submitted 6 December, 2024; originally announced December 2024.

Nash blowups of 2-generic determinantal varieties in positive characteristic

Authors: Thaís M. Dalbelo, Daniel Duarte, Maria Aparecida Soares Ruas

Abstract: We show that the Nash blowup of 2-generic determinantal varieties over fields of positive characteristic is non-singular. We prove this in two steps. Firstly, we explicitly describe the toric structure of such varieties. Secondly, we show that in this case the combinatorics of Nash blowups are free of characteristic. The result then follows from the analogous result in characteristic zero proved b… ▽ More We show that the Nash blowup of 2-generic determinantal varieties over fields of positive characteristic is non-singular. We prove this in two steps. Firstly, we explicitly describe the toric structure of such varieties. Secondly, we show that in this case the combinatorics of Nash blowups are free of characteristic. The result then follows from the analogous result in characteristic zero proved by W. Ebeling and S. M. Gusein-Zade. △ Less

Submitted 2 April, 2025; v1 submitted 6 September, 2024; originally announced September 2024.

Comments: Published in Pure and Applied Mathematics Quaterly

Modules of derivations, logarithmic ideals and singularities of maps on analytic varieties

Authors: Carles Bivià-Ausina, Konstantinos Kourliouros, Maria Aparecida Soares Ruas

Abstract: We introduce the module of derivations $Θ_{h,M}$ attached to a given analytic map $h:(\mathbb C^n,0)\to (\mathbb C^p,0)$ and a submodule $M\subseteq \mathcal O_n^p$ and analyse several exact sequences related to $Θ_{h,M}$. Moreover, we obtain formulas for several numerical invariants associated to the pair $(h,M)$ and a given analytic map germ $f:(\mathbb C^n,0)\to (\mathbb C^q,0)$. In particular,… ▽ More We introduce the module of derivations $Θ_{h,M}$ attached to a given analytic map $h:(\mathbb C^n,0)\to (\mathbb C^p,0)$ and a submodule $M\subseteq \mathcal O_n^p$ and analyse several exact sequences related to $Θ_{h,M}$. Moreover, we obtain formulas for several numerical invariants associated to the pair $(h,M)$ and a given analytic map germ $f:(\mathbb C^n,0)\to (\mathbb C^q,0)$. In particular, if $X$ is an analytic subvariety of $\mathbb C^n$, we derive expressions for analytic invariants defined in terms of the module $Θ_X$ of logarithmic vector fields of $X$. △ Less

Submitted 3 July, 2024; originally announced July 2024.

MSC Class: 32S05; 32S50

Relative Bruce-Roberts number and Chern obstruction

Authors: Bárbara K. Lima Pereira, Maria Aparecida Soares Ruas, Hellen Santana

Abstract: Let $(X,0)$ be the germ of an equidimensional analytic set in $(\mathbb C^n,0)$ and $f=(f_1,f_2)$ a map-germ into the plane defined on $X.$ In this work, we investigate topological invariants associated to the pair $(f,X),$ among them, the Euler obstruction of $f,$ $Eu_{f,X}(0),$ and under convenient assumptions, the Chern number of families of differential forms associated to $f.$ The topological… ▽ More Let $(X,0)$ be the germ of an equidimensional analytic set in $(\mathbb C^n,0)$ and $f=(f_1,f_2)$ a map-germ into the plane defined on $X.$ In this work, we investigate topological invariants associated to the pair $(f,X),$ among them, the Euler obstruction of $f,$ $Eu_{f,X}(0),$ and under convenient assumptions, the Chern number of families of differential forms associated to $f.$ The topological information provided by these invariants is useful, although difficult to calculate. The aim of the paper is to introduce the Bruce-Roberts and the relative Bruce-Roberts numbers as useful algebraic tools to capture the topological information giving by the Euler obstruction and the Chern numbers. Closed formulas are given when $X,\, X\cap f_2^{-1}(0),\, X\cap f_2^{-1}(0)\cap f_1^{-1}(0)$ are ICIS. In the last section, for a 2-dimensional ICIS $(X,0) \subset (\mathbb C^n,0),$ we apply our results to give an alternative description for the number of cusps $c(f|_X)$ of an stabilization of an $\mathcal A$-finite map-germ $f=(f_1, f_2): (X,0) \to (\mathbb C^2,0).$ A formula for $c(f|_X)$ was first given in [21]. △ Less

Submitted 6 November, 2023; originally announced November 2023.

MSC Class: 32S25; 58K40; 32S50

Bruce-Roberts Numbers and Quasihomogeneous Functions on Analytic Varieties

Authors: Carles Bivià-Ausina, Konstantinos Kourliouros, Maria Aparecida Soares Ruas

Abstract: Given a germ of an analytic variety $X$ and a germ of a holomorphic function $f$ with a stratified isolated singularity with respect to the logarithmic stratification of $X$, we show that under certain conditions on the singularity type of the pair $(f,X)$, the following relative analog of the well known K. Saito's theorem holds true: equality of the relative Milnor and Tjurina numbers of f with r… ▽ More Given a germ of an analytic variety $X$ and a germ of a holomorphic function $f$ with a stratified isolated singularity with respect to the logarithmic stratification of $X$, we show that under certain conditions on the singularity type of the pair $(f,X)$, the following relative analog of the well known K. Saito's theorem holds true: equality of the relative Milnor and Tjurina numbers of f with respect to X (also known as Bruce-Roberts numbers) is equivalent to the relative quasihomogeneity of the pair $(f,X)$, i.e. to the existence of a coordinate system such that both $f$ and $X$ are quasihomogeneous with respect to the same positive rational weights. △ Less

Submitted 4 December, 2022; originally announced December 2022.

Comments: 16 pages

MSC Class: 32S05; 32S50

Line Congruences on singular surfaces

Authors: Débora Lopes, Tito Alexandro Medina Tejeda, Maria Aparecida Soares Ruas, Igor Chagas Santos

Abstract: This paper is a first step in order to extend Kummer's theory for line congruences to the case $\lbrace x, ξ\rbrace $, where $x: U \rightarrow \mathbb{R}^3$ is a smooth map and $ξ: U \rightarrow \mathbb{R}^3$ is a proper frontal. We show that if $\lbrace x, ξ\rbrace$ is a normal congruence, the equation of the principal surfaces is a multiple of the equation of the developable surfaces, furthermor… ▽ More This paper is a first step in order to extend Kummer's theory for line congruences to the case $\lbrace x, ξ\rbrace $, where $x: U \rightarrow \mathbb{R}^3$ is a smooth map and $ξ: U \rightarrow \mathbb{R}^3$ is a proper frontal. We show that if $\lbrace x, ξ\rbrace$ is a normal congruence, the equation of the principal surfaces is a multiple of the equation of the developable surfaces, furthermore, the multiplicative factor is associated to the singular set of $ξ$. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Curvature loci of 3-manifolds

Authors: Pedro Benedini Riul, Maria Aparecida Soares Ruas, Raúl Oset Sinha

Abstract: We refine the affine classification of real nets of quadrics in order to obtain generic curvature loci of regular $3$-manifolds in $\mathbb{R}^6$ and singular corank $1$ $3$-manifolds in $\mathbb{R}^5$. For this, we characterize the type of the curvature locus by the number and type of solutions of a system of equations given by 4 ternary cubics (which is a determinantal variety in some cases). We… ▽ More We refine the affine classification of real nets of quadrics in order to obtain generic curvature loci of regular $3$-manifolds in $\mathbb{R}^6$ and singular corank $1$ $3$-manifolds in $\mathbb{R}^5$. For this, we characterize the type of the curvature locus by the number and type of solutions of a system of equations given by 4 ternary cubics (which is a determinantal variety in some cases). We also study how singularities of the curvature locus of a regular 3-manifold can go to infinity when the manifold is projected orthogonally in a tangent direction. △ Less

Submitted 26 April, 2022; originally announced April 2022.

Comments: 20 pages, 6 figures and 5 tables

MSC Class: Primary 57R45; Secondary 53A07; 58K05

Old and new results on density of stable mappings

Authors: Maria Aparecida Soares Ruas

Abstract: Density of stable maps is the common thread of this paper. We review Whitney's contribution to singularities of differentiable mappings and Thom-Mather theories on $C^{\infty}$ and $C^{0}$-stability. Infinitesimal and algebraic methods are presented in order to prove Theorem A and Theorem B on density of proper stable and topologically stable mappings $f:N^{n}\to P^{p}.$ Theorem A states that the… ▽ More Density of stable maps is the common thread of this paper. We review Whitney's contribution to singularities of differentiable mappings and Thom-Mather theories on $C^{\infty}$ and $C^{0}$-stability. Infinitesimal and algebraic methods are presented in order to prove Theorem A and Theorem B on density of proper stable and topologically stable mappings $f:N^{n}\to P^{p}.$ Theorem A states that the set of proper stable maps is dense in the set of all proper maps from $N$ to $P$, if and only if the pair $(n,p)$ is in \emph{nice dimensions,} while Theorem B shows that density of topologically stable maps holds for any pair $(n,p).$ A short review of results by du Plessis and Wall on the range in which proper smooth mappings are $C^{1}$- stable is given. A Thom-Mather map is a topologically stable map $f:N \to P$ whose associated $k$-jet map $j^{k}f:N \to P$ is transverse to the Thom-Mather stratification in $J^{k}(N,P).$ We give a detailed description of Thom-Mather maps for pairs $(n,p)$ in the boundary of the nice dimensions.The main open question on density of stable mappings is to determine the pairs $(n,p)$ for which Lipschitz stable mappings are dense. We discuss recent results by Nguyen, Ruas and Trivedi on this subject, formulating conjectures for the density of Lipschitz stable mappings in the boundary of the nice dimensions. At the final section, Damon's results relating $\mathcal{A}$-classification of map-germs and $\mathcal{K}_{V}$ classification of sections of the discriminant $V=Δ(F)$ of a stable unfolding of $f$ are reviewed and open problems are discussed. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Comments: 76 pages, 5 figures

MSC Class: 58K05; 58K30; 58K40

Singularities of 3-parameter line congruences in $\mathbb{R}^4$

Authors: Débora Lopes, Maria Aparecida Soares Ruas, Igor Chagas Santos

Abstract: In this paper, we give the generic classification of the singularities of 3-parameter line congruences in $\mathbb{R}^4$. We also classify the generic singularities of Blaschke (affine) normal congruences. In this paper, we give the generic classification of the singularities of 3-parameter line congruences in $\mathbb{R}^4$. We also classify the generic singularities of Blaschke (affine) normal congruences. △ Less

Submitted 3 November, 2021; v1 submitted 20 October, 2021; originally announced October 2021.

Comments: 22 pages and 1 figure

MSC Class: 53A55; 57R45; 53A15

Join operation and ${\mathcal A}$-finite map-germs

Authors: Maria Elenice Rodrigues Hernandes, Maria Aparecida Soares Ruas

Abstract: In this work we define some map-germs, called elementary joins, for the purpose of producing new ${\mathcal A}$-finite map-germs from them. In particular, we describe a general form of an ${\mathcal A}$-finite monomial map from $(\mathbb{C}^n,0)$ to $(\mathbb{C}^{p},0)$ for $p\geq 2n$ of any corank in terms of elementary join maps. Our main tools are the delta invariant and some invariants of curv… ▽ More In this work we define some map-germs, called elementary joins, for the purpose of producing new ${\mathcal A}$-finite map-germs from them. In particular, we describe a general form of an ${\mathcal A}$-finite monomial map from $(\mathbb{C}^n,0)$ to $(\mathbb{C}^{p},0)$ for $p\geq 2n$ of any corank in terms of elementary join maps. Our main tools are the delta invariant and some invariants of curves. △ Less

Submitted 7 March, 2023; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: 18 pages

MSC Class: 14H20; 32S10

On the moduli space of quasi-homogeneous functions

Authors: Leonardo Meireles Câmara, Maria Aparecida Soares Ruas

Abstract: We relate the moduli space of analytic equivalent germs of reduced quasi-homogeneous functions at $(\mathbb{C}^2,0)$ with their bi-Lipschitz equivalence classes. We show that any non-degenerate continuous family of (reduced) quasi-homogeneous functions with constant Henry-Parusiński invariant is analytically trivial. Further we show that there are only a finite number of distinct bi-Lipschitz clas… ▽ More We relate the moduli space of analytic equivalent germs of reduced quasi-homogeneous functions at $(\mathbb{C}^2,0)$ with their bi-Lipschitz equivalence classes. We show that any non-degenerate continuous family of (reduced) quasi-homogeneous functions with constant Henry-Parusiński invariant is analytically trivial. Further we show that there are only a finite number of distinct bi-Lipschitz classes among quasi-homogeneous functions with the same Henry-Parusiński invariant providing a maximum quota for this number. △ Less

Submitted 7 April, 2020; originally announced April 2020.

MSC Class: 32S05 (Primary) 14J17 (Secondary)

Reflexion maps and geometry of surfaces in R^4

Authors: Peter Giblin, Stanislaw Janeczko, Maria Aparecida Soares Ruas

Abstract: In this article we introduce new affinely invariant points---`special parabolic points'---on the parabolic set of a generic surface $M$ in real 4-space, associated with symmetries in the 2-parameter family of reflexions of $M$ in points of itself. The parabolic set itself is detected in this way, and each arc is given a sign, which changes at the special points, where the family has an additional… ▽ More In this article we introduce new affinely invariant points---`special parabolic points'---on the parabolic set of a generic surface $M$ in real 4-space, associated with symmetries in the 2-parameter family of reflexions of $M$ in points of itself. The parabolic set itself is detected in this way, and each arc is given a sign, which changes at the special points, where the family has an additional degree of symmetry. Other points of $M$ which are detected by the family of reflexions include inflexion points of real and imaginary type, and the first of these is also associated with sign changes on the parabolic set. We show how to compute the special points globally for the case where $M$ is given in Monge form and give some examples illustrating the birth of special parbolic points in a 1-parameter family of surfaces. The tool we use from singularity theory is the contact classification of certain symmetric maps from the plane to the plane and we give the beginning of this classification, including versal unfoldings which we relate to the geometry of $M$. △ Less

Submitted 24 January, 2020; originally announced January 2020.

Comments: 18 pages, 4 figures, presented at the conference to celebrate the 60th birthday of Goo Ishikawa, Bedlewo, Poland, September 2017

MSC Class: 52A05; 57R45

Singular 3-manifolds in $\mathbb{R}^5$

Authors: Pedro Benedini Riul, Maria Aparecida Soares Ruas, Andrea de Jesus Sacramento

Abstract: We study 3-manifolds in $\mathbb{R}^5$ with corank $1$ singularities. At the singular point we define the curvature locus using the first and second fundamental forms, which contains all the local second order geometrical information about the manifold. We study 3-manifolds in $\mathbb{R}^5$ with corank $1$ singularities. At the singular point we define the curvature locus using the first and second fundamental forms, which contains all the local second order geometrical information about the manifold. △ Less

Submitted 1 November, 2019; originally announced November 2019.

Comments: 28 pages, 15 figures

Finite $\mathcal{A}$-determinacy of generic homogeneous map germs in $\mathbb{C}^3$

Authors: M. Farnik, Z. Jelonek, M. A. S. Ruas

Abstract: Denote by $H(d_1,d_2,d_3)$ the set of all homogeneous polynomial mappings $F=(f_1,f_2,f_3): \C^3\to\C^3$, such that $°f_i=d_i$. We show that if $\gcd(d_i,d_j)\leq 2$ for $1\leq i<j\leq 3$ and $\gcd(d_1,d_2,d_3)=1$, then there is a non-empty Zariski open subset $U\subset H(d_1,d_2,d_3)$ such that for every mapping $F\in U$ the map germ $(F,0)$ is $\mathcal{A}$-finitely determined. Moreover, in this… ▽ More Denote by $H(d_1,d_2,d_3)$ the set of all homogeneous polynomial mappings $F=(f_1,f_2,f_3): \C^3\to\C^3$, such that $°f_i=d_i$. We show that if $\gcd(d_i,d_j)\leq 2$ for $1\leq i<j\leq 3$ and $\gcd(d_1,d_2,d_3)=1$, then there is a non-empty Zariski open subset $U\subset H(d_1,d_2,d_3)$ such that for every mapping $F\in U$ the map germ $(F,0)$ is $\mathcal{A}$-finitely determined. Moreover, in this case we compute the number of discrete singularities ($0$-stable singularities) of a generic mapping $(f_1,f_2,f_3):\C^3\to\C^3$, where $°f_i=d_i$. △ Less

Submitted 28 August, 2019; originally announced August 2019.

Local bi-Lipschitz classification of semialgebraic surfaces

Authors: Jean-paul Brasselet, Maria Aparecida Soares Ruas, Thuy Nguyen

Abstract: We provide bi-Lipschitz invariants for finitely determined map germs $f: (\mathbb{K}^n,0) \to (\mathbb{K}^p, 0)$, where $\mathbb{K} = \mathbb{R}$ or $ \mathbb{C}$. The aim of the paper is to provide partial answers to the following questions: Does the bi-Lipschitz type of a map germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0)$ determine the bi-Lipschitz type of the link of $f$ and of the double… ▽ More We provide bi-Lipschitz invariants for finitely determined map germs $f: (\mathbb{K}^n,0) \to (\mathbb{K}^p, 0)$, where $\mathbb{K} = \mathbb{R}$ or $ \mathbb{C}$. The aim of the paper is to provide partial answers to the following questions: Does the bi-Lipschitz type of a map germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0)$ determine the bi-Lipschitz type of the link of $f$ and of the double point set of $f$? Reciprocally, given a map germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0)$, do the bi-Lipschitz types of the link of $f$ and of the double point set of $f$ determine the bi-Lipschitz type of the germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0)$? We provide a positive answer to the first question in the case of a finitely determined map germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0)$ where $2n-1 \leq p$ (Theorem 3.3). With regard to the second question, for a finitely determined map germ $f : (\mathbb{R}^2,0) \to (\mathbb{R}^3,0),$ we show that a complete set of invariants for the bi-Lipschitz classification with respect to the inner metric of $X_f=f(U)$, where $U$ is a small neighbourhood of the origin in $\mathbb R^2$, is is given by the link of $f$, the image of the double point set of $f$ and the polar curve of a generic projection into the plane (Proposition 4.13). In particular, in the homogeneous parametrization case $f: (\mathbb{R}^2, 0) \to (\mathbb{R}^3, 0)$ of corank 1, we do not need the hypothesis on the equivalence of the image of the double point set (Theorem 5.2). Finally, we apply our results to relate the $C^{0}- \mathcal A$ classes of finitely determined map germs $f$ of corank 1 with homogeneous parametrization and the inner bi-Lipschitz type of $X_f$ (Proposition 5.4). △ Less

Submitted 24 September, 2024; v1 submitted 6 February, 2019; originally announced February 2019.

Mixed Bruce-Roberts numbers

Authors: Carles Bivià-Ausina, María Aparecida Soares Ruas

Abstract: We extend the notion of $μ^*$-sequence and Tjurina number of functions to the framework of Bruce-Roberts numbers, that is, to pairs formed by the germ at $0$ of a complex analytic variety $X\subseteq \mathbb C^n$ and a finitely $\mathcal R(X)$-determined analytic function germ $f:(\mathbb C^n,0)\to (\mathbb C,0)$. We analyze some fundamental properties of these numbers. We extend the notion of $μ^*$-sequence and Tjurina number of functions to the framework of Bruce-Roberts numbers, that is, to pairs formed by the germ at $0$ of a complex analytic variety $X\subseteq \mathbb C^n$ and a finitely $\mathcal R(X)$-determined analytic function germ $f:(\mathbb C^n,0)\to (\mathbb C,0)$. We analyze some fundamental properties of these numbers. △ Less

Submitted 24 October, 2018; originally announced October 2018.

MSC Class: 32S05

The extra-nice dimensions

Authors: Raúl Oset Sinha, Maria Aparecida Soares Ruas, Roberta Wik Atique

Abstract: We define the extra-nice dimensions and prove that the subset of locally stable 1-parameter families in $C^{\infty}(N\times[0,1],P)$, also known as pseudo-isotopies, is dense if and only if the pair of dimensions $(\dim N, \dim P)$ is in the extra-nice dimensions. This result is parallel to Mather's characterization of the nice dimensions as the pairs $(n,p)$ for which stable maps are dense. The e… ▽ More We define the extra-nice dimensions and prove that the subset of locally stable 1-parameter families in $C^{\infty}(N\times[0,1],P)$, also known as pseudo-isotopies, is dense if and only if the pair of dimensions $(\dim N, \dim P)$ is in the extra-nice dimensions. This result is parallel to Mather's characterization of the nice dimensions as the pairs $(n,p)$ for which stable maps are dense. The extra-nice dimensions are characterized by the property that discriminants of stable germs in one dimension higher have $\mathcal A_e$-codimension 1 hyperplane sections. They are also related to the simplicity of $\mathcal A_e$-codimension 2 germs. We give a sufficient condition for any $\mathscr A_e$-codimension 2 germ to be simple and give an example of a corank 2 codimension 2 germ in the nice dimensions which is not simple. Then we establish the boundary of the extra-nice dimensions. Finally we answer a question posed by Wall about the codimension of non-simple maps. △ Less

Submitted 25 April, 2018; originally announced April 2018.

Comments: 29 pages, 1 figure. Comments welcome

The geometry of corank $1$ surfaces in $\mathbb{R}^{4}$

Authors: Pedro Benedini Riul, Raúl Oset Sinha, Maria Aparecida Soares Ruas

Abstract: We study the geometry of surfaces in $\mathbb{R}^{4}$ with corank $1$ singularities. For such surfaces the singularities are isolated and at each point we define the curvature parabola in the normal space. This curve codifies all the second order information of the surface. Also, using this curve we define asymptotic and binormal directions, the umbilic curvature and study the flat geometry of the… ▽ More We study the geometry of surfaces in $\mathbb{R}^{4}$ with corank $1$ singularities. For such surfaces the singularities are isolated and at each point we define the curvature parabola in the normal space. This curve codifies all the second order information of the surface. Also, using this curve we define asymptotic and binormal directions, the umbilic curvature and study the flat geometry of the surface. It is shown that we can associate to this singular surface a regular one in $\mathbb{R}^{4}$ and relate their geometry. △ Less

Submitted 19 January, 2018; originally announced January 2018.

Comments: 27 pages, 4 figures

Bi-Lipschitz geometry of contact orbits in the boundary of the nice dimensions

Authors: Maria Aparecida Soares Ruas, Saurabh Trivedi

Abstract: Mather proved that the smooth stability of smooth maps between manifolds is a generic condition if and only if the pair of dimensions of the manifolds are 'nice dimensions' while topologically stability is a generic condition in any pair of dimensions. And, by a result of du Plessis and Wall $C^1$-stability is also a generic condition precisely in the nice dimensions. We address the question of bi… ▽ More Mather proved that the smooth stability of smooth maps between manifolds is a generic condition if and only if the pair of dimensions of the manifolds are 'nice dimensions' while topologically stability is a generic condition in any pair of dimensions. And, by a result of du Plessis and Wall $C^1$-stability is also a generic condition precisely in the nice dimensions. We address the question of bi-Lipschitz stability in this article. We prove that the Thom-Mather stratification is bi-Lipschitz contact invariant in the boundary of the nice dimensions. This is done in two steps: first we explicitly write the contact unimodular strata in every pair of dimensions lying in the boundary of the nice dimensions and second we construct bi-Lipschitz vector fields whose flow provide the bi-Lipschitz contact trivialization in each of the cases. △ Less

Submitted 4 November, 2017; originally announced November 2017.

Comments: 17 Pages, comments welcome

Determinacy of Determinantal Varieties

Authors: Imran Ahmed, Maria Aparecida Soares Ruas

Abstract: A more general class than complete intersection singularities is the class of determinantal singularities. They are defined by the vanishing of all the minors of a certain size of a $m\times n$-matrix. In this note, we consider $\mathcal{G}$-finite determinacy of matrices defining a special class of determinantal varieties. They are called essentially isolated determinantal singularities (EIDS) an… ▽ More A more general class than complete intersection singularities is the class of determinantal singularities. They are defined by the vanishing of all the minors of a certain size of a $m\times n$-matrix. In this note, we consider $\mathcal{G}$-finite determinacy of matrices defining a special class of determinantal varieties. They are called essentially isolated determinantal singularities (EIDS) and were defined by Ebeling and Gusein-Zade. In this note, we prove that matrices parametrized by generic homogeneous forms of degree $d$ define EIDS. It follows that $\mathcal{G}$-finite determinacy of matrices hold in general. As a consequence, EIDS of a given type $(m,n,t)$ holds in general. △ Less

Submitted 30 October, 2017; originally announced October 2017.

Comments: 10 pages

Journal ref: Manuscripta Mathematica 159 (2019), no. 1, 269-278

Whitney theorem for complex polynomial mappings

Authors: M. Farnik, Z. Jelonek, M. A. S. Ruas

Abstract: We describe the topology of a general polynomial mapping $F=(f, g):X\to\Bbb C^2$, where $X$ is a complex plane or a complex sphere. We describe the topology of a general polynomial mapping $F=(f, g):X\to\Bbb C^2$, where $X$ is a complex plane or a complex sphere. △ Less

Submitted 21 September, 2018; v1 submitted 28 March, 2017; originally announced March 2017.

Comments: simplified version. arXiv admin note: text overlap with arXiv:1503.00017

Lipschitz Normal Embeddings in the Space of Matrices

Authors: Dmitry Kerner, Helge Møller Pedersen, Maria A. S. Ruas

Abstract: The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are bilipschitz equivalent. In this article we prove Lipschitz normal embeddedness of some algebraic subsets of the space of matrices. These include the space… ▽ More The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are bilipschitz equivalent. In this article we prove Lipschitz normal embeddedness of some algebraic subsets of the space of matrices. These include the space $m \times n$ matrices, symmetric matrices and skew-symmetric matrices of rank equal to a given number and their closures, and the upper triangular matrices with determinant $0$. We also make a short discussion about generalizing these results to determinantal varieties in real and complex spaces. △ Less

Submitted 13 March, 2017; originally announced March 2017.

Comments: 20 pages

MSC Class: 14B05; 32S05; 32S25; 57M99

The local Euler obstruction and topology of the stabilization of associated determinantal varieties

Authors: Terence Gaffney, Nivaldo G. Grulha Jr., Maria A. S. Ruas

Abstract: This work has two complementary parts, in the first part we compute the local Euler obstruction of generic determinantal varieties and apply this result to compute the Chern--Schwartz--MacPherson class of such varieties. In the second part we compute the Euler characteristic of the stabilization of an essentially isolated determinantal singularity (EIDS). The formula is given in terms of the local… ▽ More This work has two complementary parts, in the first part we compute the local Euler obstruction of generic determinantal varieties and apply this result to compute the Chern--Schwartz--MacPherson class of such varieties. In the second part we compute the Euler characteristic of the stabilization of an essentially isolated determinantal singularity (EIDS). The formula is given in terms of the local Euler obstruction and Gaffney's $m_{d}$ multiplicity. △ Less

Submitted 6 November, 2017; v1 submitted 2 November, 2016; originally announced November 2016.

MSC Class: 14C17; 32S15; 55S35

Whitney equisingularity of families of surfaces in $\mathbb{C}^3$

Authors: M. A. S. Ruas, O. N. Silva

Abstract: In this work, we study families of singular surfaces in $\mathbb{C}^3$ parametrized by $\mathcal{A}$-finitely determined map germs. We consider the topological triviality and Whitney equisingularity of an unfolding $F$ of a finitely determined map germ $f:(\mathbb{C}^2,0)\rightarrow(\mathbb{C}^3,0)$. We investigate the following conjecture: topological triviality implies Whitney equisingularity of… ▽ More In this work, we study families of singular surfaces in $\mathbb{C}^3$ parametrized by $\mathcal{A}$-finitely determined map germs. We consider the topological triviality and Whitney equisingularity of an unfolding $F$ of a finitely determined map germ $f:(\mathbb{C}^2,0)\rightarrow(\mathbb{C}^3,0)$. We investigate the following conjecture: topological triviality implies Whitney equisingularity of the unfolding $F$? We provide a complete answer to this conjecture, given counterexamples showing how the conjecture can be false. △ Less

Submitted 14 March, 2017; v1 submitted 29 August, 2016; originally announced August 2016.

Comments: 15 pages, 2 figures. Changes in version 2: the proof of Corollary 5.13 of version 1 was not corrected. In version 2, we present counterexamples for the result stated in version 1

Lipschitz Normal Embeddings and Determinantal Singularities

Authors: Helge Møller Pedersen, Maria Aparecida Soares Ruas

Abstract: The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are bilipschitz equivalent. In this article we prove that the model determinantal singularity, that is the space of $m\times n$ matrices of rank less than a given number,… ▽ More The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are bilipschitz equivalent. In this article we prove that the model determinantal singularity, that is the space of $m\times n$ matrices of rank less than a given number, is Lipschitz normally embedded. We will also discuss some of the difficulties extending this result to the case of general determinantal singularities. △ Less

Submitted 26 July, 2016; originally announced July 2016.

Comments: 9 Pages

MSC Class: 14B05; 32S05; 32S25; 57M99

On the Zariski multiplicity conjecture for weighted homogeneous and Newton non-degenerate line singularities

Authors: Christophe Eyral, Maria Aparecida Soares Ruas

Abstract: We present new families of weighted homogeneous and Newton non-degenerate line singularities that satisfy the Zariski multiplicity conjecture. We present new families of weighted homogeneous and Newton non-degenerate line singularities that satisfy the Zariski multiplicity conjecture. △ Less

Submitted 28 February, 2019; v1 submitted 18 February, 2016; originally announced February 2016.

Comments: A corrected version of the first and second submissions

MSC Class: 14B05; 14B07; 14J70; 14J17; 32S15; 32S25; 32S05

Equisingularity and EIDS

Authors: Terence Gaffney, Maria Aparecida Ruas

Abstract: The study of Essentially Isolated Determinantal Singularites or EIDS was initiated by Ebeling and Gusein-Zade. They are non-smoothable as determinantal singularities, and in general have non-isolated singularities. Their singularities are generic in a deleted neighborhood of the origin, hence their description as "essentially isolated". In this paper we study these singularities from the "landscap… ▽ More The study of Essentially Isolated Determinantal Singularites or EIDS was initiated by Ebeling and Gusein-Zade. They are non-smoothable as determinantal singularities, and in general have non-isolated singularities. Their singularities are generic in a deleted neighborhood of the origin, hence their description as "essentially isolated". In this paper we study these singularities from the "landscape" point of view introduced in MathArxiv 1501.00201. Using this point of view we show a connection between invariants coming from the topology of the stabilization and invariants coming from the infinitesimal geometry of the singularity. This gives us a criterion for the Whitney equisingularity of EIDS families. △ Less

Submitted 12 January, 2020; v1 submitted 31 January, 2016; originally announced February 2016.

Comments: 15 pages. Revised to improve references and readability

MSC Class: 32S15

On the simplicity of multigerms

Authors: Raúl Oset Sinha, Maria Aparecida Soares Ruas, Roberta Wik Atique

Abstract: We prove several results regarding the simplicity of germs and multigerms obtained via the operations of augmentation, simultaneous augmentation and concatenation and generalised concatenation. We also give some results in the case where one of the branches is a non stable primitive germ. Using our results we obtain a list which includes all simple multigerms from $\mathbb C^3$ to $\mathbb C^3$. We prove several results regarding the simplicity of germs and multigerms obtained via the operations of augmentation, simultaneous augmentation and concatenation and generalised concatenation. We also give some results in the case where one of the branches is a non stable primitive germ. Using our results we obtain a list which includes all simple multigerms from $\mathbb C^3$ to $\mathbb C^3$. △ Less

Submitted 12 September, 2016; v1 submitted 9 September, 2015; originally announced September 2015.

Comments: 26 pages, to appear in Mathematica Scandinavica. Second version adds two families that were missing in Table 2

MSC Class: 58K40; 32S05; 32S70

Singularities of affine equidistants: extrinsic geometry of surfaces in 4-space

Authors: W. Domitrz, S. Janeczko, P. de M. Rios, M. A. S. Ruas

Abstract: For a generic embedding of a smooth closed surface $M$ into $\mathbb R^4$, the subset of $\mathbb R^4$ which is the affine $λ$-equidistant of $M$ appears as the discriminant set of a stable mapping $M \times M \to \mathbb R^4$, hence their stable singularities are $A_k, \, k=2, 3, 4,$ and $C_{2,2}^{\pm}$. In this paper, we characterize these stable singularities of $λ$-equidistants in terms of the… ▽ More For a generic embedding of a smooth closed surface $M$ into $\mathbb R^4$, the subset of $\mathbb R^4$ which is the affine $λ$-equidistant of $M$ appears as the discriminant set of a stable mapping $M \times M \to \mathbb R^4$, hence their stable singularities are $A_k, \, k=2, 3, 4,$ and $C_{2,2}^{\pm}$. In this paper, we characterize these stable singularities of $λ$-equidistants in terms of the bi-local extrinsic geometry of the surface, leading to a geometrical study of the set of weakly parallel points on $M$. △ Less

Submitted 12 June, 2015; originally announced June 2015.

Comments: 22 pages, 5 figures

Journal ref: Bulletin of the Brazilian Mathematical Society, New Series 47 (2016) 1155-1179

Generic sections of essentially isolated determinantal singularities

Authors: Jean-Paul Brasselet, Nancy Chachapoyas, Maria A. S. Ruas

Abstract: We study the essentially isolated determinantal singularities (EIDS), defined by W. Ebeling and S. Gusein-Zade, as a generalization of isolated singularity. We prove in dimension $3$ a minimality theorem for the Milnor number of a generic hyperplane section of an EIDS, generalizing previous results by J. Snoussi in dimension $2$. We define strongly generic hyperplane sections of an EIDS and show t… ▽ More We study the essentially isolated determinantal singularities (EIDS), defined by W. Ebeling and S. Gusein-Zade, as a generalization of isolated singularity. We prove in dimension $3$ a minimality theorem for the Milnor number of a generic hyperplane section of an EIDS, generalizing previous results by J. Snoussi in dimension $2$. We define strongly generic hyperplane sections of an EIDS and show that they are still EIDS. Using strongly general hyperplanes, we extend a result of Lê D. T. concerning constancy of the Milnor number. △ Less

Submitted 24 April, 2015; originally announced April 2015.

On a singular variety associated to a polynomial mapping from $\C^n$ to $\C^{n-1}$

Authors: Nguyen Thi Bich Thuy, Maria Aparecida Soares Ruas

Abstract: We construct a singular variety ${\mathcal{V}}_G$ associated to a polynomial mapping $G : \C^{n} \to \C^{n - 1}$ where $n \geq 2$. We prove that in the case $G : \C^{3} \to \C^{2}$, if $G$ is a local submersion but is not a fibration, then the homology and the intersection homology with total perversity (with compact supports or closed supports) in dimension two of the variety ${\mathcal{V}}_G$ is… ▽ More We construct a singular variety ${\mathcal{V}}_G$ associated to a polynomial mapping $G : \C^{n} \to \C^{n - 1}$ where $n \geq 2$. We prove that in the case $G : \C^{3} \to \C^{2}$, if $G$ is a local submersion but is not a fibration, then the homology and the intersection homology with total perversity (with compact supports or closed supports) in dimension two of the variety ${\mathcal{V}}_G$ is not trivial. In the case of a local submersion $G : \C^{n} \to \C^{n - 1}$ where $n \geq 4$, the result is still true with an additional condition. △ Less

Submitted 10 April, 2016; v1 submitted 27 March, 2015; originally announced March 2015.

Journal ref: ASIAN J. MATH. v.22, p.1157 - 1172, 2018

Effective Whitney theorem for complex polynomial mappings of the plane

Authors: M. Farnik, Z. Jelonek, M. A. S. Ruas

Abstract: We describe the topology of a general polynomial mapping $f:\Bbb C^2\to\Bbb C^2.$ We describe the topology of a general polynomial mapping $f:\Bbb C^2\to\Bbb C^2.$ △ Less

Submitted 8 February, 2016; v1 submitted 27 February, 2015; originally announced March 2015.

Comments: It is a new extended version

Liftable vector fields over corank one multigerms

Authors: T. Nishimura, R. Oset Sinha, M. A. S. Ruas, R. Wik Atique

Abstract: In this paper, a systematic method is given to construct all liftable vector fields over an analytic multigerm $f: (\mathbb{K}^n, S)\to (\mathbb{K}^p,0)$ of corank at most one admitting a one-parameter stable unfolding. In this paper, a systematic method is given to construct all liftable vector fields over an analytic multigerm $f: (\mathbb{K}^n, S)\to (\mathbb{K}^p,0)$ of corank at most one admitting a one-parameter stable unfolding. △ Less

Submitted 26 November, 2014; v1 submitted 17 August, 2014; originally announced August 2014.

Comments: 34 pages. In ver. 2, several careless mistakes for calculations in Section 6 were corrected

MSC Class: 58K40 (primary); 57R45; 58K20 (secondary)

Journal ref: Mathematische Annalen, 366 (2016), 573-611

Classifying codimension 2 multigerms

Authors: R. Oset Sinha, M. A. S. Ruas, R. Wik Atique

Abstract: We generalise the operations of augmentation and concatenations in order to obtain multigerms of analytic (or smooth) maps $(\mathbb K^n,S)\rightarrow(\mathbb K^p,0)$ with $\mathbb K=\mathbb C$ or $\mathbb R$ from monogerms and some special multigerms. We then prove that any corank 1 codimension 2 multigerm in Mather's nice dimensions $(n,p)$ with $n\geq p-1$ can be constructed using augmentations… ▽ More We generalise the operations of augmentation and concatenations in order to obtain multigerms of analytic (or smooth) maps $(\mathbb K^n,S)\rightarrow(\mathbb K^p,0)$ with $\mathbb K=\mathbb C$ or $\mathbb R$ from monogerms and some special multigerms. We then prove that any corank 1 codimension 2 multigerm in Mather's nice dimensions $(n,p)$ with $n\geq p-1$ can be constructed using augmentations and these operations. △ Less

Submitted 11 April, 2014; originally announced April 2014.

Comments: 34 pages, 2 figures

MSC Class: 58K40; 32S05; 32S70

Generalized distance-squared mappings of the plane into the plane

Authors: S. Ichiki, T. Nishimura, R. Oset Sinha, M. A. S. Ruas

Abstract: We define generalized distance-squared mappings, and we concentrate on the plane to plane case. We classify generalized distance-squared mappings of the plane into the plane in a recognizable way. We define generalized distance-squared mappings, and we concentrate on the plane to plane case. We classify generalized distance-squared mappings of the plane into the plane in a recognizable way. △ Less

Submitted 10 April, 2014; originally announced April 2014.

Comments: 13 pages, 1 figure

MSC Class: 57R45; 58C25; 58K50

On a generic symmetry defect hypersurface

Authors: S. Janeczko, Z. Jelonek, M. A. S. Ruas

Abstract: Let f : X -> Y be a dominant polynomial mapping of affine varieties. For generic y in Y we have Sing(f^{-1}(y)) = f^{-1}(y) \cap Sing(X): As an application we show that symmetry defect hypersurfaces for two generic members of the irreducible algebraic family of n-dimensional smooth irreducible subvarieties in general position in C^{2n} are homeomorphic and they have homeomorphic sets of singular p… ▽ More Let f : X -> Y be a dominant polynomial mapping of affine varieties. For generic y in Y we have Sing(f^{-1}(y)) = f^{-1}(y) \cap Sing(X): As an application we show that symmetry defect hypersurfaces for two generic members of the irreducible algebraic family of n-dimensional smooth irreducible subvarieties in general position in C^{2n} are homeomorphic and they have homeomorphic sets of singular points. In particular symmetry defect curves for two generic curves in C^2 of the same degree have the same number of singular points. △ Less

Submitted 23 March, 2014; originally announced March 2014.

Equimultiplicity of topologically equisingular families of parametrized surfaces in $\mathbb C^3$

Authors: Maria Aparecida Soares Ruas

Abstract: We provide a positive answer to Zariski's conjecture for families of singular surfaces in $\mathbb C^3,$ under the condition that the family has a smooth normalisation. As a corollary of the result, we obtain a surprising characterization of the Whitney equisingularity of one parameter families of $\mathcal A$ finitely determined map-germs $f_t: (\mathbb C^2,0) \to (\mathbb C^3,0),$ in terms of th… ▽ More We provide a positive answer to Zariski's conjecture for families of singular surfaces in $\mathbb C^3,$ under the condition that the family has a smooth normalisation. As a corollary of the result, we obtain a surprising characterization of the Whitney equisingularity of one parameter families of $\mathcal A$ finitely determined map-germs $f_t: (\mathbb C^2,0) \to (\mathbb C^3,0),$ in terms of the constancy of only one invariant, the Milnor number of the double point locus. △ Less

Submitted 30 April, 2017; v1 submitted 23 February, 2013; originally announced February 2013.

Comments: The result stated in Theorem 1.2 does not hold. The proof was based on Proposition 3.4, whose proof is not correct. Counter-examples for the results can be found in: ArXiv:1608.08290

MSC Class: 32S15

Bi-Lipschitz A-equivalence of K-equivalent map germs

Authors: Joao Carlos Ferreira Costa, Takashi Nishimura, Maria Aparecida Soares Ruas

Abstract: In this paper, two sufficient conditions are provided for given two K-equivalent map-germs to be bi-Lipschitz A-equivalent. These are Lipschitz analogues of the known results on C^r-A-equivalence $(0 \leq r \leq \infty)$ for given two K-equivalent map-germs. As a corollary of one of our results, a Lipschitz version of the well-known Fukuda-Fukuda theorem is provided. In this paper, two sufficient conditions are provided for given two K-equivalent map-germs to be bi-Lipschitz A-equivalent. These are Lipschitz analogues of the known results on C^r-A-equivalence $(0 \leq r \leq \infty)$ for given two K-equivalent map-germs. As a corollary of one of our results, a Lipschitz version of the well-known Fukuda-Fukuda theorem is provided. △ Less

Submitted 19 February, 2013; originally announced February 2013.

Comments: Published online in Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas 2012

MSC Class: 58K15; 58K25; 58K60

Singularities of affine equidistants: projections and contacts

Authors: W. Domitrz, P. de M. Rios, M. A. S. Ruas

Abstract: Using standard methods for studying singularities of projections and of contacts, we classify the stable singularities of affine $λ$-equidistants of $n$-dimensional closed submanifolds of $\mathbb R^q$, for $q\leq 2n$, whenever $(2n,q)$ is a pair of nice dimensions. Using standard methods for studying singularities of projections and of contacts, we classify the stable singularities of affine $λ$-equidistants of $n$-dimensional closed submanifolds of $\mathbb R^q$, for $q\leq 2n$, whenever $(2n,q)$ is a pair of nice dimensions. △ Less

Submitted 6 March, 2014; v1 submitted 4 February, 2013; originally announced February 2013.

Comments: 18 pages, v2 (minimal changes) agrees with version to appear in Journal of Singularities

Journal ref: Journal of Singularities 10 (2014) 67-81

The Nash modifications and the bi-Lipschitz equivalence

Authors: J. -P. Brasselet, A. Fernandes, N. G. Grulha Jr, M. A. S. Ruas

Abstract: In this paper we investigate the relation betwen the Nash modification and the Bi-Lipschtiz equivalent germs in the cases of two germs and for a family of hypersurfaces with isolated singularities. In this paper we investigate the relation betwen the Nash modification and the Bi-Lipschtiz equivalent germs in the cases of two germs and for a family of hypersurfaces with isolated singularities. △ Less

Submitted 29 July, 2012; v1 submitted 22 June, 2012; originally announced June 2012.

Comments: This paper has been withdrawn by the author due to important modifications to be done

Invariants of Topological Relative Right Equivalences

Authors: Imran Ahmed, Maria Aparecida Soares Ruas, João Nivaldo Tomazella

Abstract: The constancy of the Milnor number has several characterizations which were summarized by Greuel in 1986. This paper presents a study of these characterizations in the case of families of functions with isolated singularities defined on an analytic variety. The constancy of the Milnor number has several characterizations which were summarized by Greuel in 1986. This paper presents a study of these characterizations in the case of families of functions with isolated singularities defined on an analytic variety. △ Less

Submitted 30 March, 2012; originally announced April 2012.

Comments: 11 pages

MSC Class: 2000: Primary 14E05; 32S30; 14L30; Secondary 14J17; 16W22

Journal ref: Math. Proc. Camb. Phil. Soc. 155 (2013), 307-315

Codimension Two Determinantal Varieties with Isolated Singularities

Authors: Miriam da Silva Pereira, Maria Aparecida Soares Ruas

Abstract: We study codimension two determinantal varieties with isolated singularities. These singularities admit a unique smoothing, thus we can define their Milnor number as the middle Betti number of their generic fiber. For surfaces in C^4, we obtain a Lê-Greuel formula expressing the Milnor number of the surface in terms of the second polar multiplicity and the Milnor number of a generic section. We al… ▽ More We study codimension two determinantal varieties with isolated singularities. These singularities admit a unique smoothing, thus we can define their Milnor number as the middle Betti number of their generic fiber. For surfaces in C^4, we obtain a Lê-Greuel formula expressing the Milnor number of the surface in terms of the second polar multiplicity and the Milnor number of a generic section. We also relate the Milnor number with Ebeling and Gusein-Zade index of the 1- form given by the differential of a generic linear projection defined on the surface. To illustrate the results, in the last section we compute the Milnor number of some normal forms from A. Frühbis-Krüger and A. Neumer [2] list of simple determinantal surface singularities. △ Less

Submitted 28 November, 2011; v1 submitted 24 October, 2011; originally announced October 2011.

Regularity at infinity of real mappings and a Morse-Sard theorem

Authors: L. R. G. Dias, M. A. S. Ruas, M. Tibar

Abstract: We prove a new Morse-Sard type theorem for the asymptotic critical values of semi-algebraic mappings and a new fibration theorem at infinity for $C^2$ mappings. We show the equivalence of three different types of regularity conditions which have been used in the literature in order to control the asymptotic behaviour of mappings. The central role of our picture is played by the $t$-regularity and… ▽ More We prove a new Morse-Sard type theorem for the asymptotic critical values of semi-algebraic mappings and a new fibration theorem at infinity for $C^2$ mappings. We show the equivalence of three different types of regularity conditions which have been used in the literature in order to control the asymptotic behaviour of mappings. The central role of our picture is played by the $t$-regularity and its bridge toward the $ρ$-regularity which implies topological triviality at infinity. △ Less

Submitted 29 March, 2011; originally announced March 2011.

MSC Class: 14D06; 51N10; 14P10; 32S20; 32S15; 58K15; 57BN80

Journal ref: J. Topology, 5 (2012), no. 2, 323--340

Invariants of Relative Right and Contact Equivalences

Authors: Imran Ahmed, Maria Aparecida Soares Ruas

Abstract: We study holomorphic function germs under equivalence relations that preserve an analytic variety. We show that two quasihomogeneous polynomials, not necessarily with isolated singularities, having isomorphic relative Milnor algebras are relative right equivalent. Under the condition that the module of vector fields tangent to the variety is finitely generated, we also show that the relative Tjuri… ▽ More We study holomorphic function germs under equivalence relations that preserve an analytic variety. We show that two quasihomogeneous polynomials, not necessarily with isolated singularities, having isomorphic relative Milnor algebras are relative right equivalent. Under the condition that the module of vector fields tangent to the variety is finitely generated, we also show that the relative Tjurina algebra is a complete invariant for the classification of arbitrary function germs with respect to the relative contact equivalence. This is the relative version of a well known result by Mather and Yau. △ Less

Submitted 6 April, 2019; v1 submitted 8 March, 2010; originally announced March 2010.

Comments: 11 pages. arXiv admin note: substantial text overlap with arXiv:0909.5429

MSC Class: Primary 14E05; 32S30; 14L30; Secondary 14J17; 16W22

Journal ref: Houston Journal of Mathematics, 37 (2011), no. 3, 773-786

Topological Triviality of Families of Singular Surfaces

Authors: R. Callejas-Bedregal, K. Houston, M. A. S. Ruas

Abstract: We study the topological triviality of families of singular surfaces in ${\mathbb C}^3$ parametrized by $\mathcal A$-finitely determined map germs. We prove that the constancy of the Milnor number of the double point locus characterizes the topological triviality of the family. We study the topological triviality of families of singular surfaces in ${\mathbb C}^3$ parametrized by $\mathcal A$-finitely determined map germs. We prove that the constancy of the Milnor number of the double point locus characterizes the topological triviality of the family. △ Less

Submitted 22 November, 2006; originally announced November 2006.

Comments: 19 pages

MSC Class: 58K40; 58K65