Shokurov's ACC conjecture for log canonical thresholds on smooth varieties (Q963736)

Let \((X,\mathfrak a)\) be a pair consisting of log canonical variety \(X\) (in particular \(X\) is normal and \(K_X\) is \(\mathbb Q\)-Cartier) and an ideal sheaf \(\mathfrak a\subset \mathcal O _X\). The log canonical threshold \(\text{lct} (\mathfrak a )\) is the largest \(t>0\) such that \((X,\mathfrak a^t)\) is log canonical. Log canonical thresholds are an invariant of fundamental importance in birational geometry. Shokurov's ACC conjecture is one of the main conjectures regarding log canonical thresholds. It states that for any fixed dimension, the set of all possible log canonical thresholds satisfies the ascending chain conditions (i.e. there are no accumulation points from below). In this paper, building on the results of \textit{T. de Fernex} and \textit{M. Mustaţă} [Ann. Sci. Ec. Norm. Super. (4) 42, No. 3, 491--515 (2009; Zbl 1186.14007)] and \textit{J. Kollár} [Which powers of holomorphic functions are integrable? \url{arXiv:0805.0756}], the authors prove that Shokurov's ACC conjecture holds for all smooth varieties over an algebraically closed field of characteristic \(0\) (and more generally the result holds for l.c.i. varieties).