Orientifold Calabi-Yau Threefolds:
Divisor Exchanges and Multi-Reflections
Xu Cao†, Hongfei Gao†, and Xin Gao†
†College of Physics, Sichuan University, Chengdu, 610065, China
[email protected]
[email protected]
Abstract
Using the Kreuzer-Skarke database of 4-dimensional reflexive polytopes, we systematically constructed a new database of orientifold Calabi-Yau threefolds with . Our approach involved non-trivial involutions, incorporating both divisor exchanges and multi-divisor reflections acting on the Calabi-Yau threefolds. Each proper involution results in an orientifold Calabi-Yau threefolds and we constructed such examples. We developed a novel algorithm that significantly reduces the complexity of determining all the fixed loci under the involutions, and clarifies the types of O-planes. Our results show that under proper involutions, the majority of cases end up with -plane systems, and most of these further admit a naive Type IIB string vacua. Additionally, a new type of free action was determined. We also computed the smoothness and the splitting of Hodge numbers in the -orbifold limit for these orientifold Calabi-Yau threefolds.
Contents
1 Introduction
String theory, aiming to describe the fundamental forces of the universe within a single theoretical framework, often requires compactification from higher dimension to lower dimension to properly describe observable phenomena. Among various compactification methods, four-dimensional supersymmetric compactifications are particularly well-studied due to their theoretical tractability. Within this framework, the compactification manifold usually is a Calabi-Yau threefold . Compactifying type IIA or type IIB string theories on Calabi-Yau threefolds yields an supersymmetry theory in four dimensions. Therefore, to break half of the supersymmetry to , and to address the necessity of O-planes for tadpole cancellation when including open string modes such as D-branes and fluxes, an additional orientifold projection with a proper involution acting on the Calabi-Yau threefold is required. In this paper, we employ a new strategy and a novel algorithm, significantly extending our previous work [1, 2], to construct orientifold Calabi-Yau threefolds with , considering both non-trivial divisor exchange involutions and multi-divisor reflection involutions.
Our investigation focuses specifically on Type IIB orientifold geometries, where an orientifold projection involves two key components: the worldsheet parity and a diffeomorphism map acting on the Calabi-Yau threefolds , referred to as the involution. Notably, the involution such that must meet certain criteria to preserve supersymmetry, thus it has to be isometric and holomorphic [3, 4]. Under this action, the compactification manifold may feature fixed loci, corresponding to orientifold planes (O-planes), whose structure depends on the specific orientifold system, such as the and systems:
(1) |
Each of the involution defines a new Calabi-Yau in the orbifold limit unless it is a free action. In general, the involution splits the cohomology groups into eigenspaces of even and odd parity:
(2) |
For reflection involution, the equivariant cohomology is always vanishing while for divisor exchange involution it is usually :
(3) |
Orientifold Calabi-Yau threefolds play an important role in string phenomenology for both particle physics and string cosmology. Recently, in the context of the swampland conjecture(first proposed in [5, 6] and see [7, 8, 9, 10] for a detail review), various corrections, such as war** correction, loop correction, and correction, put a constraint on the orientifold Calabi-Yau that can be used for compactification to construct de-Sitter vacua in the Large Volume Scenario (LVS) [11, 12, 13, 14, 15, 16, 17]. In order to solve the chirality issue when combining the local particle physics and moduli stabilization [18], tuning on fluxed-instanton on the divisors was considered [19, 20, 21]. There is also a selection rule determining which kinds of orientifold Calabi-Yau threefolds can support the global embedding of Standard Model at the toric singularity in the geometry, where both reflections with and divisor exchange involutions with were considered [22, 23, 24, 25, 26, 27, 28, 29, 30, 31].
Recently, several databases of orientifold Calabi-Yau threefolds have been established. Initially, the orientifold Calabi-Yau threefolds with divisor exchange involutions were constructed for [1] using maximal triangulations from the Kreuzer-Skarke dataset of reflexive four-dimensional polyhedra [32]. This toric construction was extended to , with explicitly fixed loci and types of O-planes in [2] based on the Calabi-Yau database [33]. Given the fact that Calabi-Yau manifold compatible with the proper exchange involution are rare in the entire database, it is a very good signal to apply machine learning tecnique to identify those polytopes which can result in an orientifold Calabi-Yau threefold [34]. Such orientifold structure from the polytope perspective was later studied in [35]. The orientifold Calabi-Yau threefolds with single divisor reflection involutions were considered in [36]. More general free quotient in the toric Calabi-Yau with were systematically explored in [37]. In the context of Complete Intersection Calabi-Yau 3-folds (CICYs) embedded in products of projective spaces [38], people start to construct a landscape of orientifold vacua [39] from the most favorable description of CICY 3-folds database [40]. General free quotients have been classified and studied in the case of CICY 3-folds [41, 42, 43, 44].
Despite significant progress in constructing orientifold Calabi-Yau threefolds, technical challenges persist when extending to higher . The first obstacle is the huge number of Calabi-Yau threefolds itself. Using graph theory and neural network techniques, it has been shown that the number of fine, regular, star triangulations (FRSTs) of four-dimensional reflexive polytopes is bounded by , with topologically inequivalent ones bounded by [45]. Although divisor exchange involution compatible with the geometry are rare in the database, one can always perform the multi-divisor reflection involutions, which is missing in literatures. Each involution results in an orientifold Calabi-Yau manifold for which we must determine the fixed loci and types of O-planes. However, the computational complexity of determining these fixed loci often exceeds the capabilities of current computer. Therefore, develo** a more efficient algorithm is crucial for extending our previous work to a much larger database with higher , including both divisor exchange involutions and reflections, and clarifying ambiguities in determining the fixed loci.
In this paper, we extend and improve upon previous work in several key areas, including large-scale construction, increased efficiency, and clarification of ambiguities:
-
1.
We extend our classification bound up to in the Calabi-Yau database constructed from the Kreuzer-Skarke list [32]. For , we expand our analysis to hypersurfaces in all possible maximal projective crepant partial (MPCP) desingularizations. For , we randomly choose some favorable polytopes for each hodge number as in [36]. The number of toric triangulations we will analyze increases by one order of magnitude from [2] to .
-
2.
We expand our classification to cover both divisor exchange involutions and multi-divisor reflection involutions. First, we determine the individual topology of divisors in each toric Calabi-Yau threefold and refine our algorithm to identify all proper divisor exchange involutions, resulting in a total of proper divisor exchange involutions. For multiple reflection involutions, we explore all possible single, double, and triple divisor reflections for Calabi-Yau threefolds with . For , we analyze all single reflections, and randomly chosen 15 double and 15 triple reflections. For , we randomly select 15 triple reflections in addition to single reflections. In total, we examine different types of reflections. Consequently, we determine their equivariant cohomology (Hodge number splitting) in the -orbifold limit.
Since each of the such involutions results in an orientifold Calabi-Yau manifold, combining both types of involutions, we constructed a total of orientifold Calabi-Yau threefolds in our new database (https://github.com/GroupofXG/anewcydatabase/), which is three orders of magnitude () larger than our previous work [2].
-
3.
We employed new strategy to identify all possible fixed loci under divisor exchanges and reflection involutions. This enables us to identify the positions of various types of O-planes, which are crucial for D-brane constructions. The new algorithm significantly reduces the calculation complexity for determining fixed loci by more than five order of magnitude () for a standard Calabi-Yau threefolds with and will be more efficient for higher .
-
4.
We classify freely acting involutions on Calabi-Yau threefolds into two categories: those with a fixed locus in the ambient space that does not intersect with the Calabi-Yau threefold and those even without a fixed locus in the ambient space.
-
5.
In orientifold Calabi-Yau threefolds featuring the -system, we proceed to classify the so-called “naive orientifold Type IIB string vacua” by considering the D3 tadpole cancellation condition when putting eight -branes on top of -plane.
This paper is organized as follows: In Section 2.1, we briefly review the construction of Calabi-Yau threefolds as hypersurfaces in toric varieties and how to compute the Hodge numbers of individual toric divisors. In Section 2.2, we identify all pairs of “Non-trivial Identical Divisors” (NIDs) and then present the proper divisor exchange involutions and multi-divisor reflections. The fixed-point loci on the ambient space are then identified in Section 2.3 and then restricted on the Calabi-Yau threefolds in Section 2.4. Computation complexity of the previous algorithm was described in Section 2.3.1 and great efforts were performed to introduce a new strategy to reduce the computation complexity in Section 2.3.2. This information is used to classify the involutions as either non-trivially or freely acting in Section 2.5. We illustrate the procedures via detailed examples for both divisor exchange involutions and multi-divisor reflections in Section 3 and clarify some ambiguities there. Then we summarize our results in Section 4.
2 Construct Orientifold Calabi-Yau Threefolds
2.1 Polytope, Triangulation and Divisors
The toric Calabi-Yau threefolds can generically be obtained by taking the anticanonical hypersurface in an ambient four-dimensional Gorenstein toric Fano variety, denoted by [46]. First, we require a desingularized representation of our original four-dimensional ambient space from the Kreuzer-Skarke database [32]. Achieving this entails smoothing out some irregularities in a four-dimensional ambient space , by blowing up enough of its singular points through a process called maximal projective crepant partial (MPCP) desingularization. This method involves triangulating the polar dual reflexive polytope, denoted as , to ensure it contains at least one fine, regular, star triangulation (FRST)111A triangulation is “fine” if all points not interior to facets appear as vertices of a simplex. “regularity” is needed so that variety is projective and Kähler. It is “star” if the origin is vertex of all full-dim simplices. . Such a desingularized four-dimensional ambient toric variety could be expressed as:
(4) |
where is the locus of points in ruled out by the Stanley-Reisner ideal , and is the stringy fundamental group. There are only 16 manifolds in the Kreuzer-Skarke list contain a non-trivial first fundamental group . In many applications in physics the group can be taken to be trivial and we are left with the simple split torus action in the denominator of the quotient. This torus action can also take the role of an abelian gauge group acting on some two-dimensional field theory as was explained in [47] and may therefore also be called the action.
We will consider the ambient space as a resolved four-dimensional Gorenstein toric Fano variety whose anticanonical divisor represents a Calabi-Yau threefold hypersurface. Here we restrict ourselves to the so-called “favorable” description, in which the toric divisor classes on the Calabi-Yau hypersurface are all descended from ambient space 222There exits a stronger notion of “Kähler favorability” where Kähler cones on descend from an ambient space in which they are embedded [40]. This involves a detailed argument regarding the descent of the effective, nef, and ample cones of divisors, which we refer the reader to see [48]. In some cases, the “favorable” geometry is not “Kähler favorable” because the Kähler cone of is actually larger than the positive orthantg. For example in gCICY cases [49] with negative entries in the defining configuration matrix, the Kähler cone of is usually enlarged.. The following short exact sequence and its dual sequence
(5) | |||
can induce the long exact sequence in sheaf cohomology
(10) |
From the above sequence and Dolbeault’s theorem, . This equivalence has two parts. One comes from the restriction of Kähler moduli from to , and the other comes from the kernel part. If the kernel part is empty, we call the geometry favorable and .
Denote as the weighted homogeneous coordinates used to define inside the ambient space . Then the divisor defines a 4-cycle on and it is dual to a 2-cycle , i.e., . Due to the favorability description of polytopes and geometries, all such toric divisors are irreducible on the Calabi-Yau threefolds 333When the geometry is unfavorable, it contains divisor with disconnected pieces like , or others.. Hence, is generated by any basis constructed from , Now, the Calabi-Yau threefolds on this toric variety can be described by a polynomial in terms of the projective coordinates . Their torus equivalence classes reads
(11) |
where is the GLSM weighted matrix of rank , charged under .
The internal topology of these divisors play an important role in string compactification and moduli stabilization. The Hodge numbers of divisors are collectively denoted as
(12) |
For an irreducible divisor , the complex conjugation and Hodge star dualities constrain the independent Hodge numbers of down to only , and . This calculation will be performed by using the Koszul extension to the cohomCalg package [50, 51] with the HodgeDiamond module. When we encounter difficulties with cohomCalg in calculating Hodge number of a divisor, we first calculate the Euler number of the divisor on the hypersurface, and then determine and by calculating the trivial line bundle cohomology of the divisor [52]. Then, using the expression
(13) |
we can fix and get the full Hodge diamond for any divisor.
In our procedure for scanning divisor involutions, several types of divisors are of particular phenomenological interest:
Completely rigid divisors: The Hodge numbers of these divisors are characterized by
such that .
This group of divisors falls into two categories: del Pezzo surfaces, denoted by , , with and . These del Pezzo divisors are usually shrinkable depending on the diagonalizability of their intersection tensor. The shrinkable del Pezzo surface plays a crucial role to generate a non-perturbative superpotentail [53], which is important for KKLT [54] and LVS [11] construction. For those divisors with , they are always referred as “non-shrinkable rigid divisors”.
“Wilson” divisors: The Hodge numbers of these divisors are characterized by
with .
We will also further specify the “Exact-Wilson” divisor as with which are crucial for supporting poly-instanton inflation[55, 56, 57].
Deformation divisors: These divisors are characterized simply by .
-
•
A K3 divisor is a deformation divisor with Hodge numbers , which is used to generate fiber inflation [58].
-
•
A deformation divisor resembles a K3 divisor but includes an additional deformation degree of freedom, i.e., . We refer to this type of divisor as a type-1 special deformation divisor, denoted by .
-
•
In our scan, a type-2 special deformation divisor, denoted as , frequently appears with Hodge numbers .
2.2 Proper Involutions from Divisor Exchanges and Reflections
We expand our classification of involutions to cover both divisor exchange involutions and multi-divisor reflection involutions compared with previous work [1, 2]. For divisor exchange involutions, the map , which swaps two homogeneous coordinates in the ambient toric variety , induces a holomorphic involution on the corresponding toric divisor cohomology classes. On favorable manifolds, this involution restricts in a straightforward way to the Calabi-Yau hypersurface . We then define the even and odd parity eigendivisor classes . In general, a given geometry may allow multiple disjoint involutions . In this case, the full involution is given by .
Consequently, it is necessary to identify the proper involution that exchanges one or more pairs of divisors. These divisors should share the same topology but have different charge weights. We call such pairs of divisors as non-trivial identical divisors (NIDs) and it can be summarized as:
(14) |
Furthermore, such involution should satisfy the symmetry of Stanley-Reisner ideal and the symmetry of the linear ideal . The first symmetry ensures that the involution is an automorphism of , preserving the exceptional divisors from resolved singularities. The second symmetry ensures that the defining polynomial of the Calabi-Yau manifold remains homogeneous under the involution. Putting these two together, the involution should be a symmetry of the Chow-group:
(15) |
Due to the favorability condition on the Calabi-Yau threefold hypersurface we have
(16) |
and thus the toric triple intersection number defined in the Chow ring should also be required to be invariant under the involution . Only when an involution, exchanging pairs of NIDs, satisfying all these requirements described above, can be called a “proper” involution.
For reflection involutions on divisors, these are pulled back from the coordinate reflections on the ambient space :
(17) |
The situation is much simpler since it always satisfies the conditions for “proper” involutions. So we will explore possible single, double and triple divisor reflections for Calabi-Yau threefolds.
One crucial difference between divisor exchange and reflection involutions is the Hodge number splitting structure. The holomorphic condition requires that the pullback maps -forms on to -forms on . This is also true at the level of cohomology as the Dolbeault operator commutes with the pullback . This implies that in the orientifold limit, the dimensions of equivariant cohomology split as:
(18) |
The reflection involution acts trivially on the divisor classes and thus manifestly does not contribute to . However, the divisor exchange involution acts non-trivially on the divisor classes and thus contributes to the non-trivial odd cohomology . In order to determine whether the split, we should expand the Kähler form , which has even parity under and thus , in terms of those divisor classes. By defining even and odd parity eigendivisors , one can expand in the new divisor basis including . This leads to a specific form for and we can read off the Hodge number splitting of by the number of independent expansion coefficients.
Furthermore, we can determine the Hodge number splitting of in the -orbifold limit by Lefschetz fixed point theorem [59, 60]. In general the involution induced a fixed-point set . Due to the hodge number splitting eq.(18), we can define the Leftschetz number of as :
(19) |
is the splitted Betti numbers and is the Euler number of the fixed locus . There is a very useful theorem to calculate the Euler number of the -orbifold space:
(20) |
This number is the average of the Lefschetz number and the Euler number of . Then we can determine the as:
(21) |
where for reflections .
For a consistent orientifold, we must ensure both and as shown in eq.(1), where is the unique holomorphic (3,0)-form on . The holomorphic (3,0)-form can be constructed using the homogenous coordinates [61],
(22) |
where is the hypersurface polynomial and . The are the holomorphic vector fields that generate the gauge symmetries, determined in terms of the weights as follows:
(23) |
Since the hypersurface polynomial must be invariant under , the numerator of the integrand, denoted as , determines the parity. The parity of serves as a useful cross-check to verify if the correct O-plane system is obtained under the involution.
Next, we need to determine the fixed locus under the involutions and identify the corresponding types of O-planes. This process is more technical and will be introduced in the next subsection. For now, we assume the data of O-planes is known, allowing us to verify if the orientifold Calabi-Yau manifold supports a string vacuum. In this context, we consider a simple case where the -brane tadpole cancellation condition is satisfied by placing eight -branes on top of the -plane. Consequently, we only need to check the -brane tadpole condition, which is simplified to:
(24) |
with , , and , the number of D3-branes, -planes respectively. The D3-tadpole cancellation condition requires the total D3-brane charge of the seven-brane stacks and -planes to be an integer. If the involution passes this naive tadpole cancellation check, we will denote this geometry as a “naive orientifold Type IIB string vacuum”.
2.3 Putative Fixed Locus on Ambient Space
A smooth Calabi-Yau hypersurface is defined by the vanishing locus of a homogeneous polynomial . The polynomial can be expressed in terms of the known vertices of the Newton and dual polytopes, respectively
(25) |
where due to the favorability. In order for the Calabi-Yau hypersurface to be invariant under the involution , we must restrict to the subset of moduli space in which the defining polynomial is invariant. The first step is to fix the invariant polynomial such that in addition to . Mathematically, this could be done by a regulation of the coefficients of the original polynomial by:
(26) |
Clearly, imposing these restrictions requires some tuning in the complex structure moduli space and this tuning may introduce singularities into the invariant polynomial . For reflection involutions, the invariant polynomial is simply the sum of invariant monomials, where the coordinates involved in the reflections have even powers in total, i.e., .
Now we start to search for the set of points fixed under . We first locate the fixed-point set in the ambient space , and then restrict this set to the Calabi-Yau hypersurface . In the following we will first describe how to find the fixed point loci for divisor exchange involution and then treat the reflection cases as special ones.
For divisor exchange involution , following [2], we first construct the minimal generators generated by homogeneous polynomials that are (anti-)invariant under :
(27) |
where is the collection of unchanged coordinates under . The unexchanged coordinates in are known from our choice of involution. If the involution exchange pairs of coordinates, to find the non-trivial even and odd parity generators in and , we must consider not only , but all possible non-trivial sub-involutions given by the nonempty subsets of of size , with . Then we denote the new coordinate in as:
(28) |
where , is the number of definite parity polynomial generators, related to and , and could be smaller or bigger than . The condition for homogeneity, in terms of the columns and of the weight matrix is given by
(29) |
The second step is to perform a Segre embedding transforming the origianl coordinates into the new (anti-)invariant generators defined in eq.(28):
(30) |
which constructs a new weight matrix for . Now we have transform the original GLSM matrix to a matrix with , and . Then we can find out the naive fixed point loci in the new coordinates.
After Segre embedding, we have transformed the divisor exchange involution to the reflection . We can show that the corresponding coordinate exchange must force the codimension-1 subvariety defining polynomial to vanish so that is fixed. It also implies that the polynomial of every point-wise fixed codimension-1 subvariety can be generated by odd-parity generators in .
In general, we need to check whether the involution allows a subset of generators to vanish simultaneously. Meanwhile, the torus actions provide additional degrees of freedom for the generators to avoid being forced to zero. More precisely, the requirement for a locus to be fixed could be represented as forcing the related generators vanish simultaneously while leaving the others transform under symmetry as usual. This is achieved by checking each subset of generators whether the following system have a solution:
(31) |
where is the torus action and the right-hand side is equal to depending on whether the reflection involving the coordinates or not.
For reflection involution, there is no need for Segre embedding and we only need to consider a simpler system with :
(32) |
where and the right-hand side is equal to depending on whether include .
For both divisor exchange involutions and reflections, the set in is point-wise fixed on the ambient space if and only if the complex system equations eq.(31) and eq.(32) are solvable after imposing the related set in to vanish simultaneously. We call these subsets passed these check as putative fixed locus in the ambient space .
2.3.1 Calculation Complexity
There are two aspects of calculation complexities for determining the putative fixed locus on . One is the total number of subsets may be large. For divisor exchange involutions and reflections respectively, in principle there are as much as and subsets we need to solve the system eq.(31) and eq.(32). Another complexity comes from solving the system in complex field itself which we will describe below.
For divisor exchange involutions as in [2] and each of the putative fixed locus , in order to check whether the system eq.(31) is solvable, we define with so that the equation (31) is converted to:
(35) |
and further becomes:
(38) |
with and . If the new GLSM weight matrix contains negative entries for a given line-bundle corresponding to the coordinate , we need to check the solvability of eq.(38) by scanning in a range of
(41) |
where is a STEP function such that if and for . Thus the summation in the left-hand side of eq.(41) represents the sum of the negative entries, while the right-hand side represents the sum of the positive entries. If the entries of are all positive for a given line-bundle , the scanning range is simplified to:
(42) |
Thus, the problem of determining the solvability of the system transforms into determining the solvability of in eq.(38) for a given lattice point within the range defined by eq.(41) and eq.(42). If any solution is found for any lattice point , then the set of generators has a point-wise fixed locus.
However, this method will exhaust computational resources as increases. For example, if all the entries of are positive then the upper limit of points in the lattice that need to be tested can be estimated as:
(43) |
where indicates the number of elements in the index set excluding the index for . The total computational complexity we encounter is given by eq.(43), multiplied by the number of all possible fixed sets that need to be tested, which is .
The problem of computational complexity is the same for reflection involutions except there is no need for Segre embedding. Therefore, we change the GLSM weighted matrix in eq.(35 - 43) to and maintain the coordinate system as with and the number of index set excluding the coordinates involved in reflections. Consequently, the total complexity for reflection involutions becomes .
Combining these two complexities in determining putative fixed locus on , one may encounter limitations in computational power. For instance, consider a favorable Calabi-Yau with and single reflection, i.e., and . Even with a small average summation for all , we need to test up to lattice points for each of the possible fixed locus sets . This results in a total of lattice points to be tested. For an exchange involution switch two pairs of NIDs in the same geometry, consider again a small average summation for all with and . We need to test up to lattice points for each of the possible fixed locus sets , totaling points. For a geometry with and moderate average summation , exchanging five pairs of NIDs (which often results in and ) forces us to check up to lattice points in extreme cases, which is beyond current computational capabilities. Even though in many cases we don’t need to exhaust all the possible lattice points, this remains a significant challenge for general scans and we need to solve these problems..
2.3.2 New Algorithm
There are two directions to reduce the complexity of calculation. One is to reduce the scanning space of lattice points, the other is to reduce the number of the possible fixed loci needed to be test. For the first purpose, we initially solve the system in the real number field to identify some putative fixed loci and then search in the complex number field to check whether we miss some solutions. In this procedure, based on the fixed loci obtained in the real number field, we can significantly reduce the number of possible fixed loci we need to check.
Real number system
Solving the system in real number field first can extremely reduce the number of lattice points that need to bw checked. This new algorithm focuses on , i.e., eq.(31-32), rather than eq.(38) with focus on and with a larger parameter space. By concentrating on real values, we only need to consider two relevant value: , or equivalently, setting in to and . Consequently, the largest dimension of parameter space for solving the system is reduced to
(46) |
Now, let us consider the example with described above to see the extent of the parameter space reduction. Compared to or parameter spaces that need to be scanned for each of possible fixed loci set in the complex space, we only need to consider different values of at most. For the case with , we reduce the dimension of parameter space from to .
The advantage of the new approach is that it reduce the parameter space of solving system significantly. This reduction depends on the rank of through eq.(46), which is smaller than , rather than eq.(43) which is sensitive to the GLSM matrix and (which in most cases is larger than ). For reflection involutions, the only difference is that we treat with and instead.
However, this is not the end of the story. At this stage, some putative fixed loci may be missed if, for a given test set , there is no choice of that satisfy eq.(31-32), but solutions may exist for complex with . Therefore the next step is to search in complex number field to identify any missed fixed loci. Fortunately, the fixed loci computed in the real number system can be used to reduce the number of possible loci that need to be tested.
Before we go to the detail of how to reduce the possible fixed locus we need to check, we give a remark on the GLSM weighted matrix in our new algorithm. In [2], the entries of GLSM matrix are chosen to be non-negative by restricting the matrix to the positive orthant . This is achieved by intersecting two polyhedrons: the first is generated by lines specified by the elements of kernel of vectors defining the ambient space , and the second is generated by rays specified by the unit basis vectors. There are two shortages of this approach for determining the fix loci. First, with non-negative entries of , the summation shown in eq.(43) will also be large, contributing to the tardiness of fixed loci computation, making it a nearly impossible. Second, when intersecting two polyhedron, the parity of the the first polyhedron may change, affecting the results of finding fixed loci in the real system. Although such parity change in GLSM weighted matrix do not affect determination of the fixed loci, since we eventually check all solutions of eq.(31-32) in the complex number field, it is much more convenient to keep the parity throughout the entire calculation. Therefore in this paper we will start from the standard output of PALP [62] and SAGE [63] to get the GLSM weighted matrix with negative entries from the vertex in the dual-polytope as shown in the Kreuzer-Skarke list [32].
After utilizing our new algorithm to get the fixed loci in real number system, yielding the same result for single divisor reflection as in [36], we use these fixed loci to simplify the computation of the entire fixed locus on the Calabi-Yau threefold in complex space.
Reduce possible sets of
There are four classes of subsets of that can help reduce the number of possible fixed loci we need to test in the complex system.
-
1.
If a subset we get in real system is a fixed locus, then any set containing it would also be a fixed locus.
-
2.
Apply the Stanley-Reisner ideal to rule out subsets which should not vanish simultaneously.
-
3.
Apply the linear ideal to rule out some possible combinations of subsets to test the solvability.
-
4.
If a subset is not a fixed locus, then all subsets contained within will not be fixed loci.
The first three classes of sets are loci that allow us to rule out sets containing them when searching for new solutions in complex system, thus belonging to the same type. The last class of sets helps us rule out those sets contained within it. Let us first explain how these two types of special loci work and then estimate how effectively they can help reduce the complexity.
Consider the type one sets first. For known fixed loci in real system, they remian fixed loci in complex system, and any sets containing will also be fixed loci. This is because the real number solution of eq.(31-32) for loci is also the solution for loci within , as the later has fewer constraints in complex system. One can further reduce the test sets by using the SR ideal . The SR ideal describes sets that cannot vanish simultaneously on the ambient space, so there is no need to test sets contain elements of the SR ideal. The third class of sets applies to divisor exchange involutions, where new bases are introduced after Segre embedding. Here the minimal hypersurface generators are not independent, and their linear relations, encoded in the linear ideal , can be used to rule out some possible loci. For example, suppose there are new basis consist of old bases in such way: , then such linear relations can be used to rule out sets in which any combination of and are fixed, but is not fixed.
Finally, the scanning procedure can be further simplified by recognizing that if a set of points is not fixed, then neither is any set containing it. Thus, if the simultaneous vanishing of a set of generators is not fixed, neither is the vanishing of any subset. For example, if is an non-fixed locus, then all subsets contained in are also not fixed and don’t need to be tested. Therefore, we begin our scan with the largest set of generators and work our way down. Usually, the largest set we can choose has four generators, as their simultaneous vanishing defines a set of isolated points on the ambient space . However, if vanish on the invariant polynomial , we will relax the number of generators to five or more.
Efficiency of new algorithm
Now let us estimate how many sets can be ruled out when we solve the complex system. By considering the known fixed points from real space and the substantial number of SR ideal in a triangulation, a significant loci could be ruled out. Given an ambient space with coordinates, suppose we identify some fixed loci sets generated by three coordinates (polynomials in system) , or the SR-ideal of the triangulations contains , then the minimal number of loci ruled out by these three loci is:
(47) |
which is of the amount of all possible locus . If there is another set with other three coordinates which should be ruled out, then the total number of loci ruled out by such two sets is:
(48) |
We can generalise eq.(48) to fixed locus cases with three generators each, then the number of possible fixed sets we can rule out is nearly:
(49) |
For example, when , the percentage of fixed locus left we need to test approximately . In practice, the number of such sets is so large that we can rule out nearly all loci described by more than four divisors.
For a non-fixed sets described by a set of divisors, we can rule out all possible loci described by the subsets of those divisors. The possible fixed loci ruled out by this method has no overlap with those ruled out by the previous three class of subsets . To estimate how effectively the non-fixed locus can help us to remove unwanted loci, suppose there are non-fixed loci described by coordinates (polynormials) in the ambient space, the number of loci ruled out by these non-fixed locus is given by:
(50) |
where is the number of generators in the intersections of two and three non-fixed loci respectively. It is important to emphasize that loci ruled out by non-fixed sets are distinct from those ruled out by the first three classes of described above. In practice many loci are eliminated, significantly reducing the final number of possible fixed sets that need to be checked.
It should be pointed out that the order in which we compute the fixed point can influence the efficiency of our computation. In this work, we first rule out those possible fixed loci that contains the first type of sets, i.e., fixed loci identified in the real system, SR ideals and linear relation sets. Then we search for possible fixed points, starting from large sets and moving to small sets, leveraging the non-fixed loci to reduce the candidate sets. This approach greatly increased our computational speed.
We will show in Section 3 that combining these two methods, solving the real system to get fixed loci and then checking for new solutions in the complex field space after excluding the four classes of subsets , significantly enhances the efficiency of determining putative fixed loci. This combined approach improves the process by at least five orders of magnitude () for an example with moderate .
2.4 Fixed Loci on the Calabi-Yau Hypersurface
After identifying the putative fixed point loci on the ambient space as described in previous subsection, the next step is to verify whether each point-wise fixed locus lies on the Calabi-Yau hypersurface . The definition of Stanley-Reisner ideal can lead to a partitioning of into different patches {}. In each patch {}, the ideal can be trivially satisfied. For a given fixed set, we compute the dimension of the ideal generated by the symmetry part of Calabi-Yau polynomial and the fixed set generators in each sector for divisor exchange involutions. For reflection involution, we use the original coordinate system .
(51) |
If for all , then there is no solution for and so does not intersect . For each subset of that is not discarded, we repeat this calculation for the ideal with one fixed set generator , and then with two generators , etc. until when adding more generators to the ideal no longer changes the dimension for any region . Then, the intersection of these generators gives the final point-wise fixed locus on , with redundancies eliminated. Furthermore, shows that the fix locus do intersect with our invariant Calabi-Yau manifold .
Finally we check whether the invariant Calabi-Yau equation vanishes at a given locus . If does not vanish, an -plane corresponds to a codimension-3 point-wise fixed subvariety, an -plane corresponds to a codimension-2 subvariety, and an -plane corresponds to a codimension-1 subvariety. If does vanish at the fixed locus, the for a fixed point with complex co-dimension , is an -plane with [36].
In cases where vanishes at the fixed locus , it might seem puzzling how the intersection of four divisors can describe an -plane on , while the intersection of two divisors can described an -plane. This situation primarily arises in reflection involutions. In divisor exchange involutions, there may be redundancy among the polynomial generators of when consider the SR ideal generated by the original coordinates . Such redundant generators should be excluded in the expression of O-plane on hypersurface, as demonstrated in the next section. However, in reflection cases, there is no additional constraint from the SR ideal, as it initially starts with the system in the first place. For instance, consider an -plane. The set forces the invariant polynomial to vanish, , creating redundancy in describing the O-plane on . On the other hand, neither nor alone can make vanish automatically. Setting and either or does not force the other to vanish. Therefore we conclude that
(52) |
is not a complete intersection. Since omitting any of makes eq.(52) unsolvable while is trivially satisfied on , this -plane on is described by on the ambient space . Similarly, the -plane on is described by intersection of four divisors on . This inconvenient description arises because are the natural coordinates of the ambient space rather than of the Calabi-Yau manifold. Finally, suppose describes a co-dimension fixed point, the type of -plane can be summarized as [36]:
(55) |
Before we move on, let us give a final remark on the GLSM charge matrix again. In fact, when consider the complex system, linear row-operation would bring nothing different to fixed points set in our computation. Suppose there is a fixed locus , giving by the solution , on a favorable Calabi-Yau with GLSM matrix , we replace the m-th row of by linear row-operations such as sum of n-th and m-th row, i.e., , nothing will happen to the fixed locus except the associated solution of transformed accordingly as as shown below:
(56) |
Since is derived from the solution of eq.(32), which shares the same left-hand side (lhs) as eq.(56), it must also be solvable by replacing the lhs of eq.(32) with the right-hand side (rhs) of eq.(56). Therefore we can employ linear row-operations to simplify the GLSM wighted matrix or in the complex system.
2.5 Smoothness and Free Action
Smoothness is also an important feature for orientifold Calabi-Yau threefolds. The general expression of Calabi-Yau hypersurface in eq.(25) is smooth while in defining of , some coefficients of are changed, and then singularity may be introduced in . So we need to re-check the smoothness of invariant Calabi-Yau hypersurface defined by , which is important in determining whether an involution is a free action. We do this by checking if there is any solution to the condition that is not ruled out by the Stanley-Reisner ideal. In practice, this is done by setting up the ideals
(57) |
for each region allowed by the SR ideal, and computing the dimension. If for all , then the invariant Calabi-Yau hypersurface is smooth. However, such computation is usually time-consuming and hard to be accomplished. Instead, we computed the value of by eq.(21), and the Calabi-Yau threefold is claimed to be smooth if this number is an integer. Of course, this is only a necessary condition for smoothness.
A symmetry on hypersurface is said to be a free action, only when such symmetry deduce no O-planes and is smooth. In practice, there are two kinds of free actions. One is those found in [2] that there is a fixed locus on the ambient space that does not intersect with the Calabi-Yau manifold . However, this procedure does not guarantee the absence of a fixed locus on the ambient space . In fact, we have identified another type of free action where there is no fixed locus on the ambient space from the first place. By examining eq.(31) and eq.(32), we define a naive fix locus by checking whether a set of is solvable in the system. There exists a situation where these equations can be realized trivially without any basis being fixed, indicating no need for any set to be fixed on the ambient space . Thus, the involution is again a free action if the invariant hypersurface is smooth. This type of free action appears only in multiple reflection involutions and we will demonstrate the details with examples in the next section.
3 Concrete Construction
In this section, we demonstrate two explicit examples of finding and classifying the point-wise fixed sets of a Calabi-Yau orientifold threefolds, following the method described in the previous section.
3.1 Example A
We first choose an example with (Polyid: 545, Tri_id: 5) in our database (https://github.com/GroupofXG/anewcydatabase/). This example with Hodge number contains following vertex in the dual-polytope in the Kreuzer-Skarke list [32]:
(58) |
This example defines an MPCP desingularized ambient toric variety with GLSM weight matrix given by:
(59) |
with independent torus actions:
(60) |
and Stanley-Reisner ideal:
The Calabi-Yau manifold is defined by the anti-canonical hypersurface in the ambient space with polynomial degree . The Hodge numbers of the corresponding individual toric divisors are:
(62) |
3.1.1 Divisor Exchange Involutions
Now we first consider the proper divisor exchange involutions. All the detail expressions in the calculation for this example are presented in Appendix.C.2.
From eq.(62), there are three sets of divisors with the same topology, each containing three divisors, i.e., , exact-Wilson divisors and . Therefore we can define involutions to exchange these pairs of non-trival identical divisors (NIDs) in each set and combine them together:
(63) |
and their non-trivial compositions:
(64) |
Naively, we can consider 63 involutions of these NIDs: single pairs of divisors exchange involutions such as , double pairs of divisor exchange involutions such as and 27 triple pairs divisors involutions such as . However, not all of them are consistent with the Stanley-Reisner (SR) ideal and linear ideal. For instance, consider the single pair of divisor exchange . The SR ideal changes to include , which is inconsistent with eq.(3.1). Furthermore, this involution fails to keep the defining polynomial homogeneous without setting some coefficients to zero. For example the monomial in the original defining polynomial with degree changes to monomial with degree after the involution. This violates the linear ideal and alters the triple intersection number. In fact, all single pairs of divisor exchange involutions are ruled out by the requirement of proper involution described in Section 2.2. In the end, only one proper non-trivial identical divisor (NID) exchange involution remains:
(65) |
From eq.(62) we see that this is an exchange of one pair of dP6 divisors and two pairs of exact-Wilson divisors.
For a consistent orientifold, the volume form in eq.(22) must have a definite parity under . With the explicit expression for in terms of the as shown in Appendix.C.2, we can prove that under the the resulting form is precisely the negative of . Consequently, the volume form has odd parity under , i.e., . Therefore we would expect that any fixed points under this involution should correspond to or -planes, or both.
Using this information of weighted matrix and , we can determine the equation of the Calabi-Yau manifold. We get the general expression of Calabi-Yau manifold using eq.(25) and then restrict this expression to the invariant polynomial :
(66) | ||||
where are arbitrary coefficients.
The next step is to figure out the fixed loci of the involution in the ambient space and reduce them to O-plane structure on Calabi-Yau hypersurface . As described in previous section, for computational convenience, we need to perform a version of the Segre embedding to ensure that , thereby simplifying the overall computation. The projective coordinates , , , and are not affected by the involution and are therefore included in our list of (anti-)invariant polynomial generators:
(67) |
Let us define the permutations , and , such that , then we have several sub-involution such as and .
For , because we only consider non-trivial identical divisors (NIDs), and have different weights and cannot be combined into a homogenous binomial. Thus, we are left with the invariant monomial and . The same applies to , resulting in .
For , we can consider binomial generators of the form for like eq.(28). However, there is no solution for that satisfies eq.(29) to maintain the homogeneity of the polynomial. This is also the case for and . As a result, there is no contribution to in these cases.
For , we should consider binomial generators of the form:
(68) |
for . The homogeneity of this binomial is determined by the following condition on the weights
(69) |
The kernel is generated by the vector , so that our binomial generators are given by . This implies that and .
Therefore, all of the (anti-)invariant polynomial generations in are given by
(70) |
This coordinate transformation defines the Segre embedding with consistency condition and new weight matrix :
(71) |
where is the torus actions.
Search fixed locus in real system
As described in Section 2.3.2, we will first calculate the fixed locus in the real system where and then look for new fixed locus in the complex space with . Since solving system in real space is sensitive to the parity of the torus action, we should apply the new GLSM matrix eq.(71) to calculate the fixed loci although there are some redundancy. The involution can be rewritten simply as in the new coordinate system. Therefore we have transform the divisor exchange involution to reflection. Later, we will see that is a point-wise fixed, codimension-1 subvariety and it defines an -plane on the orientifold Calabi-Yau .
Here we show the parity of the new coordinates under the exchange involution in terms of the seven torus actions :
(72) | |||
It has been shown in Section 2.3 that whether there is a fix locus on depends on the solution of system eq.(31). Therefore we need to find a solution for the choice of such that coordinates not in the possible fixed set exhibit precise parity under the involution eq.(3.1). Since point is chosen to be fixed, i.e., , the parity constraint are trivially satisfied without any restriction on . Then we must use the seven actions to neutralize the odd parity of while leaving the other 9 coordinates invariant. This constraint is defined by the toric equivalence class:
(73) |
where for . It is obvious that eq.(3.1) does have solutions and indeed is a naive fix point locus in the ambient space .
By taking advantage of the toric degrees of freedom, there may be additional non-trivial fixed loci beyond . Thus, we need to check whether any subset of the generators can neutralize the odd parity of , and become fixed in the process. As mentioned earlier, if the simultaneous vanishing locus of a set of generators is not fixed, then neither is the vanishing of any subset which contained in this non-fixed point set in ambient space. We therefore begin our scan with the largest set of polynomial generators and work our way down.
Consider the subset . In order for the locus to be fixed, we must use the actions to neutralize the odd parity of while leaving everything else invariant (as is the only non-zero generator with negative parity). This constraint is defined by the toric equivalence class followed by eq.(31):
(74) |
Obviously, is one of the solutions. Then we may test whether a subset of , which contained in , is still a fixed point. This is an important step which may change the type of the corresponding O-plane. For example, if we assume the fix locus is , we have to add an additional constrain from eq.(3.1), resulting in , which will lead to a contradiction to the solution of system eq.(3.1). The same will happen to other subsets of and we conclude the naive fix locus on the ambient space is indeed itself.
By now those fix-loci are calculated on the ambient space , and we must check whether the fixed sets intersect the Calabi-Yau hypersurface transversally. Here we take as an example, fixed point can be written in terms of the original projective coordinates . If we make these substitutions in , it reduces to
(75) |
Consider the subset where , part of the SR ideal forbids . So the only way for is to require , which is . Hence, implies due to the SR constraints, and is redundant when restricting the fixed set to . The reduced set is then , which is an -plane, consistent with our parity of the holomorphic three-forms under the involutions .
In practice, we combine the transversality and SR ideal checks by performing Groebner basis calculations to check the dimension of the ideal as in eq.(51) for a region allowed by the Stanley-Reisner ideal.
(76) |
If the dimension , and removing any generator from changes this value, then we know that intersects transversally and is allowed by the SR ideal. In this case, given the ideal as eq.(3.1), there are 24 sectors we need to check for a single putative fixed locus . The detail of these sectors is collected in the Appendix.C.1
Finally, we can determine the type of the fixed loci by examining the number of intersecting codimension-1 subvarieties in each fixed set from eq.(55). Specifically, and have complex codimensions 1 and 3 in respectively. This implies that is an -plane, while and other computed fixed loci are -planes. After scanning all possible combination of in real space, besides the one-generator fixed locus and the three-generators fixed locus , we identify other fixed points: . These fixed point sets intersect the respective -invariant hypersurface so that we get a number of and -planes as follows:
Type of O-planes | Fixed Loci on | Homotopy Class |
---|---|---|
O7 | ||
O3 | ||
O3 | ||
O3 |
Therefore we get four fixed locus on the Calabi-Yau hypersurface . The next step is to check whether we miss some fixed locus in complex system eq.(31) since there could be loci which are solvable in complex space but not in real space. So we need to re-search the fixed loci in the complex space, and the previously computed results are very helpful in this process, as they allow us to exclude loci that containing these fixed loci sets.
Search fixed locus in complex system
The process for searching fixed loci in complex space is similar to what we did before in real space. Here, we illustrate how the two types of four classes sets discussed in Section 2.3 assist in identifying fixed loci. The first type of sets comprises three classes of sets that can be excluded before solving the system. Any subsets of generators containing them are also excluded in the scanning in the first place as shown in Table.2. The second type, the non-fixed point sets, includes sets for which any subsets are excluded, as shown in Table.3.
SR Ideal | Fixed Loci | Generators Linear Relations |
. | , , . | , , , , , . |
Non-fixed loci |
---|
Given the ten polynomial generators shown in eq.(71), the original number of possible fixed locus we need to test is . By applying the first type of sets to exclude the subsets of , we only need to test 20 loci, all of which turn out to be non-fixed loci shown in Table.3 and need to be excluded. Therefore the results of this example in complex space are the same with Table.1 in real space.
Now we can summarize how efficiently our new algorithm speeds up the calculation. Initially, the complexity of solving the system for each possible fix locus required scanning a maximum of lattice points in the complex number field, as indicated by eq.(43). This has been reduced to scanning points in real number field. By using the methods described above to reduce the possible fixed loci, we only need to check 20 sets instead to find new solutions in the complex system. Consequently, we have effectively reduced the complexity of finding fixed loci in the complex system by five order of magnitude ().
The structure of O-plane system can contributes to the D3-tadpole through the calculation of relevant topological quantites. The Euler characteristic for -plane is , while the number of -planes are determined by the triple intersection number:
(77) |
So there are in total 9 -planes. Using eq.(24) the contribution to the -brane tadpole is
(78) |
Thus and this is a “naive orientifold Type IIB string vacua”.
The involution considered in eq.(65) will result in the Hodge number splitting on the orientifold Calabi-Yau. We choose a basis in given by . In this example the involution acts on the divisor classes as:
(79) |
thus all three of the exchanges in this example are of non-shrinkable rigid divisors. This case is favorable, and we can thus expand the Kähler form in terms of these divisor classes , with . The constraint that the Kähler form must only have components in implies
(80) |
As in previous examples, we rewrite and in terms of our chosen basis using the linear ideal. Performing the algebra, and plugging the relations into eq.(80), we get:
(81) |
Hence and . By using Lefschetz fixed point theorem, we can further get the splitting of under the involutions:
(82) |
and we collect the results of Hodge number splitting as:
(83) |
Finally we check whether the locus is smooth by computing the dimension as eq.(57) for each disjoint region allowed by the Stanley-Reisner ideal. We find that the maximum dimension is , so that is indeed smooth. Since the manifold is smooth, there is no ambiguity in defining and eq.(83) gives the true Hodge number splitting.
3.1.2 Multi-divisor Reflection Involutions
There are many possible multi-divisor reflection involutions in the same example. We constrain ourselves to maximal triple divisor reflections, resulting in at most cases to consider. Due to time constraints, we will consider single reflections and randomly choose double divisor reflections and triple divisor reflections to obtain the orientifold Calabi-Yau.
For reflection involutions, there are no constraints from SR ideal and linear ideal, and no change of the triple intersection form, except for a sign. The primary objective is to determine the fixed loci. The algorithm for determining fixed loci is similar to divisor exchange involutions since after the Segre embedding, we have already transform the divisor exchange to reflection in the new coordinates. Here, we present a simple example of triple divisor reflection, and summarize the results for other reflections in Table.19. Here we choose one triple reflection as:
(84) |
The expression of invariant Calabi-Yau hypersurface could easily be obtained by requiring the sum of the power exponent of reflected divisors is an even number.
with random complex structures. Here we show the parity of the original coordinates under the reflection in terms of the seven independent actions based on matrix eq.(59):
(85) |
Since we have shown the process in the exchange involution case above, here we would omit some detail and list the fixed loci on that are solvable in the real number system when , i.e., four two-divisors fixed loci and one quartet-divisors fixed point:
(86) |
Those fixed loci describe -planes and -planes since the invariant polynomial vanish trivially on these locus as shown in eq.(55) and [36].
To find complex solutions for all possible fixed loci sets, we test from larger to smaller sets, demonstrating how known fixed points in the real number filed, SR ideal sets and non-fixed loci sets can expedite the time-consuming process of solving eq.(32). We first consider the largest possible fixed locus in the ambient space described by vanishing all the 11 divisors and then put the three restrictions into consideration. For instance, the possible fixed locus is ruled out by considering the SR ideal eq.(3.1). Since is part of , it can be skipped in our scanning. Similarly, all the 10-divisors sets, 9-divisors sets and so on could be ruled out in this way by SR ideal until we meet 4-divisors sets. There is one quartet-divisors fixed locus, denoted as , which remain after applying the restriction of SR ideal. Thus we only need to test and find it indeed has a solution in the complex system eq.(32), revealing a new putative fixed locus in the ambient space .
When comes to 3-divisors sets, beside those locus ruled out by fixed locus and SR ideal, we found two non-fixed locus as and . So their subsets are all non-fixed points and we do not need to test them.
Repeat this process and we will get the fixed locus in complex space, besides those fixed locus we found in real system eq.(86), there are additional new putative fixed locus in the ambient space which do have complex solution :
(87) | |||
However, all of these five putative fixed loci do not intersect with the invariant Calabi-Yau hypersurface defined by since according to eq.(51). Finally, only the five fixed loci on the Calabi-Yau hypersurface described in eq.(86) remain. As discussed in Section 2.4, these fixed loci such as can not be further reduced as we did in previous subsection for quartet-divisors fixed points in the divisor exchange involution. Moreover, vanishes trivially on these fixed loci, for , indicating that the -planes on the Calabi-Yau are described by the intersection of four and two divisors in the ambient space respectively. Their contribution to D3-tadpole cancellation is calculated accordingly.
Type of O-planes | Fixed Loci on | Contribution to |
---|---|---|
O7 | ||
O7 | ||
O7 | ||
O7 | ||
O3 |
Using eq.(24) the contribution to the -brane tadpole locally is
(88) |
Thus which indicate that it is also an “naive orientifold Type IIB string vacua”. The Hodge number splitting is followed:
(89) |
Since are integer, the invariant hypersurface is supposed to be smooth.
3.1.3 New Type of Free Action
There are two type of free actions. One is that it do have a fixed locus on the ambient space , but not intersect with Calabi-Yau hypersurface as described in [2]. The other one is a new type of free action that it does not exist fixed locus on in the beginning. Here we give an example of the new type of free action. Consider the reflection as:
(90) |
Here we show the parity of the coordinates under the reflection eq.(90) in terms of the seven independent actions from weighted matrix eq.(59):
(91) |
However, those transformation are trivially satisfied by setting without forcing any locus to vanish. This indicates there is no fixed loci sets on the corresponding ambient space and we conclude that such reflections is a free action on Calabi-Yau hypersurface . The Hodge number splitting under the double divisor reflections is:
(92) |
By calculating the dimension of ideal eq.(57) in all patches, we confirmed that is smooth and thus is indeed a free action.
3.2 Example B
In previous example, it may give people one illusion that there is no new fixed locus on the Calabi-Yau manifold when solving the complex system. This is not always the case. It is well known that certain systems may lack solutions in the real number field but possess solutions in the complex number field. Therefore, we may miss some fixed loci if we only restrict our analysis in the real system.
Here we give a simple example with () to show the differences. The GLSM charge matrix of this example is:
(94) |
and Stanley-Reisner ideal:
(95) |
The Calabi-Yau manifold is defined by the anti-canonical hypersurface in the ambient space with polynomial degree . The Hodge numbers of the corresponding individual toric divisors are:
(96) |
There is no proper NIDs exchange involution and we only need to consider reflections. For simplicity, we consider the reflection as:
(97) |
Such reflection gives the parity of coordinates followed by the weighted matrix eq.(94) as:
(98) | |||||
By analyzing the fixed locus in the real system as described in previous examples, we can identify the presence of two -planes:
(99) | |||||
If we directly take these results as the final determination of the fixed locus on , we reproduce the findings of [36]. Consequently, this orientifold Calabi-Yau threefold can support a naive orientifold Type IIB string vacuum,
Type of O-planes | Fixed Loci on | Contribution to |
O7 | ||
O7 |
Because the local D3-tadpole cancellation condition can be satisfied:
(100) |
The Hodge number splitting follows:
(101) |
However, new fixed loci do exist on the Calabi-Yau threefolds when we extend the solution space to the complex field . To identify these loci, consider the potential fixed locus by setting these coordinates to zero simultaneously while keep the other coordinates invariant under parity. Then eq.(32) reads:
(102) |
Clearly, there are no solutions of in eq.(102). However, eq.(102) do have solutions once we expand the solution space to the complex field , as required by definition of toric variety. Further analysis confirms that this locus intersect with . Specifically, vanishes trivially on such that , indicating is an -plane followed from eq.(55):
Type of O-planes | Fixed Loci on | Contribution to |
---|---|---|
O7 | ||
O7 | ||
O3 |
Therefore the D3-tadpole cancelation condition can not be satisfied:
(103) |
and the Hodge number split as
(104) |
So we do not have a string vacua under such reflection.
4 Scanning Results
The calculation tools we applied for preparing the initial data including PALP [62] for desingularize the polytopes, SAGE [63] and CYTools [64] for triangulations and SINGULAR [65] for singularity check.
First, a systematic scan was performed on Kreuzer-Skarke database [32] up to . We analyzed all those polytopes and found favorable polytopes, from which MPCP triangulations are founded. The number of triangulations we considered is one order magnitude larger than those considered in our previous work [2]. Second, a limited scan was performed up to . We choose the favorable polytope for each considered in [36], followed with polytopes and MPCP triangulations. These results are listed in Table.7 and Table.8.
According to the definition of orientifold projection eq.(1), each of the proper involutions will lead to an orientifold Calabi-Yau threefold. As a result, we will classify various properties of orientifold Calabi-Yau threefolds in the orbifold limit according to different kinds of divisor exchange involutions and multi-divisor reflections.
2 | 3 | 4 | 5 | 6 | 7 | Total | |
---|---|---|---|---|---|---|---|
# of Favorable Polytopes | 36 | 243 | 1185 | 4897 | 16608 | 48221 | 71190 |
# of Favorable Triangulations | 48 | 525 | 5330 | 56714 | 584281 | 5990333 | 6637231 |
8 | 9 | 10 | 11 | 12 | Total | |
---|---|---|---|---|---|---|
# of Favorable Polytopes | 1486 | 1581 | 1554 | 1621 | 1692 | 7934 |
# of Favorable Triangulations | 6847 | 9833 | 12185 | 15638 | 14980 | 59483 |
4.1 Divisor Exchange Involutions
4.1.1 Classification of Proper Involution
For divisor exchange involutions, we have identified the proper involution of the so called non-trivial identical divisors (NIDs). These proper involutions must satisfy the symmetry requirements of the Stanley-Reisner ideal and the linear ideal . This entails that the involution should be an automorphism of the ambient space , preserving the homogeneity of the polynomials. Additionally, the triple intersection form should remain invariant under the proper involutions. In Table.9, we provide a count of polytopes and triangulations that contain proper NIDs exchange involutions. Specifically, out of the favorable polytopes contain the proper NIDs exchange involutions for , whereas only out of favorable polytopes contain the proper NIDs exchange involutions for . The low percentage () of polytopes containing such proper NIDs exchange involutions for higher is attributed to the fact that not all triangulations for a given polytope where exhaustively considered for higher . A similar trend is observed when counting the number of triangulations containing proper NIDs exchange involutions: out of for and out of for . This indicates that polytopes or triangulations with proper NIDs exchange involutions are rare when increases, which is a promising signal for machine learning to provide predictions. The total number of proper NIDs exchange involutions is for and for respectively. These numbers align closely with the number of triangulations containing proper NIDs exchange involutions, suggesting that for large , each triangulation may contain only one proper involution. Since each of the proper NIDs exchange involution defines an orientifold Calabi-Yau, we conclude with a total of orientifolds.
Each proper NIDs exchange involutions may exchange several pairs of topologically distinguished divisors. we enumerate the number of different pairs of NIDs for each of the involution, as shown in Table.10 and Table.11. Only divisors with specific topological characteristics are counted, hence the total number of divisors does not match the number of involutions. Each row starts with the divisor type, indicating that the involution includes that particular type of divisor. For example, if an involution exchanges both Wilson divisors and K3 divisors, the row labeled “K3 and Wilson” will be incremented by one, corresponding to the respective . It is noteworthy that it is very rare for an involution to simultaneously exchange del Pezzo, K3, and exact-Wilson divisors for small .
2 | 3 | 4 | 5 | 6 | 7 | Total | |
# of Polytopes
contains proper involutions |
2 | 28 | 171 | 712 | 2172 | 5579 | 8664 |
# of Triangulations contains proper involutions | 2 | 36 | 410 | 3372 | 21566 | 122381 | 147767 |
# of proper involutions | 12 | 61 | 548 | 4085 | 23805 | 127733 | 156244 |
8 | 9 | 10 | 11 | 12 | Total | ||
# of Polytopes
contains proper Involutions |
38 | 40 | 34 | 22 | 24 | 158 | |
# of Triangulations contains proper Involutions | 80 | 112 | 79 | 85 | 79 | 435 | |
# of proper Involutions | 86 | 122 | 82 | 86 | 89 | 465 |
Number of pairs of Non-trivial Identical Divisors (NIDs) under involutions | |||||||
2 | 3 | 4 | 5 | 6 | 7 | Total | |
# of Involutions | 12 | 61 | 548 | 4085 | 23805 | 127733 | 156244 |
del Pezzo surface , | 0 | 12 | 238 | 2192 | 13550 | 82174 | 98166 |
Rigid surface , | 6 | 24 | 360 | 3381 | 20498 | 110385 | 134654 |
(exact-)Wilson surface | 0 | 7 (0) | 44 (7) | 176 (80) | 744 (411) | 3965 (1944) | 4936 (2442) |
K3 surface | 0 | 33 | 170 | 481 | 1821 | 6528 | 9033 |
SD1 surface | 0 | 5 | 41 | 407 | 2185 | 9977 | 12615 |
SD2 surface | 6 | 6 | 33 | 109 | 459 | 1343 | 1956 |
del Pezzo and K3 | 0 | 7 | 84 | 391 | 1741 | 6472 | 8695 |
K3 and (exact-)Wilson | 0 | 4 (0) | 4 (4) | 16 (5) | 70 (4) | 98 (35) | 192 (48) |
del Pezzo and (exact-)Wilson | 0 | 3 | 38 (5) | 176 (80) | 744 (411) | 3965 (1944) | 4926 (2440) |
del Pezzo, K3 and (exact-)Wilson | 0 | 0 | 2 (2) | 21 (5) | 74 (4) | 133 (35) | 230 (46) |
Number of pairs of Non-trivial Identical Divisors (NIDs) under involutions | ||||||
8 | 9 | 10 | 11 | 12 | Total | |
# of Involutions | 86 | 122 | 82 | 86 | 89 | 465 |
del Pezzo surface , | 62 | 72 | 54 | 70 | 87 | 345 |
(exact-)Wilson surface | 24 (20) | 29 (19) | 15 (11) | 13 (9) | 50 (28) | 131 (87) |
K3 surface | 16 | 4 | 12 | 4 | 7 | 43 |
SD1 surface | 1 | 0 | 3 | 4 | 8 | 16 |
SD2 surface | 0 | 0 | 0 | 1 | 2 | 3 |
del Pezzo and K3 | 16 | 4 | 12 | 4 | 7 | 43 |
K3 and (exact-)Wilson | 3 (2) | 1 (0) | 1 (0) | 0 (0) | 7 (1) | 12 (3) |
del Pezzo and (exact-)Wilson | 24 (20) | 29 (19) | 15 (11) | 13 (9) | 50 (28) | 131 (87) |
del Pezzo, K3 and (exact-)Wilson | 3 (2) | 1 (0) | 1 (0) | 0 (0) | 7 (1) | 12 (3) |
4.1.2 Classification of O-planes and String Landscape
In addition to determining the proper NIDs exchange involution of the toric variety, we have computed all fixed point sets of the involution to identify the emergence of O-planes. These planes can potentially resolve anomalies if they have appropriate configurations. Through this process, we have successfully identified all O-planes on the Calabi-Yau hypersurface . The fixed sets allowed by a proper NIDs exchange involution include individual , , or -planes, or combinations of and -planes. In every case, the parity of the volume form under is in agreement with the orientifold planes found by our algorithm, i.e., for , , and cases, and for configurations. As shown in Table.12, for , there are out of involutions that contain both and -planes. For , out of involutions contain both and -planes. If there is no O-plane and the invariant Calabi-Yau hypersurface is smooth, we identify such involution as a free action. In our scan, there are only triangulations with that contain such free actions for proper NIDs exchange involution. It shows that under the proper involutions one end up with majority the -planes system and most of them ( out of orientifold CY) will further admit a naive Type IIB string vacua. Here we only consider the string vacua at the case of plane using the assumption that eight -branes are placing on the top of -plane just like [2], and D3-tadpole condition is satisfied if the total charge of is an integer. After consider the D3-tadpole cancellation, the number of naive orientifold Type IIB string vacua is summarized in Table.13.
For these naive orientifold Type IIB string vacua with -system, the distribution of is shown in Fig. 1. The data indicates that most of the involutions result in orientifold Calabi-Yau threefolds with around in our scan. The smallest and largest values are and respectively.
Classification of O-plane fixed point locus | |||||||
2 | 3 | 4 | 5 | 6 | 7 | Total | |
# of Involutions | 12 | 61 | 548 | 4085 | 23805 | 127733 | 156244 |
Only O3 | 0 | 0 | 31 | 74 | 359 | 727 | 1191 |
Only O5 | 12 | 22 | 173 | 1006 | 3283 | 10921 | 15417 |
Only O7 | 0 | 30 | 122 | 432 | 2121 | 13679 | 16384 |
O3 and O7 | 0 | 9 | 222 | 2573 | 18027 | 102406 | 123237 |
Free Action | 0 | 0 | 0 | 0 | 15 | 0 | 15 |
8 | 9 | 10 | 11 | 12 | Total | ||
# of Involutions | 86 | 122 | 82 | 86 | 89 | 465 | |
Only O3 | 4 | 0 | 1 | 0 | 0 | 5 | |
Only O5 | 17 | 32 | 10 | 5 | 12 | 76 | |
Only O7 | 13 | 33 | 16 | 20 | 17 | 99 | |
O3 and O7 | 52 | 57 | 55 | 61 | 60 | 285 | |
Free Action | 0 | 0 | 0 | 0 | 0 | 0 |
Naive Orientifold Type IIB String Vacua with -system | |||||||
2 | 3 | 4 | 5 | 6 | 7 | Total | |
# of Involutions | 12 | 61 | 548 | 4085 | 23805 | 127733 | 156244 |
Contains O3 & O7 | 0 | 7 | 195 | 2259 | 14396 | 73325 | 90182 |
Contains Only O3 | 0 | 0 | 31 | 74 | 359 | 725 | 1189 |
Contains Only O7 | 0 | 30 | 117 | 381 | 1867 | 11742 | 14137 |
Total String Vacua | 0 | 37 | 343 | 2714 | 16637 | 85792 | 105538 |
8 | 9 | 10 | 11 | 12 | Total | ||
# of Involutions | 86 | 122 | 82 | 86 | 89 | 465 | |
Contains O3 & O7 | 29 | 34 | 30 | 14 | 21 | 128 | |
Contains Only O3 | 4 | 0 | 1 | 0 | 0 | 5 | |
Contains Only O7 | 12 | 33 | 16 | 15 | 11 | 87 | |
Total String Vacua | 45 | 67 | 47 | 29 | 32 | 220 |
4.1.3 Hodge Number Splitting
Finally, we discuss the decomposition of the Kähler moduli space into odd and even parity equivariant cohomology . The constraint that the Kähler form must be invariant ensures that we can always determine the dimension of the even parity space. By deduction, we can then ascertain the dimension of the odd party space , which, as discussed, must be non-trivial in NIDs exchange involutions. The results of this Kähler moduli space splitting are presented in Table 14. The largest observed is for and for . By utilizing the Lefschetz fixed point theorem as indicated in eq.(21), we can further determine the splitting of in the orbifold limit. The value of may be altered by a possible conifold resolution, while remains robust. In the case of divisor reflection, and therefore we do not present the hodge number splitting for this scenario.
Hodge numbers splitting | ||||||||
2 | 3 | 4 | 5 | 6 | 7 | Total | ||
# of Involution | 12 | 61 | 548 | 4085 | 23805 | 127733 | 156244 | |
# of | 1 | 12 | 61 | 495 | 3683 | 21019 | 109175 | 134445 |
2 | – | – | 53 | 402 | 2588 | 17106 | 20149 | |
3 | – | – | – | – | 198 | 1452 | 1650 | |
8 | 9 | 10 | 11 | 12 | Total | |||
# of Involution | 86 | 122 | 82 | 86 | 89 | 465 | ||
# of | 1 | 48 | 76 | 53 | 49 | 32 | 258 | |
2 | 22 | 26 | 12 | 18 | 12 | 90 | ||
3 | 14 | 7 | 10 | 6 | 37 | 74 | ||
4 | 2 | 13 | 4 | 13 | 4 | 36 | ||
5 | – | – | 3 | – | 2 | 5 | ||
6 | – | – | – | – | 2 | 2 |
4.2 Reflections
There are two new observations regarding reflection involutions. Firstly, we must verify whether vanishes trivially on the fixed locus and subsequently apply eq.(55) to determine the type of O-plane. Secondly, we identify a new type of free action, as described in Section 3.1.3, which occurs in reflections with more than one divisor.
For each of the triangulation of polytope with , we computed all of the single divisor reflections, double divisor reflections and triple divisor reflections. For cases with , we computed all single reflections and randomly selected 15 double reflections and 15 triple reflections, as shown in Table.15. For cases, we compute all single reflections and randomly selected 15 triple reflections, classifying the type of O-plane as presented in Table.16. When considering the D3-tadpole cancelation condition, the naive Orientifold Type IIB string vacua with system are compiled in Table.17 and Table.18. It is interesting to note that for single reflections, we obtain the same fixed locus as [36] when restricting to real number solutions.
There are numerous free actions for multi-reflections. Many of them are of the new type, characterized by the absence of a fixed locus in the ambient space initially. We denote the previous type of free action as ”type one,” indicating those that do have a fixed locus on but do not intersect with the Calabi-Yau manifold .
For the naive orientifold Type IIB string vacua with an -system, the distribution of is shown in Fig. 2. Most involutions result in orientifold Calabi-Yau threefolds with around in our scan. The smallest and largest are and respectively. This result aligns with our discussion in [14], where we used the Lefschetz fixed point theorem to demonstrate that the D3-tadpole can be bounded above by for the Kreuzer-Skarke database.
Classification of O-plane fixed point locus | |||||||
2 | 3 | 4 | 5 | 6 | 7 | Total | |
Single reflection | |||||||
# of Reflection | 184 | 3019 | 39251 | 488352 | 5659818 | 64203360 | 70393984 |
O3 | 2 | 55 | 776 | 10437 | 100804 | 760675 | 872749 |
O7 | 64 | 871 | 6350 | 49243 | 356844 | 2658260 | 3071632 |
O3 and O7 | 118 | 2093 | 32125 | 428672 | 5202170 | 60784425 | 66449603 |
Free Action | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Double divisor reflection | |||||||
# of Reflection | 270 | 6066 | 94555 | 1347475 | 17653586 | 70850383 | 89952335 |
O5 | 219 | 4503 | 69013 | 945594 | 11830587 | 44782225 | 57632141 |
Free Action
(type one) |
22 | 515 | 7481 | 108385 | 1428245 | 5527373 (403) | 7072021 (403) |
Triple divisors reflection | |||||||
# of Reflections | 418 | 12328 | 250141 | 4332469 | 65640277 | 88047584 | 158283217 |
O3 | 96 | 2413 | 36515 | 449416 | 4335075 | 3296422 | 8119937 |
O7 | 45 | 1360 | 17180 | 209827 | 2172172 | 2113777 | 4514361 |
O3 and O7 | 261 | 8090 | 188076 | 3523818 | 56670874 | 78995670 | 139386789 |
Free Action
(type one) |
16 | 465 | 8370 | 149408 (4) | 2462156 (395) | 3641715 (1008) | 6262130 (1407) |
Classification of O-plane fixed point locus | ||||||
8 | 9 | 10 | 11 | 12 | Total | |
Single reflection | ||||||
# of Reflection | 78930 | 123420 | 153858 | 210130 | 230431 | 796769 |
O3 | 107 | 58 | 21 | 76 | 37 | 299 |
O7 | 7663 | 9732 | 9112 | 8650 | 9074 | 44231 |
O3 and O7 | 71160 | 113630 | 144725 | 201404 | 221320 | 752239 |
Triple divisor reflections | ||||||
# of Reflection | 98067 | 141432 | 155496 | 196174 | 211884 | 803053 |
O3 | 714 | 657 | 249 | 338 | 403 | 2361 |
O7 | 4792 | 5905 | 4903 | 4179 | 4525 | 24304 |
O3 and O7 | 87526 | 127736 | 141764 | 180780 | 196656 | 734462 |
Free Action
(type one) |
5035 (480) | 7134 (1117) | 8580 (1499) | 10877 (2820) | 10300 (2811) | 41926 (8727) |
Naive Orientifold Type IIB String Vacua with -system | |||||||
2 | 3 | 4 | 5 | 6 | 7 | Total | |
Single reflection | |||||||
# of Reflection | 137 | 2052 | 24605 | 275905 | 2905604 | 30797733 | 34006036 |
O3 | 0 | 3 | 49 | 771 | 7403 | 54261 | 62487 |
O7 | 52 | 688 | 4893 | 35970 | 257887 | 1887150 | 2186640 |
O3 and O7 | 85 | 1361 | 19663 | 239164 | 2640314 | 28856322 | 31756909 |
Triple divisor reflection | |||||||
# of Reflection | 271 | 6815 | 125209 | 1942434 | 26823480 | 34289949 | 63188158 |
O3 | 35 | 762 | 9142 | 93922 | 764601 | 611384 | 1479846 |
O7 | 42 | 1088 | 12592 | 143910 | 1406394 | 1288578 | 2852604 |
O3 and O7 | 178 | 4500 | 95105 | 1555194 | 22190329 | 28748272 | 52593578 |
Free Action
(type one) |
16 | 465 | 8370 | 149408 (4) | 2462156 (395) | 3641715 (1008) | 6262130 (1407) |
Naive Orientifold Type IIB String Vacua with -system | ||||||
8 | 9 | 10 | 11 | 12 | Total | |
Single reflection | ||||||
# of Reflection | 25611 | 36638 | 43540 | 56870 | 67709 | 230368 |
O3 | 0 | 0 | 6 | 0 | 8 | 14 |
O7 | 3930 | 4669 | 5167 | 4665 | 5463 | 23894 |
O3 and O7 | 21681 | 31969 | 38367 | 52205 | 62238 | 206460 |
Triple divisor reflection | ||||||
# of Reflection | 29395 | 38854 | 40651 | 49782 | 56389 | 215071 |
O3 | 455 | 449 | 100 | 71 | 304 | 1379 |
O7 | 2153 | 2478 | 2439 | 1836 | 2058 | 10964 |
O3 and O7 | 21752 | 28793 | 29532 | 36998 | 43727 | 160802 |
Free Action
(type one) |
5035 (480) | 7134 (1117) | 8580 (1499) | 10877 (2820) | 10300 (2811) | 41926 (8727) |
5 Conclusions and Outlook
In this paper, we significantly broaden our scope on orientifold Calabi-Yau threefolds in three key areas. Firstly, we expand the scale of our constructions by three orders of magnitude, increasing from to orientifold Calabi-Yau threefolds compared to previous work [2]. We extend our construction of orientifold Calabi-Yau threefolds up to in the Calabi-Yau database constructed from the Kreuzer-Skarke list [32]. For , we expand our analysis to hypersurfaces in all possible maximal projective crepant partial (MPCP) desingularizations. For , we randomly choose some favorable polytopes for each Hodge number as in [36]. The number of toric triangulations we analyze increases by one order of magnitude, from [2] to . We expand our classification to cover both divisor exchange involutions and multi-divisor reflection involutions, which include proper NIDs exchange involutions and different types of reflections. Since each of these involutions results in an orientifold Calabi-Yau manifolds, combined those two types of involutions, we constructed a total of orientifold Calabi-Yau threefolds in our new database (https://github.com/GroupofXG/anewcydatabase/), which is three orders of magnitude () larger than the database in [2], where only exchange involution for small was considered. We will continue to update our website regularly with new results not included in our current database.
Secondly, we have significantly improved the efficiency of our new algorithm for calculating putative fixed loci under divisor exchanges and reflection involutions. This enhancement enables us to identify the positions of various types of O-planes, which are crucial for D-brane constructions. The upgraded algorithm reduces the calculation complexity required to determine fixed loci by more than five orders of magnitude in certain simple examples, even for small values such as. We categorize freely acting involutions on Calabi-Yau threefolds into two types: first, those without a fixed locus in the ambient space under the involutions, and second, those with a fixed locus in the ambient space that does not intersect with the Calabi-Yau threefold. In orientifold Calabi-Yau threefolds featuring the -system, we proceed to classify the so-called “naive orientifold Type IIB string vacua” by considering the D3-tadpole cancellation condition when placing eight -branes on top of -plane.
Thirdly, we clarify some ambiguities in the construction of orientifold Calabi-Yau threefolds. One such ambiguity is in determining the type of O-plane using eq.(55). We should be more careful to accurately determine their contribution to the D3-tadpole condition, as described in Section 2.4. Additionally, when solving the system eq.(31-32) to determine the putative fixed loci, we must ensure that we do not overlook any solutions in the complex system for .
The systematic calculations presented in this paper pave the way for extending these analyses beyond our current computational limit into the region of the Kreuzer-Skarke database. Given the extensive size of the orientifold Calabi-Yau database, it is natural to anticipate that in addition to the formal progress, supervised machine learning techniques will be necessary to understand the landscape. In [34], we utilized machine learning technique to classify the polytopes which can result in the orientifold Calabi-Yau with divisor exchange involutions. That study demonstrated that high accuracy could be achieved by training on just 10% of the data for higher . Since we have only calculated part of the polytopes for , it would be great for us to predict the desired polytopes using machine learning techniques on the limited data available and validate these predictions.
In addition to the Kreuzer-Skarke and CICY databases, it has been discovered that relaxing the condition for non-negative entries in the configuration or weighted matrix leads to a new class of Calabi-Yau manifolds, known as “generalized Complete Intersection Calabi-Yau” (gCICYs) [49, 66], along with their toric variations [67, 68]. We have also employed machine learning techniques to generate more gCICY [69]. investigating involutive or more general quotient symmetries of these new manifolds could yield further intriguing insights.
In the context of swampland conjecture, fundamental doubts about the the existence of de-Sitter space have triggered intense discussion. The KKLT scenario [54] has withstood attacks related to the stability of the anti-D3 uplift. Especially, in [70] we asserted that a singular-bulk problem arises because one is forced to glue a large throat into a fairly small Calabi-Yau [71] to get a de-Sitter space. On the other hand, people have explored a landscape of de-Sitter vacua in the large complex structure region of mirror Calabi-Yau manifolds with all order corrections [17]. Various other corrections, such as war** correction, loop and correction in the ordinary Type IIB orientifold compactifications was also studied. For example, in the Large Volume Scenario (LVS), considering the war** correction imposes a parameter constraint that provides a lower bound of the number of tadpole that the compactified geoemtry must satisfy [13, 14, 16, 15]. Combined with the tadpole conjecture which gives an upper bound on the number of tadpole [12], this creates a window specifying the types of oreintifold Calabi-Yau compactifications that are feasible. It would be very interesting to investigate the constraints on orientifold Calabi-Yau threefolds imposed by these and other corrections.
Acknowledgments
We would like to thank Wei Cui, Andreas Schachner, Pramod Shukla, Juntao Wang, Yinan Wang, Hao Zou for helpful discussions and correspondence. This work was supported in part by the NSFC under grant numbers 12375065.
Appendix A Fixed locus for reflections of Example A
Table.19 shows the fixed locus we get from the single, double and triple reflections for Example A in Section 3.1.2. The type of O-plane is determined by eq.(55) depending on whether vanish trivially on the fixed sets. These results also collected in Appendix.C.2.2 in the format on the website (https://github.com/GroupofXG/anewcydatabase/). Notice there are three free actions in these reflections we considered.
Reflection | Fixed Locus of O-plane on |
---|---|
Free Action | |
Free Action | |
Free Action | |
Appendix B Pseudocode description of new algorithm
Appendix C Database Format
C.1 Terminology
The entry for each involution will contain the following terminologes444 In this appendix we will describe the format of the data in the website (https://github.com/GroupofXG/anewcydatabase/). For the coordinate system in the website, the index of “x” goes from 0, i.e., “x0”. The coordinate system are labeled from “z1”. :
C.1.1 Divisor exchange involutions
-
•
Polyid: The index numbers labeling the polytope in the database.
-
•
Tri_id: The index of triangulation in a given polytope.
-
•
BP_not_in_F: Boundary points not interior to facets of a polytope, corresponding to the vertex in the dual-polytope of the toric ambient space.
-
•
F_Intsec: Quartet intersection number on the ambient space .
-
•
triple_inters: Triple intersection number on the Calabi-Yau threefolds .
-
•
INVOL: The involution considered in this example.
-
•
KK_data: The geometric data of this polytope mentioned in Kreuzer-Skarke database.
-
•
Linear_I: Linear ideal of the polytope.
-
•
OPLANES: The locus and type of O-plane, followed by their contribution to D3-tadpole locally labeled as “value”.
{ type of O-plane: [[Fixed Locus_1], number of O-plane_1,...] ... "tadpole_cancel": True or False, "value": contribution to D3-tadpole "[h12p,h12n,smooth]" : [h21+, h21-, whether P_sym is smooth] }
-
•
P_symm1: The polynomail expression of invariant hypersurface under the involution.
-
•
Polys: Generators of for exchange involutions.
-
•
Q_parity: The parity of the holomorhpic three form under involution.
-
•
Q_str: The expression of Q.
-
•
SR_list: The Stanley-Reisner ideal.
-
•
Sectors: Different patches of the polytope associated to the SR-ideal.
-
•
Wmatrix2: GLSM weighted matrix together with the degree of hypersurface.
-
•
divisor_indenp: Independent divisors chosen to be the basis of divisor class.
-
•
divisors_Hodge: The Hodge numbers of each divisors.
-
•
Hodge_split_p_n: The value of .
-
•
rwmat_for_y_notreduced: The new weight matrix after Segre embedding.
C.1.2 Reflections
The terminologes for reflections are almost the same as divisor exchange involution, except the single, double and triple reflections are labeled as invol1, invol2 and invol3. The new type of free action described in Section 2.5 for multi-reflections are labeled as “total fixed”. The format is as follows:
[Reflection]: type of O-plane, contribution to D3-tadpole, Fixed Locus
-
•
invol1: Type of O-plane, its contribution to D3-tadpole and the fixed locus for single reflection.
-
•
invol2: Type of O-plane, its contribution to D3-tadpole and the fixed locus for double reflection.
-
•
invol3: Type of O-plane, its contribution to D3-tadpole and the fixed locus for triple reflection.
C.2 Entry for Example A
C.2.1 Divisor exchange involution
-
•
polyid: 545
-
•
tri_id: 5
-
•
BP_not_in_F:
[ [-2, -3, -2, -2], [0, 1, 0, 0], [0, 1, 0, 2], [0, 1, 2, 0], [1, 0, 0, 0], [-1, -1, -1, -1], [-1, -1, -1, 0], [-1, -1, 0, -1], [0, 1, 0, 1], [0, 1, 1, 0], [0, 1, 1, 1] ]
-
•
F_Intsec:
[ [[[2, 0, 0, 0, 0, 0, 0], [0, -2, 0, 0, 0, 0, 0], [0, 0, -2, 0, 0, 0, 0], [0, 0, 0, -2, 0, 0, 0], [0, 0, 0, 0, -2, 0, 0], [0, 0, 0, 0, 0, -2, 0], [0, 0, 0, 0, 0, 0, -2]],..., [[-2, 0, -2, 0, -2, 0, 0], [0, 0, 0, 0, 0, 0, 0], [-2, 0, -2, 0, -2, 0, 0], [0, 0, 0, 0, 0, 0, 0], [-2, 0, -2, 0, -2, 0, 0], [0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, -2]]] ]
-
•
triple_inters:
{(1, 5, 7): 3, (1, 6, 7): 3, (1, 5, 6): 3, (1, 5, 8): 3, (1, 6, 8): 3, ... , (0, 0, 5): 54, (0, 0, 2): 27, (0, 0, 3): 27, (0, 0, 4): 27, (0, 0, 0): 162}
-
•
INVOL:
[[7, 9], [6, 8], [0, 1]]
-
•
KK_data:
4 5 M:12 5 N:40 5 H:37,7 [60]
-
•
Linear_I:
["1/2*z5 - 1/2*z6 - 1/2*z7 - 1/2*z8", "1/2*z5 - 1/2*z6 - 1/2*z9 - 1/2*z10", "1/2*z5 - 1/2*z7 - 1/2*z9 - 1/2*z11", "1/2*z5 - 1/2*z8 - 1/2*z10 - 1/2*z11", "z5", "z6", "z7", "z8", "z9", "z10", "z11"]
-
•
OPLANES:
{ "O3": [ [ "[x3, x4, x10]", 3.0 ], [ "[x2, x4, x10]", 3.0 ], [ "[x3, x5, x0^2*x6*x7 + x1^2*x8*x9]", 3.0 ] ], "O7": [ [ "[x0^2*x6*x7 - x1^2*x8*x9]", 1 ] ], "tadpole_cancel": true, "value": 36.0, "[h12p, h12n, smooth]": "[12.0, 25.0, True]" }
-
•
P_symm1:
x0^6*x5^3*x6^3*x7^3 + x0^4*x1^2*x5^3*x6^2*x7^2*x8*x9 + x0^2*x1^4*x5^3*x6*x7*x8^2*x9^2 + x1^6*x5^3*x8^3*x9^3 + ... + x2^2*x4^2*x6*x8*x10 + x3^2*x4^2*x7*x9*x10 + x4^3
-
•
Polys:
[x7*x9, x6*x8, x0*x1, x0^2*x6*x7 + x1^2*x8*x9, x0^2*x6*x7 - x1^2*x8*x9]
-
•
Q_parity: -1
-
•
Q_str:
+(1 z1z2z3z4z5z6z7 dz8dz9dz10dz11) +(1 z1z2z3z4z5z6z8 dz7dz9dz10dz11) -(1 z1z2z3z4z5z6z9 dz7dz8dz10dz11) -(1 z1z2z3z4z5z6z10 dz7dz8dz9dz11) ... +(4 z4z6z7z8z9z10z11 dz1dz2dz3dz5) -(8 z5z6z7z8z9z10z11 dz1dz2dz3dz4)
-
•
SR_list:
[ [z1, z2], [z1, z3], [z1, z4], [z1, z9], [z1, z10], [z1, z11], [z2, z3], [z2, z4], [z2, z7], [z2, z8], [z2, z11], [z3, z4], [z3, z8], [z3, z10], [z4, z5, z6, z7], [z4, z5, z6, z9], [z5, z6, z7, z8], [z5, z6, z9, z10], [z5, z6, z11], [z7, z9], [z7, z10], [z8, z9], [z8, z10], [z8, z11], [z10, z11] ]
-
•
Sectors:
[ [x0 - 1, x1 - 1, x2 - 1, x3 - 1, x7 - 1, x9 - 1, x10 - 1], [x0 - 1, x1 - 1, x2 - 1, x4 - 1, x5 - 1, x7 - 1, x9 - 1], [x0 - 1, x1 - 1, x2 - 1, x4 - 1, x6 - 1, x7 - 1, x10 - 1], ... [x1 - 1, x2 - 1, x3 - 1, x5 - 1, x8 - 1, x9 - 1, x10 - 1], [x1 - 1, x2 - 1, x3 - 1, x6 - 1, x8 - 1, x9 - 1, x10 - 1], [x1 - 1, x2 - 1, x3 - 1, x7 - 1, x8 - 1, x9 - 1, x10 - 1] ]
-
•
Wmatrix2:
[ [-6 1 -1 0 0 2 0 0 0 2 2 0] [ 0 0 1 1 0 0 0 0 0 -2 0 0] [ 0 0 1 0 1 0 0 0 0 0 -2 0] [-3 0 -1 0 0 1 1 0 0 1 1 0] [-3 0 0 0 0 1 0 1 0 0 1 0] [-3 0 0 0 0 1 0 0 1 1 0 0] [ 0 0 1 0 0 0 0 0 0 -1 -1 1] ]
-
•
divisor_indenp:
[’z5’, ’z6’, ’z7’, ’z8’, ’z9’, ’z10’, ’z11’]
-
•
divisors_Hodge:
[ ’[1, 0, 0, 7]’, ’[1, 0, 0, 7]’, ’[1, 0, 0, 7]’, ’[1, 0, 0, 16]’, ’[1, 0, 4, 44]’, ’[1, 1, 0, 11]’, ’[1, 1, 0, 11]’, ’[1, 1, 0, 2]’, ’[1, 1, 0, 11]’, ’[1, 1, 0, 2]’, ’[1, 1, 0, 2]’ ]
-
•
Hodge_split_p_n:
[5, 2]
-
•
rwmat_for_y_notreduced:
[ [ 2 0 1 0 2 0 1 2 2 0] [ 0 -2 1 0 0 0 1 0 0 0] [-2 2 -1 1 0 0 0 0 0 0] [ 1 -1 1 0 1 1 0 0 0 0] [ 1 1 0 0 1 0 0 1 1 0] [ 1 1 0 0 1 0 0 1 1 0] [-1 1 -1 0 0 0 0 0 0 1] ]
C.2.2 Reflection
-
•
invol1:
[0]: O3: 3 [x5, x6, x8], O7: 9 [x0], O7: 9 [x1], O7: 9 [x2], O7: 18 [x3] [1]: O3: 3 [x5, x6, x8], O7: 9 [x1], O7: [x0], O7: 9 [x2], O7: 18 [x3] ... [10]: O3: 3 [x0, x6, x7], O3: 3 [x1, x8, x9], O3: 3 [x3, x6, x7], O3: 3 [x3, x8, x9], O3: 1 [x2, x4, x6, x8], O7: 7 [x4, x5]
-
•
invol2:
[6, 8]: O5: [x6, x8], O5: [x0, x5], O5: [x1, x5], O5: [x3, x5], O5: [x2, x4, x10], O5: [x3, x4, x10], O5: [x4, x6, x7], O5: [x4, x8, x9] [0, 1]: [[x0], [x1], [x2], [x3], [x4], [x5], [x6], [x7], [x8], [x9], [x10]] total fixed ... [1, 6]: O5: [x0, x6], O5: [x2, x6], O5: [x3, x6], O5: [x5, x8], O5: [x1, x4, x9], O5: [x3, x4, x9], O5: [x4, x5, x7], O5: [x4, x8, x10]
-
•
invol3:
[3, 4, 5]: O3: 3 [x0, x4, x5], O3: 3 [x1, x4, x5], O7: 3 [x2, x10], O7: 3 [x3, x10], O7: 4 [x6, x7], O7: 4 [x8, x9] [2, 7, 8]: O3: 1 [x4, x5, x6, x8], O7: 3 [x0, x4], O7: 3 [x1, x4], O7: 3 [x2, x4], O7: 6 [x3, x4] ... [0, 4, 6]: O3: 3 [x0, x4, x6], O3: 3 [x2, x4, x6], O7: 3 [x1, x9], O7: 3 [x3, x9], O7: 4 [x5, x7], O7: 4 [x8, x10]
References
- [1] X. Gao and P. Shukla, “On Classifying the Divisor Involutions in Calabi-Yau Threefolds,” JHEP 11 (2013) 170, arXiv:1307.1139 [hep-th].
- [2] R. Altman, J. Carifio, X. Gao, and B. D. Nelson, “Orientifold Calabi-Yau threefolds with divisor involutions and string landscape,” JHEP 03 (2022) 087, arXiv:2111.03078 [hep-th].
- [3] B. S. Acharya, M. Aganagic, K. Hori, and C. Vafa, “Orientifolds, mirror symmetry and superpotentials,” arXiv:hep-th/0202208 [hep-th].
- [4] I. Brunner and K. Hori, “Orientifolds and mirror symmetry,” JHEP 11 (2004) 005, arXiv:hep-th/0303135 [hep-th].
- [5] C. Vafa, “The String landscape and the swampland,” arXiv:hep-th/0509212.
- [6] N. Arkani-Hamed, L. Motl, A. Nicolis, and C. Vafa, “The String landscape, black holes and gravity as the weakest force,” JHEP 06 (2007) 060, arXiv:hep-th/0601001.
- [7] T. D. Brennan, F. Carta, and C. Vafa, “The String Landscape, the Swampland, and the Missing Corner,” PoS TASI2017 (2017) 015, arXiv:1711.00864 [hep-th].
- [8] G. Obied, H. Ooguri, L. Spodyneiko, and C. Vafa, “De Sitter Space and the Swampland,” arXiv:1806.08362 [hep-th].
- [9] E. Palti, “The Swampland: Introduction and Review,” Fortsch. Phys. 67 no. 6, (2019) 1900037, arXiv:1903.06239 [hep-th].
- [10] M. van Beest, J. Calderón-Infante, D. Mirfendereski, and I. Valenzuela, “Lectures on the Swampland Program in String Compactifications,” Phys. Rept. 989 (2022) 1–50, arXiv:2102.01111 [hep-th].
- [11] V. Balasubramanian, P. Berglund, J. P. Conlon, and F. Quevedo, “Systematics of moduli stabilisation in Calabi-Yau flux compactifications,” JHEP 0503 (2005) 007, arXiv:hep-th/0502058 [hep-th].
- [12] I. Bena, J. Blåbäck, M. Graña, and S. Lüst, “The tadpole problem,” JHEP 11 (2021) 223, arXiv:2010.10519 [hep-th].
- [13] D. Junghans, “LVS de Sitter vacua are probably in the swampland,” Nucl. Phys. B 990 (2023) 116179, arXiv:2201.03572 [hep-th].
- [14] X. Gao, A. Hebecker, S. Schreyer, and G. Venken, “The LVS parametric tadpole constraint,” JHEP 07 (2022) 056, arXiv:2202.04087 [hep-th].
- [15] D. Junghans, “Topological constraints in the LARGE-volume scenario,” JHEP 08 (2022) 226, arXiv:2205.02856 [hep-th].
- [16] X. Gao, A. Hebecker, S. Schreyer, and G. Venken, “Loops, local corrections and war** in the LVS and other type IIB models,” JHEP 09 (2022) 091, arXiv:2204.06009 [hep-th].
- [17] L. McAllister, J. Moritz, R. Nally, and A. Schachner, “Candidate de Sitter Vacua,” arXiv:2406.13751 [hep-th].
- [18] R. Blumenhagen, S. Moster, and E. Plauschinn, “Moduli Stabilisation versus Chirality for MSSM like Type IIB Orientifolds,” JHEP 0801 (2008) 058, arXiv:0711.3389 [hep-th].
- [19] T. W. Grimm, M. Kerstan, E. Palti, and T. Weigand, “On Fluxed Instantons and Moduli Stabilisation in IIB Orientifolds and F-theory,” Phys.Rev. D84 (2011) 066001, arXiv:1105.3193 [hep-th].
- [20] A. Hebecker, S. C. Kraus, D. Lust, S. Steinfurt, and T. Weigand, “Fluxbrane Inflation,” Nucl. Phys. B 854 (2012) 509–551, arXiv:1104.5016 [hep-th].
- [21] M. Kerstan and T. Weigand, “Fluxed M5-instantons in F-theory,” Nucl. Phys. B864 (2012) 597–639, arXiv:1205.4720 [hep-th].
- [22] M. Wijnholt, “Large volume perspective on branes at singularities,” Adv. Theor. Math. Phys. 7 no. 6, (2003) 1117–1153, arXiv:hep-th/0212021.
- [23] M. Cicoli, C. Mayrhofer, and R. Valandro, “Moduli Stabilisation for Chiral Global Models,” JHEP 1202 (2012) 062, arXiv:1110.3333 [hep-th].
- [24] V. Balasubramanian, P. Berglund, V. Braun, and I. Garcia-Etxebarria, “Global embeddings for branes at toric singularities,” JHEP 1210 (2012) 132, arXiv:1201.5379 [hep-th].
- [25] M. Cicoli, S. Krippendorf, C. Mayrhofer, F. Quevedo, and R. Valandro, “D-Branes at del Pezzo Singularities: Global Embedding and Moduli Stabilisation,” JHEP 1209 (2012) 019, arXiv:1206.5237 [hep-th].
- [26] M. Cicoli, F. Muia, and P. Shukla, “Global Embedding of Fibre Inflation Models,” JHEP 11 (2016) 182, arXiv:1611.04612 [hep-th].
- [27] M. Cicoli, I. Garcìa-Etxebarria, C. Mayrhofer, F. Quevedo, P. Shukla, and R. Valandro, “Global Orientifolded Quivers with Inflation,” JHEP 11 (2017) 134, arXiv:1706.06128 [hep-th].
- [28] M. Cicoli, D. Ciupke, V. A. Diaz, V. Guidetti, F. Muia, and P. Shukla, “Chiral Global Embedding of Fibre Inflation Models,” JHEP 11 (2017) 207, arXiv:1709.01518 [hep-th].
- [29] M. Cicoli, I. n. G. Etxebarria, F. Quevedo, A. Schachner, P. Shukla, and R. Valandro, “The Standard Model quiver in de Sitter string compactifications,” JHEP 08 (2021) 109, arXiv:2106.11964 [hep-th].
- [30] S. Bera, D. Chakraborty, G. K. Leontaris, and P. Shukla, “Global Embedding of Fibre Inflation in Perturbative LVS,” arXiv:2406.01694 [hep-th].
- [31] S. Bera, D. Chakraborty, G. K. Leontaris, and P. Shukla, “Inflating in perturbative LVS: Global Embedding and Robustness,” arXiv:2405.06738 [hep-th].
- [32] M. Kreuzer and H. Skarke, “Complete classification of reflexive polyhedra in four-dimensions,” Adv.Theor.Math.Phys. 4 (2002) 1209–1230, arXiv:hep-th/0002240 [hep-th].
- [33] R. Altman, J. Gray, Y.-H. He, V. Jejjala, and B. D. Nelson, “A Calabi-Yau Database: Threefolds Constructed from the Kreuzer-Skarke List,” JHEP 02 (2015) 158, arXiv:1411.1418 [hep-th].
- [34] X. Gao and H. Zou, “Applying machine learning to the Calabi-Yau orientifolds with string vacua,” Phys. Rev. D 105 no. 4, (2022) 046017, arXiv:2112.04950 [hep-th].
- [35] J. Moritz, “Orientifolding Kreuzer-Skarke,” arXiv:2305.06363 [hep-th].
- [36] C. Crinò, F. Quevedo, A. Schachner, and R. Valandro, “A database of Calabi-Yau orientifolds and the size of D3-tadpoles,” JHEP 08 (2022) 050, arXiv:2204.13115 [hep-th].
- [37] A. Braun, A. Lukas, and C. Sun, “Discrete Symmetries of Calabi–Yau Hypersurfaces in Toric Four-Folds,” Commun. Math. Phys. 360 no. 3, (2018) 935–984, arXiv:1704.07812 [hep-th].
- [38] P. Candelas, A. Dale, C. Lutken, and R. Schimmrigk, “Complete Intersection Calabi-Yau Manifolds,” Nucl. Phys. B 298 (1988) 493.
- [39] F. Carta, J. Moritz, and A. Westphal, “A landscape of orientifold vacua,” JHEP 05 (2020) 107, arXiv:2003.04902 [hep-th].
- [40] L. B. Anderson, X. Gao, J. Gray, and S.-J. Lee, “Fibrations in CICY Threefolds,” JHEP 10 (2017) 077, arXiv:1708.07907 [hep-th].
- [41] V. Braun, “On Free Quotients of Complete Intersection Calabi-Yau Manifolds,” JHEP 04 (2011) 005, arXiv:1003.3235 [hep-th].
- [42] P. Candelas, A. Constantin, and C. Mishra, “Hodge Numbers for CICYs with Symmetries of Order Divisible by 4,” Fortsch. Phys. 64 no. 6-7, (2016) 463–509, arXiv:1511.01103 [hep-th].
- [43] A. Constantin, J. Gray, and A. Lukas, “Hodge Numbers for All CICY Quotients,” JHEP 01 (2017) 001, arXiv:1607.01830 [hep-th].
- [44] J. Gray and J. Wang, “Free quotients of favorable Calabi-Yau manifolds,” JHEP 07 (2022) 116, arXiv:2112.12683 [hep-th].
- [45] M. Demirtas, L. McAllister, and A. Rios-Tascon, “Bounding the Kreuzer-Skarke Landscape,” Fortsch. Phys. 68 (2020) 2000086, arXiv:2008.01730 [hep-th].
- [46] V. V. Batyrev, “Dual Polyhedra and Mirror Symmetry for Calabi-Yau Hypersurfaces in Toric Varieties,” J.Algebraic Geom. 3 (1993) no.3 493–535, alg-geom/9310003.
- [47] E. Witten, “Phases of N=2 theories in two-dimensions,” Nucl. Phys. B 403 (1993) 159–222, arXiv:hep-th/9301042.
- [48] K. Oguiso and T.Peternell., “Calabi-Yau threefolds with positive second Chern class,” Communications in Analysis and Geometry 6 (1998) 153–172.
- [49] L. B. Anderson, F. Apruzzi, X. Gao, J. Gray, and S.-J. Lee, “A new construction of Calabi–Yau manifolds: Generalized CICYs,” Nucl. Phys. B 906 (2016) 441–496, arXiv:1507.03235 [hep-th].
- [50] R. Blumenhagen, B. Jurke, T. Rahn, and H. Roschy, “Cohomology of Line Bundles: A Computational Algorithm,” J. Math. Phys. 51 (2010) 103525, arXiv:1003.5217 [hep-th].
- [51] “cohomCalg package.” Download link: Http://wwwth.mppmu.mpg.de/members/blumenha/cohomcalg/, 2010. High-performance line bundle cohomology computation based on [50].
- [52] A. P. Braun, C. Long, L. McAllister, M. Stillman, and B. Sung, “The Hodge Numbers of Divisors of Calabi-Yau Threefold Hypersurfaces,” arXiv:1712.04946 [hep-th].
- [53] E. Witten, “Nonperturbative superpotentials in string theory,” Nucl. Phys. B 474 (1996) 343–360, arXiv:hep-th/9604030.
- [54] S. Kachru, R. Kallosh, A. Linde, and S. P. Trivedi, “De sitter vacua in string theory,” Phys. Rev. D68 (2003) 046005, hep-th/0301240.
- [55] M. Cicoli, F. G. Pedro, and G. Tasinato, “Poly-instanton Inflation,” JCAP 12 (2011) 022, arXiv:1110.6182 [hep-th].
- [56] R. Blumenhagen, X. Gao, T. Rahn, and P. Shukla, “A Note on Poly-Instanton Effects in Type IIB Orientifolds on Calabi-Yau Threefolds,” JHEP 06 (2012) 162, arXiv:1205.2485 [hep-th].
- [57] R. Blumenhagen, X. Gao, T. Rahn, and P. Shukla, “Moduli Stabilization and Inflationary Cosmology with Poly-Instantons in Type IIB Orientifolds,” JHEP 11 (2012) 101, arXiv:1208.1160 [hep-th].
- [58] M. Cicoli, C. P. Burgess, and F. Quevedo, “Fibre Inflation: Observable Gravity Waves from IIB String Compactifications,” JCAP 03 (2009) 013, arXiv:0808.0691 [hep-th].
- [59] P. Shanahan, The Atiyah-Singer Index Theorem: An Introduction. Springer-Verlag Berlin Heidelberg, 1978.
- [60] R. Blumenhagen, A. Collinucci, and B. Jurke, “On Instanton Effects in F-theory,” JHEP 08 (2010) 079, arXiv:1002.1894 [hep-th].
- [61] F. Denef, “Les Houches Lectures on Constructing String Vacua,” Les Houches 87 (2008) 483–610, arXiv:0803.1194 [hep-th].
- [62] M. Kreuzer and H. Skarke, “PALP: A Package for analyzing lattice polytopes with applications to toric geometry,” Comput. Phys. Commun. 157 (2004) 87–106, arXiv:math/0204356.
- [63] W. Stein et al., Sage Mathematics Software (Version 9.1). The Sage Development Team, 2020. http://www.sagemath.org.
- [64] M. Demirtas, A. Rios-Tascon, and L. McAllister, “CYTools: A Software Package for Analyzing Calabi-Yau Manifolds,” arXiv:2211.03823 [hep-th].
- [65] W. Decker, G.-M. Greuel, G. Pfister, and H. Schönemann, “Singular 4-3-0 — A computer algebra system for polynomial computations.” http://www.singular.uni-kl.de, 2022.
- [66] L. B. Anderson, F. Apruzzi, X. Gao, J. Gray, and S.-J. Lee, “Instanton superpotentials, Calabi-Yau geometry, and fibrations,” Phys. Rev. D 93 no. 8, (2016) 086001, arXiv:1511.05188 [hep-th].
- [67] P. Berglund and T. Hübsch, “On Calabi–Yau generalized complete intersections from Hirzebruch varieties and novel -fibrations,” Adv. Theor. Math. Phys. 22 (2018) 261–303, arXiv:1606.07420 [hep-th].
- [68] P. Berglund and T. Hubsch, “A Generalized Construction of Calabi-Yau Models and Mirror Symmetry,” SciPost Phys. 4 no. 2, (2018) 009, arXiv:1611.10300 [hep-th].
- [69] W. Cui, X. Gao, and J. Wang, “Machine learning on generalized complete intersection Calabi-Yau manifolds,” Phys. Rev. D 107 no. 8, (2023) 086004, arXiv:2209.10157 [hep-th].
- [70] X. Gao, A. Hebecker, and D. Junghans, “Control issues of KKLT,” Fortsch. Phys. 68 (2020) 2000089, arXiv:2009.03914 [hep-th].
- [71] F. Carta, J. Moritz, and A. Westphal, “Gaugino condensation and small uplifts in KKLT,” JHEP 08 (2019) 141, arXiv:1902.01412 [hep-th].