pith. sign in

arxiv: 2606.27588 · v1 · pith:7LQDOY4Enew · submitted 2026-06-25 · ✦ hep-th

CIPro Package: Complete Intersections in Products of Projective Spaces and Line Bundles

Lara B. Anderson , Andrei Constantin , James Gray , Yang-Hui He , Seung-Joo Lee , Andre Lukas This is my paper

Pith reviewed 2026-06-29 00:48 UTC · model grok-4.3

classification ✦ hep-th
keywords complete intersectionsprojective spacesline bundlesCalabi-Yau threefoldsCalabi-Yau fourfoldsMathematica packageChern classesline bundle cohomology
0
0 comments X

The pith

The CIPro Mathematica package constructs complete intersections in products of projective spaces and computes their Chern classes, Hilbert series, GV invariants, symmetries, and line bundle cohomology groups.

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

The paper introduces the CIPro package as a unified tool in Mathematica for building complete intersections in products of projective spaces and for analyzing both the varieties themselves and line bundles over them. It performs standard computations such as Chern classes, Hilbert series, GV invariants and symmetries on the intersections, plus cohomology groups on the bundles, while also merging scattered lists of complete intersection Calabi-Yau threefolds and fourfolds into one accessible system. A sympathetic reader would care because these geometries appear repeatedly in heterotic and type II string compactifications, and the package removes the need to re-implement the underlying algebraic geometry routines for each new model. The tutorial format supplies the mathematical background and worked examples so that the methods can be applied directly.

Core claim

CIPro is a Mathematica package that constructs complete intersections in products of projective spaces, computes their Chern classes, Hilbert series, GV invariants and symmetries, and determines the cohomology groups of line bundles on these varieties; it also consolidates existing lists of complete intersection Calabi-Yau three- and four-folds from the literature into a single framework.

What carries the argument

The CIPro package, which encodes algorithms for computing Chern classes, Hilbert series, GV invariants, symmetries, and line-bundle cohomology on complete intersections in projective products.

If this is right

  • Researchers can obtain Chern classes, GV invariants and line bundle cohomology for complete intersection Calabi-Yau threefolds and fourfolds without writing custom code for each case.
  • Existing tabulated lists of complete intersection Calabi-Yau threefolds and fourfolds become available inside one consistent Mathematica environment.
  • The same routines apply directly to almost Fano bases appearing in F-theory constructions.
  • Computations that were previously limited to Calabi-Yau cases now extend routinely to non-Calabi-Yau complete intersections in the same ambient spaces.

Where Pith is reading between the lines

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

  • The package could serve as a base for systematic enumeration of string vacua that rely on these complete intersection geometries.
  • Community users could add further invariants or extend the ambient spaces beyond products of projective spaces.
  • Direct export of results to other string phenomenology codes would reduce manual data transfer between geometry and physics stages.
  • The consolidated data sets lower the barrier for cross-checks against independent computations performed in different computer algebra systems.

Load-bearing premise

The package's Mathematica implementations of the algebraic geometry algorithms contain no coding errors or symbolic computation limits that would produce incorrect results.

What would settle it

Run CIPro on a known complete intersection Calabi-Yau threefold whose Chern classes or Hodge numbers are already tabulated in the literature and check whether the output matches the tabulated values.

read the original abstract

CIPro is a Mathematica package for constructing and analyzing complete intersections in products of projective spaces and line bundles over such varieties. It computes properties of complete intersections, such as Chern classes, Hilbert series, GV invariants and symmetries, as well as properties of line bundles on complete intersections, including their cohomology groups. The package also consolidates a number of data sets available in the literature into a single system, including the lists of complete intersection Calabi-Yau three- and four-folds. This short tutorial introduces the package, provides a brief discussion of some of the mathematical background underlying its computations, and gives a series of examples to illustrate its use. These tools are of utility for many computations in string compactifications, especially for Calabi-Yau geometries appearing in Heterotic and Type II constructions. Many tools apply beyond the Calabi-Yau context, including for example, almost Fano bases in F-theory.

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

2 major / 1 minor

Summary. The manuscript introduces the CIPro Mathematica package for constructing complete intersections in products of projective spaces, computing their Chern classes, Hilbert series, GV invariants, and symmetries, as well as cohomology groups of line bundles on these varieties. It also consolidates existing lists of complete intersection Calabi-Yau threefolds and fourfolds from the literature into a single system and provides a tutorial with mathematical background and usage examples relevant to string compactifications.

Significance. If the implementations are correct, the package would offer a convenient consolidated tool for computations in heterotic and type II string compactifications on Calabi-Yau geometries, as well as for almost Fano bases in F-theory, by combining data sets and algorithms in one Mathematica environment.

major comments (2)
  1. [Examples and tutorial sections] The central claim that CIPro correctly computes Chern classes, Hilbert series, GV invariants, symmetries, and line bundle cohomology rests on the fidelity of the underlying Mathematica implementations, yet the manuscript provides no explicit sample outputs, comparisons to known results, or cross-validation against other systems (e.g., Macaulay2) in the examples or tutorial sections. This leaves the correctness of the algorithms unverified within the paper itself.
  2. [Mathematical background section] The description of the package's functionality for GV invariants and line bundle cohomology does not specify the precise algorithms implemented or any handling of symbolic computation limits in Mathematica, which is load-bearing for assessing whether the computations are reliable for the claimed applications in Calabi-Yau geometries.
minor comments (1)
  1. [Abstract] The abstract and introduction could more explicitly state the scope and any known limitations of the package to set reader expectations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their review and constructive comments on the CIPro manuscript. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [Examples and tutorial sections] The central claim that CIPro correctly computes Chern classes, Hilbert series, GV invariants, symmetries, and line bundle cohomology rests on the fidelity of the underlying Mathematica implementations, yet the manuscript provides no explicit sample outputs, comparisons to known results, or cross-validation against other systems (e.g., Macaulay2) in the examples or tutorial sections. This leaves the correctness of the algorithms unverified within the paper itself.

    Authors: We agree that the examples and tutorial would be strengthened by explicit sample outputs and comparisons. While the manuscript includes usage examples with code, we will revise to incorporate printed sample outputs for key computations (e.g., Chern classes and Hilbert series on standard complete intersections) along with direct comparisons to known results from the literature, such as established Calabi-Yau data sets. Where relevant, we will note consistency with other computational systems. revision: yes

  2. Referee: [Mathematical background section] The description of the package's functionality for GV invariants and line bundle cohomology does not specify the precise algorithms implemented or any handling of symbolic computation limits in Mathematica, which is load-bearing for assessing whether the computations are reliable for the claimed applications in Calabi-Yau geometries.

    Authors: The mathematical background section offers an overview of the underlying concepts, but we acknowledge that greater specificity on the implemented algorithms would aid assessment. In revision, we will expand this section to detail the precise methods for GV invariants and line bundle cohomology (with references to the relevant mathematical procedures), as well as any handling of Mathematica symbolic limits and practical constraints for large Calabi-Yau computations. revision: yes

Circularity Check

0 steps flagged

No circularity: software package tutorial with external algorithmic basis

full rationale

The paper presents a Mathematica package implementing standard algebraic geometry computations (Chern classes, Hilbert series, GV invariants, line bundle cohomology) for complete intersections in products of projective spaces. No derivation chain exists that reduces predictions or first-principles results to inputs by construction, self-definition, or fitted parameters renamed as outputs. Data consolidation draws from external literature lists rather than self-citation chains, and examples serve as usage illustrations without load-bearing self-referential steps. The central claims concern implementation fidelity, which falls under correctness rather than circularity per the analysis rules.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The package adds no new free parameters or entities; it implements existing mathematical procedures in software.

axioms (1)
  • standard math Standard algebraic geometry results on Chern classes, Hilbert series, and cohomology of line bundles on complete intersections
    These are invoked to enable the package's computations.

pith-pipeline@v0.9.1-grok · 5699 in / 1257 out tokens · 58372 ms · 2026-06-29T00:48:57.795578+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

32 extracted references · 20 canonical work pages · 15 internal anchors

  1. [1]

    Complete Intersection Calabi-Yau Manifolds,

    P. Candelas, A. M. Dale, C. A. Lutken and R. Schimmrigk, “Complete Intersection Calabi-Yau Manifolds,” Nucl. Phys. B298(1988), 493 doi:10.1016/0550-3213(88)90352-5

    work page doi:10.1016/0550-3213(88)90352-5 1988

  2. [2]

    All Complete Intersection Calabi-Yau Four-Folds

    J. Gray, A. S. Haupt and A. Lukas, “All Complete Intersection Calabi-Yau Four-Folds,” JHEP07(2013), 070 doi:10.1007/JHEP07(2013)070 [arXiv:1303.1832 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep07(2013)070 2013

  3. [3]

    Calabi-Yau Fourfolds in Products of Projective Space,

    J. Gray, A. Haupt and A. Lukas, “Calabi-Yau Fourfolds in Products of Projective Space,” Proc. Symp. Pure Math.88(2014), 281-290 doi:10.1090/pspum/088/01470

    work page doi:10.1090/pspum/088/01470 2014

  4. [4]

    On Free Quotients of Complete Intersection Calabi-Yau Manifolds

    V. Braun, “On Free Quotients of Complete Intersection Calabi-Yau Manifolds,” JHEP04 (2011), 005 doi:10.1007/JHEP04(2011)005 [arXiv:1003.3235 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep04(2011)005 2011

  5. [5]

    Two Hundred Heterotic Standard Models on Smooth Calabi-Yau Threefolds

    L. B. Anderson, J. Gray, A. Lukas and E. Palti, “Two Hundred Heterotic Stan- dard Models on Smooth Calabi-Yau Threefolds,” Phys. Rev. D84(2011), 106005 doi:10.1103/PhysRevD.84.106005 [arXiv:1106.4804 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.84.106005 2011

  6. [6]

    Heterotic Line Bundle Standard Models

    L. B. Anderson, J. Gray, A. Lukas and E. Palti, “Heterotic Line Bundle Standard Models,” JHEP06(2012), 113 doi:10.1007/JHEP06(2012)113 [arXiv:1202.1757 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep06(2012)113 2012

  7. [7]

    A Comprehensive Scan for Heterotic SU(5) GUT models

    L. B. Anderson, A. Constantin, J. Gray, A. Lukas and E. Palti, “A Comprehensive Scan for Heterotic SU(5) GUT models,” JHEP01(2014), 047 doi:10.1007/JHEP01(2014)047 [arXiv:1307.4787 [hep-th]]. 23

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep01(2014)047 2014

  8. [8]

    Counting String Theory Standard Models

    A. Constantin, Y. H. He and A. Lukas, “Counting String Theory Standard Models,” Phys. Lett. B792, 258-262 (2019) doi:10.1016/j.physletb.2019.03.048 [arXiv:1810.00444 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physletb.2019.03.048 2019

  9. [9]

    L. B. Anderson, F. Apruzzi, X. Gao, J. Gray and S. J. Lee, Nucl. Phys. B906(2016), 441-496 doi:10.1016/j.nuclphysb.2016.03.016 [arXiv:1507.03235 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.nuclphysb.2016.03.016 2016

  10. [10]

    Non-toric bases for elliptic Calabi-Yau threefolds and 6D F-theory vacua

    W. Taylor and Y. N. Wang, “Non-toric bases for elliptic Calabi–Yau three- folds and 6D F-theory vacua,” Adv. Theor. Math. Phys.21(2017), 1063-1114 doi:10.4310/ATMP.2017.v21.n4.a6 [arXiv:1504.07689 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/atmp.2017.v21.n4.a6 2017

  11. [11]

    A landscape of orientifold vacua,

    F. Carta, J. Moritz and A. Westphal, “A landscape of orientifold vacua,” JHEP05(2020), 107 doi:10.1007/JHEP05(2020)107 [arXiv:2003.04902 [hep-th]]

    work page doi:10.1007/jhep05(2020)107 2020

  12. [12]

    Macaulay2, a software system for research in algebraic geometry

    D.R. Grayson and M.W. Stillman, “Macaulay2, a software system for research in algebraic geometry”, Available athttp://www2.macaulay2.com

  13. [13]

    Singular 4-4-0 - A computer algebra system for polynomial computations

    W. Decker, G.-M. Greuel, G. Pfister and H. Schönemann, “Singular 4-4-0 - A computer algebra system for polynomial computations”,https://www.singular.uni-kl.de

  14. [14]

    CohomCalg, A software package for computation of sheaf cohomologies for line bundles on toric varieties

    R. Blumenhagen, B. Jurke, T. Rahn and H. Roschy, “CohomCalg, A software package for computation of sheaf cohomologies for line bundles on toric varieties”, Available at https://github.com/BenjaminJurke/cohomCalg

  15. [15]

    pyCICY: a python CICY toolkit

    M. Larfors and R. Schneider, “pyCICY: a python CICY toolkit”, Available athttps: //github.com/robin-schneider/CICY

  16. [16]

    CYTools: A Software Package for Analyzing Calabi-Yau Manifolds,

    M. Demirtas, A. Rios-Tascon and L. McAllister, “CYTools: A Software Package for Analyzing Calabi-Yau Manifolds”, [arXiv:2211.03823 [hep-th]]

    work page arXiv

  17. [17]

    SageMath, the Sage Mathematics Software System

    The Sage Developers, “SageMath, the Sage Mathematics Software System”, Available at https://www.sagemath.org

  18. [18]

    Brown and A

    G. Brown and A. Kasprzyk. The Graded Ring Database,http://www.grdb.co.uk/

  19. [19]

    Calabi–Yau Manifolds,

    T. Hübsch, “Calabi–Yau Manifolds,” World Scientific, (2025)

    2025

  20. [20]

    Computational Algebraic Geometry

    H. Schenck, “Computational Algebraic Geometry”, Cambridge University Press, (2003)

    2003

  21. [21]

    Using algebraic geometry

    D. A. Cox, J. Little, D. O’Shea, “Using algebraic geometry”, Springer, (2005)

    2005

  22. [22]

    Principles of Algebraic Geometry

    P. Griffiths, J. Harris, “Principles of Algebraic Geometry”, John Wiley & Sons, (2014)

    2014

  23. [23]

    Algebraic geometry

    R. Hartshorne, “Algebraic geometry”, Springer, (1977)

    1977

  24. [24]

    Counting BPS Operators in Gauge Theories: Quivers, Syzygies and Plethystics

    S. Benvenuti, B. Feng, A. Hanany and Y. H. He, “Counting BPS Operators in Gauge Theories: Quivers, Syzygies and Plethystics,” JHEP11(2007), 050 [arXiv:hep-th/0608050 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  25. [25]

    Mirror Symmetry, Mirror Map and Applications to Calabi-Yau Hypersurfaces

    S. Hosono, A. Klemm, S. Theisen and S. T. Yau, “Mirror symmetry, mirror map and applications to Calabi-Yau hypersurfaces,” Commun. Math. Phys.167(1995), 301-350 doi:10.1007/BF02100589 [arXiv:hep-th/9308122 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/bf02100589 1995

  26. [26]

    Mirror Symmetry, Mirror Map and Applications to Complete Intersection Calabi-Yau Spaces

    S. Hosono, A. Klemm, S. Theisen and S. T. Yau, “Mirror symmetry, mirror map and applications to complete intersection Calabi-Yau spaces,” Nucl. Phys. B433(1995), 501-554 doi:10.1016/0550-3213(94)00440-P [arXiv:hep-th/9406055 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(94)00440-p 1995

  27. [27]

    Mirror symmetry,

    K. Hori, S. Katz, A. Klemm, R. Pandharipande, R. Thomas, C. Vafa, R. Vakil and E. Zaslow, “Mirror symmetry,” AMS, 2003. 24

    2003

  28. [28]

    Fibrations in CICY Threefolds

    L. B. Anderson, X. Gao, J. Gray and S. J. Lee, “Fibrations in CICY Threefolds,” JHEP10 (2017), 077 doi:10.1007/JHEP10(2017)077 [arXiv:1708.07907 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep10(2017)077 2017

  29. [29]

    Hodge Numbers for All CICY Quotients

    A. Constantin, J. Gray and A. Lukas, “Hodge Numbers for All CICY Quotients,” JHEP 01, 001 (2017) doi:10.1007/JHEP01(2017)001 [arXiv:1607.01830 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep01(2017)001 2017

  30. [30]

    Calabi-Yau Threefolds With Small Hodge Numbers

    P. Candelas, A. Constantin and C. Mishra, “Calabi-Yau Threefolds with Small Hodge Num- bers,” Fortsch. Phys.66, no.6, 1800029 (2018) doi:10.1002/prop.201800029 [arXiv:1602.06303 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1002/prop.201800029 2018

  31. [31]

    Free quotients of favorable Calabi-Yau manifolds,

    J. Gray and J. Wang, “Free quotients of favorable Calabi-Yau manifolds,” JHEP07(2022), 116 doi:10.1007/JHEP07(2022)116 [arXiv:2112.12683 [hep-th]]

    work page doi:10.1007/jhep07(2022)116 2022

  32. [32]

    Heterotic and M-theory Compactifications for String Phenomenology

    L. B. Anderson, “Heterotic and M-theory Compactifications for String Phenomenology,” [arXiv:0808.3621 [hep-th]]. 25

    work page internal anchor Pith review Pith/arXiv arXiv