arXiv subjects
Publications and source records attributed to Christophe Eyral.
To the best of the authors' knowledge, all previously known examples of $\mu$-, $\mu^*$-, link-, or ordinary Zariski pairs of surface singularities in $\mathbb{C}^3$ consist of (possibly weighted) L\^e-Yomdin singularities. In this paper, we present an example of a $\mu$-Zariski pair involving surface singularities that are not of L\^e-Yomdin type.
We investigate surface singularities defined by weighted-L\^e-Yomdin polynomials, with a particular focus on a specific subclass that we refer to as Newton weighted-L\^e-Yomdin polynomials. In particular, using polynomials in this subclass, we develop a method to construct new $\mu$-Zariski pairs of surface singularities.
We show that the natural stratifications arising from certain deformation families of line singularities with constant L\^e numbers satisfy Bekka's $(c)$-regularity condition. As a corollary, we obtain that these families are topologically equisingular. Similar results for families of isolated singularities were established by Abderrahmane.
Let $f$ be a (possibly Newton degenerate) weighted homogeneous polynomial defining an isolated surface singularity at the origin of $\mathbb{C}^3$, and let $\{f_s\}$ be a generic deformation of its coefficients such that $f_s$ is Newton non-degenerate for $s\not=0$. We show that there exists an ''admissible'' simultaneous good resolution of the family of functions $f_s$ for all small $s$, including $s=0$ which corresponds to the (possibly Newton degenerate) function $f$. As an application, we give a new geometrical proof of a weak version of the Milnor-Orlik theorem that asserts that the monodromy zeta-function of $f$ (and hence its Milnor number) is completely determined by its weight, its weighted degree and its Newton boundary.
We introduce a class of complex surface singularities - the blow-$ADE$ singularities - which are likely to be stable with respect to $μ^*$-constant deformations. We prove such a stability property in several special cases. Here, we emphasize that we are not just considering deformation families for small values of the deformation parameter but families connecting any two elements in the $μ^*$-constant stratum.
A Zariski pair of surfaces is a pair of complex polynomial functions in $\mathbb{C}^3$ which is obtained from a classical Zariski pair of projective curves $f_0(z_1,z_2,z_3)=0$ and $f_1(z_1,z_2,z_3)=0$ of degree $d$ in $\mathbb{P}^2$ by adding a same term of the form $z_i^{d+m}$ ($m\geq 1$) to both $f_0$ and $f_1$ so that the corresponding affine surfaces of $\mathbb{C}^3$ -- defined by $g_0:=f_0+z_i^{d+m}$ and $g_1:=f_1+z_i^{d+m}$ -- have an isolated singularity at the origin and the same zeta-function for the monodromy associated with their Milnor fibrations (so, in particular, $g_0$ and $g_1$ have the same Milnor number). In the present paper, we show that if $f_0$ and $f_1$ are "convenient" with respect to the coordinates $(z_1,z_2,z_3)$ and if the singularities of the curves $f_0=0$ and $f_1=0$ are Newton non-degenerate in some suitable local coordinates, then $(g_0,g_1)$ is a $μ^*$-Zariski pair of surfaces, that is, a Zariski pair of surfaces whose polynomials $g_0$ and $g_1$ have the same Teissier's $μ^*$-sequence but lie in different path-connected components of the $μ^*$-constant stratum. To this end, we prove a new general formula that gives, under appropriate conditions, the Milnor number of functions of the above type, and we show (in a general setting) that two polynomials functions lying in the same path-connected component of the $μ^*$-constant stratum can always be joined by a "piecewise complex-analytic path".
It is well known that the diffeomorphism-type of the Milnor fibration of a (Newton) non-degenerate polynomial function $f$ is uniquely determined by the Newton boundary of $f$. In the present paper, we generalize this result to certain degenerate functions, namely we show that the diffeomorphism-type of the Milnor fibration of a (possibly degenerate) polynomial function of the form $f=f^1\cdots f^{k_0}$ is uniquely determined by the Newton boundaries of $f^1,\ldots, f^{k_0}$ if $\{f^{k_1}=\cdots=f^{k_m}=0\}$ is a non-degenerate complete intersection variety for any $k_1,\ldots,k_m\in \{1,\ldots, k_0\}$.
In this note, we study the behaviour of the Lojasiewicz exponent under hyperplane sections and its relation to the order of tangency.
We give a criterion to test geometric properties such as Whitney equisingularity and Thom's $a_f$ condition for new families of (possibly non-isolated) hypersurface singularities that "behave well" with respect to their Newton diagrams. As an important corollary, we obtain that in such families all members have isomorphic Milnor fibrations.
We present new families of weighted homogeneous and Newton non-degenerate line singularities that satisfy the Zariski multiplicity conjecture.
We give an algorithm to compute the Lê numbers of (the germ of) a Newton non-degenerate complex analytic function $f\colon(\mathbb{C}^n,0) \rightarrow (\mathbb{C},0)$ in terms of certain invariants attached to the Newton diagram of the function $f+z_1^{α_1}+\cdots +z_d^{α_d}$, where $d$ is the dimension of the critical locus of $f$ and $α_1,\ldots, α_d$ are sufficiently large integers. This is a version for non-isolated singularities of a famous theorem of A. G. Kouchnirenko. As a corollary, we obtain that Newton non-degenerate functions with the same Newton diagram have the same Lê numbers.
Let $\{f_t\}$ be a family of complex polynomial functions with line singularities. We show that if $\{f_t\}$ has a uniform stable radius (for the corresponding Milnor fibrations), then the Lê numbers of the functions $f_t$ are independent of $t$ for all small $t$. In the case of isolated singularities --- a case for which the only non-zero Lê number coincides with the Milnor number --- a similar assertion was proved by M. Oka and D. O'Shea. By combining our result with a theorem of J. Fernández de Bobadilla --- which says that families of line singularities in $\mathbb{C}^n$, $n\geq 5$, with constant Lê numbers are topologically trivial --- it follows that a family of line singularities in $\mathbb{C}^n$, $n\geq 5$, is topologically trivial if it has a uniform stable radius. As an important example, we show that families of weighted homogeneous line singularities have a uniform stable radius if the nearby fibres $f_t^{-1}(η)$, $η\not=0$, are "uniformly" non-singular with respect to the deformation parameter $t$.
The classical Zariski-van Kampen theorem gives a presentation of the fundamental group of the complement of a complex algebraic curve in $\mathbb{P}^2$. The first generalization of this theorem to singular (quasi-projective) varieties was given by the first author. In both cases, the relations are generated by the standard monodromy variation operators associated with the special members of a generic pencil of hyperplane sections. In the present paper, we give a new generalization in which the relations are generated by the relative monodromy variation operators introduced by D. Chéniot and the first author. The advantage of using the relative operators is not only to cover a larger class of varieties but also to unify the Zariski-van Kampen type theorems for the fundamental group and for higher homotopy groups. In the special case of non-singular varieties, the main result of this paper was conjectured by D. Chéniot and the first author.
We investigate the equisingularity question for $1$-parameter deformation families of mixed polynomial functions $f_t(\mathbf{z},\bar{\mathbf{z}})$ from the Newton polygon point of view. We show that if the members $f_t$ of the family satisfy a number of elementary conditions, which can be easily described in terms of the Newton polygon, then the corresponding family of mixed hypersurfaces $f_t^{-1}(0)$ is Whitney equisingular (and hence topologically equisingular) and satisfies the Thom condition.
In an unpublished lecture note, J. Briançon observed that if $\{f_t\}$ is a family of isolated complex hypersurface singularities such that the Newton boundary of $f_t$ is independent of $t$ and $f_t$ is non-degenerate, then the corresponding family of hypersurfaces $\{f_t^{-1}(0)\}$ is Whitney equisingular (and hence topologically equisingular). A first generalization of this assertion to families with non-isolated singularities was given by the second author under a rather technical condition. In the present paper, we give a new generalization under a simpler condition.
We prove that if $\{f_t\}$ is a family of line singularities with constant Lê numbers and such that $f_0$ is a homogeneous polynomial, then $\{f_t\}$ is equimultiple. This extends to line singularities a well known theorem of A. M. Gabrièlov and A. G. Kušnirenko concerning isolated singularities. As an application, we show that if $\{f_t\}$ is a topologically $\mathscr{V}$-equisingular family of line singularities, with $f_0$ homogeneous, then $\{f_t\}$ is equimultiple. This provides a new partial positive answer to the famous Zariski multiplicity conjecture for a special class of non-isolated hypersurface singularities.
An \emph{$\mathbb{R}$-join-type curve} is a curve in $\mathbb{C}^2$ defined by an equation of the form \begin{equation*} a\cdot\prod_{j=1}^\ell (y-β_j)^{ν_j} = b\cdot\prod_{i=1}^m (x-α_i)^{λ_i}, \end{equation*} where the coefficients $a$, $b$, $α_i$ and $β_j$ are \emph{real} numbers. For generic values of $a$ and $b$, the singular locus of the curve consists of the points $(α_i,β_j)$ with $λ_i,ν_j\geq 2$ (so-called \emph{inner} singularities). In the non-generic case, the inner singularities are not the only ones: the curve may also have \emph{`outer'} singularities. The fundamental groups of (the complements of) curves having only inner singularities are considered in \cite{O}. In the present paper, we investigate the fundamental groups of a special class of curves possessing outer singularities.
The existence of Alexander-equivalent Zariski pairs dealing with irreducible curves of degree 6 was proved by A. Degtyarev. However, up to now, no explicit example of such a pair was available (only the existence was known). In this paper, we construct the first concrete example.