A counter-example to Batyrev's conjecture on the non-negativity of stringy Hodge numbers

Batyrev's conjecture on the non-negativity of stringy Hodge numbers has been a fundamental open problem, guiding and motivating many beautiful mathematical results in motivic integration, mirror symmetry, and the McKay correspondence. Let $M_0$ be the coarse moduli space of rank 2 semistable bundles with trivial determinant over a fixed smooth projective genus 3 curve. Using a formula, obtained by Kiem and Kiem-Li, for the stringy $E$-function of $M_0$, we verify that $M_0 \times\mathbb{P}^1$ is a counter-example to Batyrev's conjecture.