Let $\mathbb{C}^{n+1}_o$ denote the germ of $\mathbb{C}^{n+1}$ at the origin. Let $V$ be a hypersurface germ in $\mathbb{C}^{n+1}_o$ and $W$ a deformation of $V$ over $\mathbb{C}_{o}^{m}$. Under the hypothesis that $W$ is a Newton non-degenerate deformation, in this article we will prove that $W$ is a $μ$-constant deformation if and only if $W$ admits a simultaneous embedded resolution. This result gives a lot of information about $W$, for example, the topological triviality of the family $W$ and the fact that the natural morphism $(W(\mathbb{C}_o)_m)_{red} \rightarrow \mathbb{C}_{o}$ is flat, where $W(\mathbb{C}_o)_m$ is the relative space of $m$-jets. On the way tothe proof of our main result, we give a complete answer to a question ofArnold on the monotonicity of Newton numbers in the case of convenientNewton polyhedra.
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,\ldot…
This paper has been withdrawn. Consider an isolated complex hypersurface singularity, f(x_1,..,x_n)=0. For Newton-non-degenerate singularities the local topology is completely determined by an associated polyhedral object, the Newton diagram. "Most" singularities are not Newton-non-degenerate, for any choice of local coordinates. An old question of Arnol'd asks whether for any hypersurface singularity there exists a stabilization, f(x_1,...,x_n)+z^2_1+...+z^2_r, that becomes Newton-non-degenerate after some change of coordinates. The answer is: "totally no". We give some simple obstructions an…
We recover the Newton diagram (modulo a natural ambiguity) from the link for any surface hypersurface singularity with non-degenerate Newton principal part whose link is a rational homology sphere. As a corollary, we show that the link determines the embedded topological type, the Milnor fibration, and the multiplicity of such a germ. This proves (even a stronger version of) Zariski's Conjecture about the multiplicity for such a singularity.
We give in this work an explicit combinatorial algorithm for the description of the Milnor fiber of a Newton non degenerate surface singularity as a graph manifold. This is based on a previous work by the author describing a general method for the computation of the boundary of the Milnor fiber of any reduced non isolated singularity of complex surface.
We give a definition of Newton non degeneracy independent of the system of generators defining the variety. This definition extends the notion of Newton non degeneracy to varieties that are not necessarily complete intersection. As in the previous definition of non-degeneracy for complete intersection varieties, it is shown that the varieties satisfying our definition can be resolved with a toric modification. Using tools of both toric and tropical geometry we describe the toric modification in terms of the Groebner fan of the ideal defining the variety. The first part of the paper is devoted …
A codimension one singular holomorphic foliation is Newton non-degenerate if it satisfies the classical conditions of Kouchnirenko and Oka, in terms of its Newton polyhedra system. In this paper we prove that a foliation is Newton non-degenerate if and only if it admits a logarithmic reduction of singularities of a combinatorial nature.
We introduce two generalizations of Newton-non-degenerate (Nnd) singularities of hypersurfaces. Roughly speaking, an isolated hypersurface singularity is called topologically Newton-non-degenerate (tNnd) if the local embedded topological singularity type can be restored from a collection of Newton diagrams (for some coordinate choices). A singularity that is not tNnd is called essentially Newton-degenerate. For plane curves we give an explicit characterization of tNnd singularities; for hypersurfaces we provide several examples. Next, we treat the question: whether Nnd or tNnd is a property of…
Let $f(\mathbb{z},\bar{\mathbb{z}})$ be a convenient Newton non-degenerate mixed polynomial with strongly polar non-negative mixed weighted homogeneous face functions. We consider a convenient regular simplicial cone subdivision $Σ^*$ which is admissible for $f$ and take the toric modification $\hatπ : X \to \mathbb{C}^n$ associated with $Σ^*$. We show that the toric modification resolves topologically the singularity of the mixed hypersurface germ defined by $f(\mathbb{z},\bar{\mathbb{z}})$ under the Assumption (*) (Theorem 32). This result is an extension of the first part of Theorem 11 ([4]…
Let $S\subset \mathbb{C}^n$ be a non-singular algebraic set and $f \colon \mathbb{C}^n \to \mathbb{C}$ be a polynomial function. It is well-known that the restriction $f|_S \colon S \to \mathbb{C}$ of $f$ on $S$ is a locally trivial fibration outside a finite set $B(f|_S) \subset \mathbb{C}.$ In this paper, we give an explicit description of a finite set $T_\infty(f|_S) \subset \mathbb{C}$ such that $B(f|_S) \subset K_0(f|_S) \cup T_\infty(f|_S),$ where $K_0(f|_S)$ denotes the set of critical values of the $f|_S.$ Furthermore, $T_\infty(f|_S)$ is contained in the set of critical values of cert…
In his groundbreaking work on classification of singularities with regard to right and stable equivalence of germs, Arnold has listed normal forms for all isolated hypersurface singularities over the complex numbers with either modality less than or equal to two or Milnor number less than or equal to 16. Moreover, he has described an algorithmic classifier, which determines the type of a given such singularity. In the present paper, we extend Arnold's work to a large class of singularities which is unbounded with regard to modality and Milnor number. We develop an algorithmic classifier, which…
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(\mathbf z)$ be an analytic function defined in the neighborhood of the origin of $\mathbb C^n$ which have some Newton degenerate faces. We generalize the Varchenko formula for the zeta function of the Milnor fibration of a Newton non-degenerate function $f$ to this case. As an application, we give an example of a pair of hypersurfaces with the same Newton boundary and the same zeta function with different tangent cones.
We compute the motivic nearby cycles of functions obtained by composition with a polynomial which is non-degenerate with respect to its Newton polyhedron. Our result involves new convolution operators and generalized nearby cycles.
For a one-parameter deformation of an analytic complex function germ of several variables, there is defined its monodromy zeta-function. We give a Varchenko type formula for this zeta-function if the deformation is non-degenerate with respect to its Newton diagram.
We give a formula for the spectral pairs (after Steenbrink) for composite singularities of several variables. (Note that for two variable case is studyed by Nemethi-Steenbrink.) Here composite singularity is given by the equation f(g_1, ..., g_n) = 0. For technical reason, we assume that f is non-degenerated with respect to the Newton boundary.
The Milnor number, μ(X,0), and the singularity genus, p_g(X,0), are fundamental invariants of isolated hypersurface singularities (more generally, of local complete intersections). The long standing Durfee conjecture (and its generalization) predicted the inequality μ(X,0) \geq (n+1)!p_g(X,0), here n=dim(X,0). Recently we have constructed counterexamples, proposed a corrected bound and verified it for the homogeneous complete intersections. In the current paper we treat the case of germs with Newton-non-degenerate principal part when the Newton diagrams are "large enough", i.e. they are large …
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.
Mixed functions are analytic functions in variables $z_1,..., z_n$ and their conjugates $\bar z_1,..., \bar z_n$. We introduce the notion of Newton non-degeneracy for mixed functions and develop a basic tool for the study of mixed hypersurface singularities. We show the existence of a canonical resolution of the singularity, and the existence of the Milnor fibration under the strong non-degeneracy condition.
We prove that for two germs of analytic mappings $f,g\colon (\mathbb{C}^n,0) \rightarrow (\mathbb{C}^p,0)$ with the same Newton polyhedra which are (Khovanskii) non-degenerate and their zero sets are complete intersections with isolated singularity at the origin, there is a piecewise analytic family $\{f_t\}$ of analytic maps with $f_0=f, f_1=g$ which has a so-called {\it uniform stable radius for the Milnor fibration}. As a corollary, we show that their Milnor numbers are equal. Also, a formula for the Milnor number is given in terms of the Newton polyhedra of the component functions. This is…
For a convenient and Newton non-degenerate singularity, the Milnor number is computed from the complement of its Newton diagram in the first quadrant, so-called Kouchnirenko's formula. In this paper, we consider tropical curves dual to subdivisions of this complement for a plane curve singularity and show the existence of a tropical curve satisfying a certain formula, which looks like a well-known formula for a real morsification due to A'Campo and Gusein-Zade.
Let $(X,o)$ be a 3-dimensional terminal singularity of type $cD$ or $cE$ defined in $\mathbb{C}^4$ by an equation non-degenerate with respect to its Newton diagram. We show that there is not more than 1 non-rational divisor $E$ over $(X,o)$ with discrepancy $a(E,X)=1$. We also describe all blowups $σ$ of $(X,o)$ such that $E=\Exc(σ)$ is non-rational and $a(E,X)=1$.
In this article, we introduce a notion of non-degeneracy, with respect to certain Newton polyhedra, for rational functions over non-Archimedean locals fields of arbitrary characteristic. We study the local zeta functions attached to non-degenerate rational functions, we show the existence of a meromorphic continuation for these zeta functions, as rational functions of $q^{-s}$, and give explicit formulas. In contrast with the classical local zeta functions, the meromorphic continuation of zeta functions for rational functions have poles with positive and negative real parts.
A mixed polynomial $f(\boldsymbol{z}, \bar{\boldsymbol{z}})$ is called a mixed weighted homogeneous polynomial (Definition 5) if it is both radially and polar weighted homogeneous. Let $f$ be a mixed weighted homogeneous polynomial with respect to a strictly positive radial weight vector $P$ and a polar weight vector $Q$. Suppose that $f$ is Newton non-degenerate over a compact face $Δ(P)$ and polar weighted homogeneous of non-zero polar degree with respect to $Q$. Then $f : {\mathbb{C}^*}^n \to \mathbb{C}$ has no mixed critical points. Moreover, under the assumption $f^{-1}(0) \cap {\mathbb{C…
In this article, we study local zeta functions over non-Archimedean locals fields of arbitrary characteristic attached to rational functions and characters $χ$ of the units of the ring of integers $\mathcal{O}_{K}$, by using an approach based on the multivariate $π$-adic stationary phase formula and Newton polyhedra. When the rational function is non-degenerate with respect to its Newton polyhedron, we give an explicit formula for the local zeta function and a list of the possible poles in terms of the normal vectors of the supporting hyperplanes of the Newton polyhedron attached to the ration…
Let $f$ be an isolated singularity at the origin of $\mathbb{C}^n$. One of many invariants that can be associated with $f$ is its Łojasiewicz exponent $\mathcal{L}_0 (f)$, which measures, to some extent, the topology of $f$. We give, for generic surface singularities $f$, an effective formula for $\mathcal{L}_0 (f)$ in terms of the Newton polyhedron of $f$. This is a realization of one of Arnold's postulates.
According to the Kouchnirenko theorem, for a generic (precisely non-degenerate in the Kouchnirenko sense) isolated singularity $f$ its Milnor number $μ(f)$ is equal to the Newton number $ν(Γ_{+}(f))$ of a combinatorial object associated to $f$, the Newton polyhedron $Γ_+ (f)$. We give a simple condition characterising, in terms of $Γ_+ (f)$ and $Γ_+ (g)$, the equality $ν(Γ_{+}(f)) = ν(Γ_{+}(g))$, for any surface singularities $f$ and $g$ satisfying $Γ_+ (f) \subset Γ_+ (g)$. This is a complete solution to an Arnold's problem (1982-16) in this case.
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.
The jump of the Milnor number of an isolated singularity $f_{0}$ is the minimal non-zero difference between the Milnor numbers of $f_{0}$ and one of its deformation $(f_{s}).$ In the case $f_{s}$ are non-degenerate singularities we call the jump non-degenerate. We give a formula (an inductive algorithm using diophantine equations) for the non-degenerate jump of $f_{0}$ in the case $f_{0}$ is a convenient singularity with only one $(n-1)$-dimensional face of its Newton diagram which equivalently (in our problem) can be replaced by the Brieskorn-Pham singularities.
The monodromy conjecture is an umbrella term for several conjectured relationships between poles of zeta functions, monodromy eigenvalues and roots of Bernstein-Sato polynomials in arithmetic geometry and singularity theory. Even the weakest of these relations -- the Denef--Loeser conjecture on topological zeta functions -- is open for surface singularities. We prove it for a wide class of multidimensional singularities that are non-degenerate with respect to their Newton polyhedra, including all such singularities of functions of four variables. A crucial difference from the known case of thr…
We show that the isolated invariant branches globalize to algebraic curves, when we consider weak toric type complex hyperbolic foliations on projective toric ambient surfaces. To do it, we pass through a characterization of weak toric type foliations in terms of "non-degeneracy" conditions, associated to Newton polygons. We also give a description of the relationship between invariant algebraic curves and isolated invariant branches, valid for the case of toric type, by means of the following dichotomy. Either there is a rational first integral and there are no isolated invariant branches or …
Let $C$ be a smooth projective curve in $\mathbb{P}^1\times \mathbb{P}^1$ of genus $g\neq 4$, and assume that it is birationally equivalent to a curve defined by a Laurent polynomial that is non-degenerate with respect to its Newton polygon $Δ$. Then we show that the convex hull $Δ^{(1)}$ of the interior lattice points of $Δ$ is a standard rectangle, up to a unimodular transformation. Our main auxiliary result, which we believe to be interesting in its own right, is that the first scrollar Betti numbers of $Δ$-non-degenerate curves are encoded in the combinatorics of $Δ^{(1)}$, if $Δ$ satisfie…
We establish Kyoji Saito's continuous limit distribution for the spectrum of Newton non-degenerate hypersurface singularities. Investigating Saito's notion of dominant value in the case of irreducible plane curve singularities, we find that the log canonical threshold is strictly bounded below by the doubled inverse of the Milnor number. We show that this bound is asymptotically sharp.
For a generic (polynomial) one-parameter deformation of a complete intersection, there is defined its monodromy zeta-function. We provide explicit formulae for this zeta-function in terms of the corresponding Newton polyhedra in the case the deformation is non-degenerate with respect to its Newton polyhedra. Using this result we obtain the formula for the monodromy zeta-function at the origin of a polynomial on a complete intersection, which is an analog of the Libgober--Sperber theorem.
This paper is dedicated to the description of the poles of the Igusa local zeta functions $Z(s,f,v)$ when $f(x,y)$ satisfies a new non degeneracy condition, that we have called arithmetic non degeneracy. More precisely, we attach to each polynomial $f(x,y)$, a collection of convex sets $Γ^{A}$ called the arithmetic Newton polygon of $f(x,y)$, and introduce the notion of arithmetic non degeneracy with respect to $Γ^{A}(f)$. The set of degenerate polynomials, with respect to a fixed geometric Newton polygon, contains an open subset, for the Zariski topology, formed by non degenerate polynomials …
The work is a detailed study of rational singularities of multiplicity 3 (RTP-singularities, for short). We give a list of nonisolated hypersurface singularities of which normalisations are the RTP-singularities, and construct their minimal resolution graphs by means of a subdivision of Newton polygons of those -- a method introduced by M. Oka for isolated complete intersection singularities. We show that nonisolated forms of RTP-singularities and their normalisations are both Newton non-degenerate.
We consider the notions of Groebner fan and Newton non-degeneracy for an ideal on a toric variety, extending the two existing notions for ideals on affine spaces. We prove, without assumptions on the characteristic of the base fields, that the "Groebner fan" of such an ideal is actually a polyhedral fan and that a sub-variety defined by a Newton non-degenerate ideal on a toric variety $X_σ$ admits a toric embedded resolution of singularities $Z\longrightarrow X_σ.$
In this article, we study local zeta functions attached to Laurent polynomials over p-adic fields, which are non-degenerate with respect to their Newton polytopes at infinity. As an application we obtain asymptotic expansions for p-adic oscillatory integrals attached to Laurent polynomials. We show the existence of two different asymptotic expansions for p-adic oscillatory integrals, one when the absolute value of the parameter approaches infinity, the other when the absolute value of the parameter approaches zero. These two asymptotic expansions are controlled by the poles of twisted local ze…
The L-function of a non-degenerate twisted Witt extension is proved to be a polynomial. Its Newton polygon is proved to lie above the Hodge polygon of that extension. And the Newton polygons of the Gauss-Heilbronn sums are explicitly determined, generalizing the Stickelberger theorem.
To a polynomial $f$ over a non-archimedean local field $K$ and a character $χ$ of the group of units of the valuation ring of $K$ one associates Igusa's local zeta function $Z(s,f,χ)$. In this paper, we study the local zeta function $Z(s,f,χ)$ associated to a non-degenerate polynomial $f$, by using an approach based on the p-adic stationary phase formula and Néron p-desingularization. We give a small set of candidates for the poles of $Z(s,f,χ)$ in terms of the Newton polyhedron $ Γ(f)$ of $f$. We also show that for almost all $χ$, the local zeta function $Z(s,f,χ)$ is a polynomial in $q^{-s}$…
We consider a continuous family $(f_s)$, $s\in[0,1]$ of complex polynomials in two variables with isolated singularities, that are Newton non-degenerate. We suppose that the Euler characteristic of a generic fiber is constant (or equivalently the sum of the affine Milnor number and the Milnor number at infinity $μ(s)+λ(s)$ is constant). We firstly prove that the set of critical values at infinity depends continuously on $s$, and secondly that the degree of the $f_s$ is constant (up to an algebraic automorphism of $\Cc^2$).
We study the twisted local zeta function associated to a polynomial in two variables with coefficients in a non-Archimedean local field of arbitrary characteristic. Under the hypothesis that the polynomial is arithmetically non degenerate, we obtain an explicit list of candidates for the poles in terms of geometric data obtained from a family of arithmetic Newton polygons attached to the polynomial. The notion of arithmetical non degeneracy due to Saia and Zúñiga-Galindo is weaker than the usual notion of non degeneracy due to Kouchnirenko. As an application we obtain asymptotic expansions for…
Let $f$ be a polynomial function over the complex numbers and let $ϕ$ be a smooth function over $\mathbb{C}$ with compact support. When $f$ is non-degenerate with respect to its Newton polyhedron, we give an explicit list of candidate poles for the complex local zeta function attached to $f$ and $ϕ$. The provided list is given just in terms of the normal vectors to the supporting hyperplanes of the Newton polyhedron attached to $f$. More precisely, our list does not contain the candidate poles coming from the additional vectors required in the regular conical subdivision of the first orthant, …
We establish a principal value integral formula, for the residue of the largest non-trivial candidate pole of the real or complex local zeta function associated to an analytic germ f, which is non-degenerate with respect to its Newton polyhedron. In particular, up to an easy non-zero factor, this residue only depends on the (tau_0)-principal part of f, where tau_0 is the smallest face of the Newton polyhedron intersecting the diagonal. This formula allows us to prove some vanishing results for the residue. More precisely, we prove that the residue vanishes when tau_0 is unstable, and we give a…
