Virasoro constraints and the Chern classes of the Hodge bundle

We analyse the consequences of the Virasoro conjecture of Eguchi, Hori and Xiong for Gromov-Witten invariants, in the case of zero degree maps to the manifolds CP^1 and CP^2 (or more generally, smooth projective curves and smooth simply-connected projective surfaces). We obtain predictions involving intersections of psi and lambda classes on the compactification of M_{g,n}. In particular, we show that the Virasoro conjecture for CP^2 implies the numerical part of Faber's conjecture on the tautological Chow ring of M_g.Comment: 12 pages, latex2

Towards A Topological G_2 String

We define new topological theories related to sigma models whose target space is a 7 dimensional manifold of G_2 holonomy. We show how to define the topological twist and identify the BRST operator and the physical states. Correlation functions at genus zero are computed and related to Hitchin's topological action for three-forms. We conjecture that one can extend this definition to all genus and construct a seven-dimensional topological string theory. In contrast to the four-dimensional case, it does not seem to compute terms in the low-energy effective action in three dimensions.Comment: 15 pages, To appear in the proceedings of Cargese 2004 summer schoo

N=4 Superconformal Algebra and the Entropy of HyperKahler Manifolds

We study the elliptic genera of hyperKahler manifolds using the representation theory of N=4 superconformal algebra. We consider the decomposition of the elliptic genera in terms of N=4 irreducible characters, and derive the rate of increase of the multiplicities of half-BPS representations making use of Rademacher expansion. Exponential increase of the multiplicity suggests that we can associate the notion of an entropy to the geometry of hyperKahler manifolds. In the case of symmetric products of K3 surfaces our entropy agrees with the black hole entropy of D5-D1 system.Comment: 25 pages, 1 figur

Mathieu twining characters for K3

The analogue of the McKay-Thompson series for the proposed Mathieu group action on the elliptic genus of K3 is analysed. The corresponding NS-sector twining characters have good modular properties and satisfy remarkable replication identities. These observations provide strong support for the conjecture that the elliptic genus of K3 carries indeed an action of the Mathieu group M24.Comment: 19 page

Non-Renormalization Theorems in Non-Renormalizable Theories

A perturbative non-renormalization theorem is presented that applies to general supersymmetric theories, including non-renormalizable theories in which the $\int d^2\theta$ integrand is an arbitrary gauge-invariant function $F(\Phi,W)$ of the chiral superfields $\Phi$ and gauge field-strength superfields $W$, and the $\int d^4\theta$-integrand is restricted only by gauge invariance. In the Wilsonian Lagrangian, $F(\Phi,W)$ is unrenormalized except for the one-loop renormalization of the gauge coupling parameter, and Fayet-Iliopoulos terms can be renormalized only by one-loop graphs, which cancel if the sum of the U(1) charges of the chiral superfields vanishes. One consequence of this theorem is that in non-renormalizable as well as renormalizable theories, in the absence of Fayet-Iliopoulos terms supersymmetry will be unbroken to all orders if the bare superpotential has a stationary point.Comment: 13 pages (including title page), no figures. Vanilla LaTe

Numerical results from large N reduced QCD_2

Some results in QCD_2 at large N are presented using the reduced model on the lattice. Overlap fermions are used to compute meson propagators.Comment: 3 pages, contribution to Lattice 2002, Bosto

Issues in M(atrix) Theory Compactification

We discuss issues concerning M(atrix) theory compactifications on curved spaces. We argue from the form of the graviton propagator on curved space that excited string states do not decouple from the annulus D0-brane $v^4$ amplitude, unlike the flat space case. This argument shows that a large class of quantum mechanical systems with a finite number of degrees of freedom cannot reproduce supergravity answers. We discuss the specific example of an ALE space and suggest sources of possible higher derivative terms that might help reproduce supergravity results.Comment: title modified, references corrected, 11 pages, harvma

Comments on Non-holomorphic Modular Forms and Non-compact Superconformal Field Theories

We extend our previous work arXiv:1012.5721 [hep-th] on the non-compact N=2 SCFT_2 defined as the supersymmetric SL(2,R)/U(1)-gauged WZW model. Starting from path-integral calculations of torus partition functions of both the axial-type (`cigar') and the vector-type (`trumpet') models, we study general models of the Z_M-orbifolds and M-fold covers with an arbitrary integer M. We then extract contributions of the degenerate representations (`discrete characters') in such a way that good modular properties are preserved. The `modular completion' of the extended discrete characters introduced in arXiv:1012.5721 [hep-th] are found to play a central role as suitable building blocks in every model of orbifolds or covering spaces. We further examine a large M-limit (the `continuum limit'), which `deconstructs' the spectral flow orbits while keeping a suitable modular behavior. The discrete part of partition function as well as the elliptic genus is then expanded by the modular completions of irreducible discrete characters, which are parameterized by both continuous and discrete quantum numbers modular transformed in a mixed way. This limit is naturally identified with the universal cover of trumpet model. We finally discuss a classification of general modular invariants based on the modular completions of irreducible characters constructed above.Comment: 1+40 pages, no figure; v2 some points are clarified with respect to the `continuum limit', typos corrected, to appear in JHEP; v3 footnotes added in pages 18, 23 for the relation with arXiv:1407.7721[hep-th

Melting Crystal, Quantum Torus and Toda Hierarchy

Searching for the integrable structures of supersymmetric gauge theories and topological strings, we study melting crystal, which is known as random plane partition, from the viewpoint of integrable systems. We show that a series of partition functions of melting crystals gives rise to a tau function of the one-dimensional Toda hierarchy, where the models are defined by adding suitable potentials, endowed with a series of coupling constants, to the standard statistical weight. These potentials can be converted to a commutative sub-algebra of quantum torus Lie algebra. This perspective reveals a remarkable connection between random plane partition and quantum torus Lie algebra, and substantially enables to prove the statement. Based on the result, we briefly argue the integrable structures of five-dimensional $\mathcal{N}=1$ supersymmetric gauge theories and $A$-model topological strings. The aforementioned potentials correspond to gauge theory observables analogous to the Wilson loops, and thereby the partition functions are translated in the gauge theory to generating functions of their correlators. In topological strings, we particularly comment on a possibility of topology change caused by condensation of these observables, giving a simple example.Comment: Final version to be published in Commun. Math. Phys. . A new section is added and devoted to Conclusion and discussion, where, in particular, a possible relation with the generating function of the absolute Gromov-Witten invariants on CP^1 is commented. Two references are added. Typos are corrected. 32 pages. 4 figure

Bounds for State Degeneracies in 2D Conformal Field Theory

In this note we explore the application of modular invariance in 2-dimensional CFT to derive universal bounds for quantities describing certain state degeneracies, such as the thermodynamic entropy, or the number of marginal operators. We show that the entropy at inverse temperature 2 pi satisfies a universal lower bound, and we enumerate the principal obstacles to deriving upper bounds on entropies or quantum mechanical degeneracies for fully general CFTs. We then restrict our attention to infrared stable CFT with moderately low central charge, in addition to the usual assumptions of modular invariance, unitarity and discrete operator spectrum. For CFT in the range c_left + c_right < 48 with no relevant operators, we are able to prove an upper bound on the thermodynamic entropy at inverse temperature 2 pi. Under the same conditions we also prove that a CFT can have a number of marginal deformations no greater than ((c_left + c_right) / (48 - c_left - c_right)) e^(4 Pi) - 2.Comment: 23 pages, LaTeX, minor change