In this paper we show the lower bound of the set of non-zero $-K^2$ for normal surface singularities establishing that this set has no accumulation points from above. We also prove that every accumulation point from below is a rational number and every positive integer is an accumulation point. Every rational number can be an accumulation point modulo $\bZ$. We determine all accumulation points in $[0, 1]$. If we fix the value $-K^2$, then the values of $p_g$, $p_a$, mult, embdim and the numerical indices are bounded, while the numbers of the exceptional curves are not bounded.
We describe the sheaf T^1(X) of first order deformations of a reduced scheme with normal crossing singularities. In particular, we obtain a formula for T^1(X) in a suitable log resolution of X.
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 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 …
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.
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.
We study the deformation theory of a Fano variety X with normal crossing singularities of dimension at most three. We obtain a formula for the sheaf T^1(X) of first order deformations of X in a suitable log resolution of X and its singular locus Z and we obtain explicit criteria for the existence of smoothings of X.
In this paper, the notion of local algebraic fundamental groups of normal complex analytic singularities are generalized to certain profinite groups called $D$-local algebraic fundamental groups which turns out to be useful even for the study of usual local algebraic fundamental groups and the Lefshetz type theorem for $D$-local algebraic fundamental groups is proved under certain conditions. The theorem yields, for example, the finiteness of the local algebraic fundamental groups of a certain class of four dimensional singularities and will be useful for the classification of three dimensiona…
Normal complex surface singularities with rational homology disk smoothings
Rényi Institute of Mathematics（雷尼数学研究所）；University of Technology and Economics（布达佩斯技术与经济大学）；Konkuk University（建国大学）；Chungnam National University（忠南国立大学）
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…
The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are bilipschitz equivalent. In this article we prove that the model determinantal singularity, that is the space of $m\times n$ matrices of rank less than a given number, is Lipschitz normally embedded. We will also discuss some of the difficulties extending this result to the case of general determinantal singularities.
This paper obtains criteria for a Fano variety X with normal crossing singularities defined over an algebraically closed field of characteristic zero, to be smoothable. The difference with the original version is that the theory of logarithmic structures and deformations is used in order to prove that X is smoothable by a smooth variety, if and only if T^1(X)=O_D, where D is the singular locus of X.
We show that the zero locus of a normal function on a smooth complex algebraic variety S is algebraic provided that the normal function extends to a admissible normal function on a smooth compactification of S with torsion singularity. This result generalizes our previous result for admissible normal functions on curves [arxiv:math/0604345 [math.AG]]. It has also been obtained by M. Saito using a different method in a recent preprint [arXiv:0803.2771v2].
Let $(X,o)$ be a complex analytic normal surface singularity and let ${\mathcal O}_{X,o}$ be its local ring. We investigate the normal reduction number of ${\mathcal O}_{X,o}$ and related numerical analytical invariants via resolutions $\widetilde{X}\to X$ of $(X,o)$ and cohomology groups of different line bundles ${\mathcal L}\in {\rm Pic}(\widetilde{X})$. The normal reduction number is the universal optimal bound from which powers of certain ideals have stabilization properties. Here we combine this with stability properties of the iterated Abel maps. Some of the main results provide topolog…
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. These two metrics are in general nonequivalent up to bilipschitz homeomorphism. We give a necessary and sufficient condition for a normal surface singularity to be Lipschitz normally embedded (LNE), i.e., to have bilipschitz equivalent outer and inner metrics. In a partner paper [15] we apply it to prove that rational surface singularities are LNE if and only if they are mini…
We construct a collection of higher Chow cycles on certain surfaces which degenerate to an arrangement of planes in general position. When its degree is 4, this construction gives a new explicit proof of the Hodge-D-Conjecture for a certain type of K3 surfaces. As an application, we also construct a certain type of threefolds with non trivial Griffiths group.
Any germ of a complex analytic space is equipped with two natural metrics: the {\it outer metric} induced by the hermitian metric of the ambient space and the {\it inner metric}, which is the associated riemannian metric on the germ. We show that minimal surface singularities are Lipschitz normally embedded (LNE), i.e., the identity map is a bilipschitz homeomorphism between outer and inner metrics, and that they are the only rational surface singularities with this property.
We develop a Hodge theory for relative simple normal crossing varieties over an Artinian base scheme. We introduce the notion of a mixed Hodge structure over an Artin ring, which axiomatizes the structure that is found on the cohomology of such a variety. As an application we prove that the maps between the graded pieces of the Hodge bundles have constant rank.
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.
The subject is partial resolution of singularities. Given an algebraic variety X (not necessarily equidimensional) in characteristic zero (or, more generally, a pair (X,D), where D is a divisor on X), we construct a functorial desingularization of all but stable simple normal crossings (stable-snc) singularities, by smooth blowings-up that preserve such singularities. A variety has stable simple normal crossings at a point if, locally, its irreducible components are smooth and tranverse in some smooth embedding variety. We also show that our main assertion is false for more general simple norm…
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$.
A T-variety is an algebraic variety X with an effective regular action of an algebraic torus T. Altmann and Hausen gave a combinatorial description of an affine T-variety X by means of polyhedral divisors. In this paper we compute the higher direct images of the structure sheaf of a desingularization of X in terms of this combinatorial data. As a consequence, we give a criterion as to when a T-variety has rational singularities. We also provide a partial criterion for a T-variety to be Cohen-Macaulay. As an application we characterize in this terms quasihomogeneous elliptic singularities of su…
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 propose a method to compute a desingularization of a normal affine variety X endowed with a torus action in terms of a combinatorial description of such a variety due to Altmann and Hausen. This desingularization allows us to study the structure of the singularities of X. In particular, we give criteria for X to have only rational, (QQ-)factorial, or (QQ-)Gorenstein singularities. We also give partial criteria for X to be Cohen-Macaulay or log-terminal. Finally, we provide a method to construct factorial affine varieties with a torus action. This leads to a full classification of such varie…
In a recent paper, M. Green and P. Griffiths used R. Thomas' works on nodal hypersurfaces to establish the equivalence of the Hodge conjecture and the existence of certain singular admissible normal functions. Inspired by their work, we study normal functions using M. Saito's mixed Hodge modules and prove that the existence of singularities of the type considered by Griffiths and Green is equivalent to the Hodge conjecture. Several of the intermediate results, including a relative version of the weak Lefschetz theorem for perverse sheaves, are of independent interest.
Recent work ([18], [1]) has produced a complete list of weighted homogeneous surface singularities admitting smoothings whose Milnor fibre has only trivial rational homology (a "rational homology disk"). Though these special singularities form an unfamiliar class and are rarely even log-canonical, we prove the Theorem. A rational homology disk smoothing of a weighted homogeneous surface singularity can always be chosen so that the total space is log-terminal. In particular, this smoothing is $\Q$-Gorenstein. The key idea is to define a finite "graded discrepancy" of a normal graded domain with…
We investigate the problem of existence of degenerations of surfaces in $\mathbb P^3$ with ordinary singularities into plane arrangements in general position.
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…
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.
It is a conjecture of Kollár that a variety $X$ with rational singularities in some open subvariety $U$ has a rationalification; that is, a proper, birational morphism $f: Y \rightarrow X$ such that $Y$ has rational singularities, and which is an isomorphism over $U$. Whether this is true is already unknown in the case of a (normal) threefold with rational singularities along a curve $C$ except at a single point $p \in C$. There is an analogous conjecture for demi-normal varieties $X$, where we must insist that $Y$ has only semi-rational singularities. Our main result is that if a stronger ver…
We show, in this second part, that the maximal number of singular points of a quartic surface $X \subset \mathbb{P}^3_K$ defined over an algebraically closed field $K$ of characteristic 2 is at most 14, and that, if we have 14 singularities, these are nodes and moreover the minimal resolution of $X$ is a supersingular K3 surface. We produce an irreducible component, of dimension 24, of the variety of quartics with 14 nodes. We also exhibit easy examples of quartics with 7 $A_3$-singularities.
The birational classification of varieties inevitably leads to the study of singularities. The types of singularities that occur in this context have been studied by Mori, Kollár, Reid, and others, beginning in the 1980s with the introduction of the minimal model program. Normal singularities that are terminal, canonical, log terminal, and log canonical, and their non-normal counterparts, are typically studied using a resolution of singularities (or a semiresolution) and finding numerical conditions that relate the canonical class of the variety to that of its resolution. In order to do this, …
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.
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.
In this paper we give a new point of view for optimizing the definitions related to the study of singularities of normal varieties, introduced in [dFH09] and further studied in [Urb12a] and [Urb12b], in relation to the Minimal Model Program. We introduce a notion of discrepancy for normal varieties, and we define log terminal+ singularities. We use finite generation to relate these new singularities with log terminal singularities (in the sense of [dFH09]).
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…
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…
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.
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 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（加拉塔萨雷大学数学系）
