Dice Question Streamline Icon: https://streamlinehq.com

Universal generating function for all cohomologies on the CICY threefold with configuration matrix [P^1|1 1; P^4|1 4]

Establish that for the Calabi–Yau threefold X defined as a general complete intersection of bidegrees (1,1) and (1,4) in P^1 × P^4 (CICY #7885), the rational function specified by the authors encodes all line bundle cohomology series via expansions at (0,0), (∞,0), (0,∞), and (∞,∞), respectively yielding CS^0(X, O_X), CS^1(X, O_X), CS^2(X, O_X), and CS^3(X, O_X).

Information Square Streamline Icon: https://streamlinehq.com

Background

For this CICY, the effective cone has three chambers (two Mori and one Zariski), and the authors construct the proposed generating function by summing Hilbert–Poincaré series from birational models and subtracting a correction term associated with the singular variety appearing on the wall. The conjecture asserts that the resulting single rational function captures not only h0 but all higher cohomology series via appropriate expansions.

A proof would provide a concrete non-hypersurface example where a universal generating function controls all line bundle cohomologies across chambers in the extended Kähler cone.

References

Conjecture 5. Let $X$ be a general complete intersection of two hypersurfaces of bi-degrees $(1,1)$ and $(1,4)$ in $P1\times P4$, belonging to the deformation family with configuration matrix matrix{P1 \ P4}{~1& 1~\ ~1& 4~}. Let $(H_1,H_2)$ be the basis of ${\rm Pic}(X)$ where $H_1 = \mathcal O_{P1\times P4}(1,0)|_X$ and $H_2 = \mathcal O_{P1\times P4}(0,1)|_X$. In this basis, the cohomology series are encoded by the following generating function: ...

Generating Functions for Line Bundle Cohomology Dimensions on Complex Projective Varieties (2401.14463 - Constantin, 25 Jan 2024) in Conjecture 5, Section 3.3 (Other examples of Mori-dream spaces in Picard number 2); also previewed as Conjecture in Introduction and Overview