Batyrev's non-negativity conjecture concerns special numbers called "stringy Hodge numbers," which are a generalization of classical geometric invariants called Hodge numbers. Ordinary Hodge numbers measure certain structural features of smooth geometric spaces, and they are always non-negative. Stringy Hodge numbers extend this idea to singular spaces, ones with points where the geometry breaks down in some way. Batyrev conjectured in the 1990s that these stringy Hodge numbers should also always be non-negative, and this conjecture became influential across several areas of mathematics, including mirror symmetry (a duality connecting seemingly different geometric spaces), motivic integration (a powerful counting tool in algebraic geometry), and the McKay correspondence (a bridge between group theory and geometry).
The paper resolves this conjecture by finding the precise boundary where it holds and where it fails. The authors prove that the conjecture is true for spaces of dimension four or less, meaning stringy Hodge numbers are guaranteed to be non-negative in these lower-dimensional settings. This is a positive confirmation for a large and important class of geometric objects, including many of the spaces that arise naturally in string theory and algebraic geometry.
However, the authors also construct explicit counter-examples in dimension five and higher, showing that stringy Hodge numbers can actually become negative in those cases. This means the conjecture, while correct in low dimensions, does not hold universally. The result is a clean and complete answer to a long-standing open problem, drawing a sharp dividing line at dimension four and settling the question across all dimensions simultaneously.