Go to previous page Go up Go to next page

9.3 Eleven-dimensional supergravity and 𝓔10 βˆ•π“š (𝓔10 )

We shall now illustrate the results of the previous sections by explicitly constructing an action for the coset space β„°10βˆ•π’¦ (β„°10). We employ the level decomposition of E10 = Lieβ„°10 in terms of its regular 𝔰𝔩(10, ℝ)-subalgebra (see Section 8), to write the coordinates on the coset space as (time-dependent) 𝔰𝔩(10, ℝ)-tensors. It is then shown that for a truncation of the sigma model at level β„“ = 3, these fields can be interpreted as the physical fields of eleven-dimensional supergravity. This “dictionary” ensures that the equations of motion arising from the sigma model on β„°10βˆ•π’¦ (β„°10) are equivalent to the (suitably truncated) equations of motion of eleven-dimensional supergravity [47Jump To The Next Citation Point].

9.3.1 Low level fields

We perform the level decomposition of E10 with respect to the 𝔰𝔩(10,ℝ )-subalgebra obtained by removing the exceptional node in the Dynkin diagram in Figure 49View Image. This procedure was described in Section 8. When using this decomposition, a sum over (positive) roots becomes a sum over all 𝔰𝔩(10,ℝ )-indices in each (positive) representation appearing in the decomposition.

We recall that up to level three the following representations appear

a β„“ = 0 : K b, β„“ = 1 : Eabc = E [abc], β„“ = 2 : Ea1⋅⋅⋅a6 = E[a1⋅⋅⋅a6], (9.102 ) β„“ = 3 : Ea |b1⋅⋅⋅b8 = Ea |[b1⋅⋅⋅b8],
where all indices are 𝔰𝔩(10,ℝ )-indices and so run from 1 to 10. The level zero generators Kab correspond to the adjoint representation of 𝔰𝔩(10,ℝ ) and the higher level generators correspond to an infinite tower of raising operators of E10. As indicated by the square brackets, the level one and two representations are completely antisymmetric in all indices, while the level three representation has a mixed Young tableau symmetry: It is antisymmetric in the eight indices b ⋅⋅⋅b 1 8 and is also subject to the constraint
E [a|b1⋅⋅⋅b8] = 0. (9.103 )
In the scale factor space (β-basis), the roots of E10 corresponding to the above generators act as follows on β ∈ π”₯:
a a b K b ⇐ ⇒ αab(β ) = β − β (a > b), Eabc ⇐ ⇒ αabc(β) = βa + βb + βc, Ea1⋅⋅⋅a6 ⇐ ⇒ αa1⋅⋅⋅a6(β ) = βa1 + ⋅⋅⋅ + βa6, (9.104 ) Ea |ab1⋅⋅⋅b7 ⇐ ⇒ α (β) = 2βa + βb1 + ⋅⋅⋅ + βb7, a1|a2⋅⋅⋅a9 ab1⋅⋅⋅b7 a1 a9 E ⇐ ⇒ αa1⋅⋅⋅a9(β ) = β + ⋅⋅⋅ + β .
We can use the scalar product in root space, π”₯⋆ E10, to compute the norms of these roots. Recall from Section 5 that the metric on π”₯⋆ E10 is the inverse of the metric in Equation (9.88View Equation), and for E 10 it takes the form
( ) ( ) ∑10 1 ∑10 ∑10 (ω |ω ) = Gijωiωj = ωiωi − -- ωi ωj , ω ∈ π”₯⋆E10. (9.105 ) i=1 9 i=1 j=1
The level zero, one and two generators correspond to real roots of E10,
(αab|αcd) = 2, (αabc|αdef) = 2, (αa1⋅⋅⋅a6|αb1⋅⋅⋅b6) = 2. (9.106 )
We have split the roots corresponding to the level three generators into two parts, depending on whether or not the special index a takes the same value as one of the other indices. The resulting two types of roots correspond to real and null roots, respectively,
(αab1⋅⋅⋅b7|αcd1⋅⋅⋅d7) = 2, (αa1⋅⋅⋅a9|αb1⋅⋅⋅b9) = 0. (9.107 )
Thus, the first time that generators corresponding to imaginary roots appear in the level decomposition is at level three. This will prove to be important later on in our analysis.

9.3.2 The GL (10,ℝ )βˆ•SO (10 )-sigma model

Because of the importance and geometric significance of level zero, we shall first develop the formalism for the GL (10,ℝ )βˆ•SO (10 )-sigma model. A general group element H in the subgroup GL (10,ℝ ) reads

H = Exp [h bKa ] (9.108 ) a b
where hab is a 10 × 10 matrix (with a being the row index and b the column index). Although the Kab’s are generators of E10 and can, within this framework, at best be viewed as infinite matrices, it will prove convenient – for streamlining the calculations – to view them in the present section also as 10 × 10 matrices, since we confine our attention to the finite-dimensional subgroup GL (10,ℝ ). Namely, a K b is treated as a 10 × 10 matrix with 0’s everywhere except 1 in position (a,b) (see Equation (6.83View Equation)). The final formulation in terms of the variables hab(t) – which are 10 × 10 matrices irrespectively as to whether one deals with GL (10,ℝ ) per se or as a subgroup of E10 – does not depend on this interpretation.

It is also useful to describe GL (10,ℝ) as the set of linear combinations j i mi K j where the 10 × 10 matrix mij is invertible. The product of the Kij’s is given by

Ki Kk = δk Ki . (9.109 ) j m j m
One easily verifies that if M = mijKij and N = nijKij belong to GL (10,ℝ ), then M N = (mn )ijKij where mn is the standard product of the 10 × 10 matrices m and n. Furthermore, ( j i ) ( h) j i Exp hiK j = e i K j where h e is the standard matrix exponential.

Under a general transformation, the representative H (t) is multiplied from the left by a time-dependent SO (10 ) group element R and from the right by a constant linear GL (10,ℝ )-group element L. Explicitly, the transformation takes the form (suppressing the time-dependence for notational convenience)

H → H ′ = RHL. (9.110 )
In terms of components, with b a H = ea K b, b h b ea = (e )a, b a R = Ra K b and b a L = La K b, one finds
′b c d b ea = Ra ec Ld , (9.111 )
where we have set H ′ = e′abKab. The indices on the coset representative have different covariance properties. To emphasize this fact, we shall write a bar over the first index, eab → e¯ab. Thus, barred indices transform under the local SO (10) gauge group and are called “local”, or also “flat”, indices, while unbarred indices transform under the global GL (10, ℝ) and are called “world”, or also “curved”, indices. The gauge invariant matrix product M = HT H is equal to
M = gabKab, (9.112 )
with c Kab ≡ K bδac and
∑ gab = e¯cae¯cb. (9.113 ) ¯c
The ab g do not transform under local SO (10)-transformations and transform as a (symmetric) contravariant tensor under rigid GL (10, ℝ)-transformations,
g′ab = gcdLcaLdb. (9.114 )
They are components of a nondegenerate symmetric matrix that can be identified with an inverse Euclidean metric.

Indeed, the coset space GL (10,ℝ )βˆ•SO (10) can be identified with the space of symmetric tensors of Euclidean signature, i.e., the space of metrics. This is because two symmetric tensors of Euclidean signature are equivalent under a change of frame, and the isotropy subgroup, say at the identity, is evidently SO (10). In that view, the coset representative eab is the spatial vielbein.

The action for the coset space GL (10,ℝ )βˆ•SO (10) with the metric of Equation (8.82View Equation) is easily found to be

1( ac bd ab cd ) β„’0 = 4 g (t)g (t) − g (t)g (t) ∂gab(t)∂gcd(t). (9.115 )
Note that the quadratic form multiplying the time derivatives is just the “De Witt supermetric” [66]. Note also for future reference that the invariant form ∂H H − 1 reads explicitly
−1 b ¯c a ∂H H = ∂e¯a eb K c, (9.116 )
where e ¯n b is the inverse vielbein.

9.3.3 Sigma model fields and SO (10 ) × GL (10,ℝ ) local rigid-covariance

We now turn to the full nonlinear sigma model for β„°10βˆ•π’¦ (β„°10). Rather than exponentiating the Cartan subalgebra separately as in Equation (9.75View Equation), it will here prove convenient to instead single out the level zero subspace 𝔀0 = 𝔀𝔩(10, ℝ). This permits one to control easily SO (10 )local × GL (10,ℝ )rigid-covariance. To make this level zero covariance manifest, we shall furthermore assume that the Borel gauge has been fixed only for the non-zero levels, and we keep all level zero fields present. The residual gauge freedom is then just multiplication by an SO (10) rotation from the left.

Thus, we take a coset representative of the form

[ ] [ b a ] 1 abc 1 a1⋅⋅⋅a6 1 a|b1⋅⋅⋅b8 𝒱 (t) = Exp ha (t)K b Exp 3!π’œabc (t)E + 6!π’œa1 ⋅⋅⋅a6(t)E + 9!π’œa|b1⋅⋅⋅b8(t)E + ⋅⋅⋅(9.1,17 )
where the sum in the first exponent would be restricted to all a ≥ b if we had taken a full Borel gauge also at level zero. The parameters π’œabc(t),π’œa ⋅⋅⋅a (t) 1 6 and π’œa |b⋅⋅⋅b(t) 1 8 are coordinates on the coset space β„° βˆ•π’¦ (β„° ) 10 10 and will eventually be interpreted as physical time-dependent fields of eleven-dimensional supergravity.

How do the fields transform under SO (10)local × GL (10, ℝ)rigid? Let R ∈ SO (10), L ∈ GL (10, ℝ) and decompose 𝒱 according to Equation (9.117View Equation) as the product

𝒱 = HT, (9.118 )
[ b a] H = Exp ha (t)K b ∈ GL (10, ℝ), [ ] (9.119 ) T = Exp -1π’œabc (t)Eabc + -1π’œa ⋅⋅⋅a (t)Ea1 ⋅⋅⋅a6 + 1-π’œa|b⋅⋅⋅b(t)Ea|b1⋅⋅⋅b8 + ⋅⋅⋅ . 3! 6! 1 6 9! 1 8
One has
𝒱 → 𝒱 ′ = R (HT )L = (RHL )(L−1T L ). (9.120 )
Now, the first matrix H ′ = RHL clearly belongs to GL (10, ℝ), since it is the product of a rotation matrix by two GL (10,ℝ )-matrices. It has exactly the same transformation as in Equation (9.110View Equation) above in the context of the nonlinear sigma model for GL (10,ℝ )βˆ•SO (10). Hence, the geometric interpretation of b h b e¯a = (e )¯a as the vielbein remains.

Similarly, the matrix T′ ≡ L− 1TL has exactly the same form as T,

( [ 1 1 1 ] ) T ′ = Exp L −1 --π’œabc(t)Eabc + --π’œa1 ⋅⋅⋅a6(t)Ea1 ⋅⋅⋅a6 + --π’œa|b1⋅⋅⋅b8(t)Ea |b1⋅⋅⋅b8 + ⋅⋅⋅ L [ 3! 6! 9! ] 1- ′ abc 1- ′ a1⋅⋅⋅a6 1- ′ a|b1⋅⋅⋅b8 = Exp 3!π’œ abc(t)E + 6!π’œa1⋅⋅⋅a6(t)E + 9!π’œ a|b1⋅⋅⋅b8(t)E + ⋅⋅⋅ , (9.121 )
where the variables π’œ′abc, π’œ ′a1⋅⋅⋅a6, ..., are obtained from the variables π’œabc, π’œa1 ⋅⋅⋅a6, ..., by computing L −1EabcL, L −1Ea1⋅⋅⋅a6L, ..., using the commutation relations with Kab. Explicitly, one gets
π’œ′ = (L−1) e(L− 1) f(L −1)gπ’œ , π’œ ′ = (L−1) b1 ⋅⋅⋅(L− 1) b6π’œ , etc.(9.122 ) abc a b c efg a1⋅⋅⋅a6 a1 a6 b1⋅⋅⋅b6
Hence, the fields π’œabc, π’œa1⋅⋅⋅a6, ... do not transform under local SO (10 ) transformations. However, they do transform under rigid GL (10,ℝ )-transformations as tensors of the type indicated by their indices. Their indices are world indices and not flat indices.

9.3.4 “Covariant derivatives”

The invariant form ∂𝒱 𝒱− 1 reads

∂𝒱 𝒱 −1 = ∂H H −1 + H (∂T T− 1)H − 1. (9.123 )
The first term is the invariant form encountered above in the discussion of the level zero nonlinear sigma model for GL (10, ℝ)βˆ•SL (10). So let us focus on the second term. It is clear that ∂T T− 1 will contain only positive generators at level ≥ 1. So we set, in a manner similar to Equation (9.64View Equation),
−1 ∑ ∑ ∂T T = π’Ÿ π’œα,sE α,s, (9.124 ) α∈Δ+ s
where the sum is over positive roots at levels one and higher and takes into account multiplicities (through the extra index s). The expressions π’Ÿπ’œ α,s are linear in the time derivatives ∂π’œ. As before, we call them “covariant derivatives”. They are computed by making use of the Baker–Hausdorff formula, as in Section 9.1.6. Explicitly, up to level 3, one finds
−1 1- abc 1- a1⋅⋅⋅a6 -1 a|b1⋅⋅⋅b8 TΛ™T = 3!π’Ÿ π’œabc(t)E + 6!π’Ÿ π’œa1⋅⋅⋅a6(t)E + 9!π’Ÿ π’œa |b1⋅⋅⋅b8(t)E + ⋅⋅⋅ , (9.125 )
π’Ÿ π’œabc(t) = ∂π’œabc(t), π’Ÿπ’œa1 ⋅⋅⋅a6(t) = ∂π’œa1⋅⋅⋅a6(t) + 10π’œ [a1a2a3(t)∂π’œa4a5a6](t), π’Ÿπ’œa |b1⋅⋅⋅b8(t) = ∂π’œa|b1⋅⋅⋅b8(t) + 42π’œ ⟨ab1b2(t)∂π’œ b3⋅⋅⋅b8⟩(t) − 42∂π’œ ⟨ab1b2(t)π’œ b3⋅⋅⋅b8⟩(t), (9.126 ) +280 π’œβŸ¨ab1b2(t)π’œb3b4b5(t)∂π’œ b6b7b8⟩(t),
as computed in [47Jump To The Next Citation Point]. The notation ⟨a1 ⋅⋅⋅ak⟩ denotes projection onto the Young tableaux symmetry carried by the field upon which the covariant derivative acts35. It should be stressed that the covariant derivatives π’Ÿ π’œ have the same transformation properties under SO (10 ) (under which they are inert) and GL (10, ℝ) as π’œ since the GL (10,ℝ ) transformations do not depend on time.

9.3.5 The π“š (𝓔10) × π“”10-invariant action at low levels

The action can now be computed using the bilinear form (⋅|⋅) on E10,

∫ S = dt n(t)− 1(𝒫 (t)||𝒫(t)), (9.127 ) β„°10βˆ•π’¦ (β„°10)
where 𝒫 is obtained by projecting orthogonally onto the subalgebra 𝔨E10 by using the generalized transpose,
a 𝒯 b abc𝒯 (K b) = K a, (E ) = Fabc,⋅⋅⋅etc., (9.128 )
where as above ( )𝒯 = − ω ( ) (with ω being the Chevalley involution). We shall compute the action up to, and including, level 3,
∫ S = dtn (t)−1 (β„’ + β„’ + β„’ + β„’ + ⋅⋅⋅). (9.129 ) β„°10βˆ•π’¦(β„°10) 0 1 2 3

From Equation (9.123View Equation) and the fact that generators at level zero are orthogonal to generators at levels ⁄= 0, we see that β„’0 will be constructed from the level zero part HΛ™ H −1 and will coincide with the Lagrangian (9.115View Equation) for the nonlinear sigma model GL (10,ℝ )βˆ•SO (10),

1( ac bd ab cd ) β„’0 = 4 g (t)g (t) − g (t)g (t) ∂gab(t)∂gcd(t). (9.130 )

To compute the other terms, we use the following trick. The Lagrangian must be a GL (10,ℝ ) scalar. One can easily compute it in the frame where H = 1, i.e., where the metric gab is equal to δ ab. One can then covariantize the resulting expression by replacing everywhere δab by gab. To illustrate the procedure consider the level 1 term. One has, for H = 1 and at level 1, −1 1 abc ∂ 𝒱 𝒱 = 3!π’Ÿ π’œabc(t)E and thus, with the same gauge conditions, ( ) 𝒫 (t) = 12⋅3!π’Ÿ π’œabc(t) Eabc + F abc (where we have raised the indices of Fabc with δab, F123 ≡ F 123 etc). Using (Ea1a2a3|F b1b2b3) = δa1b1δa2b2δa3b3 ± permutations that make the expression antisymmetric (3! terms; see Section 8.4), one then gets β„’ = -1-π’Ÿ π’œ (t)π’Ÿ π’œ (t)δadδbeδcf 1 2⋅3! abc def in the frame where g = δ ab ab. This yields the level 1 Lagrangian in a general frame,

β„’1 = --1--ga1c1ga2c2ga3c3π’Ÿ π’œa aa (t)π’Ÿ π’œc c c(t) 2 ⋅ 3! 12 3 1 23 --1-- a1a2a3 = 2 ⋅ 3!π’Ÿ π’œa1a2a3(t) π’Ÿ π’œ (t). (9.131 )
By a similar analysis, the level 2 and 3 contributions are
--1-- a1⋅⋅⋅a6 β„’2 = 2 ⋅ 6! π’Ÿ π’œa1⋅⋅⋅a6(t)π’Ÿ π’œ (t), 1 (9.132 ) β„’3 = -----π’Ÿ π’œa |b1⋅⋅⋅b8(t)π’Ÿ π’œa |b1⋅⋅⋅b8(t). 2 ⋅ 9!
Collecting all terms, the final form of the action for β„°10βˆ• 𝒦(β„°10) up to and including level β„“ = 3 is
∫ [ − 1 1-( ac bd ab cd ) Sβ„°10βˆ•π’¦ (β„°10) = dtn (t) 4 g (t)g (t) − g (t)g (t) ∂gab(t) ∂gcd(t) + --1--π’Ÿ π’œa a a (t)π’Ÿ π’œa1a2a3(t) + -1--π’Ÿ π’œa ⋅⋅⋅a (t)π’Ÿ π’œa1⋅⋅⋅a6(t) 2 ⋅ 3! 1 2 3 2 ⋅ 6!] 1 6 -1--- a|b1⋅⋅⋅b8 + 2 ⋅ 9!π’Ÿ π’œa |b1⋅⋅⋅b8(t) π’Ÿ π’œ (t) + ⋅⋅⋅ , (9.133 )
which agrees with the action found in [47Jump To The Next Citation Point].

9.3.6 The correspondence

We shall now relate the equations of motion for the β„° βˆ•π’¦ (β„° ) 10 10 sigma model to the equations of motion of eleven-dimensional supergravity. As the precise correspondence is not yet known, we shall here only sketch the main ideas. These work remarkably well at low levels but need unknown ingredients at higher levels.

We have seen that the sigma model for β„°10βˆ• 𝒦(β„°10) can be consistently truncated level by level. More precisely, one can consistently set equal to zero all covariant derivatives of the fields above a given level and get a reduced system whose solutions are solutions of the full system. We shall show here that the consistent truncations of β„°10βˆ•π’¦ (β„°10) at levels 0, 1 and 2 yields equations of motion that coincide with the equations of motion of appropriate consistent truncations of eleven-dimensional supergravity, using a prescribed dictionary presented below. We will also show that the correspondence extends up to parts of level 3.

We recall that in the gauge N i = 0 (vanishing shift) and A0bc = 0 (temporal gauge), the bosonic fields of eleven-dimensional supergravity are the spatial metric g (x0,xi) ab, the lapse N (x0, xi) and the spatial components 0 i Aabc(x ,x ) of the vector potential 3-form. The physical field is F = dA and its electric and magnetic components are, respectively, denoted F0abc and Fabcd. The electric field involves only time derivatives of Aabc(x0, xi), while the magnetic field involves spatial gradients.

Levels 0 and 1

If one keeps only levels zero and one, the sigma model action (9.133View Equation) reduces to

∫ [ S[g (t),π’œ (t),n(t)] = dtn (t)− 1 1-(gac(t)gbd(t) − gab(t) gcd(t))∂g (t)∂g (t) ab abc 4 ab cd 1 ] + ----∂ π’œa1a2a3(t)∂ π’œa1a2a3(t) . (9.134 ) 2 ⋅ 3!

Consider now the consistent homogeneous truncation of eleven-dimensional supergravity in which the spatial metric, the lapse and the vector potential depend only on time (no spatial gradient). Then the reduced action for this truncation is precisely Equation (9.134View Equation) provided one makes the identification t = x0 and

g (t) = g (t), (9.135 ) ab ab π’œabc(t) = Aabc(t), (9.136 ) N (t) n(t) = ∘----- (9.137 ) g(t)
(see, for instance, [61Jump To The Next Citation Point]). Also the Hamiltonian constraints (the only one left) coincide. Thus, there is a perfect match between the sigma model truncated at level one and supergravity “reduced on a 10-torus”. If one were to drop level one, one would find perfect agreement with pure gravity. In the following, we shall make the gauge choice √ -- N = g, equivalent to n = 1.

Level 2

At levels 0 and 1, the supergravity fields gab and Aabc depend only on time. When going beyond this truncation, one needs to introduce some spatial gradients. Level 2 introduces spatial gradients of a very special type, namely allows for a homogeneous magnetic field. This means that Aabc acquires a space dependence, more precisely, a linear one (so that its gradient does not depend on x). However, because there is no room for x-dependence on the sigma model side, where the only independent variable is t, we shall use the trick to describe the magnetic field in terms of a dual potential Aa1⋅⋅⋅a6. Thus, there is a close interplay between duality, the sigma model formulation, and the introduction of spatial gradients.

There is no tractable, fully satisfactory variational formulation of eleven-dimensional supergravity where both the 3-form potential and its dual appear as independent variables in the action, with a quadratic dependence on the time derivatives (this would be double-counting, unless an appropriate self-duality condition is imposed [35Jump To The Next Citation Point36Jump To The Next Citation Point]). This means that from now on, we shall not compare the actions of the sigma model and of supergravity but, rather, only their respective equations of motion. As these involve the electromagnetic field and not the potential, we rewrite the correspondence found above at levels 0 and 1 in terms of the metric and the electromagnetic field as

gab(t) = gab(t), (9.138 ) π’Ÿ π’œabc(t) = F0abc(t).
The equations of motion for the nonlinear sigma model, obtained from the variation of the Lagrangian Equation (9.133View Equation), truncated at level two, read explicitly
1 ( ) n(t)−1 ( 1 ) --∂ n(t)− 1gac(t)∂gcb(t) = ------- π’Ÿ π’œac1c2(t)π’Ÿ π’œbc1c2(t) − -δabπ’Ÿ π’œc1c2c3(t)π’Ÿ π’œc1c2c3(t) 2 4 9 n(t)−1( 1 ) + ------- π’Ÿ π’œac1⋅⋅⋅c5(t)π’Ÿ π’œbc1⋅⋅⋅c5(t) − --δabπ’Ÿ π’œc1 ⋅⋅⋅c6(t) π’Ÿπ’œc1 ⋅⋅⋅c6(t) , 2 ⋅ 5! 9 (9.139 ) − 1 a1a2a3 1- −1 a1⋅⋅⋅a6 ∂ (n(t) π’Ÿ π’œ (t)) = − 3! n(t) π’Ÿ π’œ (t) π’Ÿπ’œa4a5a6(t), −1 a⋅⋅⋅a ∂ (n(t) π’Ÿ π’œ 1 6(t)) = 0.

In addition, we have the constraint obtained by varying n,

1 ( ) (𝒫(t)|𝒫(t)) = -- gac(t)gbd(t) − gab(t)gcd(t) ∂gab(t)∂gcd(t) 4 + -1--π’Ÿ π’œa1a2a3(t)π’Ÿ π’œ (t) + --1--π’Ÿ π’œa1⋅⋅⋅a6(t)π’Ÿ π’œ (t) 2 ⋅ 3! a1a2a3 2 ⋅ 6! a1⋅⋅⋅a6 = 0. (9.140 )

On the supergravity side, we truncate the equations to metrics gab(t) and electromagnetic fields F0abc(t), Fabcd(t) that depend only on time. We take, as in Section 2, the spacetime metric to be of the form

2 2 2 a b ds = − N (t)dt + gab(t) dx dx , (9.141 )
but now with x0 = t. In the following we use Greek letters λ, σ,ρ,⋅⋅⋅ to denote eleven-dimensional spacetime indices, and Latin letters a,b,c,⋅⋅⋅ to denote ten-dimensional spatial indices.

The equations of motion and the Hamiltonian constraint for eleven-dimensional supergravity have been explicitly written in [61Jump To The Next Citation Point], so they can be expediently compared with the equations of motion of the sigma model. The dynamical equations for the metric read

1- (√ -- −1 ac ) -1- √ -- aρστ -1-- √ --a λρστ 2∂ gN g ∂gcb = 12 N gF Fbρστ − 144 N gδ bF Fλρστ 1 √ -- 1 √ -- = --N −1 gF 0ac1c2F0bc1c2 −---N −1 g δabF0c1c2c3F0c1c2c3 4 36 + -1N √gF- ac1c2c3F − --1-N √g--δa F c1c2c3c4F , (9.142 ) 12 bc1c2c3 144 b c1c2c3c4
and for the electric and magnetic fields we have, respectively, the equations of motion and the Bianchi identity,
( √ -) 1 ∂ F 0abcN g = ----Ι›0abcd1d2d3e1e2e3e4F0d1d2d3Fe1e2e3e4, 144 (9.143 ) ∂Fa1a2a3a4 = 0.
Furthermore we have the Hamiltonian constraint
1 ( ) 1 1 -- gacgbd − gabgcd ∂gab ∂gcd + --F 0abcF0abc + --N 2F abcdFabcd = 0. (9.144 ) 4 12 48
(We shall not consider the other constraints here; see remarks as at the end of this section.)

One finds again perfect agreement between the sigma model equations, Equation (9.139View Equation) and (9.140View Equation), and the equations of eleven-dimensional supergravity, Equation (9.142View Equation) and (9.144View Equation), provided one extends the above dictionary through [47Jump To The Next Citation Point]

π’Ÿ π’œa1⋅⋅⋅a6(t) = − 1-Ι›a1⋅⋅⋅a6b1b2b3b4F (t). (9.145 ) 4! b1b2b3b4
This result appears to be quite remarkable, because the Chern–Simons term in Equation (9.143View Equation) is in particular reproduced with the correct coefficient, which in eleven-dimensional supergravity is fixed by invoking supersymmetry.

Level 3

Level 3 should correspond to the introduction of further controlled spatial gradients, this time for the metric. Because there is no room for spatial derivatives as such on the sigma model side, the trick is again to introduce a dual graviton field. When this dual graviton field is non-zero, the metric does depend on the spatial coordinates.

Satisfactory dual formulations of non-linearized gravity do not exist. At the linearized level, however, the problem is well understood since the pioneering work by Curtright [39] (see also [167Jump To The Next Citation Point1421Jump To The Next Citation Point]). In eleven spacetime dimensions, the dual graviton field is described precisely by a tensor π’œa |b1⋅⋅⋅b8 with the mixed symmetry of the Young tableau [1,0,0,0,0,0, 0,1,0] appearing at level 3 in the sigma model description. Exciting this field, i.e., assuming π’Ÿ π’œa|b1⋅⋅⋅b8 ⁄= 0 amounts to introducing spatial gradients for the metric – and, for that matter, for the other fields as well – as follows. Instead of considering fields that are homogeneous on a torus, one considers fields that are homogeneous on non-Abelian group manifolds. This introduces spatial gradients (in coordinate frames) in a well controlled manner.

Let θa be the group invariant one-forms, with structure equations

a 1- a b c d θ = 2C bcd θ ∧ dθ . (9.146 )
We shall assume that a C ac = 0 (“Bianchi class A”). Truncation at level 3 assumes that the metric and the electric and magnetic fields depend only on time in this frame and that the a C bc are constant (corresponding to a group). The supergravity equations have been written in that case in [61Jump To The Next Citation Point] and can be compared with the sigma model equations. There is almost a complete match between both sets of equations provided one extends the dictionary at level 3 through
π’Ÿ π’œa |b1⋅⋅⋅b8(t) = 3-Ι›b1⋅⋅⋅b8cdCacd (9.147 ) 2
(with the equations of motion of the sigma model implying indeed that π’Ÿπ’œa |b1⋅⋅⋅b8 does not depend on time). Note that to define an invertible mapping between the level three fields and the Ca bc, it is important that a C bc be traceless; there is no “room” on level three on the sigma model side to incorporate the trace of a C bc.

With this correspondence, the match works perfectly for real roots up to, and including, level three. However, it fails for fields associated with imaginary roots (level 3 is the first time imaginary roots appear, at height 30) [47Jump To The Next Citation Point]. In fact, the terms that match correspond to “SL (10, ℝ)-covariantized E8”, i.e., to fields associated with roots of E8 and their images under the Weyl group of SL (10,ℝ ).

Since the match between the sigma model equations and supergravity fails at level 3 under the present line of investigation, we shall not provide the details but refer instead to [47Jump To The Next Citation Point] for more information. The correspondence up to level 3 was also checked in [53] through a slightly different approach, making use of a formulation with local frames, i.e., using local flat indices rather than global indices as in the present treatment.

Let us note here that higher level fields of E10, corresponding to imaginary roots, have been considered from a different point of view in [24], where they were associated with certain brane configurations (see also [239]).

The dictionary

One may view the above failure at level 3 as a serious flaw to the sigma model approach to exhibiting the E 10 symmetry36. Let us, however, be optimistic for a moment and assume that these problems will somehow get resolved, perhaps by changing the dictionary or by including higher order terms. So, let us proceed.

What would be the meaning of the higher level fields? As discussed in Section 9.3.7, there are indications that fields at higher levels contain higher order spatial gradients and therefore enable us to reconstruct completely, through something similar to a Taylor expansion, the most general field configuration from the fields at a given spatial point.

From this point of view, the relation between the supergravity degrees of freedom gij(t,x) and F (4)(t,x) = dA (3)(t,x ) would be given, at a specific spatial point x = x0 and in a suitable spatial frame θa(x) (that would also depend on x), by the following “dictionary”:

gab(t) = gab(t,x0), π’Ÿ π’œabc(t) = Ftabc(t,x0), a1⋅⋅⋅a6 1- a1⋅⋅⋅a6bcde (9.148 ) π’Ÿ π’œ (t) = − 4!Ι› Fbcde(t,x0), 3 π’Ÿ π’œa|b1⋅⋅⋅b8(t) = -Ι›b1⋅⋅⋅b8cdCacd (x0 ), 2
which reproduces in the homogeneous case what we have seen up to level 3.

This correspondence goes far beyond that of the algebraic description of the BKL-limit in terms of Weyl reflections in the simple roots of a Kac–Moody algebra. Indeed, the dynamics of the billiard is controlled entirely by the walls associated with simple roots and thus does not transcend height one. Here, we go to a much higher height and successfully extend (unfortunately incompletely) the intriguing connection between eleven-dimensional supergravity and E10.

9.3.7 Higher levels and spatial gradients

We have seen that the correspondence between the β„°10-invariant sigma model and eleven-dimensional supergravity fails when we include spatial gradients beyond first order. It is nevertheless believed that the information about spatial gradients is somehow encoded within the algebraic description: One idea is that space is “smeared out” among the infinite number of fields contained in β„° 10 and it is for this reason that a direct dictionary for the inclusion of spatial gradients is difficult to find. If true, this would imply that we can view the level expansion on the algebraic side as reflecting a kind of “Taylor expansion” in spatial gradients on the supergravity side. Below we discuss some speculative ideas about how such a correspondence could be realized in practice.

The “gradient conjecture”

One intriguing suggestion put forward in [47Jump To The Next Citation Point] was that fields associated to certain “affine representations” of E10 could be interpreted as spatial derivatives acting on the level one, two and three fields, thus providing a direct conjecture for how space “emerges” through the level decomposition of E10. The representations in question are those for which the Dynkin label associated with the overextended root of E10 vanishes, and hence these representations are realized also in a level decomposition of the regular E9-subalgebra obtained by removing the overextended node in the Dynkin diagram of E 10.

The affine representations were discussed in Section 8 and we recall that they are given in terms of three infinite towers of generators, with the following 𝔰𝔩(10,ℝ )-tensor structures,

a1a2a3 a1⋅⋅⋅a6 a1|a2⋅⋅⋅a9 E b1⋅⋅⋅bk, E b1⋅⋅⋅bk, E b1⋅⋅⋅bk, (9.149 )
where the upper indices have the same Young tableau symmetries as the β„“ = 1,2 and 3 representations, while the lower indices are all completely symmetric. In the sigma model these generators of β„° 10 are parametrized by fields exhibiting the same index structure, i.e., b1⋅⋅⋅bk π’œa1a2a2 (t), b1⋅⋅⋅bk π’œa1 ⋅⋅⋅a6 (t) and b⋅⋅⋅b π’œa1 |a2⋅⋅⋅a9 1 k(t).

The idea is now that the three towers of fields have precisely the right index structure to be interpreted as spatial gradients of the low level fields

π’œa a a b1⋅⋅⋅bk(t) = ∂b1 ⋅⋅⋅∂bkπ’œa aa (t), 12 2b1⋅⋅⋅bk b1 b 12 3 π’œa1 ⋅⋅⋅a6 (t) = ∂ ⋅⋅⋅∂ kπ’œa1 ⋅⋅⋅a6(t), (9.150 ) π’œa |a ⋅⋅⋅a b1⋅⋅⋅bk(t) = ∂b1 ⋅⋅⋅∂bkπ’œa |a ⋅⋅⋅a (t). 1 2 9 1 2 9

Although appealing and intuitive as it is, this conjecture is difficult to prove or to check explicitly, and not much progress in this direction has been made since the original proposal. However, recently [73Jump To The Next Citation Point] this problem was attacked from a rather different point of view with some very interesting results, indicating that the gradient conjecture may need to be substantially modified. For completeness, we briefly review here some of the main features of [73Jump To The Next Citation Point].

U-duality and the Weyl Group of E9

Recall from Section 4 that the infinite-dimensional Kac–Moody algebras E 9 and E 10 can be obtained from E8 through prescribed extensions of the E8 Dynkin diagram: + E9 = E 8 is obtained by extending with one extra node, and ++ E10 = E 8 by extending with two extra nodes. This procedure can be continued and after extending E8 three times, one finds the Lorentzian Kac–Moody algebra E11 = E+++ 8, which is also believed to be relevant as a possible underlying symmetry of M-theory [167Jump To The Next Citation Point74Jump To The Next Citation Point].

These algebras are part of the chain of exceptional regular embeddings,

⋅⋅⋅E8 ⊂ E9 ⊂ E10 ⊂ E11 ⋅⋅⋅ , (9.151 )
which was used in [69Jump To The Next Citation Point] to show that a sigma model for the coset space β„° βˆ•π’¦ (β„° ) 11 11 can be consistently truncated to a sigma model for the coset space β„°10βˆ•π’¦ (β„°10), which coincides with Equation (9.133View Equation). This result builds upon previous work devoted to general constructions of sigma models invariant under Lorentzian Kac–Moody algebras of 𝔀+++-type [74Jump To The Next Citation Point717072Jump To The Next Citation Point].

It was furthermore shown in [69Jump To The Next Citation Point] that by performing a suitable Weyl reflection before truncation, yet another sigma model based on β„°10 could be obtained. It differs from Equation (9.133View Equation) because the parameter along the geodesic is a spacelike, not timelike, variable in spacetime. This follows from the fact that the sigma model is constructed from the coset space β„° βˆ•π’¦ − (β„° ) 10 10, where 𝒦 − (β„° ) 10 coincides with the noncompact group SO (1,9) at level zero, and not SO (10) as is the case for Equation (9.133View Equation). The two sigma model actions were referred to in [69] as Scosmological and Sbrane, since solutions to the first model translate to time-dependent (cosmological) solutions of eleven-dimensional supergravity, while the second model gives rise to stationary (brane) solutions, which are smeared in all but one spacelike direction. In particular, the β„“ = 1 and β„“ = 2 fields correspond to potentials for the M 2- and M 5-branes, respectively.

In [73Jump To The Next Citation Point], solutions associated to the infinite tower of affine representations for the brane sigma model based on β„°10βˆ•π’¦ − (β„°10) were investigated. The idea was that by restricting the indices to be 𝔰𝔩(9,ℝ )-indices, any such representation coincides with a generator of E 9, and so different fields in these affine towers must be related by Weyl reflections in E9.

The Weyl group π”š [E9 ] is a subgroup of the U-duality group β„°9(β„€) of M-theory compactified on T 9 to two spacetime dimensions. Moreover, the continuous group β„°9 = β„°9(ℝ ) is the M-theory analogue of the Geroch group, i.e., it is a symmetry of the space of solutions of N = 16 supergravity in two dimensions [140]. Under these considerations it is natural to expect that the fields associated with the affine representations should somehow be related to the infinite number of “dual potentials” appearing in connection with the Geroch group in two dimensions. Indeed, the authors of [73Jump To The Next Citation Point] were able to show, using the embedding π”š [E9 ] ⊂ π”š [E10], that given, e.g., a representation in the β„“ = 1 affine tower, there exists a π”š [E9 ] ⊂ β„°9(β„€)-transformation that relates the associated field to the lowest β„“ = 1 generator Ea1a2a3. The resulting solution, however, is different from the standard brane solution obtained from the β„“ = 1-field because the new solution is smeared in all directions except two spacelike directions, i.e., the solution is an M 2-brane solution which depends on two spacelike variables.

Thus, by taking advantage of the embedding E9 ⊂ E10, it was shown that the three towers of “gradient representations” encode a kind of “de-compactification” of one spacelike variable. In a way this therefore indicates that part of the gradient conjecture must be correct, in the sense that the towers of affine representations indeed contain information about the emergence of spacelike directions. On the other hand, it also seems that the correspondence is more complicated than was initially believed, perhaps deeply connected to U-duality in some, as of yet, unknown way.

  Go to previous page Go up Go to next page