Superstring amplitudes and the associator

arXiv:1301.0794

J.M. Drummond, E. Ragoucy

We investigate a pattern in the $\alpha'$ expansion of tree-level open superstring amplitudes which correlates the appearance of higher depth multiple zeta values with that of simple zeta values in a particular way. We rephrase this relationship in terms of the coaction on motivic multiple zeta values and show that the pattern takes a very simple form, which can be simply explained by relating the amplitudes to the Drinfel'd associator derived from the Knizhnik-Zamolodchikov equation. Given this correspondence we show that, at least in the simplest case of the four-point amplitude, the associator can be used to extract the form of the amplitude.  

Exploring the Potential Energy Landscape Over a Large Parameter-Space

arXiv:1301.0946

Y.-H. He, D. Mehta, M. Niemerg, M. Rummel, A. Valeanu

Solving large polynomial systems with coefficient parameters are ubiquitous and constitute an important class of problems. We demonstrate the computational power of two methods--a symbolic one called the Comprehensive Gr\"obner basis and a numerical one called the cheater's homotopy-applied to studying both potential energy landscapes and a variety of questions arising from geometry and phenomenology. Particular attention is paid to an example in flux compactification where important physical quantities such as the gravitino and moduli masses and the string coupling can be efficiently extracted. 

Oxidizing Borcherds symmetries

arXiv:1301.1346

A. Kleinschmidt, J. Palmkvist

The tensor hierarchy of maximal supergravity in D dimensions is known to be closely related to a Borcherds (super)algebra that is constructed from the global symmetry group E(11-D). We here explain how the Borcherds algebras in different dimensions are embedded into each other and can be constructed from a unifying Borcherds algebra. The construction also has a natural physical explanation in terms of oxidation. We then go on to show that the Hodge duality that is present in the tensor hierarchy has an algebraic counterpart. For D>8 the Borcherds algebras we find differ from the ones existing in the literature although they generate the same tensor hierarchy.

Orthogonality of Macdonald Polynomials with Unitary Parameters

arXiv:1301.1276

J.F. van Diejen, E. Emsiz

For any admissible pair of irreducible reduced crystallographic root systems, we present discrete orthogonality relations for a finite-dimensional system of Macdonald polynomials with parameters on the unit circle subject to a truncation relation.

Black Hole Probes of Automorphic Space

arXiv:1212.5975

R. Schimmrigk

Over the past few years the arithmetic Langlands program has proven useful in addressing physical problems. In this paper it is shown how Langlands' reciprocity conjecture for automorphic forms, in combination with a representation theoretic notion of motives, suggests a framework in which the entropy of automorphic black holes can be viewed as a probe of spacetime that is sensitive to the geometry of the extra dimensions predicted by string theory. If it were possible to produce black holes with automorphic entropy in the laboratory their evaporation would provide us with information about the precise shape of the compact geometry.

On interactions between harmonic analysis and the theory of automorphic forms

arXiv:1212.5313

M. Tadic

In this paper we review some connections between harmonic analysis and the modern theory of automorphic forms. We indicate in some examples how the study of problems of harmonic analysis brings us to the important objects of the theory of automorphic forms, and conversely. We consider classical groups and their unitary, tempered, automorphic and unramified duals. The most important representations in our paper are the isolated points in these duals.

Large N techniques for Nekrasov partition functions and AGT conjecture

arXiv:1212.4972

J.-E. Bourgine

The AGT conjecture relates \mathcal{N}=2 4d SUSY gauge theories to 2d CFTs. Matrix model techniques can be used to investigate both sides of this relation. The large N limit refers here to the size of Young tableaux in the expression of the gauge theory partition function. It corresponds to vanishing of Omega-background equivariant deformation parameters, and should not be confused with the t'Hooft expansion at large number of colors. In the first part of the paper, a saddle point approach is employed to study the Nekrasov-Shatshvili limit of the gauge theory, leading to define beta-deformed, or quantized, Seiberg-Witten curve and differential form. In a second part, this formalism is compared to the large N limit of the Dijkgraaf-Vafa beta-ensemble. A transformation law relating the wave functions appearing at both sides of the conjecture is proposed. It implies a transformation of the Seiberg-Witten 1-form in agreement with the definition proposed earlier. As a side result, a remarkable property of the \mathcal{N}=2 theory emerged: the instanton contribution to the partition function can be determined from the pertubative term analysis.

Membrane instantons from a semiclassical TBA

arXiv:1212.5118

Flavio Calvo, Marcos Marino

The partition function on the three-sphere of ABJM theory contains non-perturbative corrections which correspond to membrane instantons in M-theory. These corrections can be studied in the Fermi gas approach to the partition function, and they are encoded in a system of integral equations of the TBA type. We study a semiclassical or WKB expansion of this TBA system in the ABJM coupling k, which corresponds to the strong coupling expansion of the type IIA string. This allows us to study membrane instanton corrections in M-theory at high order in the WKB expansion. Using these WKB results, we verify the conjectures for the form of the one-instanton correction at finite k proposed recently by Hatsuda, Moriyama and Okuyama (HMO), which are in turn based on a conjectural cancellation of divergences between worldsheet instantons and membrane instantons. The HMO cancellation mechanism is important since it shows in a precise, quantitative way, that the perturbative genus expansion is radically insufficient at strong coupling, and that non-perturbative membrane effects are essential to make sense of the theory. We propose analytic expressions in k for the full two-membrane instanton correction and for higher-order non-perturbative terms, which pass many consistency checks and provide further evidence for the HMO mechanism.

The Partition Function of ABJ Theory

arXiv:1212.2966

H. Awata, S. Hirano, M. Shigemori

We study the partition function of the N=6 supersymmetric U(N_1)_k x U(N_2)_{-k} Chern-Simons-matter (CSM) theory, also known as the ABJ theory. For this purpose, we first compute the partition function of the U(N_1) x U(N_2) lens space matrix model exactly. The result can be expressed as a product of q-deformed Barnes G-function and a generalization of multiple q-hypergeometric function. The ABJ partition function is then obtained from the lens space partition function by analytically continuing N_2 to -N_2. The answer is given by min(N_1,N_2)-dimensional integrals and generalizes the "mirror description" of the partition function of the ABJM theory, i.e. the N=6 supersymmetric U(N)_k x U(N)_{-k} CSM theory. Our expression correctly reproduces perturbative expansions and vanishes for |N_1-N_2|>k in line with the conjectured supersymmetry breaking, and the Seiberg duality is explicitly checked for a class of nontrivial examples.

Bijective Projections on Parabolic Quotients of Affine Weyl Groups

arXiv:1212.0771

E. Beazley, M. Nichols, M.H. Park, X. Shi, A. Youcis

Affine Weyl groups and their parabolic quotients are used extensively as indexing sets for objects in combinatorics, representation theory, algebraic geometry, and number theory. Moreover, in the classical Lie types we can conveniently realize the elements of these quotients via intuitive geometric and combinatorial models such as abaci, alcoves, coroot lattice points, core partitions, and bounded partitions. Berg, Jones, and Vazirani described a bijection between n-cores with first part equal to k and (n-1)-cores with first part less than or equal to k, and they interpret this bijection in terms of these other combinatorial models for the quotient of the affine symmetric group by the finite symmetric group. In this paper we discuss how to generalize the bijection of Berg, Jones, and Vazirani to parabolic quotients of affine Weyl groups in other classical Lie types. We develop techniques using the associated affine hyperplane arrangement to interpret this bijection geometrically as a projection of alcoves onto the hyperplane containing their coroot lattice points. We are thereby able to analyze this bijective projection in the language of various additional combinatorial models developed by Hanusa and Jones, such as abaci, core partitions, bounded partitions, and canonical reduced expressions in the Coxeter group.

On automorphisms of extremal even unimodular lattices of dimension 48

arXiv:1212.0865

G. Nebe

The automorphism groups of the three known extremal even unimodular lattices of dimension 48 and the one of dimension 72 are computed using the classification of finite simple groups. Restrictions on the possible automorphisms of 48-dimensional extremal lattices are obtained. We classify all extremal lattices of dimension 48 having an automorphism of order $m$ with $\varphi(m) > 24$. In particular the lattice $P_{48n}$ is the unique extremal 48-dimensional lattice that arises as an ideal lattice over a cyclotomic number field.

Correlators in the Simplest Gauge-String Duality

arXiv:1212.1236

R. Gopakumar, R. Pius

In this note we compare planar correlators such as $< \prod_i^n Tr M^{2k_i} >$ in the Gaussian matrix model with corresponding genus zero correlators of the A-model topological string theory on $P^1$. We find a simple relation between them which provides additional evidence for the duality between the two theories, as proposed in arXiv:1104.2386.

The Superconformal Index of Class S Theories of Type D

arXiv:1212.1271

M. Lemos, W. Peelaers, L. Rastelli

We consider the superconformal index of class S theories of type D, which arise by compactification of the (2,0) D_n theories on a punctured Riemann surface C. We also allow for the presence of twist lines on C associated to the Z_2 outer automorphism of D_n. For a two-parameter slice (p=0, q, t) in the space of superconformal fugacities, we determine the 2d TQFT that computes the index.

2d TQFT structure of the superconformal indices with outer-automorphism twists

arXiv:1212.0545

N. Mekareeya, J. Song, Y. Tachikawa

We study the superconformal indices of 4d theories coming from 6d N=(2,0) theory of type \Gamma on a Riemann surface, with the action of the outer-automorphism \sigma in the trace. We find that the indices are given by the partition function of a deformed 2d Yang-Mills on the Riemann surface with gauge group G which is S-dual to the subgroup of \Gamma fixed by \sigma. In the 2-parameter deformed version, we find that it is governed not by Macdonald polynomials of type G, but by Macdonald polynomials associated to twisted affine root systems.

Generalised Mathieu Moonshine

arXiv:1211.7074

M.R. Gaberdiel, D. Persson, H. Ronellenfitsch, R. Volpato

The Mathieu twisted twining genera, i.e. the analogues of Norton's generalised Moonshine functions, are constructed for the elliptic genus of K3. It is shown that they satisfy the expected consistency conditions, and that their behaviour under modular transformations is controlled by a 3-cocycle in H^3(M_24,U(1)), just as for the case of holomorphic orbifolds. This suggests that a holomorphic VOA may be underlying Mathieu Moonshine.

Spectral curves and the Schroedinger equations for the Eynard-Orantin recursion

arXiv:1210.3006

M. Mulase, P. Sułkowski

It is predicted that the principal specialization of the partition function of a B-model topological string theory, that is mirror dual to an A-model enumerative geometry problem, satisfies a Schroedinger equation, and that the characteristic variety of the Schroedinger operator gives the spectral curve of the B-model theory, when an algebraic K-theory obstruction vanishes. In this paper we present two concrete mathematical A-model examples whose mirror dual partners exhibit these predicted features on the B-model side. The A-model examples we discuss are the generalized Catalan numbers of an arbitrary genus and the single Hurwitz numbers. In each case, we show that the Laplace transform of the counting functions satisfies the Eynard-Orantin topological recursion, that the B-model partition function satisfies the KP equations, and that the principal specialization of the partition function satisfies a Schroedinger equation whose total symbol is exactly the Lagrangian immersion of the spectral curve of the Eynard-Orantin theory.

Refined Topological Vertex and Duality of Gauge Theories in Generic Omega Backgrounds

arXiv:1211.6793

K. Ito

The partition functions of refined topological strings(A-models) are computed, which give rise to the circle-compactified five-dimensional supersymmetric linear quiver gauge theories in generic (not necessarily self-dual) Omega backgrounds. Based on the slicing independence conjecture of refined topological string partition functions, it is demonstrated explicitly that the duality exists between $SU(N)^{M-1}$ and
$SU(M)^{N-1}$ supersymmetric linear quiver gauge theories, even in generic Omega backgrounds. It is found that the relations between string moduli and gauge moduli are deformed from the self-dual case. However if the duality map which preserves the ratio of the Omega background parameters q and t, is considered, duality maps of the gauge moduli are not changed from the self-dual case.

Superconformal Block Quivers, Duality Trees and Diophantine Equations

arXiv:1211.6111

A. Hanany, Y.-H. He, C. Sun, S. Sypsas

We derive necessary and sufficient conditions in the form of Diophantine equations for N=1, (3+1)-dimensional, block quiver gauge theories to have non trivial infra-red superconformal fixed points. Techniques from representation theory of quivers are used in order to generalize known results for theories with a small number of gauge groups factors to arbitrary block quiver gauge theories. The latter can be thought of as vectors in the root system of the corresponding quiver and superconformality conditions are shown to associate these theories to certain subsets of imaginary roots. These methods also allow for an interpretation of Seiberg duality as the action of the affine Weyl group on the root lattice.

Much ado about Mathieu

arXiv:1211.5531

T. Gannon

Eguchi, Ooguri and Tachikawa have observed that the elliptic genus of type II string theory on K3 surfaces appears to possess a Moonshine for the largest Mathieu group. Subsequent work by several people established a candidate for the elliptic genus twisted by each element of M24. In this paper we prove that the resulting sequence of class functions are true characters of M24, proving the Eguchi-Ooguri-Tachikawa conjecture. We prove the evenness property of the multiplicities, as conjectured by several authors. We also identify the role group cohomology plays in both K3-Mathieu Moonshine and Monstrous Moonshine; in particular this gives a cohomological interpretation for the non-Fricke elements in Norton's Generalised Monstrous Moonshine conjecture. We investigate the intriguing proposal of Gaberdiel-Hohenegger-Volpato that K3-Mathieu Moonshine lifts to the Conway group Co1.

Perturbative terms of Kac-Moody-Eisenstein series

arXiv:1211.5296

P. Fleig, A. Kleinschmidt

Supersymmetric theories of gravity can exhibit surprising hidden symmetries when considered on manifolds that include a torus. When the torus is of large dimension these symmetries can become infinite-dimensional and of Kac-Moody type. When taking quantum effects into account the symmetries become discrete and invariant functions under these symmetries should play an important role in quantum gravity. The new results here concern surprising simplifications in the constant terms of very particular Eisenstein series on the these Kac-Moody groups. These are exactly the cases that are expected to arise in string theory.