English

Zeta-function and $\mu^*$-Zariski pairs of surfaces

Algebraic Geometry 2022-05-02 v1

Abstract

A Zariski pair of surfaces is a pair of complex polynomial functions in C3\mathbb{C}^3 which is obtained from a classical Zariski pair of projective curves f0(z1,z2,z3)=0f_0(z_1,z_2,z_3)=0 and f1(z1,z2,z3)=0f_1(z_1,z_2,z_3)=0 of degree dd in P2\mathbb{P}^2 by adding a same term of the form zid+mz_i^{d+m} (m1m\geq 1) to both f0f_0 and f1f_1 so that the corresponding affine surfaces of C3\mathbb{C}^3 -- defined by g0:=f0+zid+mg_0:=f_0+z_i^{d+m} and g1:=f1+zid+mg_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, g0g_0 and g1g_1 have the same Milnor number). In the present paper, we show that if f0f_0 and f1f_1 are "convenient" with respect to the coordinates (z1,z2,z3)(z_1,z_2,z_3) and if the singularities of the curves f0=0f_0=0 and f1=0f_1=0 are Newton non-degenerate in some suitable local coordinates, then (g0,g1)(g_0,g_1) is a μ\mu^*-Zariski pair of surfaces, that is, a Zariski pair of surfaces whose polynomials g0g_0 and g1g_1 have the same Teissier's μ\mu^*-sequence but lie in different path-connected components of the μ\mu^*-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 μ\mu^*-constant stratum can always be joined by a "piecewise complex-analytic path".

Keywords

Cite

@article{arxiv.2204.14119,
  title  = {Zeta-function and $\mu^*$-Zariski pairs of surfaces},
  author = {Christophe Eyral and Mutsuo Oka},
  journal= {arXiv preprint arXiv:2204.14119},
  year   = {2022}
}

Comments

33 pages, 3 figures