Inversion of adjunction on log canonicity (Q863438): Difference between revisions

Let \(X\) be a normal variety and \(B\) be an effective \(\mathbb R\)-divisor such that \(K_X+B\) is \(\mathbb R\)-Cartier, then \((X,B)\) is a log pair. If \(X'\) is a nonsingular variety and \(f:X'\to X\) is a birational morphism, then we may write \(K_{X'}+B'=f^*(K_X+B)+A\) where \(B'=(f^{-1})_*B\). A log pair \((X,B)\) is log canonical if for any resolution \(f\) as above, the coefficients of \(A-B'\) are all \(\geq -1\). If \(S\) is a reduced divisor on \(X\), \(\nu: S^\nu\to S\) is its normalization and \(B\) is an effective \(\mathbb R\)-divisor on \(X\) such that \((X,S+B)\) is a log pair and the support of \(B\) contains no component of \(S\), then one can define an effective \(\mathbb R\)-divisor \(B^\nu\) on \(S^\nu\) such that \(K_{S^\nu}+B^\nu=\nu ^* ((K_X+S+B)| _S)\). The purpose of the article under review is to show that: The log pair \((X,S+B)\) is log canonical near \(S\) if and only if the log pair \((S^\nu,B^\nu)\) is log canonical. This is a key part of a more general conjecture known as inversion of adjunction which in turn is known to follow from the minimal model program [see \textit{J. Kollár}, in: Astérisque 211, 183--192 (1992; Zbl 0810.14004)].