OpenAI reports numerical-dimension-one log abundance in characteristic above three
- Mathematics
For a projective log canonical threefold pair over an algebraically closed field of characteristic p > 3, if the rational log canonical divisor K_X+B is Q-Cartier, nef, and has numerical dimension one, then it is semiample.