A geometric characterization of toric singularities (Q7020396)

Given a projective contraction \(\pi\colon X\to Z\) of quasi-projective normal varieties, a closed point \(z\in Z\) and a pair \((X,B=\sum b_iB_i)\), Shokurov defined the complexity of \((X, B)\) at \(z\in Z\) as\N\[\Nc_z(X/Z, B):=\dim X +\rho(X/Z) -\sum _{B_i\cap \pi^{-1}(z)\neq \emptyset} b_i,\N\]\Nwhere \(\rho(X/Z)\) is the dimension of the \(\mathbb Q\)-vector space \(B_{n-1}(X/Z)_{\mathbb Q}\) of Weil \(\mathbb Q\)-divisors modulo algebraic equivalence over \(Z\) (the relative Picard number if \(X\) is \(\mathbb Q\)-factorial). Shokurov conjectured that if \(-(K_X+B)\) is nef in a neighborhood of \(z\in Z\), then \(c_z(X/Z, B)\geq 0\), and the equality holds if and only if \(X\to Z\) is formally toric at \(z\).\N\NThe paper under review provides a full solution to Shokurov's conjecture. Namely, let \((X/Z, B)\) be a lc pair over a nomral variety \(Z\) and \(z\in Z\) be a closed point such that \(-(K_X+B)\) is nef over a neighborhood of \(z\in Z\), then \(c_z(X/Z, B)\geq 0\). Moreover, if the equality holds, then the following conditions are satisfied:\N\begin{itemize}\N\item[1.] \(K_X+B\sim_{\mathbb Q, Z} 0\);\N\item[2.] \(X\to Z\) is formally toric at \(z\);\N\item[3.] under the formal isomorphism of (2), the components of \(\lfloor B\rfloor \) are mapped to the completion of torus invariant divisors.\N\end{itemize}