Source author record

Ron Donagi

Ron Donagi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

28works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

28 published item(s)

preprint2022arXiv

Parabolic Hecke eigensheaves

We study the Geometric Langlands Conjecture (GLC) for rank two flat bundles on the projective line $C$ with tame ramification at five points $\{p_{1}, p_{2}, p_{3}, p_{4}, p_{5} \}$. In particular we construct the automorphic $D$-modules predicted by GLC on the moduli space of rank two parabolic bundles on $(C, \{p_{1}, p_{2}, p_{3}, p_{4}, p_{5} \})$. The construction uses non-abelian Hodge theory and a Fourier-Mukai transform along the fibers of the Hitchin fibration to reduce the problem to one in classical projective geometry on the intersection of two quadrics in $\mathbb{P}^{4}$.

preprint2020arXiv

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.

preprint2019arXiv

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.

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2013arXiv

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.

preprint2013arXiv

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.

preprint2013arXiv

Parabolic refined invariants and Macdonald polynomials

A string theoretic derivation is given for the conjecture of Hausel, Letellier, and Rodriguez-Villegas on the cohomology of character varieties with marked points. Their formula is identified with a refined BPS expansion in the stable pair theory of a local root stack, generalizing previous work of the first two authors in collaboration with G. Pan. Haiman's geometric construction for Macdonald polynomials is shown to emerge naturally in this context via geometric engineering. In particular this yields a new conjectural relation between Macdonald polynomials and refined local orbifold curve counting invariants. The string theoretic approach also leads to a new spectral cover construction for parabolic Higgs bundles in terms of holomorphic symplectic orbifolds.

preprint2012arXiv

Model Building with F-Theory

Despite much recent progress in model building with D-branes, it has been problematic to find a completely convincing explanation of gauge coupling unification. We extend the class of models by considering F-theory compactifications, which may incorporate unification more naturally. We explain how to derive the charged chiral spectrum and Yukawa couplings in N=1 compactifications of F-theory with G-flux. In a class of models which admit perturbative heterotic duals, we show that the F-theory and heterotic computations match.

preprint2012arXiv

On Seven-Brane Dependent Instanton Prefactors in F-theory

We study the moduli-dependent prefactor of M5-instanton corrections to the superpotential in four-dimensional F-theory compactifications. In light of the M-theory and type IIb limits and also heterotic duality, we propose that the explicit moduli dependence of the prefactor can be computed by a study of zero modes localized at intersections between the instanton and seven-branes. We present an instanton prefactor in an E_6 F-theory GUT which does not admit a heterotic dual and show that it vanishes if and only if a point of E_8 enhancement is present in the instanton worldvolume. More generically, we discuss the relationship between points of E_8 and superpotential zeroes and give sufficient conditions for such a point to cause a zero, even for an SU(5) GUT. We scan a large class of compactifications for instanton physics and demonstrate that many instantons have the same prefactor structure. We discuss the associated implications and complications for moduli stabilization. We present an explicit resolution and construction of G-flux in a generic E_6 GUT and identify a global compactification of the local model spectral cover which happens to facilitate prefactor computations. Via a Leray spectral sequence, we demonstrate the relationship between right-movers of heterotic worldsheet instantons, 3-3 strings of euclidean D3 instantons, and the Fermi zero modes of M5-instantons.

preprint2011arXiv

A Mathematical Theory of Quantum Sheaf Cohomology

The purpose of this paper is to present a mathematical theory of the half-twisted $(0,2)$ gauged linear sigma model and its correlation functions that agrees with and extends results from physics. The theory is associated to a smooth projective toric variety $X$ and a deformation $\sheaf E$ of its tangent bundle $T_X$. It gives a quantum deformation of the cohomology ring of the exterior algebra of $\sheaf E^*$. We prove that in the general case, the correlation functions are independent of `nonlinear' deformations. We derive quantum sheaf cohomology relations that correctly specialize to the ordinary quantum cohomology relations described by Batyrev in the special case $\sheaf E = T_X$.

preprint2011arXiv

Langlands duality for Hitchin systems

We show that the Hitchin integrable system for a simple complex Lie group $G$ is dual to the Hitchin system for the Langlands dual group $\lan{G}$. In particular, the general fiber of the connected component $\Higgs_0$ of the Hitchin system for $G$ is an abelian variety which is dual to the corresponding fiber of the connected component of the Hitchin system for $\lan{G}$. The non-neutral connected components $\Higgs_α$ form torsors over $\Higgs_0$. We show that their duals are gerbes over $\Higgs_0$ which are induced by the gerbe of $G$-Higgs bundles $\gHiggs$. More generally, we establish a duality between the gerbe $\gHiggs$ of $G$-Higgs bundles and the gerbe $\lan{\gHiggs}$ of $\lan{G}$-Higgs bundles, which incorporates all the previous dualities. All these results extend immediately to an arbirtary connected complex reductive group $\mathbb{G}$.

preprint2011arXiv

The MSSM Spectrum from (0,2)-Deformations of the Heterotic Standard Embedding

We construct supersymmetric compactifications of E_8 \times E_8 heterotic string theory which realise exactly the massless spectrum of the Minimal Supersymmetric Standard Model (MSSM) at low energies. The starting point is the standard embedding on a Calabi-Yau threefold which has Hodge numbers (h^11,h^21) = (1,4) and fundamental group Z_12, which gives an E_6 grand unified theory with three net chiral generations. The gauge symmetry is then broken to that of the standard model by a combination of discrete Wilson lines and continuous deformation of the gauge bundle. On eight distinct branches of the moduli space, we find stable bundles with appropriate cohomology groups to give exactly the massless spectrum of the MSSM.

preprint2011arXiv

Yukawa Couplings on Quintic Threefolds

We compute the particle spectrum and some of the Yukawa couplings for a family of heterotic compactifications on quintic threefolds X involving bundles that are deformations of TX+O_X. These are then related to the compactifications with torsion found recently by Li and Yau. We compute the spectrum and the Yukawa couplings for generic bundles on generic quintics, as well as for certain stable non-generic bundles on the special Dwork quintics. In all our computations we keep the dependence on the vector bundle moduli explicit. We also show that on any smooth quintic there exists a deformation of the bundle TX+O_X whose Kodaira-Spencer class obeys the Li-Yau non-degeneracy conditions and admits a non-vanishing triple pairing.

preprint2010arXiv

Exploring a new peak in the heterotic landscape

We study the existence of realistic heterotic vacua on a new Abelian surface fibered Calabi-Yau threefold X with Z_8 x Z_8 fundamental group. Our main result is a no-go theorem, which says that (under mild assumptions) there is no stable holomorphic vector bundle on X satisfying the constraints required by global consistency of the heterotic vacuum and phenomenology. To prove the theorem we explore in some detail the Fourier-Mukai transform of vector bundles on Abelian surface fibrations.

preprint2008arXiv

Abelian Fibrations, String Junctions, and Flux/Geometry Duality

In previous work, it was argued that the type IIB T^6/Z_2 orientifold with a choice of flux preserving N=2 supersymmetry is dual to a class of purely geometric type IIA compactifications on abelian surface (T^4) fibered Calabi-Yau threefolds. We provide two explicit constructions of the resulting Calabi-Yau duals. The first is a monodromy based description, analogous to F-theory encoding of Calabi-Yau geometry via 7-branes and string junctions, except for T^4 rather than T^2 fibers. The second is an explicit algebro-geometric construction in which the T^4 fibers arise as the Jacobian tori of a family of genus-2 curves. This improved description of the duality map will be a useful tool to extend our understanding of warped compactifications. We sketch applications to related work to define warped Kaluza-Klein reduction in toroidal orientifolds, and to check the modified rules for D-brane instanton zero mode counting due to the presence of flux and other D-branes. The nontrivial fundamental groups of the Calabi-Yau manifolds constructed also have potential applications to heterotic model building.

preprint2008arXiv

On orbifolds and free fermion constructions

This work develops the correspondence between orbifolds and free fermion models. A complete classification is obtained for orbifolds X/G with X the product of three elliptic curves and G an abelian extension of a group (Z_2)^2 of twists acting on X. Each such quotient X/G is shown to give a geometric interpretation to an appropriate free fermion model, including the geometric NAHE+ model. However, the semi-realistic NAHE free fermion model is proved to be non-geometric: its Hodge numbers are not reproduced by any orbifold X/G. In particular cases it is shown that X/G can agree with some Borcea-Voisin threefolds, an orbifold limit of the Schoen threefold, and several further orbifolds thereof. This yields free fermion models with geometric interpretations on such special threefolds.

preprint2004arXiv

Moduli Dependent Spectra of Heterotic Compactifications

Explicit methods are presented for computing the cohomology of stable, holomorphic vector bundles on elliptically fibered Calabi-Yau threefolds. The complete particle spectrum of the low-energy, four-dimensional theory is specified by the dimensions of specific cohomology groups. The spectrum is shown to depend on the choice of vector bundle moduli, jumping up from a generic minimal result to attain many higher values on subspaces of co-dimension one or higher in the moduli space. An explicit example is presented within the context of a heterotic vacuum corresponding to an SU(5) GUT in four-dimensions.

preprint2004arXiv

On the Number of Chiral Generations in Z2 X Z2 Orbifolds

The data from collider experiments and cosmic observatories indicates the existence of three light matter generations. In some classes of string compactifications the number of generations is related to a topological quantity, the Euler characteristic. However, these do not explain the existence of three generations. In a class of free fermionic string models, related to the Z2 X Z2 orbifold compactification, the existence of three generations is correlated with the existence of three twisted sectors in this class of compactifications. However, the three generation models are constructed in the free fermionic formulation and their geometrical correspondence is not readily available. In this paper we classify quotients of the Z2 X Z2 orbifold by additional symmetric shifts on the three complex tori. We show that three generation vacua are not obtained in this manner, indicating that the geometrical structures underlying the free fermionic models are more esoteric.

preprint2002arXiv

Standard-Model Bundles on Non-Simply Connected Calabi--Yau Threefolds

We give a proof of the existence of $G=SU(5)$, stable holomorphic vector bundles on elliptically fibered Calabi--Yau threefolds with fundamental group $\bbz_2$. The bundles we construct have Euler characteristic 3 and an anomaly that can be absorbed by M-theory five-branes. Such bundles provide the basis for constructing the standard model in heterotic M-theory. They are also applicable to vacua of the weakly coupled heterotic string. We explicitly present a class of three family models with gauge group $SU(3)_C\times SU(2)_L\times U(1)_Y$.

preprint2002arXiv

Superpotentials for Vector Bundle Moduli

We present a method for explicitly computing the non-perturbative superpotentials associated with the vector bundle moduli in heterotic superstrings and M-theory. This method is applicable to any stable, holomorphic vector bundle over an elliptically fibered Calabi-Yau threefold. For specificity, the vector bundle moduli superpotential, for a vector bundle with structure group G=SU(3), generated by a heterotic superstring wrapped once over an isolated curve in a Calabi-Yau threefold with base B=F1, is explicitly calculated. Its locus of critical points is discussed. Superpotentials of vector bundle moduli potentially have important implications for small instanton phase transitions and the vacuum stability and cosmology of superstrings and M-theory.

preprint2002arXiv

Surface bundles over surfaces of small genus

We construct examples of non-isotrivial algebraic families of smooth complex projective curves over a curve of genus 2. This solves a problem from Kirby's list of problems in low-dimensional topology. Namely, we show that 2 is the smallest possible base genus that can occur in a 4-manifold of non-zero signature which is an oriented fiber bundle over a Riemann surface. A refined version of the problem asks for the minimal base genus for fixed signature and fiber genus. Our constructions also provide new (asymptotic) upper bounds for these numbers.

preprint2002arXiv

Vector Bundle Moduli and Small Instanton Transitions

We give the general presciption for calculating the moduli of irreducible, stable SU(n) holomorphic vector bundles with positive spectral covers over elliptically fibered Calabi-Yau threefolds. Explicit results are presented for Hirzebruch base surfaces B=F_r. The transition moduli that are produced by chirality changing small instanton phase transitions are defined and specifically enumerated. The origin of these moduli, as the deformations of the spectral cover restricted to the ``lift'' of the horizontal curve of the M5-brane, is discussed. We present an alternative description of the transition moduli as the sections of rank n holomorphic vector bundles over the M5-brane curve and give explicit examples. Vector bundle moduli appear as gauge singlet scalar fields in the effective low-energy actions of heterotic superstrings and heterotic M-theory.

preprint2002arXiv

Vector Bundle Moduli Superpotentials in Heterotic Superstrings and M-Theory

The non-perturbative superpotential generated by a heterotic superstring wrapped once around a genus-zero holomorphic curve is proportional to the Pfaffian involving the determinant of a Dirac operator on this curve. We show that the space of zero modes of this Dirac operator is the kernel of a linear mapping that is dependent on the associated vector bundle moduli. By explicitly computing the determinant of this map, one can deduce whether or not the dimension of the space of zero modes vanishes. It is shown that this information is sufficient to completely determine the Pfaffian and, hence, the non-perturbative superpotential as explicit holomorphic functions of the vector bundle moduli. This method is illustrated by a number of non-trivial examples.

preprint1995arXiv

Supersymmetric Yang-Mills Systems And Integrable Systems

The Coulomb branch of $N=2$ supersymmetric gauge theories in four dimensions is described in general by an integrable Hamiltonian system in the holomorphic sense. A natural construction of such systems comes from two-dimensional gauge theory and spectral curves. Starting from this point of view, we propose an integrable system relevant to the $N=2$ $SU(n)$ gauge theory with a hypermultiplet in the adjoint representation, and offer much evidence that it is correct. The model has an $SL(2,{\bf Z})$ $S$-duality group (with the central element $-1$ of $SL(2,{\bf Z})$ acting as charge conjugation); $SL(2,{\bf Z})$ permutes the Higgs, confining, and oblique confining phases in the expected fashion. We also study more exotic phases.