We consider the polar curves $\PSO$ arising from generic projections of a germ $(S,0)$ of complex surface singularity onto $\C^2$. Taking $(S,0)$ to be a minimal singularity of normal surface (i.e. a rational singularity with reduced tangent cone), we give the $δ$-invariant of these polar curves, as well as the equisingularity-type of their generic plane projections, which are also the discriminants of generic projections of $(S,0)$. These two (equisingularity)-data for $\PSO$ are described in term, on the one side of the geometry of the tangent cone of $(S,0)$ and on the other side of the limit-trees introduced by T. de Jong and D. van Straten for the deformation theory of these minimal singularities. These trees give a combinatorial device for the description of the polar curve which makes it much clearer than in our previous Note on the subject. This previous work mainly relied on a result of M. Spivakovsky. Here we give a geometrical proof via deformations (on the tangent cone, and what we call Scott deformations) and blow-ups, although we need Spivakovsky's result at some point, extracting some other consequences of it along the way.
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.
This paper characterizes singularities with Mather minimal log discrepancies in the highest unit interval, i.e., the interval between $d-1$ and $d$, where $d$ is the dimension of the scheme. The class of these singularities coincides with one of the classes of (1) compound Du Val singularities, (2) normal crossing double singularities, (3) pinch points, and (4) pairs of non-singular varieties and boundaries with multiplicities less than or equal to 1 at the point. As a corollary, we also obtain one implication of an equivalence conjectured by Shokurov for the usual minimal log discrepancies.
In this article, we study the group of autoequivalences of derived categories of coherent sheaves on the minimal resolution of $A_n$-singularities on surfaces. Our main result is to find generators of this group.
We prove a formula for the polar degree of projective hypersurfaces in terms of the Milnor data of the singularities, extending to 1-dimensional singularities the Dimca-Papadima result for isolated singularities. We discuss the semi-continuity of the polar degree in deformations, and we classify the homaloidal cubic surfaces with 1-dimensional singular locus. Some open questions are pointed out along the way.
We prove the existence of $n$-complements for pairs with DCC coefficients and the ACC for minimal log discrepancies of exceptional singularities. In order to prove these results, we develop the theory of complements for real coefficients. We introduce $(n,Γ_0)$-decomposable $\mathbb{R}$-complements, and show its existence for pairs with DCC coefficients.
We investigate Cox rings of minimal resolutions of surface quotient singularities and provide two descriptions of these rings. The first one is the equation for the spectrum of a Cox ring, which is a hypersurface in an affine space. The second is the set of generators of the Cox ring viewed as a subring of the coordinate ring of a product of a torus and another surface quotient singularity. In addition, we obtain an explicit description of the minimal resolution as a divisor in a toric variety.
This article, based on the talk given by one of the authors at the Pierrettefest in Castro Urdiales in June 2008, is an overview of a number of recent results on the polar invariants of plane curve singularities.
This paper is the first part of a two part paper which introduces the study of the Whitney Equisingularity of families of Symmetric determinantal singularities. This study reveals how to use the multiplicity of polar curves associated to a generic deformation of a singularity to control the Whitney equisingularity type of these curves.
We prove that a quotient singularity $\mathbb{C}^n/G $ by a finite subgroup $G\subset SL_n(\mathbb{C})$ has a crepant resolution only if $G $ is generated by junior elements. This is a generalization of the result of Verbitsky [V]. We also give a procedure to compute the Cox ring of a minimal model of a given $\mathbb{C}^n/G$ explicitly from information of $G$. As an application, we investigate the smoothness of minimal models of some quotient singularities. Together with work of Bellamy and Schedler, this completes the classification of symplectically imprimitive quotient singularities which …
We investigate the correspondence between three theories of deformations of rational surface singularities: de Jong and van Straten's picture deformations, Kollár's P-resolutions, and Pinkham's smoothings of negative weights. We provide an explicit method for obtaining, from a given deformation in one theory, deformations in other theories that parameterize the same irreducible components of the deformation space of the singularity. We employ the semi-stable minimal model program significantly for this purpose. We prove Kollár conjecture for various sandwiched surface singularities as an appli…
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 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.
In this paper, we study polar quotients and Łojasiewicz exponents of plane curve singularities, which are {\em not necessarily reduced}. We first show that the polar quotients is a topological invariant. We next prove that the Łojasiewicz gradient exponent can be computed in terms of the polar quotients, and so it is also a topological invariant. As an application, we give effective estimates of the Łojasiewicz exponents in the gradient and classical inequalities of polynomials in two (real or complex) variables.
We show that there exists a positive real number $δ>0$ such that for any normal quasi-projective $\mathbb{Q}$-Gorenstein $3$-fold $X$, if $X$ has worse than canonical singularities, that is, the minimal log discrepancy of $X$ is less than $1$, then the minimal log discrepancy of $X$ is not greater than $1-δ$. As applications, we show that the set of all non-canonical klt Calabi-Yau $3$-folds are bounded modulo flops, and the global indices of all klt Calabi-Yau $3$-folds are bounded from above.
We study lattice polarizations of five exceptional pairs of families of K3 surfaces obtained via compactifications of strange dual pairs of bimodal singularities. We show that the polarizations induced by embedding these paired families in paired toric varieties obtained from polar dual reflexive polytopes cannot be mirror lattices and identify mirror sublattices.
The minimal degeneration singularities in the affine Grassmannians of simple simply-laced algebraic groups are determined to be either Kleinian singularities of type A, or closures of minimal orbits in nilpotent cones. The singularities for non-simply-laced types are studied by intersection cohomology and equivariant Chow group methods.
This is the major revision. The main purpose of this paper is to prove that minimal discrepancies of $n$-dimensional toric singularities can accumulate only from above and only to minimal discrepancies of toric singularities of dimension less than $n$. I also prove that some lower-dimensional minimal discrepancies do appear as such limit.
We give an upper bound for the minimal discrepancies of hypersurface singularities. As an application, we show that Shokurov's conjecture is true for log-terminal threefolds.
This paper addresses a very classical topic that goes back at least to Plücker: how to understand a plane curve singularity using its polar curves. Here, we explicitly construct the singular points of a plane curve singularity directly from the weighted cluster of base points of its polars. In particular, we determine the equisingularity class (or topological equivalence class) of a germ of plane curve from the equisingularity class of generic polars and combinatorial data about the non-singular points shared by them.
In this paper we study singularities in arbitrary characteristic. We propose Finite Determination Conjecture for Mather-Jacobian minimal log discrepancies in terms of jet schemes of a singularity. The conjecture is equivalent to the boundedness of the number of the blow-ups to obtain a prime divisor which computes the Mather-Jacobian minimal log discrepancy. We also show that this conjecture yields some basic properties of singularities; e.g. openness of Mather-Jacobian (log) canonical singularities, stability of these singularities under small deformations and lower semi-continuity of Mather-…
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.
In this article we prove a local implication of boundedness of Fano varieties. More precisely, we prove that $d$-dimensional $a$-log canonical singularities, with standard coefficients, which admit an $ε$-plt blow-up have minimal log discrepancies belonging to a finite set which only depends on $d,a$ and $ε$. This result gives a natural geometric stratification of the possible mld's in a fixed dimension by finite sets. As an application, we prove the ascending chain condition for minimal log discrepancies of exceptional singularities. We also introduce an invariant for klt singularities relate…
This is a survey of some recent developments in the study of singularities related to the classification theory of algebraic varieties. In particular, the definition and basic properties of Du Bois singularities and their connections to the more commonly known singularities of the minimal model program are reviewed and discussed.
A quasi-ordinary polynomial is a monic polynomial with coefficients in the power series ring such that its discriminant equals a monomial up to unit. In this paper we study higher derivatives of quasi-ordinary polynomials, also called higher order polars. We find factorizations of these polars. Our research in this paper goes in two directions. We generalize the results of Casas-Alvero and our previous results on higher order polars in the plane to irreducible quasi-ordinary polynomials. We also generalize the factorization of the first polar of a quasi-ordinary polynomial (not necessary irred…
We prove that every minimal symplectic filling of the link of a quotient surface singularity can be obtained from its minimal resolution by applying a sequence of rational blow-downs and symplectic antiflips. We present an explicit algorithm inspired by the minimal model program for complex 3-dimensional algebraic varieties.
In this article we prove a non-vanishing statement, as well as several properties of metrics with minimal singularities of adjoint bundles. Our arguments involve many ideas from Y.-T. Siu's analytic proof of the finite generation of the canonical ring. An important technical tool is the notion of relative critical exponent of two closed positive currents with respect to a measure.
We give a precise formulation of the modularity principle for the log canonical models of $\bar{M}_g$. Assuming the modularity principle holds, we develop and compare two methods for determining the critical alpha-values at which a singularity or complete curve with G_m-action arises in the modular interpretations of log canonical models of $\bar{M}_g$. The first method involves a new invariant of curve singularities with G_m-action, constructed via the characters of the induced G_m-action on spaces of pluricanonical forms. The second method involves intersection theory on the variety of stabl…
We prove that any three dimensional terminal singularity $P \in X$ can be resolved by a sequence of divisorial contractions with minimal discrepancies which are weighted blowups over points.
Let f : X -> S be any elliptic fibration. If X has dimension 3 and is not uniruled, then X has a minimal model (with terminal singularities) [Mori]. In earlier work we have shown that there exists a birationally equivalent elliptic fibration p: Y -> T such that Y is minimal and a multiple of K_Y can be expressed as the pullback of a divisor from T. Moreover T has at worst quotient singularities; it is not difficult to find examples where T is actually singular. In this paper we describe the singularities of this parameter surface T in the case of no multiple fibers. Although T is not uniquely …
Under some hypotheses on the singular type of the one-parameter family of elliptic curves in a primitively polarized $K3$ surface $S$ determined by its polarization (which is expected to be true for a very general polarized $K3$ surface), we give a more geometric proof of the fact that the second Chern class of $S$ is equal to $24 \cdot o_S$ in the Chow group of $0$-cycles where $o_S$ is the Beauville-Voisin canonical $0$-cycle.
In this paper, we prove the boundedness of foliated surfaces $(X,\mathscr{F})$ which are minimal partial du Val resolutions of canonical models $(X_c,\mathscr{F}_c)$ of general type. For applications, we show the boundedness of non-cusp singularities on canonical models of foliated surfaces of general type and the effective generation on the complement of the cusp singularities.
We investigate the minimal singularities of metrics on a big line bundle $L$ over a projective manifold when the stable base locus $Y$ of $L$ is a submanifold of codimension $r\geq 1$. Under some assumptions on the normal bundle and a neighborhood of $Y$, we give a explicit description of the minimal singularity of metrics on $L$. We apply this result to study a higher (co-)dimensional analogue of Zariski's example, in which the line bundle $L$ is not semi-ample, however it is nef and big.
We study the equisingularity of a family of function germs $\{f_t\colon(X_t,0)\to (\mathbb{C},0)\}$, where $(X_t,0)$ are $d$-dimensional isolated determinantal singularities. We define the $(d-1)$th polar multiplicity of the fibers $X_t\cap f_t^{-1}(0)$ and we show how the constancy of the polar multiplicities is related to the constancy of the Milnor number of $f_t$ and the Whitney equisingularity of the family.
The LCS locus is an essential ingredient in the proof of fundamental results of Log Minimal Model Program, such as nonvanishing and base point freeness theorems. We prove in this paper that the LCS locus of a log canonical variety has seminormal singularities.
The philosophy of the article is that the desingularization invariant together with natural geometric information can be used to compute local normal forms of singularities. The idea is used in two related problems: (1) We give a proof of resolution of singularities of a variety or a divisor, except for simple normal crossings (i.e., which avoids blowing up simple normal crossings, and ends up with a variety or a divisor having only simple normal crossings singularities). (2) For more general normal crossings (in a local analytic or formal sense), such a result does not hold. We find the small…
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.
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]).
Given a complex projective surface with an ADE singularity and p_{g}=0, we construct ADE bundles over it and its minimal resolution. Furthermore, we descibe their minuscule representation bundles in terms of configurations of (reducible) (-1)-curves.
A mixed quasi-étale quotient is the quotient of the product of a curve of genus at least 2 with itself by the action of a group which exchanges the two factors and acts freely out of a finite subset. A mixed quasi-étale surface is the minimal resolution of its singularities. We produce an algorithm computing all mixed quasi-étale surfaces with given geometric genus, irregularity, and self-intersection of the canonical class. We prove that all irregular mixed quasi-étale surfaces of general type are minimal. As application, we classify all irregular mixed quasi étale surfaces of general type wi…
We deform monomial space curves in order to construct examples of set-theoretical complete intersection space curve singularities. As a by-product we describe an inverse to Herzog's construction of minimal generators of non-complete intersection numerical semigroups with three generators.
We unify and generalize formulas obtained by Campillo, Delgado and Gusein-Zade in their series of articles. Positive results are established for rational and minimally elliptic singularities. By examples and counterexamples we also try to find the `limits' of these identities. Connections with the Seiberg-Witten Invariant Conjecture and Semigroup Density Conjecture are discussed.
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 complete the proof given earlier by one of us that the singularities of the perfect cone compactification $A_g^P$ of the coarse moduli space $A_g$ of principally polarized abelian $g$-folds are terminal if $g\ge 6$, and canonical if $g=5$.
In this paper we give a positive answer to a question of Dimca and Greuel about the quotient between the Milnor and the Tjurina numbers for any irreducible germ of plane curve singularity. This result is based on a closed formula for the minimal Tjurina number of an equisingularity class in terms of the sequence of multiplicities of the strict transform along a resolution. The key points for the proof are previous results by Genzmer, Wall and Mattei.
