Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

June 9, 2009

Draining the Swampland

Vijay Kumar and Wati Taylor have an interesting paper out, in which they argue that all anomaly-free supersymmetric field theories, coupled to 6D (1,0)(1,0) supergravity, can be UV-completed in string theory. Well … umh … that’s a bit of a stretch, but, morally, that’s what they claim.

The constraints of anomaly-cancellation are rather severe, in 4k+24k+2 dimensions.

First of all, the gauge group can be decomposed as G=G H×G S×G r G = G_H \times G_S \times G_r where G HG_H is a compact subgroup of the isometry group of the hypermultiplet manifold1, G SG_S is a group under which the hypermultiplets are neutral, and G r=Sp(1)G_r = Sp(1) or U(1)U(1), in the case of gauged supergravity, where the R-symmetry group, or a U(1)U(1) subgroup thereof, is gauged. To kill the Tr(R 4)Tr(R^4) term in I 8I_8, we must have

(1)n Hn V+29n T=273n_H - n_V +29 n_T = 273

where n Tn_T is the number of tensor multiplets.

We also need the Tr(F i 4)Tr(F^4_i) term to vanish, for each simple factor of the gauge group. For G SG_S, this means that it must be a product of simple factors with no quartic Casimir (SU(2)SU(2), SU(3)SU(3), G 2G_2, F 4F_4, E 6E_6, E 7E_7, or E 8E_8). If G HG_H contains Sp(N)Sp(N) (N>1N\gt 1), SU(N)SU(N) (N>3N\gt 3) or SO(N)SO(N) (N>4N\gt 4) factors, we must arrange for the contributions of the hypermultiplets to cancel the contributions of the vectors. Having done that, I 8I_8 may be written as I 8=C ABρ Aρ B I_8 = C^{A B} \rho_A \rho_B where ρ=(Tr(R 2),Tr(F 1 2),,Tr(F n 2))\rho = (Tr(R^2), Tr(F_1^2), \dots , Tr(F_n^2)). If the quadratic form, C ABC^{A B}, has rank rn T+1r\leq n_T +1 and signature (1,r1)(1,r-1) (for its nonzero eigenvalues), then the anomaly can be cancelled by a (generalized) Green-Schwarz mechanism.

Even with n T=1n_T=1, there are lots of theories, including two infinite series discovered by Schwarz2. Kumar and Taylor argue, correctly I think, that these infinite series are pathological. The gauge kinetic terms (related by supersymmetry to the coefficients in the anomaly polynomial) are not positive-definite. Many of the theories that remain can, indeed, be embedded in string theory.

Wth less than three simple factors in the gauge group, there are still plenty of theories with no (known) string construction. There’s the SU(24)×SO(8)SU(24)\times SO(8) model, mentioned in their paper. But there are plenty of others in Avramis and Kehagias. For instance, there are models with G=SO(29)G=SO(29), and G=SO(30)G=SO(30) with3, respectively, 21 and 22 fundamental hypermultiplets, and the appropriate number of neutral hypermultiplets to satisfy (1).

And Avramis and Kehagias make no pretence that their list of anomaly-free models is complete, even for n T=1n_T=1, let alone for n T>1n_T\gt 1. (Note that the set of 6D theories which can be embedded in string theory include the low-energy limit of the E 8×E 8E_8\times E_8 heterotic string, compactified on K3, which has branches of its moduli space with n T>1n_T\gt 1. So it seems particularly artificial, in this context, to restrict to n T=1n_T=1.)

In the physically-interesting case of 4 dimensions, the absence of gravitational anomalies means that the anomaly-cancellation does not impose much of a constraint at all on the possible gauge groups and matter content. It’s not clear at all why the 6D case (even if it were true that all anomaly-free 6D supersymmetric theories could be UV-completed in string theory) would be a good guide to 4D.


1 The hypermultiplets parametrize a quaternionic manifold of the form 𝒢/×Sp(1)\mathcal{G}/\mathcal{H}\times Sp(1), with (𝒢,)(\mathcal{G},\mathcal{H}) being one of (Sp(n H,1),Sp(n H)),(SU(n H,2),SU(n H)×U(1)),(SO(n H,4),SO(n H)×SO(3)), (E 8,E 7),(E 7,SO(12)),(E 6,SU(6)),(F 4,Sp(3)),(G 2,Sp(1)).\begin{gathered} (Sp(n_H, 1), Sp(n_H)),\, (SU(n_H, 2),\, SU(n_H)\times U(1)),\, (SO(n_H, 4),\, SO(n_H)\times SO(3)),\\ (E_8,E_7),\, (E_7, SO(12)),\, (E_6, SU(6)),\, (F_4, Sp(3)),\, (G_2, Sp(1)). \end{gathered}

2 These are G=SO(2N+8)×Sp(N)G=SO(2N+8)\times Sp(N) with a bifundamental (2N+8,2N)(2N+8,2N), and SU(N)×SU(N)SU(N)\times SU(N), with 2(N,N)2(N,N).

3 These are part of a family of theories with G=SO(N)G=SO(N), and N8N-8 hypermultiplets in the fundamental. To satisfy (1), N<31N\lt 31. For each of these models, the anomaly polynomial factorizes, I 8=(Tr(R 2)Tr(F 2)) 2I_8 = {\left(Tr(R^2)- Tr(F^2)\right)}^2. The models with N28N\leq 28 arise as compactifications of the Spin(32)/ 2Spin(32)/\mathbb{Z}_2 heterotic string on K3.

Posted by distler at June 9, 2009 4:45 PM

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1989

0 Comments & 0 Trackbacks

Post a New Comment