A unified family of counterexamples to Batyrev's non-negativity conjecture on stringy Hodge numbers

Abstract

Recently, Huang and Satriano determined the sharp dimension threshold for Batyrev's non-negativity conjecture on stringy Hodge numbers: the conjecture holds in dimensions at most four and fails in every dimension at least five. We show that their counterexamples fit into a single broad three-parameter family $Y_{m,d}:=V(\sum_{i=0}^m s_i g_i(x)+h(x))\subset\mathbb{P}^{m+d+1}$, where each $g_i$ is homogeneous of degree $d-1$ and $h$ is homogeneous of degree $d$, whose singular locus is a linear space $Λ\cong\mathbb{P}^m$. Blowing up $Λ$ gives a log resolution with one smooth exceptional divisor of discrepancy one. We compute the Hodge-Deligne polynomials of both the resolution and the exceptional divisor from their projective-space fibrations over $\mathbb{P}^d$, derive a master formula for $E_{\mathrm{st}}(Y_{m,d}\times(\mathbb{P}^1)^n)$, and prove the structure formula $h_{\mathrm{st}}^{p,q}(Y_{m,d}\times(\mathbb{P}^1)^n)=A_{p,q}+B_{p,q}-C_{p,q}$, where the three terms are non-negative. Thus the only possible source of negativity is $-C_{p,q}$, which is governed by the primitive middle cohomology of $Z_{m,d}=V(g_0,\ldots,g_m)\subset\mathbb{P}^d$. Off the diagonal, every negative entry equals $-C_{p,q}$, a binomially weighted sum of shifted primitive Hodge numbers of $Z_{m,d}$. On the diagonal, the behaviour is governed by the parity of $m+d$. We also obtain a complete classification for $0\le m\le d-1$, $d\ge3$, and $n\ge1$. The only non-counterexamples are $(m,d)=(0,3)$ for every $n\ge1$, and $(m,d)=(2,3)$ for $n\ge4$.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.