Pfister and Steenbrink studied punctual Hilbert schemes for irreducible curve singularities. In particular, they investigated the structure of special punctual Hilbert schemes for certain monomial curve singularities. In this paper, we study the punctual Hilbert schemes of all degrees for the curve singularities of types $E_6$ and $E_8$. For our analysis, we introduce computational algorithms to decompose a punctual Hilbert schemes into affine cells. We also use the theory of Gröbner basis and known results about the compactified Jacobian of singular curves to prove our main theorems.
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 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 paper, we shall discuss Hilbert property of ${\rm Hilb}^{G}(\mathbb{C}^{3})$, Fujiki-Oka resolutions and iterated Fujiki-Oka resolutions for three dimensional canonical cyclic quotient singularities by using the classification shown by Ishida and Iwashita\cite{II}. Finally, we shall prove that there exists a Hilbert desingularization for any three dimensional canonical cyclic quotient singularity.
We classify some special classes of non-rational Fano threefolds with terminal singularities. In particular, all such hyperelliptic and trigonal varieties are found.
We prove that the class of log canonical rational singularities is closed under the basic operations of the minimal model program. We also give some supplementary results on the minimal model program for log canonical surfaces.
We study the singularities of the isospectral Hilbert scheme $B^n$ of $n$ points over a smooth algebraic surface and we prove that they are canonical if $n \leq 5$, log-canonical if $n \leq 7$ and not log-canonical if $n \geq 9$. We describe as well two explicit log-resolutions of $B^3$, one crepant and the other $\mathfrak{S}_3$-equivariant.
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…
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.
Using the structure of the jet schemes of rational double point singularities, we construct "minimal embedded toric resolutions" of these singularities. We also establish, for these singularities, a correspondence between a natural class of irreducible components of the jet schemes centered at the singular locus and the set of divisors which appear on every "minimal embedded toric resolution". We prove that this correspondence is bijective except for the $E_8$ singulartiy. This can be thought as an embedded Nash correspondence for rational double point singularities.
We prove the vanishing modulo torsion of the higher direct images of the sheaf of Witt vectors (and the Witt canonical sheaf) for a purely inseparable projective alteration between normal finite quotients over a perfect field. For this, we show that the relative Hodge-Witt cohomology admits an action of correspondences. As an application we define Witt-rational singularities which form a broader class than rational singularities. In particular, finite quotients have Witt-rational singularities. In addition, we prove that the torsion part of the Witt vector cohomology of a smooth, proper scheme…
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.
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 prove that the set of singular configurations of a general Gough Stewart platform has a rational parametrization. We introduce a reciprocal twist mapping which, for a general orientation of the platform, realizes the cubic surface of singularities as the blowing up of a quadric surface in five points.
We consider the question whether one can construct an embedded resolution of singularities of a singular variety $X\subset \textbf{A}^n$ from the data of the irreducible components of the spaces of jets (of $X$) centered at the singular locus of $X.$ We show that the answer is no in general and that it is yes for some birational models of rational triple surface singularities.
Normal complex surface singularities with rational homology disk smoothings
Rényi Institute of Mathematics(雷尼数学研究所);University of Technology and Economics(布达佩斯技术与经济大学);Konkuk University(建国大学);Chungnam National University(忠南国立大学)
We show that if $(X,B)$ is a log canonical pair with $\dim X\geq d+2$, whose non-klt centers have dimension $\geq d$, then $X$ is has depth $\ge d+2$ at every closed point.
Given an n-dimensional variety Z with rational singularities, we conjecture that for a resolution of singularities whose reduced exceptional divisor E has simple normal crossings, the (n-1)-th higher direct image of the sheaf of differential forms with log poles along E vanishes. We prove this when Z has isolated singularities and when it is a toric variety. We deduce that for a divisor D with isolated rational singularities on a smooth complex n-dimensional variety X, the generation level of Saito's Hodge filtration on the localization of the structure sheaf along D is at most n-3.
For a smooth Del Pezzo surface the direct sum of global sections of all isomorphism classes of invertible sheaves on it can be almost canonically endowed with a ring structure, called the Cox ring. We show that in characteristic 0 this ring is Gorenstein and its spectrum has rational singularities. Also a gap in math.AG/0309111 is pointed out.
Let $S$ be a smooth projective surface over $\mathbb{C}$. We study the local and global geometry of the nested Hilbert scheme of points $S^{[n,n+1,n+2]}$. In particular, we show that $S^{[n,n+1,n+2]}$ is an irreducible local complete intersection with klt singularities. In addition, we compute the Picard group of $S^{[n,n+1,n+2]}$ when $h^1(S,\mathcal{O}_S) = 0$. From the irreducibility of $S^{[n,n+1,n+2]}$, we deduce irreducibility for four other infinite families of nested Hilbert schemes. We give the first explicit example of a reducible nested Hilbert scheme, which allows us to show that $…
It is a very old and interesting open problem to characterize those collections of embedded topological types of local plane curve singularities which may appear as singularities of a projective plane curve C of degree d. The goal of the present article is to give a complete (topological) classification of those cases when C is rational and it has a unique singularity which is locally irreducible (i.e. C is unicuspidal) with one Puiseux pair.
In this article, we show that if $X$ is an excellent surface with rational singularities, the constant sheaf $\mathbb{Q}_{\ell}$ is a dualizing complex. In coefficient $\mathbb{Z}_{\ell}$, we also prove that the obstruction for $\mathbb{Z}_{\ell}$ to become a dualizing complex lying on the divisor class groups at singular points. As applications, we study the perverse sheaves and the weights of $\ell$-adic cohomology groups on such surfaces.
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…
The weighted dual graph of a two-dimensional normal singularity $(X, x)$ represents the topological nature of the exceptional locus of its minimal log resolution. $(X, x)$ and its graph are said to be taut if the singularity can be uniquely determined by the graph. Laufer gave a complete list of taut singularities over $\mathbb{C}$. In positive characteristics, taut graphs over $\mathbb{C}$ are not necessarily taut and tautness have been studied only for special cases. In this paper, we prove the tautness of $F$-regular singularities. We also discuss the tautness of $F$-pure rational singulari…
In this article, we study the Hilbert scheme of generically non-reduced curves in $\mathbb{P}^3$. We prove the existence of generically non-reduced curves in $\mathbb{P}^3$ for which there exist infinitesimal deformations of the curve that do not induce deformations of the associated reduced scheme. We show that such infinitesimal deformations contribute to the non-reducedness of the corresponding Hilbert scheme. We introduce the notion of extension of curves and prove that such infinitesimal deformations (such that the associated reduced scheme does not deform) are inherited by the extended c…
We generalize Macdonald's formula for the cohomology of Hilbert schemes of points on a curve from smooth curves to curves with planar singularities: we relate the cohomology of the Hilbert schemes to the cohomology of the compactified Jacobian of the curve. The new formula is a consequence of a stronger identity between certain perverse sheaves defined by a family of curves satisfying mild conditions. The proof makes an essential use of Ngo's support theorem for compactified Jacobians and generalizes this theorem to the relative Hilbert scheme of such families. As a consequence, we generalize …
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 …
We compute the nef cone of the Hilbert scheme of points on a general rational elliptic surface. As a consequence of our computation, we show that the Morrison-Kawamata cone conjecture holds for these nef cones.
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.
Let $X,Y$ be algebraic varieties defined over $\Bbb R$. Assume $Y$ is smooth and $X$ is Gorenstein. Suppose $φ:X\to Y$ is a flat $\Bbb R$-morphism such that all the fibers have rational singularities. We show that the pushforward of any smooth, compactly supported measure on $X$ has a continuous density with respect to any smooth measure with non-vanishing density on $Y$. This extends a result of Aizenbud and Avni from the $p$-adic case to the archimedean case.
Given a planar curve defined by means of a real rational parametrization, we prove that the affine values of the parameter generating the real singularities of the offset are real roots of a univariate polynomial that can be derived from the parametrization of the original curve, without computing or making use of the implicit equation of the offset. By using this result, a finite set containing all the real singularities of the offset, and in particular all the real self-intersections of the offset, can be computed. We also report on experiments carried out in the computer algebra system Mapl…
In the paper "Algebraic classification of rational CR structures on topological 5-sphere with transversal holomorphic S^1-action in C^4" (Yau and Yu, Math. Nachrichten 246-247(2002), 207-233), we give algebraic classification of rational CR structures on the topological 5-sphere with transversal holomorphic S^1-action in C^4. Here, algebraic classification of compact strongly pseudoconvex CR manifolds X means classification up to algebraic equivalence, i.e. roughly up to isomorphism of the normalization of the complex analytic variety V which has X as boundary. The problem is intimately relate…
The motivic Hilbert zeta function of a variety is the generating function for classes in the Grothendieck ring of varieties of Hilbert schemes of points of the variety. In this paper, the motivic Hilbert zeta function of a reduced curve is shown to be rational.
The purpose of this paper is to establish a Castelnuovo-Mumford regularity bound for threefolds with mild singularities. Let $X$ be a non-degenerate normal projective threefold in $\mathbb{P}^r$ of degree $d$ and codimension $e$. We prove that if $X$ has rational singularities, then $\text{reg}(X) \leq d-e+2$. Our bound is very close to a sharp bound conjectured by Eisenbud-Goto. When $e=2$ and $X$ has Cohen-Macaulay Du Bois singularities, we obtain the conjectured bound $\text{reg}(X) \leq d-1$, and we also classify the extremal cases. To achieve these results, we bound the regularity of fibe…