OpenAI reports a conditional all-dimensional Kähler log-abundance theorem

Assuming logarithmic Iitaka subadditivity for the specified smooth projective reduced-boundary fibrations, every analytically nef Q-Cartier log canonical divisor K_X+Delta on a normal irreducible compact Kähler space with effective rational boundary is semiample.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

Assuming logarithmic Iitaka subadditivity for the specified smooth projective reduced-boundary fibrations, every analytically nef Q-Cartier log canonical divisor K_X+Delta on a normal irreducible compact Kähler space with effective rational boundary is semiample.

Why it matters

If correct under its assumption, reduces all-dimensional compact Kähler log abundance to a specified projective logarithmic subadditivity statement.

What counts as progress

Does the specified logarithmic Iitaka subadditivity imply log abundance for compact Kähler spaces in every dimension?

Website timeline

Publication dates and editorial changes.