-
Twistor Hecke eigensheaves in genus 2
Authors:
Ron Donagi,
Tony Pantev,
Carlos Simpson
Abstract:
Following the strategy outlined in [DP09] arXiv:math/0604617 and [DP22] arXiv:math/0604617 for bundles of rank 2 on a smooth projective curve of genus $2$, we construct flat connections over the moduli of stable bundles, with singularities along the wobbly locus. We verify that the associated $D$-modules are Hecke eigensheaves. The local systems are constructed by the nonabelian Hodge corresponden…
▽ More
Following the strategy outlined in [DP09] arXiv:math/0604617 and [DP22] arXiv:math/0604617 for bundles of rank 2 on a smooth projective curve of genus $2$, we construct flat connections over the moduli of stable bundles, with singularities along the wobbly locus. We verify that the associated $D$-modules are Hecke eigensheaves. The local systems are constructed by the nonabelian Hodge correspondence from Higgs bundles. The spectral varieties of the Higgs bundles are the Hitchin fibers corresponding to the Hecke eigenvalues.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
The Hitchin Image in Type-D
Authors:
Aswin Balasubramanian,
Jacques Distler,
Ron Donagi,
Carlos Perez-Pardavila
Abstract:
Motivated by their appearance as Coulomb branch geometries of Class S theories, we study the image of the local Hitchin map in tame Hitchin systems of type-D with residue in a special nilpotent orbit $\mathcal{O}_H$. We describe two important features which distinguish it from the type A case studied in arXiv:2008.01020. The first feature, which we term even type constraints, arise iff the partiti…
▽ More
Motivated by their appearance as Coulomb branch geometries of Class S theories, we study the image of the local Hitchin map in tame Hitchin systems of type-D with residue in a special nilpotent orbit $\mathcal{O}_H$. We describe two important features which distinguish it from the type A case studied in arXiv:2008.01020. The first feature, which we term even type constraints, arise iff the partition label $[\mathcal{O}_H]$ has even parts. In this case, our Hitchin image is non-singular and thus different from the one studied by Baraglia and Kamgarpour. We argue that our Hitchin image always globalizes to being the Hitchin base of an integrable system. The second feature, which we term odd type constraints, is related to a particular finite group $\overline{A}_b(\mathcal{O}_H)$ being non-trivial. When this finite group is non-trivial, we have $\mid \overline{A}_b \mid$ choices for the local Hitchin base. Additionally, we also show that the finite group $\overline{A}_b(\mathcal{O}_H)$ encodes the size of the dual special piece.
△ Less
Submitted 13 March, 2024; v1 submitted 9 October, 2023;
originally announced October 2023.
-
The M-Theory Three-Form and Singular Geometries
Authors:
R. Donagi,
M. Wijnholt
Abstract:
While M- and F-theory compactifications describe a much larger class of vacua than perturbative string compactifications, they typically need singularities to generate non-abelian gauge fields and charged matter. The physical explanation involves M2-branes wrapped on vanishing cycles. Here we seek an alternative explanation that could address outstanding issues such as the description of nilpotent…
▽ More
While M- and F-theory compactifications describe a much larger class of vacua than perturbative string compactifications, they typically need singularities to generate non-abelian gauge fields and charged matter. The physical explanation involves M2-branes wrapped on vanishing cycles. Here we seek an alternative explanation that could address outstanding issues such as the description of nilpotent branches, stability walls, frozen singularities and so forth. To this end we use a model in which the three-form is related to the Chern-Simons form of a bundle. The model has a one-form non-abelian gauge symmetry which normally eliminates all the degrees of freedom associated to the bundle. However by restricting the transformations to preserve the bundle along the vanishing cycles, we may get new degrees of freedom associated to singularities, without appealing to wrapped M2-branes. The analysis can be simplified by gauge-fixing the one-form symmetry using higher-dimensional instanton equations. We explain how this mechanism leads to the natural emergence of phenomena such as enhanced ADE gauge symmetries, nilpotent branches, charged matter fields and their holomorphic couplings.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
Supermoduli Space with Ramond punctures is not projected
Authors:
Ron Donagi,
Nadia Ott
Abstract:
The supermoduli space $\frak{M}_{g,0,2r}$ is not projected for all $g \ge 5r +1 \ge 6$.
The supermoduli space $\frak{M}_{g,0,2r}$ is not projected for all $g \ge 5r +1 \ge 6$.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Improved statistics for F-theory standard models
Authors:
Martin Bies,
Mirjam Cvetič,
Ron Donagi,
Marielle Ong
Abstract:
Much of the analysis of F-theory-based Standard Models boils down to computing cohomologies of line bundles on matter curves. By varying parameters one can degenerate such matter curves to singular ones, typically with many nodes, where the computation is combinatorial and straightforward. The question remains to relate the (a priori possibly smaller) value on the original curve to the singular on…
▽ More
Much of the analysis of F-theory-based Standard Models boils down to computing cohomologies of line bundles on matter curves. By varying parameters one can degenerate such matter curves to singular ones, typically with many nodes, where the computation is combinatorial and straightforward. The question remains to relate the (a priori possibly smaller) value on the original curve to the singular one. In this work, we introduce some elementary techniques (pruning trees and removing interior edges) for simplifying the resulting nodal curves to a small collection of terminal ones that can be handled directly. When applied to the QSMs, these techniques yield optimal results in the sense that obtaining more precise answers would require currently unavailable information about the QSM geometries. This provides us with an opportunity to enhance the statistical bounds established in earlier research regarding the absence of vector-like exotics on the quark-doublet curve.
△ Less
Submitted 28 September, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
The bad locus in the moduli of super Riemann surfaces with Ramond punctures
Authors:
Ron Donagi,
Nadia Ott
Abstract:
The bad locus in the moduli of super Riemann surfaces with Ramond punctures parametrizes those super Riemann surfaces that have more than the expected number of independent closed holomorphic 1-forms. There is a super period map that depends on certain discrete choices. For each such choice, the period map blows up along a divisor that contains the bad locus. Our main result is that away from the…
▽ More
The bad locus in the moduli of super Riemann surfaces with Ramond punctures parametrizes those super Riemann surfaces that have more than the expected number of independent closed holomorphic 1-forms. There is a super period map that depends on certain discrete choices. For each such choice, the period map blows up along a divisor that contains the bad locus. Our main result is that away from the bad locus, at least one of these period maps remains finite. In other words, we identify the bad locus as the intersection of the blowup divisors. The proof abstracts the situation into a question in linear algebra, which we then solve. We also give some bounds on the dimension of the bad locus.
△ Less
Submitted 28 January, 2023; v1 submitted 4 August, 2022;
originally announced August 2022.
-
Brill-Noether-general Limit Root Bundles: Absence of vector-like Exotics in F-theory Standard Models
Authors:
Martin Bies,
Mirjam Cvetič,
Ron Donagi,
Marielle Ong
Abstract:
Root bundles appear prominently in studies of vector-like spectra of 4d F-theory compactifications. Of particular importance to phenomenology are the Quadrillion F-theory Standard Models (F-theory QSMs). In this work, we analyze a superset of the physical root bundles whose cohomologies encode the vector-like spectra for the matter representations $(\mathbf{3}, \mathbf{2})_{1/6}$,…
▽ More
Root bundles appear prominently in studies of vector-like spectra of 4d F-theory compactifications. Of particular importance to phenomenology are the Quadrillion F-theory Standard Models (F-theory QSMs). In this work, we analyze a superset of the physical root bundles whose cohomologies encode the vector-like spectra for the matter representations $(\mathbf{3}, \mathbf{2})_{1/6}$, $(\mathbf{\overline{3}}, \mathbf{1})_{-2/3}$ and $(\mathbf{1}, \mathbf{1})_{1}$. For the family $B_3( Δ_4^\circ )$ consisting of $\mathcal{O}(10^{11})$ F-theory QSM geometries, we argue that more than $99.995\%$ of the roots in this superset have no vector-like exotics. This indicates that absence of vector-like exotics in those representations is a very likely scenario.
The QSM geometries come in families of toric 3-folds $B_3( Δ^\circ )$ obtained from triangulations of certain 3-dimensional polytopes $Δ^\circ$. The matter curves in $X_Σ\in B_3( Δ^\circ )$ can be deformed to nodal curves which are the same for all spaces in $B_3( Δ^\circ )$. Therefore, one can probe the vector-like spectra on the entire family $B_3( Δ^\circ )$ from studies of a few nodal curves. We compute the cohomologies of all limit roots on these nodal curves.
In our applications, for the majority of limit roots the cohomologies are determined by line bundle cohomology on rational tree-like curves. For this, we present a computer algorithm. The remaining limit roots, corresponding to circuit-like graphs, are handled by hand. The cohomologies are independent of the relative position of the nodes, except for a few circuits. On these \emph{jum** circuits}, line bundle cohomologies can jump if nodes are specially aligned. This mirrors classical Brill-Noether jumps. $B_3( Δ_4^\circ )$ admits a jum** circuit, but the root bundle constraints pick the canonical bundle and no jump happens.
△ Less
Submitted 30 June, 2022; v1 submitted 29 April, 2022;
originally announced May 2022.
-
Hodge classes on the moduli space of W(E_6)-covers and the geometry of A_6
Authors:
Valery Alexeev,
Ron Donagi,
Gavril Farkas,
Elham Izadi,
Angela Ortega
Abstract:
In previous work we showed that the Hurwitz space of W(E_6)-covers of the projective line branched over 24 points dominates via the Prym-Tyurin map the moduli space A_6 of principally polarized abelian 6-folds. Here we determine the 25 Hodge classes on the Hurwitz space of W(E_6)-covers corresponding to the 25 irreducible representations of the Weyl group W(E_6). This result has direct implication…
▽ More
In previous work we showed that the Hurwitz space of W(E_6)-covers of the projective line branched over 24 points dominates via the Prym-Tyurin map the moduli space A_6 of principally polarized abelian 6-folds. Here we determine the 25 Hodge classes on the Hurwitz space of W(E_6)-covers corresponding to the 25 irreducible representations of the Weyl group W(E_6). This result has direct implications to the intersection theory of the toroidal compactification A_6. In the final part of the paper, we present an alternative, elementary proof of our uniformization result on A_6 via Prym-Tyurin varieties of type W(E_6).
△ Less
Submitted 7 April, 2022; v1 submitted 20 July, 2021;
originally announced July 2021.
-
Root Bundles and Towards Exact Matter Spectra of F-theory MSSMs
Authors:
Martin Bies,
Mirjam Cvetič,
Ron Donagi,
Muyang Liu,
Marielle Ong
Abstract:
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…
▽ More
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.
△ Less
Submitted 19 February, 2021;
originally announced February 2021.
-
Families of Hitchin systems and N=2 theories
Authors:
Aswin Balasubramanian,
Jacques Distler,
Ron Donagi
Abstract:
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…
▽ More
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$.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Machine Learning and Algebraic Approaches towards Complete Matter Spectra in 4d F-theory
Authors:
Martin Bies,
Mirjam Cvetic,
Ron Donagi,
Ling Lin,
Muyang Liu,
Fabian Ruehle
Abstract:
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 w…
▽ More
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.
△ Less
Submitted 30 June, 2020;
originally announced July 2020.
-
Folding of Hitchin systems and crepant resolutions
Authors:
Florian Beck,
Ron Donagi,
Katrin Wendland
Abstract:
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 the…
▽ More
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.
△ Less
Submitted 8 April, 2020;
originally announced April 2020.
-
Parabolic Hecke eigensheaves
Authors:
Ron Donagi,
Tony Pantev
Abstract:
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 theor…
▽ More
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}$.
△ Less
Submitted 26 July, 2022; v1 submitted 5 October, 2019;
originally announced October 2019.
-
Global aspects of moduli spaces of 2d SCFTs
Authors:
Ron Donagi,
Mark Macerato,
Eric Sharpe
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 June, 2019;
originally announced June 2019.
-
Twisted spectral correspondence and torus knots
Authors:
Wu-yen Chuang,
Duiliu-Emanuel Diaconescu,
Ron Donagi,
Satoshi Nawata,
Tony Pantev
Abstract:
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 carrie…
▽ More
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.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Conformal field theories and compact curves in moduli spaces
Authors:
Ron Donagi,
David R. Morrison
Abstract:
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.
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.
△ Less
Submitted 20 March, 2018; v1 submitted 15 September, 2017;
originally announced September 2017.
-
On the global moduli of Calabi-Yau threefolds
Authors:
Ron Donagi,
Mark Macerato,
Eric Sharpe
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 November, 2018; v1 submitted 17 July, 2017;
originally announced July 2017.
-
BPS states, torus links and wild character varieties
Authors:
Duiliu-Emanuel Diaconescu,
Ron Donagi,
Tony Pantev
Abstract:
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 Hause…
▽ More
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.
△ Less
Submitted 24 April, 2017;
originally announced April 2017.
-
Type II String Theory on Calabi-Yau Manifolds with Torsion and Non-Abelian Discrete Gauge Symmetries
Authors:
Volker Braun,
Mirjam Cvetic,
Ron Donagi,
Maximilian Poretschkin
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Direct Images in Non Abelian Hodge Theory
Authors:
R. Donagi,
T. Pantev,
C. Simpson
Abstract:
In this paper we explain how non-abelian Hodge theory allows one to compute the $L^2$ cohomology or middle perversity higher direct images of harmonic bundles and twistor D-modules in a purely algebraic manner. Our main result is a new algebraic description for the fiberwise $L^2$ cohomology of a tame harmonic bundle or the corre- sponding flat bundle or tame polystable parabolic Higgs bundle. Spe…
▽ More
In this paper we explain how non-abelian Hodge theory allows one to compute the $L^2$ cohomology or middle perversity higher direct images of harmonic bundles and twistor D-modules in a purely algebraic manner. Our main result is a new algebraic description for the fiberwise $L^2$ cohomology of a tame harmonic bundle or the corre- sponding flat bundle or tame polystable parabolic Higgs bundle. Specifically we give a formula for the Dolbeault version of the $L^2$ pushforward in terms of a modification of the Dolbeault complex of a Higgs bundle which takes into account the monodromy weight filtration in the normal directions of the horizontal parabolic divisor. The parabolic structure of the higher direct image is obtained by analyzing the V -filtration at a normal crossings point. We prove this algebraic formula for semistable families of curves.
△ Less
Submitted 19 December, 2016;
originally announced December 2016.
-
ADE Transform
Authors:
Ron Donagi,
Martijn Wijnholt
Abstract:
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.
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.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
The uniformization of the moduli space of principally polarized abelian 6-folds
Authors:
Valery Alexeev,
Ron Donagi,
Gavril Farkas,
Elham Izadi,
Angela Ortega
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 15 March, 2018; v1 submitted 21 July, 2015;
originally announced July 2015.
-
F-Theory Vacua with Z_3 Gauge Symmetry
Authors:
Mirjam Cvetič,
Ron Donagi,
Denis Klevers,
Hernan Piragua,
Maximilian Poretschkin
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 February, 2015;
originally announced February 2015.
-
Global aspects of (0,2) moduli space: toric varieties and tangent bundles
Authors:
Ron Donagi,
Zhentao Lu,
Ilarion V. Melnikov
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 September, 2014;
originally announced September 2014.
-
Super Atiyah classes and obstructions to splitting of supermoduli space
Authors:
Ron Donagi,
Edward Witten
Abstract:
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. Th…
▽ More
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.
△ Less
Submitted 24 April, 2014;
originally announced April 2014.
-
Parabolic refined invariants and Macdonald polynomials
Authors:
Wu-yen Chuang,
Duiliu-Emanuel Diaconescu,
Ron Donagi,
Tony Pantev
Abstract:
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 po…
▽ More
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.
△ Less
Submitted 14 November, 2013;
originally announced November 2013.
-
Supermoduli Space Is Not Projected
Authors:
Ron Donagi,
Edward Witten
Abstract:
We prove that for genus greater than or equal to 5, the moduli space of super Riemann surfaces is not projected (and in particular is not split): it cannot be holomorphically projected to its underlying reduced manifold. Physically, this means that certain approaches to superstring perturbation theory that are very powerful in low orders have no close analog in higher orders. Mathematically, it me…
▽ More
We prove that for genus greater than or equal to 5, the moduli space of super Riemann surfaces is not projected (and in particular is not split): it cannot be holomorphically projected to its underlying reduced manifold. Physically, this means that certain approaches to superstring perturbation theory that are very powerful in low orders have no close analog in higher orders. Mathematically, it means that the moduli space of super Riemann surfaces cannot be constructed in an elementary way starting with the moduli space of ordinary Riemann surfaces. It has a life of its own.
△ Less
Submitted 19 July, 2023; v1 submitted 29 April, 2013;
originally announced April 2013.
-
The Sen Limit
Authors:
A. Clingher,
R. Donagi,
M. Wijnholt
Abstract:
F-theory compactifications on elliptic Calabi-Yau manifolds may be related to IIb compactifications by taking a certain limit in complex structure moduli space, introduced by A. Sen. The limit has been characterized on the basis of SL(2,Z) monodromies of the elliptic fibration. Instead, we introduce a stable version of the Sen limit. In this picture the elliptic Calabi-Yau splits into two pieces,…
▽ More
F-theory compactifications on elliptic Calabi-Yau manifolds may be related to IIb compactifications by taking a certain limit in complex structure moduli space, introduced by A. Sen. The limit has been characterized on the basis of SL(2,Z) monodromies of the elliptic fibration. Instead, we introduce a stable version of the Sen limit. In this picture the elliptic Calabi-Yau splits into two pieces, a P^1-bundle and a conic bundle, and the intersection yields the IIb space-time. We get a precise match between F-theory and perturbative type IIb. The correspondence is holographic, in the sense that physical quantities seemingly spread in the bulk of the F-theory Calabi-Yau may be rewritten as expressions on the log boundary. Smoothing the F-theory Calabi-Yau corresponds to summing up the D(-1)-instanton corrections to the IIb theory.
△ Less
Submitted 18 December, 2012;
originally announced December 2012.
-
Weak Coupling, Degeneration and Log Calabi-Yau Spaces
Authors:
R. Donagi,
S. Katz,
M. Wijnholt
Abstract:
We establish a new weak coupling limit in F-theory. The new limit may be thought of as the process in which a local model bubbles off from the rest of the Calabi-Yau. The construction comes with a small deformation parameter $t$ such that computations in the local model become exact as $t \to 0$. More generally, we advocate a modular approach where compact Calabi-Yau geometries are obtained by glu…
▽ More
We establish a new weak coupling limit in F-theory. The new limit may be thought of as the process in which a local model bubbles off from the rest of the Calabi-Yau. The construction comes with a small deformation parameter $t$ such that computations in the local model become exact as $t \to 0$. More generally, we advocate a modular approach where compact Calabi-Yau geometries are obtained by gluing together local pieces (log Calabi-Yau spaces) into a normal crossing variety and smoothing, in analogy with a similar cutting and gluing approach to topological field theories. We further argue for a holographic relation between F-theory on a degenerate Calabi-Yau and a dual theory on its boundary, which fits nicely with the gluing construction.
△ Less
Submitted 3 December, 2012;
originally announced December 2012.
-
On Seven-Brane Dependent Instanton Prefactors in F-theory
Authors:
Mirjam Cvetič,
Ron Donagi,
James Halverson,
Joseph Marsano
Abstract:
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 ins…
▽ More
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.
△ Less
Submitted 21 September, 2012;
originally announced September 2012.
-
Gluing Branes II: Flavour Physics and String Duality
Authors:
R. Donagi,
M. Wijnholt
Abstract:
Recently we discussed new aspects of degenerate brane configurations, which can appear in the context of heterotic strings, perturbative type II, or M/F-theory. Here we continue our study of degenerate brane configurations, focussing on two applications. First we show how the notion of gluing can be viewed as a tool to engineer flavour structures in F-theory and type IIb, such as models with bulk…
▽ More
Recently we discussed new aspects of degenerate brane configurations, which can appear in the context of heterotic strings, perturbative type II, or M/F-theory. Here we continue our study of degenerate brane configurations, focussing on two applications. First we show how the notion of gluing can be viewed as a tool to engineer flavour structures in F-theory and type IIb, such as models with bulk matter and with Yukawa textures arising from the holomorphic zero mechanism. We find that there is in principle enough structure to solve some of the major flavour problems without generating exotics. In particular, we show how this addresses the mu-problem, doublet/triplet splitting and proton decay. Secondly, we describe the Fourier-Mukai transform of heterotic monad constructions, which occur in the large volume limit of heterotic linear sigma model vacua. Degenerate structures again often appear. One may use this to explore strong coupling phenomena using heterotic/F-theory duality.
△ Less
Submitted 26 December, 2013; v1 submitted 20 December, 2011;
originally announced December 2011.
-
The MSSM Spectrum from (0,2)-Deformations of the Heterotic Standard Embedding
Authors:
Volker Braun,
Philip Candelas,
Rhys Davies,
Ron Donagi
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 5 December, 2011;
originally announced December 2011.
-
Physical aspects of quantum sheaf cohomology for deformations of tangent bundles of toric varieties
Authors:
R. Donagi,
J. Guffin,
S. Katz,
E. Sharpe
Abstract:
In this paper, we will outline computations of quantum sheaf cohomology for deformations of tangent bundles of toric varieties, for those deformations describable as deformations of toric Euler sequences. Quantum sheaf cohomology is a heterotic analogue of quantum cohomology, a quantum deformation of the classical product on sheaf cohomology groups, that computes nonperturbative corrections to ana…
▽ More
In this paper, we will outline computations of quantum sheaf cohomology for deformations of tangent bundles of toric varieties, for those deformations describable as deformations of toric Euler sequences. Quantum sheaf cohomology is a heterotic analogue of quantum cohomology, a quantum deformation of the classical product on sheaf cohomology groups, that computes nonperturbative corrections to analogues of (27*)^3 couplings in heterotic string computations. Previous computations have relied on either physics-based GLSM techniques or computation-intensive brute-force Cech cohomology techniques. This paper describes methods for greatly simplifying mathematical computations, and derives more general results than previously obtainable with GLSM techniques. We will outline recent results (rigorous proofs will appear elsewhere).
△ Less
Submitted 1 November, 2011; v1 submitted 17 October, 2011;
originally announced October 2011.
-
A Mathematical Theory of Quantum Sheaf Cohomology
Authors:
Ron Donagi,
Josh Guffin,
Sheldon Katz,
Eric Sharpe
Abstract:
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 o…
▽ More
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$.
△ Less
Submitted 2 November, 2011; v1 submitted 17 October, 2011;
originally announced October 2011.
-
Gluing Branes, I
Authors:
Ron Donagi,
Martijn Wijnholt
Abstract:
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 gluin…
▽ More
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.
△ Less
Submitted 26 December, 2013; v1 submitted 13 April, 2011;
originally announced April 2011.
-
MSW Instantons
Authors:
Ron Donagi,
Martijn Wijnholt
Abstract:
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 ove…
▽ More
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.
△ Less
Submitted 26 December, 2013; v1 submitted 28 May, 2010;
originally announced May 2010.
-
Higgs Bundles and UV Completion in F-Theory
Authors:
Ron Donagi,
Martijn Wijnholt
Abstract:
F-theory admits 7-branes with exceptional gauge symmetries, which can be compactified to give phenomenological four-dimensional GUT models. Here we study general supersymmetric compactifications of eight-dimensional Yang-Mills theory. They are mathematically described by meromorphic Higgs bundles, and therefore admit a spectral cover description. This allows us to give a rigorous and intrinsic c…
▽ More
F-theory admits 7-branes with exceptional gauge symmetries, which can be compactified to give phenomenological four-dimensional GUT models. Here we study general supersymmetric compactifications of eight-dimensional Yang-Mills theory. They are mathematically described by meromorphic Higgs bundles, and therefore admit a spectral cover description. This allows us to give a rigorous and intrinsic construction of local models in F-theory. We use our results to prove a no-go theorem showing that local SU(5) models with three generations do not exist for generic moduli. However we show that three-generation models do exist on the Noether-Lefschetz locus. We explain how F-theory models can be mapped to non-perturbative orientifold models using a scaling limit proposed by Sen.
Further we address the construction of global models that do not have heterotic duals. We show how one may obtain a contractible worldvolume with a two-cycle not inherited from the bulk, a necessary condition for implementing GUT breaking using fluxes. We also show that the complex structure moduli in global models can be arranged so that no dimension four or five proton decay can be generated.
△ Less
Submitted 8 April, 2009;
originally announced April 2009.
-
Exploring a new peak in the heterotic landscape
Authors:
Anthony Bak,
Vincent Bouchard,
Ron Donagi
Abstract:
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 explor…
▽ More
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.
△ Less
Submitted 22 April, 2010; v1 submitted 10 November, 2008;
originally announced November 2008.
-
Abelian Fibrations, String Junctions, and Flux/Geometry Duality
Authors:
Ron Donagi,
Peng Gao,
Michael B. Schulz
Abstract:
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 Cala…
▽ More
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.
△ Less
Submitted 29 October, 2008;
originally announced October 2008.
-
On orbifolds and free fermion constructions
Authors:
Ron Donagi,
Katrin Wendland
Abstract:
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. Howeve…
▽ More
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.
△ Less
Submitted 15 November, 2008; v1 submitted 2 September, 2008;
originally announced September 2008.
-
Breaking GUT Groups in F-Theory
Authors:
Ron Donagi,
Martijn Wijnholt
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 December, 2013; v1 submitted 17 August, 2008;
originally announced August 2008.
-
On heterotic model constraints
Authors:
Vincent Bouchard,
Ron Donagi
Abstract:
The constraints imposed on heterotic compactifications by global consistency and phenomenology seem to be very finely balanced. We show that weakening these constraints, as was proposed in some recent works, is likely to lead to frivolous results. In particular, we construct an infinite set of such frivolous models having precisely the massless spectrum of the MSSM and other quasi-realistic feat…
▽ More
The constraints imposed on heterotic compactifications by global consistency and phenomenology seem to be very finely balanced. We show that weakening these constraints, as was proposed in some recent works, is likely to lead to frivolous results. In particular, we construct an infinite set of such frivolous models having precisely the massless spectrum of the MSSM and other quasi-realistic features. Only one model in this infinite collection (the one constructed in arXiv:hep-th/0512149) is globally consistent and supersymmetric. The others might be interpreted as being anomalous, or as non-supersymmetric models, or as local models that cannot be embedded in a global one. We also show that the strongly coupled model of arXiv:hep-th/0512149 can be modified to a perturbative solution with stable SU(4) or SU(5) bundles in the hidden sector. We finally propose a detailed exploration of heterotic vacua involving bundles on Calabi-Yau threefolds with Z_6 Wilson lines; we obtain many more frivolous solutions, but none that are globally consistent and supersymmetric at the string scale.
△ Less
Submitted 14 April, 2008;
originally announced April 2008.
-
Model Building with F-Theory
Authors:
Ron Donagi,
Martijn Wijnholt
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 April, 2012; v1 submitted 21 February, 2008;
originally announced February 2008.
-
On a class of non-simply connected Calabi-Yau threefolds
Authors:
Vincent Bouchard,
Ron Donagi
Abstract:
We obtain a detailed classification for a class of non-simply connected Calabi-Yau threefolds which are of potential interest for a wide range of problems in string phenomenology. These threefolds arise as quotients of Schoen's Calabi-Yau threefolds, which are fiber products over P1 of two rational elliptic surfaces. The quotient is by a freely acting finite abelian group preserving the fibratio…
▽ More
We obtain a detailed classification for a class of non-simply connected Calabi-Yau threefolds which are of potential interest for a wide range of problems in string phenomenology. These threefolds arise as quotients of Schoen's Calabi-Yau threefolds, which are fiber products over P1 of two rational elliptic surfaces. The quotient is by a freely acting finite abelian group preserving the fibrations. Our work involves a classification of restricted finite automorphism groups of rational elliptic surfaces.
△ Less
Submitted 14 April, 2008; v1 submitted 24 April, 2007;
originally announced April 2007.
-
GLSM's for partial flag manifolds
Authors:
R. Donagi,
E. Sharpe
Abstract:
In this paper we outline some aspects of nonabelian gauged linear sigma models. First, we review how partial flag manifolds (generalizing Grassmannians) are described physically by nonabelian gauged linear sigma models, paying attention to realizations of tangent bundles and other aspects pertinent to (0,2) models. Second, we review constructions of Calabi-Yau complete intersections within such…
▽ More
In this paper we outline some aspects of nonabelian gauged linear sigma models. First, we review how partial flag manifolds (generalizing Grassmannians) are described physically by nonabelian gauged linear sigma models, paying attention to realizations of tangent bundles and other aspects pertinent to (0,2) models. Second, we review constructions of Calabi-Yau complete intersections within such flag manifolds, and properties of the gauged linear sigma models. We discuss a number of examples of nonabelian GLSM's in which the Kahler phases are not birational, and in which at least one phase is realized in some fashion other than as a complete intersection, extending previous work of Hori-Tong. We also review an example of an abelian GLSM exhibiting the same phenomenon. We tentatively identify the mathematical relationship between such non-birational phases, as examples of Kuznetsov's homological projective duality. Finally, we discuss linear sigma model moduli spaces in these gauged linear sigma models. We argue that the moduli spaces being realized physically by these GLSM's are precisely Quot and hyperquot schemes, as one would expect mathematically.
△ Less
Submitted 30 August, 2007; v1 submitted 13 April, 2007;
originally announced April 2007.
-
Metastable Quivers in String Compactifications
Authors:
Duiliu-Emanuel Diaconescu,
Ron Donagi,
Bogdan Florea
Abstract:
We propose a scenario for dynamical supersymmetry breaking in string compactifications based on geometric engineering of quiver gauge theories. In particular we show that the runaway behavior of fractional branes at del Pezzo singularities can be stabilized by a flux superpotential in compact models. Our construction relies on homological mirror symmetry for orientifolds.
We propose a scenario for dynamical supersymmetry breaking in string compactifications based on geometric engineering of quiver gauge theories. In particular we show that the runaway behavior of fractional branes at del Pezzo singularities can be stabilized by a flux superpotential in compact models. Our construction relies on homological mirror symmetry for orientifolds.
△ Less
Submitted 1 February, 2007; v1 submitted 11 January, 2007;
originally announced January 2007.
-
Intermediate Jacobians and ADE Hitchin Systems
Authors:
Duiliu-Emanuel Diaconescu,
Ron Donagi,
Tony Pantev
Abstract:
Let $Σ$ be a smooth projective complex curve and $\mathfrak{g}$ a simple Lie algebra of type ${\sf ADE}$ with associated adjoint group $G$. For a fixed pair $(Σ, \mathfrak{g})$, we construct a family of quasi-projective Calabi-Yau threefolds parameterized by the base of the Hitchin integrable system associated to $(Σ,\mathfrak{g})$. Our main result establishes an isomorphism between the Calabi-Y…
▽ More
Let $Σ$ be a smooth projective complex curve and $\mathfrak{g}$ a simple Lie algebra of type ${\sf ADE}$ with associated adjoint group $G$. For a fixed pair $(Σ, \mathfrak{g})$, we construct a family of quasi-projective Calabi-Yau threefolds parameterized by the base of the Hitchin integrable system associated to $(Σ,\mathfrak{g})$. Our main result establishes an isomorphism between the Calabi-Yau integrable system, whose fibers are the intermediate Jacobians of this family of Calabi-Yau threefolds, and the Hitchin system for $G$, whose fibers are Prym varieties of the corresponding spectral covers. This construction provides a geometric framework for Dijkgraaf-Vafa transitions of type ${\sf ADE}$. In particular, it predicts an interesting connection between adjoint ${\sf ADE}$ Hitchin systems and quantization of holomorphic branes on Calabi-Yau manifolds.
△ Less
Submitted 24 July, 2006; v1 submitted 21 July, 2006;
originally announced July 2006.
-
Yukawa Couplings on Quintic Threefolds
Authors:
Ron Donagi,
Rene Reinbacher,
Shing-Tung Yau
Abstract:
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-…
▽ More
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.
△ Less
Submitted 2 November, 2011; v1 submitted 22 May, 2006;
originally announced May 2006.
-
Langlands duality for Hitchin systems
Authors:
Ron Donagi,
Tony Pantev
Abstract:
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 connecte…
▽ More
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}$.
△ Less
Submitted 21 December, 2011; v1 submitted 28 April, 2006;
originally announced April 2006.
-
Tri-linear Couplings in an Heterotic Minimal Supersymmetric Standard Model
Authors:
Vincent Bouchard,
Mirjam Cvetic,
Ron Donagi
Abstract:
We calculate, at the classical level, the superpotential tri-linear couplings of the only known globally consistent heterotic minimal supersymmetric Standard Model [ hep-th/0512149 ]. This recently constructed model is based on a compactification of the E_8 x E_8 heterotic string theory on a Calabi-Yau threefold with Z_2 fundamental group, coupled with a slope-stable holomorphic SU(5) vector bun…
▽ More
We calculate, at the classical level, the superpotential tri-linear couplings of the only known globally consistent heterotic minimal supersymmetric Standard Model [ hep-th/0512149 ]. This recently constructed model is based on a compactification of the E_8 x E_8 heterotic string theory on a Calabi-Yau threefold with Z_2 fundamental group, coupled with a slope-stable holomorphic SU(5) vector bundle. In the observable sector the massless particle content is that of the three-family supersymmetric Standard Model with n=0,1,2 massless Higgs pairs, depending on the location in the vector bundle moduli space, and no exotic particles. We obtain non-zero Yukawa couplings for the three up-sector quarks, and vanishing R-parity violating terms. In particular, the proton is stable. Another interesting feature is the existence of tri-linear couplings, on the loci with massless Higgs pairs, generating μ-mass parameters for the Higgs pairs and neutrino mass terms, with specific vector bundle moduli playing the role of right-handed neutrinos.
△ Less
Submitted 7 April, 2006; v1 submitted 10 February, 2006;
originally announced February 2006.