The nonvanishing conjecture for log canonical pairs

Let (X/Z,B)(X/Z,B) be a log canonical (lc) pair, and suppose that KX+BK_X+B is pseudo-effective over ZZ. A divisor MM is effective, written M0M\ge 0, when all its coefficients are nonnegative; R\mathbb R-linear equivalence over ZZ is denoted by R/Z\sim_{\mathbb R}/Z. Nonvanishing conjecture. There is an effective R\mathbb R-divisor M0M\ge 0 such that

KX+BRM/Z.K_X+B\sim_{\mathbb R}M/Z.

This is known in dimension 33, but very little is known in higher dimensions. The source describes it as a central problem and notes that it implies the minimal model conjecture.

Sources & referencesView supporting material

Primary source

Caucher Birkar, “Lectures on birational geometry”, arXiv:1210.2670 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.