
In this note we initiate a program to obtain global descriptions of
CalabiYau moduli spaces, to calculate their Picard group, and to identify
within that group the Hodge line bundle, and the closelyrelated BaggerWitten
line bundle. We do this here for several CalabiYau'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.

Cohomological invariants of twisted wild character varieties as constructed
by Boalch and Yamakawa are derived from enumerative CalabiYau geometry and
refined ChernSimons 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, kl1) torus knots, providing a colored generalization of
existing results of Hausel, Mereb and Wong as well as Shende, Treumann and
Zaslow.

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.

Starting from a beautiful idea of Kanev, we construct a uniformization of the
moduli space A_6 of principally polarized abelian 6folds in terms of curves
and monodromy data. We show that the general ppav of dimension 6 is a
PrymTyurin 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_6covers,
including: (1) a proof that the canonical class of the Hurwitz space is big,
(2) a concrete geometric description of the HodgeHurwitz eigenbundles with
respect to the Kanev correspondence and (3) a description of the ramification
divisor of the PrymTyurin map from the Hurwitz space to A_6 in the terms of
syzygies of the AbelPrymTyurin curve.

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.

We provide the first explicit example of Type IIB string theory
compactification on a globally defined CalabiYau threefold with torsion which
results in a fourdimensional effective theory with a nonAbelian discrete
gauge symmetry. Our example is based on a particular CalabiYau 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 nontrivially to the fourth
cohomology. This specifies a nonAbelian, Heisenbergtype discrete symmetry
group of the fourdimensional theory.

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 FourierMukai transform
that relates spectral data to bundles over a rational surface fibration.

Discrete gauge groups naturally arise in Ftheory compactifications on
genusone fibered CalabiYau manifolds. Such geometries appear in families that
are parameterized by the TateShafarevich group of the genusone fibration.
While the Ftheory compactification on any element of this family gives rise to
the same physics, the corresponding Mtheory 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 TateShafarevich
group of the general cubic. We discuss how the different Mtheory vacua and the
associated discrete gauge groups can be obtained by Higgsing of a pair of
fivedimensional 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.

We study the moduli space of A/2 halftwisted 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.

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
nonprojectedness of ${\mathfrak{M}}_{g,1}$, the moduli space of super Riemann
surfaces with one puncture.

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
nonvanishing gluing VEVs. We further give a detailed discussion of the Dterms
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 Ftheory
even though they are absent in the 11d supergravity description. We also
propose a numerical approach for approximating the hermitianEinstein metric of
the Higgs bundle using balanced metrics.

We analyze M5instantons in Ftheory, or equivalently D3instantons with
varying axiodilaton, in the presence of 7brane gauge groups. The chiral
twoform on the M5brane plays an important role, because it couples the
M5brane to vector multiplets and charged chiral fields. The chiral twoform
does not have a semiclassical 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
M5instantons with D3instantons 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.

We consider the possibility of breaking the GUT group to the Standard Model
gauge group in Ftheory 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 Ftheory. 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 RaySinger torsion. We also discuss
the issue of proton decay in Ftheory models and explain how to engineer models
which satisfy current experimental bounds.

A string theoretic derivation is given for the conjecture of Hausel,
Letellier, and RodriguezVillegas 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.

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.

We study the modulidependent prefactor of M5instanton corrections to the
superpotential in fourdimensional Ftheory compactifications. In light of the
Mtheory 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 sevenbranes. We
present an instanton prefactor in an E_6 Ftheory 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 Gflux 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 rightmovers of heterotic worldsheet
instantons, 33 strings of euclidean D3 instantons, and the Fermi zero modes of
M5instantons.

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

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
nonneutral 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}$.

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 CalabiYau 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.

The purpose of this paper is to present a mathematical theory of the
halftwisted $(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$.

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 nongeneric 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 KodairaSpencer class obeys the LiYau nondegeneracy
conditions and admits a nonvanishing triple pairing.

We study the existence of realistic heterotic vacua on a new Abelian surface
fibered CalabiYau threefold X with Z_8 x Z_8 fundamental group. Our main
result is a nogo 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 FourierMukai transform of vector bundles
on Abelian surface fibrations.

Ftheory admits 7branes with exceptional gauge symmetries, which can be
compactified to give phenomenological fourdimensional GUT models. Here we
study general supersymmetric compactifications of eightdimensional YangMills
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 Ftheory. We use our results to
prove a nogo theorem showing that local SU(5) models with three generations do
not exist for generic moduli. However we show that threegeneration models do
exist on the NoetherLefschetz locus. We explain how Ftheory models can be
mapped to nonperturbative 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
twocycle 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.

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 semirealistic NAHE free fermion model is proved to
be nongeometric: its Hodge numbers are not reproduced by any orbifold X/G. In
particular cases it is shown that X/G can agree with some BorceaVoisin
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.

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
CalabiYau threefolds. We provide two explicit constructions of the resulting
CalabiYau duals. The first is a monodromy based description, analogous to
Ftheory encoding of CalabiYau geometry via 7branes and string junctions,
except for T^4 rather than T^2 fibers. The second is an explicit
algebrogeometric construction in which the T^4 fibers arise as the Jacobian
tori of a family of genus2 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
KaluzaKlein reduction in toroidal orientifolds, and to check the modified
rules for Dbrane instanton zero mode counting due to the presence of flux and
other Dbranes. The nontrivial fundamental groups of the CalabiYau manifolds
constructed also have potential applications to heterotic model building.