Shokurovs ACC Conjecture says that the set of all log canonical thresholds on varieties of bounded dimension satisfies the Ascending Chain Condition. This conjecture was proved for log canonical thresholds on smooth varieties in [EM1]. Here we use this result and inversion of adjunction to establish the conjecture for locally complete intersection varieties.
Let T_n denote the set of log canonical thresholds of pairs (X,Y), with X a nonsingular variety of dimension n, and Y a nonempty closed subscheme of X. Using non-standard methods, we show that every limit of a decreasing sequence in T_n lies in T_{n-1}, proving in this setting a conjecture of Koll{a}r. We also show that T_n is a closed subset in the set of real numbers; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in order to check Shokurovs ACC Conjecture for all T_n, it is enough to show that 1 is not a point of accumulation from below of any T_n. In a different direction, we interpret the ACC Conjecture as a semi-continuity property for log canonical thresholds of formal power series.
Let $X$ be a strictly log canonical Fano variety, we show that every lc place of complements is dreamy, and there exists a correspondence between weakly special test configurations of $(X,-K_X)$ and lc places of complements.
We establish a relative spannedness for log canonical pairs, which is a generalization of the basepoint-freeness for varieties with log-terminal singularities by Andreatta--Wisniewski. Moreover, we establish a generalization for quasi-log canonical pairs.
The nonvanishing conjecture for projective log canonical pairs plays a key role in the minimal model program of higher dimensional algebraic geometry. The numerical nonvanishing conjecture considered in this paper is a weaker version of the usual nonvanishing conjecture, but valid in the more general setting of generalized log canonical pairs. We confirm it in dimension two. Under some necessary conditions we obtain effecti
Let $S$ be the group of finitely supported permutations of a countably infinite set. Let $K[S]$ be the group algebra of $S$ over a field $K$ of characteristic $0$. According to a theorem of Formanek and Lawrence, $K[S]$ satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over RCA$_0$ (or even over RCA$_0^*$) to the statement that $omega^omega$ is well ordered. Our equivalence proof proceeds via the statement that the Young diagrams form a well partial ordering.