We classify normal stable surfaces with $K_X^2 = 1$, $p_g = 2$ and $q=0$ with a unique singular point which is a non-canonical T-singularity, thus exhibiting two divisors in the main component and a new irreducible component of the moduli space of stable surfaces $\overline\gothM_{1,3}$.
Log del Pezzo surfaces play the role of the opposite of surfaces of general type. We will completely classify all the log del Pezzo surfaces of rank 2 and Cartier index 3 with a unique singularity.
We define local residues of holomorphic 1-forms on an isolated surface singularity that have isolated zeros and prove that a certain residue equals the index of the 1-forms.
The set of volumes of stable surfaces does have accumulation points. In this paper, we study this phenomenon for surfaces with one cyclic quotient singularity, towards answering the question under which conditions we can still have boundedness. Effective bounds allow listing singularities that might appear on a stable surface after fixing its invariants. We find optimal inequalities for stable surfaces with one cyclic quotient singularity, which can be used to prove boundedness under certain conditions. We also introduce the notion of generalized T-singularity, which is a natural generalizatio…
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.
Let $(S,0)$ be a rational complex surface singularity with reduced fundamental cycle, also known as a {\em minimal} singularity. Using a fundamental result by M. Spivakovsky, we explain how to get a minimal resolution of the discriminant curve for a generic projection of $(S,0)$ onto $(\C^2,0)$ directly from the resolution graph of $(S,0)$.
Working over a perfect field, I classify normal del Pezzo surfaces with base number one that contain a nonrational singularity. They form a huge infinite hierarchy; contractions of ruled surfaces lie on top of it. Descending the hierarchy hinges on a generalized version of elementary transformations. As an application, I determine the structure of 2-dimensional anticanonical models for arbitrary normal surfaces.
We describe the embedded resolution of a quasi-ordinary surface singularity (V,p) which results from applying the canonical resolution of Bierstone-Milman to (V,p). We show that this process depends solely on the characteristic pairs of (V,p), as predicted by Lipman. We describe the process explicitly enough that a resolution graph for (V,p) could in principle be obtained by computer using only the characteristic pairs.
In this paper, we prove that a pair of the minimal resolution of a del Pezzo surface with rational double points whose general anti-canonical member is smooth and its exceptional divisor lifts to the Witt ring. We also classify a del Pezzo surface with rational double points whose anti-canonical members are all singular. As a corollary, we determine all singularity types of del Pezzo surfaces with rational double points which only appear in positive characteristic.
In this paper, we first present the complete list of the singularity types of the Picard number one Gorenstein log del Pezzo surface and the number of the isomorphism classes with the given singularity type. Then we give out a method to find out all singularity types of Gorenstein log del Pezzo surface. As an application, we present the complete list of the Dynkin type of the Picard number two Gorenstein log del Pezzo surfaces. Finally we present the complete list of the singularity type of the relatively minimal Gorenstein log del Pezzo surface and the number of the isomorphism classes with t…
Inspired by the recent progress by Coates-Corti-Kasprzyk et al. on Mirror Symmetry for del Pezzo surfaces, we show that for any positive integer k the deformation families of del Pezzo surfaces with a single 1/k(1,1) singularity (and no other singular points) fit into a single cascade. Additionally we construct models and toric degenerations of these surfaces embedded in toric varieties in codimension less than or equal two. Several of these directly generalise constructions of Reid-Suzuki (in the case k=3). We identify a root system in the Picard lattice, and in light of the work of Gross-Hac…
We discuss the evidence for and implications of a conjecture that the universal abelian cover of a Q-Gorenstein surface singularity with finite local homology (i.e., the singularity link is a Q-homology sphere) is a complete intersection singularity.
We consider a conjectured topological inequality for the number of equisingular moduli of a rational surface singularity, and prove it in some natural special cases. When the resolution dual graph is "sufficiently negative" (in a precise sense), we verify the inequality via an easy cohomological vanishing theorem, which implies that this number is computed simply from the graph (Theorem 3.10). To consider an important and less restrictive meaning of "sufficiently negative" requires a much more difficult "hard vanishing theorem" (Theorem 4.5), which is false in characteristic p. Theorem 7.9 ver…
It is shown that the log-canonical threshold of a curve with an isolated singularity is computed by the term ideal of the curve in a suitable system of local parameters at the singularity. The proof uses the Enriques diagram of the singularity and shows that the log-canonical threshold depends only on a non-degenerate path of that diagram.
Graduate School of Mathematical Sciences, University of Tokyo(东京大学大学院数理科学研究科);Department of Mathematics, Faculty of Science, Saitama University(埼玉大学理学部数学系)
Earlier the authors considered and, in some cases, computed Poincare series of two sorts of multi-index filtrations on the ring of germs of functions on a complex (normal) surface singularity (in particular on the complex plane). A filtration from the first class was defined by a curve (with several branches) on the surface singularity. The other one (so called divisorial filtration) was defined by a set of components of the exceptional divisor of a modification of the surface singularity. Here we define a filtration corresponding to an ideal or to a set of ideals in the ring of germs of funct…
Let f be a hypersurface surface local singularity whose zero set has 1-dimensional singular locus. We develop an explicit procedure that provides the boundary of the Milnor fibre of f as an oriented plumbed 3-manifold. The method provides the characteristic polynomial of the algebraic monodromy as well. Moreover, for any analytic germ g such that the pair (f,g) is an isolated complete intersection singularity, the (multiplicity system of the) open book decomposition of the boundary with binding determined by g and pages determined by the argument of g is also computed. In order to do this, we …
This paper focuses on the classification of all toric log Del Pezzo surfaces with exactly one singularity up to isomorphism, and on the description of how they are embedded as intersections of finitely many quadrics into suitable projective spaces.
We show that a homology plane of general type has at worst a single cyclic quotient singular point. An example of such a surface with a singular point does exist. We also show that the automorphism group of a smooth contractible surface of general type is cyclic.
We explore the connection between the rank of a polynomial and the singularities of its vanishing locus. We first describe the singularity of generic polynomials of fixed rank. We then focus on cubic surfaces. Cubic surfaces with isolated singularities are known to fall into 22 singularity types. We compute the rank of a cubic surface of each singularity type. This enables us to find the possible singular loci of a cubic surface of fixed rank. Finally, we study connections to the Hessian discriminant. We show that a cubic surface with singularities that are not ordinary double points lies on t…
For a finite subgroup $G$ of $\operatorname{GL}(2, \mathbb C)$, we consider the moduli space ${\mathcal M}_θ$ of $G$-constellations. It depends on the stability parameter $θ$ and if $θ$ is generic it is a resolution of singularities of $\mathbb C^2/G$. In this paper, we show that a resolution $Y$ of $\mathbb C^2/G$ is isomorphic to ${\mathcal M}_θ$ for some generic $θ$ if and only if $Y$ is dominated by the maximal resolution under the assumption that $G$ is abelian or small.
We establish Manin's conjecture for a quartic del Pezzo surface split over Q and having a singularity of type A_3 and containing exactly four lines. It is the first example of split singular quartic del Pezzo surface whose universal torsor is not a hypersurface for which Manin's conjecture is proved.
We show that a cyclic quotient surface singularity S can be decomposed, in a precise sense, into a number of elementary T-singularities together with a cyclic quotient surface singularity called the residue of S. A normal surface X with isolated cyclic quotient singularities {S_i} admits a Q-Gorenstein partial smoothing to a surface with singularities given by the residues of the S_i. We define the singularity content of a Fano lattice polygon P: this records the total number of elementary T-singularities and the residues of the corresponding toric Fano surface X_P. We express the degree of X_…
We establish Manin's conjecture for a cubic surface split over Q and whose singularity type is 2A_2+A_1. For this, we make use of a deep result about the equidistribution of the values of a certain restricted divisor function in three variables in arithmetic progressions. This result is due to Friedlander and Iwaniec (and was later improved by Heath-Brown) and draws on the work of Deligne.
Given a normal surface singularity $(X, Q)$ and a birational morphism to a non- singular surface $π: X \to S$, we investigate the local geometry of the exceptional divisor $L$ of $π$. We prove that the dimension of the tangent space to $L$ at $Q$ equals the number of exceptional components meeting at $Q$. Consequences relative to the existence of such birational projections contracting a prescribed number of irreducible curves are deduced. A new characterization of minimal singularities is obtained in these terms.
We prove Manin's conjecture for two del Pezzo surfaces of degree four which are split over Q and whose singularity types are respectively 3A_1 and A_1+A_2. For this, we study a certain restricted divisor function and use a result about the equidistribution of its values in arithmetic progressions. In this task, Weil's bound for Kloosterman sums plays a key role.
A cusp singularity is a surface singularity whose minimal resolution is a cycle of smooth rational curves meeting transversely. Cusp singularities come in naturally dual pairs. Looijenga proved in 1981 that if a cusp singularity is smoothable, the minimal resolution of the dual cusp is the anticanonical divisor of some smooth rational surface. In 1983, the second author and Miranda gave a criterion for smoothability of a cusp singularity, in terms of the existence of a K-trivial semistable model for the central fiber of such a smoothing. We study these "Type III degenerations" of rational surf…
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.
Given a smooth 3-fold $Y$, a line bundle $L \to Y$, and a section $s$ of $L$ such that the vanishing locus of $s$ is a normal crossings surface $X$ with graph-like singular locus, we present a way to reconstruct the singularity category of $X$ as a homotopy limit of several copies of the category of matrix factorizations of $xyz : \mathbb{A}^{3} \to \mathbb{A}^{1}$ (the mirror to the Fukaya category of the pair of pants). This extends our previous result for the case where $L$ is trivialized. The key technique is the classification of non-two-periodic autoequivalences of the category of matrix…
We determine a one-to-one correspondence between Milnor fibers and minimal symplectic fillings of a quotient surface singularity (up to diffeomorphism type) by giving an explicit algorithm to compare them mainly via techniques from the minimal model program for 3-folds and Pinkham's negative weight smoothing. As by-products, we show that: -- Milnor fibers associated to irreducible components of the reduced versal deformation space of a quotient surface singularity are not diffeomorphic to each other with a few obvious exceptions. For this, we classify minimal symplectic fillings of a quotient …
Consider a normal complex analytic surface singularity. It is called Gorenstein if the canonical line bundle is holomorphically trivial in some punctured neighborhood of the singular point and is called numerically Gorenstein if this line bundle is topologically trivial. The second notion depends only on the topological type of the singularity. Laufer proved in 1977 that, given a numerically Gorenstein topological type of singularity, every analytical realization of it is Gorenstein if and only if one has either a Kleinian or a minimally elliptic topological type. The question to know if any n…
We give a bound on which singularities may appear on Kollár--Shepherd-Barron--Alexeev stable surfaces for a wide range of topological invariants and use this result to describe all stable numerical quintic surfaces (KSBA-stable surfaces with $K^2=χ=5$) whose unique non Du Val singularity is a Wahl singularity. We then extend the deformation theory of Horikawa to the log setting in order to describe the boundary divisor of the moduli space $\overline{\mathcal{M}}_{5,5}$ corresponding to these surfaces. Quintic surfaces are the simplest examples of surfaces of general type and the question of de…
In previous papers, there were computed the Poincare series of some (multi-index) filtrations on the ring of germs of functions on a rational surface singularity. These Poincare series were written as the integer parts of certain fractional power series, an interpretation of whom was not given. Here we show that, up to a simple change of variables, these fractional power series are specializations of the equivariant Poincare series for filtrations on the ring of germs of functions on the universal abelian cover of the surface singularity. We compute these equivariant Poincare series.
We prove that Godeaux--Reid surfaces with torsion group Z/3 have topological fundamental group Z/3. For this purpose, we describe degenerations to stable KSBA surfaces with one 1/4(1,1) singularity, whose minimal resolution are elliptic fibrations with two multiplicity 3 fibres and one I_4 singular fibre. We study special such degenerations which have an involution, describing the corresponding Campedelli double plane construction. We also find some stable rational degenerations, some of which have more singularities, and one of which has a single 1/9(1,2) singularity, the minimal possible ind…
We compare three naturally occurring multi-indexed filtrations of ideals on the local ring of a Newton nondegenerate hypersurface surface singularity with rational homology sphere, which in many cases are all distinct. These are the divisorial, the order, and the image filtrations. These filtrations are indexed by the lattice associated with a toric partial resolution of the singularity, or equivalently, the free abelian group generated by the compact facets of the Newton polyhedron. We prove that there exists a top dimensional cone contained in the Lipman cone having the property that the thr…
A generalised Thurston-Bennequin invariant for a Q-singularity of a real algebraic variety is defined as a linking form on the homologies of the real link of the singularity. The main goal of this paper is to present a method to calculate the linking form in terms of the very good resolution graph of a real normal unibranch surface singularity. For such singularities, the value of the linking form is the Thurston-Bennequin number of the real link of the singularity. As a special case of unibranch surface singularities, the behaviour of the linking form is investigated on the Brieskorn double p…
In this article, we study the jumping numbers of an ideal in the local ring at rational singularity on a complex algebraic surface. By understanding the contributions of reduced divisors on a fixed resolution, we are able to present an algorithm for finding of the jumping numbers of the ideal. This shows, in particular, how to compute the jumping numbers of a plane curve from the numerical data of its minimal resolution. In addition, the jumping numbers of the maximal ideal at the singular point in a Du Val or toric surface singularity are computed, and applications to the smooth case are expl…
In \cite{NNM} the author with A. Némethi computed the multiplicity of generic surface singularities, the formula is purely topological computable from the resolution graph of the surface singularity. In the present paper we extend the results partly to the relative case, when there is a pair of resolution graphs $\mathcal{T}_1 \subset \mathcal{T}$, a fixed singularity $\tX_1$ with resolution graph $\mathcal{T}_1$, a relatively generic singularity $\tX$ corresponding to the subsingularity $\tX_1$ with resolution graph $\mathcal{T}$. We determine the base points of the natural line bundles (unde…
We provide combinatorial/topological formula for the multiplicity of a complex analytic normal surface singularity whenever the analytic structure on the fixed topological type is generic.
In 1978 Durfee conjectured various inequalities between the signature and the geometric genus of a normal surface singularity. Since then a few counter examples have been found and positive results established in some special cases. We prove a `strong' Durfee--type inequality for any smoothing of a Gorenstein singularity, provided that the intersection form the resolution is unimodular, and the conjectured `weak' inequality for all hypersurface singularities and for sufficiently large multiplicity strict complete intersections. The proofs establish general inequalities valid for any normal sur…
Hironaka's concept of characteristic polyhedron of a singularity has been one of the most powerful and fruitful ideas of the last decades in singularity theory. In fact, since then combinatorics have become a major tool in many important results. However, this seminal concept is still not enough to cope with some effective problems: for instance, giving a bound on the maximum number of blowing--ups to be performed on a surface before its multiplicity decreases. This short note shows why such a bounding is not possible, at least with the original definitions.
A five dimensional Sasaki-Einstein (SE) manifold provides a AdS/CFT pair for four dimensional $\mathcal{N}=1$ SCFT, and those pairs are very useful in studying field theory and AdS/CFT correspondence. The space of known SE manifolds is increased significantly in the last decade, and we initiated the study of various field theory properties through the geometric property of these new SE manifolds. There is an associated three dimensional log-terminal singularity $X$ for each SE manifold $L_X$, and for quasi-regular case, there is an associated two dimensional log Del Pezzo surface $(S,Δ)$. The …
In this paper, we show how to apply a theorem by Lê D.T. and the author about linear families of curves on normal surface singularities to get new results in this area. The main concept used is a specific definition of {\em general elements} of an ideal in the local ring of the surface. We make explicit the connection between this notion and the elementary notion of general element of a linear pencil, through the use of {\em reduction}. This allows us to prove the invariance of the generic Milnor number (resp. of the multiplicity of the discriminant), between two pencils generating two ideals …
We describe a natural decomposition of a normal complex surface singularity $(X,0)$ into its "thick" and "thin" parts. The former is essentially metrically conical, while the latter shrinks rapidly in thickness as it approaches the origin. The thin part is empty if and only if the singularity is metrically conical; the link of the singularity is then Seifert fibered. In general the thin part will not be empty, in which case it always carries essential topology. Our decomposition has some analogy with the Margulis thick-thin decomposition for a negatively curved manifold. However, the geometric…
According to a well-known theorem of Brieskorn and Slodowy, the intersection of the nilpotent cone of a simple Lie algebra with a transverse slice to the subregular nilpotent orbit is a simple surface singularity. At the opposite extremity of the nilpotent cone, the closure of the minimal nilpotent orbit is also an isolated symplectic singularity, called a minimal singularity. For classical Lie algebras, Kraft and Procesi showed that these two types of singularities suffice to describe all generic singularities of nilpotent orbit closures: specifically, any such singularity is either a simple …
Fixed a point O on a non-singular surface S and a complete mO-primary ideal I in its local ring, the curves on the surface X obtained by blowing-up I are studied in terms of the base points of I. Criteria for the principality of these curves are obtained. New formulas for their multiplicity, intersection numbers and order of singularity at the singularities of X are given. The semigroup of branches going through a sandwiched singularity is effectively determined, too.
We introduce a geometric realization of noncommutative singularity resolutions. To do this, we first present a new conjectural method of obtaining conventional resolutions using coordinate rings of matrix-valued functions. We verify this conjecture for all cyclic quotient surface singularities, the Kleinian D_n and E_6 surface singularities, the conifold singularity, and a non-isolated singularity, using appropriate quiver algebras. This conjecture provides a possible new generalization of the classical McKay correspondence. Then, using symplectic reduction within these rings, we obtain new, n…
We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga-Gorenstein ring. We then apply this result to the Frobenius category of special Cohen-Macaulay modules over a rational surface singularity, where we show that the associated stable category is triangle equivalent to the singularity category of a certain discrepant partial resolution of the given rational singularity. In particular, this produces uncountably many Iwanaga-Gorenstein rings of finite GP type. We also apply our method to representation theory, obt…
This is a continuation of our paper math.AG/0111298. We prove an explicit formula for the geometric genus p_g of a quasihomogeneous isolated surface singularity in terms of the Seiberg-Witten invariant of the link and other topological data which can be read from a resolution graph of the singularity. Moreover, we also determine all the Reidemeister-Turaev sign-refined torsion of the link (associated with any spin^c structure) in terms of the Seifert invariants.