On nonvanishing for uniruled log canonical pairs (Q2055166)

In this paper, the authors consider the nonvanishing conjecture and good minimal models. \textbf{Good Minimal Models Conjecture}. Let \((X, \Delta)\) be a projective log canonical pair. If \( K_X + \Delta\) is pseudoeffective, then \((X, \Delta)\) has a good minimal model. \textbf{Nonvanishing Conjecture}. Let \((X, \Delta)\) be a projective log canonical pair. If \( K_X + \Delta\) is pseudoeffective, then there exists an \(\mathbb{R}\)-divisor \(D \geq 0\) such that \( K_X + \Delta\sim_{\mathbb{R}}D\). The main result in this paper is the proof of the nonvanishing conjecture for uniruled pairs, assuming the nonvanishing conjecture in lower dimensions and using the techniques in a paper of the first author and Tsakanikas. Theorem 1.1. The Nonvanishing conjecture for smooth projective varieties in dimension \(n-1\) implies the Nonvanishing conjecture for uniruled projective log canonical pairs in dimension \(n\). An application of the main theorem is: Corollary 1.2. Let \((X, \Delta)\) be a uniruled projective log canonical pair of dimension 4. If \( K_X + \Delta\) is pseudoeffective, then there exists an \(\mathbb{R}\)-divisor \(D \geq 0\) such that \( K_X + \Delta\sim_{\mathbb{R}}D\). Finally the authors prove: Theorem 1.3. The existence of good minimal models for projective non-uniruled klt pairs with rational boundaries in dimension \(n\) implies the existence of good minimal models for projective log canonical pairs in dimension \(n\).