In this paper we prove that a normal Gorenstein surface dominated by the projective plane P^2 is isomorphic to a quotient P^2/G, where G is a finite group of automorphisms of P^2 (except possibly for one surface V_8'). We can completely classify all such quotients. Some natural conjectures when the surface is not Gorenstein are also stated.
Extending the description of canonical rings from \cite{reid78} we show that every Gorenstein stable Godeaux surface with torsion of order at least $3$ is smoothable.
In this paper, we will give a complete classification of Gorenstein stable log surfaces $(X,Λ)$ with $(K_X+Λ)^2=p_g(X,Λ)-1$, where $p_g(X,Λ):=h^0(X,K_X+Λ)$. In particular, we classify Gorenstein stable surfaces with $K_X^2=p_g-1$.
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…
We classify - as far as possible - Gorenstein stable surfaces with $K_X^2 = 1$ and $χ(\mathcal O_X) = 2$, describing several strata in the moduli space quite in detail.
In this paper we consider Gorenstein stable surfaces with $K^2_X=1$ and positive geometric genus. Extending classical results, we show that such surfaces admit a simple description as weighted complete intersection. We exhibit a wealth of surfaces of all possible Kodaira dimensions that occur as normalisations of Gorenstein stable surfaces with $K_X^2=1$; for $p_g=2$ this leads to a rough stratification of the moduli space. Explicit non-Gorenstein examples show that we need further techniques to understand all possible degenerations.
We consider a surface that admits a $\mathbb{Q}$-Gorenstein degeneration to a cyclic quotient singularity $\frac{1}{dn^2}(1,dna-1)$. Under several technical assumptions, we construct $d$ exceptional vector bundles of rank $n$ which are orthogonal to each other.
We classify all the effective anticanonical divisors on weak del Pezzo surfaces. Through this classification we obtain the smallest number among the log canonical thresholds of effective anticanonical divisors on a given Gorenstein canonical del Pezzo surface.
We study the geography of Gorenstein stable log surfaces and prove two inequalities for their invariants: the stable Noether inequality and the $P_2$-inequality. By constructing examples we show that all invariants are realised except possibly some cases where the inequalities become equalities.
We classify equivariantly Gorenstein log del Pezzo surfaces with boundaries at infinity and with finite group actions such that the quotient surface modulo the finite group has Picard number one. We also determine the corresponding finite groups. Better figures are available upon request.
We consider the deformation spaces of some singular product-quotient surfaces $X=(C_1 \times C_2)/G$, where the curves $C_i$ have genus 3 and the group $G$ is isomorphic to $\mathbb{Z}_4$. As a by-product, we give a new construction of Todorov surfaces with $p_g=1$, $q=0$ and $2\le K^2\le 8$ by using $\mathbb{Q}$-Gorenstein smoothings.
We classify log-canonical pairs $(X, Δ)$ of dimension two with $K_X+Δ$ an ample Cartier divisor with $(K_X+Δ)^2=1$, giving some applications to stable surfaces with $K^2=1$. A rough classification is also given in the case $Δ=0$.
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.
We define and study a concrete stratification of the moduli space of Gorenstein stable surfaces $X$ satisfying $K_{X}^2 = 2$ and $χ(\mathcal{O}_{X}) = 4$, by first establishing an isomorphism with the moduli space of plane octics with certain singularities, which is then easier to handle concretely. In total, there are 47 inhabited strata with altogether 78 components.
Let R be a Dedekind scheme, $ν$ its generic point, X and V del Pezzo surfaces of degree 1 over R that are Gorenstein Mori fiber spaces (as 3-folds germs over the ground field). We study birational maps $ϕ:X\dasharrow V$ over R which are isomorphisms over the generic point of R. We put down normal forms of such transformations (in suitable coordinates) and give some properties of X and V. In particular, we prove the uniqueness of a smooth model.
In this note the geography of minimal surfaces of general type admitting $\mathbb{Z}_2^2$-actions is studied. More precisely, it is shown that Gieseker's moduli space $\mathfrak{M}_{K^2,χ}$ contains surfaces admitting a $\mathbb{Z}_2^2$-action for every admissible pair $(K^2, χ)$ such that $2χ-6\leq K^2\leq 8χ-8$ or $K^2=8χ$. The examples considered allow to prove that the locus of Gorenstein stable surfaces is not closed in the KSBA-compactification $\overline{\mathfrak{M}}_{K^2,χ}$ of Gieseker's moduli space $\mathfrak{M}_{K^2,χ}$ for every admissible pair $(K^2, χ)$ such that $2χ-6\leq K^2\…
In this paper we mainly describe $\mathbb{Q}$-Gorenstein smoothings of projective surfaces with only Wahl singularities which have birational fibers. For instance, these degenerations appear in normal degenerations of the projective plane, and in boundary divisors of the KSBA compactification of the moduli space of surfaces of general type [KSB88]. We give an explicit description of them as smooth deformations plus 3-fold birational operations, through the flips and divisorial contractions in [HTU13]. We interpret the continuous part (smooth deformations) as degenerations of certain curves in …
The main message of the paper is that for Gorenstein singularities, whose (real) link is rational homology sphere, the Artin--Laufer program can be continued. Here we give the complete answer in the case of elliptic singularities. The main result of the paper says that in the case of an elliptic Gorenstein singularity whose link is rational homology sphere, the geometric genus is a topological invariant. Actually, it is exactly the length of the elliptic sequence in the minimal resolution (or, equivalently, in S. S.-T. Yau's terminology: these singularities are maximally elliptic). In the pape…
In this note we shall determine all actions of groups of prime order p with p > 3 on Gorenstein del Pezzo (singular) surfaces Y of Picard number 1. We show that every order-p element in Aut(Y) (= Aut(Y'), Y' being the minimal resolution of Y) is lifted from a projective transformation of the projective plane. We also determine when Aut(Y) is finite in terms of the self intersection of the canonical divisor of Y, Sing(Y) and the number of singular members in the anti-canonical linear system of Y. In particular, we show that either |Aut(Y)| = 2^a 3^b for some 0 < a+b < 8, or for every prime p > …
In this article we prove that Fintushel-Stern's construction of Horikawa surface, which is obtained from an elliptic surface via a rational blow-down surgery in smooth category, can be performed in complex category. The main technique involved is Q-Gorenstein smoothings.
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 present methods to construct interesting surfaces of general type via $\mathbb{Q}$-Gorenstein smoothing of a singular surface obtained from an elliptic surface. By applying our methods to special Enriques surfaces, we construct new examples of a minimal surface of general type with $p_g=0$, $π_1=\mathbb{Z}/2\mathbb{Z}$, and $K^2\le 4$.
We describe all connected components of the space of hyperbolic Gorenstein quasi-homogeneous surface singularities. We prove that any connected component is homeomorphic to a quotient of R^d by a discrete group.
In this paper we study a local structure of extrmal contractions $f\colon X\to S$ from threffolds $X$ with only terminal singularities onto a surface $S$. If the surface $S$ is non-singular and $X$ has a unique non-Gorenstein point on a fiber we prove that either the linear system $|-K_X|$, $|-2K_X|$ or $|-3K_X|$ contains a "good" divisor.
We give a classification of all pairs (X,v) of Gorenstein del Pezzo surfaces X and vector fields v which are K-stable in the sense of Berman-Nystrom and therefore are expected to admit a Kahler-Ricci solition. Moreover, we provide some new examples of Fano threefolds admitting a Kahler-Ricci soliton.
Let $f\colon X\to S$ be an extremal contraction from a threefold with only terminal singularities to a surface. We study local analytic structure such contractions near degenerate fiber $C$ in the case when $C$ is irreducible and $X$ has on $C$ only one non-Gorenstein point.
In this paper I investigate minimal surfaces of general type with p_g=5, q=0 for which the 1-canonical map is a birational morphism onto a surface in P^4 (so called canonical surfaces in P^4) via a structure theorem for the Hilbert resolutions of the canonical rings of the afore-mentioned surfaces, viewed as Gorenstein algebras of codimension 2 over the homogeneous coordinate ring of P^4. I discuss how the ring structure of such an algebra is encoded in its resolution. Among other things I show how this method can be applied to analyze the moduli space of canonical surfaces with p_g=5, q=0, K^…
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…
We present the complete list of all singularity types on Gorenstein $\mathbb{Q}$-homology projective planes, i.e., normal projective surfaces of second Betti number one with at worst rational double points. The list consists of $58$ possible singularity types, each except two types supported by an example.
We give a complete classification of complex Q-homology projective planes with isolated rational double point singularities and numerically trivial canonical bundle. There are 31 types, and each has one-dimensional moduli. In fact, all moduli curves are rational and defined over Q, and we determine all families explicitly using extremal rational elliptic surfaces and Enriques involutions of base change type.
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 …
In this paper we generalize Artin-Verdier, Esnault and Wunram construction of McKay correspondence to arbitrary Gorenstein surface singularities. The key idea is the definition and a systematic use of a degeneracy module, which is an enhancement of the first Chern class construction via a degeneracy locus. We study also deformation and moduli questions. Among our main result we quote: a full classification of special reflexive MCM modules on normal Gorenstein surface singularities in terms of divisorial valuations centered at the singularity, a first Chern class determination at an adequate re…
Dolgachev surfaces are simply connected minimal elliptic surfaces with $p_g=q=0$ and of Kodaira dimension 1. These surfaces were constructed by logarithmic transformations of rational elliptic surfaces. In this paper, we explain the construction of Dolgachev surfaces via $\mathbb Q$-Gorenstein smoothing of singular rational surfaces with two cyclic quotient singularities. This construction is based on the paper by Lee-Park. Also, some exceptional bundles on Dolgachev surfaces associated with $\mathbb Q$-Gorenstein smoothing are constructed based on the idea of Hacking. In the case if Dolgachev…
For an isolated hypersurface singularity $f=0$, the Milnor number $μ$ is greater than or equal to the Tjurina number $τ$ (the dimension of the base of the semi-universal deformation), with equality if $f$ is quasi-homogeneous. K. Saito proved the converse. The same result is true for complete intersections, but is much harder. For a Gorenstein surface singularity $(V,0)$, the difference $μ- τ$ can be defined whether or not $V$ is smoothable; it was proved in [23] that it is non-negative, and equal to 0 iff $(V,0)$ is quasi-homogeneous. We conjecture a similar result for non-Gorenstein surface …
This article is motivated by the original Casson invariant regarded as an integral lifting of the Rochlin invariant. We aim to defining an integral lifting of the Adams e-invariant of stably framed 3-manifolds, perhaps endowed with some additional structure. We succeed in doing so for manifolds which are links of normal complex Gorenstein smoothable singularities. These manifolds are naturally equipped with a canonical $\SU$-frame. To start we notice that the set of homotopy classes of $\SU$-frames on the stable tangent bundle of every closed oriented 3-manifold is canonically a $\mathbb Z$-to…
A normal projective non-Gorenstein log-terminal surface $S$ is called a log del Pezzo surface of index three if the three-times of the anti-canonical divisor $-3K_S$ is an ample Cartier divisor. We classify all of the log del Pezzo surfaces of index three. The technique for the classification based on the argument of Nakayama.
This paper studies reduced, connected, Gorenstein surfaces with ample -K, assumed to be reducible or nonnormal. The normalisation is a union of one or more standard surfaces (scrolls and Veronese surfaces), marked with a conic as double locus. The question is how to glue these together to get a Gorenstein scheme. In characteristic 0, the results amount to a classification of projective surfaces in the style of the 1880s. However, the methods involve a study of the dualising sheaf of a nonnormal variety in terms of Rosenlicht differentials, and there is a subtle pathology in characteristic p du…
We prove that for a Q-Gorenstein degeneration $X$ of del Pezzo surfaces, the number of non-Du Val singularities is at most $ρ(X)+2$. Degenerations with $ρ(X)+2$ and $ρ(X)+1$ non-Du Val points are investigated.
We explicitly construct a $V$-normal crossing Gorenstein canonical model of the relative symmetric products of a local semistable degeneration of surfaces without a triple point by means of toric geometry. Using this model, we calculate the stringy $E$-polynomial of the relative symmetric product. We also construct a minimal model of degeneration of Hilbert schemes explicitly.
We study families of $K3$ surfaces obtained by double covering of the projective plane branching along curves of $(2,3)$-torus type. In the first part, we study the Picard lattices of the families, and a lattice duality of them. In the second part, we describe a deformation of singularities of Gorenstein $K3$ surfaces in these families.
We construct from a general del Pezzo surface of degree 1 a Gorenstein stable surfaces $X$ with $K_X^2=1$ and $p_g(X)=q(X)=0$. These surfaces are not smoothable but give an open subset of an irreducible component of the moduli space of stable Godeaux surfaces. In a particular example we also compute the canonical ring explicitly and discuss the behaviour of pluricanonical maps.
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 study a useful numerical invariant of normal surface singularities, introduced recently by T. Kawachi. Using this invariant, we give a quick proof of the (well-known) fact that all log-canonical surface singularities are either elliptic Gorenstein or rational (without assuming a priori that they are Q-Gorenstein). The main result is a criterion (stated in terms of Kawachi's invariant) regarding global generation of adjoint linear systems on normal surfaces with boundary. Such results can be used in proving effective estimates for global generation on singular threefolds. The theorem of Ein-…
We study motivic zeta functions for $\mathds{Q}$-divisors in a $\mathds{Q}$-Gorenstein variety. By using a toric partial resolution of singularities we reduce this study to the local case of two normal crossing divisors where the ambient space is an abelian quotient singularity. For the latter we provide a closed formula which is worked out directly on the quotient singular variety. As a first application we provide a family of surface singularities where the use of weighted blow-ups reduces the set of candidate poles drastically. We also present an example of a quotient singularity under the …
For a smooth quasi-projective surface $X$ and an integer $n\ge 3$, we show that the universal family $Z^n$ over the Hilbert scheme $\text{Hilb}^{n}(X)$ of $n$ points has non $\mathbb{Q}$-Gorenstein, rational singularities, and that the Samuel multiplicity $μ$ at a closed point on $Z^n$ can be computed in terms of the dimension of the socle. We also show that $μ\le n$.
Mustaţă has given a conjecture for the graded Betti numbers in the minimal free resolution of the ideal of a general set of points on an irreducible projective algebraic variety. For surfaces in $\mathbb P^3$ this conjecture has been proven for points on quadric surfaces and on general cubic surfaces. In the latter case, Gorenstein liaison was the main tool. Here we prove the conjecture for general quartic surfaces. Gorenstein liaison continues to be a central tool, but to prove the existence of our links we make use of certain dimension computations. We also discuss the higher degree case, bu…