• ### On the global moduli of Calabi-Yau threefolds(1707.05322)

Nov. 17, 2018 hep-th, math.AG
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.
• ### Twisted spectral correspondence and torus knots(1804.08364)

April 23, 2018 hep-th, math.AG
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.
• ### Conformal field theories and compact curves in moduli spaces(1709.05355)

March 20, 2018 hep-th, math.AG
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.
• ### The uniformization of the moduli space of principally polarized abelian 6-folds(1507.05710)

March 15, 2018 math.AG
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.
• ### BPS states, torus links and wild character varieties(1704.07412)

April 24, 2017 hep-th, math.AG
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.
• ### Type II String Theory on Calabi-Yau Manifolds with Torsion and Non-Abelian Discrete Gauge Symmetries(1702.08071)

Feb. 26, 2017 hep-th
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.

Oct. 16, 2015 hep-th, math.AG
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.
• ### F-Theory Vacua with Z_3 Gauge Symmetry(1502.06953)

Feb. 24, 2015 hep-th
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\^ole.
• ### Global aspects of (0,2) moduli space: toric varieties and tangent bundles(1409.4353)

Sept. 15, 2014 hep-th
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.
• ### Super Atiyah classes and obstructions to splitting of supermoduli space(1404.6257)

April 24, 2014 hep-th, math-ph, math.MP, math.AG
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.
• ### Gluing Branes, I(1104.2610)

Dec. 26, 2013 hep-th
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.
• ### MSW Instantons(1005.5391)

Dec. 26, 2013 hep-th
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.
• ### Breaking GUT Groups in F-Theory(0808.2223)

Dec. 26, 2013 hep-th
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.
• ### Parabolic refined invariants and Macdonald polynomials(1311.3624)

Nov. 14, 2013 hep-th, math.AG
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.
• ### Supermoduli Space Is Not Projected(1304.7798)

April 29, 2013 hep-th, math.AG
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.
• ### On Seven-Brane Dependent Instanton Prefactors in F-theory(1209.4906)

Sept. 21, 2012 hep-th, hep-ph, math.AG
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.
• ### Model Building with F-Theory(0802.2969)

April 3, 2012 hep-th
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.
• ### Langlands duality for Hitchin systems(math/0604617)

Dec. 22, 2011 hep-th, math.AG, math.RT
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_{\alpha}$ 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}$.
• ### The MSSM Spectrum from (0,2)-Deformations of the Heterotic Standard Embedding(1112.1097)

Dec. 5, 2011 hep-th, hep-ph, math.AG
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.
• ### A Mathematical Theory of Quantum Sheaf Cohomology(1110.3751)

Nov. 2, 2011 hep-th, math-ph, math.MP, math.AG
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$.
• ### Yukawa Couplings on Quintic Threefolds(hep-th/0605203)

Nov. 2, 2011 hep-th
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.
• ### Exploring a new peak in the heterotic landscape(0811.1242)

April 22, 2010 hep-th, math.AG
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.
• ### Higgs Bundles and UV Completion in F-Theory(0904.1218)

April 8, 2009 hep-th
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.
• ### On orbifolds and free fermion constructions(0809.0330)

Nov. 15, 2008 hep-th, math-ph, math.MP, math.AG
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.
• ### Abelian Fibrations, String Junctions, and Flux/Geometry Duality(0810.5195)

Oct. 29, 2008 hep-th, math.AG
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.