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.
Sponsor
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