Log canonical thresholds, \(F\)-pure thresholds, and nonstandard extensions (Q1932514)

Let \(W\) be a smooth scheme of finite type over a perfect field of characteristic \(p>0\). For a proper ideal \(\mathfrak{a}\), the \(F\)-pure threshold is a fundamental invariant defined via the Frobenius morphism. Let \(\mathcal{F}(p)_n\) be the set of all \(F\)-pure thresholds with \(\dim(W)=n\). Let \(\mathcal{L}_n\) be the set of all log canonical thresholds for ideals on a smooth scheme of dimension \(n\) and characteristic \(0\). The paper under review proves that for every \(n\geq 1\), the set of limit points of all sequences \((c_p)\), where \(c_p\in\mathcal{F}(p)_n\) for every prime \(p\), coincides with \(\mathcal{L}_n\).