Survey article for the Proceedings of the Conference "Singularities and Computer Algebra" on Occasion of Gert-Martin Greuel's 60th Birthday, LMS Lecture Notes (to appear)
发表信息：
Singularities and computer algebra, 13-39, London Math. Soc. Lecture Note Ser., 324, Cambridge Univ. Press, Cambridge, 2006
In this survey, we review part of the theory of superisolated surface singularities (SIS) and its applications including some new and recent developments. The class of SIS singularities is, in some sense, the simplest class of germs of normal surface singularities. Namely, their tangent cones are reduced curves and the geometry and topology of the SIS singularities can be deduced from them. Thus this class \emph{contains}, in a canonical way, all the complex projective plane curve theory, which gives a series of nice examples and counterexamples. They were introduced by I. Luengo to show the non-smoothness of the $μ$-constant stratum and have been used to answer negatively some other interesting open questions. We review them and the new results on normal surface singularities whose link are rational homology spheres. We also discuss some positive results which have been proved for SIS singularities.
We give explicit examples of Gorenstein surface singularities with integral homology sphere link, which are not complete intersections. Their existence was shown by Luengo-Velasco, Melle-Hernandez and Nemethi, thereby providing counterexamples to the Universal abelian covering conjecture of Neumann and Wahl.
Any germ of a complex analytic space is equipped with two natural metrics: the outer metric induced by the hermitian metric of the ambient space and the inner metric, which is the associated riemannian metric on the germ. A complex analytic germ is said Lipschitz normally embedded (LNE) if its outer and inner metrics are bilipschitz equivalent. LNE seems to be fairly rare among surface singularities; the only known LNE surface germs outside the trivial case (straight cones) are the minimal singularities. In this paper, we show that a superisolated hypersurface singularity is LNE if and only if…
By using superisolated surface singularities whose link is a rational homology sphere we give counterexamples to some of the most important conjetures concernig invariants of normal surface singularities.
For a double solid $V\to P_3(C)$ branched over a surface $B\subset P_3(C)$ with only ordinary nodes as singularities, we give a set of generators of the divisor class group $Pic(\tilde{V}})$ in terms of contact surfaces of $B$ with only superisolated singularities in the nodes of $B$. As an application we give a condition when the integral cohomology of $\tilde{V}$ has no 2-torsion. All possible cases are listed if $B$ is a quartic surface. Furthermore we give a new lower bound for the dimension of the code of $B$.
Let $(X,o)$ be a complex normal surface singularity. We fix one of its good resolutions $\widetilde{X}\to X$, an effective cycle $Z$ supported on the reduced exceptional curve, and any possible (first Chern) class $l'\in H^2(\widetilde{X},\mathbb{Z})$. With these data we define the variety ${\rm ECa}^{l'}(Z)$ of those effective Cartier divisors $D$ supported on $Z$ which determine a line bundles $\mathcal{O}_Z(D)$ with first Chern class $l'$. Furthermore, we consider the affine space ${\rm Pic}^{l'}(Z)\subset H^1(\mathcal{O}_Z^*)$ of isomorphism classes of holomorphic line bundles with Chern c…
We show that the number of generators of the n-th cotangent cohomology group (n >=2) is the same for all rational surface singularities Y. For a large class of rational surface singularities, including quotient singularities, this number is also the dimension. For them we obtain an explicit formula for the corresponding Poincare series.
Among log canonical surface singularities, the ones which have a rational homology disk smoothing are the cyclic quotient singularities $\frac{1}{n^2}(1,na-1)$ with gcd$(a,n)=1$, and three distinguished elliptic quotient singularities. We show the existence of smoothable KSBA normal surfaces with $π_1=1$, $p_g=0$, and $K^2=1,2$ for each of these three singularities. We also give a list of new (and old) normal surface singularities in smoothable KSBA surfaces for invariants $π_1=1$, $p_g=0$, and $K^2=1,2,3,4$.
We give a classification of all Delsarte surfaces with only ADE singularities. Using this we give closed formulas for the Picard numbers of such surfaces.
We investigate the problem of existence of degenerations of surfaces in $\mathbb P^3$ with ordinary singularities into plane arrangements in general position.
There are strange dual pairs of bimodal singularities that are not assigned an invertible projectivisation in EbelingPloog. We study families of $K3$ surfaces associated to such pairs.
We consider del Pezzo surfaces with du Val singularities. We'll prove that a del Pezzo surface $X$ with du Val singularities has a $-K_X$-polar cylinder if and only if there exist tiger such that the support of this tiger does not contain anti-canonical divisor. Also we classify all del Pezzo surfaces $X$ such that $X$ has not any cylinders.
We prove the constancy of the Łojasiewicz exponent in non-degenerate $μ$-constant deformations of surface singularities. This is a positive answer to a question posed by B. Teissier.
We give a classification of the dual graphs of the exceptional divisors on the minimal resolutions of log canonical foliation singularities on surfaces. For an application, we show the set of foliated minimal log discrepancies for foliated surface triples satisfies the ascending chain condition and a Grauert-Riemenschneider type vanishing theorem for foliated surfaces with good log canonical foliation singularities.
Normally one assumes isolated surface singularities to be normal. The purpose of this paper is to show that it can be useful to look at nonnormal singularities. By deforming them interesting normal singularities can be constructed, such as isolated, non Cohen-Macaulay threefold singularities. They arise by a small contraction of a smooth rational curve, whose normal bundle has a sufficiently positive subbundle. We study such singularities from their nonnormal general hyperplane section.
By the famous ADE classification rational double points are simple. Rational triple points are also simple. We conjecture that the simple normal surface singularities are exactly those rational singularities, whose resolution graph can be obtained from the graph of a rational double point or rational triple point by making (some) vertex weights more negative. For rational singularities we show one direction in general, and the other direction (simpleness) within the special classes of rational quadruple points and of sandwiched singularities.
We prove dimension formulas for the cotangent spaces $T^{1}$ and $T^{2}$ for a class of rational surface singularities by calculating a correction term in the general dimension formulas. We get that it is zero if the dual graph of the rational surface singularity $X$ does not contain a particular type of configurations, and this generalizes a result of Theo de Jong stating that the correction term $c(X)$ is zero for rational determinantal surface singularities. In particular our result implies that $c(X)$ is zero for Riemenschneiders quasi-determinantal rational surface singularities, and this…
We prove a "strong" Durfee-type inequality for isolated hypersurface surface singularities, which implies Durfee's strong conjecture for such singularities with non-negative topological Euler number of the exceptional set of the minimal resolution.
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.
We prove that a smooth surface, non of general type, in projective four-space, which lies on a quartic hypersurface with isolated singularities has degree at most 27 (in fact we prove a slightly more general result).
Institute of Mathematics, Polish Academy of Sciences（波兰科学院数学研究所）；Department of Mathematics, Hiyoshi Campus, Keio University（庆应义塾大学日吉校区数学系）；Tokyo Institute of Technology（东京工业大学）；Departement of Mathematics, Galatasaray University（加拉塔萨雷大学数学系）
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…
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.
The purpose of this paper is to prove dimension formulas for $T^1$ and $T^2$ for rational surface singularities. These modules play an important role in the deformation theory of isolated singularities in analytic and algebraic geometry. The first may be identified as the Zariski tangent space of the versal deformation of the singularity; i.e. it is the space of infinitesimal deformations. The second contains the obstruction space -- in all known cases it is the whole obstruction space for rational surface singularities.
We study symplectic resolutions of the Hilbert scheme of two points on a surface with one ADE-singularity. We also characterize such singularities by central fibers of their symplectic resolutions. As an application, we show that these singularities are isomorphic to the Slodowy slices which are transversal to the `sub-subregular' orbits in the nilpotent cones of ADE-types.
A general strategy is given for the classification of graphs of rational surface singularities. For each maximal rational double point configuration we investigate the possible multiplicities in the fundamental cycle. We classify completely certain types of graphs. This allows to extend the classification of rational singularities to multiplicity 8. We also discuss the complexity of rational resolution graphs.
In this article, we study the group of autoequivalences of derived categories of coherent sheaves on the minimal resolution of $A_n$-singularities on surfaces. Our main result is to find generators of this group.
We prove that the boundaries of the Milnor fibers of smoothings of non-isolated reduced complex surface singularities are graph manifolds. Moreover, we give a method, inspired by previous work of Némethi and Szilard, to compute associated plumbing graphs.
Let M be a moduli scheme of stable sheaves with fixed Chern classes on an Enriques surface or a hyper-elliptic surface. If its expected dimension is 7 or more, then M admits only canonical singularities. Moreover, if M is compact, then its Kodaira dimension is zero.
We study lattice polarizations of five exceptional pairs of families of K3 surfaces obtained via compactifications of strange dual pairs of bimodal singularities. We show that the polarizations induced by embedding these paired families in paired toric varieties obtained from polar dual reflexive polytopes cannot be mirror lattices and identify mirror sublattices.
We give a complete classification of del Pezzo surfaces with quotient singularities and Picard rank 1 which admit a Q-Gorenstein smoothing. There are 14 infinite families of toric examples. The surfaces in each family correspond to solutions of a Markov-type equation. The remaining surfaces are obtained as deformations of the toric surfaces or belong to a finite list of sporadic surfaces.
We classify the singularities of a surface ruled by conics: they are rational double points of type $A_n$ or $D_n$. This is proved by showing that they arise from a precise series of blow-ups of a suitable surface geometrically ruled by conics. We determine also the family of such surfaces which are birational models of a given surface ruled by conics and obtained in a "minimal way" from it.
The current work will appear in a Celebratio Mathematica volume in honor of Walter Neumann. We summarize results and methods from our long-time collaboration with Neumann, especially the motivation for the introduction of splice diagrams to define singularities of splice type and splice-quotient singularities. The Casson Invariant Conjecture and Milnor Fiber Conjectures are discussed, as well as some open questions about hypersurface and complete intersection singularities with integral homology sphere link.
We point out an interesting relation between hypersurface elliptic singularities and log Enriques surfaces: with a few exceptions, every hypersurface elliptic singularity define some klt log Enriques surface $(S,Diff)$. In many cases, the log canonical cover of $(S,Diff)$ is a Du Val K3 surface with ``large'' nonsymplectic automorphism group.
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 deformations $(f_s)$. We give a formula for the jump in some class of surface singularities in the case deformations are non-degenerate.
Given a complex projective surface with an ADE singularity and p_{g}=0, we construct ADE bundles over it and its minimal resolution. Furthermore, we descibe their minuscule representation bundles in terms of configurations of (reducible) (-1)-curves.
We give a new criterion for when a resolution of a surface of general type with canonical singularities has big cotangent bundle and a new lower bound for the values of $d$ for which there is a surface with big cotangent bundle that is deformation equivalent to a smooth hypersurface in $\mathbb{P}^3$ of degree $d$.
We prove semi-rationalification and semi-log-canonicalization for Gorenstein demi-normal surfaces. That is, given a Gorenstein demi-normal surface X with semi-rational (respectively, semi-log canonical) singularities in an open set U with complement a finite set of points, there is a proper birational morphism f : Y --> X such that f is an isomorphism over U and Y has only semi-rational (respectively, semi-log canonical) singularities. We proceed by passing to the normalization and then gluing along the conductor in an appropriate rationalification or log-canonicalization of the normalization …
It is known that ambient bilipschitz equivalence preserves tangent cones. This paper explores the behavior of the Nash cone and, in particular, exceptional rays under ambient bilipschitz equivalence for real surfaces in $R^3$ with isolated singularity.
We unify and generalize formulas obtained by Campillo, Delgado and Gusein-Zade in their series of articles. Positive results are established for rational and minimally elliptic singularities. By examples and counterexamples we also try to find the `limits' of these identities. Connections with the Seiberg-Witten Invariant Conjecture and Semigroup Density Conjecture are discussed.
This note gives two examples of surfaces with normal crossing singularities. In the first example the canonical ring is not finitely generated. In the second, the canonical line bundle is not ample but its pull back to the normalization is ample. The latter answers in the negative a problem left unresolved in [EGA,III.2.6.2] and raised again by Viehweg.
