[Paper Review] On a comparison of minimal log discrepancies in terms of motivic integration

Masayuki Kawakita|ArXiv.org|Aug 21, 2006

Algebraic Geometry and Number Theory5 references4 citations

TL;DR

This paper establishes a comparison of minimal log discrepancies (mld) between a normal Q-Gorenstein subvariety X and its ambient smooth variety A using motivic integration. By introducing a weak l.c.i. defect Q-ideal sheaf D_X that measures X's deviation from being a local complete intersection, the authors prove that mld_Z(X, D_X) = mld_Z(A, I_X^c), providing a precise inversion of adjunction and simplifying prior proofs via arc space techniques.

ABSTRACT

We formulate a comparison of minimal log discrepancies of a variety and its ambient space with appropriate boundaries in terms of motivic integration. It was obtained also by Ein and Mustaţǎ independently.

Motivation & Objective

• To extend motivic integration techniques to study singularities of arbitrary normal Q-Gorenstein varieties, not just local complete intersections.
• To address the challenge of computing minimal log discrepancies when the variety X is not a local complete intersection, where standard Jacobian ideal methods fail.
• To introduce and construct a weak l.c.i. defect Q-ideal sheaf D_X that quantifies how far X is from being lci.
• To establish a comparison formula between the mld of X with boundary D_X and the mld of the ambient space A with ideal I_X^c.
• To provide a simplified proof of the precise inversion of adjunction for mld, avoiding detailed analysis of liftable jets used in earlier works.

Proposed method

• Introduces the notion of Q-ideal sheaves with rational exponents, extending standard ideal sheaves to allow non-integer exponents.
• Constructs the weak l.c.i. defect Q-ideal sheaf D_X as a sum of ideal sheaves O_X(−rC^Y|_X) by embedding X into general l.c.i. schemes Y of the same dimension.
• Uses motivic integration to relate the space of arcs J_∞X to that of Y, showing that the embedding J_∞X → J_∞Y is a local isomorphism outside a set of measure zero.
• Applies the characterization of mld via arc spaces due to Ein, Mustaţǎ, and Yasuda, using the order of jets along the Jacobian ideal.
• Employs a key technical tool: Proposition 4.4, which computes the fiber dimension of jet spaces over arcs in l.c.i. schemes, showing fibers are isomorphic to affine spaces of dimension (m−n)d + e.
• Uses dimension estimates on constructible sets T_n^o and S_m^o to compare orders of vanishing and derive the mld inequality.

Experimental results

Research questions

• RQ1 How can minimal log discrepancies be compared between a subvariety X and its ambient smooth space A when X is not a local complete intersection?
• RQ2 What is the precise role of the defect of local complete intersection in the adjunction of canonical divisors and mld computation?
• RQ3 Can motivic integration techniques be extended beyond local complete intersections to provide a unified framework for mld comparison?
• RQ4 Is there a canonical boundary on A, between I_X and I_X^c, that reflects the singularities of X via adjunction?
• RQ5 Can the proof of precise inversion of adjunction be simplified by avoiding detailed analysis of liftable jets?

Key findings

• The main result is the equality mld_Z(X, D_X) = mld_Z(A, I_X^c), which establishes a precise inversion of adjunction for minimal log discrepancies.
• The weak l.c.i. defect Q-ideal sheaf D_X is explicitly constructed as a sum of ideal sheaves O_X(−rC^Y|_X) for various l.c.i. schemes Y containing X.
• The construction ensures that the r-th power of D_X has integral closure matching that of (J'_X)^r, so it captures the failure of X to be lci.
• The proof avoids the technical analysis of liftable jets used in earlier works by using a local isomorphism between arc spaces of X and a general l.c.i. scheme Y.
• The dimension estimate on T_n^o leads to the inequality dim T_n^o − (n+1)d + e > −a, which, combined with Theorem 3.2, implies the mld comparison.
• The result confirms [10, Conjecture 4.4] and provides a new, simplified proof of the precise inversion of adjunction for mld.