Generalized log nonvanishing and abundance conjecture for movable divisor cones

Let (X,Δ)(X,\Delta) be a projective klt pair of dimension nn, and fix an integer kk with 0kn10\leq k\leq n-1. Let Movk(X)\operatorname{Mov}^k(X) be the cone generated by numerical classes of effective Cartier divisors whose stable base locus has codimension at least k+1k+1, and let Movk(X)\overline{\operatorname{Mov}}^k(X) be its closure in N1(X)RN^1(X)_\mathbb{R}. Generalized log nonvanishing and abundance conjecture. If

KX+ΔMovk(X),K_X+\Delta\in\overline{\operatorname{Mov}}^k(X),

then

KX+ΔMovk(X).K_X+\Delta\in\operatorname{Mov}^k(X).

This simultaneously generalizes the log nonvanishing and log abundance conjectures, corresponding to k=0k=0 and k=n1k=n-1, respectively. The source does not state a resolution status for this generalized conjecture.

Sources & referencesView supporting material

Primary source

Gilberto Bini, Maria Chiara Brambilla, Claudio Fontanari and Elisa Postinghel, “Nonvanishing and Abundance for cones of movable divisors”, arXiv:2405.14553 (2024).

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.