Friday, May 28, 2010

Rigid Calabi-Yau threefolds, Picard Eisenstein series and instantons

.
Type IIA string theory compactified on a rigid Calabi-Yau threefold gives rise to a classical moduli space that carries an isometric action of U(2,1). Various quantum corrections break this continuous isometry to a discrete subgroup. Focussing on the case where the intermediate Jacobian of the Calabi-Yau admits complex multiplication by the ring of quadratic imaginary integers O_d, we argue that the remaining quantum duality group is an arithmetic Picard modular group PU(2,1;O_d). Based on this proposal we construct an Eisenstein series invariant under this duality group and study its non-Abelian Fourier expansion. This allows the prediction of non-perturbative effects, notably the contribution of D2- and NS5-brane instantons. The present work extends our previous analysis in 0909.4299 which was restricted to the special case of the Gaussian integers O_1=Z[i].

Monday, May 24, 2010

Root systems and diagram calculus. I. Cycles in the Carter diagrams

.
We consider admissible diagrams (a.k.a. Carter diagrams) introduced by R. Carter in 1972 for the classification of conjugacy classes in a finite Weyl group $W$. Cycles in the Carter diagrams are the interest of this paper. We show that 4-cycles determine the scene. The explicit transformations of any Carter diagram containing long cycles ($l > 4$) to another Carter diagram containing only 4-cycles are constructed.Thus all Carter diagrams containing long cycles can be discarded from the classification list. Conjugate elements of $W$ give rise to the same diagram $\Gamma$. The converse is not true, there exist diagrams determining two conjugacy class in $W$. It is shown that the connected Carter diagram $\Gamma$ containing at least one 4-cycle determines the single conjugacy class. We consider a generalization of the Carter diagrams called connection diagrams. For a connection diagram, we consider a nature set of transformations which preserve conjugacy class associated with a given diagram. Connection diagrams obtained one from the other by these transformations called equivalent connection diagrams. Consideration of equivalent connection diagrams is the basic tool of the paper.

Saturday, May 22, 2010

Generalized Donaldson-Thomas invariants

.
This is a survey of the book arXiv:0810.5645 with Yinan Song. Let X be a Calabi-Yau 3-fold over C. The Donaldson-Thomas invariants of X are integers DT^a(t) which count stable sheaves with Chern character a on X, with respect to a Gieseker stability condition t. They are defined only for Chern characters a for which there are no strictly semistable sheaves on X. They have the good property that they are unchanged under deformations of X. Their behaviour under change of stability condition t was not understood until now. We discuss "generalized Donaldson-Thomas invariants" \bar{DT}^a(t). These are rational numbers, defined for all Chern characters a, and are equal to DT^a(t) if there are no strictly semistable sheaves in class a. They are deformation-invariant, and have a known transformation law under change of stability condition. We conjecture they can be written in terms of integral "BPS invariants" \hat{DT}^a(t) when the stability condition t is "generic". We extend the theory to abelian categories of representations of a quiver with relations coming from a superpotential, and connect our ideas with Szendroi's "noncommutative Donaldson-Thomas invariants" and work by Reineke and others. There is significant overlap between arXiv:0810.5645 and the independent paper arXiv:0811.2435 by Kontsevich and Soibelman.

Friday, May 21, 2010

The Hilbert Series of the One Instanton Moduli Space

.
The moduli space of k G-instantons on R^4 for a classical gauge group G is known to be given by the Higgs branch of a supersymmetric gauge theory that lives on Dp branes probing D(p + 4) branes in Type II theories. For p = 3, these (3 + 1) dimensional gauge theories have N = 2 supersymmetry and can be represented by quiver diagrams. The F and D term equations coincide with the ADHM construction. The Hilbert series of the moduli spaces of one instanton for classical gauge groups is easy to compute and turns out to take a particularly simple form which is previously unknown. This allows for a G invariant character expansion and hence easily generalisable for exceptional gauge groups, where an ADHM construction is not known. The conjectures for exceptional groups are further checked using some new techniques like sewing relations in Hilbert Series. This is applied to Argyres-Seiberg dualities.

Thursday, May 20, 2010

Evidence for F(uzz) Theory

.
We show that in the decoupling limit of an F-theory compactification, the internal directions of the seven-branes must wrap a non-commutative four-cycle S. We introduce a general method for obtaining fuzzy geometric spaces via toric geometry, and develop tools for engineering four-dimensional GUT models from this non-commutative setup. We obtain the chiral matter content and Yukawa couplings, and show that the theory has a finite Kaluza-Klein spectrum. The value of 1/alpha_(GUT) is predicted to be equal to the number of fuzzy points on the internal four-cycle S. This relation puts a non-trivial restriction on the space of gauge theories that can arise as a limit of F-theory. By viewing the seven-brane as tiled by D3-branes sitting at the N fuzzy points of the geometry, we argue that this theory admits a holographic dual description in the large N limit. We also entertain the possibility of constructing string models with large fuzzy extra dimensions, but with a high scale for quantum gravity.

Thursday, May 13, 2010

One-dimensional Chern-Simons theory

.
We study a one-dimensional toy version of the Chern-Simons theory. We construct its simplicial version which comprises features of a low-energy effective gauge theory and of a topological quantum field theory in the sense of Atiyah.

Tuesday, May 11, 2010

Wall Crossing As Seen By Matrix Models

.
The number of BPS bound states of D-branes on a Calabi-Yau manifold depends on two sets of data, the BPS charges and the stability conditions. For D0 and D2-branes bound to a single D6-brane wrapping a Calabi-Yau 3-fold $X$, both are naturally related to the K\"ahler moduli space ${\cal M}(X)$. We construct unitary one-matrix models which count such BPS states for a class of toric Calabi-Yau manifolds at infinite 't Hooft coupling. The matrix model for the BPS counting on $X$ turns out to give the topological string partition function for another Calabi-Yau manifold $Y$, whose K\"ahler moduli space ${\cal M}(Y)$ contains two copies of ${\cal M}(X)$, one related to the BPS charges and another to the stability conditions. The two sets of data are unified in ${\cal M}(Y)$. The matrix models have a number of other interesting features. They compute spectral curves and mirror maps relevant to the remodeling conjecture. For finite 't Hooft coupling they give rise to yet more general geometry $\widetilde{Y}$ containing $Y$.

Monday, May 10, 2010

On the topology of T-duality

.
In string theory, the concept of T-duality between two principal U(1)-bundles E_1 and E_2 over the same base space B, together with cohomology classes $h_1\in H^3(E_1)$ and $h_2\in H^3(E_2)$, has been introduced. One of the main virtues of T-duality is that $h_1$-twisted K-theory of $E_1$ is isomorphic to $h_2$-twisted K-theory of $E_2$. In this paper, a new, very topological concept of T-duality is introduced. The study pairs (E,h) as above from a topological point of view and construct a classifying space of such pairs. Using this, we construct a universal dual pair to a given pair. Our construction immediately gives a number of known and new properties of the dual. In particular it implies existence of a dual of any pair (E,h), and it also describes the ambiguity upto which the dual is well defined. In order to deal with twisted K-theory, some care is needed, in particular when dealing with naturality questions, because the twisted K-theory depends on the explicit model for the twists and the twisted theory --care which is missing in some of the existing literature. We illustrate the use of T-duality by some explicit calculations of twisted K-groups.