OpenAI reports anticanonical nonvanishing from smooth semipositivity
- Mathematics
For every smooth connected projective complex variety whose anticanonical line bundle has a smooth Hermitian metric with semipositive curvature, some positive anticanonical tensor power has a nonzero global section.