Let X be a smooth variety and Y a closed subscheme of X. By comparing motivic integrals on X and on a log resolution of (X,Y), we prove the following formula for the log canonical threshold of (X,Y): c(X,Y)=dim X-sup_m{(dim Y_m}/(m+1)}, where Y_m is the mth jet scheme of Y. We show how this formula can be used to study the log canonical threshold. In particular, we give a proof of the Semicontinuity theorem of Demailly and Kollár.
We study logarithmic jet schemes of a log scheme and generalize a theorem of M. Mustata from the case of ordinary jet schemes to the logarithmic case. If X is a normal local complete intersection log variety, then X has canonical singularities if and only if the log jet schemes of X are irreducible.
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 that if X is a locally complete intersection variety, then X has all the jet schemes irreducible if and only if X has canonical singularities. After embedding X in a smooth variety Y, we use motivic integration to express the condition that X has irreducible jet schemes in terms of data coming from an embedded resolution of X in Y. We show that this condition is equivalent with having canonical singularities. In the appendix, this result is used to prove a generalization of Kostant's freeness theorem to the setting of jet schemes.
Kempf proved that the theta divisor of a smooth projective curve C has rational singularities. In this paper we estimate the dimensions of the jet schemes of the theta divisor and show that all these schemes are irreducible. In particular, we recover Kempf's theorem in this way. For general projective smooth curves, our method also gives a formula for the log canonical threshold of the pair (\pic^d(C), W^r_d(C)).
This paper summarizes the results at the present moment about singularities with respect to the Mather-Jacobian log discrepancies over algebraically closed field of arbitrary characteristic. The basic point is the Inversion of Adjunction with respect to Mather-Jacobian discrepancies holds in arbitrary characteristic. Based on this fact we will reduce many geometric properties of the singularities into the problem on jet schemes and try to avoid discussions which are distinctive for characteristic 0.
We give a self-contained presentation of the basic results on jet schemes of singular varieties. Applications are given to invariants of singularities, such as minimal log discrepancies. We simplify our older approach to Inversion of adjunction for locally complete intersection varieties, and we prove a more general result for arbitrary Q-Gorenstein varieties embeded in nonsingular varieties (this statement has been proved independently also by Kawakita) .
Let $\mathbb{K}$ be an algebraically closed field of characteristic zero, and $V$ a hypersurface defined by an irreducible polynomial $f$ with coefficients in $\mathbb{K}$ . In this article we prove that an Embedded Deformation of $V$ which admits a Simultaneous Embedded Resolution induces, under certain mild conditions, a deformation of the reduced scheme associated to the space of $m$-jets $V_m$, $m\geq 0$. An example of an Embedded Deformation of $V$ which admits a Simultaneous Embedded Resolution is a $Γ(f)$-deformation of $V$, where $V$ has at most one isolated singularity, and $f$ is non…
In this paper we give a complete description of the irreducible components of the jet schemes (with origin in the singular locus) of a two-dimensional quasi-ordinary hypersurface singularity. We associate with these components and with their codimensions and embedding dimensions, a weighted graph. We prove that the data of this weighted graph is equivalent to the data of the topological type of the singularity. We also determine a component of the jet schemes (or equivalently, a divisor on $\mathbb{A}^3$), that computes the log canonical threshold of the singularity embedded in $\mathbb{A}^3$.…
This paper studies the singularities of jet schemes of homogeneous hypersurfaces of general type. We obtain the condition of the degree and the dimension for the singularities of the jet schemes to be of dense $F$-regular type. This provides us with examples of singular varieties whose $m$-jet schemes have rational singularities for every $m$.
We show that any union of slc strata of a Fano log pair with semi-log canonical singularities is simply connected. In particular, Fano log pairs with semi-log canonical singularities are simply connected, which confirms a conjecture of the first author.
Motivated by Shokurov's ACC Conjecture for log canonical thresholds, we propose an inductive point of view on singularities of pairs, in the case when the ambient variety is smooth. Our main result characterizes the log canonicity of a pair in dimension N+1 by the log canonicity of another pair (not effective, in general) in dimension N.
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.
Inspired by several works on jet schemes and motivic integration, we consider an extension to singular varieties of the classical definition of discrepancy for morphisms of smooth varieties. The resulting invariant, which we call Jacobian discrepancy, is closely related to the jet schemes and the Nash blow-up of the variety. This notion leads to a framework in which adjunction and inversion of adjunction hold in full generality, and several consequences are drawn from these properties. The main result of the paper is a formula measuring the gap between the dualizing sheaf and the Grauert-Rieme…
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.
Given a scheme X over a field k, a generalized jet scheme parametrizes maps from Spec(A) to X, where A is a finite-dimensional, local algebra over k. We give an overview of known results concerning the dimensions of these schemes when A has embedding dimension one, when they are related to invariants of singularities in birational geometry. We end with a discussion of more general jet schemes.
Let $X$ be a horospherical $G$-variety and let $D$ be an effective $\mathbb{Q}$-divisor of $X$ that is stable under the action of a Borel subgroup $B$ of $G$ and such that $D+K\_X$ is $\mathbb{Q}$-Cartier. We prove, using Bott-Samelson resolutions, that the pair $(X,D)$ is klt if and only if $\lfloor D\rfloor=0$
We study the non-klt locus of singularities of pairs. We show that given a pair $(X,B)$ and a projective morphism $X\to Z$ with connected fibres such that $-(K_X+B)$ is nef over $Z$, the non-klt locus of $(X,B)$ has at most two connected components near each fibre of $X\to Z$. This was conjectured by Hacon and Han. In a different direction we answer a question of Mark Gross on connectedness of the non-klt loci of certain pairs. This is motivated by constructions in Mirror Symmetry.
Let X be a smooth complex variety and Y be a closed subvariety of X, or more generally, a closed subscheme of X. We are interested in invariants attached to the singularities of the pair (X, Y). We discuss various methods to construct such invariants, coming from the theory of multiplier ideals, D-modules, the geometry of the space of arcs and characteristic p techniques. We present several applications of these invariants to algebra, higher dimensional birational geometry and to singularities.
There are strange dual pairs of bimodal singularities that are not assigned an invertible projectivisation in EbelingPloog. We study families of $K3$ surfaces associated to such pairs.
We compute Bernstein-Sato polynomials of some pairs of topologically equivalent plane curve singularities. Some pairs have the same Tjurina number but distinct Bernstein-Sato polynomials, which implies that they are not analytically equivalent.
In 1982, Tamaki Yano proposed a conjecture predicting the set of b-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In \cite{ACLM-Yano2} we proved the conjecture for the case in which the germ has two Puiseux pairs and its algebraic monodromy has distinct eigenvalues. In this article we aim to study the Bernstein polynomial for any function with the hypotheses above. In particular the set of all common roots of those Bernstein polynomials is given. We provide also bounds for some analytic invariants of singularities and illustrate the comp…
In 1982, Yano proposed a conjecture predicting the $b$-exponents of an irreducible plane curve singularity which is generic in its equisingularity class. In this article we prove the conjecture for the case of two Puiseux pairs and monodromy with distinct eigenvalues. The hypothesis on the monodromy implies that the $b$-exponents coincide with the opposite of the roots of the Bernstein polynomial, and we compute the roots of the Bernstein polynomial.
Let $(P\in X,Δ)$ be a three dimensional log canonical pair such that $Δ$ has only standard coefficients and $P$ is a center of log canonical singularities for $(X,Δ)$. Then we get an effective bound of the indices of these pairs and actually determine all the possible indices. Furthermore, under certain assumptions including the log Minimal Model Program, an effective bound is also obtained in dimension $n\geq 4$.
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.
Using the theory of jet schemes, we give a new approach to the description of a minimal generating sequence of a divisorial valuations on $\textbf{A}^2.$ For this purpose, we show how one can recover the approximate roots of an analytically irreducible plane curve from the equations of its jet schemes. As an application, for a given divisorial valuation $v$ centered at the origin of $\textbf{A}^2,$ we construct an algebraic embedding $\textbf{A}^2\hookrightarrow \textbf{A}^N,N\geq 2$ such that $v$ is the trace of a monomial valuation on $\textbf{A}^N.$ We explain how results in this direction …
In 2002, Alexeev provided a modular interpretation for the toroidal compactification of $A_g$ for the 2nd Voronoi fan. In this paper we show that pairs $(X,Θ)$ in the boundary of this moduli space are semi-log canonical, the analog of log canonical in the non-normal setting. This extends the result of Koll${á}$r stating that principally polarized abelian pairs $(X,Θ)$ are log canonical.
The geometric motivic Poincaré series of a variety, which was introduced by Denef and Loeser, takes into account the classes in the Grothendieck ring of the sequence of jets of arcs in the variety. Denef and Loeser proved that this series has a rational form. We describe it in the case of an affine toric variety of arbitrary dimension. The result, which provides an explicit set of candidate poles, is expressed in terms of the sequence of Newton polyhedra of certain monomial ideals, which we call logarithmic jacobian ideals, associated to the modules of differential forms with logarithmic poles…
1) Assuming log Minimal Model Conjecture, we give a construction of a complete moduli space of stable log pairs of arbitrary dimension generalizing directly the space M_{g,n} of pointed stable curves. Each stable pair has semi log canonical singularities. 2) We prove that a stable quasiabelian pair, defined by author and I.Nakamura as the limit of abelian varieties with theta divisors, has semi log canonical singularities.
In this paper we introduce a notion of rational singularities associated to pairs $(X, \ba^t)$ where $X$ is a variety, $\ba$ is an ideal sheaf and $t$ is a nonnegative real number. We prove that most standard results about rational singularities extend to this context. We also show that some results commonly associated with log terminal pairs have analogs in this context, including results related to inversion of adjunction. A positive characteristic analogue of rational singularities of pairs is also defined and explored.
We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semiample. Moreover, we consider semiampleness of the anti-log canonical divisor of any weak log Fano pair with log canonical singularities. We show semiampleness dose not hold in general by constructing several examples. Based on those examples, we propose sufficient conditions which seem to be the best possible and we prove semiampleness under such conditions. In particular we derive semiampleness of the anti-canonical divisors of log canonical weak Fano 4-folds whose lc centers are at most 1-…
The main purpose of this article is to define the notion of DuBois singularities for pairs and proving a vanishing theorem using this new notion. The main vanishing theorem specializes to a new vanishing theorem for resolutions of log canonial singularities.
We consider pairs (X,A), where X is a variety with klt singularities and A is a formal product of ideals on X with exponents in a fixed set that satisfies the Descending Chain Condition. We also assume that X has (formally) bounded singularities, in the sense that it is, formally locally, a subvariety in a fixed affine space defined by equations of bounded degree. We prove in this context a conjecture of Shokurov, predicting that the set of log canonical thresholds for such pairs satisfies the Ascending Chain Condition.
In this paper, we investigate the relationship of F-regular (resp. F-pure) rings and log terminal (resp. log canonical) singularities. Also, we extend the notions of F-regularity and F-purity to "F-singularities of pairs." The notions of F-regular and F-pure rings in characteristic $p>0$ are characterized by a splitting of the Frobenius map, and define some classes of rings having "mild" singularities. On the other hand, there are notions of log terminal and log canonical singularities defined via resolutions of singularities in characteristic zero. These are defined also for pairs of a normal…
Let $f\colon X\to Z$ be a Mori fibre space. McKernan conjectured that the singularities of $Z$ are bounded in terms of the singularities of $X$. Shokurov generalised this to pairs: let $(X,B)$ be a klt pair and $f\colon X\to Z$ a contraction such that $K_X+B\sim_\R 0/Z$ and that the general fibres of $f$ are Fano type varieties; adjunction for fibre spaces produces a discriminant divisor $B_Z$ and a moduli divisor $M_Z$ on $Z$. it is then conjectured that the singularities of $(Z,B_Z+M_Z)$ are bounded in terms of the singularities of $(X,B)$. We prove Shokurov conjecture when $(F,\Supp B_F)$ b…
We generalize the notions of F-regular and F-pure rings to pairs $(R,\a^t)$ of rings $R$ and ideals $\a \subset R$ with real exponent $t > 0$, and investigate these properties. These ``F-singularities of pairs'' correspond to singularities of pairs of arbitrary codimension in birational geometry. Via this correspondence, we prove Inversion of Adjunction of arbitrary codimension, which states that for a pair $(X,Y)$ of a smooth variety $X$ and a closed subscheme $Y \subsetneq X$, if the restriction $(Z, Y|_Z)$ to a normal $\Q$-Gorenstein closed subvariety $Z \subsetneq X$ is klt (resp. lc), the…
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.
These are the revised notes of my lectures at the 1995 Santa Cruz summer institute. Changes from the Jan.26,1996 version: Major: 7.1--2; Medium: 3.7, 3.11, 5.3.3, 7.9.2, 9.8.
We prove several results about the behavior Du Bois singularities and Du Bois pairs in families. Some of these generalize existing statements about Du Bois singularities to the pair setting while others are new even in the non-pair setting. We also prove a new inversion of adjunction result for Du Bois and rational pairs. In the non-pair setting this asserts that if a family over a smooth base has a special fiber $X_0$ with Du Bois singularities and the general fiber has rational singularities, then the total space has rational singularities near $X_0$.
In this paper we generalize the definitions of singularities of pairs and multiplier ideal sheaves to pairs on arbitrary normal varieties, without any assumption on the variety being Q-Gorenstein or the pair being log Q-Gorenstein. The main features of the theory extend to this setting in a natural way.
Over a field of characteristic zero, every deformation problem with cohomology constraints is controlled by a pair consisting of a differential graded Lie algebra together with a module. Unfortunately, these pairs are usually infinite-dimensional. We show that every deformation problem with cohomology constraints is controlled by a typically finite-dimensional L-infinity pair. As a first application, we show that for complex algebraic varieties with no weight-zero 1-cohomology classes, the components of the cohomology jump loci of rank one local systems containing the constant sheaf are tori. …
The purpose of the present paper is to set up a formalism inspired from non-Archimedean geometry to study K-stability. We first provide a detailed analysis of Duistermaat-Heckman measures in the context of test configurations, characterizing in particular the trivial case. For any normal polarized variety (or, more generally, polarized pair in the sense of the Minimal Model Program), we introduce and study the non-Archimedean analogues of certain classical functionals in Kähler geometry. These functionals are defined on the space of test configurations, and the Donaldson-Futaki invariant is in…
This paper applies the multiplicity polar theorem to the study of hypersurfaces with non-isolated singularities. The multiplicity polar theorem controls the multiplicity of a pair of modules in a family by relating the multiplicity at the special fiber to the multiplicity of the pair at the general fiber. It is as important to the study of multiplicities of modules as the basic theorem in ideal theory which relates the multiplicity of an ideal to the local degree of the map formed from the generators of a minimal reduction. In fact, as a corollary of the theorem, we show here that for M a subm…
We show that for all $k\ge 1$, there exists an integer $N(k)$ such that for all $n\ge N(k)$ the $k$-th order jet scheme over the commuting $n\times n$ matrix pairs scheme is reducible. At the other end of the spectrum, it is known that for all $k\ge 1$, the $k$-th order jet scheme over the commuting $2\times 2$ matrices is irreducible: we show that the same holds for $n=3$.
We introduce a new variant of tight closure and give an interpretation of adjoint ideals via this tight closure. As a corollary, we prove that a log pair $(X,Δ)$ is plt if and only if the modulo $p$ reduction of $(X,Δ)$ is divisorially F-regular for all large $p \gg 0$. Here, divisorially F-regular pairs are a class of singularities in positive characteristic introduced by Hara and Watanabe in terms of Frobenius splitting.
The singularity space consists of all germs $(X,x)$, with $X$ a Noetherian scheme and $x$ a point, where we identify two such germs if they become the same after an analytic extension of scalars. This is a Polish space for the metric given by the order to which infinitesimal neighborhoods, or jets, agree after base change. In other words, the classification of singularities up to analytic extensions of scalars is a smooth problem in the sense of descriptive set-theory. Over $\mathbb C$, the following two classification problems up to isomorphism are now smooth: (i) analytic germs; and (ii) pol…
In this paper we characterize the value set $Δ$ of the $R$-modules of the form $R+zR$ for the local ring $R$ associated to a germ $ξ$ of an irreducible plane curve singularity with one Puiseux pair. In the particular case of the module of Kähler differentials attached to $ξ$, we recover some results of Delorme. From our characterization of $Δ$ we introduce a proper subset of semimodules over the value semigroup of the ring $R$. Moreover, we provide a geometric algorithm to construct all possible semimodules in this subset for a given value semigroup.
We use the framework of perfectoid big Cohen-Macaulay algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them with the existing equal characteristic PLT and purely $F$-regular singularities and adjoint ideals. As an application, we obtain a uniform version of the Briançon-Skoda theorem in mixed characteristi…
Let X denote a reduced algebraic variety and D a Weil divisor on X. The pair (X,D) is said to be semi-simple normal crossings (semi-snc) at a point a of X if X is simple normal crossings at a (i.e., a simple normal crossings hypersurface, with respect to a local embedding in a smooth ambient variety), and D is induced by the restriction to X of a hypersurface that is simple normal crossings with respect to X. We construct a composition of blowings-up f: X' -> X such that the transformed pair (X',D') is everywhere semi-simple normal crossings, and f is an isomorphism over the semi-simple normal…
In this work, we study a family of Cremona transformations of weighted projective planes which generalize the standard Cremona transformation of the projective plane. Starting from special plane projective curves we construct families of curves in weighted projective planes with special properties. We explain how to compute the fundamental groups of their complements, using the blow-up-down decompositions of the Cremona transformations, we find examples of Zariski pairs in weighted projective planes (distinguished by the Alexander polynomial). As another application of this machinery we study …
Let $\fg$ be a simple finite-dimensional complex Lie algebra with a Cartan subalgebra $\fh$ and Weyl group $W$. Let $\fg_n$ denote the Lie algebra of $n$-jets on $\fg$. A theorem of Rais and Tauvel and Geoffriau identifies the centre of the category of $\fg_n$-modules with the algebra of functions on the variety of $n$-jets on the affine space $\fh^*/W$. On the other hand, a theorem of Feigin and Frenkel identifies the centre of the category of critical level smooth modules of the corresponding affine Kac-Moody algebra with the algebra of functions on the ind-scheme of opers for the Langlands …
