pith. sign in

arxiv: 2606.22275 · v1 · pith:AOKQTVBHnew · submitted 2026-06-20 · ✦ hep-th

Hilbert Functions and Line Bundle Cohomology on CICY Threefolds

Pith reviewed 2026-06-26 11:19 UTC · model grok-4.3

classification ✦ hep-th
keywords line bundle cohomologyCICY threefoldsKoszul spectral sequenceHilbert functionsCalabi-Yau manifoldschamber decompositionsrank defectsstring phenomenology
0
0 comments X

The pith

Hilbert functions of kernel and cokernel modules determine line bundle cohomology on complete intersection Calabi-Yau threefolds.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that line bundle cohomology dimensions on complete intersection Calabi-Yau threefolds arise from rank defects in the maps of the Koszul spectral sequence. Once ambient cohomology is fixed by Bott-Borel-Weil theory, these defects equal the Hilbert functions of the relevant kernel or cokernel modules. This structure accounts for the chamber-wise polynomial formulas observed on the Picard lattice. The method converts prior empirical patterns into statements that admit analytic proofs or finite-box certificates. It also produces explicit cohomology libraries for two threefolds not previously treated this way.

Core claim

Once Bott-Borel-Weil theory determines the non-vanishing ambient cohomology groups, the rank defects of the relevant Koszul maps are governed by Hilbert functions of cokernel or kernel modules. This turns many empirical chamber formulae into explicit rank-defect statements, with proofs that are either analytic or certified on finite boxes.

What carries the argument

The Koszul spectral sequence on CICY threefolds, whose non-trivial maps have rank defects controlled by Hilbert functions of kernel or cokernel modules.

If this is right

  • Almost all existing empirical chamber formulae are recovered analytically.
  • Finite-box certificate theorems hold for infinite families of line bundles in specified regions.
  • New wall structures appear on certain CICYs that refine earlier chamber decompositions.
  • Line bundle cohomology formula libraries are constructed for two previously unanalyzed CICY threefolds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same reduction from ambient data to threefold cohomology via Hilbert functions may apply to other classes of Calabi-Yau threefolds.
  • Analytic control over the formulae could reduce the need for machine-learning extrapolation when scanning large numbers of line bundle models.
  • The refined walls indicate that the true chamber structure on the Picard lattice is finer than finite-range sampling alone reveals.

Load-bearing premise

The non-trivial maps in the Koszul spectral sequence on these threefolds have rank defects controlled exactly by the Hilbert functions of the indicated kernel or cokernel modules.

What would settle it

Compute the cohomology dimension for a specific line bundle on one of the analyzed CICY threefolds and check whether it differs from the value given by the corresponding Hilbert function.

read the original abstract

Line bundle cohomology on complete intersection Calabi--Yau threefolds is an important input in string phenomenology. Previous work, based on direct extrapolation and on machine-learning analyses of finite data sets, has shown that these cohomology dimensions often admit chamber-wise polynomial descriptions on the Picard lattice. In this paper we explain this structure through the Hilbert functions associated with the non-trivial maps in the Koszul spectral sequence. Once Bott--Borel--Weil theory determines the non-vanishing ambient cohomology groups, the rank defects of the relevant Koszul maps are governed by Hilbert functions of cokernel or kernel modules. This turns many empirical chamber formulae into explicit rank-defect statements, with proofs that are either analytic or certified on finite boxes. Using this approach, we recover analytically almost all of the piecewise formulae appearing in the existing literature. For the remaining cases, we prove finite-box certificate theorems for infinite families of line bundles in the specified regions. We also identify new wall structures on certain CICYs which refine the chamber decompositions suggested by finite-range data. Finally, we use the same framework to construct line bundle cohomology formula libraries for two CICY threefolds which had not previously been analysed in this way. These results suggest that Hilbert-function methods can provide promising faster inputs for future string model-building scans based on line bundle constructions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper claims that the observed chamber-wise polynomial structure of line bundle cohomology dimensions on CICY threefolds arises from the rank defects of maps in the Koszul spectral sequence, which are controlled by Hilbert functions of the associated kernel or cokernel modules once ambient cohomology is fixed by Bott-Borel-Weil theory. It recovers analytic proofs for almost all existing empirical formulae, establishes finite-box certificate theorems for the remaining infinite families, identifies new wall structures refining prior chamber decompositions on certain CICYs, and constructs explicit cohomology formula libraries for two previously unanalyzed threefolds.

Significance. If the central claims hold, the work supplies a rigorous graded-commutative-algebra explanation for data-driven observations in string phenomenology, converting empirical chamber formulae into explicit rank-defect statements. The provision of either fully analytic derivations or finite-box certificates for infinite families, together with the construction of new libraries, constitutes a concrete advance that could accelerate line-bundle-based model scans. The approach relies on standard tools (Bott-Borel-Weil, Koszul spectral sequence, Hilbert functions) without introducing free parameters or circular definitions.

minor comments (2)
  1. [§1] §1 (Introduction): the statement that the method 'recovers analytically almost all' of the existing formulae would benefit from an explicit enumeration (e.g., a table) of which formulae are recovered analytically versus those covered only by finite-box certificates.
  2. The finite-box certificate theorems are asserted for 'infinite families'; a brief remark on the precise notion of 'box' (e.g., degree bounds or monomial support) and how the certificate is verified computationally would improve reproducibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. The report lists no major comments, so we have no specific points requiring point-by-point rebuttal or revision.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard tools

full rationale

The paper's central derivation proceeds from Bott-Borel-Weil (standard) to fix ambient cohomology, then applies the long exact sequences of the Koszul complex on CICY threefolds; the rank defects of the differentials are identified with Hilbert functions of the kernel/cokernel modules by the definition of those modules in the graded ring. This is a direct algebraic consequence, not a fit, self-definition, or self-citation chain. The paper recovers existing chamber formulae analytically or via finite-box certificates without reducing any target quantity to a parameter fitted from the same data. No load-bearing self-citation, ansatz smuggling, or renaming of empirical patterns as new results is present; the framework is externally verifiable in commutative algebra.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Approach rests on established algebraic geometry results; no free parameters or new entities are introduced in the abstract description.

axioms (2)
  • standard math Bott-Borel-Weil theory determines the non-vanishing ambient cohomology groups on the ambient space
    Invoked to fix the starting point of the Koszul spectral sequence analysis.
  • domain assumption Rank defects of Koszul maps are governed by Hilbert functions of cokernel or kernel modules
    Central reduction step stated in the abstract.

pith-pipeline@v0.9.1-grok · 5759 in / 1260 out tokens · 33390 ms · 2026-06-26T11:19:54.773211+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

40 extracted references · 36 canonical work pages · 18 internal anchors

  1. [1]

    Heterotic Compactification, An Algorithmic Approach

    Lara B. Anderson, Yang-Hui He, and Andre Lukas. Heterotic compactification, an algorithmic approach. JHEP, 07:049, 2007. doi:10.1088/1126-6708/2007/07/049, arXiv:hep-th/0702210

  2. [2]

    Monad Bundles in Heterotic String Compactifications

    Lara B. Anderson, Yang-Hui He, and Andre Lukas. Monad bundles in Heterotic string compactifications.JHEP, 07:104, 2008. doi:10.1088/1126-6708/2008/07/104, arXiv:0805.2875

  3. [3]

    Exploring Positive Monad Bundles And A New Heterotic Standard Model

    Lara B. Anderson, James Gray, Yang-Hui He, and Andre Lukas. Exploring positive Monad bundles and a new Heterotic Standard Model.JHEP, 02:054, 2010. doi:10.1007/JHEP02(2010)054, arXiv:0911.1569

  4. [4]

    Heterotic Models from Vector Bundles on Toric Calabi-Yau Manifolds

    Yang-Hui He, Seung-Joo Lee, and Andre Lukas. Heterotic models from vector bundles on toric Calabi-Yau manifolds.JHEP, 05:071, 2010. doi:10.1007/JHEP05(2010)071, arXiv:0911.0865

  5. [5]

    Heterotic Bundles on Calabi-Yau Manifolds with Small Picard Number

    Yang-Hui He, Maximilian Kreuzer, Seung-Joo Lee, and Andre Lukas. Heterotic bundles on Calabi-Yau manifolds with small picard number.JHEP, 12:039, 2011. doi:10.1007/JHEP12(2011)039, arXiv:1108.1031

  6. [6]

    A Heterotic Standard Model with B-L Symmetry and a Stable Proton

    Evgeny I. Buchbinder, Andrei Constantin, and Andre Lukas. A Heterotic Standard Model with B-L symmetry and a stable proton.JHEP, 06:100, 2014. doi:10.1007/JHEP06(2014)100, arXiv:1404.2767

  7. [7]

    Candelas, A

    P. Candelas, A. M. Dale, C. A. Lutken, and R. Schimmrigk. Complete intersection calabi-yau manifolds. Nucl. Phys. B, 298:493, 1988. doi:10.1016/0550-3213(88)90352-5

  8. [8]

    P. S. Green and T. Hubsch. Polynomial deformations and cohomology of calabi-yau manifolds. Commun. Math. Phys., 113:505, 1987. doi:10.1007/BF01221257

  9. [9]

    Two Hundred Heterotic Standard Models on Smooth Calabi-Yau Threefolds

    Lara B. Anderson, James Gray, Andre Lukas, and Eran Palti. Two hundred Heterotic Standard Models on smooth Calabi-Yau threefolds.Phys. Rev. D, 84:106005, 2011. doi:10.1103/PhysRevD.84.106005, arXiv:1106.4804

  10. [10]

    Heterotic Line Bundle Standard Models

    Lara B. Anderson, James Gray, Andre Lukas, and Eran Palti. Heterotic line bundle Standard Models. JHEP, 06:113, 2012. doi:10.1007/JHEP06(2012)113, arXiv:1202.1757. – 60 –

  11. [11]

    A Comprehensive Scan for Heterotic SU(5) GUT models

    Lara B. Anderson, Andrei Constantin, James Gray, Andre Lukas, and Eran Palti. A comprehensive scan for Heterotic SU(5) GUT models.JHEP, 01:047, 2014. doi:10.1007/JHEP01(2014)047, arXiv:1307.4787

  12. [12]

    (MS)SM-like models on smooth Calabi-Yau manifolds from all three heterotic string theories

    Stefan Groot Nibbelink, Orestis Loukas, and Fabian Ruehle. (MS)SM-like Models on Smooth Calabi-Yau Manifolds from All Three Heterotic String Theories.Fortsch. Phys., 63:609, 2015. doi:10.1002/prop.201500041, arXiv:1507.07559

  13. [13]

    Heterotic Model Building: 16 Special Manifolds

    Yang-Hui He, Seung-Joo Lee, Andre Lukas, and Chuang Sun. Heterotic model building: 16 special manifolds.JHEP, 06:077, 2014. doi:10.1007/JHEP06(2014)077, arXiv:1309.0223

  14. [14]

    Heterotic Line Bundle Models on Elliptically Fibered Calabi-Yau Three-folds

    Andreas P. Braun, Callum R. Brodie, and Andre Lukas. Heterotic line bundle models on elliptically fibered Calabi-Yau three-folds.JHEP, 04:087, 2018. doi:10.1007/JHEP04(2018)087, arXiv:1706.07688

  15. [15]

    A New Construction of Calabi-Yau Manifolds: Generalized CICYs

    Lara B. Anderson, Fabio Apruzzi, Xin Gao, James Gray, and Seung-Joo Lee. A new construction of Calabi-Yau manifolds: Generalized CICYs.Nucl. Phys. B, 906:441–496, 2016. doi:10.1016/j.nuclphysb.2016.03.016, arXiv:1507.03235

  16. [16]

    Heterotic line bundle models on generalized complete intersection Calabi-Yau manifolds.JHEP, 05:105, 2021

    Magdalena Larfors, Davide Passaro, and Robin Schneider. Heterotic line bundle models on generalized complete intersection Calabi-Yau manifolds.JHEP, 05:105, 2021. doi:10.1007/JHEP05(2021)105, arXiv:2010.09763

  17. [17]

    Volker Braun, Yang-Hui He, and Burt A. Ovrut. Supersymmetric hidden sectors for Heterotic Standard Models.JHEP, 09:008, 2013. doi:10.1007/JHEP09(2013)008, arXiv:1301.6767

  18. [18]

    Jumping spectra and vanishing couplings in Heterotic line bundle Standard Models.JHEP, 11:073, 2019

    James Gray and Juntao Wang. Jumping spectra and vanishing couplings in Heterotic line bundle Standard Models.JHEP, 11:073, 2019. doi:10.1007/JHEP11(2019)073, arXiv:1906.09373

  19. [19]

    Leung, Andre Lukas, and Luca A

    Andrei Constantin, Lucas T.-Y. Leung, Andre Lukas, and Luca A. Nutricati. Reproducing Standard Model fermion masses and mixing in string theory: A Heterotic line bundle study.Phys. Rev. D, 113:046005, 2026. doi:10.1103/fbdz-t73z, arXiv:2507.03076

  20. [20]

    PhD thesis, University of Pennsylvania, 2022.https://repository.upenn.edu/edissertations/4544

    Muyang Liu.F-Theory Realizations of Exact MSSM Matter Spectra. PhD thesis, University of Pennsylvania, 2022.https://repository.upenn.edu/edissertations/4544

  21. [21]

    On the computation of non-perturbative effective potentials in the string theory landscape: IIB/F-theory perspective.Fortsch

    Mirjam Cvetic, Inaki Garcia-Etxebarria, and James Halverson. On the computation of non-perturbative effective potentials in the string theory landscape: IIB/F-theory perspective.Fortsch. Phys., 59:243,

  22. [22]

    doi:10.1002/prop.201000093, arXiv:1009.5386

  23. [23]

    Cohomology of Line Bundles: A Computational Algorithm

    Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn, and Helmut Roschy. Cohomology of line bundles: a computational algorithm.J. Math. Phys., 51:103525, 2010. doi:10.1063/1.3501132, arXiv:1003.5217

  24. [24]

    Cohomology of Line Bundles: Applications

    Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn, and Helmut Roschy. Cohomology of line bundles: applications.J. Math. Phys., 53:012302, 2012. doi:10.1063/1.3677646, arXiv:1010.3717

  25. [25]

    Explore and exploit with heterotic line bundle models

    Magdalena Larfors and Robin Schneider. Explore and exploit with heterotic line bundle models. Fortsch. Phys., 68:2000034, 2020. doi:10.1002/prop.202000034, arXiv:2003.04817

  26. [26]

    Harvey, and Andre Lukas

    Andrei Constantin, Thomas R. Harvey, and Andre Lukas. Heterotic string model building with monad bundles and reinforcement learning.Fortsch. Phys., 70:2100186, 2022. doi:10.1002/prop.202100186, arXiv:2108.07316

  27. [27]

    Harvey, and Andre Lukas

    Steve Abel, Andrei Constantin, Thomas R. Harvey, and Andre Lukas. Evolving heterotic gauge backgrounds: genetic algorithms versus reinforcement learning.Fortsch. Phys., 70:2200034, 2022. doi:10.1002/prop.202200034, arXiv:2110.14029

  28. [28]

    Abel, Andrei Constantin, Thomas R

    Steve A. Abel, Andrei Constantin, Thomas R. Harvey, Andre Lukas, and Luca A. Nutricati. Decoding nature with nature’s tools: heterotic line bundle models of particle physics with genetic algorithms and quantum annealing.Fortsch. Phys., 72:2300260, 2024. doi:10.1002/prop.202300260, arXiv:2306.03147

  29. [29]

    , year =

    Raoul Bott. Homogeneous vector bundles.Ann. of Math., 66:203–248, 1957. doi:10.2307/1969996

  30. [30]

    Anderson.Heterotic and M-theory Compactifications for String Phenomenology

    Lara B. Anderson.Heterotic and M-theory Compactifications for String Phenomenology. D.Phil. thesis, University of Oxford, 2008. arXiv:0808.3621

  31. [31]

    Formulae for line bundle cohomology on calabi-yau threefolds

    Andrei Constantin and Andre Lukas. Formulae for line bundle cohomology on calabi-yau threefolds. Fortsch. Phys., 67:1900084, 2019. doi:10.1002/prop.201900084, arXiv:1808.09992. – 61 –

  32. [32]

    Line bundle cohomologies on CICYs with picard number two

    Magdalena Larfors and Robin Schneider. Line bundle cohomologies on CICYs with picard number two. Fortsch. Phys., 67:1900083, 2019. doi:10.1002/prop.201900083, arXiv:1906.00392

  33. [33]

    Machine Learning Line Bundle Cohomologies of Hypersurfaces in Toric Varieties

    Daniel Klaewer and Lorenz Schlechter. Machine learning line bundle cohomologies of hypersurfaces in toric varieties.Phys. Lett. B, 789:438, 2019. doi:10.1016/j.physletb.2019.01.002, arXiv:1809.02547

  34. [34]

    Brodie, Andrei Constantin, Rhys Deen, and Andre Lukas

    Callum R. Brodie, Andrei Constantin, Rhys Deen, and Andre Lukas. Machine learning line bundle cohomology.Fortsch. Phys., 68:1900087, 2020. doi:10.1002/prop.201900087, arXiv:1906.08730

  35. [35]

    Brodie, Andrei Constantin, and Andre Lukas

    Callum R. Brodie, Andrei Constantin, and Andre Lukas. Flops, Gromov-Witten invariants and symmetries of line bundle cohomology on Calabi-Yau three-folds.J. Geom. Phys., 171:104398, 2022. doi:10.1016/j.geomphys.2021.104398, arXiv:2010.06597

  36. [36]

    Generating functions for line bundle cohomology dimensions on complex projective varieties.Experimental Mathematics, 34:459–487, 2025

    Andrei Constantin. Generating functions for line bundle cohomology dimensions on complex projective varieties.Experimental Mathematics, 34:459–487, 2025. doi:10.1080/10586458.2024.2380794, arXiv:2401.14463

  37. [37]

    Recent developments in line bundle cohomology and applications to string phenomenology, 2021

    Callum Brodie, Andrei Constantin, James Gray, Andre Lukas, and Fabian Ruehle. Recent developments in line bundle cohomology and applications to string phenomenology, 2021. arXiv:2112.12107

  38. [38]

    Cox, John Little, and Donal O’Shea.Using Algebraic Geometry, volume 185 ofGraduate Texts in Mathematics

    David A. Cox, John Little, and Donal O’Shea.Using Algebraic Geometry, volume 185 ofGraduate Texts in Mathematics. Springer, 1998. doi:10.1007/978-1-4757-6911-1

  39. [39]

    Buchsbaum and Dock S

    David A. Buchsbaum and Dock S. Rim. A generalized Koszul complex. II. Depth and multiplicity. Trans. Amer. Math. Soc., 111:197–224, 1964. doi:10.1090/S0002-9947-1964-0159860-7

  40. [40]

    1995 , PAGES =

    David Eisenbud.Commutative Algebra with a View Toward Algebraic Geometry, volume 150 of Graduate Texts in Mathematics. Springer, 1995. doi:10.1007/978-1-4612-5350-1. – 62 –