Batyrev–Nill stringy E-polynomial conjecture

For every dd-dimensional Gorenstein polytope PP of index rr, the stringy EE-polynomial Est(P;u,v)E_{\mathrm{st}}(P;u,v) vanishes if and only if PP is thin, equivalently, its local h∗h^*-polynomial vanishes. If PP is not thin, then Est(P;u,v)E_{\mathrm{st}}(P;u,v) has total degree 2(d+1−2r)2(d+1-2r).

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A September 2026 preprint claims to settle the conjecture, but its proof has not yet been independently checked.

The conjecture concerns when the stringy EE-polynomial of a Gorenstein polytope vanishes and what its degree should be. Johannes Knupfer and Benjamin Nill now claim the full criterion, the expected degree in the nonvanishing case, and a decomposition theorem for a broad class.

Known results

  • An earlier paper proved polynomiality of the stringy EE-function and vanishing when the associated Calabi–Yau dimension is negative, but did not establish the expected degree in the remaining cases.
  • A 2023 study characterized thin Gorenstein polytopes in every dimension and connected them with questions about stringy EE-polynomials.

September 2026 claimed resolution

Knupfer and Nill’s preprint claims that the stringy EE-polynomial vanishes exactly for thin Gorenstein polytopes and otherwise has degree 2(d+1−2r)2(d+1-2r), together with a decomposition theorem. The authors state that ChatGPT 5.6 Sol helped find the proofs; the preprint remains unrefereed, so the resolution is unverified.

Current status (as of September 2026): The conjecture is claimed solved by an unrefereed preprint, but the claimed equivalence, degree statement, and decomposition theorem remain independently unverified.

  • GPT-5.6 SolOpenAIsolved2026-09-16evidence

    Large-index Gorenstein-polytope decomposition settles a stringy E-polynomial criterion

Sources

Solutions 0

No solutions have been posted yet.