arXiv subjects

James Gray

Publications and source records attributed to James Gray.

At least 19 recordsLinked to original sources

arXiv2026

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

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

hep-th↗

arXiv2026

An elliptic approach to Reid's fantasy

It is a long-standing problem to prove that the number of distinct topological types of Calabi-Yau threefolds is finite. A related proposition, Reid's fantasy, conjectures that all Calabi-Yau threefolds are connected in a single moduli space through extremal transitions. Finiteness of topological types has been proven for the class of elliptic and genus one fibered Calabi-Yau threefolds, which recently have been shown to constitute the vast majority of known Calabi-Yau threefolds; the moduli space of elliptic CY3's is connected. In this letter, we demonstrate that all non-fibered Calabi-Yau threefolds in two of the largest known classes (toric hypersurfaces and complete intersections in products of projective spaces) are connected to fibered Calabi-Yau threefolds through a simple class of geometric transitions involving the shrinking of a single divisor from a fibered geometry. This suggests that non-fibered Calabi-Yau threefolds are rare special cases that are reached by simplifying fibered Calabi-Yau threefolds, and points to a natural path towards proving finiteness and Reid's fantasy for Calabi-Yau threefolds.

hep-th↗

arXiv2025

Mapping moduli across heterotic conifolds

In this work, we provide evidence for a duality between 4-dimensional Calabi-Yau compactifications of the heterotic string, in which the base manifolds are linked by a conifold transition. In recent work, a geometric proposal was put forward for how 5-branes and gauge bundles are carried across such transitions. It was observed that compactifications connected in this way lead to 4-dimensional effective theories with the same massless spectrum. Here we provide much stronger evidence that these heterotic conifold transitions do indeed lead to dual theories. We construct a duality map between the field spaces of the two compactifications and use it to demonstrate the agreement of large numbers of holomorphic functions appearing in the definition of the effective theories. In an example, we show that 147,440 independent superpotential Yukawa couplings agree across the duality as holomorphic functions of the moduli. In certain special cases, the putative duality studied here reduces to the target space duality of (0,2) gauged linear sigma models.

hep-th↗

arXiv2025

Structure In The Heterotic Matter Field Kahler Potential

It has long been known that superpotential couplings in heterotic theories often vanish despite the absence of any known symmetry that would forbid them. We show that such structure is also exhibited by the matter field Kahler potential of these compactifications. We give an analytical analysis which provides some simple conditions under which certain terms, which would be expected to be present in the Kahler potential, vanish. Explicit examples of this phenomenon are provided, some of which are verifiable by other methods and some of which can only currently be accessed by these techniques. By studying the interplay of the structure we find with Higgsing transitions, we are able to show that this vanishing of Kahler potential terms can extend to all orders in a perturbative expansion in the matter fields.

hep-th↗

arXiv2024

Vanishing conditions for higher order couplings in heterotic theories

For compactifications of heterotic string theory, we elucidate simple cohomological conditions that lead to the vanishing of superpotential n-point couplings for all n. These results generalize some vanishing theorems for Yukawa couplings that have previously appeared in the literature to all higher orders. In some cases, these results are enough to show that certain fields do not appear in the perturbative superpotential at all. We illustrate our discussion with a number of concrete examples. In some cases, our results can be confirmed by showing that symmetries indeed forbid the couplings that vanish. In many, however, no such symmetries are known to exist and, as such, the infinite sets of vanishing couplings that are found are surprising from a four-dimensional perspective.

hep-th↗

arXiv2023

Lectures on Numerical and Machine Learning Methods for Approximating Ricci-flat Calabi-Yau Metrics

Calabi-Yau (CY) manifolds play a ubiquitous role in string theory. As a supersymmetry-preserving choice for the 6 extra compact dimensions of superstring compactifications, these spaces provide an arena in which to explore the rich interplay between physics and geometry. These lectures will focus on compact CY manifolds and the long standing problem of determining their Ricci flat metrics. Despite powerful existence theorems, no analytic expressions for these metrics are known. In this lecture series we review numerical approximation methods for Ricci flat CY metrics. Our first aim is to give a brief overview of the mathematical framework underlying CY geometry, and the various metrics that CY manifolds admit. We will then discuss the three types of numerical methods that have been developed to compute Ricci-flat CY metrics: Donaldson's algorithm, functional minimization methods, and machine learning methods. Due to the limited time/space we have, this will not be a comprehensive review, but instead we hope to give a brief survey and illustrate the essential tools, key ideas, and implementations of this rapidly advancing field.

hep-th↗

arXiv2023

Calabi-Yau Genus-One Fibrations and Twisted Dimensional Reductions of F-theory

In this brief note we explore the space of genus one and elliptic fibrations within CY manifolds, their organizing principles, and how they relate to the set of all CY manifolds. We provide examples of genus one fibered manifolds that exhibit different Hodge numbers -- and physically lead to different gauge groups - than their Jacobian fibrations. We suggest a physical mechanism for understanding this difference in twisted circle reductions of 6-dimensional compactifications of F-theory.

hep-th↗

arXiv2023

Twisted Fibrations in M/F-theory

In this work we investigate 5-dimensional theories obtained from M-theory on genus one fibered threefolds which exhibit twisted algebras in their fibers. We provide a base-independent algebraic description of the threefolds and compute light 5D BPS states charged under finite sub-algebras of the twisted algebras. We further construct the Jacobian fibrations that are associated to 6-dimensional F-theory lifts, where the twisted algebra is absent. These 6/5-dimensional theories are compared via twisted circle reductions of F-theory to M-theory. In the 5-dimensional theories we discuss several geometric transitions that connect twisted with untwisted fibrations. We present detailed discussions of $\mathfrak{e}_6^{(2)}, \mathfrak{so}_8^{(3)}$ and $\mathfrak{su}_3^{(2)}$ twisted fibers and provide several explicit example threefolds via toric constructions. Finally, limits are considered in which gravity is decoupled, including Little String Theories for which we match 2-group symmetries across twisted T-dual theories.

hep-th↗

arXiv2022

Branes and Bundles through Conifold Transitions and Dualities in Heterotic String Theory

Geometric transitions between Calabi-Yau manifolds have proven to be a powerful tool in exploring the intricate and interconnected vacuum structure of string compactifications. However, their role in N=1, 4-dimensional string compactifications remains relatively unexplored. In this work we present a novel proposal for transitioning the background geometry (including NS5-branes and holomorphic, slope-stable vector bundles) of 4-dimensional, N=1 heterotic string compactifications through a conifold transition connecting Calabi-Yau threefolds. Our proposal is geometric in nature but informed by the heterotic effective theory. Central to this study is a description of how the cotangent bundles of the deformation and resolution manifolds in the conifold can be connected by an apparent small instanton transition with a 5-brane wrapping the small resolution curves. We show that by a "pair creation" process 5-branes can be generated simultaneously in the gauge and gravitational sectors and used to describe a coupled minimal change in the manifold and gauge sector. This observation leads us to propose dualities for 5-branes and gauge bundles in heterotic conifolds which we then confirm at the level of spectrum in large classes of examples. While the 5-brane duality is novel, we observe that the bundle correspondence has appeared before in the Target Space Duality exhibited by (0,2) GLSMs. Thus our work provides a geometric explanation of (0,2) Target Space Duality.

hep-th↗

arXiv2022

Vanishing Yukawa Couplings and the Geometry of String Theory Models

We provide an overview of recent work which aims to understand patterns of vanishing Yukawa couplings that arise in models of particle physics derived from string theory. These patterns are seemingly linked to a plethora of different geometrical structures and our understanding of the subject has yet to be consolidated in a unified framework. This short note is based upon a talk that was given by one of the authors at the Nankai Symposium on Mathematical Dialogues. Therefore it is aimed at a mathematical audience of mixed academic background.

hep-th↗

arXiv2021

Free Quotients of Favorable Calabi-Yau Manifolds

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, which symmetries can be described in this manner depends upon the description that is being used to represent the manifold. In recent work new, favorable, descriptions were given of this data set of Calabi-Yau threefolds. In this paper, we perform a classification of cyclic symmetries that descend from linear actions on the ambient spaces of these new favorable descriptions. We present a list of 129 symmetries/non-simply connected Calabi-Yau threefolds. Of these, at least 33, and potentially many more, are topologically new varieties.

hep-th↗

arXiv2021

Recent Developments in Line Bundle Cohomology and Applications to String Phenomenology

Vector bundle cohomology represents a key ingredient for string phenomenology, being associated with the massless spectrum arising in string compactifications on smooth compact manifolds. Although standard algorithmic techniques exist for performing cohomology calculations, they are laborious and ill-suited for scanning over large sets of string compactifications to find those most relevant to particle physics. In this article we review some recent progress in deriving closed-form expressions for line bundle cohomology and discuss some applications to string phenomenology.

hep-th↗

arXiv2021

$\mathbb{P}^1$-fibrations in F-theory and String Dualities

In this work we study F-theory compactifications on elliptically fibered Calabi-Yau n-folds which have $\mathbb{P}^1$-fibered base manifolds. Such geometries, which we study in both 4- and 6-dimensions, are both ubiquitous within the set of Calabi-Yau manifolds and play a crucial role in heterotic/F-theory duality. We discuss the most general formulation of $\mathbb{P}^1$-bundles of this type, as well as fibrations which degenerate at higher codimension loci. In the course of this study, we find a number of new phenomena. For example, in both 4- and 6-dimensions we find transitions whereby the base of a $\mathbb{P}^1$-bundle can change nature, or "jump", at certain loci in complex structure moduli space. We discuss the implications of this jumping for the associated heterotic duals. We argue that $\mathbb{P}^1$-bundles with only rational sections lead to heterotic duals where the Calabi-Yau manifold is elliptically fibered over the section of the $\mathbb{P}^1$- bundle, and not its base. As expected, we see that degenerations of the $\mathbb{P}^1$-fibration of the F-theory base correspond to 5-branes in the dual heterotic physics, with the exception of cases in which the fiber degenerations exhibit monodromy. Along the way, we discuss a set of useful formulae and tools for describing F-theory compactifications on this class of Calabi-Yau manifolds.

hep-th↗

arXiv2021

Generalized Vanishing Theorems for Yukawa Couplings in Heterotic Compactifications

Heterotic compactifications on Calabi-Yau threefolds frequently exhibit textures of vanishing Yukawa couplings in their low energy description. The vanishing of these couplings is often not enforced by any obvious symmetry and appears to be topological in nature. Recent results in the literature used differential geometric methods to explain the origin of some of this structure. A vanishing theorem was given which showed that the effect could be attributed, in part, to the embedding of the Calabi-Yau manifolds of interest inside higher dimensional ambient spaces, if the gauge bundles involved descended from vector bundles on those larger manifolds. In this paper, we utilize an algebro-geometric approach to provide an alternative derivation of some of these results, and are thus able to generalize them to a much wider arena than has been considered before. For example, we consider cases where the vector bundles of interest do not descend from bundles on the ambient space. In such a manner we are able to highlight the ubiquity with which textures of vanishing Yukawa couplings can be expected to arise in heterotic compactifications, with multiple different constraints arising from a plethora of different geometric features associated to the gauge bundle.

hep-th↗

arXiv2020

Moduli-dependent Calabi-Yau and SU(3)-structure metrics from Machine Learning

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 spectrum which plays a crucial role in swampland conjectures, to mirror symmetry and the SYZ conjecture. In the case of SU(3) structure, our machine learning approach allows us to engineer metrics with certain torsion properties. Our methods are demonstrated for Calabi-Yau and SU(3)-structure manifolds based on a one-parameter family of quintic hypersurfaces in $\mathbb{P}^4.$

hep-th↗

arXiv2020

Chern-Simons Invariants and Heterotic Superpotentials

The superpotential in four-dimensional heterotic effective theories contains terms arising from holomorphic Chern-Simons invariants associated to the gauge and tangent bundles of the compactification geometry. These effects are crucial for a number of key features of the theory, including vacuum stability and moduli stabilization. Despite their importance, few tools exist in the literature to compute such effects in a given heterotic vacuum. In this work we present new techniques to explicitly determine holomorphic Chern-Simons invariants in heterotic string compactifications. The key technical ingredient in our computations are real bundle morphisms between the gauge and tangent bundles. We find that there are large classes of examples, beyond the standard embedding, where the Chern-Simons superpotential vanishes. We also provide explicit examples for non-flat bundles where it is non-vanishing and fractionally quantized, generalizing previous results for Wilson lines.

hep-th↗

arXiv2019

Numerical Metrics, Curvature Expansions and Calabi-Yau Manifolds

We discuss the extent to which numerical techniques for computing approximations to Ricci-flat metrics can be used to investigate hierarchies of curvature scales on Calabi-Yau manifolds. Control of such hierarchies is integral to the validity of curvature expansions in string effective theories. Nevertheless, for seemingly generic points in moduli space it can be difficult to analytically determine if there might be a highly curved region localized somewhere on the Calabi-Yau manifold. We show that numerical techniques are rather efficient at deciding this issue.

hep-th↗

arXiv2019

F-Theory on Quotients of Elliptic Calabi-Yau Threefolds

In this work we consider quotients of elliptically fibered Calabi-Yau threefolds by freely acting discrete groups and the associated physics of F-theory compactifications on such backgrounds. The process of quotienting a Calabi-Yau geometry produces not only new genus one fibered manifolds, but also new effective 6-dimensional physics. These theories can be uniquely characterized by the much simpler covering space geometry and the symmetry action on it. We use this method to construct examples of F-theory models with an array of discrete gauge groups and non-trivial monodromies, including an example with Z6 discrete symmetry.

hep-th↗