Jacobian discrepancies and rational singularities (Q2436090): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
ReferenceBot (talk | contribs) Changed an Item |
||||||||||||||
(2 intermediate revisions by 2 users not shown) | |||||||||||||||
aliases / en / 0 | aliases / en / 0 | ||||||||||||||
Terminal valuations and the Nash problem | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 6541953 | |||||||||||||||
Property / title | |||||||||||||||
Terminal valuations and the Nash problem (English) | |||||||||||||||
Property / title: Terminal valuations and the Nash problem (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1345.14020 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1007/s00222-015-0597-5 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Inventiones Mathematicae / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
17 February 2016
| |||||||||||||||
Property / publication date: 17 February 2016 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / review text | |||||||||||||||
Let \(X\) be an algebraic variety over a field of characteristic 0, then \(\nu\) is a divisorial valuation over \(X\) if there exists \(Y\to X\) a resolution of singularities and \(E\subset Y\) a prime divisor such that \(\nu =\mathrm{ord}_E\). If the divisor \(E\) appears as an exceptional divisor for a minimal model of a resolution \(Y\) over \(X\) say \(Y_{\min}\to X\), then we say that the valuation \(\nu =\mathrm{ord}_E\) is terminal. According to Nash, a divisorial valuation \(\nu\) is essential if its center appears as an irreducible component of the singular locus of \(X\) on any resolution \(Y\to X\). Finally, Nash valuations are divisorial valuations associated to any maximal irreducible family of arcs through the singular locus of \(X\). The Nash problem asks for a geometric characterization of Nash valuations. It is known that every Nash valuation is essential, but in dimension \(\geq 3\) there are essential valuations that are not Nash valuations. In this paper, the authors complement this picture by showing that all terminal valuations are Nash valuations (but there are Nash valuations that are not terminal valuations). | |||||||||||||||
Property / review text: Let \(X\) be an algebraic variety over a field of characteristic 0, then \(\nu\) is a divisorial valuation over \(X\) if there exists \(Y\to X\) a resolution of singularities and \(E\subset Y\) a prime divisor such that \(\nu =\mathrm{ord}_E\). If the divisor \(E\) appears as an exceptional divisor for a minimal model of a resolution \(Y\) over \(X\) say \(Y_{\min}\to X\), then we say that the valuation \(\nu =\mathrm{ord}_E\) is terminal. According to Nash, a divisorial valuation \(\nu\) is essential if its center appears as an irreducible component of the singular locus of \(X\) on any resolution \(Y\to X\). Finally, Nash valuations are divisorial valuations associated to any maximal irreducible family of arcs through the singular locus of \(X\). The Nash problem asks for a geometric characterization of Nash valuations. It is known that every Nash valuation is essential, but in dimension \(\geq 3\) there are essential valuations that are not Nash valuations. In this paper, the authors complement this picture by showing that all terminal valuations are Nash valuations (but there are Nash valuations that are not terminal valuations). / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / reviewed by | |||||||||||||||
Property / reviewed by: Christopher Derek Hacon / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 14E30 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6541953 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Arc spaces | |||||||||||||||
Property / zbMATH Keywords: Arc spaces / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Nash map | |||||||||||||||
Property / zbMATH Keywords: Nash map / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
terminal valuations | |||||||||||||||
Property / zbMATH Keywords: terminal valuations / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Nash valuations | |||||||||||||||
Property / zbMATH Keywords: Nash valuations / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W2121483695 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Introduction to Grothendieck duality theory / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: On minimal log discrepancies / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: On Isolated Rational Singularities of Surfaces / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Multiplier ideals and modules on toric varieties / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: A STRENGTHENING OF RESOLUTION OF SINGULARITIES IN CHARACTERISTIC ZERO / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: A vanishing theorem for log canonical pairs / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Divisorial valuations via arcs / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Shokurov's ACC conjecture for log canonical thresholds on smooth varieties / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Log canonical thresholds on varieties with bounded singularities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Singularities on normal varieties / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Germs of arcs on singular algebraic varieties and motivic integration / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Complexe de de Rham filtré d'une variété singulière / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Multiplier ideals via Mather discrepancy / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Contact loci in arc spaces / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Inversion of adjunction for local complete intersection varieties / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q3622200 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Jet schemes, log discrepancies and inversion of adjunction / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Rationalité des singularités canoniques / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Canonical geometrically ruled surfaces / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Verschwindungssätze für analytische Kohomologiegruppen auf komplexen Räumen / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Existence of minimal models for varieties of log general type / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Three-dimensional counter-examples to the Nash problem / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: The Nash problem for surfaces / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Nash problem for surface singularities is a topological problem / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Introduction to Toric Varieties. (AM-131) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Bijectiveness of the Nash Map for Quasi-Ordinary Hypersurface Singularities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: On Shokurov's rational connectedness conjecture / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Exceptional divisors that are not uniruled belong to the image of the Nash map / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: The Nash problem on arc families of singularities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Arcs, valuations and the Nash map / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: The local Nash problem on arc families of singularities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Arc spaces of cA-type singularities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q4212603 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Families of \(m\)-jet spaces and arc spaces / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Rational singularities, with applications to algebraic surfaces and unique factorization / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Arc structure of singularities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Families of higher dimensional germs with bijective Nash map / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: A curve selection lemma in spaces of arcs and the image of the Nash map / rank | |||||||||||||||
Normal rank |
Latest revision as of 11:35, 11 July 2024
scientific article; zbMATH DE number 6541953
- Terminal valuations and the Nash problem
Language | Label | Description | Also known as |
---|---|---|---|
English | Jacobian discrepancies and rational singularities |
scientific article; zbMATH DE number 6541953 |
|
Statements
Jacobian discrepancies and rational singularities (English)
0 references
Terminal valuations and the Nash problem (English)
0 references
21 February 2014
0 references
17 February 2016
0 references
The canonical sheaf \(\omega_X\) of a smooth complex projective variety \(X\) has two main useful properties: it satisfies Kodaira vanishing and Serre duality. On a singular (say, normal and Cohen-Macaulay) variety, for Serre duality there is the dualizing sheaf \(\omega_X\), while Kodaira vanishing is satisfied by the Grauert-Riemenschneider sheaf \(f_* \omega_Y\), where \(f: Y \to X\) is a resolution of singularities. We have an inclusion \(f_* \omega_Y \subset \omega_X\), but in general it is strict. Intuitively, this means that a holomorphic \(n\)-form (\(n = \dim X\)) on the smooth locus of \(X\) need not extend to a holomorphic \(n\)-form on \(Y\). On the other hand, every \(n\)-form extends after multiplication with a function vanishing to sufficiently high order along the singular locus and this is quantified by the colon ideal sheaf \((f_* \omega_Y : \omega_X)\). The main result of the present paper (Theorem C) describes this colon ideal as a \textit{Jacobian multiplier ideal}, for an arbitrary normal variety \(X\): \[ (f_* \omega_Y : \omega_X) := \{ g \in \mathcal O_X \;|\; g \cdot \omega_X \subset f_* \omega_Y \} = \mathcal J^{\diamond}(\mathfrak d_X^{-1}). \] To give a meaning to the term on the right-hand side, the authors consider the \textit{Jacobian discrepancy}, which measures the difference between the Jacobian ideal of the resolution morphism and the Jacobian ideal of \(X\). Unlike the usual discrepancy, this definition does not need any \(\mathbb Q\)-Gorenstein assumption. For locally complete intersections, the Jacobian discrepancy coincides with the usual discrepancy, but for general \(\mathbb Q\)-Gorenstein varieties it does not. One should also remark that this notion of discrepancy is quite different from the one introduced by \textit{T. de Fernex} and \textit{C. D. Hacon} in [Compos. Math. 145, No. 2, 393--414 (2009; Zbl 1179.14003)], since asymptotic considerations are not taken into account. Once the definition of Jacobian discrepancy is in place, one may define the notions of J-canonical and J-log canonical pairs and Jacobian multiplier ideals \(\mathcal J^{\diamond}(\cdots)\) as usual. The ideal \(\mathfrak d_X \subset \mathcal O_X\) is called the \textit{lci-defect ideal} of \(X\). It is defined as \(\sum_V \mathfrak d_{X, V}\), where the sum runs over all reduced locally complete intersection schemes \(V \supset X\) of the same dimension. For each such \(V\), we may write \(V = X \cup X'\), where \(X'\) is the union of all the irreducible components of \(V\) different from \(X\). Then \(\mathfrak d_{X, V}\) is defined as the ideal of \(X \cap X'\) in \(X\). Several further results are shown in the paper. Theorem B asserts that the Jacobian discrepancies can be read off from the jet schemes of the variety in question. Corollary 7.2 says that \(X\) has rational singularities if and only if \((X, \mathfrak d_X^{-1})\) is J-canonical and Cohen-Macaulay, while \(X\) is Du Bois and CM if and only if \((X, \mathfrak d_X^{-1})\) is J-log canonical and CM. For \(\mathbb Q\)-Gorenstein varieties, Theorem A gives a similar equivalence with \(\mathfrak d_X^{-1}\) replaced by \(\mathfrak d_{r, X}^{1/r} \cdot \mathfrak d_X^{-1}\), where \(\mathfrak d_{r, X}\) is the \textit{lci-defect ideal of level \(r\)}, depending on the choice of an integer \(r\) such that \(rK_X\) is Cartier. These results can be seen as converses to the theorems of Elkik and Kollár-Kovács that canonical singularities are rational, resp.~that log canonical singularities are Du Bois. An example is also given to show that without the Cohen-Macaulay condition, \((X, \mathfrak d_X^{-1})\) J-canonical does not imply \(X\) Du Bois.
0 references
Let \(X\) be an algebraic variety over a field of characteristic 0, then \(\nu\) is a divisorial valuation over \(X\) if there exists \(Y\to X\) a resolution of singularities and \(E\subset Y\) a prime divisor such that \(\nu =\mathrm{ord}_E\). If the divisor \(E\) appears as an exceptional divisor for a minimal model of a resolution \(Y\) over \(X\) say \(Y_{\min}\to X\), then we say that the valuation \(\nu =\mathrm{ord}_E\) is terminal. According to Nash, a divisorial valuation \(\nu\) is essential if its center appears as an irreducible component of the singular locus of \(X\) on any resolution \(Y\to X\). Finally, Nash valuations are divisorial valuations associated to any maximal irreducible family of arcs through the singular locus of \(X\). The Nash problem asks for a geometric characterization of Nash valuations. It is known that every Nash valuation is essential, but in dimension \(\geq 3\) there are essential valuations that are not Nash valuations. In this paper, the authors complement this picture by showing that all terminal valuations are Nash valuations (but there are Nash valuations that are not terminal valuations).
0 references
discrepancy
0 references
Jacobian
0 references
adjunction
0 references
Nash blow-up
0 references
jet scheme
0 references
multiplier ideal
0 references
rational singularity
0 references
Du Bois singularity
0 references
Arc spaces
0 references
Nash map
0 references
terminal valuations
0 references
Nash valuations
0 references
0 references