OpenAI reports a conditional all-dimensional Kähler log-abundance theorem
- Mathematics
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.