{"id":"30057111-1027-4907-b84c-c8d397561b2d","arxiv_id":"2505.07685","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For fibre products of elliptic surfaces, the author computes certified period and homology data and proposes a generalized Gamma-class formula with new integer invariants that fits 105 families and many database operators.","lead":"This paper gives an algorithm to compute the homology, intersection form, and certified periods of threefolds built as fibre products of elliptic surfaces, and uses it to test a generalized Gamma-class formula for Calabi-Yau operators. The formula with new integer invariants fits 105 fibre products and many Calabi-Yau database operators, but the match is partly fitted rather than derived.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The identification of the rank-4 transcendental lattice with the saturation of H^para_3(T) inside Λ_vc^⊥ relies on the sketched Proposition 6; if that proof has a gap, the Gamma-class matrix is computed for the smoothing rather than for the Calabi–Yau motive.","rationale":"The reader's weakest assumption is exactly the identification of the transcendental lattice through Proposition 6, and my reading agrees: this is where the algorithm connects the smoothing to the Calabi–Yau motive, and the proof is the least formal part of the geometric construction. The paper has substantial independent support: certified numerical periods, a reproducible SageMath implementation, and 105 worked examples with 150-digit precision, so the concern is not that the numerics are sloppy but that a missing proof step could mean the numerics are computing the periods of the wrong lattice. Proposition 6 is not merely a technicality; it is the bridge that turns an algorithm for periods of a rank-40 smoothing into a statement about rank-4 Calabi–Yau motives, and Conjecture 1 inherits its meaning from that bridge. The concrete test using A ×_u b is realistic because that family is known to admit a simultaneous crepant resolution, so an independent computation on the resolved model is possible. A positive result would substantially raise confidence; a negative result would require reinterpreting Conjecture 1 as a statement about smoothings rather than motives. I therefore see no reason to change the reader's CONDITIONAL verdict: the right status is conditional on closing this gap (and on documenting the CYDB Table 4 computation), not acceptance or rejection on the current evidence.","tokens_in":37189,"tokens_out":3782,"duration_ms":43424,"concrete_test":"Independently compute the periods of a family that admits a simultaneous crepant resolution, for example A ×_u b from Golyshev and van Straten (2023), directly on the resolved smooth Calabi–Yau threefold by integrating the holomorphic form over an integral basis of H_3 of the resolution, using a numerical method that does not rely on the lefschetz-family code path or on Proposition 6. Compare the resulting 4×4 period matrix with the matrix obtained from the smoothing algorithm restricted to Tr(T_u). Agreement to at least 50 certified digits would confirm Definition 16 and Proposition 6 for that family; a disagreement by a rational change of basis with non-integral entries would show the computed periods describe the smoothing rather than the Calabi–Yau motive and would invalidate the Gamma-class fit for that case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The decisive step is Definition 16 together with Proposition 6 in Section 4.2. Definition 16 sets Tr(T_u) to be the saturation of H^para_3(T_u) inside Λ_vc^⊥, and Proposition 6 asserts Λ_vc^⊥ ⊗ Q ⊂ Prim(T_ε) ⊗ Q = (H^para_3(T) ⊕ Λ_vc ⊕ Sing(T_ε)) ⊗ Q. Since forms ω = ω_t ∧ dt have zero periods on Λ_vc and on Sing(T_ε), this containment is what lets the algorithm replace periods on the 8-dimensional lattice Λ_vc^⊥/Λ_vc by periods on the 4-dimensional H^para_3(T). If Proposition 6 fails, the computed 4×4 period matrix is not the period matrix of the (1,1,1,1) motive, and the Gamma-class fit in Conjecture 1 is measuring the wrong object.\n\nThe proof of Proposition 6 is a sketch. It asserts that any extension outside H^para_3(T) ⊕ Λ_vc has a representative whose thimble decomposition involves split loops τ_{ℓ^1_j}; it then computes the intersection with a vanishing cycle [Δ^1, Δ^2] as ⟨γ_1, ∂Δ^1⟩⟨γ_2, ∂Δ^2⟩, and concludes that if these pairings vanish for all thimbles, then τ_{ℓ^i_j}(γ^i) = 0. Each step needs support: the extension may have components from other loops or from Sing(T_ε); the intersection with a vanishing cycle may receive additional terms from the ℓ_j part of the decomposition; and the implication 'orthogonal to all vanishing cycles implies the extension lies in H^para_3(T) ⊕ Λ_vc' is non-obvious and is only referred to Lemma 15 of the author's earlier paper. The paper itself flags the CYDB portion as work in preparation and asserts correctness up to scalar without proof in Section 6.3, but the geometric identification is the more load-bearing point because it feeds every numerical Gamma-class matrix, including the 105 Hadamard products.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper provides an algorithm for computing a basis of the integral homology H_3 of fibre products of two rational elliptic surfaces over P^1, including the case of colliding singular fibres treated via smoothings. The algorithm also computes the intersection product and certified numerical period vectors for closed forms of type omega = omega_t ∧ dt, building on the author's earlier work on elliptic surfaces (Pichon-Pharabod 2025) and on effective homology for hypersurfaces (Lairez et al. 2024). The method is applied to 105 one-parameter Hadamard-product families, for which the Gamma-class change-of-basis matrix ro is computed with 150 certified digits per family, and to irreducible fourth-order operators from the Calabi-Yau database (CYDB) with integral monodromy and degree below 20. On this numerical evidence the paper proposes Conjecture 1, a specific 4×4 form of the Gamma-class matrix depending on integer invariants (chi, c2·H, H^3, sigma, alpha, delta, M, N), together with an intersection form (57). A SageMath implementation is provided.","tokens_in":37620,"tokens_out":6742,"duration_ms":66662,"significance":"If the homology computation is correct, the paper makes a substantial algorithmic contribution: it extends certified effective-homology and period computations to fibre products with singular fibres, and it provides reproducible, high-precision numerical evidence for a refined Gamma-class formula. The 105 Hadamard-product fits are genuine numerical measurements because the periods are computed independently and the LLL reconstruction is then checked against 150-digit certified values. The explicit tables of invariants give falsifiable predictions and will be useful for mirror symmetry and Calabi-Yau operator classification. However, the paper's broader claim about the CYDB is preliminary: the verification procedure is not documented and is explicitly stated to be work in preparation. The load-bearing Proposition 6, which justifies replacing the 8-dimensional lattice Lambda_vc^perp / Lambda_vc by the 4-dimensional parabolic homology, has a proof sketch with gaps that need to be filled.","major_comments":[{"comment":"Since e /∈ H_3^para(T) ⊕ Lambda_vc, its thimble decomposition may include extensions along loops that are not among the tau_{ell^i_j}, and the intersection with [Delta^1, Delta^2] must be computed for the full decomposition, not only for the ell^1_j term.","section":"§4.2, Proposition 6 and Definition 16"},{"comment":"The difference between a fit and a test is crucial here; the reader must be able to see that the CYDB entries are not predetermined by the ansatz.","section":"§6.3, Table 4"},{"comment":"This is a presentation issue but affects the precision of the scientific claim.","section":"§6.3, Conjecture 1 and Remark 18"}],"minor_comments":[{"comment":"Fix the notation consistently.","section":"§4.2, Definition 16"},{"comment":"This is important for reproducibility of the period matrices.","section":"§5.2"},{"comment":"Minor clarity improvement.","section":"§6.1, Example 13"},{"comment":"This also affects the table readings.","section":"§6.3, Conjecture 1"}],"recommendation":"major_revision","confidential_remarks":"The CYDB portion of the paper is explicitly work in preparation; if the authors cannot provide the full verification algorithm within this manuscript, they should restrict the claim to the 105 Hadamard products, which are supported by independent certified period computations. The referee also notes that Proposition 6 is the most fragile point; a thorough proof is essential before the smoothing-to-motive identification is accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: the real asset here is the certified period algorithm for fibre products of elliptic surfaces, with code and worked examples. The headline Gamma-class formula (56) is a plausible empirical conjecture, not a theorem, and it should be read that way.\n\nWhat is new: the smoothing-based description of H3, the vanishing-cycle lattice, certified period vectors for forms of the type ω_t∧dt, and the embedding of the parabolic and transcendental lattices. This extends your earlier elliptic-surface work and goes beyond Donlagić's resolution approach, since it also covers non-semistable fibres. The extended Gamma matrix with α, δ, M, N is new, and Table 3 with 105 matches at 150 certified digits is a solid data point. I think the algorithm and the numerical data are the contribution.\n\nSoft spots, in proportion:\n\n1. Proposition 6 is load-bearing. It puts Λ_vc^⊥ ⊗ Q inside the primary lattice of the smoothing, which is what lets the 4×4 period matrix be read as the period matrix of the (1,1,1,1) motive. The proof is a sketch, and the step ‘orthogonal to all vanishing cycles implies the extension lies in H^para ⊕ Λ_vc’ leans on Lemma 15 of the author's earlier paper. I do not see a counterexample, but the presentation is too thin for a claim that every numerical fit depends on.\n\n2. The CYDB portion is underdocumented and explicitly flagged as work in preparation. Matching all irreducible integral-monodromy operators of degree below 20 is impressive, but the invariants in Table 4 are produced by imposing the template plus integral monodromy, so this is a consistency search. The sentence saying the intersection form is ‘correct up to a scalar’, without proof, should be removed or justified.\n\n3. The non-uniqueness of the invariants is acknowledged honestly, but it means α and δ should be described as describing a fitted form rather than as canonical invariants.\n\nThe citation pattern is fine; Donlagić is cited and the difference in method is stated clearly. The code and certified precision are reproducible evidence, and that counts for a lot.\n\nThis paper deserves a serious referee. I would send it out, with the request that Proposition 6 be expanded or replaced and that the Table 4 computation be released as supplemental data. If that comes back, I would cite the algorithm.","headline":"A genuinely useful computational paper whose extended Gamma-class formula is a well-supported empirical conjecture; Proposition 6 is the load-bearing spot that needs tightening before the CYDB sweep can be fully trusted.","tokens_in":38202,"tokens_out":2146,"would_cite":true,"duration_ms":23072,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14Q15","14J32","32G20","14J33","14D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that Calabi-Yau threefolds from fibre products of elliptic surfaces obey one universal Gamma-class matrix with integer invariants, verified at 150-digit precision for 105 families and all tested integral-monodromy…","keywords":["Calabi-Yau threefolds","fibre products of elliptic surfaces","period computations","Picard-Fuchs equations","Gamma conjecture","Gamma-class formula","vanishing cycles","monodromy"],"falsifier":"Compute the Gamma-class matrix for a fourth-order Calabi-Yau operator with integral monodromy and degree exactly 20, or for a fibre product whose colliding singular fibres are not semi-stable, to 150 certified digits and apply integer lattice reduction: Conjecture 1 predicts an integer solution $(\\chi,c_2\\cdot H,H^3,\\sigma,\\alpha,\\delta,M,N)$ with intersection form (57), so an operator for which lattice reduction finds no such matrix refutes the universal shape. Independently, exhibiting a class in $\\Lambda_{\\mathrm{vc}}^\\perp$ orthogonal to every primary cycle would refute Proposition 6 and with it the smoothing interpretation of the periods.","tokens_in":36923,"feed_emoji":"📐","tokens_out":19246,"duration_ms":157567,"temperature":0.7,"pith_summary":"This paper claims that the Gamma-class matrix relating the integral period basis to the Frobenius basis has one universal $4\\times4$ shape for Calabi-Yau threefolds obtained as fibre products of two rational elliptic surfaces over $\\mathbb P^1$: the entries are built from integers $\\chi$, $c_2\\cdot H$, $H^3$, $\\sigma$, $\\alpha$, $\\delta$, $M$, $N$ as displayed in Conjecture 1. The author reports matching this shape to at least 150 certified digits for all 105 Hadamard products of fourteen elliptic surfaces, and for every irreducible fourth-order Calabi-Yau operator with integral monodromy and degree below 20 in the standard operator list. To get those numbers, the paper develops an algorithm that computes a basis of the third homology of a smoothing of the fibre product, the intersection product, the embeddings of parabolic homology and of the vanishing-cycle lattice, and certified period vectors for holomorphic forms of the type $\\omega=\\omega_t\\wedge dt$. A reader would care because a universal Gamma-class formula turns the Frobenius-basis solutions of a Picard-Fuchs equation into integral period data, and thus into monodromy and lattice data, even for motives without a known smooth geometric model.","feed_headline":"One Gamma-class matrix fits all 105 fibre products","feed_subtitle":"Certified 150-digit periods pin down the same integer invariants in every tested family.","key_machinery":"The engine is a bookkeeping system for cycles of the fibre product in terms of thimbles, that is, cycles swept out by transporting a homology class along a path in the base. The primary lattice $\\mathrm{Prim}(T^\\varepsilon_u/\\mathbb P^1)=H^{\\mathrm{para}}_3(T_u)\\oplus\\Lambda_{\\mathrm{vc}}\\oplus\\mathrm{Sing}(T^\\varepsilon_u)$ assembles three kinds of cycles: closed extensions of $2$-cycles along loops in the base, vanishing cycles $[\\Delta^1,\\Delta^2]=\\Delta^1\\otimes\\partial\\Delta^2-\\partial\\Delta^1\\otimes\\Delta^2$ created when thimbles from the two elliptic surfaces collide, and components of singular fibres. Proposition 6 is the load-bearing step: it asserts that, after tensoring with $\\mathbb Q$, every class orthogonal to the vanishing-cycle lattice lies in this primary lattice, so the periods of the holomorphic form $\\omega=f(t)\\omega^1_t\\otimes\\omega^2_t\\wedge dt$ determine the periods of all classes relevant to the motive. Those periods are evaluated by integrating fibre periods along the base using the Picard-Fuchs equation, with certified numerical precision; the transcendental lattice is then the saturation of $H^{\\mathrm{para}}_3(T_u)$ inside $\\Lambda_{\\mathrm{vc}}^\\perp$, and its $4\\times4$ period matrix is reduced by integer lattice reduction to the integer form of Conjecture 1.","core_discovery":"The central claim is that the classical Gamma-class formula is too restrictive, and that the correct relation is Conjecture 1, equation (56): a $4\\times4$ matrix in which the classical invariants $\\chi$, $c_2\\cdot H$, $H^3$ appear together with binary corrections $\\sigma,\\alpha,\\delta\\in\\{0,1\\}$ and two natural numbers $M,N$, with the same $M,N$ governing the intersection form (57) of the rank-four transcendental lattice. The paper states that this shape fits all 105 computed Hadamard products and all irreducible fourth-order operators of the standard list with integral monodromy and degree below 20, with invariants tabulated, and notes that every combination of $(\\alpha,\\delta,\\sigma)$ occurs among the 105 examples. The author also presents the computational claim on which the numerical evidence rests: an algorithm producing the full homology lattice of the smoothing, its intersection product, and certified period vectors for forms of the type $\\omega=\\omega_t\\wedge dt$. The Gamma-class shape is presented as a conjecture supported by high-precision numerical fits, not by a proof, and the invariants are not claimed to be unique: for example, when $\\alpha=0$, $c_2\\cdot H$ is determined only up to $24N/\\gcd(N,M)$.","pith_inferences":["If the shape survives contact with the broader operator list, the Gamma-class formula would be governed by the two lattice polarizations $M,N$ rather than by a single rational normalization; the $S$ constant of earlier extended formulas would then be a derived quantity, not an independent input.","Because the algorithm works through smoothings, it is not tied to semi-stable fibres or to the existence of a crepant resolution; applying it to families where the colliding Kodaira fibres have wilder types would separate the smoothing mechanism from the Gamma-class pattern.","The appearance of all eight combinations of $(\\alpha,\\delta,\\sigma)$ among the 105 examples suggests these binary corrections may encode discrete choices in the degeneration, such as which pairs of fibre types collide and how the holomorphic form is normalized; comparing families with equal $\\chi,c_2\\cdot H,H^3$ but different fibre configurations would test this.","The same certified-period machinery could be used in reverse: start from the Frobenius data of a Calabi-Yau operator with no known geometric realisation, fit the Gamma shape, and read off a candidate intersection form and monodromy representation for its hypothetical motive."],"forward_implications":["For any fibre product in this class, the algorithm outputs the third homology lattice of the smoothing, its intersection product, and certified period vectors without resolving singularities.","Every one of the 105 Hadamard products and every tested irreducible fourth-order operator with integral monodromy and degree below 20 has a Gamma-class matrix of the form (56), so the classical formula (52) is recovered exactly when $M=N=1$ and $\\alpha=\\delta=0$.","The monodromy representation of these families can be computed certifiably from the period data, and when $M=N$ the monodromy is integral for the standard symplectic form; this happens for 354 of the 613 operators tabulated.","The new binary invariants $\\alpha$ and $\\delta$ vary independently enough that all eight combinations of $(\\alpha,\\delta,\\sigma)$ occur, which the paper records in its tables."],"supporting_citations":[{"why":"Establishes that fibre products of rational elliptic surfaces are Calabi-Yau threefolds and determines their Betti numbers and Euler characteristics; this is the class of threefolds studied here.","marker":"Schoen (1988)"},{"why":"Shows that fibre products with colliding singular fibres admit small or crepant resolutions to Calabi-Yau threefolds, justifying the singular case.","marker":"Kapustka and Kapustka (2009)"},{"why":"Supplies the homology and period algorithm for elliptic surfaces, including Lemma 15 on which Proposition 6 rests.","marker":"Pichon-Pharabod (2025)"},{"why":"Provides the effective homology and certified period-integration methods used to evaluate extensions along the base.","marker":"Lairez et al. (2024)"},{"why":"Gives the model fibre product carrying a (1,1,1,1) motive that motivates the transcendental-lattice construction.","marker":"Golyshev and van Straten (2023)"},{"why":"Supplies the computer-generated list of Calabi-Yau operators whose irreducible integral-monodromy members are checked in Section 6.3.","marker":"Almkvist et al. (2005)"},{"why":"States the original Gamma-class formula that Conjecture 1 generalises.","marker":"Candelas et al. (1991b)"},{"why":"Proposes the extended Gamma formula with an integer $N$ and constant $S$ that Conjecture 1 refines.","marker":"Katz et al. (2024)"},{"why":"Provides the lattice-reduction algorithm used to recover the integer invariants from high-precision period data.","marker":"Lenstra et al. (1982)"},{"why":"Defines Calabi-Yau operators and the monodromy conjecture that frame the operator list and the $S$ constant.","marker":"van Straten (2018)"}],"fun_headline_variants":["One Gamma matrix fits all 105 fibre products","Period algorithm tests Gamma on 105 Calabi-Yaus","Gamma formula universal across 105 fibre products","Matrix fits every fibre product, periods certified","105 fibre products, one Gamma matrix"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the rank-four piece of homology carrying the Calabi-Yau motive of the singular fibre product is exactly the saturation of the explicitly constructed central cycles inside the part of the smoothed threefold's homology that is orthogonal to the vanishing cycles; if that identification fails, the periods being matched by the Gamma formula describe the smoothing rather than the intended Calabi-Yau motive.","fun_headline_variants_meta":{"raw":{"variants":["One Gamma matrix fits all 105 fibre products","Period algorithm tests Gamma on 105 Calabi-Yaus","Gamma formula universal across 105 fibre products","Matrix fits every fibre product, periods certified","105 fibre products, one Gamma matrix"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000304,"raw_usage":{"total_tokens":1715,"prompt_tokens":880,"completion_tokens":835,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":496,"completion_tokens_details":{"reasoning_tokens":766}},"tokens_in":496,"tokens_out":835,"duration_ms":7845,"temperature":1.0,"reasoning_tokens":766,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T22:10:47.004866+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Gamma-class matrix for a fourth-order Calabi-Yau operator with integral monodromy and degree exactly 20, or for a fibre product whose colliding singular fibres are not semi-stable, to 150 certified digits and apply integer lattice reduction: Conjecture 1 predicts an integer solution $(\\chi,c_2\\cdot H,H^3,\\sigma,\\alpha,\\delta,M,N)$ with intersection form (57), so an operator for which lattice reduction finds no such matrix refutes the universal shape. Independently, exhibiting a class in $\\Lambda_{\\mathrm{vc}}^\\perp$ orthogonal to every primary cycle would refute Proposition 6 and with it the smoothing interpretation of the periods.","supporting_citations":[],"review_version":1}