Sequences of LCT-polytopes (Q2391552)

Let \(X\) be a smooth variety and \(\mathfrak{a}_1, \dots, \mathfrak{a}_n\) be a set of ideals on \(X\). Inspired by the ACC property for log canonical thresholds, see for example [\textit{T. de Fernex} et al., Duke Math. J. 152, No. 1, 93--114 (2010; Zbl 1189.14044)], [\textit{J. Kollár}, ``Which powers of holomorphic functions are integrable?'', \url{arXiv:0805.0756}] and [\textit{C. Hacon, J. McKernan} and \textit{Ch. Xu}, ``ACC for log canonical thresholds'', \url{arXiv:1208.4150}], the authors consider the following generalization. Let \(\{ (t_1, \dots, t_n) \in \mathbb{R}^n \;|\; (X, \mathfrak{a}_1^{t_1} \cdots \mathfrak{a}_n^{t_n}) \text{ is log canonical}\}\). Such a set is called a LCT-polytope, see also [\textit{A. Libgober}, Manuscr. Math. 107, No. 2, 251--269 (2002; Zbl 1056.57005)]. The authors show that any ascending sequence of LCT-polytopes \(P_1 \subseteq P_2 \subseteq \dots \) eventually stabilizes, which should already be viewed as a substantial generalization of ACC statements for log canonical thresholds. However, they show the following even stronger statement. Consider the LCT- polytopes as elements of the space \(\mathcal{H}_n\) of compact subsets of \(\mathbb{R}^n\), with the Hausdorff metric. The main result, Theorem 3.3, says that if the limit of a sequence of LCT-polytopes \(\{P_m\}\) converges to a compact set \(Q\) in the Hausdorff metric, then \(Q = \bigcap_{m \gg 0} P_m\), \(Q\) is a rational convex polytope and, after possibly enlarging the base field, \(Q\) is the LCT-polytope of a set of ideals in a power series ring. The paper also contains many illuminating examples.