Tuesday, June 29, 2010

An Exceptional Sector for F-theory GUTs

.
D3-branes are often a necessary ingredient in global compactifications of F-theory. In minimal realizations of flavor hierarchies in F-theory GUT models, suitable fluxes are turned on, which in turn attract D3-branes to the Yukawa points. Of particular importance are ``E-type'' Yukawa points, as they are required to realize a large top quark mass. In this paper we study the worldvolume theory of a D3-brane probing such an E-point. D3-brane probes of isolated exceptional singularities lead to strongly coupled N = 2 CFTs of the type found by Minahan and Nemeschansky. We show that the local data of an E-point probe theory determines an N = 1 deformation of the original N = 2 theory which couples this strongly interacting CFT to a free hypermultiplet. Monodromy in the seven-brane configuration translates to a novel class of deformations of the CFT. We study how the probe theory couples to the Standard Model, determining the most relevant F-term couplings, the effect of the probe on the running of the Standard Model gauge couplings, as well as possible sources of kinetic mixing with the Standard Model.

Wednesday, June 23, 2010

Mass Equidistribution for Automorphic Forms of Cohomological Type on GL_2

.
We extend Holowinsky and Soundararajan's proof of quantum unique ergodicity for holomorphic Hecke modular forms on SL(2,Z), by establishing it for automorphic forms of cohomological type on GL_2 over an arbitrary number field which satisfy the Ramanujan bounds. In particular, we have uncondtional theorems over totally real and imaginary quadratic fields. In the totally real case we show that our result implies the equidistribution of the zero divisors of holomorphic Hecke modular forms, generalising a result of Rudnick over Q.

Monday, June 21, 2010

Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants

.
We define a new type of Hall algebras associated e.g. with quivers with polynomial potentials. The main difference with the conventional definition is that we use cohomology of the stack of representations instead of constructible sheaves or functions. In order to take into account the potential we introduce a generalization of theory of mixed Hodge structures, related to exponential integrals. Generating series of our Cohomological Hall algebra is a generalization of the motivic Donaldson-Thomas invariants introduced in arXiv:0811.2435. Also we prove a new integrality property of motivic Donaldson-Thomas invariants.

Friday, June 18, 2010

R-Twisting and 4d/2d Correspondences

.
We show how aspects of the R-charge of N=2 CFTs in four dimensions are encoded in the q-deformed Kontsevich-Soibelman monodromy operator, built from their dyon spectra. In particular, the monodromy operator should have finite order if the R-charges are rational. We verify this for a number of examples including those arising from pairs of ADE singularities on a Calabi-Yau threefold (some of which are dual to 6d (2,0) ADE theories suitably fibered over the plane). In these cases we find that our monodromy maps to that of the Y-systems, studied by Zamolodchikov in the context of TBA. Moreover we find that the trace of the (fractional) q-deformed KS monodromy is given by the characters of 2d conformal field theories associated to the corresponding TBA (i.e. integrable deformations of the generalized parafermionic systems). The Verlinde algebra gets realized through evaluation of line operators at the loci of the associated hyperKahler manifold fixed under R-symmetry action. Moreover, we propose how the TBA system arises as part of the N=2 theory in 4 dimensions. Finally, we initiate a classification of N=2 superconformal theories in 4 dimensions based on their quiver data and find that this classification problem is mapped to the classification of N=2 theories in 2 dimensions, and use this to classify all the 4d, N=2 theories with up to 3 generators for BPS states.

BKM Lie superalgebras from counting twisted CHL dyons

.
Following Sen[arXiv:0911.1563], we study the counting of (`twisted') BPS states that contribute to twisted helicity trace indices in four-dimensional CHL models with N=4 supersymmetry. The generating functions of half-BPS states, twisted as well as untwisted, are given in terms of multiplicative eta products with the Mathieu group, M_{24}, playing an important role. These multiplicative eta products enable us to construct Siegel modular forms that count twisted quarter-BPS states. The square-roots of these Siegel modular forms turn out be precisely a special class of Siegel modular forms, the dd-modular forms, that have been classified by Clery and Gritsenko[arXiv:0812.3962]. We show that each one of these dd-modular forms arise as the Weyl-Kac-Borcherds denominator formula of a rank-three Borcherds-Kac-Moody Lie superalgebra. The walls of the Weyl chamber are in one-to-one correspondence with the walls of marginal stability in the corresponding CHL model for twisted dyons as well as untwisted ones. This leads to a periodic table of BKM Lie superalgebras with properties that are consistent with physical expectations.

Saturday, June 12, 2010

Wall Crossing, Quivers and Crystals

.
We study the spectrum of BPS D-branes on a Calabi-Yau manifold using the 0+1 dimensional quiver gauge theory that describes the dynamics of the branes at low energies. The results of Kontsevich and Soibelman predict how the degeneracies change. We argue that Seiberg dualities of the quiver gauge theories, which change the basis of BPS states, correspond to crossing the "walls of the second kind." There is a large class of examples, including local del Pezzo surfaces, where the BPS degeneracies of quivers corresponding to one D6 brane bound to arbitrary numbers of D4, D2 and D0 branes are counted by melting crystal configurations. We show that the melting crystals that arise are a discretization of the Calabi-Yau geometry. The shape of the crystal is determined by the Calabi-Yau geometry and the background B-field, and its microscopic structure by the quiver Q. We prove that the BPS degeneracies computed from Q and Q' are related by the Kontsevich Soibelman formula, using a geometric realization of the Seiberg duality in the crystal. We also show that, in the limit of infinite B-field, the combinatorics of crystals arising from the quivers becomes that of the topological vertex. We thus re-derive the Gromov-Witten/Donaldson-Thomas correspondence.

Tuesday, June 8, 2010

Knot Invariants and New Weight Systems from General 3D TFTs

.
We introduce and study the Wilson loops in a general 3D topological field theories (TFTs), and show that the expectation value of Wilson loops also gives knot invariants as in Chern-Simons theory. We study the TFTs within the Batalin-Vilkovisky (BV) and Alexandrov-Kontsevich-Schwarz-Zaboronsky (AKSZ) framework, and the Ward identities of these theories imply that the expectation value of the Wilson loop is a pairing of two dual constructions of (co)cycles of certain extended graph complex (extended from Kontsevich's graph complex to accommodate the Wilson loop). We also prove that there is an isomorphism between the same complex and certain extended Chevalley-Eilenberg complex of Hamiltonian vector fields. This isomorphism allows us to generalize the Lie algebra weight system for knots to weight systems associated with any homological vector field and its representations. As an example we construct knot invariants using holomorphic vector bundle over hyperKahler manifolds.

Vortex Counting and Lagrangian 3-manifolds

.
To every 3-manifold M one can associate a two-dimensional N=(2,2) supersymmetric field theory by compactifying five-dimensional N=2 super-Yang-Mills theory on M. This system naturally appears in the study of half-BPS surface operators in four-dimensional N=2 gauge theories on one hand, and in the geometric approach to knot homologies, on the other. We study the relation between vortex counting in such two-dimensional N=(2,2) supersymmetric field theories and the refined BPS invariants of the dual geometries. In certain cases, this counting can be also mapped to the computation of degenerate conformal blocks in two-dimensional CFT's. Degenerate limits of vertex operators in CFT receive a simple interpretation via geometric transitions in BPS counting.

Monday, June 7, 2010

Generalised space-time and duality

.
In this paper we consider the previously proposed generalised space-time and investigate the structure of the field theory upon which it is based. In particular, we derive a SO(D,D) formulation of the bosonic string as a non-linear realisation at lowest levels of the semi-direct product of E11 with the first fundamental representation l1. We give a Hamiltonian formulation of this theory and carry out its quantisation. We argue that the choice of representation of the quantum theory breaks the manifest SO(D,D) symmetry but that the symmetry is manifest in a non-commutative field theory. We discuss the implications for the conjectured E11 symmetry and the role of the l1 representation.

Seiberg-Witten theory, matrix model and AGT relation

.
We discuss the Penner-type matrix model which has been proposed to explain the AGT relation between the 2-dimensional Liouville theory and 4-dimensional N=2 superconformal gauge theories. In our previous communication we have obtained the spectral curve of the matrix model and showed that it agrees with that derived from M-theory. We have also discussed the decoupling limit of massive flavors and proposed new matrix models which describe Seiberg-Witten theory with flavors N_f=2,3. In this article we explicitly evaluate the free energy of these matrix models and show that they in fact reproduce the amplitudes of Seiberg-Witten theory.

Friday, June 4, 2010

Mathieu twining characters for K3

.
The analogue of the McKay-Thompson series for the proposed Mathieu group action on the elliptic genus of K3 is analysed. The corresponding NS-sector twining characters have good modular properties and satisfy remarkable replication identities. These observations provide strong support for the conjecture that the elliptic genus of K3 carries indeed an action of the Mathieu group M24.

Thursday, June 3, 2010

K3 Surfaces, N=4 Dyons, and the Mathieu Group M24

.
A close relationship between K3 surfaces and the Mathieu groups has been established in the last century. Furthermore, it has been observed recently that the elliptic genus of K3 has a natural interpretation in terms of the dimensions of representations of the largest Mathieu group M24. In this paper we first give further evidence for this possibility by studying the elliptic genus of K3 surfaces twisted by some simple symplectic automorphisms. These partition functions with insertions of elements of M24 (the McKay-Thompson series) give further information about the relevant representation. We then point out that this new "moonshine" for the largest Mathieu group is connected to previously known mathematical results on a moonshine of M24 through the 1/4-BPS spectrum of K3xT^2-compactified type II string theory. This insight on the symmetry of the theory sheds new light on the generalised Kac-Moody algebra structure appearing in the spectrum, and leads to predictions for new elliptic genera of K3, perturbative spectrum of the toroidally compactified heterotic string, and the index for the 1/4-BPS dyons in the d=4, N=4 string theory, twisted by elements of the group of stringy K3 isometries.

Matrix models and stochastic growth in Donaldson-Thomas theory

.
We show that the partition functions which enumerate Donaldson-Thomas invariants of local toric Calabi-Yau threefolds without compact divisors can be expressed in terms of specializations of the Schur measure. We also discuss the relevance of the Hall-Littlewood and Jack measures in the context of BPS state counting and study the partition functions at arbitrary points of the Kaehler moduli space. This rewriting in terms of symmetric functions leads to a unitary one-matrix model representation for Donaldson-Thomas theory. We describe explicitly how this result is related to the unitary matrix model description of Chern-Simons gauge theory. This representation is used to show that the generating functions for Donaldson-Thomas invariants are related to tau-functions of the integrable Toda and Toeplitz lattice hierarchies. The matrix model also leads to an interpretation of Donaldson-Thomas theory in terms of non-intersecting paths in the lock-step model of vicious walkers. We further show that these generating functions can be interpreted as normalization constants of a corner growth/last-passage stochastic model.

Matrix Models for Random Partitions

.
We derive exact matrix integral representations for different sums over partitions. The characteristic feature of all obtained models is the presence of logarithmic (or, vice versa, exponential) terms in the potential. Our derivation is based on the application of operators for higher Casimirs. The Toda lattice integrability of the basic sum over partitions is obvious from the matrix model representation.

Flipped SU(5) GUTs from E_8 Singularity in F-theory

.
In this paper, we construct supersymmetric flipped SU(5) GUTs from E_8 singularity in F-theory. We start from an SO(10) singularity with an SU(4) spectral cover, and then we factorize the cover into (3,1) and (2,2) factorizations. After turning on the massless U(1)_X gauge flux, we obtain the SU(5)X U(1)_X gauge group. Based on the well-studied geometric backgrounds in the literature, we demonstrate several models and discuss their phenomenology.

Global SO(10) F-theory GUTs

.
Making use of toric geometry we construct a class of global F-theory GUT models. The base manifolds are blowups of Fano threefolds and the Calabi-Yau fourfold is a complete intersection of two hypersurfaces. We identify possible GUT divisors and construct SO(10) models on them using the spectral cover construction. We use a split spectral cover to generate chiral matter on the 10 curves in order to get more degrees of freedom in phenomenology. We use abelian flux to break SO(10) to SU(5)\times U(1) which is interpreted as a flipped SU(5) model. With the GUT Higgses in the SU(5)\times U(1) model it is possible to further break the gauge symmetry to the Standard Model. We present several phenomenologically attractive examples in detail.