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.
Normal complex surface singularities with rational homology disk smoothings
Rényi Institute of Mathematics（雷尼数学研究所）；University of Technology and Economics（布达佩斯技术与经济大学）；Konkuk University（建国大学）；Chungnam National University（忠南国立大学）
The main question we target is the following: If one fixes a topological type of a complex normal surface singularity then what are the possible analytic types supported by it, and/or, what are the possible values of the geometric genus? We answer the question for a specific (in some sense pathological) topological type, which supports rather different analytic structures. These structures are listed together with some of their key analytic invariants.
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…
A pair $(S,C)$ is called a singular $\mathbb{Q}$-homology plane pair if $S$ is a singular projective surface with only quotient singularities having the same rational homology as $\mathbb{p}^2$ and $C \subset S$ has the same rational homology as $\mathbb{p}^1$. We will prove results concerning smooth rational curves on $S$ and the singularities of $S$ such that $\overline κ(S^0)=1$ and $\overline κ(S-C) \neq -\infty$. We end with an example of such pairs.
In this paper we study weight homology of singular schemes. Weight homology is an invariant of a singular scheme defined in terms of hypercoverings of resolution of singularities. Our main result is McKay principle for weight homology of quotient singularities, i.e. we describe weight homology of a quotient scheme in terms of weight homology of an equivariant scheme. Our method is to reduce the geometric McKay principle for weight homology to Kato's cohomological Hasse principle for arithmetic schemes. The McKay principle for weight homology implies McKay principle for the homotopy type of the…
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 introduce and study the vanishing homology of singular projective hypersurfaces. We prove its concentration in two levels in case of 1-dimensional singular locus $Σ$, and moreover determine the ranks of the nontrivial homology groups. These two groups depend on the monodromy at special points of $Σ$ and on the effect of the monodromy of the local system over its complement.
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.
It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "splice type singularities", which generalize Brieskorn complete intersections. Second, these arise as universal abelian covers of a class of normal surface singularities with Q-homology sphere links, called "splice-quotient singularities". According to the Main Theorem, splice-quo…
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 define and calculate the weighted multiplicities of non Gorenstein terminal singularities on threefolds and some quotient singularities. We improve freeness conditions on threefolds.
Suppose M is a complex manifold of dimension $n+1$ and K is a hypersurface in M. By Poincaré duality we define a residue morphism $res:H^{k+1}(M\setminus K)\longrightarrow H_{2n-k}(K)$ which generalizes the classical Leray residue morphism to cohomology for smooth K. We assume that K has isolated quasihomogeneous singularities. Suppose $ω$ is a holomorphic form of the type $(n+1,0)$ with the first order pole on K. The purpose of this note is to give a short, self contained proof of a criterion which tells us when the residue of $ω$ lifts to the intersection homology of K.
A fundamental goal of algebraic geometry is to do for singular varieties whatever we can do for smooth ones. Intersection homology, for example, directly produces groups associated to any variety which have almost all the properties of the usual homology groups of a smooth variety. Minimal model theory suggests the possibility of working more indirectly by relating any singular variety to a variety which is smooth or nearly so. Here we use ideas from minimal model theory to define some characteristic numbers for singular varieties, generalizing the Chern numbers of a smooth variety. This was s…
A normal projective complex surface is called a rational homology projective plane if it has the same Betti numbers with the complex projective plane $\mathbb{C}\mathbb{P}^2$. It is known that a rational homology projective plane with quotient singularities has at most 5 singular points. So far all known examples have at most 4 singular points. In this paper, we prove that a rational homology projective plane $S$ with quotient singularities such that $K_S$ is nef has at most 4 singular points except one case. The exceptional case comes from Enriques surfaces with a configuration of 9 smooth ra…
While the topological types of {normal} surface singularities with homology sphere link have been classified, forming a rich class, until recently little was known about the possible analytic structures. We proved in [Geom. Topol. 9(2005) 699-755] that many of them can be realized as complete intersection singularities of "splice type", generalizing Brieskorn type. We show that a normal singularity with homology sphere link is of splice type if and only if some naturally occurring knots in the singularity link are themselves links of hypersurface sections of the singular point. The Casson Inva…
We generalize the result of Kawamata concerning the strong version of Fujita's freeness conjecture for smooth 3-folds to some singular cases, namely, Gorenstein terminal singularities and quotient singularities of type 1/r(1,1,1) and of type 1/r(1,1,-1). We generalize furthermore the result of that to projective threefolds with only canonical singularities for canonical and not terminal singularities. It turns out that the estimates in the first three cases are better than the one for the smooth case, which it is not in the fourth case. We also give explicit examples which show the estimate in…
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.
In "Singularities on Normal Varieties", de Fernex and Hacon started the study of singularities on non-Q-Gorenstein varieties using pullbacks of Weil divisors. In "Log Terminal Singularities", the author of this paper and Urbinati introduce a new class of singularities, called log terminal+, or simply lt+, which they prove is rather well behaved. In this paper we will continue the study of lt+ singularities, and we will show that they satisfy a Bertini type result, inversion of adjunction and small deformation invariance, and that they are naturally related to rational singularities. Finally, w…
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.
In the study of normal surface singularities the relation between analytical and topological properties and invariants of the singularity is a very rich problem. This relation is particularly close for surface singularities constructed from families of curves. We use these Kulikov singularities to reexamine results of Némethi-Okuma and Tomaru.
This paper has been withdrawn. Consider an isolated complex hypersurface singularity, f(x_1,..,x_n)=0. For Newton-non-degenerate singularities the local topology is completely determined by an associated polyhedral object, the Newton diagram. "Most" singularities are not Newton-non-degenerate, for any choice of local coordinates. An old question of Arnol'd asks whether for any hypersurface singularity there exists a stabilization, f(x_1,...,x_n)+z^2_1+...+z^2_r, that becomes Newton-non-degenerate after some change of coordinates. The answer is: "totally no". We give some simple obstructions an…
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]).
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 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.
We classify six-dimensional exceptional quotient singularities and show that seven-dimensional exceptional quotient singularities do not exist. Inter alia we prove that the irreducible six-dimensional projective representation of the sporadic simple Hall--Janko group gives rise to an exceptional quotient singularity.
A cyclic quotient singularity of type $p^2/pq-1$ ($0<q<p, (p,q)=1$) has a smoothing whose Milnor fibre is a $\mathbb Q$HD, or rational homology disk (i.e., the Milnor number is $0$) ([9], 5.9.1). In the 1980's, we discovered additional examples of such singularities: three triply-infinite and six singly-infinite families, all weighted homogeneous. Later work of Stipsicz, Szabó, Bhupal, and the author ([7], [1]) proved that these were the only weighted homogeneous examples. In his UNC PhD thesis (unpublished but available at [2]), our student Jacob Fowler completed the analytic classification o…
In this paper we give a necessary combinatorial condition for a negative--definite plumbing tree to be suitable for rational blow--down, or to be the graph of a complex surface singularity which admits a rational homology disk smoothing. New examples of surface singularities with rational homology disk smoothings are also presented; these include singularities with resolution graph having valency four nodes.
This article and its successor concern the topology of real isolated hypersurface singularities. We prove that after attaching a certain number of handles the real Milnor fibres become contractible, with each handle corresponding to a critical point of a morsification; in particular one recovers the classical formula of Khimshiashvili for the Euler characteristic of the Milnor fibres. We then give sufficient conditions for having that the integer homology groups of the real Milnor fibres are isomorphic to the homology groups of a bouquet of spheres. This is followed by a discussion on real van…
We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular homology in degree zero and the abelianized modified tame fundamental group.
Let X be a surface with an isolated singularity at the origin, given by the equation Q(x,y,z)=0, where Q is a weighted-homogeneous polynomial. In particular, this includes the Kleinian surfaces X = C^2/G for G < SL(2,C) finite. Let Y be the n-th symmetric power of X. We compute the zeroth Poisson homology of Y, as a graded vector space with respect to the weight grading. In the Kleinian case, this confirms a conjecture of Alev, that the zeroth Poisson homology of the n-th symmetric power of C^2/G is isomorphic to the zeroth Hochschild homology of the n-th symmetric power of the algebra of G-in…
It is known (Stipsicz-Szabó-Wahl) that there are exactly three triply-infinite and seven singly-infinite families of weighted homogeneous normal surface singularities admitting a rational homology disk ($\mathbb{Q}$HD) smoothing, i.e., having a Milnor fibre with Milnor number zero. Some examples are found by an explicit "quotient construction", while others require the "Pinkham method". The fundamental group of the Milnor fibre has been known for all except the three exceptional families $\mathcal B_2^3(p), \mathcal C^3_2(p),$ and $\mathcal C^3_3(p)$. In this paper, we settle these cases. We p…
A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We classify singular Q-homology planes which are C^1- or C*-ruled. We analyze their completions, the number of different rulings, the number of affine lines on it and we give constructions. Together with previously known results this completes the classification of Q-homology planes with smooth locus of non-general type. We show also that the dimension of a family of homeomorphic but non-isomorphic singular Q-homology planes having the same weighted boundary, singularities and Kodaira dimension can be ar…
For any negative definite plumbed 3-manifold M we construct from its plumbed graph a graded Z[U]-module. This, for rational homology spheres, conjecturally equals the Heegaard-Floer homology of Ozsvath and Szabo, but it has even more structure. If M is a complex singularity link then the normalized Euler-characteristic can be compared with the analytic invariants. The Seiberg--Witten Invariant Conjecture is discussed in the light of this new object.
Let $X$ be a toric variety. Rationally Borel-Moore homology of $X$ is isomorphic to the homology of the Koszul complex $A^T_*(X)\otimes Λ^\x M$, where $A^T_*(X)$ is the equivariant Chow group and $M$ is the character group of $T$. Moreover, the same holds for coefficients which are the integers with certain primes inverted.
Thanks to the recent work of Bhupal, Stipsicz, Szabo, and the author, one has a complete list of resolution graphs of weighted homogeneous complex surface singularities admitting a rational homology disk ("QHD") smoothing, i.e., one with Milnor number 0. They fall into several classes, the most interesting of which are the three classes whose resolution dual graph has central vertex with valency 4. We give a uniform "quotient construction" of the QHD smoothings for these classes; it is an explicit Q-Gorenstein smoothing, yielding a precise description of the Milnor fibre and its non-abelian fu…
We discuss Suslin's singular homology and cohomology. In the first half we examine the p-part in characteristic p, and the situation over non-algebraically closed fields. In the second half we focus on finite base fields. We study finite generation properties, and give a modified definition which behaves like a homology theory: in degree zero it is a copy of Z for each connected component, in degree one it is related to the abelianized (tame) fundamental group, even for singular schemes, and it is expected to be finitely generated in general.
We present algorithms to classify isolated hypersurface singularities over the real numbers according to the classification by V.I. Arnold (Arnold et al., 1985). This first part covers the splitting lemma and the simple singularities; a second and a third part will be devoted to the unimodal singularities up to corank 2. All algorithms are implemented in the SINGULAR library realclassify.lib (Marais and Steenpass, 2012).
We continue the program of classification of normal Q-acyclic surfaces defined over the field of complex numbers, so-called 'Q-homology planes'. Here we show that if a Q-homology plane has negative Kodaira dimension then its smooth locus is not of general type. This generalizes an earlier result of Koras-Russell for contractible surfaces.
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.
In the classification of real singularities by Arnold et al. (1985), normal forms, as representatives of equivalence classes under right equivalence, are not always uniquely determined. We describe the complete structure of the equivalence classes of the unimodal real singularities of corank 2. In other words, we explicitly answer the question which normal forms of different type are equivalent, and how a normal form can be transformed within the same equivalence class by changing the value of the parameter. This provides new theoretical insights into these singularities and has important cons…
In the present article we work out a relative setup of generic structures on surface singularities. We fix an analytic type on a subgraph of a rational homology sphere resolution graph $\mathcal{T}$ and we choose a relatively generic normal surface singularity $\tX$ with resolution graph $\mathcal{T}$. We provide formulae for the geometric genus and the analytical Poincaré series of $\tX$. We determine the base point structure of natural line bundles on $\tX$ and give a lower bound on the multiplicity of $\tX$ which is expected to be sharp. We prove similar results about cohomology numbers of …
We present a classification algorithm for isolated hypersurface singularities of corank 2 and modality 1 over the real numbers. For a singularity given by a polynomial over the rationals, the algorithm determines its right equivalence class by specifying all representatives in Arnold's list of normal forms (Arnold et al. 1985) belonging to this class, and the corresponding values of the moduli parameter. We discuss how to computationally realize the individual steps of the algorithm for all singularities in consideration, and give explicit examples. The algorithm is implemented in the Singular…
In this article we study the triangulated category of singularities associated with a non-commutative resolution of singularities. In particular, we give a complete description of this category in the case of a curve with nodal singularities, classifying its indecomposable objects and computing its Auslander-Reiten quiver and K-group.
A classical result of A. Connes asserts that the Frechet algebra of smooth functions on a smooth compact manifold X provides, by a purely algebraic procedure, the de Rham cohomology of X. Namely the procedure uses Hochschild and cyclic homology of this algebra. In the situation of a Thom-Mather stratified variety, we construct a Frechet algebra of functions on the regular part and a module of poles along the singular part. We associate to these objects a complex of differential forms and an Hochschild complex, on the regular part, both with poles along the singular part. The de Rham cohomology…
Suppose $M^{n+1}$ is a complex manifold and K is a hypersurface with isolated singularities. Let $ω$ be a holomorphic form on $M\setminus K$ with the first order pole on K. The Leray residue of such form gives an element in the n-th homology of K which is the Alexander dual to $[ω]\in H^{n+1}(M\setminus K)$. It always lifts to the intersection homology if 0 does not belong to the spectra of a singular points. We assume that singularities are described by the quasihomogeneous equations in certain coordinate systems. Suppose that oscillation indicators of the singular points are greater then -1.…
We prove that good quotients of algebraic varieties with 1-rational singularities also have 1-rational singularities. This refines a result of Boutot on rational singularities of good quotients.
We study the sheaf of locally square integrable holomorphic section of vector bundle with semi-positive curved singular Hermitian metric. We confirm the coherence when its induced determinant metric has analytic singularities.
Let $X$ be an algebraic variety with Gorenstein singularities. We define the notion of a wonderful resolution of singularities of $X$ by analogy with the theory of wonderful compactifications of semi-simple linear algebraic groups. We prove that if $X$ has rational singularities and has a wonderful resolution of singularities, then $X$ admits a categorical crepant resolution of singularities. As an immediate corollary, we get that all determinantal varieties defined by the minors of a generic square/symmetric/skew-symmetric matrix admit categorical crepant resolution of singularities. We also …
