arXiv subjects

Ron Donagi

Publications and source records attributed to Ron Donagi.

At least 37 records · Page 2Linked to original sources

arXiv2021

Root Bundles and Towards Exact Matter Spectra of F-theory MSSMs

Motivated by the appearance of fractional powers of line bundles in studies of vector-like spectra in 4d F-theory compactifications, we analyze the structure and origin of these bundles. Fractional powers of line bundles are also known as root bundles and can be thought of as generalizations of spin bundles. We explain how these root bundles are linked to inequivalent F-theory gauge potentials of a $G_4$-flux. While this observation is interesting in its own right, it is particularly valuable for F-theory Standard Model constructions. In aiming for MSSMs, it is desired to argue for the absence of vector-like exotics. We work out the root bundle constraints on all matter curves in the largest class of currently-known F-theory Standard Model constructions without chiral exotics and gauge coupling unification. On each matter curve, we conduct a systematic "bottom"-analysis of all solutions to the root bundle constraints and all spin bundles. Thereby, we derive a lower bound for the number of combinations of root bundles and spin bundles whose cohomologies satisfy the physical demand of absence of vector-like pairs. On a technical level, this systematic study is achieved by a well-known diagrammatic description of root bundles on nodal curves. We extend this description by a counting procedure, which determines the cohomologies of so-called limit root bundles on full blow-ups of nodal curves. By use of deformation theory, these results constrain the vector-like spectra on the smooth matter curves in the actual F-theory geometry.

hep-th↗

arXiv2020

Families of Hitchin systems and N=2 theories

Motivated by the connection to 4d $\mathcal{N}=2$ theories, we study the global behavior of families of tamely-ramified $SL_N$ Hitchin integrable systems as the underlying curve varies over the Deligne-Mumford moduli space of stable pointed curves. In particular, we describe a flat degeneration of the Hitchin system to a nodal base curve and show that the behaviour of the integrable system at the node is partially encoded in a pair $(O,H)$ where $O$ is a nilpotent orbit and $H$ is a simple Lie subgroup of $F_{O}$, the flavour symmetry group associated to $O$. The family of Hitchin systems is nontrivially-fibered over the Deligne-Mumford moduli space. We prove a non-obvious result that the Hitchin bases fit together to form a vector bundle over the compactified moduli space. For the particular case of $\overline{\mathcal{M}}_{0,4}$, we compute this vector bundle explicitly. Finally, we give a classification of the allowed pairs $(O,H)$ that can arise for any given $N$.

hep-th↗

arXiv2020

Machine Learning and Algebraic Approaches towards Complete Matter Spectra in 4d F-theory

Motivated by engineering vector-like (Higgs) pairs in the spectrum of 4d F-theory compactifications, we combine machine learning and algebraic geometry techniques to analyze line bundle cohomologies on families of holomorphic curves. To quantify jumps of these cohomologies, we first generate 1.8 million pairs of line bundles and curves embedded in $dP_3$, for which we compute the cohomologies. A white-box machine learning approach trained on this data provides intuition for jumps due to curve splittings, which we use to construct additional vector-like Higgs-pairs in an F-Theory toy model. We also find that, in order to explain quantitatively the full dataset, further tools from algebraic geometry, in particular Brill--Noether theory, are required. Using these ingredients, we introduce a diagrammatic way to express cohomology jumps across the parameter space of each family of matter curves, which reflects a stratification of the F-theory complex structure moduli space in terms of the vector-like spectrum. Furthermore, these insights provide an algorithmically efficient way to estimate the possible cohomology dimensions across the entire parameter space.

hep-th↗

arXiv2020

Folding of Hitchin systems and crepant resolutions

Folding of ADE-Dynkin diagrams according to graph automorphisms yields irreducible Dynkin diagrams of ABCDEFG-types. This folding procedure allows to trace back the properties of the corresponding simple Lie algebras or groups to those of ADE-type. In this article, we implement the techniques of folding by graph automorphisms for Hitchin integrable systems. We show that the fixed point loci of these automorphisms are isomorphic as algebraic integrable systems to the Hitchin systems of the folded groups away from singular fibers. The latter Hitchin systems are isomorphic to the intermediate Jacobian fibrations of Calabi--Yau orbifold stacks constructed by the first author. We construct simultaneous crepant resolutions of the associated singular quasi-projective Calabi--Yau threefolds and compare the resulting intermediate Jacobian fibrations to the corresponding Hitchin systems.

math.AG↗

arXiv2019

Global aspects of moduli spaces of 2d SCFTs

The Bagger-Witten line bundle is a line bundle over moduli spaces of two-dimensional SCFTs, related to the Hodge line bundle of holomorphic top-forms on Calabi-Yau manifolds. It has recently been a subject of a number of conjectures, but concrete examples have proven elusive. In this paper we collect several results on this structure, including a proposal for an intrinsic geometric definition over moduli spaces of Calabi-Yau manifolds and some additional concrete examples. We also conjecture a new criterion for UV completion of four-dimensional supergravity theories in terms of properties of the Bagger-Witten line bundle.

hep-th↗

arXiv2018

On the global moduli of Calabi-Yau threefolds

In this note we initiate a program to obtain global descriptions of Calabi-Yau moduli spaces, to calculate their Picard group, and to identify within that group the Hodge line bundle, and the closely-related Bagger-Witten line bundle. We do this here for several Calabi-Yau's obtained in [DW09] as crepant resolutions of the orbifold quotient of the product of three elliptic curves. In particular we verify in these cases a recent claim of [GHKSST16] by noting that a power of the Hodge line bundle is trivial -- even though in most of these cases the Picard group is infinite.

math.AG↗

arXiv2018

Twisted spectral correspondence and torus knots

Cohomological invariants of twisted wild character varieties as constructed by Boalch and Yamakawa are derived from enumerative Calabi-Yau geometry and refined Chern-Simons invariants of torus knots. Generalizing the untwisted case, the present approach is based on a spectral correspondence for meromorphic Higgs bundles with fixed conjugacy classes at the marked points. This construction is carried out for twisted wild character varieties associated to (l, kl-1) torus knots, providing a colored generalization of existing results of Hausel, Mereb and Wong as well as Shende, Treumann and Zaslow.

hep-th↗

arXiv2018

Conformal field theories and compact curves in moduli spaces

We show that there are many compact subsets of the moduli space $M_g$ of Riemann surfaces of genus $g$ that do not intersect any symmetry locus. This has interesting implications for $\mathcal{N}=2$ supersymmetric conformal field theories in four dimensions.

hep-th↗

arXiv2018

The uniformization of the moduli space of principally polarized abelian 6-folds

Starting from a beautiful idea of Kanev, we construct a uniformization of the moduli space A_6 of principally polarized abelian 6-folds in terms of curves and monodromy data. We show that the general ppav of dimension 6 is a Prym-Tyurin variety corresponding to a degree 27 cover of the projective line having monodromy the Weyl group of the E_6 lattice. Along the way, we establish numerous facts concerning the geometry of the Hurwitz space of such E_6-covers, including: (1) a proof that the canonical class of the Hurwitz space is big, (2) a concrete geometric description of the Hodge-Hurwitz eigenbundles with respect to the Kanev correspondence and (3) a description of the ramification divisor of the Prym-Tyurin map from the Hurwitz space to A_6 in the terms of syzygies of the Abel-Prym-Tyurin curve.

math.AG↗

arXiv2017

BPS states, torus links and wild character varieties

A string theoretic framework is constructed relating the cohomology of wild character varieties to refined stable pair theory and torus link invariants. Explicit conjectural formulas are derived for wild character varieties with a unique irregular point on the projective line. For this case the string theoretic construction leads to a conjectural colored generalization of existing results of Hausel, Mereb and Wong as well as Shende, Treumann and Zaslow.

hep-th↗

arXiv2017

Type II String Theory on Calabi-Yau Manifolds with Torsion and Non-Abelian Discrete Gauge Symmetries

We provide the first explicit example of Type IIB string theory compactification on a globally defined Calabi-Yau threefold with torsion which results in a four-dimensional effective theory with a non-Abelian discrete gauge symmetry. Our example is based on a particular Calabi-Yau manifold, the quotient of a product of three elliptic curves by a fixed point free action of Z_2 x Z_2. Its cohomology contains torsion classes in various degrees. The main technical novelty is in determining the multiplicative structure of the (torsion part of) the cohomology ring, and in particular showing that the cup product of second cohomology torsion elements goes non-trivially to the fourth cohomology. This specifies a non-Abelian, Heisenberg-type discrete symmetry group of the four-dimensional theory.

hep-th↗

arXiv2015

ADE Transform

There is a beautiful correspondence between configurations of lines on a rational surface and tautological bundles over that surface. We extend this correspondence to families, by means of a generalized Fourier-Mukai transform that relates spectral data to bundles over a rational surface fibration.

math.AG↗

arXiv2015

F-Theory Vacua with Z_3 Gauge Symmetry

Discrete gauge groups naturally arise in F-theory compactifications on genus-one fibered Calabi-Yau manifolds. Such geometries appear in families that are parameterized by the Tate-Shafarevich group of the genus-one fibration. While the F-theory compactification on any element of this family gives rise to the same physics, the corresponding M-theory compactifications on these geometries differ and are obtained by a fluxed circle reduction of the former. In this note, we focus on an element of order three in the Tate-Shafarevich group of the general cubic. We discuss how the different M-theory vacua and the associated discrete gauge groups can be obtained by Higgsing of a pair of five-dimensional U(1) symmetries. The Higgs fields arise from vanishing cycles in $I_2$-fibers that appear at certain codimension two loci in the base. We explicitly identify all three curves that give rise to the corresponding Higgs fields. In this analysis the investigation of different resolved phases of the underlying geometry plays a crucial rôle.

hep-th↗

arXiv2014

Global aspects of (0,2) moduli space: toric varieties and tangent bundles

We study the moduli space of A/2 half-twisted gauged linear sigma models for NEF Fano toric varieties. Focusing on toric deformations of the tangent bundle, we describe the vacuum structure of many (0,2) theories, in particular identifying loci in parameter space with spontaneous supersymmetry breaking or divergent ground ring correlators. We find that the parameter space of such an A/2 theory and its ground ring is in general a moduli stack, and we show in examples that with suitable stability conditions it is possible to obtain a simple compactification of the moduli space of smooth A/2 theories.

hep-th↗

arXiv2014

Super Atiyah classes and obstructions to splitting of supermoduli space

The first obstruction to splitting a supermanifold S is one of the three components of its super Atiyah class, the two other components being the ordinary Atiyah classes on the reduced space M of the even and odd tangent bundles of S. We evaluate these classes explicitly for the moduli space of super Riemann surfaces ("super moduli space") and its reduced space, the moduli space of spin curves. These classes are interpreted in terms of certain extensions arising from line bundles on the square of the varying (super) Riemann surface. These results are used to give a new proof of the non-projectedness of ${\mathfrak{M}}_{g,1}$, the moduli space of super Riemann surfaces with one puncture.

hep-th↗

arXiv2013

Breaking GUT Groups in F-Theory

We consider the possibility of breaking the GUT group to the Standard Model gauge group in F-theory compactifications by turning on certain U(1) fluxes. We show that the requirement of massless hypercharge is equivalent to a topological constraint on the UV completion of the local model. The possibility of this mechanism is intrinsic to F-theory. We address some of the phenomenological signatures of this scenario. We show that our models predict monopoles as in conventional GUT models. We discuss in detail the leading threshold corrections to the gauge kinetic terms and their effect on unification. They turn out to be related to Ray-Singer torsion. We also discuss the issue of proton decay in F-theory models and explain how to engineer models which satisfy current experimental bounds.

hep-th↗

arXiv2013

MSW Instantons

We analyze M5-instantons in F-theory, or equivalently D3-instantons with varying axio-dilaton, in the presence of 7-brane gauge groups. The chiral two-form on the M5-brane plays an important role, because it couples the M5-brane to vector multiplets and charged chiral fields. The chiral two-form does not have a semi-classical description. However if the worldvolume of the M5 admits a fibration over a curve with surface fibers, then we can reduce the worldvolume theory to an `MSW' CFT by shrinking the surface. For this class of MSW instantons, we can use heterotic methods to do computations. We explain this in some detail using the physical gauge approach. We further compare M5-instantons with D3-instantons in perturbative type IIb and find some striking differences. In particular, we show that instanton zero modes tend to disappear and constraints from chirality on instanton contributions to the superpotential evaporate for finite string coupling.

hep-th↗

arXiv2013

Gluing Branes, I

We consider several aspects of holomorphic brane configurations. We recently showed that an important part of the defining data of such a configuration is the gluing morphism, which specifies how the constituents of a configuration are glued together, but is usually assumed to be vanishing. Here we explain the rules for computing spectra and interactions for configurations with non-vanishing gluing VEVs. We further give a detailed discussion of the D-terms for Higgs bundles, spectral covers and ALE fibrations. We highlight a stability criterion that applies to degenerate configurations of the spectral data, and address an apparent discrepancy between the field theory and ALE descriptions. This allows us to show that one gets walls of marginal stability in F-theory even though they are absent in the 11d supergravity description. We also propose a numerical approach for approximating the hermitian-Einstein metric of the Higgs bundle using balanced metrics.

hep-th↗