Calabi-Yau Geometries: Algorithms, Databases, and Physics

We determine the discrete gauge symmetries that arise in F-theory compactifications on examples of genus-one fibered Calabi-Yau 4-folds without a section. We construct genus-one fibered Calabi-Yau 4-folds using Fano manifolds, cyclic 3-fold covers of Fano 4-folds, and Segre embeddings of products of projective spaces. Discrete $\mathbb{Z}_5$, $\mathbb{Z}_4$, $\mathbb{Z}_3$ and $\mathbb{Z}_2$ symmetries arise in these constructions. We introduce a general method to obtain mult...

The title is self-explanatory.

Non-simply connected Calabi-Yau threefolds play a central role in the study of string compactifications. Such manifolds are usually described by quotienting a simply connected Calabi-Yau variety by a freely acting discrete symmetry. For the Calabi-Yau threefolds described as complete intersections in products of projective spaces, a classification of such symmetries descending from linear actions on the ambient spaces of the varieties has been given in the literature. However...

Calabi-Yau links are specific $S^1$-fibrations over Calabi-Yau manifolds, when the link is 7-dimensional they exhibit both Sasakian and G2 structures. In this invited contribution to the DANGER proceedings, previous work exhaustively computing Calabi-Yau links and selected topological properties is summarised. Machine learning of these properties inspires new conjectures about their computation, as well as the respective Gr\"obner bases.

At special loci in their moduli spaces, Calabi-Yau manifolds are endowed with discrete symmetries. Over the years, such spaces have been intensely studied and have found a variety of important applications. As string compactifications they are phenomenologically favored, and considerably simplify many important calculations. Mathematically, they provided the framework for the first construction of mirror manifolds, and the resulting rational curve counts. Thus, it is of signi...

We study the web of dualities relating various enumerative invariants, notably Gromov-Witten invariants and invariants that arise in topological gauge theory. In particular, we study Donaldson-Thomas gauge theory and its reductions to D=4 and D=2 which are relevant to the local theory of surfaces in Calabi-Yau threefolds.

The classification of 4D reflexive polytopes by Kreuzer and Skarke allows for a systematic construction of Calabi-Yau hypersurfaces as fine, regular, star triangulations (FRSTs). Until now, the vastness of this geometric landscape remains largely unexplored. In this paper, we construct Calabi-Yau orientifolds from holomorphic reflection involutions of such hypersurfaces with Hodge numbers $h^{1,1}\leq 12$. In particular, we compute orientifold configurations for all favourabl...

In this article, we present a classification for the divisor topologies of the projective complete intersection Calabi-Yau (pCICY) 3-folds realized as hypersurfaces in the product of complex projective spaces. There are 7890 such pCICYs of which 7820 are favorable, and can be subsequently useful for phenomenological purposes. To our surprise we find that the whole pCICY database results in only 11 (so-called coordinate) divisors $(D)$ of distinct topology and we classify thos...

We use machine learning to approximate Calabi-Yau and SU(3)-structure metrics, including for the first time complex structure moduli dependence. Our new methods furthermore improve existing numerical approximations in terms of accuracy and speed. Knowing these metrics has numerous applications, ranging from computations of crucial aspects of the effective field theory of string compactifications such as the canonical normalizations for Yukawa couplings, and the massive string...

After a brief introduction into the use of Calabi--Yau varieties in string dualities, and the role of toric geometry in that context, we review the classification of toric Calabi-Yau hypersurfaces and present some results on complete intersections. While no proof of the existence of a finite bound on the Hodge numbers is known, all new data stay inside the familiar range $h_{11}+h_{12}\le 502$.