We generalize results of the paper math.AG/9803144, in which Chisini's conjecture on the unique reconstruction of f by the curve B is investigated. For this fibre products of generic coverings are studied. The main inequality bounding the degree of a covering in the case of existence of two nonequivalent coverings with the branch curve B is obtained. This inequality is used for the proof of the Chisini conjecture for m-canonical coverings of surfaces of general type for $m\ge 5$.
In this paper we construct 206 examples of Calabi-Yau manifolds with different Euler numbers. All constructed examples are smooth models of double coverings of $P^3$ branched along an octic surface. We allow 11 types of (not necessary isolated) singularities in the branch locus. Thus we broaden the class of examples studied in math.AG/9902057. For every considered example we compute the Euler number and give a precise description of a resolution of singularities.
The article starts with some introductory material about resolution graphs of normal surface singularities (definitions, topological/homological properties, etc). We then discuss the case when the normal surface singularity is an N-fold cyclic covering of a surface germ, branched along a curve given by the germ of an analytic function f. We present non-trivial examples in order to show that from the embedded resolution graph G of f in general it is not possible to recover the resolution graph of the cyclic covering. The main results are the construction of a ``universal covering graph'' from t…
We prove that if two plane curve singularities are equisingular, then they are topologically equivalent. The method we will use is P.~Fortuny~Ayuso's who proved this result for irreducible plane curve singularities.
We study the classification of plane curve singularities in arbitrary characteristic. We first give a bound for the determinacy of a plane curve singularity with respect to pararametrization equivalence in terms of its conductor. Then we classify parametrization simple plane curve singularities which are irreducible by giving a concrete list of normal forms of equations and parametrizations. In characteristic zero, the classification of parametrization simple irreducible plane curve singularities was achieved by Bruce and Gaffney.
We study topological zeta functions of complex plane curve singularities using toric modifications and further developments. As applications of the research method, we prove that the topological zeta function is a topological invariant for complex plane curve singularities, we give a short and new proof of the monodromy conjecture for plane curves.
We present an intersection-theoretical approach to the invariants of plane curve singularities $μ$, $δ$, $r$ related by the Milnor formula $2δ=μ+r-1$. Using Newton transformations we give formulae for $μ$, $δ$, $r$ which imply planar versions of well-known theorems on nondegenerate singularities.
We compute Bernstein-Sato polynomials of some pairs of topologically equivalent plane curve singularities. Some pairs have the same Tjurina number but distinct Bernstein-Sato polynomials, which implies that they are not analytically equivalent.
We show the possible Milnor numbers of deformations of semi-quasi-homogeneous isolated plane curve singularities. In Theorem 1.1 we list integers can be attained as Milnor numbers of a given semi-quasi-homogeneous singularity.
This article, based on the talk given by one of the authors at the Pierrettefest in Castro Urdiales in June 2008, is an overview of a number of recent results on the polar invariants of plane curve singularities.
Esnault-Viehweg developed the theory of cyclic branched coverings $\tilde X\to X$ of smooth surfaces providing a very explicit formula for the decomposition of $H^1(\tilde X,\mathbb{C})$ in terms of a resolution of the ramification locus. Later, the first author applies this to the particular case of coverings of $\mathbb{P}^2$ reducing the problem to a combination of global and local conditions on projective curves. In this paper we extend the above results in three directions: first, the theory is extended to surfaces with quotient singularities, second the ramification locus can be partiall…
We study deformations of plane curve singularities from an analytic point of view and obtain some new concrete results. We show some rather unexpected properties of Puiseux coefficients treated as functions on a suitably defined parameter space. The methods used in paper are very elementary.
In this paper we give some criteria for a family of generically reduced plane curve singularities to be equinormalizable. The first criterion is based on the $δ$-invariant of a (non-reduced) curve singularity which is introduced by Brücker-Greuel (\cite{BG}). The second criterion is based on the I-equisingularity of a $k$-parametric family ($k\geq 1$) of generically reduced plane curve singularities, which is introduced by Nobile (\cite{No}) for one-parametric families. The equivalence of some kinds of equisingularities of a family of generically reduced plane curve singularities is also studi…
The aim of this paper is to show the possible Milnor numbers of deformations of semi-quasi-homogeneous isolated plane curve singularities. Main result states that if $f$ is irreducible and nondegenerate, by deforming $f$ one can attain all Milnor numbers ranging from $μ(f)$ to $μ(f)-r(p-r)$, where $r$ and $p$ are easily computed from the Newton diagram of $f$.
Our purpose is to investigate all defined Poincaré series associated with multi-index filtrations and value semigroups of curve singularities---not necessarily complex---with regard to the property of forgetting variables, i.e., by making variables of the series to be 1. Generalised Poincaré series of motivic nature will be also considered.
We compute the motivic Milnor fiber of a complex plane curve singularity in an inductive and combinatoric way using the extended simplified resolution graph. The method introduced in this article has a consequence that one can study the Hodge-Steenbrink spectrum of such a singularity in terms of that of a quasi-homogeneous singularity.
We provide a tool how one can view a polynomial on the affine plane of bidegree $(a,b)$ - by which we mean that its Newton polygon lies in the triangle spanned by $(a,0)$, $(0,b)$ and the origin - as a curve in a Hirzebruch surface having nice geometric properties. As an application, we study maximal $A_k$-singularities of curves of bidegree $(3,b)$ and find the answer for $b\leq 12$.
In this survey we overview the different approaches and solutions of a question posed by Dimca and Greuel about the quotient of the Milnor and Tjurina numbers.
Greuel, Lossen and Shustin gave a general sufficient numerical condition for the T-smoothness (smoothness and expected dimension) of equisingular families of plane curves. This condition involves a new invariant γfor plane curve singularities, and it is conjectured to be asymptotically proper. In math.AG/0308247, similar sufficient numerical conditions are obtained for the T-smoothness of equisingular families on various classes surfaces. These conditions involve a series of invariants γ_a, 0 <= a <= 1, with γ_1=γ. In the present paper we compute (respectively give bounds for) these invariants…
Let M be a two--dimensional complete intersection. We show how to check whether a mapping f: M-->R^2 is 1-generic with only folds and cusps as singularities. In this case we give an effective method to count the number of positive and negative cusps of a polynomial f, using the signatures of some quadratic forms.
Let C be an integral projective curve with planar singularities. Consider its Jacobian J and the compactified Jacobian J'. We construct a flat family P of Cohen-Macaulay sheaves on J' parametrized by J'; over J, the family P is the Poincare line bundle. We prove that the Fourier-Mukai transform given by P is an auto-equivalence of the derived category of J'.
Let $f=0$ be a plane algebraic curve of degree $d>1$ with an isolated singular point at the origin of the complex plane. We show that the Milnor number $μ_0(f)$ is less than or equal to $(d-1)^2-\left[\frac{d}{2}\right]$, unless $f=0$ is a set of $d$ concurrent lines passing through 0. Then we characterize the curves $f=0$ for which $μ_0(f)=(d-1)^2-\left[\frac{d}{2}\right]$.
We investigate properties of the contact exponent (in the sense of Hironaka [Hi]) of plane algebroid curve singularities over algebraically closed fields of arbitrary characteristic. We prove that the contact exponent is an equisingularity invariant and give a new proof of the stability of the maximal contact. Then we prove a bound for the Milnor number and determine the equisingularity class of algebroid curves for which this bound is attained. We do not use the method of Newton's diagrams. Our tool is the logarithmic distance developed in [GB-P1].
We report on the problem of the existence of complex and real algebraic curves in the plane with prescribed singularities up to analytic and topological equivalence. The question is whether, for a given positive integer $d$ and a finite number of given analytic or topological singularity types, there exist a plane (irreducible) curve of degree $d$ having singular points of the given type as its only singularities. The set of all such curves is a quasi-projective variety, which we call an equisingular family (ESF). We describe, in terms of numerical invariants of the curves and their singularit…
In this paper, we study polar quotients and Łojasiewicz exponents of plane curve singularities, which are {\em not necessarily reduced}. We first show that the polar quotients is a topological invariant. We next prove that the Łojasiewicz gradient exponent can be computed in terms of the polar quotients, and so it is also a topological invariant. As an application, we give effective estimates of the Łojasiewicz exponents in the gradient and classical inequalities of polynomials in two (real or complex) variables.
This paper addresses a very classical topic that goes back at least to Plücker: how to understand a plane curve singularity using its polar curves. Here, we explicitly construct the singular points of a plane curve singularity directly from the weighted cluster of base points of its polars. In particular, we determine the equisingularity class (or topological equivalence class) of a germ of plane curve from the equisingularity class of generic polars and combinatorial data about the non-singular points shared by them.
It is well known that the Gauss map for a complex plane curve is birational, whereas the Gauss map in positive characteristic is not always birational. Let $q$ be a power of a prime integer. We study a certain plane curve of degree $q^2+q+1$ for which the Gauss map is inseparable with inseparable degree $q$. As a special case, we show a relation between the dual curve of the Fermat curve of degree $q^2+q+1$ and the Ballico-Hefez curve.
A real morsification of a real plane curve singularity is a real deformation given by a family of real analytic functions having only real Morse critical points with all saddles on the zero level. We prove the existence of real morsifications for real plane curve singularities having arbitrary real local branches and pairs of complex conjugate branches satisfying some conditions. This was known before only in the case of all local branches being real (A'Campo, Gusein-Zade). We also discuss a relation between real morsifications and the topology of singularities, extending to arbitrary real mor…
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.
In 1982, Tamaki Yano proposed a conjecture predicting the set of b-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In \cite{ACLM-Yano2} we proved the conjecture for the case in which the germ has two Puiseux pairs and its algebraic monodromy has distinct eigenvalues. In this article we aim to study the Bernstein polynomial for any function with the hypotheses above. In particular the set of all common roots of those Bernstein polynomials is given. We provide also bounds for some analytic invariants of singularities and illustrate the comp…
Let $k$ be a field of characteristic zero containing a primitive $n$-th root of unity. Let $C^0_n$ be a singular plane curve of degree $n$ over $k$ admitting an order $n$ automorphism, $n$ nodes as the singularities, and $C_n$ be its normalization. In this paper we study the factors of Prym variety $\mbox{Prym}(\widetilde{C}_n/C_n)$ associated to the double cover $\widetilde{C}_n$ of $C_n$ exactly ramified at the points obtained by the blow-up of the singularities. We provide explicit models of some algebraic curves related to the construction of $\mbox{Prym}(\widetilde{C}_n/C_n)$ as a Prym va…
In this article, we consider an infinite family of normal surface singularities with an integral homology sphere link which is related to the family of space monomial curves with a plane semigroup. These monomial curves appear as the special fibers of equisingular families of curves whose generic fibers are a complex plane branch, and the related surface singularities appear in a proof of the monodromy conjecture for these curves. To investigate whether the link of a normal surface singularity is an integral homology sphere, one can use a characterization that depends on the determinant of the…
Given a planar curve defined by means of a real rational parametrization, we prove that the affine values of the parameter generating the real singularities of the offset are real roots of a univariate polynomial that can be derived from the parametrization of the original curve, without computing or making use of the implicit equation of the offset. By using this result, a finite set containing all the real singularities of the offset, and in particular all the real self-intersections of the offset, can be computed. We also report on experiments carried out in the computer algebra system Mapl…
In this paper we provide asymptotic upper bounds on the complexity in two (closely related) situations. We confirm for the total doubling coverings and not only for the chains the expected bounds of the form $$ κ({\mathcal U}) \le K_1(\log ({1}/δ))^{K_2} . $$ This is done in a rather general setting, i.e. for the $δ$-complement of a polynomial zero-level hypersurface $Y_0$ and for the regular level hypersurfaces $Y_c$ themselves with no assumptions on the singularities of $P$. The coefficient $K_2$ is the ambient dimension $n$ in the first case and $n-1$ in the second case. However, the questi…
A k-ellipse is a plane curve consisting of all points whose distances from k fixed foci sum to a constant. We determine the singularities and genus of its Zariski closure in the complex projective plane. The paper resolves an open problem stated by Nie, Parrilo and Sturmfels in 2008.
A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We obtain a structure theorem for Q-homology planes with smooth locus of non-general type. We show that if a Q-homology plane contains a non-quotient singularity then it is a quotient of an affine cone over a projective curve by an action of a finite group respecting the set of lines through the vertex. In particular, it is contractible, has negative Kodaira dimension and only one singular point. We describe minimal normal completions of such planes.
Let $C$ be an isolated plane curve singularity, and $(C,l)$ be a decorated curve. In this article we compare the equisingular deformations of $C$ and the sandwiched singularity $X(C,l)$. We will prove that for $l \gg 0$ the functor of equisingular deformations of $C$ and $(C,l)$ are equivalent. From this we deduce a proof of a formula for the dimension of the equisingular stratum. Furthermore we will show how compute the equisingularity ideal of the curve singularity $C$, given the minimal (good) resolution of $C$.
In this paper we extend the concept of Milnor fiber and Milnor number of a curve singularity allowing the ambient space to be a quotient surface singularity. A generalization of the local δ-invariant is defined and described in terms of a Q-resolution of the curve singularity. In particular, when applied to the classical case (the ambient space is a smooth surface) one obtains a formula for the classical δ-invariant in terms of a Q-resolution, which simplifies considerably effective computations. All these tools will finally allow for an explicit description of the genus formula of a curve def…
In 1982, Yano proposed a conjecture predicting the $b$-exponents of an irreducible plane curve singularity which is generic in its equisingularity class. In this article we prove the conjecture for the case of two Puiseux pairs and monodromy with distinct eigenvalues. The hypothesis on the monodromy implies that the $b$-exponents coincide with the opposite of the roots of the Bernstein polynomial, and we compute the roots of the Bernstein polynomial.
\noindent Let $μ(f)$ resp. $c(f)$ be the Milnor number resp. the degree of the conductor of an irreducible power series $f\in \bK[[x,y]]$, where $\bK$ is an algebraically closed field of characteristic $p\geq 0$. It is well-known that $μ(f)\geq c(f)$. We give necessary and sufficient conditions for the equality $μ(f)=c(f)$ in terms of the semigroup associated with $f$, provided that $p>\ord f$.
In this paper we describe six pencils of K3-surfaces which have large Picard-Number and contain precisely five singular fibers: four have A-D-E singularities and one is non-reduced. In particular we describe these surfaces as cyclic coverings of the K3-surfaces which Barth and the author described in a previous manuscript (Asian. J. of Math. Vol. 7, No. 4, 519-538, Dec. 2003). In many cases using this description and lattice-Theory we are able to compute the exact Picard-number and to describe explicitly the Picard-lattices.
We study a specific class of deformations of curve singularities: the case when the singular point splits to several ones, such that the total $δ$ invariant is preserved. These are also known as equi-normalizable or equi-generic deformations. We restrict primarily to the deformations of singularities with smooth branches. A natural invariant of the singular type is introduced: the dual graph. It imposes severe restrictions on the possible collisions/deformations. And allows to prove some bounds on the variation of classical invariants in equi-normalizable families. We consider in details defor…
We use classical invariant theory to solve the biholomorphic equivalence problem for two families of plane curve singularities previously considered in the literature. Our calculations motivate an intriguing conjecture that proposes a way of extracting a complete set of invariants of homogeneous plane curve singularities from their moduli algebras.
Let $d,m_1,...,m_r$ be ($r+1$) positive integers, and $P_1,...,P_r$ be $r$ general points in the projective plane ; let $m$ be a positive integer. We prove that there exists a bound $d_0(m)$ such that : If $m_i < m$ ($0<i<r+1$), and $d > d_0(m)$ then the linear system $L$ of plane curves of degree $d$ having a multiplicity at least $m_i$ at each point $P_i$ has the expected dimension ; moreover, if $L$ is not empty, there exists an irreducible plane curve of degree $d$, smooth away from the $r$ points $P_i$, and having an ordinary singularity of the prescribed multiplicity $m_i$ at each point …
We study the projective normality of a minimal surface $X$ which is a ramified double covering over a rational surface $S$ with $\dim|-K_S|\ge 1$. In particular Horikawa surfaces, the minimal surfaces of general type with $K^2_X=2p_g(X)-4$, are of this type, up to resolution of singularities. Let $π$ be the covering map from $X$ to $S$. We show that the $\mathbb{Z}_2$-invariant adjoint divisors $K_X+rπ^*A$ are normally generated, where the integer $r\ge 3$ and $A$ is an ample divisor on $S$.
It is a very old and interesting open problem to characterize those collections of embedded topological types of local plane curve singularities which may appear as singularities of a projective plane curve C of degree d. The goal of the present article is to give a complete (topological) classification of those cases when C is rational and it has a unique singularity which is locally irreducible (i.e. C is unicuspidal) with one Puiseux pair.
