arXiv subjects

Rodrigo Mendes

Publications and source records attributed to Rodrigo Mendes.

10 recordsLinked to original sources

arXiv2024

Deforming the weighted-homogeneous foliation, and trivializing families of semi-weighted homogeneous ICIS

Let X_o be a weighted-homogeneous complete intersection germ in (R^N,o) or (C^N,o), with arbitrary singularities, possibly non-reduced. Take the foliation of the ambient space by weighted-homogeneous real arcs, \ga_s. Take a deformation of X_o by higher order terms, X_t. Does the foliation \ga_s deform compatibly with X_t? We identify the ``obstruction locus", \Sigma in X_o, outside of which such a deformation does exist, and possesses exceptionally nice properties. Using this deformed foliation we construct a contact trivialization of the family of defining equations by a homeomorphism that is real analytic (resp. Nash) off the origin, differentiable at the origin, whose presentation in weighted-polar coordinates is globally real-analytic (resp. globally Nash), and with controlled Lipschitz/C^1-properties.

math.AG↗

arXiv2024

Detecting fast vanishing loops in complex-analytic germs (and detecting germs that are inner metrically conical)

Let X be a reduced complex-analytic germ of pure dimension n\ge2, with arbitrary singularities (not necessarily normal or complete intersection). Various homology cycles on Link_\ep[X] vanish at different speeds when \ep\to0. We give a condition ensuring fast vanishing loops on X. The condition is in terms of the discriminant and the covering data for "convenient" coverings X\to (C^n,o). No resolution of singularities is involved. For surface germs (n=2) this condition becomes necessary and sufficient. A corollary for surface germs that are strictly complete intersections detects fast loops via singularities of the projectivized tangent cone of X. Fast loops are the simplest obstructions for X to be inner metrically conical. Hence we get simple necessary conditions to the IMC property. For normal surface germs these conditions are also sufficient. We give numerous classes of non-IMC germs and IMC germs.

math.AG↗

arXiv2023

Fast vanishing cycles on perturbations of complex weighted-homogeneous complete intersection germs

Take a complex-analytic germ X in (C^N,o) with arbitrary singularity. In many cases Link[X] contains cycles that vanish faster than linearly, when Link[X] shrinks to the origin. These ``fast cycles" capture the crucial metric/Lipschitz properties of X. We consider germs (of arbitrary dimensions and codimensions) that are perturbations of weighted-homogeneous complete intersections. For such germs we determine the fast cycles (i.e. their homotopy type, tangent cone, vanishing rates) via the weights. This gives a vast zoo of fast cycles with prescribed properties. As an immediate application we get countable families of (distinct) exotic Lipschitz structures on germs of topological manifolds, for each fixed dimension, codimension, and multiplicity. Another application is the obstruction for germs to be inner metrically conical, e.g.: * (with certain assumptions) If X is IMC then the n lowest weights coincide. * Let the surface germ X in (C^3,o) be Newton-non-degenerate and IMC. Then for some of the faces of the Newton diagram the two lowest weights coincide.

math.AG↗

arXiv2023

Multi-$\mathcal{K}$-Lipschitz equivalence in dimension two

In this paper, we study Multi-$\mathcal{K}$-equivalence of multi-germs of functions on the plane, definable in a polynomially bounded o-minimal structure. We partition the germ of the plane at origin into zones of arcs in such a way that it produces a non-Archimedean space (set of orders and width functions) compatible with a given multigerm, encoding its asymptotic behaviour. Such a partition is called Multipizza. We show the existence, uniqueness and complete invariance of Multipizzas with respect to the Multi-$\mathcal{K}$-Lipschitz equivalence.

math.AG↗

arXiv2021

On the link of Lipschitz normally embedded sets

A path-connected subanalytic subset in $\mathbb{R}^n$ is naturally equipped with two metrics: the inner and the outer metrics. We say that a subset is Lipschitz normally embedded (LNE) if these two metrics are equivalent. In this article, we give some criteria for a subanalytic set to be LNE. It is a fundamental question to know if the LNE property is conical, i.e., if it is possible to describe the LNE property of a germ of a subanalytic set in terms of the properties of its link. We answer this question by introducing a new notion called link Lipschitz normally embedding. We prove that this notion is equivalent to the LNE notion in the case of sets with connected links.

math.AG↗

arXiv2018

Topological Classification and Finite Determinacy of knotted maps

We show that the knot type of the link of a real analytic map germ with isolated singularity $f\colon(\mathbb{R}^2,0)\to(\mathbb{R}^4,0)$ is a complete invariant for $C^0$-$\mathscr A$-equivalence. Moreover, we also prove that isolated instability implies $C^0$-finite determinacy, giving an explicit estimate for its degree. For the general case of real analytic map germs, $f\colon (\mathbb{R}^n,0) \rightarrow (\mathbb{R}^p,0)$ ($n \leq p$), we use the Lojasiewicz exponent associated to the Mond's double point ideal $I^2(f)$ to obtain some criteria of Lipschitz and analytic regularity.

math.AG↗

arXiv2018

Lipschitz contact equivalence and real analytic functions

We study the properties of the a complete invariant of the analytic function of two variables with respect to the Lipschitz contact equivalence. This invariant is called pizza. We prove that the pizza of real analytic functions has some continuity properties.

math.MG↗

arXiv2017

Arc criterion of normal embedding

We present a criterion of local Normal Embedding of a semialgebraic (or definable in an o-minimal structure) contained in $R^n$ in terms orders of contact of arcs. Namely, we prove that a semialgebraic set is normally embedded at a point x if and only if for any pair of arcs, coming to this point the inner order of contact is equal to the outer order of contact.

math.MG↗

arXiv2017

Finitness theorem for Multi-K-Bi-Lipschtiz equivalence of map-germs

Let $P^{k}(n,p) $ be the set of all real polynomial map germs $f = ( f_1 , ..., f_p ) : (\mathbb{R}^{n},0) \rightarrow (\mathbb{R}^{p},0)$ with degree of $f_1 , ...,f_p$ less than or equal to $ k \in \mathbb{N}$. The main result of this paper shows that the set of equivalence classes of $ P^{k}(n,p)$, with respect to multi-$\mathcal{K}$-bi-Lipschitz equivalence, is finite.

math.AG↗

arXiv2017

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

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.

math.AG↗