English

An invariant detecting rational singularities via the log canonical threshold

Algebraic Geometry 2022-02-23 v2 Number Theory

Abstract

We show that if f is a nonzero, noninvertible function on a smooth complex variety X and J_f is the Jacobian ideal of f, then lct(f, J_f^2)>1 if and only if the hypersurface defined by f has rational singularities. Moreover, if this is not the case, then lct(f, J_f^2)=lct(f). We give two proofs, one relying on arc spaces and one that shows that the minimal exponent of f is at least as large as lct(f, J_f^2). In the case of a polynomial over the algebraic closure of Q, we also prove an analogue of this latter inequality, with the minimal exponent replaced by the motivic oscillation index moi(f).

Keywords

Cite

@article{arxiv.1901.08111,
  title  = {An invariant detecting rational singularities via the log canonical threshold},
  author = {Raf Cluckers and Mircea Mustata},
  journal= {arXiv preprint arXiv:1901.08111},
  year   = {2022}
}

Comments

16 pages; v.2: the statement of Cor. 1.4 is improved, to include the description of the adjoint ideal of f

R2 v1 2026-06-23T07:20:18.736Z