Tuesday, September 30, 2014

Theories of Class S and New N=1 SCFTs



We describe an infinite two-parameter subfamily of theories of class S where dialing one of the parameters interpolates between Gaiotto's T_N theory and a theory of N^2 free hypermultiplets. After using the reduced superconformal index to study the operator content, we use these theories to construct new N=1 SCFTs and then examine the flows between them.

Saturday, September 27, 2014

Exponential Sums Related to Maass Forms




We estimate short exponential sums weighted by the Fourier coefficients of a Maass form. This requires working out a certain transformation formula for non-linear exponential sums, which is of independent interest. We also discuss how the results depend on the growth of the Fourier coefficients in question. 
The short estimates allow us to reduce smoothing errors. In particular, we prove an analogue of the approximate functional equation previously proven for holomorphic cusp form coefficients. 
As an application of these, we remove the logarithm from the classical upper bound for long linear sums weighted by Fourier coefficients of Maass forms, the resulting estimate being the best possible. This also involves improving the upper bounds for long linear sums with rational additive twists, the gains again allowed by the estimates for the short sums.

Wednesday, September 24, 2014

Toda 3-Point Functions From Topological Strings



We consider the long-standing problem of obtaining the 3-point functions of Toda CFT. Our main tools are topological strings and the AGT-W relation between gauge theories and 2D CFTs. In arXiv:1310.3841 we computed the partition function of 5D $T_N$ theories on $S^4 \times S^1$ and suggested that they should be interpreted as the three-point structure constants of q-deformed Toda. In this paper, we provide the exact AGT-W dictionary for this relation and rewrite the 5D $T_N$ partition function in a form that makes taking the 4D limit possible. Thus, we obtain a prescription for the computation of the partition function of the 4D $T_N$ theories on $S^4$, or equivalently the undeformed 3-point Toda structure constants. Our formula, has the correct symmetry properties, the zeros that it should and, for $N=2$, gives the known answer for Liouville CFT.

Nonassociative geometry in quasi-Hopf representation categories I: Bimodules and their internal homomorphisms



We systematically study noncommutative and nonassociative algebras A and their bimodules as algebras and bimodules internal to the representation category of a quasitriangular quasi-Hopf algebra. We enlarge the morphisms of the monoidal category of A-bimodules by internal homomorphisms, and describe explicitly their evaluation and composition morphisms. For braided commutative algebras A the full subcategory of symmetric A-bimodule objects is a braided closed monoidal category, from which we obtain an internal tensor product operation on internal homomorphisms. We describe how these structures deform under cochain twisting of the quasi-Hopf algebra, and apply the formalism to the example of deformation quantization of equivariant vector bundles over a smooth manifold. Our constructions set up the basic ingredients for the systematic development of differential geometry internal to the quasi-Hopf representation category, which will be tackled in the sequels to this paper, together with applications to models of noncommutative and nonassociative gravity such as those anticipated from non-geometric string theory.

Sunday, September 21, 2014

Computing topological zeta functions of groups, algebras, and modules, II



Building on our previous work (arXiv:1405.5711), we develop the first practical algorithm for computing topological zeta functions of nilpotent groups, non-associative algebras, and modules. While we previously depended upon non-degeneracy assumptions, the theory developed here allows us to overcome these restrictions in various interesting cases.

Thursday, September 18, 2014

The Moonshine Module for Conway's Group



We exhibit an action of Conway's group---the automorphism group of the Leech lattice---on a distinguished super vertex operator algebra, and we prove that the associated graded trace functions are normalized principal moduli, all having vanishing constant terms in their Fourier expansion. Thus we construct the natural analogue of the Frenkel--Lepowsky--Meurman moonshine module for Conway's group. 

The super vertex operator algebra we consider admits a natural characterization, in direct analogy with that conjectured to hold for the moonshine module vertex operator algebra. It also admits a unique canonically-twisted module, and the action of the Conway group naturally extends. We prove a special case of generalized moonshine for the Conway group, by showing that the graded trace functions arising from its action on the canonically-twisted module are constant in the case of Leech lattice automorphisms with fixed points, and are principal moduli for genus zero groups otherwise.

Saturday, September 13, 2014

Tetrahedron Equation and Quantum $R$ Matrices for modular double of $U_q(D^{(2)}_{n+1}), U_q(A^{(2)}_{2n})$ and $U_q(C^{(1)}_{n})$



We introduce a homomorphism from the quantum affine algebras $U_q(D^{(2)}_{n+1}), U_q(A^{(2)}_{2n}), U_q(C^{(1)}_{n})$ to the $n$-fold tensor product of the $q$-oscillator algebra ${\mathcal A}_q$. Their action commute with the solutions of the Yang-Baxter equation obtained by reducing the solutions of the tetrahedron equation associated with the modular and the Fock representations of ${\mathcal A}_q$. In the former case, the commutativity is enhanced to the modular double of these quantum affine algebras.

On Some Computations of Higher Rank Refined Donaldson-Thomas Invariants



We present some computations of higher rank refined Donaldson-Thomas invariants on local curve geometries, corresponding to local D6-D2-D0 or D4-D2-D0 configurations. A refined wall-crossing formula for invariants with higher D6 or D4 ranks is derived and verified to agree with the existing formulas under the unrefined limit. Using the formula, refined invariants on the $(-1,-1)$ and $(-2,0)$ local rational curve with higher D6 or D4 ranks are computed.

Monday, September 8, 2014

Exact results in N=8 Chern-Simons-matter theories and quantum geometry



We show that, in ABJ(M) theories with N=8 supersymmetry, the non-perturbative sector of the partition function on the three-sphere simplifies drastically. Due to this simplification, we are able to write closed form expressions for the grand potential of these theories, which determines the full large N asymptotics. Moreover, we find explicit formulae for the generating functionals of their partition functions, for all values of the rank N of the gauge group. They involve Jacobi theta functions on the spectral curve associated to the planar limit. We also show that the partition function, as a function of N, can be extended in a natural way to an entire function on the full complex plane, and we explore some possible consequences of this fact for the quantum geometry of M-theory and for putative de Sitter extensions.

Non-Unitary Holography



We propose gauge theory/gravity duality involving conformal theories based on U(N+k|k) gauge groups. We show that to all orders in 1/N these non-unitary theories based on supergroups are indistinguishable from the corresponding unitary theories where the gauge group is replaced by U(N). This leads to non-unitary gravity duals which to all orders in 1/N are indistinguishable from their unitary cousins. They are distinguished by operators whose correlation functions differ by O(exp(-aN)). The celebrated type IIB on AdS^5 x S^5 and M-theory on AdS^4 x S^7 fall in this class and thus seem to also admit non-unitary non-perturbative completions. It is tempting to conjecture that this setup may provide a non-unitary model for black hole evaporation.

Sunday, September 7, 2014

Comments on M$_{24}$ representations and $CY_3$ geometries



We show using string dualities that Mathieu moonshine controls Gromov-Witten invariants and periods of the holomorphic 3-form $\Omega$ for certain $CY_3$ manifolds. We also discuss how the period vectors appear in flux compactifications on these $CY_3$ manifolds and work out the connection between the sporadic group M$_{24}$ and the Yukawa couplings in four dimensional theories that arise from heterotic string theory compactifications on these $CY_3$ manifolds.

Prenilpotent pairs in E10



Tits has defined Kac-Moody groups for all root systems, over all commutative rings. A central concept is the idea of a prenilpotent pair of (real) roots. In particular, writing down his definition explicitly requires knowing all the Weyl-group orbits of such pairs. We show that for the hyperbolic root system E10 there are so many orbits that any attempt at direct enumeration is futile. Namely, the number of orbits of prenilpotent pairs having inner product k grows at least as fast as the seventh power of k, as k approaches infinity. Our purpose is to motivate alternate approaches to Tits' groups.

Quantum supergroups V. Braid group action



We construct a braid group action on quantum covering groups. We further use this action to construct a PBW basis for the positive half in finite type which is pairwise-orthogonal under the inner product. This braid group action is induced by operators on the integrable modules; however, these operators satisfy spin braid relations.

Saturday, September 6, 2014

$p$-adic properties of modular shifted convolution Dirichlet series



Hoffstein and Hulse recently introduced the notion of shifted convolution Dirichlet series for pairs of modular forms $f_1$ and $f_2$. The second two authors investigated certain special values of symmetrized sums of such functions, numbers which are generally expected to be mysterious transcendental numbers. They proved that the generating functions of these values in $h$-aspect are linear combinations of mixed mock modular forms and quasimodular forms. Here we examine the special cases when $f_1=f_2$ where, in addition, there is a prime $p$ for which $p^2$ divides the level. We prove that the mixed mock modular form is a linear combination of at most two weight 2 weakly holomorphic $p$-adic modular forms.