Arithmetic McKay correspondence

arXiv:0812.4202
J. Zhou
.
We propose an arithmetic McKay correspondence which relates suitably defined zeta functions of some Deligne-Mumford stacks to the zeta functions of their crepant resolutions. Some examples are discussed.

Emergent spacetime from modular motives

arXiv:0812.4450
R. Schimmrigk
.
The program of constructing spacetime geometry from string theoretic modular forms is extended to Calabi-Yau varieties of dimensions two, three, and four, as well as higher rank motives. Modular forms on the worldsheet can be constructed from the geometry of spacetime by computing the L-functions associated to omega motives of Calabi-Yau varieties, generated by their holomorphic $n-$forms via Galois representations. The modular forms that emerge from the omega motive and other motives of the intermediate cohomology are related to characters of the underlying rational conformal field theory. The converse problem of constructing space from string theory proceeds in the class of diagonal theories by determining the motives associated to modular forms in the category of motives with complex multiplication. The emerging picture indicates that the L-function can be interpreted as a map from the geometric category of motives to the category of conformal field theories on the worldsheet.

Membranes at Quantum Criticality

arXiv:0812.4287
P. Horava
.
We propose a quantum theory of membranes designed such that the ground-state wavefunction of the membrane with compact spatial topology \Sigma_h reproduces the partition function of the bosonic string on worldsheet \Sigma_h. The construction involves worldvolume matter at quantum criticality, described in the simplest case by Lifshitz scalars with dynamical critical exponent z=2. This matter system must be coupled to a novel theory of worldvolume gravity, also exhibiting quantum criticality with z=2. We first construct such a nonrelativistic "gravity at a Lifshitz point" with z=2 in D+1 spacetime dimensions, and then specialize to the critical case of D=2 suitable for the membrane worldvolume. We also show that in the second-quantized framework, the string partition function is reproduced if the spacetime ground state takes the form of a Bose-Einstein condensate of membranes in their first-quantized ground states, correlated across all genera.

Boundary condition for D-brane from Wilson loop, and gravitational interpretation of eigenvalue in matrix model in AdS/CFT correspondence

arXiv:0812.4229
S. Kawamoto, T. Kuroki, A. Miwa
.
We study the supersymmetric Wilson loops in the four-dimensional N=4 super Yang-Mills theory in the context of AdS/CFT correspondence. In the gauge theory side, it is known that the expectation value of the Wilson loops of circular shape with winding number k is calculable by using a Gaussian matrix model. On the other hand, in the gravity side, it has been conjectured that the expectation value of the Wilson loop is given by the classical value of the action for a probe D3-brane with k electric fluxes. Given such correspondence, we pursue the interpretation of the matrix model eigenvalue density, or more precisely the resolvent, from the viewpoint of the probe D3-brane in the gravity side. We see that in the gravity side, the position of an eigenvalue appears as an integrated flux on the D3-brane. In the course of our analysis, we also clarify the boundary condition on the D3-brane in terms of the Wilson loop.

Cosmology of F-theory GUTs

arXiv:0812.3155
J.J. Heckman, A. Tavanfar, C. Vafa
.
In this paper we study the interplay between the recently proposed F-theory GUTs and cosmology. Despite the fact that the parameter range for F-theory GUT models is very narrow, we find that F-theory GUTs beautifully satisfy most cosmological constraints without any further restrictions. The viability of the scenario hinges on the interplay between various components of the axion supermultiplet, which in F-theory GUTs is also responsible for breaking supersymmetry. In these models, the gravitino is the LSP and develops a mass by eating the axino mode. The radial component of the axion supermultiplet known as the saxion typically begins to oscillate in the early Universe, eventually coming to dominate the energy density. Its decay reheats the Universe to a temperature of ~ 1 GeV, igniting BBN and diluting all thermal relics such as the gravitino by a factor of ~ 10^(-4) - 10^(-5) such that gravitinos contribute a sizable component of the dark matter. In certain cases, non-thermally produced relics such as the axion, or gravitinos generated from the decay of the saxion can also contribute to the abundance of dark matter. Remarkably enough, this cosmological scenario turns out to be independent of the initial reheating temperature of the Universe. This is due to the fact that the initial oscillation temperature of the saxion coincides with the freeze out temperature for gravitinos in F-theory GUTs. We also find that saxion dilution is compatible with generating the desired baryon asymmetry from standard leptogenesis. Finally, the gravitino mass range in F-theory GUTs is 10-100 MeV, which interestingly coincides with the window of values required for the decay of the NLSP to solve the problem of Li(7) over-production.

Universality and asymptotics of graph counting problems in unoriented surfaces

arXiv:0812.1195
S. Garoufalidis, M. Marino
.
The paper introduces a pair of sequences $(u_n,v_n)$ defined by a quadratic nonlinear recursion relation, and gives their asymptotic expansion for large $n$. We conjecture that, properly normalized, $(u_n,v_n)$ agrees with the constants $(t_g,p_g)$ that appear in numerous graph counting problems on oriented/unoriented surfaces studied by Bender-Canfield. Our conjecture was recently proven for $t_g$ in joint work with T.T.Q. Le but remains open for $p_g$. Aside from efficient exact formulas for $(u_n,v_n)$, new to the communities of combinatorics and representation theory, we prove the existence of the asymptotic expansion of $(u_n,v_n)$ and exactly compute it to all orders in $1/n$ in terms of a nonzero Stokes constant, for which we conjecture an exact value. Our proof uses the method of Borel transform applied to a pair of coupled nonlinear differential equations for the generating series of $(u_n,v_n)$. An additional proof and an exact computation of the Stokes constant may be obtained by the Riemann-Hilbert approach with a known Lax pair for the coupled system of differential equations. In addition, we give a matrix model computation of the Stokes constant, a motivation for our conjecture using a quartic matrix model for real symmetric matrices, and a conjecture for the number of rooted quadrangulations in the 2-dimensional projective plane. Our conjecture identifying $v_n$ with $p_g$ implies analyticity of the O(N) and $Sp(N)$-types of free energy of a closed 3-manifolds in a neighborhood of zero.

The homogeneity conjecture for supergravity backgrounds

arXiv:0812.1258
J.M. Figueroa-O'Farrill
.
These notes record three lectures given at the workshop "Higher symmetries in Physics", held at the Universidad Complutense de Madrid in November 2008. In them we explain how to construct a Lie (super)algebra associated to a spin manifold, perhaps with extra geometric data, and a notion of privileged spinors. The typical examples are supersymmetric supergravity backgrounds; although there are more classical instances of this construction. We focus on two results: the geometric constructions of compact real forms of the simple Lie algebras of type B_4, F_4 and E_8 from S^7, S^8 and S^15, respectively; and the construction of the Killing superalgebra of eleven-dimensional supergravity backgrounds. As an application of this latter construction we show that supersymmetric supergravity backgrounds with enough supersymmetry are necessarily locally homogeneous.

Towards a non-abelian electric-magnetic symmetry: the skeleton group

arXiv:0812.1230
L. Kampmeijer, F.A. Bais, B.J. Schroers, J.K. Slingerland
.
We propose a unified electric-magnetic symmetry group in Yang-Mills theory, which we call the skeleton group. We work in the context of non-abelian unbroken gauge symmetry, and provide evidence for our proposal by relating the representation theory of the skeleton group to the labelling and fusion rules of charge sectors, and by showing how the skeleton group arises naturally in a gauge-fixed description of the theory. In particular we show that the labels of electric, magnetic and dyonic sectors in non-abelian Yang-Mills theory can be interpreted in terms of irreducible representations of the skeleton group. Decomposing tensor products of these representations thus gives candidate fusion rules for these charge sectors. We demonstrate consistency of these fusion rules with the known fusion rules of the purely electric or magnetic sectors, and extract new predictions for the fusion rules of dyonic sectors in particular cases. We also implement S-duality and show that the fusion rules obtained from the skeleton group commute with S-duality. As further evidence for the relevance of the skeleton group we consider a generalisation of 't Hooft's abelian gauge fixing procedure. We show that the skeleton group plays the role of an effective symmetry in this gauge, and argue that this gauge is particularly useful for exploring phases of the theory which generalise Alice electrodynamics.

Gromov-Witten invariants of toric Calabi-Yau threefolds

arXiv:0811.4703
Chiu-Chu M. Liu
.
This is an expository article on math/0408426 by J. Li, K. Liu, J. Zhou, and the author.

K-Theory, D-Branes and Ramond-Ramond Fields

arXiv:0812.0682
A. Valentino
.
This thesis is dedicated to the study of K-theoretical properties of D-branes and Ramond-Ramond fields. We construct abelian groups which define a homology theory on the category of CW-complexes, and prove that this homology theory is equivalent to the bordism representation of KO-homology, the dual theory to KO-theory. We construct an isomorphism between our geometric representation and the analytic representation of KO-homology, which induces a natural equivalence of homology functors. We apply this framework to describe mathematical properties of D-branes in type I String theory. We investigate the gauge theory of Ramond-Ramond fields arising from type II String theory defined on global orbifolds. We use the machinery of Bredon cohomology and the equivariant Chern character to construct abelian groups which generalize the properties of differential K-theory defined by Hopkins and Singer to the equivariant setting, and can be considered as a differential extension of equivariant K-theory for finite groups. We show that the Dirac quantization condition for Ramond-Ramond fieldstrengths on a good orbifold is dictated by equivariant K-theory and the equivariant Chern character, and study the group of flat Ramond-Ramond fields in the particular case of linear orbifolds in terms of our orbifold differential K-theory.

Monstrous and Generalized Moonshine and Permutation Orbifolds

arXiv:0811.4525
M.P. Tuite
.
We consider the application of permutation orbifold constructions towards a new possible understanding of the genus zero property in Monstrous and Generalized Moonshine. We describe a theory of twisted Hecke operators in this setting and conjecture on the form of Generalized Moonshine replication formulas.

Exceptional Vertex Operator Algebras and the Virasoro Algebra

arXiv:0811.4523
M.P. Tuite
.
We consider exceptional vertex operator algebras for which particular Casimir vectors constructed from the primary vectors of lowest conformal weight are Virasoro descendants of the vacuum. We discuss constraints on these theories that follow from an analysis of appropriate genus zero and genus one two point correlation functions. We find explicit differential equations for the partition function in the cases where the lowest weight primary vectors form a Lie algebra or a Griess algebra. Examples include the Wess-Zumino-Witten model for Deligne's exceptional Lie algebras and the Moonshine Module. We partially verify the irreducible decomposition of the tensor product of Deligne's exceptional Lie algebras and consider the possibility of similar decompositions for tensor products of the Griess algebra. We briefly discuss some conjectured extremal vertex operator algebras arising in Witten's recent work on three dimensional black holes.

Topological String on Toric CY3s in Large Complex Structure Limit

arXiv:0812.0526
L.B. Drissi, H. Jehjouh, E.H. Saidi
.
We develop a non planar topological vertex formalism and we use it to study the A-model partition function $\mathcal{Z}_{top}$ of topological string on the class of toric Calabi-Yau threefolds (CY3) in large complex structure limit. To that purpose, we first consider the $T^{2}\times R$ special Lagrangian fibration of generic CY3-folds and we give the realization of the class of large $\mu $ toric CY3-folds in terms of supersymmetric gauged linear sigma model with \emph{non zero} gauge invariant superpotentials $% \mathcal{W}(\Phi ) $. Then, we focus on a one complex parameter supersymmetric $U(1) $ gauged model involving six chiral superfields ${\Phi_{i}}$ with $\mathcal{W}=\mu (\prod\nolimits_{i=0}^{5}\Phi_{i}) $ and we use it to compute the function $\mathcal{Z}_{top}$ for the case of the local elliptic curve in the limit $\mu \to \infty $.

Refining the Shifted Topological Vertex

arXiv:0812.0513
L.B. Drissi, H. Jehjouh, E.H. Saidi
.
We study aspects of the refining and shifting properties of the 3d MacMahon function $\mathcal{C}_{3}(q) $ used in topological string theory and BKP hierarchy. We derive the explicit expressions of the shifted topological vertex $\mathcal{S}_{\lambda \mu \nu}(q) $ and its refined version $\mathcal{T}_{\lambda \mu \nu}(q,t) $. These vertices complete results in literature.

CFT Duals for Extreme Black Holes

arXiv:0811.4393
T. Hartman, K. Murata, T. Nishioka, A. Strominger
.
It is argued that the general four-dimensional extremal Kerr-Newman-AdS-dS black hole is holographically dual to a (chiral half of a) two-dimensional CFT, generalizing an argument given recently for the special case of extremal Kerr. Specifically, the asymptotic symmetries of the near-horizon region of the general extremal black hole are shown to be generated by a Virasoro algebra. Semiclassical formulae are derived for the central charge and temperature of the dual CFT as functions of the cosmological constant, Newton's constant and the black hole charges and spin. We then show, assuming the Cardy formula, that the microscopic entropy of the dual CFT precisely reproduces the macroscopic Bekenstein-Hawking area law. This CFT description becomes singular in the extreme Reissner-Nordstrom limit where the black hole has no spin. At this point a second dual CFT description is proposed in which the global part of the U(1) gauge symmetry is promoted to a Virasoro algebra. This second description is also found to reproduce the area law. Various further generalizations including higher dimensions are discussed.

On the E10/Massive IIA Correspondence

arXiv:0811.4358
M. Henneaux, E. Jamsin, A. Kleinschmidt, D. Persson
.
In this paper we investigate in detail the correspondence between E10 and Romans' massive deformation of type IIA supergravity. We analyse the dynamics of a non-linear sigma model for a spinning particle on the coset space E10/K(E10) and show that it reproduces the dynamics of the bosonic as well as the fermionic sector of the massive IIA theory, within the standard truncation. The mass deformation parameter corresponds to a generator of E10 outside the realm of the generators entering the usual D=11 analysis, and is naturally included without any deformation of the coset model for E10/K(E10). Our analysis thus provides a dynamical unification of the massless and massive versions of type IIA supergravity inside E10. We discuss a number of additional and general features of relevance in the analysis of any deformed supergravity in the correspondence to Kac-Moody algebras, including recently studied deformations where the trombone symmetry is gauged.

Algebraic methods in random matrices and enumerative geometry

arXiv:0811.3531
B. Eynard, N. Orantin
.
We review the method of symplectic invariants recently introduced to solve matrix models loop equations, and further extended beyond the context of matrix models. For any given spectral curve, one defined a sequence of differential forms, and a sequence of complex numbers Fg . We recall the definition of the invariants Fg, and we explain their main properties, in particular symplectic invariance, integrability, modularity,... Then, we give several example of applications, in particular matrix models, enumeration of discrete surfaces (maps), algebraic geometry and topological strings, non-intersecting brownian motions,...

M2-Branes and Quiver Chern-Simons: A Taxonomic Study

arXiv:0811.4044
A. Hanany, Y.-H. He
.
We initiate a systematic investigation of the space of 2+1 dimensional quiver gauge theories, emphsising a succinct "forward algorithm". Few "order parametres" are introduced such as the number of terms in the superpotential and the number of gauge groups. Starting with two terms in the superpotential, we find a generating function, with interesting geometric interpretation, which counts the number of inequivalent theories for a given number of gauge groups and fields. We demonstratively list these theories for some low numbers thereof. Furthermore, we show how these theories arise from M2-branes probing toric Calabi-Yau 4-folds by explicitly obtaining the toric data of the vacuum moduli space. By observing equivalences of the vacua between markedly different theories, we see a new emergence of "toric duality".

Coxeter Elements and Root Bases

arXiv:0811.2324
A. Kirillov Jr., J. Thind
.
Let g be a Lie algebra of type A,D,E with fixed Cartan subalgebra h, root system R and Weyl group W. We show that a choice of Coxeter element C gives a root basis for g. Moreover we show that this root basis gives a purely combinatorial construction of g, where root vectors correspond to vertices of a certain quiver $Gammahat$, and show that with respect to this basis the structure constants of the Lie bracket are given by paths in $Gammahat$. This construction is then related to the constructions of Ringel and Peng and Xiao.

The Number of Supertraces on the Superalgebra of Observables of Rational Calogero Model based on the Root System

arXiv:0811.2487
S.E. Konstein, R. Stekolshchik
.
In the Coxeter group W(R) generated by the root system R, let Q(R) be the number of conjugacy classes having no eigenvalue -1. The superalgebra of observables of the rational Calogero model based on the root system R possesses Q(R) supertraces. The numbers Q(R) are determined for all irreducible root systems (hence for all root systems).

Quantum symmetries and exceptional collections

arXiv:0811.3375
R.L. Karp
.
We study the interplay between discrete quantum symmetries at certain points in the moduli space of Calabi-Yau compactifications, and the associated identities that the geometric realization of D-brane monodromies must satisfy. We show that in a wide class of examples, both local and compact, the monodromy identities in question always follow from a single mathematical statement. One of the simplest examples is the Z_5 symmetry at the Gepner point of the quintic, and the associated D-brane monodromy identity.

Cascades and Collapses, Great Walls and Forbidden Cities: Infinite Towers of Metastable Vacua in Supersymmetric Field Theories

arXiv:0811.3335
K.R. Dienes, B. Thomas
.
In this paper, we present a series of supersymmetric models exhibiting an entirely new vacuum structure: towers of metastable vacua with higher and higher energies. As the number of vacua grows towards infinity, the energy of the highest vacuum remains fixed while the energy of the true ground state tends towards zero. We study the instanton-induced tunneling dynamics associated with such vacuum towers, and find that many distinct decay patterns along the tower are possible: these include not only regions of vacua experiencing direct collapses and/or tumbling cascades, but also other regions of vacua whose stability is protected by ``great walls'' as well as regions of vacua populating ``forbidden cities'' into which tunnelling cannot occur. We also discuss possible applications of this setup for the cosmological-constant problem, for studies of the string landscape, for supersymmetry breaking, and for Z' phenomenology. Finally, we point out that a limiting case of our setup yields theories with yet another new vacuum structure: infinite numbers of degenerate vacua. As a result, the true ground states of such theories are Bloch waves, with energy eigenvalues approximating a continuum and giving rise to a vacuum ``band'' structure.

Quantum Criticality and Yang-Mills Gauge Theory

arXiv:0811.2217
P. Horava
.
We present a family of nonrelativistic Yang-Mills gauge theories in D+1 dimensions whose free-field limit exhibits quantum critical behavior with gapless excitations and dynamical critical exponent z=2. The ground state wavefunction is intimately related to the partition function of relativistic Yang-Mills in D dimensions. The gauge couplings exhibit logarithmic scaling and asymptotic freedom in the upper critical spacetime dimension, equal to 4+1. The theories can be deformed in the infrared by a relevant operator that restores Poincare invariance as an accidental symmetry. In the large-N limit, our nonrelativistic gauge theories can be expected to have weakly curved gravity duals.

Analyticity of the Free Energy of a Closed 3-Manifold

arXiv:0809.2572
S. Garoufalidis, T.T.Q. Le, M. Marino
.
The free energy of a closed 3-manifold is a 2-parameter formal power series which encodes the perturbative Chern-Simons invariant (also known as the LMO invariant) of a closed 3-manifold with gauge group U(N) for arbitrary $N$. We prove that the free energy of an arbitrary closed 3-manifold is uniformly Gevrey-1. As a corollary, it follows that the genus $g$ part of the free energy is convergent in a neighborhood of zero, independent of the genus. Our results follow from an estimate of the LMO invariant, in a particular gauge, and from recent results of Bender-Gao-Richmond on the asymptotics of the number of rooted maps for arbitrary genus. We illustrate our results with an explicit formula for the free energy of a Lens space. In addition, using the Painlev\'e differential equation, we obtain an asymptotic expansion for the number of cubic graphs to all orders, stengthening the results of Bender-Gao-Richmond.

Flavor Hierarchy From F-theory

arXiv:0811.2417
J.J. Heckman, C. Vafa
.
It has recently been shown that F-theory based constructions provide a potentially promising avenue for engineering GUT models which descend to the MSSM. In this note we show that with no additional ingredients, these models automatically achieve hierarchical Yukawa matrices in the quark and lepton sectors. At leading order, the existence of a U(1) symmetry which is related to phase rotations of the internal holomorphic coordinates at the brane intersection point leads to rank one Yukawa matrices. Subleading corrections to the internal wave functions from variations in the background gauge field strength generate small violations of this U(1), leading to hierarchical Yukawa structures reminiscent of the Froggatt-Nielsen mechanism. The expansion parameter for this perturbation is in terms of alpha_(GUT)^(1/2). Moreover, we naturally obtain a hierarchical CKM matrix with V_(12) ~ V_(21) ~ epsilon, V_(23) ~ V_(32) ~ epsilon^2, V_(13) ~ V_(31) ~ epsilon^3, where epsilon ~ alpha_(GUT)^(1/2), in excellent agreement with observation.

Fixing D7 Brane Positions by F-Theory Fluxes

arXiv:0811.2416
A.P. Braun, A. Hebecker, C. Ludeling, R. Valandro
.
To do realistic model building in type IIB supergravity, it is important to understand how to fix D7-brane positions by the choice of fluxes. More generally, F-theory model building requires the understanding of how fluxes determine the singularity structure (and hence gauge group and matter content) of the compactification. We analyse this problem in the simple setting of M-theory on K3xK3. Given a certain flux which is consistent with the F-theory limit, we can explicitly derive the positions at which D7 branes or stacks of D7 branes are stabilised. The analysis is based on a parameterization of the moduli space of type IIB string theory on T^2/Z_2 (including D7-brane positions) in terms of the periods of integral cycles of M-theory on K3. This allows us, in particular, to select a specific desired gauge group by the choice of flux numbers.

he Yang-Mills String as the A-Model on the Twistor Space of the Complex Two-Dimensional Projective Space with Fluxes and Wilson Loops: Beta Function

arXiv:0811.2547
M. Bochicchio
.
We argue that the string theory dual to a certain sector of the four-dimensional Yang-Mills theory at large-N is the A-model wrapping N D-branes on the twistor space of the complex two-dimensional projective space, with certain fluxes and Wilson loops, by finding that the target space beta function of this A-model coincides with the large-N beta function of the Yang-Mills theory.

Stability structures, motivic Donaldson-Thomas invariants and cluster transformations

arXiv:0811.2435
M. Kontsevich, Y. Soibelman
.
We define new invariants of 3d Calabi-Yau categories endowed with a stability structure. Intuitively, they count the number of semistable objects with fixed class in the K-theory of the category ("number of BPS states with given charge" in physics language). Formally, our motivic DT-invariants are elements of quantum tori over a version of the Grothendieck ring of varieties over the ground field. Via the quasi-classical limit "as the motive of affine line approaches to 1" we obtain numerical DT-invariants which are closely related to those introduced by Behrend. We study some properties of both motivic and numerical DT-invariants including the wall-crossing formulas and integrality. We discuss the relationship with the mathematical works (in the non-triangulated case) of Joyce, Bridgeland and Toledano-Laredo, as well as with works of physicists on Seiberg-Witten model (string junctions), classification of N=2 supersymmetric theories (Cecotti-Vafa) and structure of the moduli space of vector multiplets. Relating the theory of 3d Calabi-Yau categories with distinguished set of generators (called cluster collection) with the theory of quivers with potential we found the connection with cluster transformations and cluster varieties (both classical and quantum).

Crystal Melting and Toric Calabi-Yau Manifolds

arXiv:0811.2801
H. Ooguri, M. Yamazaki
.
We construct a statistical model of crystal melting to count BPS bound states of D0 and D2 branes on a single D6 brane wrapping an arbitrary toric Calabi-Yau threefold. The three-dimensional crystalline structure is determined by the quiver diagram and the brane tiling which characterize the low energy effective theory of D branes. The crystal is composed of atoms of different colors, each of which corresponds to a node of the quiver diagram, and the chemical bond is dictated by the arrows of the quiver diagram. BPS states are constructed by removing atoms from the crystal. This generalizes the earlier results on the BPS state counting to an arbitrary non-compact toric Calabi-Yau manifold. We point out that a proper understanding of the relation between the topological string theory and the crystal melting involves the wall crossing in the Donaldson-Thomas theory.

Partition Functions of Matrix Models as the First Special Functions of String Theory. II. Kontsevich Model

arXiv:0811.2825
A. Alexandrov, A. Mironov, A. Morozov, P .Putrov
.
In arXiv:hep-th/0310113 we started a program of creating a reference-book on matrix-model tau-functions, the new generation of special functions, which are going to play an important role in string theory calculations. The main focus of that paper was on the one-matrix Hermitian model tau-functions. The present paper is devoted to a direct counterpart for the Kontsevich and Generalized Kontsevich Model (GKM) tau-functions. We mostly focus on calculating resolvents (=loop operator averages) in the Kontsevich model, with a special emphasis on its simplest (Gaussian) phase, where exists a surprising integral formula, and the expressions for the resolvents in the genus zero and one are especially simple (in particular, we generalize the known genus zero result to genus one). We also discuss various features of generic phases of the Kontsevich model, in particular, a counterpart of the unambiguous Gaussian solution in the generic case, the solution called Dijkgraaf-Vafa (DV) solution. Further, we extend the results to the GKM and, in particular, discuss the p-q duality in terms of resolvents and corresponding Riemann surfaces in the example of dualities between (2,3) and (3,2) models.

The N=2 cascade revisited and the enhancon bearings

arXiv:0811.2207
F. Benini, M. Bertolini, C. Closset, S. Cremonesi
.
Supergravity backgrounds with varying fluxes generated by fractional branes at non-isolated Calabi-Yau singularities had escaped a precise dual field theory interpretation so far. In the present work, considering the prototypical example of such models, the C*C^2/Z_2 orbifold, we propose a solution for this problem, and show that the known cascading solution corresponds to a vacuum on the Coulomb branch of the corresponding quiver gauge theory involving a sequence of strong coupling transitions reminiscent of the baryonic root of N=2 SQCD. We also find a slight modification of this cascading vacuum which upon mass deformation is expected to flow to the Klebanov-Strassler cascade. Finally, we discuss an infinite class of vacua on the Coulomb branch whose RG flows include infinitely coupled conformal regimes, and explain their gravitational manifestation in terms of new geometric structures that we dub enhancon bearings. Repulson-free backgrounds dual to all the vacua we analyse are explicitly provided.

Non-geometric flux vacua, S-duality and algebraic geometry

arXiv:0811.2190
A. Guarino, G.J. Weatherill
.
We relate non-geometric fluxes backgrounds after S-duality with deformations of those found over the T^6/(Z_2 x Z_2) orientifold in the T-dual setup with a non-geometric Q flux turned on. Working in Type IIB with O3/O7-planes, we build upon the results of recent work and show that not only can we solve the Bianchi constraints of a single non-geometric Q flux but they can be extended to include its S-dual P flux. This P flux is implemented as linear deformations of the T-duality invariant gauge subalgebra by an element of its second cohomology class. Algebraic geometry methods are extensively used to solve these constraints and supersymmetric vacua, centering our attention on Minkowski solutions, become systematically computable and are also provided to clarify the methods.

Black Hole Partition Function using Hybrid Formalism of Superstrings

arXiv:0811.1758
B. Chandrasekhar
.
The hybrid formalism of superstrings on AdS_2xS^2, defined as a sigma model on the coset supermanifold PSU(1,1|2)/U(1)xU(1) with a WZ term, is used to calculate the instanton partition function of IIA superstrings on the euclidean attractor geometry AdS_2xS^2xCY_3. A nilpotent BRST operator is constructed and the sigma model action is shown to be closed. The BRST operator is then used to regularize the divergence over the AdS_2 part and the path integral is shown to result in the topological string partition function.

A theory of generalized Donaldson-Thomas invariants. I. An invariant counting stable pairs

arXiv:0810.5645
D. Joyce, Y. Song
.
Let X be a Calabi-Yau 3-fold over C. The Donaldson-Thomas invariants of X are integers DT^a(t) which count stable sheaves with Chern character a on X, with respect to a Gieseker stability condition t. They are defined only for Chern characters a for which there are no strictly semistable sheaves on X. They have the good property that they are unchanged under deformations of X. Their behaviour under change of stability condition t was not understood until now.
This is the first of three papers studying a generalization of Donaldson-Thomas invariants. Our generalized invariants \bar{DT}^a(t) are rational numbers, defined for all Chern characters a, and are equal to DT^a(t) if there are no strictly semistable sheaves in class a. They are deformation-invariant, and have a known transformation law under change of stability condition.
This paper studies a different family of invariants PI^a(t') counting "stable pairs" (E,s) on X, where E is a coherent sheaf and s is a section of E(n) for fixed n>>0, and (E,s) satisfies a stability condition t'. Following ideas of Pandharipande and Thomas, we define a symmetric perfect obstruction theory on the moduli spaces of stable pairs. Then by the virtual fundamental class of Behrend and Fantechi, we obtain integer invariants PI^a(t') which are unchanged under deformations of X.
In the third paper we will write the PI^a(t') in terms of our new invariants \bar{DT}^b(t), and then use deformation-invariance of the PI^a(t') to deduce deformation-invariance of the \bar{DT}^b(t).

E10 and Gauged Maximal Supergravity

arXiv:0810.5767
E.A. Bergshoeff, O. Hohm, A. Kleinschmidt, H. Nicolai, T.A. Nutma, J. Palmkvist
.
We compare the dynamics of maximal three-dimensional gauged supergravity in appropriate truncations with the equations of motion that follow from a one-dimensional E10/K(E10) coset model at the first few levels. The constant embedding tensor, which describes gauge deformations and also constitutes an M-theoretic degree of freedom beyond eleven-dimensional supergravity, arises naturally as an integration constant of the geodesic model. In a detailed analysis, we find complete agreement at the lowest levels. At higher levels there appear mismatches, as in previous studies. We discuss the origin of these mismatches.

Iwahori-Hecke type algebras associated with the Lie superalgebras A(m,n), B(m,n), C(n) and D(m,n)

arXiv:0810.5386
H. Yamane
.
In this paper we give Iwahori-Hecke type algebras H_q(g) associated with the Lie superalgebras g=A(m,n), B(m,n), C(n) and D(m,n). We classify the irreducible representations of H_q(g) for generic q.

Ising vectors in the vertex operator algebra $V_{\Lambda}^+$ associated with the Leech lattice $\Lambda$

arXiv:0810.5395
C. H. Lam, H. Shimakura
.
In this article, we study the Ising vectors in the vertex operator algebra $V_\Lambda^+$ associated with the Leech lattice $\Lambda$. The main result is a characterization of the Ising vectors in $V_\Lambda^+$. We show that for any Ising vector $e$ in $V_\Lambda^+$, there is a sublattice $E\cong \sqrt{2}E_8$ of $\Lambda$ such that $e\in V_E^+$. Some properties about their corresponding $\tau$-involutions in the moonshine vertex operator algebra $V^\natural$ are also discussed. We show that there is no Ising vector of $\sigma$-type in $V^\natural$. Moreover, we compute the centralizer $C_{\aut V^\natural}(z, \tau_e)$ for any Ising vector $e\in V_\Lambda^+$, where $z$ is a 2B element in $\aut V^\natural$ which fixes $V_\Lambda^+$. Based on this result, we also obtain an explanation for the 1A case of an observation by Glauberman-Norton (2001), which describes some mysterious relations between the centralizer of $z$ and some 2A elements commuting $z$ in the Monster and the Weyl groups of certain sublattices of the root lattice of type $E_8$ .

Geometric construction of crystal bases for quantum generalized Kac-Moody algebras

arXiv:0810.5493
S.-J. Kang, M. Kashiwara, O. Schiffmann
.
We provide a geometric realization of the crystal $B(\infty)$ for quantum generalized Kac-Moody algebras in terms of the irreducible components of certain Lagrangian subvarieties in the representation spaces of a quiver.

Chern-Simons theory on L(p,q) lens spaces and Gopakumar-Vafa duality

arXiv:0809.1610
A. Brini, L. Griguolo, D. Seminara, A. Tanzini
.
We consider aspects of Chern-Simons theory on L(p,q) lens spaces and its relation with matrix models and topological string theory on Calabi-Yau threefolds, searching for possible new large N dualities via geometric transition for non-SU(2) cyclic quotients of the conifold. To this aim we find, on one hand, some novel matrix integral representations of the SU(N) CS partition function in a generic flat background for the whole L(p,q) family and provide a solution for its large N dynamics; on the other, we perform in full detail the construction of a family of would-be dual closed string backgrounds via conifold geometric transition from T^*L(p,q). We can then explicitly prove that Gopakumar-Vafa duality in a fixed vacuum fails in the case q>1, and briefly discuss how it could be restored in a non-perturbative setting.

Seiberg-Witten theory and matrix models

arXiv:0810.4944
A. Klemm, P. Sułkowski
.
We derive a family of matrix models which encode solutions to the Seiberg-Witten theory in 4 and 5 dimensions. Partition functions of these matrix models are equal to the corresponding Nekrasov partition functions, and their spectral curves are the Seiberg-Witten curves of the corresponding theories. In consequence of the geometric engineering, the 5-dimensional case provides a novel matrix model formulation of the topological string theory on a wide class of non-compact toric Calabi-Yau manifolds. This approach also unifies and generalizes other matrix models, such as the Eguchi-Yang matrix model, matrix models for bundles over $P^1$, and Chern-Simons matrix models for lens spaces, which arise as various limits of our general result.

Wall Crossing of BPS States on the Conifold from Seiberg Duality and Pyramid Partitions

arXiv:0810.5072
W. Chuang, D.L. Jafferis
.
In this paper we study the relation between pyramid partitions with a general empty room configuration (ERC) and the BPS states of D-branes on the resolved conifold. We find that the generating function for pyramid partitions with a length n ERC is exactly the same as the D6/D2/D0 BPS partition function on the resolved conifold in particular Kaehler chambers. We define a new type of pyramid partition with a finite ERC that counts the BPS degeneracies in certain other chambers.
The D6/D2/D0 partition functions in different chambers were obtained by applying the wall crossing formula. On the other hand, the pyramid partitions describe $T^3$ fixed points of the moduli space of a quiver quantum mechanics. This quiver arises after we apply Seiberg dualities to the D6/D2/D0 system on the conifold and choose a particular set of FI parameters. The arrow structure of the dual quiver is confirmed by computation of the Ext group between the sheaves. We show that the superpotential and the stability condition of the dual quiver with this choice of the FI parameters give rise to the rules specifying pyramid partitions with length n ERC.

Multi-Instanton Corrections to Superpotentials in Type II Compactifications

arXiv:0810.4369
T. Jelinski, J. Pawelczyk
.
We consider two simple examples of multi-instanton configurations in type II 4d N=1 superstring compactifications. The first one involves O(1) and U(1) D2-instantons embedded in T^6/(Z_2 x Z_2') geometry with SU(4) gauge symmetry coming from D6-branes and the second is related to quiver gauge theory of orientifolded orbifold of conifold containing fractional D(-1)-instantons and D3-branes. The additional zero modes of instantons which appear at the intersection points are lifted through interactions stemming from dimensionally reduced F- and D-terms. It is shown that multi-instanton configurations effectively generate corrections to the usual non-perturbative superpotential for chiral matter.

Topological T-duality and T-folds

arXiv:0810.4374
P. Bouwknegt, A.S. Pande
.
We explicitly construct the $C^{\ast}-$algebras arising in the formalism of Topological T-duality due to Mathai and Rosenberg from string-theoretic data in several key examples. We construct a continuous-trace algebra with an action of ${\mathbb R}^d$ unique up to exterior equivalence from the data of a smooth ${\mathbb T}^d$-equivariant gerbe on a trivial bundle $X = W \times {\mathbb T}^d$. We argue that the `noncommutative T-duals' of Mathai and Rosenberg \cite{MR2}, should be identified with the nongeometric backgrounds well-known in string theory. We also argue that the $C^{\ast}$-algebra ${\mathcal A} \rtimes_{\alpha|_{\KZ^d}} {\mathbb Z}^d$ should be identified with the T-folds of Hull \cite{Hull, HullTf} which geometrize these backgrounds.
We identify the charge group of D-branes on T-fold backgrounds in the $C^{\ast}$-algebraic formalism of Topological T-duality. We also study D-branes on T-fold backgrounds. We show that the $K$-theory bundles of Ref. \cite{herve} give a natural description of these objects.

Master Space, Hilbert Series and Seiberg Duality

arXiv:0810.4519
D. Forcella, A. Hanany, A. Zaffaroni
.
We analyze the action of Toric (Seiberg) duality on the combined mesonic and baryonic moduli space of quiver gauge theories obtained from D3 branes at Calabi-Yau singularities. We analyze in particular the structure of the master space, the complete moduli space for one brane, for different toric phases of a given singularity. We show that the Hilbert Series for the largest component of the master space of different phases is the same, when refined with all the non anomalous charges. This reflects the fact that the quiver gauge theories associated with different phases are related by Seiberg duality when the number of branes is greater than one.

Analytic torsion for twisted de Rham complexes

arXiv:0810.4204
V. Mathai, S. Wu
.
We define analytic torsion $\tau(X,\E,H)\in\det H^\bullet(X,\E,H)$ for the twisted de Rham complex, consisting of differential forms on a compact Riemannian manifold $X$ valued in a flat vector bundle $\E$, with a differential given by $\nabla^\E+H\wedge\cdot $, where $\nabla^\E$ is a flat connection on $\E$, $H$ is an odd-degree closed differential form on $X$, and $H^\bullet(X,\E,H)$ denotes the cohomology of this $\ZA_2$-graded complex. We show that when $\dim X$ is odd, $\tau(X,\E,H)$ is independent of the choice of metrics on $X$ and $\E$ and of the representative $H$ in the cohomology class $[H]$. We also explain the relation to generalized geometry. We establish some basic functorial properties and, when $H$ is a top-degree form, compute the torsion and relate it to a simplicial analogue. We also establish the relationship of an invariant form of the analytic torsion for $T$-dual circle bundles with 3-form fluxes.

Wall crossing in local Calabi Yau manifolds

arXiv:0810.4909
D.L. Jafferis, G.W. Moore
.
We study the BPS states of a D6-brane wrapping the conifold and bound to collections of D2 and D0 branes. We find that in addition to the complexified Kahler parameter of the rigid sphere it is necessary to introduce an extra real parameter to describe BPS partition functions and marginal stability walls. The supergravity approach to BPS state-counting gives a simple derivation of results of Szendroi concerning Donaldson-Thomas theory on the noncommutative conifold. This example also illustrates some interesting limitations on the supergravity approach to BPS state-counting and wall-crossing.

SO and USp (Hyper)Kahler Quotients and Lumps

arXiv:0810.4900
S. B. Gudnason
.
The properties of supersymmetric gauge theories in the Higgs phase at low energies can appropriately be studied by means of a non-linear sigma model, which has the target space being Kahler for N=1 supersymmetric models and hyperKahler for N=2 models. By construction of the Kahler and hyperKahler quotients for the gauge theories with SO and USp gauge symmetries, we obtain the explicit metrics on their respective manifolds. Furthermore, we study the lumps in the non-linear sigma models and their effective description, using the Kahler quotients.

N=4 Gauged Supergravity from Duality-Twist Compactifications of String Theory

arXiv:0810.4699
R.A. Reid-Edwards, B. Spanjaard
.
We investigate the lifting of half-maximal four-dimensional gauged supergravities to compactifications of string theory. It is shown that a class of such supergravities can arise from compactifications of IIA string theory on manifolds of SU(2)-structure which may be thought of as K3 fibrations over T^2. Examples of these SU(2)-structure backgrounds, as smooth K3 bundles and as compactifications with H-flux, are given and we also find evidence for a class of non-geometric, Mirror-fold backgrounds. By applying the duality between IIA string theory on K3 and Heterotic string theory on T^4 fibrewise, we argue that these SU(2)-structure backgrounds are dual to Heterotic compactifications on a class T^4 fibrations over T^2. Examples of these fibrations as twisted tori, H-flux and T-fold compactifications are given. We also construct a new set of backgrounds, particular to Heterotic string theory, which includes a previously unknown class of Heterotic T-folds. A sigma model description of these backgrounds, from the Heterotic perspective, is presented in which we generalize the Bosonic doubled formalism to Heterotic string theory.

The M2/M5 BPS Partition Functions from Supergravity

arXiv:0810.4648
P.J. Silva
.
In the framework of the AdS/CFT duality, we calculate the supersymmetric partition function of the superconformal field theories living in the world volume of either $N$ $M2$-branes or $N$ $M5$-branes. We used the dual supergravity partition function in a saddle point approximation over supersymmetric Black Holes. Since our BHs are written in asymptotically global $AdS_{d+1}$ co-ordinates, the dual SCFTs are in $R x S^{d}$ for $d=2,5$. The resulting partition function shows phase transitions, constraints on the phase space and allowed us to identify unstable BPS Black hole in the $AdS$ phase. This configurations should corresponds to unstable configurations in the dual theory. We also report an intriguing relation between the most general Witten Index, computed in the above theories, and our BPS partition functions.

$Z_7$ Orbifold Models in M-Theory

arXiv:0810.4543
M.K. Ahsan, T. Hubsch
.
Among $T^7/\Gamma$ orbifold compactifications of $M$-theory, we examine models containing the particle physics Standard Model in four-dimensional spacetimes, which appear as fixed subspaces of the ten-dimensional spacetimes at each end of the interval, $I^1\simeq S^1/Z_2$, spanning the $11^\text{th}$ dimension. Using the $Z_7$ projection to break the $E_8$ gauge symmetry in each of the four-planes and a limiting relation to corresponding heterotic string compactifications, we discuss the restrictions on the possible resulting gauge field and matter spectra. In particular, some of the states are non-local: they connect two four-dimensional Worlds across the $11^\text{th}$ dimension.
We illustrate our programmable calculations of the matter field spectrum, including the anomalous U(1) factor which satisfies a universal Green-Schwarz relation, discuss a Dynkin diagram technique to showcase a model with $SU(3)\times SU(2)\times U(1)^5$ gauge symmetry, and discuss generalizations to higher order orbifolds.

Argyres-Seiberg duality and the Higgs branch

arXiv:0810.4541
D. Gaiotto, A. Neitzke, Y. Tachikawa
.
We demonstrate the agreement between the Higgs branches of two N=2 theories proposed by Argyres and Seiberg to be S-dual, namely the SU(3) gauge theory with six quarks, and the SU(2) gauge theory with one pair of quarks coupled to the superconformal theory with E_6 flavor symmetry. In mathematical terms, we demonstrate the equivalence between a hyperkaehler quotient of a linear space and another hyperkaehler quotient involving the minimal nilpotent orbit of E_6.

A holomorphic and background independent partition function for matrix models and topological strings

arXiv:0810.4273
B. Eynard, M. Marino
.
We study various properties of a nonperturbative partition function which can be associated to any spectral curve. When the spectral curve arises from a matrix model, this nonperturbative partition function is given by a sum of matrix integrals over all possible filling fractions, and includes all the multi-instanton corrections to the perturbative 1/N expansion. We show that the nonperturbative partition function, which is manifestly holomorphic, is also modular and background independent: it transforms as the partition function of a twisted fermion on the spectral curve. Therefore, modularity is restored by nonperturbative corrections. We also show that this nonperturbative partition function obeys the Hirota equation and provides a natural nonperturbative completion for topological string theory on local Calabi-Yau threefolds.

Quantum Curves and D-Modules

arXiv:0810.4157
R. Dijkgraaf, L. Hollands, P. Sułkowski
.
In this article we continue our study of chiral fermions on a quantum curve. This system is embedded in string theory as an I-brane configuration, which consists of D4 and D6-branes intersecting along a holomorphic curve in a complex surface, together with a B-field. Mathematically, it is described by a holonomic D-module. Here we focus on spectral curves, which play a prominant role in the theory of (quantum) integrable hierarchies. We show how to associate a quantum state to the I-brane system, and subsequently how to compute quantum invariants. As a first example, this yields an insightful formulation of (double scaled as well as general Hermitian) matrix models. Secondly, our formalism elegantly reconstructs the complete dual Nekrasov-Okounkov partition function from a quantum Seiberg-Witten curve.

Gerbal Representations of Double Loop Groups

arXiv:0810.1487
E. Frenkel, X. Zhu
.
A crucial role in representation theory of loop groups of reductive Lie groups and their Lie algebras is played by their non-trivial second cohomology classes which give rise to their central extensions (the affine Kac-Moody groups and Lie algebras). Loop groups embed into the group GL_\infty of continuous automorphisms of C((t)), and these classes come from a second cohomology class of GL_\infty. In a similar way, double loop groups embed into a group of automorphisms of C((t))((s)), denoted by GL_{\infty,\infty}, which has a non-trivial third cohomology. In this paper we explain how to realize a third cohomology class in representation theory of a group: it naturally arises when we consider representations on categories rather than vector spaces. We call them "gerbal representations." We then construct a gerbal representation of GL_{\infty,\infty} (and hence of double loop groups), realizing its non-trivial third cohomology class, on a category of modules over an infinite-dimensional Clifford algebra. This is a two-dimensional analogue of the fermionic Fock representations of the ordinary loop groups.

D-brane instantons and matrix models

arXiv:0810.1482
I. García-Etxebarria
.
We point out that in some situations it is possible to use matrix model techniques a la Dijkgraaf-Vafa to perturbatively compute D-brane instanton effects. This provides an explanation in terms of stringy instantons of the results in hep-th/0311181. We check this proposal in some simple scenarios. We point out some interesting consequences of this observation, such as the fact that it gives a perturbative way of computing stringy multi-instanton effects. It also provides a further interpretation of D-brane instantons as residual instantons of higgsed supergroups.

The mixed black hole partition function for the STU model

arXiv:0810.1233
G.L. Cardoso, J.R. David, B. de Wit, S. Mahapatra
.
We evaluate the mixed partition function for dyonic BPS black holes using the recently proposed degeneracy formula for the STU model. The result factorizes into the OSV mixed partition function times a proportionality factor. The latter is in agreement with the measure factor that was recently conjectured for a class of N=2 black holes that contains the STU model.

Black Holes, Qubits and Octonions

arXiv:0809.4685
L. Borsten, D. Dahanayake, M. J. Duff, H. Ebrahim, W. Rubens
.
We review the recently established relationships between black hole entropy in string theory and the quantum entanglement of qubits and qutrits in quantum information theory. The first example is provided by the measure of the tripartite entanglement of three qubits, known as the 3-tangle, and the entropy of the 8-charge STU black hole of N=2 supergravity, both of which are given by the [SL(2)]^3 invariant hyperdeterminant, a quantity first introduced by Cayley in 1845. There are further relationships between the attractor mechanism and local distillation protocols. At the microscopic level, the black holes are described by intersecting D3-branes whose wrapping around the six compact dimensions T^6 provides the string-theoretic interpretation of the charges and we associate the three-qubit basis vectors, |ABC> (A,B,C=0 or 1), with the corresponding 8 wrapping cycles. The black hole/qubit correspondence extends to the 56 charge N=8 black holes and the tripartite entanglement of seven qubits where the measure is provided by Cartan's E_7 supset [SL(2)]^7 invariant. The qubits are naturally described by the seven vertices ABCDEFG of the Fano plane, which provides the multiplication table of the seven imaginary octonions, reflecting the fact that E_7 has a natural structure of an O-graded algebra. This in turn provides a novel imaginary octonionic interpretation of the 56=7 x 8 charges of N=8: the 24=3 x 8 NS-NS charges correspond to the three imaginary quaternions and the 32=4 x 8 R-R to the four complementary imaginary octonions. N=8 black holes (or black strings) in five dimensions are also related to the bipartite entanglement of three qutrits (3-state systems), where the analogous measure is Cartan's E_6 supset [SL(3)]^3 invariant.

Gromov-Witten/Donaldson-Thomas correspondence for toric 3-folds

arXiv:0809.3976
D. Maulik, A. Oblomkov, A. Okounkov, R. Pandharipande
.
We prove the equivariant Gromov-Witten theory of a nonsingular toric 3-fold X with primary insertions is equivalent to the equivariant Donaldson-Thomas theory of X. As a corollary, the topological vertex calculations by Agangic, Klemm, Marino, and Vafa of the Gromov-Witten theory of local Calabi-Yau toric 3-folds are proven to be correct in the full 3-leg setting.

Topology of the octonionic flag manifold

arXiv:0809.4318
A.-L. Mare, M. Willems
.
The octonionic flag manifold $Fl(\mathbb{O})$ is the space of all pairs in $\mathbb{O}P^2\times \mathbb{O}P^2$ (where $\mathbb{O}P^2$ denotes the octonionic projective plane) which satisfy a certain "incidence" relation. It comes equipped with the projections $\pi_1,\pi_2 : Fl(\mathbb{O})\to \mathbb{O}P^2$, which are $\mathbb{O}P^1$ bundles, as well as with an action of the group $Spin(8)$. The first two results of this paper give Borel type descriptions of the usual, respectively $Spin(8)$-equivariant cohomology of $Fl(\mathbb{O})$ in terms of $\pi_1$ and $\pi_2$ (actually the Euler classes of the tangent spaces to the fibers of $\pi_1$, respectively $\pi_2$, which are rank 8 vector bundles on $Fl(\mathbb{O})$). Then we obtain a Goresky-Kottwitz-MacPherson type description of the ring $H^*_{Spin(8)}(Fl(\mathbb{O}))$. Finally, we consider the $Spin(8)$-equivariant $K$-theory ring of $Fl(\mathbb{O})$ and obtain a Goresky-Kottwitz-MacPherson type description of this ring.

Langlands duality for representations of quantum groups

arXiv:0809.4453
E. Frenkel, D. Hernandez
.
We establish a correspondence (or duality) between the characters and the crystal bases of finite-dimensional representations of quantum groups associated to Langlands dual semi-simple Lie algebras. This duality may also be stated purely in terms of semi-simple Lie algebras. To explain this duality, we introduce an "interpolating quantum group" depending on two parameters which interpolates between a quantum group and its Langlands dual. We construct examples of its representations, depending on two parameters, which interpolate between representations of two Langlands dual quantum groups.

Borcherds-Kac-Moody Symmetry of N=4 Dyons

arXiv:0809.4258
M.C.N. Cheng, A. Dabholkar
.
We consider compactifications of heterotic string theory to four dimensions on CHL orbifolds of the type T^6 /Z_N with 16 supersymmetries. The exact partition functions of the quarter-BPS dyons in these models are given in terms of genus-two Siegel modular forms. Only the N=1,2,3 models satisfy a certain finiteness condition, and in these cases one can identify a Borcherds-Kac-Moody superalgebra underlying the symmetry structure of the dyon spectrum. We identify the real roots, and find that the corresponding Cartan matrices exhaust a known classification. We show that the Siegel modular form satisfies the Weyl denominator identity of the algebra, which enables the determination of all root multiplicities. Furthermore, the Weyl group determines the structure of wall-crossings and the attractor flows of the theory. For N> 4, no such interpretation appears to be possible.

D-Branes in Orientifolds and Orbifolds and Kasparov KK-Theory

arXiv:0809.4238
H. Garcia-Compean, W. Herrera-Suarez, B. A. Itza-Ortiz, O. Loaiza-Brito
.
A classification of D-branes in Type IIB Op^- orientifolds and orbifolds in terms of Real and equivariant KK-groups is given. We classify D-branes intersecting orientifold planes from which are recovered some special limits as the spectrum for D-branes on top of Type I Op^- orientifold and the bivariant classification of Type I D-branes. The gauge group and transformation properties of the low energy effective field theory living in the corresponding unstable D-brane system are computed by extensive use of Clifford algebras. Some speculations about the existence of other versions of KK-groups, based on physical insights, are proposed. In the orbifold case, some known results concerning D-branes intersecting orbifolds are reproduced and generalized. Finally, the gauge theory of unstable systems in these orbifolds is recovered.

Counting invariant of perverse coherent sheaves and its wall-crossing

arXiv:0809.2992
K. Nagao, H. Nakajima
.
We introduce moduli spaces of stable perverse coherent systems on small crepant resolutions of Calabi-Yau 3-folds and consider their Donaldson-Thomas type counting invariants. The stability depends on the choice of a component (= a chamber) in the complement of finitely many lines (= walls) in the plane. We determine all walls and compute generating functions of invariants for all choices of chambers when the Calabi-Yau is the resolved conifold. For suitable choices of chambers, our invariants are specialized to Donaldson-Thomas, Pandharipande-Thomas and Szendroi invariants.

Stringy Instantons as Strong Dynamics

arXiv:0809.3432
A. Amariti, L. Girardello, A. Mariotti
.
We study the relation between stringy instantons and strong dynamics effects in type IIB toric quiver gauge theories. By exploiting the involutive property of Seiberg duality we relate the classical constraint on the moduli space of the gauge theory with the stringy instanton contribution to the superpotential. The result hold for unitary, orthogonal and symplectic gauge groups.

On Coxeter Diagrams of complex reflection groups

arXiv:0809.2427
T. Basak
.
We study complex Coxeter diagrams of some unitary reflection groups. Using solely the combinatorics of diagrams, we give a new proof of the classification of root lattices defined over $\cE = \ZZ[e^{2 \pi i/3}]$: there are only four such lattices, namely, the $\cE$--lattices whose real forms are $A_2$, $D_4$, $E_6$ and $E_8$. Next, we address the issue of characterizing the diagrams for unitary reflection groups, a question that was raised by Broue, Malle and Rouquier. To this end, we describe an algorithm which, given a unitary reflection group $G$, picks out a set of complex reflections. If $G$ is the reflection group of a root lattice defined over $\cE$, the reflections selected by the algorithm form the known diagram for $G$. For the reflection group of the complex Coxeter-Todd lattice $K_{12}^{\cE}$, we find a new diagram that extends to an "affine diagram" with $\ZZ/7\ZZ$ symmetry. If $G$ is a Weyl group, the algorithm immediately yields a set of simple roots. Otherwise, experimental evidences indicate that the algorithm selects a minimal generating set of reflections if $G$ is primitive and $G$ has a set of roots whose $\ZZ$--span is a discrete subset of the ambient vector space.

Matrix Corepresentations for SL_q(N) and SU_q(N)

arXiv:0809.3212
C. Alexander
.
We give an algorithm for computing matrix corepresentations for special linear and special unitary quantum groups using a combinatorial re-indexing of basis elements.

D-branes and bivariant K-theory

arXiv:0809.3029
R.J. Szabo
.
We review various aspects of the topological classification of D-brane charges in K-theory, focusing on techniques from geometric K-homology and Kasparov's KK-theory. The latter formulation enables an elaborate description of D-brane charge on large classes of noncommutative spaces, and a refined characterization of open string T-duality in terms of correspondences and KK-equivalence. The examples of D-branes on noncommutative Riemann surfaces and in constant H-flux backgrounds are treated in detail. Mathematical constructions include noncommutative generalizations of Poincare duality and K-orientation, characteristic classes, and the Riemann-Roch theorem.

Quiver varieties and branching

arXiv:0809.2605
H. Nakajima
.
Braverman-Finkelberg arXiv:0711.2083 recently propose the geometric Satake correspondence for the affine Kac-Moody group $G_\aff$. They conjecture that intersection cohomology sheaves on the Uhlenbeck compactification of the framed moduli space of $G_{\mathrm{cpt}}$-instantons on $\R^4/\Z_r$ correspond to weight spaces of representations of the Langlands dual group $G_\aff^\vee$ at level $r$. When $G = \SL(l)$, the Uhlenbeck compactification is the quiver variety of type $\algsl(r)_\aff$, and their conjecture follows from the author's earlier result and I.Frenkel's level-rank duality. They further introduce a convolution diagram which conjecturally gives the tensor product multiplicity (paper in preparation). In this paper, we develop the theory for the branching in quiver varieties and check this conjecture for $G=\SL(l)$.