Note on Twisted Elliptic Genus of K3 Surface

arXiv:1008.4924

T. Eguchi, K. Hikami

.

We discuss the possibility of Mathieu group M24 acting as symmetry group on the K3 elliptic genus as proposed recently by Ooguri, Tachikawa and one of the present authors. One way of testing this proposal is to derive the twisted elliptic genera for all conjugacy classes of M24 so that we can determine the unique decomposition of expansion coefficients of K3 elliptic genus into irreducible representations of M24. In this paper we obtain all the hitherto unknown twisted elliptic genera and find a strong evidence of Mathieu moonshine.

Mathieu Moonshine in the elliptic genus of K3

arXiv:1008.3778

M.R. Gaberdiel, S. Hohenegger, R. Volpato

.

It has recently been conjectured that the elliptic genus of K3 can be written in terms of dimensions of Mathieu group M24 representations. Some further evidence for this idea was subsequently found by studying the twining genera that are obtained from the elliptic genus upon replacing dimensions of Mathieu group representations by their characters. In this paper we find explicit formulae for all (remaining) twining genera by making an educated guess for their general modular properties. This allows us to identify the decomposition of all expansion coefficients in terms of dimensions of M24-representations. For the first 500 coefficients we verify that the multiplicities with which these representations appear are indeed all non-negative integers. This represents very compelling evidence in favour of the conjecture.

The Orbifold Topological Vertex

arXiv:1008.4205

J. Bryan, C. Cadman, B. Young

.

We define Donaldson-Thomas invariants of Calabi-Yau orbifolds and we develop a topological vertex formalism for computing them. The basic combinatorial object is the orbifold vertex, a generating function for the number of 3D partitions asymptotic to three given 2D partitions and colored by representations of a finite Abelian group G acting on C^3. In the case where G=Z_n acting on C^3 with transverse A_{n-1} quotient singularities, we give an explicit formula for the vertex in terms of Schur functions. We discuss applications of our formalism to the Donaldson-Thomas Crepant Resolution Conjecture and to the orbifold Donaldson-Thomas/Gromov-Witten correspondence. We also explicitly compute the Donaldson-Thomas partition function for some simple orbifold geometries: the local football and the local BZ_2 gerbe.

How Do Black Holes Predict the Sign of the Fourier Coefficients of Siegel Modular Forms?

arXiv:1008.4209

A. Sen

.

Single centered supersymmetric black holes in four dimensions have spherically symmetric horizon and hence carry zero angular momentum. This leads to a specific sign of the helicity trace index associated with these black holes. Since the latter are given by the Fourier expansion coefficients of appropriate meromorphic modular forms of Sp(2,Z) or its subgroup, we are led to a specific prediction for the signs of a subset of these Fourier coefficients which represent contributions from single centered black holes only. We explicitly test these predictions for the modular forms which compute the index of quarter BPS black holes in heterotic string theory on T^6, as well as in Z_N CHL models for N=2,3,5,7.

New recursive residue formulas for the topological expansion of the Cauchy Matrix Model

arXiv:0912.2984

A.P. Ferrer

.

In a recent work [1] we consider the topological expansion for the non-mixed observables (including the free energy) for the formal Cauchy matrix model. The only restriction in [1] was the fact that all the branch points have to be simple. This excludes a very interesting situation not encountered in the literature before, namely the case in which two branch points merge in such a way that no cycle is pinched. In this work we focus on this situation and derive new formulas that apply to non-simple and non-singular branch-points.

Affine sl(N) conformal blocks from N=2 SU(N) gauge theories

arXiv:1008.1412

C. Kozcaz, S. Pasquetti, F. Passerini, N. Wyllard

.

Recently Alday and Tachikawa proposed a relation between conformal blocks in a two-dimensional theory with affine sl(2) symmetry and instanton partition functions in four-dimensional conformal N=2 SU(2) quiver gauge theories in the presence of a certain surface operator. In this paper we extend this proposal to a relation between conformal blocks in theories with affine sl(N) symmetry and instanton partition functions in conformal N=2 SU(N) quiver gauge theories in the presence of a surface operator. We also discuss the extension to non-conformal N=2 SU(N) theories.

Localization with a Surface Operator, Irregular Conformal Blocks and Open Topological String

arXiv:1008.0574

H. Awata, H. Fuji, H. Kanno, M. Manabe, Y. Yamada

.

We compute the instanton partition function in the presence of the surface operator by the localization formula on the moduli space, which is called the affine Laumon space in mathematics. For SU(2) theories we find an exact agreement with CFT correlation functions with a degenerate operator insertion, which enables us to work out the decoupling limit of the superconformal theory with four flavors to asymptotically free theories at the level of differential equations for CFT correlation functions (irregular conformal blocks). We also argue that the K theory (or five dimensional) lift of these computations gives open topological string amplitudes on local Hirzebruch surface and its blow ups, which is regarded as a geometric engineering of the surface operator. By computing the amplitudes in both A and B models we collect convincing evidences of the agreement of the instanton partition function with surface operator and the partition function of open topological string.

U-dual fluxes and Generalized Geometry

arXiv:1007.5509

G. Aldazabal, E. Andres, P.G. Camara, M. Graña

.

We perform a systematic analysis of generic string flux compactifications, making use of Exceptional Generalized Geometry (EGG) as an organizing principle. In particular, we establish the precise map between fluxes, gaugings of maximal 4d supergravity and EGG, identifying the complete set of gaugings that admit an uplift to 10d heterotic or type IIB supegravity backgrounds. Our results reveal a rich structure, involving new deformations of 10d supergravity backgrounds, such as the RR counterparts of the $\beta$-deformation. These new deformations are expected to provide the natural extension of the $\beta$-deformation to full-fledged F-theory backgrounds. Our analysis also provides some clues on the 10d origin of some of the particularly less understood gaugings of 4d supergravity. Finally, we derive the explicit expression for the effective superpotential in arbitrary N = 1 heterotic or type IIB orientifold compactifications, for all the allowed fluxes.

Eisenstein type series for Calabi-Yau varieties

arXiv:1007.4181

H. Movasati

.

In this article we introduce an ordinary differential equation associated to the one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of smooth quintic three folds. It is satisfied by seven functions written in the $q$-expansion form and the Yukawa coupling turns out to be rational in these functions. This is a generalization of the Ramanujan differential equation satisfied by three Eisenstein series.

On braided zeta functions

arXiv:1007.5084

S. Majid, I. Tomasic

.

We propose a ribbon braided category approach to zeta-functions in $q$-deformed geometry. As a proof of concept we compute $\zeta_t(C^n)$ where $C^n$ is viewed as the standard representation in the category of modules of $U_q(sl_n)$. We conjecture that the same $\zeta_t(C^n)$ is obtained for the $n$-dimensional representation in the category of $U_q(sl_2)$ modules. We show that this implies the generating function for the decomposition into irreducibles of the symmetric tensor products $S^j(V)$ for $V$ an irreducible representation of $sl_2$. We discuss $\zeta_t(C_q(S^2))$ for the standard $q$-deformed sphere.

Genus Two Partition and Correlation Functions for Fermionic Vertex Operator Superalgebras I

arXiv:1007.5203

M.P. Tuite, A. Zuevsky

.

We define the partition and $n$-point correlation functions for a vertex operator superalgebra on a genus two Riemann surface formed by sewing two tori together. For the free fermion vertex operator superalgebra we obtain a closed formula for the genus two continuous orbifold partition function in terms of an infinite dimensional determinant with entries arising from torus Szeg\"o kernels. We prove that the partition function is holomorphic in the sewing parameters on a given suitable domain and describe its modular properties. Using the bosonized formalism, a new genus two Jacobi product identity is described for the Riemann theta series. We compute and discuss the modular properties of the generating function for all $n$-point functions in terms of a genus two Szeg\"o kernel determinant. We also show that the Virasoro vector one point function satisfies a genus two Ward identity.

$E_{11}$, Borcherds algebras and maximal supergravity

arXiv:1007.5241

M. Henneaux, B.L. Julia, J. Levie

.

The dynamical $p$-forms of torus reductions of maximal supergravity theory have been shown some time ago to enjoy remarkable algebraic structures. The set (``dynamical spectrum") of propagating $p$-forms has been described by a (truncation of a) real Borcherds superalgebra $\mf{V}_D$ that is characterized concisely by a Cartan matrix which has been constructed explicitly for each spacetime dimension $11 \geq D \geq 3$. A slightly milder truncation of the Borcherds superalgebra enables one to predict also the ``spectrum'' of the non-dynamical $(D-1)$ and $D$-forms. The maximal supergravity $p$-form spectra were reanalyzed more recently by truncation of the field spectrum of $E_{11}$ to the $p$-forms relevant after reduction from $11$ to $D$ dimensions. We show in this paper how the Borcherds description can be systematically derived from the split ("maximally non compact") real form of $E_{11}$ for $D \geq 1$. This explains not only why both structures lead to the same propagating p-forms and their duals for $p\leq (D-2)$, but also why one obtains the same $(D-1)$-forms and top $D$-forms. The Borcherds symmetries $\mf{V}_2$ and $\mf{V}_1$ are new too.