SearcharxivSearch

arXiv · 2606.27588

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

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.

Explore related subjects

Keep this discovery

BibTeXRIS

Lara B. Anderson, Andrei Constantin, James Gray, Yang-Hui He, Seung-Joo Lee, Andre Lukas. 2026-06-25. CIPro Package: Complete Intersections in Products of Projective Spaces and Line Bundles. https://arxiv.org/abs/2606.27588

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Timelike Entanglement from Spacetime Density Matrices: A Lattice Realization

We investigate timelike entanglement in quantum field theory using spacetime density matrices and provide a microscopic lattice realization. For a two-dimensional free real scalar field, we extend Gaussian diagonalization methods to the generally non-Hermitian reduced spacetime density matrix and determine its complete nonzero spectrum in the generic regular case, together with all integer R\'enyi moments. The real-time replica construction identifies these moments with Lorentzian branch-point twist-operator correlation functions. We test this identification against the full four-point function on a circle, boundary two-point functions with Dirichlet and Neumann boundary conditions, and massive form-factor predictions, finding quantitative agreement in both magnitude and phase across distinct causal regimes. The boundary setup exhibits a finite causally connected window in which every integer R\'enyi entropy is real, showing that reality is not equivalent to causal disconnection. These results provide a microscopic lattice foundation for timelike entanglement and for Lorentzian twist-operator methods beyond equal-time regions.

hep-th

Landau-Ginzburg description of an exceptional ${\mathcal N}=1$ minimal model

The $\mathcal N=1$ superconformal minimal model with $m=12$ and the exceptional modular invariant $(E_6,D_8)$ is the unitary minimal model of the super-$W_3$ algebra. We propose its Landau-Ginzburg description using two real scalar superfields with the cubic superpotential ${\cal W}=g_1 XY^2/2 + g_2X^3/6$. For $g_1=g_2$, this superpotential is known to describe a product of two $m=3$ $\mathcal N=1$ superconformal minimal models, which is the $m=10$ model with the $(D_6,E_6)$ modular invariant. The exceptional $m=12$ superconformal minimal model is realized at a different fixed point of the same theory. Testing this Landau-Ginzburg description requires the fusion ring of the minimal model, which we obtain from the modular data of the extended algebra. The fusion ring has a $\mathbb Z_2$ grading by chiral fermion parity that the ordinary fusion coefficients do not determine. This grading, composed with conjugation, gives the generator of the R-parity $\mathbb Z_2^{R}$ of the Landau-Ginzburg theory. We then treat the theory with superpotential $\cal W$ as a Gross-Neveu-Yukawa model in $d=4-\epsilon$ and find a weakly coupled infrared fixed point with $g_1/g_2=3/2+\mathcal O(\epsilon)$, at which supersymmetry emerges. We also describe the renormalization group flow from this fixed point to the decoupled fixed point with $g_1=g_2$. The operator dimensions at the coupled fixed point, continued to $d=2$, agree approximately with their values in the $m=12$ superconformal minimal model. Finally, we estimate the scaling dimensions in the new interacting $d=3$ $\mathcal N=1$ superconformal field theory.

hep-th

Detecting one-dimensional bosonic SPT phases via twisted entropic order parameter

Entanglement asymmetry, introduced by F. Ares, S. Murciano and P. Calabrese, provides a density-matrix diagnostic of symmetry breaking and successfully captures the Landau data associated with a broken symmetry pattern. However, it is by now well established that gapped quantum many-body systems can exhibit phases which are not characterized solely by Landau symmetry breaking. A fundamental example is a symmetry-protected topological (SPT) phase, and the ordinary definition of entanglement asymmetry is insensitive to this topological information. In this work we introduce a refined quantity, which we call the twisted entropic order parameter, designed to detect SPT phases from reduced density matrices, particularly focusing on one-dimensional bosonic systems. The key ingredient in our construction is an ancilla degrees of freedom that coherently records the untwisted state and the twisted state associated to a one-ended topological defect of unbroken symmetry, so that the enlarged density matrix retains the charge carried by the defect endpoint. We demonstrate our proposal in concrete lattice models and further generalize it beyond ordinary group symmetries, establishing its ability to diagnose SPT phases. This provides a first step toward a unified entanglement-asymmetry framework for diagnosing quantum phases of matter.

hep-th