Jet schemes, log discrepancies and Inversion of Adjunction
Lawrence Ein, Mircea Mustata, Takehiko Yasuda
备注：
17 pages, AMS-LaTeX; v.2: the statement of Corollary 2.4 is corrected, Theorems 2.5 and 2.6 from the previous version have been combined in one stronger statement; v.3: final version, to appear in Invent. Math
We use the theory of motivic integration for singular spaces to give a characterization of minimal log discrepencies in terms of the codimension of certain subsets of spaces of arcs. This is done for arbitrary pairs $(X,Y)$, with $X$ normal and Q-Gorenstein. As a first application, we prove a precise version of Inversion of Adjunction, in the case when the ambient variety is smooth. Another application concerns the semicontinuity of minimal log discrepancies on smooth varieties.
We first announce our recent result on adjunction and inversion of adjunction. Then we clarify the relationship between our inversion of adjunction and Hacon's inversion of adjunction for log canonical centers of arbitrary codimension.
We prove a result on the inversion of adjunction for log canonical pairs that generalizes Kawakita's result to log canonical centers of arbitrary codimension.
We prove a precise inversion of adjunction formula for the log pair associated to a non-degenerate hypersurface. As a corollary, the minimal log discrepancies of non-degenerate normal hypersurface singularities are bounded from above by dimension.
In this note we build on our previous work with Takehiko Yasuda to prove a precise version of inversion of adjunction for varieties which are local complete intersections.
In this article we give two independent proofs of the positive characteristic analog of the log terminal inversion of adjunction. We show that for a pair $(X, S+B)$ in characteristic $p>0$, if $(S^n, B_{S^n})$ is strongly $F$-regular, then $S$ is normal and $(X, S+B)$ is purely $F$-regular near $S$. We also answer affirmatively an open question about the equality of $F$-Different and Different.
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$.
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…
Let $(R,Δ+D)$ be a log $\mathbb{Q}$-Gorenstein pair where $R$ is a Noetherian, $F$-finite, normal, local domain of characteristic $p > 0$, $Δ$ is an effective $\mathbb{Q}$-divisor and $D$ is an integral $\mathbb{Q}$-Cartier divisor. We show that the left derivative of the $F$-signature function $s(R,Δ+ tD)$ at $t = 1$ is equal to $-s(\mathcal{O}_D, \mathrm{Diff}_D(Δ))$. This equality is interpreted as a quantitative form of inversion of adjunction for strong $F$-regularity. As an immediate corollary, we obtain the inequality $s(R,Δ) \geq s(\mathcal{O}_D, \mathrm{Diff}_D(Δ))$. We also discuss t…
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…
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) .
The goal of this paper is a classification theorem of the singularities according to a new invariant, Mather discrepancy. On the other hand, we show some evidences convincing us that Mather discrepancy is a considerable invariant: By introducing new log-canonical threshold and minimal log-discrepancy by means of Mather discrepancy instead of usual discrepancy of canonical divisors, we obtain the formulas of the new log-canonical threshold in terms of arc spaces, inversion of adjunction for wider class of singularities than the known one, lower seimicontinuity of the new minimal log-discrepancy…
Using inversion of adjunction, we deduce from Nadel's theorem a vanishing property for ideals sheaves on projective varieties, a special case of which recovers a result due to Bertram--Ein--Lazarsfeld. This enables us to generalize to a large class of projective schemes certain bounds on Castelnuovo--Mumford regularity previously obtained by Bertram--Ein--Lazarsfeld in the smooth case and by Chardin--Ulrich for locally complete intersection varieties with rational singularities. Our results are tested on several examples.
