E11, Borcherds algebras and maximal supergravity

The dynamical p-forms of torus reductions of maximal supergravity theory have been shown some time ago to possess remarkable algebraic structures. The set (“dynamical spectrum”) of propagating p-forms has been described as a (truncation of a) real Borcherds superalgebra D that is characterized concisely by a Cartan matrix which has been constructed explicitly for each spacetime dimension 11 ≥ D ≥ 3. In the equations of motion, each differential form of degree p is the coefficient of a (super-) group generator, which is itself of degree p for a specific gradation (the -gradation). A slightly milder truncation of the Borcherds superalgebra enables one to predict also the “spectrum” of the non-dynamical (D − 1) and D-forms. The maximal supergravity p-form spectra were reanalyzed more recently by truncation of the field spectrum of E11 to the p-forms that are relevant after reduction from 11 to D dimensions. We show in this paper how the Borcherds description can be systematically derived from the split (“maximally non compact”) real form of E11 for D ≥ 1. This explains not only why both structures lead to the same propagating p-forms and their duals for p ≤ (D − 2), but also why one obtains the same (D−1)-forms and “top” D-forms. The Borcherds symmetries 2 and 1 are new too. We also introduce and use the concept of a presentation of a Lie algebra that is covariant under a given subalgebra.


JHEP04(2012)078
Building on the earlier work of [1,2], it was shown in [3,4] in spacetime dimension D ≥ 3 that the spectrum of the dynamical p-forms of maximal supergravity as well as their multiplicities are in one-to-one correspondence with the Cartan generators (but one) and the positive roots of V-degree at most (D−2) of a Borcherds/BKM (super-)algebra. 1 This V-degree corresponds to a particular gradation of the BKM-superalgebra called Vgradation. In the supersigma model rewriting of the equations as a self-duality condition, p-form potentials are coupled to Borcherds generators of V-degree p. V -also written V -stands for vertical (by opposition to the horizontal Cartan degrees of U-dualities). Furthermore, V-degree truncations of a parabolic subalgebra of the Borcherds superalgebra that contains E 11−D act as symmetries of the supergravity field equations (here E 11−D is the U -duality group (U D ) in D dimensions and we shall review parabolic subalgebras in the next section). Because these symmetry superalgebras contain the U -duality transformations as subalgebras of (form-and V-) degree preserving transformations, they were named V -duality in [5]. This approach is bottom up and one obtains symmetries of equations or actions. The chiral model with 0-forms (scalar fields) taking values in a compact or non compact Lie group generalizes to maps into a (super-) group encoding p-forms (p ≥ 0).
Although we shall consider here only bosonic fields (in the usual sense), superalgebras do appear when odd degree forms are coupled with odd V-degree Borcherds generators, they will be called fermionic below.
The most spectacular case is perhaps that of type II B . The Borcherds superalgebra V 10 B that controls the form spectrum of type II B supergravity turns out to be a rank 2 Borcherds algebra (without fermionic root) defined as explained in the appendix by the following Cartan matrix [3] As observed in [3], this Borcherds algebra was considered previously in [6] with different goals in mind and so may be called the Slansky algebra. In the supergravity context, the

JHEP04(2012)078
Form-degree Positive Root Field sl(2, R)-Representation null simple root α 0 is associated to a "2-form generator" e α 0 , while the real root α 1 is associated to a scalar generator e α 1 . By this we exemplify that on the (super-) Borcherds side the fields multiplying the generators are differential forms on spacetime of degree equal to the V-degree attributed to the generators; this is a stronger restriction than the usual supergroup rule that uses only a Z/2Z gradation which is empty in a purely bosonic situation. Together with the corresponding Cartan generator h α 1 and the lowering operator f α 1 , the raising operator e α 1 generate the type II B sl (2, R) U-duality symmetry. The positive roots of the Slansky algebra were recursively constructed in [6] using the denominator formula for Borcherds algebras, beyond the height sufficient for our purpose, which was then the study of propagating form-fields. The sl (2, R)-transformation properties of the associated root vectors were also given there (actually su (2) representations, as the author of [6] considered the compact version). We reproduce this information in table 1 up to form degree 8 (the roots up to that level are all non-degenerate). In table 1 we have slightly adapted the notations of [3] for the fields associated with the positive roots.
Form-fields coupled to generators with the same α 0 -level (half the V-degree) have same form degree and they transform in an irreducible sl(2, R) representation. At form degree 0, there is the axion χ, generating the strictly positive part of sl(2, R) (adjoint representation 3). There is then a doublet of 2-forms, a single 4-form which is inert under sl(2, R), a doublet of 6-forms dual to the 2-forms and a triplet of 8-forms. The field X 8 is eliminated by a zero curvature constraint [7] in a supersymmetric and covariant action and the remaining two 8-forms are dual to the two scalars (axion and dilaton). This is exactly the spectrum of dynamical p-forms of type II B theory, in the duality-invariant formulation. Note that the Slansky algebra encodes in particular the self-duality of the 4-form, since the 4-form transforms as the singlet 1.
But the Slansky algebra also contains information about some non-dynamical forms. Using the denominator formula [8], one finds at α 0 -level 5 the roots given in table 2 [6,9,10]. This yields precisely the maximal spectrum of supergravity 10-forms found subsequenty by a supersymmetry argument in [11] -revised in [12]. Hence the Slansky Borcherds algebra with Cartan matrix (1.1) remarkably encompasses in a succinct way the complete p-form spectrum of type II B supergravity including the non-dynamical forms. What is true for type II B is also true for type II A . The Borcherds superalgebra V 10 A has in that case the Cartan matrix [3] The first simple root is fermionic now and its root-vector, the corresponding raising operator, is a "1-form", while the second simple root is bosonic with root-vector a "2-form" (we shall for conciseness but abusively call p-form a generator of V-degree p that couples to a p-form). Both simple roots are null for the given Cartan matrix (but note that on the projective plane blown up at one point, the D0 curve corresponding to the fermionic simple root has self-intersection −1, not 0, which suggests that the complete connection to del Pezzo surfaces discussed in the next paragraph requires in that case a new and broader framework to hold). Using the denominator formula for Borcherds superalgebras [13,14], one finds that the spectrum predicted by the Borcherds superalgebra V 10 A matches exactly not only the dynamical p-forms of type II A supergravity [3], but also the non-dynamical forms [9,10], namely the 9-form and the two 10-forms, obtained by a supersymmetry argument [12,[15][16][17]. Similar results hold in fact all the way down to three spacetime dimensions, the Cartan matrices of the corresponding Borcherds superalgebras were explicitly worked out in all these cases in [3]. In that paper a correspondence with the middle cohomology of the del Pezzo surfaces was discussed. In the best case of CP 1 × CP 1 , the II B Cartan matrix of eq. (1.1) turns out to be precisely minus the intersection form of 2-cycles. The matching of the supergravity spectrum with the spectrum predicted by the Borcherds superalgebra was verified in [3] for the dynamical forms in each case. In fact it remains true for non propagating forms, which among other things allows us to use the denominator formula to obtain the correct roots corresponding to (D−1)-and D-forms.
But the agreement between Borcherds/BKM predictions for both propagating and non propagating forms with those of E 11 deserves an explanation. It will be seen actually as a consequence of the "extraction" of the former from E 11 that is explained in this paper. In fact both methods agree with higher forms permitted by deformation (gauging or mass addition) and supersymmetry arguments, see for instance [18][19][20][21], resp. [12,[15][16][17]. 2

p-forms from E 11
More recently, different methods based on E 11 have been used to construct the p-form spectra of maximal supergravities. In fact E 11 was first considered as a possible spectrum organizing algebra for maximal supergravity theories [22]. It is explained there how the representation of the internal symmetry group (the E 11−D U-duality) is regularly correlated to the degree of the corresponding set of propagating forms, i.e., to the representation of gl D for all compactification dimensions D ≥ 3. This pointed to branching laws for E 11 representations into representations of (E 11−D sl D ) R as indicated by the figure 3 of [22] reproduced here as figure 1, where the star stands for the abelian factor R coming from the E 11 generator at root number D, and for D ≤ 8 E 11−D is defined by the Dynkin diagram to the right of the star in figure 1.
This will be made more precise below. In particular, the reason why one needs a second star for the cases E A 1 = R and E 2 = A 1 R will emerge, as well as the special features of the cases D = 10 B (E B 1 = A 1 ) and D = 2. The 10 B Dynkin diagram is given in figure 2. The subsequent work of [23] showed that the adjoint representation of E 11 was the right choice to explain the observations of [22], which considered only the p-form spectrum and not the gravitational sector. Reference [23] most interestingly exhibited a linear-dual graviton as well as the expected 3-form, 6-form and graviton. The present work can be described as the first step towards an interpolation between Borcherds symmetries which leave the graviton inert on the one hand and E 11 spectrum generating subalgebras that may truly act in the gravity sector but are not understood yet as symmetries on the other.
The level expansion of the adjoint representation of E 11 according to the number of times the exceptional simple root α 11 occurs in each root (i.e., its coefficient) yields fields that transform tensorially under gl 11 [24,25] in D = 11. The graviton, the 3-form, the 6-form and the linear-dual graviton are located at (α 11 -)levels 0, 1, 2 and 3, respectively. At levels ≥ 3, the index-symmetry of the fields are characterized by Young diagrams that may contain more than one column. For instance, at level 3 there is the dual graviton A 8,1 (where the numbers refer to the number of boxes in the successive columns in the Young diagrams), at level 4 there is an A 9,3 , an A 10,1,1 and an A 11,1 and there is a vertiginous exponential explosion of the number of fields with the level [26].
The fields at levels ≥ 4 are poorly understood. An important exception was uncovered a few years ago [27][28][29], with the identification of a level 4 field with the massive deforma-JHEP04(2012)078 tion of type II A supergravity [30]: the type II A 9-form descends from the A 10,1,1 tensor of M theory. 3 This was followed more recently by a systematic study of the p-form spectrum implied by E 11 upon dimensional reduction [32,33].
The idea is that, when going from 11 dimensions to D-dimensions, some of the fields at higher levels yield p-forms. Indeed, the p-forms in D dimensions can come not just from the 3-and 6-forms in 11 dimensions, but also from tensors with mixed symmetry when the Young diagram boxes are appropriately saturated with internal indices. In the latter case one obtains non propagating forms. For instance, for type II A , one finds the 9-form mentioned above from A 10,1,1 , and the two 10-forms from A 10,1,1 and A 11,1 [32,33]. For each dimension, one can derive the spectrum of p-forms from the knowledge of the spectrum of E 11 , with the remarkable finding that it agrees with other approaches [32,33] (but see footnote 2).

Purpose and outline of this paper
We have thus the following "embarras de richesses". On the one hand, one can derive the p-form spectrum of maximal supergravities by decomposing the Lorentzian Kac-Moody algebra E 11 . In fact one uses only a parabolic truncation of E 11 which is maximal parabolic when there is only one starred node in figure 1. This infinite-dimensional algebra contains a huge number of fields of which only a tiny (finite for D ≥ 3) subset leads to p-forms. On the other hand, one can also derive the p-form spectrum from a Borcherds superalgebra, the Cartan matrix of which depends on the spacetime dimension D. In fact one uses essentially only its Borel subalgebra. The BKM superalgebra contains much less excess luggage than E 11 in the sense that it involves only p-forms, and no wider Young diagram of gl D . Furthermore the truncation on the Borcherds side is automatic, it is made on the V-degree of the generators through the form degree of the fields that multiply them as the latter cannot exceed the spacetime dimension. One may also engineer a truncation at degree D−2 to drop non propagating fields.
A natural question to be asked is: can one understand why the BKM and E 11 approaches agree? For instance could one derive the relevant Borcherds algebra, which captures just the p-form content of the theory, from E 11 which contains an infinite number of extra (ill-understood) fields? The purpose of this paper is to demonstrate that the answer to this question is positive: we shall show how to derive in each spacetime dimension D ≥ 3 the relevant Borcherds superalgebra from E 11 [3]. We shall then consider the cases D = 2 and D = 1 and we shall prove that E 11 yields truncations of Borcherds superalgebras in those dimensions as well (although both cases have interesting new features). These are also new results.
Although our analysis raises many questions, we shall focus here only on the demonstration of the equivalence of the Borcherds and E 11 approaches in what concerns the p-form spectra of maximal supergravities. We should also refer to [18] for an attempt to truncate E 11 to a Lie algebra of p-forms only; as will be shown in [34] there is a Lie algebra JHEP04(2012)078 quotient of E 11 at work, for more on this see subsection 4.1. The present superalgebra approach does a similar truncation efficiently. Comments on some open problems will be given with the conclusions.
Our paper is organized as follows. In the next section (section 2), we give, for each D, a presentation of E 11 which is gl D (R)-covariant with a subtlety in the case D = 2. We then tensorize a parabolic (definition is recalled in subsection 2.4) subalgebra of E 11 that contains by the Grassmann algebra in D dimensions (section 3) and investigate the structure of the sub-superalgebra of gl D (R)-invariants (section 4). This algebra is just a V-duality superalgebra of symmetries of p-forms in D dimensions and we can describe it in terms of generators and relations. We then verify in section 5 that for D ≥ 3 these generators and relations are precisely those of the Borcherds superalgebras of [3], which completes the proof of the equivalence. Section 6 discusses the peculiarities of the low dimensional cases D = 2 and D = 1. Our last section is devoted to concluding comments.
2 Covariant presentations of E 11 The Chevalley-Serre generators of E 11 are denoted by h i , e i and f i (i = 1, · · · , 11). If one removes the exceptional node numbered 11 in figure 1 above, one remains with the Dynkin diagram A 10 of sl 11 (R) , which is a regular subalgebra of E 11 (its Cartan subalgebra is included in that of E 11 ). A 10 defines the so-called "gravity line" [35] in 11 dimensions. It is common usage to denote the e i 's associated with the gravity line K i i+1 (i = 1, · · · , 10) and we shall follow that practice here. The corresponding f i 's are K i+1 i (i = 1, · · · , 10). The Cartan generators h i (i = 1, · · · , 10) must be rewritten as h i = K i i −K i+1 i+1 (i = 1, · · · , 10). The root vector e 11 associated with the exceptional node is denoted E 91011 [36].
It is well known that by using the Cartan generator h 11 associated with the exceptional node, one can extend the embedding of sl 11 (R) in E 11 to a regular embedding of gl 11 (R) in E 11 . For that purpose, one needs to express the central generator K 11 = K 1 1 + K 2 2 . . . + K 10 10 + K 11 11 of gl 11 (R) in terms of the Cartan generators h i . There are many ways to do so. The reason is that, while K 11 should commute of course with the generators of sl 11 (R) , its commutation relation with the root-vector E 91011 is conventional if we only require that the embedding be regular. Different choices correspond to assigning different density weights to E 91011 . If one requests that E 91011 be the (9-10-11)-th component of a 3-form with no extra density weight, one must impose [K 11 , E 91011 ] = 3E 91011 . This convenient choice fixes completely K 11 and will be adopted here. Explicitly one finds The first parenthesis on the right-hand side can be recognized as a Cartan generator that extends sl 8 (R) to gl 8 (R) inside sl 9 (R).  Knowing K 11 defines completely the embedding of gl 11 (R) in E 11 . All the basis elements K γ λ of gl 11 (R) (γ, λ = 1, · · · , 11) can be expressed in terms of the Chevalley-Serre generators h i (i = 1, · · · , 11) and e i , f i (i = 1, · · · , 10) of E 11 and their multiple commutators. They fulfill the algebra

JHEP04(2012)078
One can conversely express the Cartan generator h 11 in terms of the Cartan generators of gl 11 (R) ,

Gravity line A D−1 and embedding of gl D (R) in E 11
We now proceed with the dimensional reduction to D spacetime dimensions. We begin by choosing, for all dimensions D except for the case 10 B , the node numbered D by marking it with a star, as in figure 1. For the case 10 B , we mark the node numbered 9. In the case 10 B , it is convenient to change the numbering of the Dynkin nodes and to use primed indices. The starred node is then 10 ′ . The internal group is associated with the node 11 ′ . The 10 B Dynkin diagram reads now: What stands to the left of the marked node (actually, below the marked node for D = 11 or for D = 10 B ) is a Dynkin diagram of type A D−1 , except in two cases.
• For D = 10 A the remaining diagram is of type D 10 and we also mark the node numbered 11 to get a remaining A 9 .
• For D = 9, the remaining diagram is of type A 9 so we mark again as second node, the node numbered 11 (see figure 3). What remains to the left of the marked nodes is A 8 .
When this is done, we are left with a Dynkin subdiagram of type A D−1 in all cases. This A D−1 defines the so-called "gravity line". The corresponding subalgebra sl D (R) regularly embedded in E 11 is generated by the first D−1 generators h i , e i and f i (i = 1, · · · , D−1)

JHEP04(2012)078
for D = 10 B . For D = 10 B , the gravity line A ′ 9 is defined by the nodes numbered 1 to 8 and the node numbered 11 (which becomes 9 ′ after the renumbering described above).
We can extend the embedding of sl D (R) to an embedding of gl D (R) in E 11 by simply taking gl D (R) to lie inside the above gl 11 (R) in the natural way. This is equivalent to requiring that all relevant tensors carry no density weight. We denote the standard basis of gl D (R) by {K α β } (α, β = 1, . . . , D) and let us define the diagonal generator K D by In every dimension D the K α β 's, and in particular K D , are given in terms of the Chevalley-Serre generators of E 11 by the same expressions as in 11 dimensions. Detailed formulas are worked out in [34].
The only exception to this discussion is type II B since the gravity line contains in that case the exceptional node and is not a subline of the gravity line in 11 dimensions. However, there is again a natural extension of the A ′ 9 defined by the II B -gravity line to gl ′ 10 (R) . It is obtained by demanding that the root-vector e 9 transforms as the (9 ′ -10 ′ )-th component of a gl ′ 10 (R) 2-form without extra density weight (recall that it is attached to the second node of the II B -gravity line) and that the root-vector e 10 be a true scalar of gl ′ 10 (R) (and not a scalar density with non-trivial weight). The corresponding expression is easily worked out and reads

U-duality algebra E 11−D
The unmarked nodes (with no star) which are not on the gravity line define the semi-simple part of the duality subalgebra E 11−D . It turns out that the two cases with two stars correspond precisely to situations where the gravity line is adjacent to more than one node of E 11 , in fact to the two starred nodes. Each of these special cases is a one dimensional reduction of a maximal dimension theory with D = 10 for 10 B giving D = 9, resp. D = 11 reducing to 10 A .

Case of one starred node
E 11−D is semi-simple precisely when there is only one starred node. The Chevalley-Serre generators of E 11 split into the Chevalley-Serre generators of A D−1 , the Chevalley-Serre generators of E 11−D and the Chevalley-Serre generators {h D , e D , f D } ({h 9 , e 9 , f 9 } for 10 B ) associated with the starred node. In order to study the gl D (R)-invariants, it is convenient to trade the Chevalley-Serre generator h D with K 11 , which commutes with the gl D (R) subalgebra. This can be done for all D's since the coefficient of h D in the expansion of K 11 is never zero (see (2.1)).
Alternatively, for all dimensions except D = 2, one can replace the Cartan generator h D by K D exhibiting thereby a gl D (R) ⊕ E 11−D subalgebra. The fact that sl D (R) ⊕ E 11−D is a direct sum is (even for D=2) a general property of regular subalgebras. The reason why this cannot be extended to gl D in D = 2 dimensions is that the trace K 2 as defined above does not involve h 2 , it is a linear combination of the Cartan generators of E 9 . K 2 coincides in fact with the central charge of E 9 [34,37]. In other dimensions there is no central generator of E 11−D , it would have commuted with sl D ,.

JHEP04(2012)078
Since it will be important in the sequel to have the full gl D (R)-symmetry manifest, we shall take in the D = 2 case a basis of Cartan generators that contains all the Cartan generators of gl 2 (R) including K 2 , K 11 (to replace h 2 ) as well as 8 Cartan generators among h 3 , · · · , h 11 that span a complementary space. Other choices avoiding K 11 are possible and in fact necessary to exhibit again on the Borcherds side a nice presentation with all the information contained in the Cartan matrix, this will be explained in [34] .

Case of two starred nodes
The case of two starred nodes corresponds to a non semisimple U-duality subalgebra E 11−D , which is then the semi-simple Lie algebra defined by the unmarked nodes which are not on the gravity line, plus an extra R-factor. The generator of this extra R-factor can be taken to be h * = h 10 A * = K 11 11 in D = 10 A dimensions, and h * = h 9 * = K 10 10 + K 11 11 in D = 9 dimensions. These generators h * are gl D (R)-scalars.
A basis of the Cartan subalgebra of E 11 adapted to those cases is given by the 10 Cartan generators of gl 10 (R) together with h 10 A * in the case D = 10 A , and the 9 Cartan generators of gl 9 (R) together with h 9 * and K 10 10 − K 11 11 (the Cartan generator of the unmarked -internal A 1 -node not on the gravity line) in the case D = 9.

Parabolic subalgebra PE 11 (D)
By definition a parabolic subalgebra of a BKM algebra is any subalgebra that contains a Borel subalgebra (the "upper-triangular subalgebra" in the case of gl n (R)), i.e., all the Cartan diagonal generators (h i ) and all the "raising" operators generated by the e i simple positive generators of it. It turns out that in the case of a finite dimensional semi-simple complex Lie algebra it can be obtained up to conjugation by adding to any given Borel subalgebra a subset of the simple negative generators f i (the simple "lowering" operators) and their commutators. A maximal parabolic proper subalgebra generating set misses only one generator f i among all the generators of the presentation.
We consider for each D the smallest parabolic subalgebra of E 11 containing the subalgebra sl D E 11−D , which we will call PE 11 (D) . This subalgebra is generated by all the h i 's, all the e i 's as well as those f i 's that are not associated with the starred node(s). Hence it is a maximal parabolic subalgebra when there is only one starred node. It is not maximal parabolic in the other cases D = 10 A and D = 9.
We shall from now on focus on the parabolic subalgebras PE 11 (D) . We shall show how to construct from each PE 11 (D) a corresponding parabolic subalgebra of a Borcherds superalgebra. Once the parabolic subalgebra of the Borcherds superalgebra is determined, the full Borcherds superalgebra is in fact known. The missing lowering operators are simply defined by symmetry ie using the Chevalley involution. This procedure yields in particular the Borcherds superalgebras of [3] for D ≥ 3.

Fundamental forms in D dimensions
It is clear that the adjoint representation of E 11 decomposes into representations of gl D . Among these, one has the adjoint representation described by the generators K α β , α, β = JHEP04(2012)078 D Fundamental form/ lowest weight state (11) ; two 1-forms K α / K 9 (10) and E α / E 9(10)(11) 1, . . . , D. We have also seen that a basis of Cartan generators of E 11 not in gl D can be taken to be gl D -scalars. We investigate in this subsection the gl D -representations into which the root-vectors e i not associated with the gravity line transform. As they turn out to all transform as p-forms for some p (including p = 0), we call these representations the "fundamental form" representations.
It is clear that the non-gravity root-vectors e i associated with the unmarked nodes are scalars, so let us now turn to the ones associated with the starred node(s). For all spacetime dimensions, each starred node in the diagram of E 11 is attached to one node of the gravity line via a single link, the p th node say, starting from the right of the gravity line. This implies that the corresponding Chevalley-Serre raising operator is the lowest weight state of the fundamental representation of gl D (R) with Dynkin labels (0, 0, . . . , −1, . . . , 0) (only one −1, in position p). This is the "p-form" representation (antisymmetric tensors of rank p by a consistent choice of conventions). Hence, we conclude that under the action of gl D (R) the simple roots of E 11 not on the gravity line generate indeed only p-form representations including scalars, as we announced above. The list of the fundamental representations that appear for each D is given in table 3.
We shall see that each of these fundamental p-form generators will become a raising Chevalley generator of the relevant Borcherds superalgebra.

gl D (R)-covariantization of the Chevalley-Serre relations
Our next step is to provide a presentation of E 11 which is manifestly covariant with respect to gl D (R) , for any D.  The covariant presentations are redundant, in the sense that some of the relations contained in the set are consequences of the others. Furthermore, there exist various gl D (R)-covariant presentations of E 11 , as a gl D+1 (R)-covariant presentation is automatically gl D (R)-covariant. We shall construct here "minimal" covariant presentations.
The standard Chevalley-Serre presentation of E 11 is not manifestly gl D (R)-covariant as it involves generators of the algebra that do not span complete representations of gl D (R) . However, since E 11 contains gl D (R) , it is guaranteed that one can covariantize the Chevalley-Serre relations in order to get a gl D (R)-covariant presentation. The simplest solution is the "maximal" presentation obtained by choosing a full linear basis of the Lie algebra as generators and all commutation relations as relations. But an explicit "minimal" gl D (R)-covariantization of the Chevalley-Serre presentation is in fact straightforward to achieve. We shall return [34] to general results on covariant presentations of an algebra with respect to a subalgebra. Here, we shall just list the covariant presentations of E 11 with respect to gl D (R) for all D's, verifying explicitly that the properties of a covariant presentation are indeed fulfilled for D = 11, and leaving the verification for the other dimensions to the reader. It is actually sufficient for our purposes to covariantize the parabolic subalgebra PE 11 (D) , and this is what shall be considered here. It is straightforward to extend the analysis to the full E 11 .
In all cases, the gl D (R) covariantization of the relations defining gl D (R) itself simply amounts to consider the entire adjoint representation with basis K α β , 1 ≤ α, β ≤ D, which obey Therefore only the raising operator associated with the starred node needs to be explicitly considered. For the case of two starred nodes, or for D = 2, there is one additional Cartan generator to be taken into account.

D = 11
The covariantized generators associated with the starred node 11 are E λπσ , since E 91011 is the lowest weight state of the 3-form representation. Let us repeat that the term 3form refers strictly speaking to the contragredient representation, namely that of the fields that multiply the corresponding "3-form" generators. where antisymmetrization (indicated by bracketing the indices) carries weight one, i.e., is idempotent. The first relation expresses that E θφψ transforms as a 3-form. The second relation expresses that [E λπσ , E θφψ ], which is a priori in the antisymmetric tensor product of the (0, 0, 0, 0, 0, 0, 0, −1, 0, 0) representation with itself, contains only the fully antisymmetric part. 4 These relations are well known to be consequences of the The last line says that E µν 11 is a 2-form for gl 10 and the penultimate that K λ 11 is a 1-form.

D = 10, II B
The covariant generators of PE 11 (10 B ) are K α β , E αβ , e = e 11 ′ , h 11 ′ , f = f 11 ′ . The covariantized relations involving the raising generator E αβ associated with the starred nodes are: e, e, E αβ = 0, The first relation defines E αβ as a 2-form. 4 The antisymmetric tensor square of the antisymmetric 3-form decomposes into exactly two irreducible representations of gl 11 (R).

JHEP04(2012)078
In the case D = 2, there is an extra Cartan generator as we have seen, which can be taken to be K 11 . This is a spacetime scalar that commutes with all the other generators except e 11 and f 11 , for which one has [K 11 , e 11 ] = 3e 11 , [K 11 , f 11 ] = −3f 11 . To summarize: in all cases but D = 2, 9, 10 A , the generators of the covariant presentation of PE 11 (D) are where a indexes an internal U -duality's Cartan subalgebra basis and where A cov stands for the covariantized raising generators associated with the starred Dynkin node(s) (3-form, 2-form, 1-form). In the remaining cases D = 9, 10 A , one must complete the set of generators by adding for instance the extra Cartan element that we called h * and which is a spacetime scalar. We could have taken instead K 11 as we have explained above, or any other convenient linearly independent Cartan element. Finally, for D = 2, one must also add one Cartan element which again may be taken to be K 11 but one recalls that the h a 's and the diagonal generators K α α are not linearly independent in that case.

Tensoring with the exterior algebra Λ R D
We now take the tensor product of the purely bosonic Lie algebra PE 11 (D) with the Grassmann superalgebra Λ R D constructed on a D-dimensional vector space 5 generated by θ α , 1 ≤ α ≤ D. This is the standard operation of tensoring a Lie algebra (g say) by a graded associative one (Λ here) -the superLie bracket is given by [g ⊗λ, g ′ ⊗λ ′ ] super :=[g, g ′ ]⊗λλ ′ , g, g ′ ∈ g, λ, λ ′ ∈ Λ. The natural Z-gradation of Λ R D extends to this algebra by giving degree 0 to all PE 11 (D) generators and will lead exactly to the V-degree. Below we shall only distinguish the Lie bracket from the superbracket when the ambiguity will become annoying. Note that in this construction, it is essential to restrict one's attention to the parabolic subalgebra PE 11 (D) in which the lowering generators f i associated with the starred nodes have been dropped. Indeed, these f i 's are not scalars, but transform in the representation dual to that of the corresponding e i 's. To include all the f i 's would necessitate introducing the dual exterior algebra generated by the dx α dual to the θ α and this would change the construction. It would be of interest to explore how far one can go in that direction. We shall not do it here, defining in the end of the analysis the missing lowering generators of the resulting Borcherds superalgebras by assuming the existence of a Chevalley involution.
There are several different gl D actions on the algebra A ≡ PE 11 (D) ⊗ Λ R D . First one can use the adjoint action of gl D ⊂ A on A. The θ α 's are clearly inert under it since they do not contribute to the brackets. The second action, that we shall call the natural action, coincides with the adjoint action on PE 11 (D) but transforms also the θ α 's as "vectors" (with the same abuse of terminology as in subsection 1.1 for "forms").

Invariant generators
We consider from now on the natural action of gl D described in the previous paragraph. Our superalgebra A := PE 11 (D) ⊗ Λ R D provides a representation of gl D which is completely reducible. We denote by A 0 the subspace containing the invariant elements in A, i.e., the subspace of the trivial representations for the natural action of gl D . It is a subsuperalgebra (subalgebra for short), which contains the elements of E 11 properly saturated with θ α , or with indices properly contracted. The central claim of this paper is that, for each spacetime dimension D, A 0 is (a truncated version of the parabolic subalgebra of) the Borcherds superalgebra V D considered in [3]. The truncation follows at the end of our computation from the finite dimensionality of the Grassmann algebra of parameters.
The elements in the invariant subalgebra A 0 are the scalars, obtained by saturating completely upper and lower indices, and the forms contracted with the θ's, e.g., E 1 := 1 3! E αβγ θ α θ β θ γ in eleven dimensions. So, only the completely antisymmetric tensors survive. Tensors with mixed Young symmetry are eliminated when saturating their indices with products of θ's.
It is of interest to stress that A 0 is a subalgebra of the superalgebra PE 11 (D) ⊗ Λ R D while the set of fully antisymmetric elements of PE 11 (D) does not define a subalgebra of PE 11 (D) . Indeed the bracket of two fully antisymmetric generators is not necessarily fully antisymmetric and so one needs to multiply by the θ's to get rid of pieces with mixed Young symmetry.
There is, however, an alternative way of describing the set of fully antisymmetric elements of PE 11 (D) within PE 11 (D) without introducing superalgebras. The elements of PE 11 (D) with at least two columns form an ideal I, this follows from the rules for computing tensor products of representations. The set of fully antisymmetric elements of PE 11 (D) can be identified with the quotient algebra PE 11 (D) /I. This line of reasoning holds for gl D tensors but not for sl D ones and only if one considers density weights of the same sign, see for instance [38] .
Multiplying by the θ's automatically takes the quotient, in fact it does also truncate the superalgebra to degree D. We are going to ignore this until the end and the application to Physics as otherwise the beauty of parabolic Borcherds superalgebras would be hidden.
A possibility to avoid this complication could be to go beyond E 11 to E n , n ≥ 12, or even to the infinite rank situation. Indeed the branching rules of the decomposition described by figure 1 above seem to stabilize as for the already noticed similarity between E 10 and E 11 prescriptions. By so doing one would obtain exactly the full parabolic subalgebras of superBorcherds. What happens is that the gl D+k invariants of PE 11+k (D + k) ⊗ Λ R D+k form an algebra that does not depend on k for large k. More information on this point is provided in appendix B.
It is an exciting exercise to look for similar constructions keeping up to two or p columns instead of just one, this might lead to a symmetry superalgebra "inbetween" the too large E 11 and the too small V-duality.
In order to establish the assertion that A 0 is a parabolic subalgebra of the Borcherds superalgebra V D , we first construct the invariants associated with the simple root-vectors e i , the conjugate f i 's that are in PE 11 (D) and the Cartan generators h i . In the Cartan subalgebra of E 11 , the invariant elements are the scalar generators of the Cartan subalgebra of the internal symmetry, as well as the trace K D , which must be traded for K 11 in the case D = 2, since then as we saw K 2 is not independent from the Cartan generators of the internal U-duality algebra. When there are two starred nodes, an additional invariant exists, which may be taken to be h * = K 11 11 (for D = 10 A ), or for instance h ′ * = K 10 10 (for D=9). Out of the simple raising operators of E 11 , one can construct invariants by saturating the form indices with θ α 's (with no θ α needed for scalar generators). From the list of covariant generators given in subsection 2.6, one thus gets table 4 of invariant generators. For the sake of conciseness, we omit the lowering generators f a of the internal U-duality , i.e., we consider only the "Borel" (see below) subalgebra B 0 of A 0 . The lowering generators F a = f a can be reintroduced using a Chevalley involution.

Structure of invariant subalgebra
We now study in more detail the structure of the invariant subalgebra B 0 . We want to verify two properties: • B 0 is generated by the invariant generatorsH A (Cartan) and E A (positive simple root generators) of table 4 with A = 1, . . . , 12−D.
• The only relations on the generators of B 0 are those that follow by taking traces or contracting with the θ's the covariant relations given in subsection 2.6. There are no other relations if the truncation below degree D is temporarily put aside.
We shall provide details in [34] and give here informal arguments.

Generators of B 0
Let ω be an exterior form in B 0 . Without loss of generality, we can consider the homogeneous case of degree p. The form ω can be written as a linear combination of terms of the form a λ 1 ···λp θ λ 1 ∧ · · · ∧ θ λp , where a λ 1 ···λp is a multicommutator of the covariant generators listed in table 3 (if p>0, we can assume that there is no K α β in the commutator as these can be gotten rid of using the commutation relations of subsection 2.6). Because the θ's anticommute, we can group them so as to make the forms of table 4 appear in the multicommutator, e.g., for D=11 the term This shows that B 0 is generated by the invariant generators of table 4. The superalgebra A 0 is generated by these invariant generators together with the lowering generators f a of the U -duality group.

Relations on the generators of B 0
Let us now turn to the relations among the invariant generators of B 0 . Among these we have first the relations involving the Cartan generators which are easy to derive and which are collected in table 5 in the column "Chevalley relations". Consider next an arbitrary relation R among the generators of B 0 . Without loss of generality, we can assume that it contains none of the Cartan generators since these can be eliminated using repeatedly the Chevalley relations which we just discussed. The relation R is of course a consequence of the E 11 Chevalley-Serre relations and hence of their covariantized version but also of the finite dimensionality of the Grassmann algebra.
Let us temporarily ignore the consequences of the finiteness of D -which kills every element of V-degree >D -and implement them at the end to make contact with Physics. It amounts to the fact that "forms" can be of degree at most D, but let us still implement antisymmetrization on pairs of indices of unspecified range. The Christoffel ǫ totally antisymmetric tensor is not an invariant of gl D , only an invariant of sl D . Insisting on full gl 2 invariance restricts us to generators with E 9 central charge equal to the sl 2 tensorial rank.
So we shall consider at first only those relations that can be written as linear combinations of multicommutators, each of which involves at least one of the covariantized Serre relations of PE 11 (D) . There is no free index since each such relation is invariant (it expresses the vanishing of an element in the algebra generated by the invariant generators) and so all indices are saturated with the θ's. Using the anticommutativity of the θ's, we can contract the "fundamental form generators" with the θ's carrying the same indices. In particular, this produces "invariant Serre relations" covariantly saturated with the θ's, that is, relations involving the invariant generators only.
This follows from covariance under the full linear group and the absence of any possible upper index pair contraction. A covariant relation in PE 11 (D) involving several fundamental forms must by linear covariance amount to the vanishing of some Young projector. Once fully contracted with θ's it must be the same as the relation in B 0 or A 0 .
In other words, the relations in B 0 beyond the Chevalley relations and the maximal degree truncation are those that follow from the covariantized Chevalley-Serre relations in PE 11 (D) by saturating the components of the fundamental forms with θ's carrying the same indices. These relations are collected in the column "Serre relations" of table 5.
Anticipating the identification with the Borcherds superalgebra, we have separated the relations into two groups: those that will become the Chevalley relations and those that will become the Serre relations.
Note that some of the covariantized relations become identities when saturated with the θ's. For example, in the case D = 11, the relation (2.6), E αβγ , E λµν = E [αβγ , E λµν] , yields [E 1 , E 1 ] super = [E 1 , E 1 ] super and is thus empty.
There is in that case no "Serre" relation whatsoever on the fermionic generator E 1 . This might seem surprising at first sight as it is known that there is no 9-form. But the 9-form is indeed absent, thanks to the Jacobi identity for the (graded) commutator, which reads [[E 1 , E 1 ] super , E 1 ] super = 0.

JHEP04(2012)078
The conclusion is that the superalgebra B 0 is the superalgebra generated by the invariant generators of table 4 subject to the conditions collected in table 5. The superalgebra A 0 has the additional lowering generators f a of the U-duality subalgebra and the corresponding Chevalley-Serre relations involving f a .

Identification of Borcherds algebras
To complete the analysis, we shall now show that the generators of the invariant algebra A 0 just constructed and the relations among them define a parabolic subalgebra of a rank 12−D Borcherds superalgebra (truncated at form degree > D), which we identify through its Cartan matrix. In this section we shall ignore the V-degree truncation, related to the spacetime dimension -it will be imposed at the end. For clarity we only treat again the Borel part B 0 of A 0 (and that of the whole Borcherds superalgebra), as the analysis can be straightforwardly extended to include the scalar internal lowering generators f a .
The generators (table 3)  Our strategy will follow three steps. We shall first show that the relations involving the E A 's can be identified as Serre relations of a Borcherds algebra provided one uses as Cartan matrix a symmetric matrix S AB whose explicit form depends on the dimension D. This matrix is in fact not completely determined by the Serre relations alone. We shall then show that one can change the basis of the abelian subalgebra H, from {H A } to {H A }, in such a way that the commutators [H A , E B ] still obey Chevalley relations after replacinḡ C AB with a matrix C AB = S AB . This will then prove our claim.
We also show that one can choose the remaining ambiguity in S AB = C AB in such a way that S AB coincides with the Cartan matrix A AB considered for D ≥ 3 in [3].
Since the form of the Cartan matrix depends on D, we proceed dimension by dimension. We shall consider explicitly the cases D = 11 and D = 10 A and then list the corresponding Cartan matrices for the other cases. Details will be available in [34]. We shall also treat the case D = 1 explicitly at the end of the next section, because, while a (truncated) Borcherds algebra structure can be given, it is slightly different from the cases 2 ≤ D ≤ 7.

D = 11
In that case, there is only one E 1 , the 3-form (which is fermionic), and oneH 1 , the trace K 11 . The graded commutator [E 1 , E 1 ] of the fermionic generator E 1 with itself is unconstrained. In order for the Serre relations to impose no relation on the graded commutator [E 1 , E 1 ], the one-by-one matrix S cannot vanish but can otherwise be an arbitrary integer. One has [H 1 , E 1 ] = 3E 1 = 0, which agrees with what the Serre relations dictate.

JHEP04(2012)078
New Cartan generators of the p-form superalgebras (D ≥ 1)   with the Serre requirements. The resulting matrix is symmetric and corresponds to the Cartan matrix found in [3]. Thus, the Borcherds superalgebra relevant to D = 10 A has Cartan matrix A = C given by (5.1).

Results for D ≥ 2 -Cartan matrices and Dynkin diagrams
The same analysis applies to all spacetime dimensions D ≥ 2. In each case, we find that the generators and relations can be cast in the Borcherds superalgebra form. Furthermore the ambiguities in the D ≥ 3 cases can be naturally resolved by a change of basis of the Cartan subalgebras in such a way that the resulting Cartan matrix coincides with the one of [3]. The Cartan generators of the new basis are listed in table 6. From D = 8 down to D = 2 we see that the first generator becomes H 1 = −K D+1 .
The Cartan matrices and Dynkin diagrams that we obtain are collected in table 7, where we follow the usual conventions used for example by [3]: Note that the imaginary roots with A AA = 0 would have length one when measured through the intersection matrix between divisors on del Pezzo surfaces [3].
Note also that one easily goes from the Borel subalgebra explicitly exhibited here to the parabolic subalgebra containing also the f a 's of the internal duality algebra E 11−D . The commutation relations of the lowering generators f a with H A , E B and between themselves are manifestly compatible with the Cartan matrix. One can then consider the full Borcherds algebra using the Chevalley involution to introduce the missing lowering generators. The V-gradation is defined by giving a degree to each root generator, as indicated in table 7.
6 New features and results for D=2 and D=1 6.1 D = 2 As announced above, our process of tensoring by Λ R D and selecting invariants does also yield in D = 2 a truncation of a well-defined Borcherds superalgebra. It has E 9 as its degree-0 subalgebra, and its basic representation in degree 1. Contrary to the D ≥ 3 cases, the degree truncation remains infinite-dimensional.
The generalized Cartan matrix and Dynkin diagram are those of E 10 , but with a 0 in place of a 2 as entry (1, 1) of the matrix, and with the corresponding first Dynkin node fermionic.
The central charge of E 9 equals the scaling generator K 2 in E 11 .
Here z can be any real number we want, as in this case E 1 has only one term E 1 = K 1 2 θ 1 , and so we don't need to impose the relation [E 1 , E 1 ] = 0, it is automatically satisfied by the degree truncation. However, one finds that we can't take our usual type of Cartan matrix with a 0 in the upper-lefthand corner: indeed, when z = 0 the determinant of S 0 is zero (this comes from the fact 6 that the determinant of the Cartan matrix of E 9 is 0) while the determinant ofC isn't, and thus we can't find a basis yielding this matrix for its Chevalley relations.
But we can nonetheless obtain any value z = 0, as in that case the determinant of S z is no more zero. Hence there exists many bases {H A } of the Cartan subalgebra yielding S z as matrix of the Chevalley relations, namely H 1 (z) = (z − 1) K 1 1 − K 2 2 and H A =H A , 2 ≤ A ≤ 11. Here we chose, as in higher dimensions, a symmetric matrix S, it was not forced upon us. But we are left with an ambiguity in the choice of the first Cartan vector coming from the freedom on the choice of z = 0. A natural choice is to take z = 1, so that H 1 = −K 2 2 and the Cartan matrix A = S 1 = C. Here, once truncated to respect the dimension D = 1, the Z-gradation of our algebra has only two non trivial homogenous components, which are also the0 (bosonic) and1 (fermionic) components of the Z 2 -gradation. We can readily see that the Deg 0 part of our Borcherds algebra, the scalars, is formed by the Borel of E 10 and that its Deg 1 part, i.e., the 1-forms, is formed by a highest weight representation of the hyperbolic algebra E 10 . Of course, as for D = 2, the dimension of the (truncated) algebra is infinite.
So, again for D = 1, by our process of tensoring and selecting the invariants, we have obtained a truncation of a Borcherds superalgebra, we hope to return to this and investigate what could be a true symmetry. However, if we ignore the degree truncation and consider only the relations coming from the gl 1 -covariantisation of the relations of E 11 , this does not define a Borcherds superalgebra, for the reasons explained above and linked to the affine character of E 9 . However, if we are only interested in the truncation, it can be seen as coming from the real Borcherds superalgebra of table 7.

Conclusions
In this paper, we have demonstrated that the reduction of E 11 to the p-form sector of maximal supergravities in D ≥ 3 dimensions leads to the V -duality symmetries described by Borcherds superalgebras. We have recovered, in particular, the Cartan matrices of [3] JHEP04(2012)078 from the Cartan matrix of E 11 , thereby explaining the harmony between the result of the Borcherds and the E 11 methods for calculating the p-form content. The coincidence with the constraints of supersymmetry remains a mystery. We have also proved that E 11 implies that the D = 2 case is also encoded in a Borcherds superalgebra and that the analysis extends all the way down to D = 1.
Even though we have clarified the connection between E 11 and the Borcherds superalgebras used earlier in [3] to describe economically the supergravity p-form spectra, many questions remain open. The precise role of E 11 remains mysterious in that many fields at higher levels are still waiting for a precise physical interpretation. It appears to be quite magical, however, that among the higher level fields, one finds always, for any spacetime dimension, fields that precisely reduce to the fields necessary to describe deformations and top forms [32,33]. Anyway, as the Borcherds character of our symmetries allow us to use the denominator formula, we now have an easy -at least for high dimensions -tool to determine exactly the roots corresponding, not only to propagating forms, but also to de-forms and top forms.
It would be of interest to extend this work to theories with other internal duality groups like D +++ on the one hand, and the ordinary Chevalley involution exchanging opposite Borel subalgebras on the other hand. It is hoped to return to these questions in the future [34].

A Borcherds or BKM superalgebras
In this appendix, we provide some basic notions on Borcherds superalgebras. For more information, see [8,39].

JHEP04(2012)078
Definition. Let I = {1, · · · , N } be an index set with both "bosonic" and "fermionic" indices. Let S ⊂ I be the subset of fermionic indices. A generalized symmetric Cartan matrix C = (a ij ) (i ∈ I) of a supersymmetric Borcherds ("generalized Kac-Moody") algebra is a non-degenerate symmetric matrix (a ij = a ji ) with the following properties: • a ii can be < 0, 0 or > 0; • a ij ≤ 0 if i = j; • If a ii > 0, then 2a ij a ii ∈ Z for all j ∈ I; • More stringently if a ii > 0 and i ∈ S, then a ij a ii ∈ Z for all j ∈ I.
The Borcherds superalgebra A associated with the generalized Cartan matrix a ij is generated by 3N generators {h i , e i , f i } (i = 1, · · · , N ) subject to the following relations So, the idea behind the extension to Borcherds superalgebras (with respect to standard Kac-Moody superalgebras) is that one relaxes some of the conditions on the matrix a ij , which is now allowed to have diagonal elements which are ≤ 0. When a ii ≤ 0, the corresponding simple root is imaginary (contrary to a Kac-Moody algebra where all simple roots are real) and there is no restriction on a ij a ii . When a ii > 0, the (negative) integers a ii fj = 0 when i ∈ S, aii > 0 and i = j is imposed. As the left-hand sides of these relations do not define ideals that intersect trivially the Cartan subalgebra, this appears to be incorrect. The condition that a ij a ii should be in Z when i is a fermionic index such that aii > 0 is essential, however.

JHEP04(2012)078
• If i is a fermionic index, then the Lie sub-superalgebra is isomorphic to osp(1|2); • The Kac-Moody superalgebra decomposes into finite-dimensional representations of S i (because of the Serre relations).
But these properties no longer hold when a ii ≤ 0: • If a ii = 0, the sub(super)algebra is isomorphic to the Heisenberg (super)algebra; • If a ii < 0, the subalgebra S i = Cf i ⊕ Ch i ⊕ Ce i and the sub-superalgebra are still isomorphic to sl 2 and osp(1|2), respectively, but the Borcherds superalgebra A contains infinite-dimensional representations of S i .
B Lifting temporarily the restriction to form degrees less than D In this paper, we are interested in the algebra of p-forms in any spacetime dimension D ≤ 11. We have shown that this algebra is generated by the generators of table 4 subject to the conditions of table 5 and the extra condition that the form degree p is bounded by D, p ≤ D.
Technically, this extra condition arises because there are D anticommuting θ α 's and so any expression involving more than D θ's identically vanishes.
Our claim is that this algebra is the restriction to form degree ≤ D of the parabolic subalgebra of the Borcherds algebra V D derived in the text. In other words, if one drops the form degree restriction, the p-form algebra and this parabolic subalgebra coincide.
Suspending temporarily the form-degree restriction necessary to reach V D might appear artificial. We show in this appendix that this can naturally be viewed as replacing E 11 by E 11+k and taking the limit of large k.
To see this, consider first the subsuperalgebra of gl D+1 -invariants in dimension D + 1 for E 12 . We call "0" the additional node of E 12 keeping the same labels for the other nodes of the Dynkin diagram. So, in particular, the exceptional node is still called "11".
Comparing the reduction to D +1 dimensions for E 12 to the reduction to D dimensions for E 11 amounts to assuming the same number 11−D = 12−D−1 of internal dimensions. Our crucial point follows immediately from that observation, which implies that the generators of the subsuperalgebra of gl D+1 invariants for E 12 are formally exactly the same JHEP04(2012)078 as the gl D invariant ones for E 11 . The only difference is that the index α in E 1 = K α D+1 θ α now runs from 0 to D, i.e., can take the additional value 0. Similarly, the relations among the invariant generators listed in table 5 are unchanged. Hence, the only difference between the p-form algebra associated with E 12 in D + 1 dimensions and that associated with E 11 in D dimensions is that the form-degree truncation now occurs at degree D + 1.
Similarly, if one were to consider the reduction of E 13 to D + 2 dimensions (calling the additional E 13 -node "−1"), one would get exactly the same collection of 0-forms, 1-forms, 2-forms, . . . up to degree D (comparing with E 11 ) or D + 1 (comparing with E 12 ), but now there would also be (D + 2)-forms. Furthermore, for any value of p, the p-forms appearing in E 11 , E 12 or E 11+k (p ≤ D), being formally equal, do transform in the same representation of the U-duality internal algebra (which does not depend on k since we keep the number of internal dimensions constant) .
The pattern is now obvious: to temporarily hold the truncation to form degree D, one simply goes to E 11+k and considers k arbitrarily large, i.e., the infinite rank situation. This yields the form algebra generated by the generators of table 4 subject only to the conditions in table 5, with no form-degree restriction. It is this "universal" p-form algebra that is identical with the parabolic subsuperalgebra of the Borcherds superalgebra described in the text. The physical p-form algebra is obtained by making the form-degree truncation p ≤ D, which we have chosen to postpone till the end in order to reveal the underlying Borcherds structure.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.