On injectivity, vanishing and torsion-free theorems for algebraic varieties (Q1046447): Difference between revisions

This short paper gives an almost self-contained proof of the following torsion-free and vanishing theorem of \textit{F. Ambro} [Proc. Steklov Inst. Math. 240, 214--233 (2003; Zbl 1081.14021)]: Let \(Y\) be a smooth projective variety, and \(B\) a boundary \(\mathbb{Q}\)-divisor with simple normal crossing support. Let \(f : Y \to X\) be a projective morphism and \(L\) a Cartier divisor on \(Y\) for which \(L - (K_Y + B)\) is \(\mathbb{Q}\)-equivalent to an \(f\)-semi-ample divisor \(H\). Then (1) every non-zero local section of \(R^q f_{\ast} \mathcal{O}_Y(L)\) contains in its support the image of a log canonical center of \((Y, B)\) (or \(f(Y)\) itself); (2) if \(H\) is \(\mathbb{Q}\)-equivalent to the pullback of an ample \(\mathbb{Q}\)-Cartier divisor from \(X\), then \(H^p(X, R^q f_{\ast} \mathcal{O}_Y(L)) = 0\) for \(p > 0\) and \(q \geq 0\). This result is part of the general log minimal model program for log canonical pairs by F. Ambro and the author. The main step in the proof is a generalization of Kollár's injectivity theorem, for which the author provides a self-contained argument using the \(E_1\)-degeneration of the Hodge-de Rham spectral sequence for the log complex from \textit{P. Deligne} [Matematika, Moskva 17, No.5, 3--56 (1973; Zbl 0282.14001)]. As an application of his result, the author proves a version of the Kodaira vanishing theorem for log canonical pairs, and an extension theorem from log canonical centers.