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 Maple, showing the efficiency of the algorithm for moderate degrees.
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.
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.
We classify some special classes of non-rational Fano threefolds with terminal singularities. In particular, all such hyperelliptic and trigonal varieties are found.
It is well known that an implicit equation of the offset to a rational planar curve can be computed by removing the extraneous components of the resultant of two certain polynomials computed from the parametrization of the curve. Furthermore, it is also well known that the implicit equation provided by the non-extraneous component of this resultant has at most two irreducible factors. In this paper, we complete the algebraic description of this resultant by showing that the multiplicity of the factors corresponding to the offset can be computed in advance. In particular, when the parametrizati…
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 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 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.
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…
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.
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.
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 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…
We prove the analogue of Viehweg's hyperbolicity conjecture for Whitney equisingular families of projective varieties with Gorenstein rational singularities whose geometric generic fiber has a good minimal model. Namely, for such families with maximal variation, the base spaces are of log general type. The main new ingredient is the use of intersection complexes as Hodge modules in the construction of logarithmic Higgs sheaves by Viehweg-Zuo and Popa-Schnell. This construction suggests an equisingular stratification of the moduli space of varieties of general type, with each stratum being hype…
We study rational points on a smooth variety X over a complete local field K with algebraically closed residue field, and models of X with tame quotient singularities. If a model of X is the quotient of a Galois action on a weak Néron model of the base change of X to a tame Galois extension of K, then we construct a canonical weak Néron model of X with a map to this model, and examine its special fiber. As an application we get examples of singular models of X such that X has K-rational points specializing to a singular point of this model. Moreover we obtain formulas for the motivic Serre inv…
In previous papers, there were computed the Poincare series of some (multi-index) filtrations on the ring of germs of functions on a rational surface singularity. These Poincare series were written as the integer parts of certain fractional power series, an interpretation of whom was not given. Here we show that, up to a simple change of variables, these fractional power series are specializations of the equivariant Poincare series for filtrations on the ring of germs of functions on the universal abelian cover of the surface singularity. We compute these equivariant Poincare series.
In this article, we study the jumping numbers of an ideal in the local ring at rational singularity on a complex algebraic surface. By understanding the contributions of reduced divisors on a fixed resolution, we are able to present an algorithm for finding of the jumping numbers of the ideal. This shows, in particular, how to compute the jumping numbers of a plane curve from the numerical data of its minimal resolution. In addition, the jumping numbers of the maximal ideal at the singular point in a Du Val or toric surface singularity are computed, and applications to the smooth case are expl…
Let k be an algebraically closed field of characteristic zero. We show that the centre of a homologically homogeneous, finitely generated k-algebra has rational singularities. In particular if a finitely generated normal commutative k-algebra has a noncommutative crepant resolution, as introduced by the second author, then it has rational singularities.
Rational pairs generalize the notion of rational singularities to reduced pairs $(X,D)$. In this paper we deal with the problem of determining whether a normal variety $X$ has a rationalizing divisor, i.e. a reduced divisor $D$ such that $(X, D)$ is a rational pair. We give a criterion for cones to have a rationalizing divisor, and relate the existence of such a divisor to the locus of rational singularities of a variety.
Let $C$ be an irreducible projective plane curve in the complex projective space ${\mathbb{P}}^2$. The classification of such curves, up to the action of the automorphism group $PGL(3,{\mathbb{C}})$ on ${\mathbb{P}}^2$, is a very difficult open problem with many interesting connections. The main goal is to determine, for a given $d$, whether there exists a projective plane curve of degree $d$ having a fixed number of singularities of given topological type. In this note we are mainly interested in the case when $C$ is a rational curve. The aim of this article is to present some of the old conj…
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.
It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of the dual complex associated to a resolution of an isolated rational singularity vanish. We also prove that the dual complex associated to a resolution of an isolated hypersurface singularity is simply connected. As a consequence, we show that the dual complex associated to a resolution of a 3-dimensional Gorenstein terminal singularity has the homotopy type o…
Let X be a singular real rational surface obtained from a smooth real rational surface by performing weighted blow-ups. Denote by Aut(X) the group of algebraic automorphisms of X into itself. Let n be a natural integer and let e=[e_1,...,e_l] be a partition of n. Denote by X^e the set of l-tuples (P_1,...,P_l) of distinct nonsingular curvilinear infinitely near points of X of orders (e_1,...,e_l). We show that the group Aut(X) acts transitively on X^e. This statement generalizes earlier work where the case of the trivial partition e=[1,...,1] was treated under the supplementary condition that …
Given a rational projective parametrization $\cP(\ttt,\sss,\vvv)$ of a rational projective surface $\cS$ we present an algorithm such that, with the exception of a finite set (maybe empty) $\cB$ of projective base points of $\cP$, decomposes the projective parameter plane as $\projdos\setminus \cB=\cup_{k=1}^{\ell} \cSm_k$ such that if $(\ttt_0:\sss_0:\vvv_0)\in \cSm_k$ then $\cP(\ttt_0,\sss_0,\vvv_0)$ is a point of $\cS$ of multiplicity $k$.
