Universal generating function for all cohomologies on tuned (2,4) hypersurfaces in P^1×P^3

Establish that for smooth Calabi–Yau hypersurfaces X ⊂ P^1 × P^3 defined by f = x_0^2 f_0 + x_1^2 f_2 (with f_0 and f_2 general quartics), a single rational function 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), with the stated signs.

Background

Specializing the defining polynomial to f = x_02 f_0 + x_12 f_2 changes the birational geometry: isolated flopping curves combine into a rigid divisor, altering the cohomology pattern. The authors conjecture that despite this non-generic complex-structure tuning, a single rational generating function still captures all cohomology dimensions when expanded at different points.

Confirming this would demonstrate robustness of the universal generating-function principle under significant complex-structure specializations that alter the birational behavior and cohomology support regions.

References

Conjecture 4. Let $X$ be a smooth hypersurface in $P1\times P3$ defined as the zero locus of a homogeneous polynomial $f = x_02 f_0+x_12 f_2$ where $[x_0,x_1]$ are homogeneous coordinates on $P1$ and $f_0,f_2$ are general homogeneous polynomials of degree $4$ in the $P3$ coordinates. A generating function for all line bundle cohomology dimensions is given by ...

Generating Functions for Line Bundle Cohomology Dimensions on Complex Projective Varieties (2401.14463 - Constantin, 25 Jan 2024) in Conjecture 4, Section 3.3 (Special hypersurfaces of bidegree (2,4) in P^1×P^3); also previewed as Conjecture in Introduction and Overview