13 pages. This is a minor revision of the last version with some changes in some definitions and proofs. To appear in the Proceedings of the American Mathematical Society
We address a metric version of Zariski's multiplicity conjecture at infinity that says that two complex algebraic affine sets which are bi-Lipschitz homeomorphic at infinity must have the same degree. More specifically, we prove that the degree is a bi-Lipschitz invariant at infinity when the bi-Lipschitz homeomorphism has Lipschitz constants close to 1. In particular, we have that a family of complex algebraic sets bi-Lipschitz equisingular at infinity has constant degree. Moreover, we prove that if two polynomials are weakly rugose equivalent at infinity, then they have the same degree. In particular, we obtain that if two polynomials are rugose equivalent at infinity or bi-Lipschitz contact equivalent at infinity or bi-Lipschitz right-left equivalent at infinity, then they have the same degree.
We discuss some features of the so-called Zariski's multiplicity problem especially the application of the work of A'Campo on the zeta function of a monodromy of an isolated singularity of a complex hypersurface to the problem.
In this paper we present some applications of A'Campo-Lê's Theorem and we study some relations between Zariski's Questions A and B. It is presented some classes of homeomorphisms that preserve multiplicity and tangent cones of complex analytic sets. Moreover, we present a class of homeomorphisms that has the multiplicity as an invariant when we consider right equivalence and this class contains many known classes of homeomorphisms that preserve tangent cones. In particular, we present some effective approaches to Zariski's Question A. We show a version of these results looking at infinity. Add…
Soient $f,g\colon (\hbox{åC}^n,0) \to (\hbox{åC},0)$ des germes de fonctions holomorphes réduits. Nous montrons que $f$ et $g$ ont la même multiplicité en 0 si et seulement s'il existe des germes réduits $f'$ et $g'$ analytiquement équivalents à $f$ et $g$, respectivement, tels que $f'$ et $g'$ satisfassent une inégalité du type de Rouché par rapport à un `petit' cercle générique autour de~0. Comme application, nous donnons une reformulation de la question de Zariski sur la multiplicité et une réponse partielle positive à celle--ci.
In 1971, Zariski proposed some questions in Theory of Singularities. One of such problems is the so-called, nowadays, Zariski's multiplicity conjecture. In this work, we consider the version of this conjecture for families. We answer positively Zariski's multiplicity conjecture for a special class of non-isolated singularities.
This paper is devoted to study multiplicity and regularity as well as to present some classifications of complex analytic sets. We present an equivalence for complex analytical sets, namely blow-spherical equivalence and we receive several applications with this new approach. For example, we reduce to homogeneous complex algebraic sets a version of Zariski's multiplicity conjecture in the case of blow-spherical homeomorphism, we give some partial answers to the Zariski's multiplicity conjecture, we show that a blow-spherical regular complex analytic set is smooth and we give a complete classif…
The purpose of this paper is to provide a new account of multiplicity for finite morphisms between smooth projective varieties. Traditionally, this has been defined using commutative algebra in terms of the length of integral ring extensions. In model theory, a different approch to multiplicity was developed by Zilber using the techniques of non-standard analysis. Here, we first reformulate Zilber's method in the language of algebraic geometry and secondly show that, in classical projective situations, the two notions essentially coincide. As a consequence, we can recover intersection theory i…
We give partial answers to a metric version of Zariski's multiplicity conjecture. In particular, we prove the multiplicity of complex analytic surface (not necessarily isolated) singularities in $\mathbb{C}^3$ is a bi-Lipschitz invariant.
We study invariance of multiplicity of complex analytic germs and degree of complex affine sets under outer bi-Lipschitz transformations (outer bi-Lipschitz homeomorphims of germs in the first case and outer bi-Lipschitz homeomorphims at infinity in the second case). We prove that invariance of multiplicity in the local case is equivalent to invariance of degree in the global case. We prove invariance for curves and surfaces. In the way we prove invariance of the tangent cone and relative multiplicities at infinity under outer bi-Lipschitz homeomorphims at infinity, and that the abstract topol…
This paper provides a non-standard analogue of Bezout's theorem. This is acheived by showing that, in all characteristics, the notion of Zariski multiplicity coincides with intersection multiplicity when we consider the full families of projective degree d and degree e curves. The result is particularly interesting in that it holds even when we consider intersections at singular points of curves or when the curves contain non-reduced components. The proof also provides motivation for the fact that tangency is a definable relation for families of curves inside a non-linear 1-dimensional Zariski…
The multiplicity of an algebraic curve $C$ in the complex plane at a point $p$ on that curve is defined as the number of points that occur at the intersection of $C$ with a general complex line that passes close to the point $p$. It is shown that $p$ is a singular point of the curve $C$ if and only if this multiplicity is greater than or equal to 2, in this sense, such an integer number can be considered as a measure of how singular can be a point of the curve $C$. In these notes, we address the classical concept of multiplicity of singular points of complex algebraic sets (not necessarily com…
Given a point S and any irreducible algebraic curve C in P^2 (with any type of singularities), we consider the caustic of reflection defined as the Zariski closure of the envelope of the reflected lines from the point S on the curve C. We identify this caustic with the Zariski closure of the image of C by a rational map. Thanks to a general fundamental lemma, we give a formula for the degree of the caustic of reflection in terms of multiplicity numbers of C (or of its branches). Our formula holds in every case. We also give some precisions about Plücker formulas.
We show that complex local systems with quasi-unipotent monodromy at infinity over a normal complex variety are Zariski dense in their moduli. v2: we waited for feedback and added a consequence of Alexandr Petrov's theorem. 3: we tightened the last section. Final version: appears in Israel Journal of Mathematics. footnote added to Conjecture 1.1: Aaron Landesman and Daniel Litt just made available a preprint showing that there is a lower bound for the rank of geometric local systems with infinite mon-odromy on certain curves, and consequently the conjecture can not be true in this generality.
Suppose $X$ is a smooth quasiprojective variety over $\cc$ and $ρ: π_1(X,x) \to SL(2,\cc)$ is a Zariski-dense representation with quasiunipotent monodromy at infinity. Then $ρ$ factors through a map $X\to Y$ with $Y$ either a DM-curve or a Shimura modular stack.
The multiplicity (resp. degree) of a function $f$ relative to a semianalytic subset $S$ of $\mathbb{R}^n$ is the greatest (resp. smallest) exponent among numbers $j$ such that the inequality $|f(x)|\leq C\|x\|^j$ holds on $S$ near $0$ (resp. near infinity) for some constant $C$. We show that there exists a family of curves $\{Γ_d\}_{d\in \mathbb{N}}$, determined only by the set, such that the relative multiplicity of any polynomial of degree $d$ is equal to its relative multiplicity with respect to $Γ_d$. Moreover, a semianalytic family $(S_t)_{t\in\mathbb{R}^m}$ of sets given by inequalities …
In this book we describe an approach through toric geometry to the following problem: "estimate the number (counted with appropriate multiplicity) of isolated solutions of n polynomial equations in n variables over an algebraically closed field k." The outcome of this approach is the number of solutions for "generic" systems in terms of their "Newton polytopes," and an explicit characterization of what makes a system "generic." The pioneering work in this field was done in the 1970s by Kushnirenko, Bernstein and Khovanskii, who completely solved the problem of counting solutions of generic sys…
