Tuesday, December 31, 2013

Bogomolov multiplier, double class-preserving automorphisms and diagonal modular invariants for orbifolds



We describe the group of braided tensor autoequivalences of the Drinfeld centre of a finite group $G$ isomorphic to the identity functor (just as a functor) as a semi-direct product $Aut^1_{br}(\Z(G))\ \simeq\ Out_{2-cl}(G)\ltimes B(G)\ $ of the group of double class preserving automorphisms and the Bogomolov multiplier of $G$. The Bogomolov multiplier $B(G)$ is the subgroup of its Schur multiplier $H^2(G,k^*)$ of classes vanishing on abelian subgroups of $G$. We show that elements of $Aut^1_{br}(\Z(G))$ give rise to different realisations of the diagonal modular invariant for $G$-orbifolds of holomorphic conformal field theories.

Monday, December 30, 2013

Automorphic Black Hole Entropy



Over the past few years the understanding of the microscopic theory of black hole entropy has made important conceptual progress by recognizing that the degeneracies are encoded in partition functions which are determined by higher rank automorphic representations, in particular in the context of Siegel modular forms of genus two. In this brief review some of the elements of this framework are highlighted. One of the surprising aspects is that the Siegel forms that have appeared in the entropic framework are geometric in origin, arising from weight two cusp forms, hence from elliptic curves.

Wednesday, December 25, 2013

Quantum geometry and quiver gauge theories



We study macroscopically two dimensional $\mathcal{N}=(2,2)$ supersymmetric gauge theories constructed by compactifying the quiver gauge theories with eight supercharges on a product $\mathbb{T}^{d} \times \mathbb{R}^{2}_{\epsilon}$ of a $d$-dimensional torus and a two dimensional cigar with $\Omega$-deformation. We compute the universal part of the effective twisted superpotential. In doing so we establish the correspondence between the gauge theories, quantization of the moduli spaces of instantons on $\mathbb{R}^{2-d} \times \mathbb{T}^{2+d}$ and singular monopoles on $\mathbb{R}^{2-d} \times \mathbb{T}^{1+d}$, for $d=0,1,2$, and the Yangian $\mathbf{Y}_{\epsilon}(\mathfrak{g}_{\Gamma})$, quantum affine algebra $\mathbf{U}^{\mathrm{aff}}_q(\mathfrak{g}_{\Gamma})$, or the quantum elliptic algebra $\mathbf{U}^{\mathrm{ell}}_{q,p}(\mathfrak{g}_{\Gamma})$ associated to Kac-Moody algebra $\mathfrak{g}_{\Gamma}$ for quiver $\Gamma$.

Tuesday, December 24, 2013

A magic pyramid of supergravities



By formulating N = 1, 2, 4, 8, D = 3, Yang-Mills with a single Lagrangian and single set of transformation rules, but with fields valued respectively in R,C,H,O, it was recently shown that tensoring left and right multiplets yields a Freudenthal-Rosenfeld-Tits magic square of D = 3 supergravities. This was subsequently tied in with the more familiar R,C,H,O description of spacetime to give a unified division-algebraic description of extended super Yang-Mills in D = 3, 4, 6, 10. Here, these constructions are brought together resulting in a magic pyramid of supergravities. The base of the pyramid in D = 3 is the known 4x4 magic square, while the higher levels are comprised of a 3x3 square in D = 4, a 2x2 square in D = 6 and Type II supergravity at the apex in D = 10. The corresponding U-duality groups are given by a new algebraic structure, the magic pyramid formula, which may be regarded as being defined over three division algebras, one for spacetime and each of the left/right Yang-Mills multiplets. We also construct a conformal magic pyramid by tensoring conformal supermultiplets in D = 3, 4, 6. The missing entry in D = 10 is suggestive of an exotic theory with G/H duality structure F4(4)/Sp(3) x Sp(1).

Monday, December 23, 2013

On the Classification of 6D SCFTs and Generalized ADE Orbifolds



We study (1,0) and (2,0) 6D superconformal field theories (SCFTs) that can be constructed in F-theory. Quite surprisingly, all of them involve an orbifold singularity C^2 / G with G a discrete subgroup of U(2). When G is a subgroup of SU(2), all discrete subgroups are allowed, and this leads to the familiar ADE classification of (2,0) SCFTs. For more general U(2) subgroups, the allowed possibilities for G are not arbitrary and are given by certain generalizations of the A- and D-series. These theories should be viewed as the minimal 6D SCFTs. We obtain all other SCFTs by bringing in a number of E-string theories and/or decorating curves in the base by non-minimal gauge algebras. In this way we obtain a vast number of new 6D SCFTs, and we conjecture that our construction provides a full list.

Sunday, December 22, 2013

Framed sheaves on root stacks and supersymmetric gauge theories on ALE spaces



We develop a new approach to the study of supersymmetric gauge theories on ALE spaces using the theory of framed sheaves on root toric stacks, which illuminates relations with gauge theories on $\mathbb{R}^4$ and with two-dimensional conformal field theory. We construct a stacky compactification of a minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$, which is a projective toric orbifold $\mathscr{X}_k$ such that $\mathscr{X}_k\setminus X_k$ is a $\mathbb{Z}_k$-gerbe. We construct moduli spaces of torsion free sheaves on $\mathscr{X}_k$ which are framed along the compactification gerbe. We prove that this moduli space is a smooth quasi-projective variety, compute its dimension, and classify its fixed points under the natural induced toric action. We use this construction to compute the partition functions and correlators of chiral BPS operators for $\mathcal{N}=2$ quiver gauge theories on $X_k$ with nontrivial holonomies at infinity. The partition functions are computed with and without couplings to bifundamental matter hypermultiplets and expressed in terms of root toric blowup formulas, which relate them to the corresponding Nekrasov partition functions on the affine toric subsets of $X_k$. We compare our new partition functions with previous computations, explore their connections to the representation theory of affine Lie algebras, and find new constraints on fractional instanton charges in the coupling to fundamental matter. We show that the partition functions in the low energy limit are characterised by the Seiberg-Witten curves, and in some cases also by suitable blowup equations involving Riemann theta-functions on the Seiberg-Witten curve with characteristics related to the nontrivial holonomies.

Tuesday, December 17, 2013

On the Classification of Elliptic Fibrations modulo Isomorphism on K3 Surfaces with large Picard Number



Motivated by a problem originating in string theory, we study elliptic fibrations on K3 surfaces with large Picard number modulo isomorphism. We give methods to determine upper bounds for the number of inequivalent K3 surfaces sharing the same frame lattice. For any given Neron--Severi lattice $S_X$, such a bound on the `multiplicity' can be derived by investigating the quotient of the isometry group of $S_X$ by the automorphism group. The resulting bounds are strongest for large Picard numbers and multiplicities of unity do indeed occur for a number of K3 surfaces with Picard number 20. Under a few extra conditions, a more refined analysis is also possible by explicitly studying the embedding of $S_X$ into the even unimodular lattice ${\rm II}_{1,25}$ and exploiting the detailed structure of the isometry groups of $S_X$ and ${\rm II}_{1,25}$. We illustrate these methods in examples and derive bounds for the number of elliptic fibrations on Kummer surfaces of Picard numbers 17 and 20. As an intermediate step, we also discuss coarser classification schemes and review known results.

Monday, December 16, 2013

Fourier expansions of Kac-Moody Eisenstein series and degenerate Whittaker vectors



Motivated by string theory scattering amplitudes that are invariant under a discrete U-duality, we study Fourier coefficients of Eisenstein series on Kac-Moody groups. In particular, we analyse the Eisenstein series on E_9(R), E_10(R) and E_11(R) corresponding to certain degenerate principal series at the values s=3/2 and s=5/2 that were studied in 1204.3043. We show that these Eisenstein series have very simple Fourier coefficients as expected for their role as supersymmetric contributions to the higher derivative couplings R^4 and \partial^{4} R^4 coming from 1/2-BPS and 1/4-BPS instantons, respectively. This suggests that there exist minimal and next-to-minimal unipotent automorphic representations of the associated Kac-Moody groups to which these special Eisenstein series are attached. We also provide complete explicit expressions for degenerate Whittaker vectors of minimal Eisenstein series on E_6(R), E_7(R) and E_8(R) that have not appeared in the literature before.

Monday, December 9, 2013

Quantum groups via cyclic quiver varieties



We construct the quantized enveloping algebra of any simple Lie algebra of type ADE as the quotient of a Grothendieck ring arising from certain cyclic quiver varieties. In particular, the dual canonical basis of a one-half quantum group with respect to Lusztig's bilinear form is contained in the natural basis of the Grothendieck ring up to rescaling.

Second Quantized Mathieu Moonshine



We study the second quantized version of the twisted twining genera of generalized Mathieu moonshine, and verify that they give rise to Siegel modular forms with infinite product representations. Most of these forms are expected to have an interpretation as twisted partition functions counting 1/4 BPS dyons in type II superstring theory on K3\times T^2 or in heterotic CHL-models. We show that all these Siegel modular forms, independently of their possible physical interpretation, satisfy an "S-duality" transformation and a "wall-crossing formula". The latter reproduces all the eta-products of an older version of generalized Mathieu moonshine proposed by Mason in the '90s. Surprisingly, some of the Siegel modular forms we find coincide with the multiplicative (Borcherds) lifts of Jacobi forms in umbral moonshine.

Sunday, December 8, 2013

An identification of Lusztig's modified forms of quantum algebras and their analogues



We introduce a multi-parameter twisted Hopf algebra associated with a root datum and show that its modified form is isomorphic to Lusztig's modified quantum algebra under certain restrictions on the parameters. By taking various specializations of the parameters, we obtain similar results for two/multi-parameter quantum algebras and Kang-Kashiwara-Oh's multi-parameter quantum superalgebras. As a consequence, the categories of weight modules of these algebras are identical.