Abstract
We consider the subalgebras of split real, non-twisted affine Kac–Moody Lie algebras that are fixed by the Cartan–Chevalley involution. These infinite-dimensional Lie algebras are not of Kac–Moody type and admit finite-dimensional unfaithful representations. We exhibit a formulation of these algebras in terms of \({\mathbb {N}}\)-graded Lie algebras that allows the construction of a large class of representations using the techniques of induced representations. We study how these representations relate to previously established spinor representations as they arise in the theory of supergravity and work out a detailed example in the case of the affine extension of \({\mathfrak {e}}_8\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Every (split real) Kac–Moody algebra \({\mathfrak {g}}={\mathfrak {g}}(A)\) for an indecomposable generalised Cartan matrix A has a Cartan–Chevalley involution \(\omega \) that defines an involutory (‘maximal compact’) Lie subalgebra \({\mathfrak {k}}={\mathfrak {k}}({\mathfrak {g}})<{\mathfrak {g}}\) as its subalgebra of fixed points [K]. If \({\mathfrak {g}}\) is of finite type, then \({\mathfrak {k}}\) is compact, whence reductive; its structure and representation theory play a key role in studies of symmetric spaces and automorphic representations. For Kac–Moody algebras \({\mathfrak {g}}\), generators and relations for \({\mathfrak {k}}\) were given in the early work [B], but, curiously, very little is known about the representation theory of \({\mathfrak {k}}\) in the infinite-dimensional case. One reason for this is that these algebras do not fit into more standard frameworks, as they do not exhibit a graded, but rather a filtered structure; in particular, they are not Kac–Moody algebras [KN1], unlike the algebras from which they descend. This means also that the customary tools of representation theory (lowest and highest weight representations, character formulas, etc.) are not applicable. This being said, we point out (see “Appendix A”) that the complexification of \({\mathfrak {k}}\) is a quotient of a GIM algebra as defined by Slodowy [S]; therefore, the representation theory of the latter, once developed, should help with understanding the (real and complex) representations of \({\mathfrak {k}}\).
A remarkable property of \({\mathfrak {k}}\) is that it inherits an invariant bilinear form from \({\mathfrak {g}}\). For split real \({\mathfrak {g}}\) the bilinear form on \({\mathfrak {g}}\) is indefinite but its restriction to \({\mathfrak {k}}\) is (negative) definite and for this reason \({\mathfrak {k}}\) is sometimes referred to as maximal compact. One may thus consider the Hilbert space completion \(\widehat{{\mathfrak {k}}}\) of \({\mathfrak {k}}\) with respect to the norm defined by the invariant bilinear form. One of the results of our paper is that, for untwisted affine \({\mathfrak {g}}\), the Lie bracket does not close on \(\widehat{{\mathfrak {k}}}\), so that \(\widehat{{\mathfrak {k}}}\) is not a Hilbert Lie algebra with respect to the standard invariant bilinear form; in fact, it is not even a Lie algebra (see “Appendix B”).
The Lie algebra \({\mathfrak {k}}\) and their associated groups are potentially important in physics applications, namely as infinite-dimensional generalisations of the R symmetries which govern the fermionic sectors of certain supersymmetric unified models of the fundamental interactions. Perhaps the most surprising result to come out of these physics motivated studies is that the infinite-dimensional algebras \({\mathfrak {k}}\), unlike the Kac–Moody algebras they are embedded into, admit non-trivial finite-dimensional, hence unfaithful, representations, in particular fermionic (double-valued) ones, which cannot be obtained by decomposing representations of the ancestor Kac–Moody algebra \({\mathfrak {g}}\) under its subalgebra \({\mathfrak {k}}\). These representations were originally found by analysing the action of the infinite-dimensional duality groups arising in the dimensional reduction of (super-)gravities to space-time dimensions \(D\le 2\) on the fermions. For the affine case it was realised already long ago [N, NS] that these actions correspond to evaluation representations of a novel type, involving not just the evaluation of loop group elements at one of two distinguished points in the complex spectral parameter plane, but also its higher derivatives. Likewise, for the indefinite, and more specifically hyperbolic, extensions of affine algebras and their involutory subalgebras, several concrete examples were found in terms of actions on the supersymmetry parameters and the gravitino fields (at a given spatial point) [dBHP1, DKN1, dBHP2, DKN2, KN2, DH]. These actions extend the so-called ‘generalised holonomy’ groups in the physics literature [DS, DL, H] to an infinite-dimensional context. Furthermore, and most relevant for the present work, some new finite-dimensional representations beyond supergravity were identified in [KN3, KN5], and their structure was further analysed in [KNV], where surprising features were discovered, such as the generic non-compactness of the quotient algebras (and quotient groups) obtained by dividing the original algebra by the annihilating ideal of the given representation. These representations were further studied in [HKL, LK] where in particular the action of the corresponding (covering) group representation of \({\tilde{K}}(G)\) [GHKW] was clarified; moreover, in complete analogy to the finite-dimensional situation it turns out that in the simple-laced case this two-fold covering group \({\tilde{K}}(G)\) is simply connected with respect to its natural topology [HK] (induced from the Kac–Peterson topology on the corresponding Kac–Moody group). All these studies of Lie algebra representations and corresponding covering group representations so far, while applicable to large classes of generalised Cartan matrices (simply-laced; often even any symmetrisable generalised Cartan matrix) have been limited to a small number of explicitly known examples of concrete representations, as all efforts to find a larger class of examples of representations and to understand their underlying structure and representation theory in a more systematic way have failed until now.
In this paper, we study the simplest case, corresponding to untwisted affine Kac–Moody algebras over \({\mathbb {K}}={\mathbb {R}}\) or \({\mathbb {K}}={\mathbb {C}}\). We show that there do exist infinitely many such unfaithful representations of ever increasing dimensions. Our construction finally provides a systematic raison d’être for such representations. Here, we aim for an ab initio construction of \({\mathfrak {k}}\) representations (in particular of spinorial nature) and not for representations that are obtained by branching representations of the affine \({\mathfrak {g}}\). The main method, which is inspired by the supergravity realisation on fermions [NS], is to map the filtered structure to a graded one, by replacing Laurent polynomials \({\mathbb {K}}[t,t^{-1}]\) in a variable t by power series \({\mathbb {K}}[[u]]\) in another variable u that is related to t by (3.3). We shall refer to the graded structure as the parabolic model of \({\mathfrak {k}}\). In the parabolic model based on u, representations can be constructed easily by means of the Poincaré–Birkhoff–Witt (PBW) basis of the enveloping algebra of the underlying Lie algebra graded by powers of u. We will present several explicit examples (related to maximal supergravity) to illustrate the construction, which puts in evidence the rapid growth of the associated representations. Our results can be viewed as a prelude to the construction of similar representations for involutory subalgebras of hyperbolic Kac–Moody algebras, that will be required for a better understanding of the fermionic sector of unified models, and perhaps pave the way for an embedding of the Standard Model fermions into a unified framework [MN1, KN4, MN2].
In a more global view, the results of this paper afford not only a completely new perspective on the representation theory of such algebras, but even more importantly, open new avenues towards exploring the structure of the associated groups. This would be especially relevant for infinite-dimensional Kac–Moody algebras of indefinite type for which, however, a representation theory extending the present results remains to be developed. While the loop group approach has proven very useful for affine Kac–Moody groups [PS] there is no comparable tool available for studying indefinite Kac–Moody groups, where often one has to resort to ‘local-to-global’ methods. Namely, many mathematical observations concerning (two-spherical) Kac–Moody groups rely upon ‘gluing’ the SL(2,\({\mathbb {R}}\)) subgroups associated to the simple real roots of the underlying Kac–Moody algebra \({\mathfrak {g}}\) and on exploiting Tits’ theory of buildings and extensions thereof [T, KP, AM, CFF, M]. However, in this way one does not gain a truly ‘global’ perspective on the associated groups. The same statement applies to an analogous construction of the groups K(G) associated to involutory subalgebras \({\mathfrak {k}}\subset {\mathfrak {g}}\) for indefinite \({\mathfrak {g}}\), which would proceed by similarly ‘gluing’ compact SO(2) \(\subset \) SL(2,\({\mathbb {R}}\)) subgroups associated to the simple real roots of \({\mathfrak {g}}\) [GHKW] (which, contrary to the Kac–Moody group G, in fact also works in the non-two-spherical case). By contrast, we here propose a fundamentally different approach which would be based on the construction of infinite sequences of larger and larger, but still finite-dimensional, quotient groups that, while remaining infinitely degenerate at each step of the sequence, capture ‘more and more’ of the infinite-dimensional group (and in particular the information contained in the root spaces associated to imaginary roots), and in such a way that the group action is fully under control at each step of the construction—in more mathematical terms, we propose to investigate whether the involutory Lie subalgebra \({\mathfrak {k}}\) and its corresponding group K(G) might be residually finite-dimensional. In the affine case this is true for \({\mathfrak {g}}\) and therefore for \({\mathfrak {k}}\) as well. One of our results is that our construction recovers this for \({\mathfrak {k}}\) without reference to \({\mathfrak {g}}\).
Our main results are the following two theorems:
Theorem A
Denote by \({\mathbb {P}}\, {:}{=}\, {\mathbb {K}}\left[ \left[ u\right] \right] \) the ring of formal power series and let \({\mathbb {P}}^{\pm }\) denote the \({\mathbb {K}}\)-submodules of formal even (resp. odd) power series in u. Let \({\mathfrak {g}}\,{:}{=}\,{\mathfrak {g}}(A)\left( {\mathbb {K}}\right) \) be a split untwisted affine Kac–Moody algebra over \({\mathbb {K}}\) with ’maximal compact’ subalgebra \({\mathfrak {k}}\) fixed by the Cartan–Chevalley involution, let \(\mathring{{\mathfrak {g}}}=\mathring{{\mathfrak {k}}}\oplus \mathring{{\mathfrak {p}}}\) be the Cartan decomposition of the distinguished classical subalgebra \(\mathring{{\mathfrak {g}}}\) of \({\mathfrak {g}}\) and set
where the bracket on the right-hand side denotes the \(\mathring{{\mathfrak {g}}}\)-bracket. Then there exist nonsurjective monomorphisms \(\rho _{\pm }:{\mathfrak {k}}\rightarrow {\mathfrak {N}}\left( {\mathbb {P}}\right) \), whose precise formula is given in (3.9).
Set \({\mathbb {P}}_{N}\, {:}{=}\,{\mathbb {P}}\diagup {\mathcal {I}}_N\), where \({\mathcal {I}}_N\, {:}{=}\,\left( u^{N+1}\right) \) is the ideal generated by the element \(u^{N+1}\). Projection from \({\mathbb {P}}\) to \({\mathbb {P}}_N\) induces homomorphisms of Lie algebras \(\pi _N: {\mathfrak {N}}\left( {\mathbb {P}}\right) \rightarrow {\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) such that the \(\rho _{\pm }^{(N)}:=\rho _{\pm }\circ \pi _N:{\mathfrak {k}}\rightarrow {\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) are epimorphisms.
Theorem B
Let V be a faithful \(\mathring{{\mathfrak {k}}}\)-module and denote by \({{\mathfrak {V}}}\) the induced \({\mathfrak {N}}\left( {\mathbb {K}}\left[ u\right] \right) \)-module. It inherits an \({\mathbb {N}}\)-grading \({{\mathfrak {V}}}=\bigoplus _{i=0}^{\infty } {{\mathfrak {V}}}_i\) from \({\mathfrak {N}}\left( {\mathbb {K}}\left[ u\right] \right) \) such that \({{\mathfrak {V}}}^{(N)} = \bigoplus _{i=N}^\infty {{\mathfrak {V}}}_i\) is an invariant submodule. The quotient \({{\mathfrak {V}}}/ {{\mathfrak {V}}}^{(N)}\) is a finite-dimensional \({\mathfrak {N}}({\mathbb {P}}_N)\)-module and therefore provides a representation of \({\mathfrak {k}}\).
On \(\overline{{\mathfrak {V}}}\, {:}{=}\,\left\{ \left( v_{i}\right) \ \vert \ v_{i}\in {\mathfrak {V}}_{i}\right\} \), the formal completion of \({{\mathfrak {V}}}\), there exists a natural, faithful \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \)-action. Furthermore, \(\overline{{\mathfrak {V}}}\) is the inverse limit of the quotients \({{\mathfrak {V}}}/ {{\mathfrak {V}}}^{(N)}\) which shows that \({\mathfrak {k}}\) is residually finite-dimensional.
The paper is organised as follows: In Sect. 2 we fix our notation for the involutory subalgebra \({\mathfrak {k}}\) of an untwisted affine Kac–Moody algebra. We construct the parabolic analogues \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) and \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) of \({\mathfrak {k}}\) over different rings in Sect. 3 and show that there exist homomorphisms from \({\mathfrak {k}}\) to them. Furthermore we establish that the homomorphism from \({\mathfrak {k}}\) to \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) is injective and thus proving Theorem A. In Sect. 4 we take a slight detour in first constructing induced representations of \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) from representations of its classical subalgebra \(\mathring{{\mathfrak {k}}}\). Although there is no homomorphism from \({\mathfrak {k}}\) to \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) we will show that these induced representations can be truncated to provide finite-dimensional representations of \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) and \({\mathfrak {k}}\). We will conclude Sect. 4 by proving that the inverse limit of these representations provides a fatihful infinite-dimensional representation of \({\mathfrak {k}}\), thus proving Theorem B. We specialise our results to the case \({\mathfrak {k}}\left( {\mathfrak {e}}_9\right) \) in Sect. 5 where we also describe the problem of analysing the finite-dimensional representations’ structure in more detail.
2 Affine Kac–Moody Algebras and Cartan–Chevalley Involution
Let A be an indecomposable generalised Cartan matrix of untwisted affine type and let \({\mathbb {K}}\) denote \({\mathbb {R}}\) or \({\mathbb {C}}\), see [K, §4] for a complete list of the associated diagrams \({\mathcal {D}}(A)\). The Kac–Moody algebra \({\mathfrak {g}}\, {:}{=}\, {\mathfrak {g}}(A)\left( {\mathbb {K}}\right) \) can be constructed explicitly as an extension of the loop algebra \({\mathfrak {L}}\left( \mathring{{\mathfrak {g}}}\right) \), where \(\mathring{{\mathfrak {g}}}\) denotes the classical Lie-subalgebra \(\mathring{{\mathfrak {g}}}<{\mathfrak {g}}(A)\left( {\mathbb {K}}\right) \) that one obtains by deleting the affine node in the generalised Dynkin diagram \({\mathcal {D}}(A)\). Denote by \(\omega \) the Cartan–Chevalley involution on \({\mathfrak {g}}(A)\left( {\mathbb {K}}\right) \) [K, §1] and set
\({\mathfrak {k}}(A)\left( {\mathbb {K}}\right) \) is called the maximal compact subalgebra of \({\mathfrak {g}}(A)\left( {\mathbb {K}}\right) \) since the restriction of the standard invariant bilinear form on \({\mathfrak {g}}\) to \({\mathfrak {k}}\) is (negative) definite. Let us start with a description of \({\mathfrak {k}}\) that is adapted to the presentation of \({\mathfrak {g}}\) in terms of the loop algebra \({\mathfrak {L}}\left( \mathring{{\mathfrak {g}}}\right) \). In Sect. 5, we will complement this by a collection of correspondences to the basis described in [KNP, §4] for the particular case \({\mathfrak {g}}={\mathfrak {e}}_9\), the affine extension of \({\mathfrak {e}}_8\).
Denote by \(\mathring{\Delta }\) the root system of \(\mathring{{\mathfrak {g}}}\) and its Cartan–Chevalley involutionFootnote 1 by \(\mathring{\omega }\). The \(\pm 1\) eigenspaces of \(\mathring{\omega }\) provide the Cartan decomposition \(\mathring{{\mathfrak {g}}}=\mathring{{\mathfrak {k}}}\oplus \mathring{{\mathfrak {p}}}\). In terms of a Cartan basis \(\big \{ E_{\gamma }\ \vert \ \gamma \in \mathring{\Delta }\big \} \cup \big \{ h_{1},\dots ,h_{d}\in \mathring{{\mathfrak {h}}}\big \} \), this decomposition is realised as
where \(\mathring{{\mathfrak {h}}}\) denotes the Cartan subalgebra of \(\mathring{{\mathfrak {g}}}\). Recall that \(\mathring{{\mathfrak {p}}}\) is a \(\mathring{{\mathfrak {k}}}\)-module but not a Lie-algebra since \(\left[ \mathring{{\mathfrak {p}}},\mathring{{\mathfrak {p}}}\right] =\mathring{{\mathfrak {k}}}\). Denote by \({\mathfrak {L}}\) the ring of Laurent polynomials over \({\mathbb {K}}\). Then the loop algebra of \({\mathfrak {L}}\left( \mathring{{\mathfrak {g}}}\right) \) is given by the tensor product \({\mathfrak {L}}\otimes \mathring{{\mathfrak {g}}}\) with the commutator given by the bilinear extension of
where \(\left[ \cdot ,\cdot \right] \) on the right-hand side denotes the bracket on \(\mathring{{\mathfrak {g}}}\). As \(t^{n}\), \(t^{-n}\) (for \(n\in {\mathbb {N}}=\{0,1,\ldots \}\)) span \({\mathfrak {L}}\), the Lie algebra \({\mathfrak {L}}\left( \mathring{{\mathfrak {g}}}\right) \) is spanned by \(\left\{ t^{\pm n}\otimes E_{\gamma }\ \vert \ \gamma \in \mathring{\Delta }\right\} \cup \left\{ t^{\pm n}\otimes h\ \vert \ h\in \mathring{{\mathfrak {h}}}\right\} \) for \(n\in {\mathbb {N}}\).
with \(K,d\in {\mathfrak {h}}\) so that \({\mathfrak {k}}\subset {\mathfrak {L}}\left( \mathring{{\mathfrak {g}}}\right) \) because \(\omega \left( h\right) =-h\) \(\forall \,h\in {\mathfrak {h}}\). Thus, in order to describe \({\mathfrak {k}}= {\mathfrak {k}}(A)\left( {\mathbb {K}}\right) \) we only need to study the loop algebra \({\mathfrak {L}}\left( \mathring{{\mathfrak {g}}}\right) \) and in particular do not need to consider the central extension of \({\mathfrak {L}}\left( \mathring{{\mathfrak {g}}}\right) \) by a 2-cocycle, giving rise to K. The Cartan–Chevalley involution restricted to \({\mathfrak {L}}\left( \mathring{{\mathfrak {g}}}\right) \) is given by the linear extension of
Denote by \({\mathfrak {L}}^{\pm }\) the \(\pm 1\) eigenspaces of \({\mathfrak {L}}\) under the involution \(\eta :\,t\mapsto t^{-1}\). Observe that evaluation of Laurent polynomials at \(t=\pm 1\) is the only evaluation map that commutes with \(\eta \) which is why we refer to \(t=\pm 1\) as the fixed points of \(\eta \). The fixed point set of \(\omega \) can be constructed from \({\mathfrak {L}}^{\pm }\), \(\mathring{{\mathfrak {k}}}\) and \(\mathring{{\mathfrak {p}}}\):
From this we arrive at the following explicit realisation of \({\mathfrak {k}}\):
Remark 1
-
(i)
The Laurent polynomials in \({\mathfrak {L}}^\pm \) are spanned by \(t^n\pm t^{-n}\) for \(n\in {\mathbb {N}}\). The product of two such basis Laurent polynomials is for example
$$\begin{aligned} (t^m + t^{-m}) (t^n - t^{-n}) = \left( t^{m+n}- t^{-(m+n)} \right) - \mathrm {sgn}(m-n) \left( t^{|m-n|} - t^{-|m-n|}\right) \,. \end{aligned}$$(2.7)We shall refer to this as a filtered structure on \({\mathfrak {L}}\) that by (2.6) induces a filtered structure on \({\mathfrak {k}}\).
-
(ii)
The construction in (2.6) can be generalised to the case where \({\mathfrak {L}}\) denotes a finitely generated commutative \({\mathbb {K}}\)-algebra with involution and \({\mathfrak {L}}^{\pm }\) denote the \(\pm 1\) eigenspaces with respect to this involution. This produces an analogue of maximal compact subalgebras to the case where \({\mathfrak {g}}\) is a generalised current algebra. However, our interest lies in studying different models of \({\mathfrak {k}}\). In particular, we will explore the relation of (2.6) to the cases \({\mathfrak {L}}={\mathbb {K}}[[u]]\), \({\mathbb {K}}[u]\) and \({\mathbb {K}}[u]\diagup {\mathcal {I}}_N\), where \({\mathcal {I}}_N\) is the ideal generated by the monomial \(u^{N+1}\).
-
(iii)
It is well known that one can form the semi-direct sum of any affine Lie algebra with the Virasoro algebra of centrally extended infinitesimal diffeomorphisms of the circle [K, GO], where both central extensions are identified. This structure descends to \({\mathfrak {k}}\) and a ‘maximal compact’ subalgebra of the Virasoro algebra [JN]. As this will play no role in our general analysis, we defer its discussion to Sect. 5.
-
(iv)
The Lie algebra \({\mathfrak {k}}\) comes with a definite and invariant bilinear form that is inherited from \({\mathfrak {g}}\). In “Appendix B”, we show that the Hilbert space completion with respect to this norm is not compatible with the Lie algebra structure to form a Hilbert Lie algebra.
3 Reformulation in Terms of Parabolic Algebras
In this section, we construct a Lie algebra monomorphism from \({\mathfrak {k}}\) to a larger Lie algebra by replacing Laurent polynomials with formal power series. This corresponds to an expansion around the fixed points \(t=\pm 1\) of \(\eta \) instead of 0 as described in [NS, KNP].
Denote by \({\mathbb {P}}\, {:}{=}\, {\mathbb {K}}\left[ \left[ u\right] \right] \) the ring of formal power series together with the involutive ring automorphism \(\eta :u^{k}\mapsto (-1)^{k}u^{k}\). We refer to a formal power series in \({\mathbb {P}}\) either as \(\sum _{k=0}^{\infty }a_{k}u^{k}\) or just as \(\left( a_{k}\right) _{k\ge 0}\) with \(a_{k}\in {\mathbb {K}}\). Denote the \(\pm 1\) eigenspaces of \({\mathbb {P}}\) with respect to \(\eta \) by \({\mathbb {P}}^{\pm }\), i.e., the formally even/odd power series in u. One has
We mimic the loop algebra construction by setting
where the bracket on the right-hand side again denotes the \(\mathring{{\mathfrak {g}}}\)-bracket. Recall that multiplication in the ring of formal power series is given by convolution, i.e., for \(P=\sum _{n=0}^{\infty }a_{n}u^{n}\) and \(Q=\sum _{n=0}^{\infty }b_{n}u^{n}\) one has
Remark 2
One could also consider replacing \({\mathbb {P}}\) by the ring of polynomials \({\mathbb {K}}[u]\). In contrast to \({\mathfrak {L}}^{\pm }\) which have a filtered structure, \({\mathbb {K}}[u]\) has a gradation given by the degree of polynomials. This extends to a gradation on \(\big ({\mathbb {K}}[u]^{+}\otimes \mathring{{\mathfrak {k}}}\big )\oplus \left( {\mathbb {K}}[u]^{-}\otimes \mathring{{\mathfrak {p}}}\right) \). If we were to construct a monomorphism from \({\mathfrak {k}}\) using only \({\mathbb {K}}[u]\) one would expect to be able to pull this gradation back to \({\mathfrak {k}}\left( A\right) \left( {\mathbb {K}}\right) \). Since we doubt this to be possible we work over \({\mathbb {K}}\left[ \left[ u\right] \right] \) which arises as the formal completion of \({\mathbb {K}}[u]\). There we do not have a gradation by degree of polynomials any more in the proper sense because for this any element in \({\mathbb {K}}\left[ \left[ u\right] \right] \) would have to decompose into the sum of finitely many homogeneous elements. This is true for polynomials but not for formal power series. Thus, we sacrifice a graded structure in order to achieve injectivity. However, in Sect. 4 we will consider this case as a preliminary step.
As the power series \({\mathbb {K}}[[u]]\) are associated with the expansion around the fixed point \(t=\pm 1\) rather than \(t=0\), we construct a homomorphism by relating the expansion via a (Möbius-type) transformation
through the Taylor series (\(n\ge 0\))
The filtered multiplication of the Laurent polynomials in \({\mathfrak {L}}^{\pm }\) is then captured by the following lemma.
Lemma 3
For each \(n\in {\mathbb {N}}\) the sequences \(\left( a_{2k}^{(n)}\right) _{k\in {\mathbb {N}}}\) and \(\left( a_{2k+1}^{(n)}\right) _{k\in {\mathbb {N}}}\) given by given by
satisfy
The coefficients \((-1)^{n}a_{2k}^{(n)}\) and \((-1)^{n}a_{2k+1}^{(n)}\) also satisfy Eqs. (3.6a), (3.6b) and (3.6c). Furthermore, for fixed \(n\in {\mathbb {N}}^*=\{1,2,\ldots \}\), the values of \(a_{2k}^{(n)}\) and \(a_{2k+1}^{(n)}\) are given by polynomials in k of degree \(n-1\) for all \(k\in {\mathbb {N}}^*\).
Remark 4
The transformations (3.3) have the property that they interchange the points 0 and \(\infty \) (that are exchanged by the involution \(t\leftrightarrow t^{-1}\)) with the fixed points \(\pm 1\) of \(\eta \). The maps \(t\mapsto u(t)\) in (3.3) are fixed uniquely by the requirement that \((0,\infty ,+1,-1)\mapsto (+1,-1,0,\infty )\) and \((0,\infty ,+1,-1)\mapsto (+1,-1,\infty ,0)\), respectively.
Proof
We first compute the Taylor series for the Möbius transformation (3.3) for \(n\in {\mathbb {N}}\)
from which the first formula in (3.5) follows. The second identity in (3.5) is deduced similarly from the expansion of \(t^n - t^{-n}\). The order of the polynomial follows from the binomial coefficient \(\genfrac(){0.0pt}1{n+k-\ell -1}{k-\ell }\).
The convolution properties (3.6) follow from multiplying out
for (3.6a) for the first one upon using (3.2). The identities (3.6b) and (3.6c) follow in the same way by changing the appropriate signs. \(\square \)
We collect some formulae concerning the coefficients \(a_{2k}^{(n)}\) and \(a_{2k+1}^{(n)}\). One has \(a_0^{(n)}=2\) for all \(n\in {\mathbb {N}}\). For \(k>0\) the first few coefficients \(a_{2k}^{(n)}\) are given by the following polynomials in k (note that these expressions are not valid for \(k=0\)):
while the first few coefficients \(a_{2k+1}^{(n)}\) are given by polynomials in k as well:
With Lemma 3 above one can now construct a Lie algebra homomorphism from \({\mathfrak {k}}\) to \({\mathfrak {N}}({\mathbb {K}}[[u]])\), defined in (3.1), that is constructed using (3.4).
Proposition 5
The linear map \(\rho _{\pm }:{\mathfrak {k}}(A)\left( {\mathbb {K}}\right) \rightarrow {\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) defined by
with \(a_{2k}^{(n)}\), \(a_{2k+1}^{(n)}\) as in (3.5) extends to a homomorphism of Lie algebras.
Proof
This can be checked case by case for pairs \((a,b)\in \big ({\mathfrak {L}}^{+}\otimes \mathring{{\mathfrak {k}}}\big )\times \big ({\mathfrak {L}}^{+}\otimes \mathring{{\mathfrak {k}}}\big ),\,\) \(\big ({\mathfrak {L}}^{+}\otimes \mathring{{\mathfrak {k}}}\big )\times \left( {\mathfrak {L}}^{-}\otimes \mathring{{\mathfrak {p}}}\right) \), \(\left( {\mathfrak {L}}^{-}\otimes \mathring{{\mathfrak {p}}}\right) \times \left( {\mathfrak {L}}^{-}\otimes \mathring{{\mathfrak {p}}}\right) \) and extending the result by (bi-)linearity. We demonstrate this for the first pair, the other pairs work analogously.
First, set \(x^{(n)}\, {:}{=}\,\left( t^{n}+t^{-n}\right) \otimes x\) for all \(x\in \mathring{{\mathfrak {k}}}\). Then by definition
so that from (3.9a)
On the other hand
by (3.6a), proving the claim. For the other pairs one proceeds similarly, using in particular \(a_{0}^{(n)}=2\) for all n, and this shows that the map \(\rho _{\pm }\) extends to a homomorphism of Lie algebras. \(\square \)
It is now possible to introduce a cutoff in (3.9) in order to make all expressions finite sums. Denote by
the ideal in \({\mathbb {K}}[[u]]\) that is generated by the element \(u^{N+1}\) and set \({\mathbb {P}}_{N}\, {:}{=}\,{\mathbb {K}}[[u]]\diagup {\mathcal {I}}_N\). Furthermore, define the even and odd parts as
and consider the Lie algebra
where the bracket on the right-hand side still denotes the \(\mathring{{\mathfrak {g}}}\)-bracket.
Remark 6
Note that the ring of formal power series \({\mathbb {P}}\) is isomorphic to the inverse limit of the inverse system \(\left( {\mathbb {P}}_N\right) _{N\in {\mathbb {N}}}\) with the obvious bonding maps [R]. As a consequence \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) is the inverse limit of the \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \):
In the following we will construct homomorphisms \(\rho _{\pm }^{(N)}:{\mathfrak {k}}(A)\left( {\mathbb {K}}\right) \rightarrow {\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) which are then shown to be surjective. As \(\rho _{\pm }^{(N)}\) is constructed via \(\rho _{\pm }\) and the natural projection \(\pi _N\) from \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) to \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) the \(\rho _{\pm }^{(N)}\) are compatible with the natural projections from \({\mathfrak {N}}\left( {\mathbb {P}}_{N+M}\right) \) to \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \). Assuming we had started with the \(\rho _\pm ^{(N)}\) then by the universal property of inverse limits we would have obtained \(\rho _\pm \) as the unique homomorphism \(\rho _\pm : {\mathfrak {k}}(A)\left( {\mathbb {K}}\right) \rightarrow {\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) such that \(\rho _\pm ^{(N)}=\rho _\pm \circ \pi _N\).
Corollary 7
The homomorphisms of Lie algebras \(\rho _{\pm }:{\mathfrak {k}}(A)\left( {\mathbb {K}}\right) \rightarrow {\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) induce homomorphisms \(\rho _{\pm }^{(N)}:{\mathfrak {k}}(A)\left( {\mathbb {K}}\right) \rightarrow {\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) which are given explicitly by
Proof
\({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) is a quotient of \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) because \({\mathbb {P}}_{N}={\mathbb {K}}[[u]]\diagup {\mathcal {I}}_N\) is a quotient of \({\mathbb {P}}\). \(\square \)
Next, we want to show that the homomorphisms \(\rho _{\pm }\) are injective but not surjective. Towards this we will need the following fact about matrices whose entries are obtained from evaluation of polynomials:
Lemma 8
Let \(0\ne p_{1},\dots ,p_{n}\in {\mathbb {K}}[t]\) be linearly independent polynomials. Then there exist \(N_{1},\dots ,N_{n}\in {\mathbb {N}}\) such that the matrix \({\mathcal {M}}\left( N_{1},\dots ,N_{n}\right) \, {:}{=}\,\left( p_{i}\left( N_{j}\right) \right) _{i,j=1}^{n}\) is regular.
Proof
This can be achieved by induction on n and an expansion of the determinant which yields a linear combination of linearly independent polynomials. As a nonzero polynomial p(t) is equal to 0 for only finitely many \(t\in {\mathbb {K}}\) this can be used to show regularity of \({\mathcal {M}}\left( N_{1},\dots ,N_{n}\right) \) for suitable \(N_1,\dots ,N_n\). \(\square \)
Proposition 9
The homomorphism of Lie algebras \(\rho _{\pm }:{\mathfrak {k}}\left( A\right) \left( {\mathbb {K}}\right) \rightarrow {\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) from Proposition 5 is injective. Furthermore its image does not contain elements in \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) =\left( {\mathbb {P}}^{+}\otimes {\mathfrak {k}}\right) \oplus \left( {\mathbb {P}}^{-}\otimes {\mathfrak {p}}\right) \) whose formal power series contain only finitely many nonzero coefficients. In particular, the elements \(u^{2k+2}\otimes x\) for \(x\in \mathring{{\mathfrak {k}}}\) and \(u^{2k+1}\otimes y\) for \(y\in \mathring{{\mathfrak {p}}}\) and \(k\ge 0\) are not contained in the image of \({\mathfrak {k}}\left( A\right) \left( {\mathbb {K}}\right) \) in \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \).
Remark 10
Observe that there is a certain asymmetry. It is possible to map elements from \({\mathfrak {k}}(A)\left( {\mathbb {K}}\right) \) to \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) by allowing formal power series but in the reverse direction it is not possible to define such a map for elements such as \(u^{2k+2}\otimes x\) because the Laurent polynomials do not have a completion that behaves well under the involution \(\eta \). One can only complete in one direction, i.e., for an element \(\sum _{n\in {\mathbb {Z}}} c_n u^n\otimes x\) in some completion of \({\mathfrak {k}}\left( A\right) \left( {\mathbb {K}}\right) \), \(c_n\ne 0\) is only possible for either \(n>N\) or \(n<N\) but not both at the same time. But this does not agree with the demand \(c_{-n}=\pm c_n\) unless \(c_n\ne 0\) for only finitely many n.
Proof
For a generic element in \({\mathfrak {k}}\left( A\right) \left( {\mathbb {K}}\right) \) one can split the analysis into two pieces because elements from \({\mathfrak {L}}^{+}\otimes \mathring{{\mathfrak {k}}}\) are mapped to elements which only involve even powers \(u^{2k}\) while the ones from \({\mathfrak {L}}^{-}\otimes \mathring{{\mathfrak {p}}}\) are mapped to series involving only odd powers \(u^{2k+1}\). Therefore consider the image of
under \(\rho \):
so that we need \( \sum _{i=1}^{K}a_{2k}^{(n_{i})}x_{i} = 0\) for all \(k\ge 0\). For a basis \(e_{1},\dots ,e_{d}\) of \(\mathring{{\mathfrak {k}}}\) and \(x_{i}=\sum _{j=1}^{d}c_{i}^{j}e_{j}\) this yields
This way one sees that \(\rho (\chi )=0\) admits nontrivial solutions if and only if the infinite linear system of equations
does. The coefficient \(a_{2N}^{(n)}\) is given by the evaluation at N of a nontrivial polynomial \(p_{n}\in {\mathbb {K}}[x]\) of degree \(n-1\) according to Eq. (3.5) Note that the polynomials \(p_{n_{1}},\dots ,p_{n_{K}}\) are linearly independent if the \(n_{1},\dots ,n_{K}\) are pairwise distinct because then they are of different degree. Consider a subsystem of linear equations of (3.15) given by
By Lemma 8 it is possible to choose \(N_{1},\dots ,N_{K}\) such that the matrix \(\left( p_{n_{i}}\left( N_{j}\right) \right) _{i,j=1}^{K}\) is regular. Thus, this subsystem of linear equations admits only the trivial solution and therefore so does (3.15). Another way to put this result is that for a basis \(\left\{ e_{1},\dots ,e_{d}\right\} \) of \(\mathring{{\mathfrak {k}}}\) the elements of the set
are linearly independent. Since \(a_{2N+1}^{(n)}\) is also given by a polynomial the same argument works for
where \(\left\{ f_{1},\dots ,f_{D}\right\} \) is a basis of \(\mathring{{\mathfrak {p}}}\). This shows that \(\rho _{\pm }\) is injective.
We next consider the claim that elements \(\sum _{k\ge 0}b_{2k}u^{2k}\otimes x_{k}\) with only finitely many \(b_{2k}\ne 0\) are not contained in the image of \({\mathfrak {k}}\left( A\right) \left( {\mathbb {K}}\right) \) in \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \). Any element in the image of \({\mathfrak {k}}\left( A\right) \left( {\mathbb {K}}\right) \) in \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) can be written as a linear combination of elements in (3.16) and (3.17). It suffices to focus on one set as they are split into even and odd coefficients. For elements of type (3.16) this implies that there exist \(b_{1},\dots ,b_{N}\in {\mathbb {K}}\setminus \{0\}\) such that
The polynomials \(p^{(n_{j})}\) are linearly independent and so their sum is a polynomial of fixed degree greater than 0. Then the above equation is a contradiction to the fact that a nonzero polynomial can be equal to 0 only at finitely many points. \(\square \)
Propositions 5 and 9 show the first part of Theorem A concerning \({\mathfrak {N}}\left( {\mathbb {P}}\right) \) and we consider the statements concerning \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) next.
Proposition 11
The homomorphisms \(\rho _{\pm }^{(N)}:{\mathfrak {k}}\left( A\right) \left( {\mathbb {K}}\right) \rightarrow {\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) are surjective.
Proof
Set
and note that \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) decomposes into vector spaces as
The image of \(\rho _{\pm }^{(N)}\) in \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) is spanned by elements of the form
Since \(a_{2k}^{(0)}=2\delta _{k,0}\) one already has \(\mathring{{\mathfrak {k}}}_{(0)}=\left\{ 1\otimes x\ \vert \ x\in \mathring{{\mathfrak {k}}}\right\} \subset \text {im}\ \rho _\pm ^{(N)} \). With this it is possible to remove the \(\mathring{{\mathfrak {k}}}_{(0)}\)-part from other elements:
By the properties of the Cartan decomposition (cf. [HN, prop. 13.1.10]) one has that if \(\mathring{{\mathfrak {g}}}\) is simple and non-compact then \(\mathring{{\mathfrak {k}}}=\left[ \mathring{{\mathfrak {p}}},\mathring{{\mathfrak {p}}} \right] \) and that \(\mathring{{\mathfrak {p}}}\) is a simple \(\mathring{{\mathfrak {k}}}\)-module. Therefore any element \(x\in \mathring{{\mathfrak {k}}}\) can be written as an iterated commutator \(\left[ x^{(1)},\left[ x^{(2)},\dots ,x^{(k)}\right] \right] \) for \(x^{(1)},\dots ,x^{(k)}\in \mathring{{\mathfrak {k}}}\) or \(\mathring{{\mathfrak {p}}}\). Choose levels \(n_{1},\dots ,n_{k}\) such that \(n_{1}+\dots +n_{k}=\left\lfloor N/2\right\rfloor \) and set
Then
which shows that
is contained in the image of \(\rho _{\pm }^{(N)}\). The same procedure works for \(\left( u^{2k+1}+{\mathcal {I}}_N\right) \otimes \mathring{{\mathfrak {p}}}\) because \(\mathring{{\mathfrak {p}}}\) is a simple \(\mathring{{\mathfrak {k}}}\)-module and therefore there exist iterated commutators here as well. Repeat this process for the lower levels as now the level \(\left( u^{2\left\lfloor N/2\right\rfloor }+{\mathcal {I}}_N\right) \) can be removed. This shows by induction that each homogeneous space in (3.19) lies in the image of \(\rho _\pm ^{(N)}\) which concludes the proof. \(\square \)
With this, we have proven all parts of Theorem A. We conclude this section with some results on the structure of \({\mathfrak {N}}({\mathbb {P}}_N)\) and the kernel of \(\rho _{\pm }^{(N)}\).
Proposition 12
Let \(\mathring{{\mathfrak {k}}}_{(2k)}\) and \(\mathring{{\mathfrak {p}}}_{(2k+1)}\) be as in (3.18a) and (3.18b) and denote by \({\mathfrak {z}}\big (\mathring{{\mathfrak {k}}}_{(0)}\big )\) the centerFootnote 2 of \(\mathring{{\mathfrak {k}}}_{(0)}\), then
is the radical of \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \), i.e., the unique maximal solvable ideal in \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \). Hence, the Levi decomposition of \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) is given by
Proof
The \({\mathbb {N}}\)-graded structure of \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) is given by its decomposition into vector spaces (3.19). By the gradation one deduces
where it is understood that \(\mathring{{\mathfrak {k}}}_{(2k)}=\{0\}=\mathring{{\mathfrak {p}}}_{(2\ell +1)}\) for \(k>\left\lfloor N/2\right\rfloor \) and \(\ell >\left\lfloor (N-1)/2\right\rfloor \). From this it follows that \({\mathfrak {J}}_{(N)}\) is an ideal as in particular
Since \(\left[ {\mathfrak {z}}\big (\mathring{{\mathfrak {k}}}_{(0)}\big ),{\mathfrak {z}}\big (\mathring{{\mathfrak {k}}}_{(0)}\big )\right] =\{0\}\) the lowest degree in \(\left[ {\mathfrak {J}}_{(N)},{\mathfrak {J}}_{(N)}\right] \) is 1 and therefore \({\mathfrak {J}}_{(N)}\) is solvable because \(\mathring{{\mathfrak {k}}}_{(2k)}=\{0\}=\mathring{{\mathfrak {p}}}_{(2l+1)}\) for \(k>\left\lfloor N/2\right\rfloor \) and \(\ell >\left\lfloor (N-1)/2\right\rfloor \). Consider the ideal generated by \({\mathfrak {J}}_{(N)}+x\) for \(0\ne x\in \left[ \mathring{{\mathfrak {k}}}_{(0)},\mathring{{\mathfrak {k}}}_{(0)}\right] \). As \(\left[ \mathring{{\mathfrak {k}}}_{(0)},\mathring{{\mathfrak {k}}}_{(0)}\right] \) is semi-simple so is the ideal \({\mathfrak {j}}_{0}\) in \(\left[ \mathring{{\mathfrak {k}}}_{(0)},\mathring{{\mathfrak {k}}}_{(0)}\right] \) generated by x. Since ideals of semisimple Lie algebras are semisimple, \({\mathfrak {j}}_{0}\) is also perfect. Thus, the upper derived series \({\mathfrak {j}}_{0}^{(n+1)}\, {:}{=}\,\left[ {\mathfrak {j}}_{0}^{(n)},{\mathfrak {j}}_{0}^{(n)}\right] \) becomes constant at \({\mathfrak {j}}_{0}\, {:}{=}\,\left[ {\mathfrak {j}}_{0},{\mathfrak {j}}_{0}\right] \) and therefore the upper derived series \({\mathfrak {J}}_{(N)}^{(n+1)}\, {:}{=}\,\left[ {\mathfrak {J}}_{(N)}^{(n)},{\mathfrak {J}}_{(N)}^{(n)}\right] \) will always contain \({\mathfrak {j}}_{0}\). Thus, \({\mathfrak {J}}_{(N)}\) is a maximal solvable ideal and therefore by definition the radical of \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \). \(\square \)
Remark 13
We call \({\mathfrak {N}}({\mathbb {K}}[[u]])\) a parabolic Lie algebra since it is the inverse limit of the parabolic Lie algebra \({\mathfrak {N}}({\mathbb {P}}_N)\). By Proposition 5 and Corollary 7, we can construct representations of the involutory subalgebra \({\mathfrak {k}}\) by considering representations of \({\mathfrak {N}}({\mathbb {K}}[[u]])\) or \({\mathfrak {N}}({\mathbb {P}}_N)\), respectively.
Remark 14
By a consequence of Lie’s theorem one has that every simple representation of \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) over a complex vector space is given by the tensor product of a simple representation of \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \diagup \mathrm {rad}\left( {\mathfrak {N}}\left( {\mathbb {P}}_N\right) \right) \cong [\mathring{{\mathfrak {k}}},\mathring{{\mathfrak {k}}}]\) with a one-dimensional representation of \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \). Therefore, the simple representations of \({\mathfrak {k}}\left( A\right) \left( {\mathbb {K}}\right) \) that factor through \({\mathfrak {N}}\left( {\mathbb {P}}_N\right) \) are essentially the simple representations of \(\mathring{{\mathfrak {k}}}\left( {\mathbb {K}}\right) \). These correspond to truncation at \(N=0\).
The kernels \(\ker \rho _{\pm }^{(N)}\) are described by linear systems of equations as the following proposition shows:
Proposition 15
Let \(\ker \rho _{\pm }^{(N)}\) be the kernel of the homomorphism described in Corollary 7. Then with
one has
Proof
In general one has for \(x\in \mathring{{\mathfrak {k}}}\), \(y\in \mathring{{\mathfrak {p}}}\) that
and one computes for \(\sum _{i=1}^{M}\left( \pm 1\right) ^{m_{i}}b_{i}x_{(m_{i})}\) that
if and only if
Similarly one deduces that
These equations remain unaltered by changing \(N\mapsto N+N_{0}\), \(N_{0}\in {\mathbb {N}}\), there only appear additional equations to be satisfied. This shows that
\(\square \)
Remark 16
Specialised to \({\mathfrak {e}}_9\) the ideals \(\ker \rho _{\pm }^{(0)}\) in \({\mathfrak {k}}\left( {\mathfrak {e}}_9\right) ({\mathbb {K}})\) coincide with the Dirac ideals of [KNP]. Furthermore, these ideals can be shown to be principal ideals.
4 Representations from Quotients of Induced Representations
In this section, we consider representations of \({\mathfrak {k}}\) that are constructed using induced representations of \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \), the model of \({\mathfrak {k}}\) over the polynomial ring which will be defined below. Since representations of \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) in general do not provide representations of \({\mathfrak {k}}\), we will then describe how to recover representations of \({\mathfrak {k}}\).
Construct the Lie algebra \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) in the same way as \({\mathfrak {N}}({\mathbb {K}}[[u]])\) in (3.1) but replace \({\mathbb {K}}[[u]]\) by the ring of polynomials \({\mathbb {K}}[u]\). As mentioned in Remark 2, \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) is \({\mathbb {N}}\)-graded and its graded decomposition is given by
where
We believe that there does not exist any non-trivial Lie algebra homomorphism from \({\mathfrak {k}}\) into \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \). Such homomorphisms, similar to those of Proposition 11, only exist when we quotient by \({\mathcal {I}}_N\) defined in (3.10) which can also be thought of as an ideal of \({\mathbb {K}}[u]\). The structure of \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) is analogous to that of \({\mathfrak {N}}({\mathbb {P}}_N)\) described in Proposition 12. In particular, the (now no longer solvable) ideal \({\mathfrak {N}}_+\) is given by
where \({\mathfrak {z}}(\mathring{{\mathfrak {k}}})\) denotes the center of \(\mathring{{\mathfrak {k}}}\). The ideal \({\mathfrak {N}}_{+} \) inherits the \({\mathbb {N}}\)-grading from \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \). We shall in the following assume that \({\mathfrak {z}}(\mathring{{\mathfrak {k}}})=0\) for simplicity. All statements can be generalised straight-forwardly.
The universal enveloping algebras \({\mathcal {U}}({\mathfrak {N}}_{+})\) and \({\mathcal {U}}({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) )\) also inherit the \({\mathbb {N}}\)-gradation from the Lie algebra and the Poincaré–Birkhoff–Witt theorem provides a basis of them. One has
where \({\mathcal {U}}_\ell \) denotes the (ordered) words in the tensor algebra of degree \(\ell \) with respect to the \({\mathbb {N}}\)-grading, where \(x\le y\) if \(\text {deg}(x)\le \text {deg}(y)\). For the first few levels, this means
The \({\mathfrak {N}}^{(k)}\) are \(\mathring{{\mathfrak {k}}}\)-modules because the adjoint action of \(\mathring{{\mathfrak {k}}}\) preserves the degree. We will make these expressions more explicit in the example in Sect. 5. For the full universal enveloping algebra one has
as a tensor product of \({\mathbb {K}}\)-vector spaces. In terms of the multiplication \(\cdot \) in \({\mathcal {U}}\left( {\mathfrak {N}}({\mathbb {K}}[u])\right) \) the above decomposition is better written as
This fact is due to the PBW-theorem applied to a suitably chosen order that is such that elements of degree 0 appear to the left in the basis that is provided by the PBW-theorem. Recall that all elements of \(\mathring{{\mathfrak {k}}}={\mathfrak {N}}^{(0)}\subset {\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) have degree 0.
Now consider a finite-dimensional \(\mathring{{\mathfrak {k}}}\)-module \({{\mathfrak {V}}}_0\) which we view as a left \({\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )\)-module. As \({\mathcal {U}}\big ({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \big )\) allows the structure of a right \({\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )\)-module we build the induced \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \)-module via the tensor product
where the tensor product is defined with \({\mathcal {U}}\left( {\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \right) \) as a right \({\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )\)-module. Explicitly one has
for \(v\in V\), \(x\in {\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )\), \(a\in {\mathcal {U}}\left( {\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \right) \). \({{\mathfrak {V}}}\), however, is viewed as a left \({\mathcal {U}}\left( {\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \right) \)-module, i.e. for \(a,b\in {\mathcal {U}}\left( {\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \right) \), \(v\in V\) one has
Lemma 17
The induced module \({{\mathfrak {V}}}\) inherits the \({\mathbb {N}}\)-grading
from \({\mathcal {U}}\left( {\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \right) \) and is an infinite-dimensional representation of \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \). \({{\mathfrak {V}}}\) is generated by the action of \({\mathcal {U}}({\mathfrak {N}}_{+})\) on \(1\otimes {{\mathfrak {V}}}_0\). Furthermore, a \({\mathbb {K}}\)-basis of \({{\mathfrak {V}}}\) is given by the Kronecker product of a PBW-basis of \({\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \) with a basis of \({{\mathfrak {V}}}_0\).
Proof
The inherited gradation on \({{\mathfrak {V}}}\) is given by assigning \(\mathrm {deg}(u\otimes v)=\mathrm {deg}(u)\). It is infinite-dimensional because \({\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \) is. In order to determine a \({\mathbb {K}}\)-basis of (4.5), consider it as a \(\mathring{{\mathfrak {k}}}\)-module and show that it is isomorphic to the \({\mathbb {K}}\)-tensor product of \({\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \) and \({{\mathfrak {V}}}_0\). Recall that \(\mathring{{\mathfrak {k}}}\) acts on \({\mathfrak {N}}_{+}\) via the adjoint action from \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \). Due to the above decomposition (4.4) one has for \(x\in {\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )\), \(y\in {\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \) and \(v\in V\) that
with \(y'=\left[ x,y\right] \in {\mathcal {U}}({\mathfrak {N}}_{+})\) and \(v'=x.v\in V\). We want to view (4.5) as a \({\mathbb {K}}\)-tensor product modulo an equivalence relation. The equivalence relation on \({\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )\otimes _{{\mathbb {K}}}{\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \otimes _{{\mathbb {K}}}V\) induced by \(\otimes _{{\mathcal {U}}\left( \mathring{{\mathfrak {k}}}\right) }\) now is the multilinear extension of
where \(y'=\left[ x,y\right] \in {\mathcal {U}}({\mathfrak {N}}_{+})\), \(v'=x.v\in V\) and
as \({\mathbb {K}}\)-vector spaces. The original equivalence relation in \({\mathcal {U}}\left( {\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \right) \otimes _{{\mathbb {K}}}V\) is
but decomposing \(yx=xy-\left[ x,y\right] \) according to (4.4) leads to the formulation (4.8) of \(\sim \). Equation (4.8) shows that each element \(x\otimes _{{\mathbb {K}}}y\otimes _{{\mathbb {K}}}v\) is \(\sim \)-equivalent to an element of \(1\otimes _{{\mathbb {K}}}{\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \otimes _{{\mathbb {K}}}V\cong {\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \otimes _{{\mathbb {K}}}V\) where the isomorphism is as \({\mathbb {K}}\)-vector spaces. Since
one deduces that the elements of \({\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )\otimes _{{\mathbb {K}}}{\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \otimes _{{\mathbb {K}}}V\diagup \sim \) are in 1–1-correspondence with the elements of \({\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \otimes _{{\mathbb {K}}}V\) and hence,
as \({\mathbb {K}}\)-vector spaces. Now \({\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )\) acts on \({\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \otimes _{{\mathcal {U}}\left( \mathring{{\mathfrak {k}}}\right) }V\) via left-multiplication but as a result of (4.7) one has that
This action is identical to the action of \({\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )\) on the \({\mathbb {K}}\)-tensor product of \(\mathring{{\mathfrak {k}}}\)-modules \({\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \) and V. Thus, one finds
as \(\mathring{{\mathfrak {k}}}\)-modules. The Kronecker basis of this tensor product also provides a basis for the \({\mathcal {U}}\big ({\mathfrak {N}}\big ({\mathbb {K}}[u]\big )\!\big )\)-module \({{\mathfrak {V}}}\) because \({\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \cap {\mathcal {U}}\big (\mathring{{\mathfrak {k}}}\big )={\mathbb {K}}\cdot 1\).
\(\square \)
Due to the \({\mathbb {N}}\)-graded structure on \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \), \({{\mathfrak {V}}}\) has many invariant subspaces. In particular, any
for \(N>0\) is a proper invariant subspace of \({{\mathfrak {V}}}\). The quotient representation
is by construction a finite-dimensional representation of \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) for any fixed choice N. We can now prove the first part of Theorem B:
Proposition 18
The quotient \({{\mathfrak {V}}}/ {{\mathfrak {V}}}^{(N)}\) defined in (4.11) is a finite-dimensional module of \({\mathfrak {N}}({\mathbb {P}}_N)\) and therefore, by Propositions 5 and 11, a representation of \({\mathfrak {k}}\).
Proof
This statement follows from the fact that \({\mathcal {I}}_N\otimes (\mathring{{\mathfrak {k}}}\oplus \mathring{{\mathfrak {p}}})\cap {\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) acts trivially on \({{\mathfrak {V}}}/ {{\mathfrak {V}}}^{(N)}\) by the \({\mathbb {N}}\)-grading and therefore \({{\mathfrak {V}}}/ {{\mathfrak {V}}}^{(N)}\) is a representation of the corresponding quotient. Since the quotients \({\mathbb {K}}[u]\diagup {\mathcal {I}}_N\) and \({\mathbb {K}}[[u]]\diagup {\mathcal {I}}_N\) are isomorphic, we deduce that \({{\mathfrak {V}}}/ {{\mathfrak {V}}}^{(N)}\) is a finite-dimensional representation of \({\mathfrak {N}}({\mathbb {P}}_N)\) defined in (3.11) and therefore can be pulled back to a representation of \({\mathfrak {k}}\) by Proposition 11. \(\square \)
Remark 19
The quotient algebra acts non-trivially on \({{\mathfrak {V}}}/ {{\mathfrak {V}}}^{(k)}\) and is given by all \({\mathfrak {k}}\) generators of degree at most k. While all other elements of the parabolic model \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) act trivially, we deduce from Proposition 5 that infinitely many generators of \({\mathfrak {k}}\) act non-trivially.
Other invariant subspaces of \({{\mathfrak {V}}}\) can be considered by taking any vector \(w\in {{\mathfrak {V}}}\) and considering the subrepresentation \({{\mathfrak {W}}}\subset {{\mathfrak {V}}}\) that it generates under the action of \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \). A natural choice would be to select some irreducible \(\mathring{{\mathfrak {k}}}\) representation \({{\mathfrak {W}}}_k\) within one of the \({{\mathfrak {V}}}_k\). Clearly, the submodule \({{\mathfrak {W}}}\) generated by \({{\mathfrak {W}}}_k\) is a subspace of \({{\mathfrak {V}}}^{(k)}\). In general, it can be of arbitrary co-dimension in it. The representation of \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) we are interested in then is the quotient
If this quotient is finite-dimensional it can again be pulled back to a representation of \({\mathfrak {k}}\) since it is a quotient of one of the spaces \({{\mathfrak {V}}}/ {{\mathfrak {V}}}^{(N)}\) described above. Analysing (4.12) in general is more complicated than in the case (4.11). To illustrate this point, we shall analyse an explicit example for \({\mathfrak {e}}_9\) in the next Sect. 5. But first we prove the second part of Theorem B.
Proposition 20
Recall the graded decomposition (4.6) of \({\mathfrak {V}}\) and consider its formal completion
On \(\overline{{\mathfrak {V}}}\) there exists a natural, faithful \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \)-action. Furthermore, \(\overline{{\mathfrak {V}}}\) is the inverse limit of the modules of proposition 18 and it is spinorial as a \({\mathfrak {k}}\)-representation if the \(\mathring{{\mathfrak {k}}}\)-representation \({{\mathfrak {V}}}_0\) that induces \({{\mathfrak {V}}}\) is. Also, faithfulness shows that \({\mathfrak {k}}\) is residually finite-dimensional, that is, for each non-trivial element \(x\in {\mathfrak {k}}\) there exists a finite-dimensional representation on which x acts non-trivially.Footnote 3
Proof
The natural action is given by
for \(x=\left( x_{i}\right) \in {\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) and \(v=\left( v_{i}\right) \in \overline{{\mathfrak {V}}}\). Since only \(x_i\) and \(v_{N-i}\) enter at degree N this action commutes with the projection to \(\overline{{\mathfrak {V}}}\diagup \overline{{\mathfrak {V}}}^{(i)}\), where \(\overline{{\mathfrak {V}}}^{(i)}\) denotes the formal completion of \({\mathfrak {V}}^{(i)}\). As \(\overline{{\mathfrak {V}}}\diagup \overline{{\mathfrak {V}}}^{(i)}\cong {\mathfrak {V}}\diagup {\mathfrak {V}}^{(i)}\), one can check that \(\overline{{\mathfrak {V}}}\) is the inverse limit of the finite-dimensional representations \({\mathfrak {V}}\diagup {\mathfrak {V}}^{(i)}\) by also establishing that the elements in \(\overline{{\mathfrak {V}}}\) and the inverse limit of the \({\mathfrak {V}}\diagup {\mathfrak {V}}^{(i)}\) are in 1-1-correspondence. The representation is faithful , because for \(\left( x_i\right) \in {\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) one can pick \(\left( v_0,0,0,\dots \right) \in {\overline{{{\mathfrak {V}}}}}\) with \(0\ne v_0\in {{\mathfrak {V}}}_0\). Since \({\mathfrak {N}}^{(k)}\) is part of the PBW-basis of \({\mathcal {U}}\left( {\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \right) \), there always exists a \(k>0\) and \(0\ne v_0\) such that \(x_k.v_0\ne 0\in {\overline{{{\mathfrak {V}}}}}\) according to Lemma 17. The only exception is when \(\left( x_i\right) \in {\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) is such that only \(x_0\ne 0\). Even if \({{\mathfrak {V}}}_0\) is the trivial module, the action of this element is nontrivial because \({\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \) is a faithful \(\mathring{{\mathfrak {k}}}\)-module. Spinoriality of \({{\mathfrak {V}}}_0\) implies that of \({{\mathfrak {V}}}\) because \(\mathring{{\mathfrak {k}}}\) maps to \({\mathfrak {N}}^{(0)}\subset {\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \). \(\square \)
5 A Detailed Example: \({\mathfrak {k}}({\mathfrak {e}}_9)\)
In this section, we illustrate the general considerations from the previous sections in the case of \({\mathfrak {k}}({\mathfrak {e}}_9)\) where \({\mathfrak {g}}={\mathfrak {e}}_9 \equiv {\mathfrak {e}}_8^{(1)}\) denotes the non-twisted affine extension of the split real exceptional Lie algebra \(\mathring{{\mathfrak {g}}}={\mathfrak {e}}_8\) (also denoted as \({\mathfrak {e}}_{8(8)}\)). The algebra \({\mathfrak {k}}({\mathfrak {e}}_9)\) enters in the fermionic sector of maximal supergravity in \(D=2\) dimensions where unfaithful representations have been found previously [NS] and is therefore of particular interest in physics.
5.1 The Affine Algebra \({\mathfrak {e}}_9\)
The Cartan decomposition of \({\mathfrak {e}}_8\) is
and \(\mathring{{\mathfrak {p}}}\) is a 128-dimensional irreducible spinor representation of \({\mathfrak {so}}(16)\). To explicitly parametrise the symmetric space decomposition we introduce the following adapted basis of generators
so that the \(X^{IJ}\) are the exterior square of the defining 16-dimensional representation of \({\mathfrak {so}}(16)\) and the \(Y^A\) are in an irreducible spinor representation. The conjugate spinor representation will be denoted with dotted indices \({\dot{A}}\) and will play a role in the construction of \({\mathfrak {k}}({\mathfrak {e}}_9)\) representations below.
In order to write the \({\mathfrak {e}}_8\) commutation relations in the basis (5.2), we utilise \({\mathfrak {so}}(16)\) gamma matrices \(\Gamma ^I_{A{\dot{A}}}\) where \(A{\dot{A}}\) denote the matrix components of degree one elements in the Clifford algebra of 16-dimensional Euclidean space. These are real 128-by-128 matrices satisfying the Clifford multiplication law
where repeated indices are summed over (a convention we shall employ throughout this section) and \(\delta ^{IJ}\) and \(\delta _{AB}\) are the Euclidean \({\mathfrak {so}}(16)\)-invariant bilinear forms in the representation spaces. k-fold antisymmetric products of gamma matrices are written as \(\Gamma ^{I_1\ldots I_k}\) normalised with a 1/k! times the signed sum over permutations of \(I_1,\ldots , I_k\), e.g.
For more details on the use of these gamma matrices see [NS, KNP].
The explicit commutations relations of (5.1) in the basis (5.2) are then given by
The first line is just the \(\mathring{{\mathfrak {k}}}\cong {\mathfrak {so}}(16)\) Lie algebra while the others are manifestations of the Cartan decomposition’s properties \(\big [\mathring{{\mathfrak {k}}},\mathring{{\mathfrak {p}}}\big ]\subset \mathring{{\mathfrak {p}}}\) and \(\big [\mathring{{\mathfrak {p}}},\mathring{{\mathfrak {p}}}\big ]= \mathring{{\mathfrak {k}}}\). In particular, the last relation can be viewed as a projection from \(\text {Alt}^2(\mathring{{\mathfrak {p}}})\) to the factor that is isomorphic to the adjoint module of \(\mathring{{\mathfrak {k}}}\).
The affine algebra is then obtained according to (2.4) by introducing the loop generators
for \(m\in {\mathbb {Z}}\). The commutation relations, including the central element K and derivation d, are then given by
and K commutes with everything.
As is well known, there is an action of the Virasoro algebra on loop algebras [K, GO]. The Virasoro algebra is a central extension of the Witt algebra generated by the operators
acting on Laurent polynomials and the non-trivial commutators with the \({\mathfrak {e}}_9\) loop generators are
\(L_0\) therefore acts like d. The commutators among the Virasoro generators is
with the same central element K as in the affine algebra and \(c_{\text {Vir}}\) a free coefficient. In any given highest or lowest weight representation of the affine algebra, one can find a realisation of the Virasoro algebra in the universal enveloping algebra of the loop algebra via the Sugawara construction and this fixes \(c_{\text {Vir}}\), see [GO] for a review.
5.2 Involutory Subalgebra \({\mathfrak {k}}({\mathfrak {e}}_9)\)
The involutory subalgebra \({\mathfrak {k}}\equiv {\mathfrak {k}}({\mathfrak {e}}_9)\) was defined in (2.6). We shall give explicit forms of the filtered structure and the parabolic model discussed in Sects. 2 and 3, respectively.
5.2.1 Filtered basis
We recall that the central element K and the derivation d are not invariant under the involution \(\omega \) and therefore not part of \({\mathfrak {k}}({\mathfrak {e}}_9)\). The generators of \({\mathfrak {k}}({\mathfrak {e}}_9)\) can be expressed in terms of (5.6) according to
where t is the spectral parameter and \(m\in {\mathbb {N}}\). Note that \({{\mathcal {Y}}}^A_0\equiv 0\). Here, we have introduced a factor of 1/2 such that \({{\mathcal {X}}}_0^{IJ} = X_0^{IJ}\) is also an \({\mathfrak {so}}(16)\) Lie algebra with the same normalisation.
The complete \({\mathfrak {k}}({\mathfrak {e}}_9)\) Lie algebra in the basis (5.14) reads
where \(\text {sgn}(k)\) is the sign function with \(\text {sgn}(0)=0\).
In this \({\mathfrak {so}}(16)\)-covariant formulation, \({\mathfrak {k}}({\mathfrak {e}}_9)\) can be described as the algebra generated by the \({{\mathcal {X}}}_0^{IJ}\), \({{\mathcal {X}}}^{IJ}_1\) and \({{\mathcal {Y}}}^A_1\) with the property that the \({{\mathcal {X}}}^{IJ}_0\) form an \({\mathfrak {so}}(16)\) algebra and that \({{\mathcal {X}}}^{IJ}_1\) and \({{\mathcal {Y}}}^A_1\) transform correctly under this algebra according to (5.15). The \({{\mathcal {X}}}_0^{IJ}\), \({{\mathcal {X}}}^{IJ}_1\) and \({{\mathcal {Y}}}^A_1\) obey
These are the \({\mathfrak {so}}(16)\)-covariant forms of the Berman relation \(\left[ x_0, \left[ x_0,x_1\right] \right] =-x_1\) in a Chevalley–Serre basis
and where we use the convention that 0 is the affine node of the \({\mathfrak {e}}_9\) Dynkin diagram that attaches to the adjoint node, labelled 1, of the \({\mathfrak {e}}_8\) Dynkin diagram, see Fig. 1. To write out the ‘affine’ Berman generator \(x_0\) explicitly in terms of the basis (5.14), we need to make use of the SO(8) decompositions (A.9) in Appendix A of [KNP]; using the notation and transformations of Appendix B of that reference there we have
with the SO(8) gamma matrices \(\gamma ^i_{\alpha {{\dot{\beta }}}}\) (for \(i=1,...,8\)). The remaining Berman generators in this basis are given by
The Virasoro algebra likewise can be restricted to an involutory subalgebra [JN]. The ‘maximal compact’ subalgebra of the Virasoro algebra is generated by
The relevant commutation relations when acting on \(K({\mathfrak {e}}_9)\) in the basis (5.14) read
and
Note that the central term drops out here as well.
5.2.2 Parabolic model
As discussed in Sects. 3 and 4 , it is very useful for constructing representations of \({\mathfrak {k}}({\mathfrak {e}}_9)\) to consider the parabolic algebras \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) and \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) defined in (3.1) and (4.1), respectively. Since polynomials have a graded product, \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) is a graded Lie algebra. We write the variable of the polynomial as u as in Sect. 3 and it is related to the variable t in the filtered basis by \(u=\frac{1-t}{1+t}\) so that expansions around \(u=0\) are expansions around \(t=1\) and vice versa.
The definition of the basis generators of \({\mathfrak {N}}\left( {\mathbb {K}}[u]\right) \) is then explicitly
The Lie algebra of these generators is graded and given by
The generators of \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) also include infinite linear combinations of (5.23) since \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) is constructed using power series rather than polynomials.
The maps (3.9a) and (3.9b) from the filtered to the parabolic bases now read
where the factors of \(\tfrac{1}{2}\) are due to our definition (5.14). More specifically, the images of the first few generators of \({\mathfrak {k}}({\mathfrak {e}}_9)\) according to Proposition 5 are given in the above basis by
for the \({{\mathcal {X}}}^{IJ}_m\). For the \({{\mathcal {Y}}}^A_m\) the relations read
We note that, unlike (5.16), there is no known presentation of \({\mathfrak {N}}\left( {\mathbb {K}}[[u]]\right) \) as a finitely generated algebra, say by \({{\mathcal {A}}}_0^{IJ}\) and \({{\mathcal {S}}}_1^A\), with a finite number of Berman-like relations. Using the algebra (5.24) we find the following Berman-type relations for all \(k\ge 1\)
where we have evaluated the commutators involving \({{\mathcal {A}}}_0\) in the first line.
The maximal compact Virasoro generators \({{\mathcal {K}}}_m\) introduced in (5.20) can also be expressed using the variable u. In particular,
generates an SO(1,1) group, and acts as a counting operator on the basis of the parabolic model (5.23):
More generally the operators \({{\mathcal {K}}}_m\) admit the following realisation as differential operators
Proceeding as before we find for instance
so for \(m\ge 2\) these operators mix all levels.
5.3 Representations
Representations of \({\mathfrak {k}}({\mathfrak {e}}_9)\) can be constructed via the technique described in Sect. 4. This means that we construct a basis of the universal enveloping algebra of \({\mathfrak {N}}_{+}\subset {\mathfrak {N}}\) (given by all generators in (5.23) with degree greater than 0) and let this act on a \(\mathring{{\mathfrak {k}}}\cong {\mathfrak {so}}(16)\) representation \({{\mathfrak {V}}}_0\) as the initial vector space. We shall exploit that everything is \({\mathfrak {so}}(16)\) covariant and graded.
5.3.1 Universal enveloping algebra basis
The basis (4.3) of \({\mathcal {U}}\left( {\mathfrak {N}}_{+}\right) \) at the first few levels becomes
where we now use \(\alpha \equiv [IJ]\) for \(I<J\) to denote an adjoint index of \({\mathfrak {so}}(16)\). The symmetrisations \((\cdots )\) for similar generators on the same level are necessary to implement the ordering in accordance with the PBW theorem.
In terms of \({\mathfrak {so}}(16)\) representations the first levels \({\mathcal {U}}_\ell \) of \({\mathcal {U}}({\mathfrak {N}}_{+})\) areFootnote 4
Here, we have labelled the \({\mathfrak {so}}(16)\) representations by their real dimensions. A translation to highest weight labels can be found in “Appendix C”.
The module \({{\mathfrak {V}}}\) as in (4.5) built from an \(\mathring{{\mathfrak {k}}}\cong {\mathfrak {so}}(16)\) representation \({{\mathfrak {V}}}_0\) is graded as
and each level decomposes further as a \({\mathfrak {so}}(16)\)-representation. For instance, in the case of the \({{\mathfrak {V}}}_0=\mathbf{16}\) we obtain
5.3.2 A quotient example
As is clear from (5.35), the module grows very rapidly and it is desirable to find smaller \({\mathfrak {k}}({\mathfrak {e}}_9\)) representations by identifying invariant subspaces and taking quotients.
The simplest quotient example is to consider \({{\mathfrak {W}}}_{s=1/2}={{\mathfrak {V}}}^{(1)}\) in the notation (4.10) to be given by all spaces of degree greater than zero, then we obtain as \({\mathfrak {k}}({\mathfrak {e}}_9)\) representation simply \({{\mathfrak {V}}}/ {{\mathfrak {W}}}_{s=1/2}\cong {{\mathfrak {V}}}_0 \cong \mathbf{16}\) which is nothing but the irreducible spin-1/2 representation appearing in supergravity [NS].
A non-trivial example can be obtained by looking at the construction (4.12) that uses the invariant subspaces \({{\mathfrak {W}}}\) generated by an \({\mathfrak {so}}(16)\) representation \({{\mathfrak {W}}}_k\) sitting at a given level. As the example we take \({{\mathfrak {W}}}_1=\mathbf{1920}_s\) within (5.35). In order to describe this, we shall need a more explicit parametrisation of the elements of the module’s homogeneous parts \({{\mathfrak {V}}}_{\ell }\) for \(0\le \ell \le 2\). At level \(\ell =0\) we need an element of the 16-dimensional defining representation of \({\mathfrak {so}}(16)\) that we write as \(\varphi _0^I\).
The elements of \({{\mathfrak {V}}}_1\cong \mathbf{128}_s\otimes \mathbf{16}\) are of the form \({{\mathcal {S}}}_1^A \varphi _0^I\) and decompose into a conjugate spinor \(\mathbf{128}_c\) and a traceless vector-spinor \(\mathbf{1920}_s\)
according to \({{\mathfrak {V}}}_1 = \mathbf{128}_c \oplus \mathbf{1920}_s\). Note that the occurrence of \(\mathbf{128}_c\) in the above tensor product is tied to the existence of a suitable \(\Gamma \)-matrix \(\Gamma ^{I}_{A{\dot{A}}}\). The condition that projects onto the \(\mathbf{1920}_s\) is
and the quotient we want to consider is the one where this component and all vectors generated from it are set to zero. In other words, all elements of the quotient module \({{\mathfrak {V}}}/{{\mathfrak {W}}}\) satisfy
and any relations obtained from it by acting with \({\mathfrak {k}}({\mathfrak {e}}_9)\).
To find what this imposes on \({{\mathfrak {V}}}_2\) as given in (5.35c) we parametrise all its elements as
This formula follows from the \({\mathfrak {so}}(16)\) tensor product \(\mathbf{128}_s\otimes \mathbf{128}_s\) that is relevant for the word \({{\mathcal {S}}}_1^A {{\mathcal {S}}}_1^B \) and that we decompose into its symmetric and anti-symmetric parts
The first line consists of a scalar, a four-form and a self-dual eight-form of \({\mathfrak {so}}(16)\), while the second line represents a two-form and a six-form. These intertwiners from \(\mathbf{128}_s\otimes \mathbf{128}_s\) to p-forms are given by the \(\Gamma \)-matrices \(\Gamma ^{I_1\ldots I_p}_{AB}\). As the anti-symmetric product \({{\mathcal {S}}}_1^{[A} {{\mathcal {S}}}_1^{B]}\) is proportional to the commutator (5.24c) that does not contain a six-form, the ansatz (5.37) does not contain a term in \(\Gamma ^{I_1\ldots I_6}_{AB}\). The final \({\mathfrak {so}}(16)\) tensor product on the left-hand side of (5.37) is then to multiply \(\mathbf{128}_s\otimes \mathbf{128}_s\) (written as p-forms) with \(\mathbf{16}\) which is the representation of \(\varphi _0^I\). These tensor products are written using a semi-colon, so that for instance
Acting on (5.36) with \({{\mathcal {S}}}_1^A\) then leads to the relation
Projecting this onto the various irreducible pieces in (5.35c) leads to the conditions
and the fact that all other irreducible components must vanish. Therefore, at level \(\ell =2\), the quotient is given by only
a comparatively small subspace of (5.35c). Already at the next level the above computation becomes almost unfeasible. If one formally substracts the \({\mathfrak {so}}(16)\)-decompositions of \({\mathcal {U}}_{\ell +1}\otimes {{\mathfrak {V}}}_0\) and \({\mathcal {U}}_{\ell }\otimes {{\mathfrak {W}}}_1\) the result indicates that only \(\mathbf{128}_c\) survives at level three, and that there are only two \(\mathbf{16}\)s at level four, after which the procedure terminates. In summary, the above computation shows
and we conjecture
This is related to the analogue of the spin-\(\frac{5}{2}\) representation studied in [KN5]. The spin-3/2 representation of supergravity [NS, KNP] can also be obtained from this construction by taking a further quotient. More precisely, one quotients by all \({{\mathfrak {V}}}_\ell \) with \(\ell >2\) and also by the \(\mathbf{560}\) representation in (5.40). The remaining \({\mathfrak {so}}(16)\) representations are \(\mathbf{16}\oplus \mathbf{128}\oplus \mathbf{16}\) that form one chiral half of the supergravity spin-3/2 fields.
Remark 21
As is evident from the analysis above, determining the quotient \({{\mathfrak {V}}}/{{\mathfrak {W}}}\) can become intricate quickly since the precise structure of the submodule \({{\mathfrak {W}}}\) is hard to analyse. In the case of complex simple Lie algebras a similar problem arises when constructing irreducible highest weight representations as quotients of Verma modules by the maximal proper submodule. In that case, there is a description of the quotient in terms of the Weyl character formula. A similar technique for representations of \({\mathfrak {k}}\) is not known to the best of our knowledge.
Notes
Note that the abstract Cartan–Chevalley involution of \(\mathring{{\mathfrak {g}}}={\mathfrak {g}}(\mathring{A})\) as a Kac–Moody algebra of finite type agrees with the restriction of \(\omega :{\mathfrak {g}}\rightarrow {\mathfrak {g}}\) to \(\mathring{{\mathfrak {g}}}<{\mathfrak {g}}\) because the Dynkin diagram of \(\mathring{{\mathfrak {g}}}\) is a sub-diagram of \({\mathcal {D}}\left( A\right) \) due to our assumption that A is untwisted.
Note that for a generalised Dynkin diagram A of untwisted affine type, the only cases when \({\mathfrak {z}}(\mathring{{\mathfrak {k}}}_{(0)})\) is nontrivial are \(A=C_{l}^{(1)}\) and \(A=A_{1}^{(1)}\). For \(\mathring{{\mathfrak {k}}}_{(0)}={\mathfrak {k}}\left( C_{l}\right) \) one has \({\mathfrak {k}}\left( C_{l}\right) \cong {\mathfrak {u}}_{l}\) which contains a nontrivial center, whereas for \({\mathfrak {k}}\left( A_{1}\right) \cong {\mathbb {R}}\) the center is already all of \(\mathring{{\mathfrak {k}}}_{(0)}\).
We believe this property to be known already for affine \({\mathfrak {g}}(A)\), although we were unable to find a reference. Hence, our proposition just reproves residual finiteness of \({\mathfrak {k}}\) as a byproduct.
The parentheses are used to group the representations according to the different words in the induced representation module list after decomposing into \({\mathfrak {so}}(16)\).
References
Abramenko, P., Mühlherr, B.: Présentations de certaines \(BN\)-paires jumelées comme sommes amalgamées. C. R. Acad. Sci. Paris Sér. I Math. 325, 701–706 (1997)
Berman, S.: On generators and relations for certain involutory subalgebras of Kac–Moody Lie algebras. Commun. Algebra 17, 3165–3185 (1989). https://doi.org/10.1080/00927878908823899
Carbone, L., Feingold, A.J., Freyn Walter, W.: A lightcone embedding of the twin building of a hyperbolic Kac–Moody group. SIGMA 16, 045 (2020)
Damour, T., Hillmann, C.: Fermionic Kac–Moody billiards and supergravity. JHEP 08, 100 (2009). https://doi.org/10.1088/1126-6708/2009/08/100. arXiv:0906.3116
Damour, T., Kleinschmidt, A., Nicolai, H.: Hidden symmetries and the fermionic sector of eleven-dimensional supergravity. Phys. Lett. B 634, 319–324 (2006). https://doi.org/10.1016/j.physletb.2006.01.015. arXiv:hep-th/0512163
Damour, T., Kleinschmidt, A., Nicolai, H.: \(K(E_{10})\), supergravity and fermions. JHEP 08, 046 (2006). https://doi.org/10.1088/1126-6708/2006/08/046. arXiv:hep-th/0606105
de Buyl, S., Henneaux, M., Paulot, L.: Hidden symmetries and Dirac fermions. Class. Quantum Gravity 22, 3595–3622 (2005). https://doi.org/10.1088/0264-9381/22/17/018. arXiv:hep-th/0506009
de Buyl, S., Henneaux, M., Paulot, L.: Extended \(E_8\) invariance of 11-dimensional supergravity. JHEP 02, 056 (2006). https://doi.org/10.1088/1126-6708/2006/02/056. arXiv:hep-th/0512292
Duff, M.J., Liu, J.T.: Hidden space–time symmetries and generalized holonomy in M theory. Nucl. Phys. B 674, 217–230 (2003). https://doi.org/10.1016/j.nuclphysb.2003.09.019. arXiv:hep-th/0303140
Duff, M.J., Stelle, K.S.: Multimembrane solutions of \(D{=}11\) supergravity. Phys. Lett. B 253, 113–118 (1991). https://doi.org/10.1016/0370-2693(91)91371-2
Ghatei, D., Horn, M., Köhl, R., Weiß, S.: Spin covers of maximal compact subgroups of Kac–Moody groups and spin-extended Weyl groups. J. Group Theory 20, 401–504 (2017). https://doi.org/10.1515/jgth-2016-0034. arXiv:1502.07294
Goddard, P., Olive, D.I.: Kac–Moody and Virasoro algebras in relation to quantum physics. Int. J. Mod. Phys. A 1, 303 (1986). https://doi.org/10.1142/S0217751X86000149
Hainke, G., Köhl, R., Levy, P.: “Generalized spin representations,” with an appendix by M. Horn and R. Köhl, Münster. J. Math. 8, 181–210 (2015) https://doi.org/10.17879/65219674985. arXiv:1403.4463
Harring, P., Köhl, R.: “Fundamental groups of split real Kac–Moody groups and generalized real flag manifolds,” with appendices by T. Hartnick and R. Köhl and by J. Grüning and R. Köhl. Accepted for publication in Transf. Groups. arXiv:1905.13444
Hilgert, J., Neeb, K.-H.: Structure and Geometry of Lie Groups, 1st edn. Springer, New York (2012). https://doi.org/10.1007/978-0-387-84794-8
Hull, C.: Holonomy and symmetry in M theory. arXiv:hep-th/0305039
Julia, B., Nicolai, H.: Conformal internal symmetry of 2d sigma models coupled to gravity and a Dilaton. Nucl. Phys. B 482, 431 (1996). arXiv:hep-th/9608082
Kac, V.G.: Infinite Dimensional Lie Algebras, 3rd edn. Cambridge University Press, Cambridge (1990). https://doi.org/10.1007/978-1-4757-1382-4
Kac, V.G., Peterson, D.H.: Defining relations of certain infinite-dimensional groups. In: The Mathematical Heritage of Élie Cartan (Lyon, 1984). Astérisque, Numéro Hors Série, 165–208 (1985)
Kleinschmidt, A., Nicolai, H.: Gradient representations and affine structures in AE(n). Class. Quantum Gravity 22, 4457–4488 (2005). https://doi.org/10.1088/0264-9381/22/21/004. arXiv:hep-th/0506238
Kleinschmidt, A., Nicolai, H.: IIA and IIB spinors from \(K(E_{10})\). Phys. Lett. B 637, 107–112 (2006). https://doi.org/10.1016/j.physletb.2006.04.007. arXiv:hep-th/0603205
Kleinschmidt, A., Nicolai, H.: On higher spin realizations of \(K(E_{10})\). JHEP 08, 041 (2013). https://doi.org/10.1007/JHEP08(2013)041. arXiv:1307.0413
Kleinschmidt, A., Nicolai, H.: Standard model fermions and \(K(E_{10})\). Phys. Lett. B 747, 251–254 (2015). https://doi.org/10.1016/j.physletb.2015.06.005. arXiv:1504.01586
Kleinschmidt, A., Nicolai, H.: Higher spin representations of \(K(E_{10})\). In: Brink, L., Henneaux, M., Vasiliev, M. (eds.) Higher Spin Gauge Theories, pp. 25–38. World Scientific (2017).https://doi.org/10.1142/9789813144101_0003. arXiv:1602.04116
Kleinschmidt, A., Nicolai, H., Palmkvist, J.: \(K(E_9)\) from \(K(E_{10})\). JHEP 06, 051 (2007). https://doi.org/10.1088/1126-6708/2007/06/051. arXiv:hep-th/0611314
Kleinschmidt, A., Nicolai, H., Viganò, A.: On spinorial representations of involutory subalgebras of Kac–Moody algebras. In: Gritsenko, V., Spiridonov, V. (eds.) Partition Functions and Automorphic Forms. Moscow Lectures, vol 5. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-42400-8_4. arXiv:1811.11659
Lautenbacher, R., Köhl, R.: Extending generalized spin representations. J. Lie Theory 28, 915–940 (2018). https://www.heldermann.de/JLT/JLT28/JLT284/jlt28045.htm. arXiv:1705.00118
Marquis, T.: An introduction to Kac–Moody groups over fields10.4171/187. In: EMS Textbooks in Mathematics. European Mathematical Society (2018)
Meissner, K.A., Nicolai, H.: Standard model fermions and N=8 supergravity. Phys. Rev. D 91, 065029 (2015). https://doi.org/10.1103/PhysRevD.91.065029. arXiv:1412.1715
Meissner, K.A., Nicolai, H.: Standard model fermions and infinite-dimensional R-symmetries. Phys. Rev. Lett. 121, 091601 (2018). https://doi.org/10.1103/PhysRevLett.121.091601. arXiv:1804.09606
Nicolai, H.: Two-dimensional gravities and supergravities as integrable system. Lect. Notes Phys. 396, 231–273 (1991). https://doi.org/10.1007/3-540-54978-1_12
Nicolai, H., Samtleben, H.: On \(K(E_9)\). Q. J. Pure Appl. Math. 1, 180–204 (2005). https://doi.org/10.4310/PAMQ.2005.v1.n1.a8. arXiv:hep-th/0407055
Pressley, A., Segal, G.: Loop Groups. The Clarendon Press, Oxford University Press, New York (1986)
Rotman, J.J.: An Introduction to Homological Algebra, 2nd edn. Springer, Berlin (2009). https://doi.org/10.1007/b98977
Slodowy, P.: Singularitäten: Kac–Moody–Liealgebren, Assoziierte Gruppen und Verallgemeinerungen. Habilitationsschrift Universität, Bonn (1984)
Tits, J.: Buildings of Spherical Type and Finite BN-Pairs. Springer, Berlin-New York (1974)
van Leeuwen, M.A.A., Cohen, A.M., Lisser, B.: LiE, A Package for Lie Group Computations. Available from http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/
Acknowledgements
We thank Benedikt König for comments on the manuscript. The work of H.N. has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 740209). The work of R.K. and R.L. has received funding from the Deutsche Forschungsgemeinschaft (DFG) via the grant KO 4323/13-2. The work of R.L. has received funding from the Studienstiftung des deutschen Volkes. Furthermore, R.K. and R.L. gratefully acknowledge the hospitality of the Max-Planck-Gesellschaft during several extended visits at the Max-Planck-Institute for Gravitational Physics at Golm, Potsdam.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H.-T. Yau.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
\({\mathfrak {k}}\left( {\mathfrak {e}}_9\right) \left( {\mathbb {C}}\right) \) as the Quotient of a GIM-Algebra
Generalised intersection algebras, GIM-algebras in short for Generalised Intersection Matrix, are constructed similarly to Kac–Moody algebras. One starts from a so-called generalised intersection matrix A where one replaces the condition \(A_{ij}\le 0\) for \(i\ne j\) by \(A_{ij}\le 0\Leftrightarrow A_{ji}\le 0\) and \(A_{ij}>0\Leftrightarrow A_{ji}>0\). GIMs can be visualised quite neatly by drawing solid lines for \(A_{ij}<0\) and dotted edges for \(A_{ij}>0\). In [B], Berman explores a connection between his involutory subalgebras and GIM-algebras. As it turns out due to the work of Slodowy, GIM-algebras fall into two classes. The first class consists of those GIM-algebras which are in fact isomorphic to a Kac–Moody-algebra and the second class are those which are isomorphic to an involutory subalgebra of a Kac–Moody-algebra according to Berman’s construction. This isomorphism relies on doubling the number of vertices of the respective GIM-diagram and the involution that is used involves a diagram automorphism of the new diagram which is of Kac–Moody-type. So even though our \({\mathfrak {k}}\) is an involutory subalgebra it is not of the type that is directly isomorphic to a GIM-algebra. For \({\mathfrak {k}}\left( E_{9}\right) \left( {\mathbb {C}}\right) \) it turns out that it is a quotient of a GIM-algebra, although we do not know the precise structure of the defining ideal. In particular we do not know whether it is generated by (A.15)–(A.19) or whether one needs additional relations. We will collect the most essential definitions and results here (see the work of Slodowy [S] for more details) and state our result in Proposition 27.
Definition 22
Let I be a finite index set and \({\mathfrak {h}}\) a \({\mathbb {C}}\)-vector space of dimension r. Let \(\Delta ^{\vee }\, {:}{=}\,\left\{ h_{i}\ \vert \ i\in I\right\} \subset {\mathfrak {h}}\) and \(\Delta \, {:}{=}\,\left\{ \alpha _{i}\ \vert \ i\in I\right\} \subset {\mathfrak {h}}^{*}\). Then \(\left( {\mathfrak {h}},\Delta ^{\vee },\Delta \right) \) is called a \({\mathbb {C}}\)-root basis, its reductive rank is defined to be equal to r, whereas its semi-simple rank is defined to be \(\vert I\vert \). Associate a matrix A to \(\left( {\mathfrak {h}},\Delta ^{\vee },\Delta \right) \), called its structure matrix, by setting
A root basis is called free if both \(\Delta ^{\vee }\) and \(\Delta \) are linearly independent.
Definition 23
Let \(A\in {\mathbb {Z}}^{\ell \times \ell }\) such that
then A is called a generalised intersection matrix (GIM). A GIM A is called symmetrisable if there exist \(D,B\in {\mathbb {Q}}^{\ell \times \ell }\) such that D is diagonal and B is symmetric and it holds \(A=DB\). A root basis \(\left( {\mathfrak {h}},\Delta ^{\vee },\Delta \right) \) whose structure matrix is a generalised intersection matrix is called a GIM-root basis.
Definition 24
Let \(\left( {\mathfrak {h}},\Delta ^{\vee },\Delta \right) \) be a GIM-root basis with structure matrix A. Then \({\underline{\Delta }}(A)\) is a coloured, weighted graph with vertices \(\Delta \) with:
-
1.
Two vertices i and j are connected by a dotted edge if \(A_{ij}=\alpha _{j}\left( h_{i}\right) >0\).
-
2.
Two vertices i and j are connected by a solid edge if \(A_{ij}=\alpha _{j}\left( h_{i}\right) <0\).
-
3.
There is no edge between two vertices i and j if \(A_{ij}=0\).
-
4.
The edges (i, j) are weighted by the weight \(m_{ij}\) according to the following table
\(\alpha _{i}\left( h_{j}\right) \cdot \alpha _{j}\left( h_{i}\right) \) | 0 | 1 | 2 | 3 | \(\ge 4\) |
---|---|---|---|---|---|
\(m_{ij}\) | 2 | 3 | 4 | 6 | \(\infty \) |
The weights \(m_{ij}=2,3\) are not set apart graphically in the diagram’s visualisation. In the case of \(m_{ij}=4,6\) one draws an arrow towards the node j if \(\left| A_{ji}\right| =\left| \alpha _{i}\left( h_{j}\right) \right| >\left| \alpha _{j}\left( h_{i}\right) \right| =\left| A_{ij}\right| \).
Definition 25
Let \(\left( {\mathfrak {h}},\Delta ^{\vee },\Delta \right) \) be a GIM-root basis with structure matrix A and let \({\mathfrak {f}}\) be the free Lie algebra over \({\mathbb {C}}\) generated by \({\mathfrak {h}}\) and elements \(e_{\alpha },e_{-\alpha }\) for \(\alpha \in \Delta \). Let \({\mathfrak {I}}\) be the ideal in \({\mathfrak {f}}\) generated by the relations (identify \(h_{-\alpha }\equiv -h_{\alpha }\) for \(\alpha \in -\Delta \))
Set \({\mathfrak {g}}\, {:}{=}\,{\mathfrak {f}}\diagup {\mathfrak {I}}\) then \({\mathfrak {g}}\) is called the GIM-Lie algebra to \(\left( {\mathfrak {h}},\Delta ^{\vee },\Delta \right) \). Note that every GIM A has a free realisation \(\left( {\mathfrak {h}},\Delta ^{\vee },\Delta \right) \) that is unique up to isomorphism. In this sense one can associate a GIM-Lie algebra \(\mathfrak {gim}(A)\) to a structure matrix A or equivalently a GIM-diagram \({\underline{\Delta }}(A)\).
If one spells out the above relations for \(A_{ij}<0\), one obtains with \(e_{i}=e_{\alpha _{i}}\), \(f_{i}=e_{-\alpha _{i}}\) the familiar Serre-relations
but for \(A_{ij}>0\) one obtains
One knows on abstract grounds that the complexification \({\mathfrak {k}}\left( A_{8}\right) \left( {\mathbb {C}}\right) \) of the canonical subalgebra \({\mathfrak {k}}\left( A_{8}\right) <{\mathfrak {k}}\left( E_{9}\right) \) is isomorphic to \(B_{4}\left( {\mathbb {C}}\right) \cong {{\mathfrak {s}}}{{\mathfrak {o}}}\left( 9,{\mathbb {C}}\right) \). Let us spell out the relationship between the description of \({\mathfrak {k}}\left( A_{8}\right) \left( {\mathbb {C}}\right) \) via Berman generators
and the usual description of \({\mathfrak {g}}\left( B_{4}\right) \left( {\mathbb {C}}\right) \) in terms of a Chevalley–Serre basis. Let \(i_{1},i_{2},\dots ,i_{k}\in \{1,\dots ,9\}\) and set
Note that the order in the sum \(\alpha _{i_{1}}+\dots +\alpha _{i_{k}}\) matters. For \(i<j\) define roots \(\beta _{i,j}^{(1)},\dots ,\beta _{i,j}^{(4)}\in \Delta \left( A_{8}\right) \subset \Delta \left( E_{9}\right) \) by
Now set
Proposition 26
Consider the abelian subalgebra \({\mathfrak {h}}_{B_{4}}\, {:}{=}\,\text {span}_{{\mathbb {C}}}\left\{ H_{1},\dots ,H_{4}\right\} \) together with the linear functionals \(L_{i}:{\mathfrak {h}}_{B_{4}}^{*}\rightarrow {\mathbb {C}}\) defined via \(L_{i}\left( H_{j}\right) =\delta _{ij}\). Then with the above definitions (A.6), (A.7) and (A.8) one has
Thus, (A.6) and (A.8) provide a root space decomposition of \({\mathfrak {k}}\left( A_{8}\right) \left( {\mathbb {C}}\right) \cong B_{4}\left( {\mathbb {C}}\right) \) with respect to the Cartan subalgebra \({\mathfrak {h}}_{B_{4}}\) spanned by (A.7). A corresponding Chevalley–Serre basis is given by
Proof
One verifies that (A.6) and (A.8) are eigenvectors unde the adjoint action of \({\mathfrak {h}}_{B_{4}}\) with the correct eigenvalues by direct computation. This suffices for a root space decomposition because one knows abstractly that this exhausts \({\mathfrak {k}}\left( A_{8}\right) \left( {\mathbb {C}}\right) \) as its isomorphism type is known. Checking the Chevalley–Serre basis is a matter of fixing suitable prefactors. \(\square \)
Now set
then one has
and the Slodowy-type relations
as well as additional relations that hold in \({\mathfrak {k}}\left( {\mathfrak {e}}_9\right) ({\mathbb {C}})\)
Consider the Cartan matrix of \(B_{4}\) and a GIM which we call \(B_{4}^{\diamond }\) that extends it:
The nontrivial Serre relations (for the \(e_{i}\) only) of \(B_4\) spell out to be
Denote the associated GIM-algebra to \(B_4^\diamond \) over \({\mathbb {C}}\) by \(\mathfrak {gim}\left( B_{4}^{\diamond }\right) \left( {\mathbb {C}}\right) \). The diagrams of \(B_4\) and \(B_4^{\diamond }\) are given in Fig. 2.
Proposition 27
Denote the Chevalley generators of \(\mathfrak {gim}\left( B_{4}^{\diamond }\right) \left( {\mathbb {C}}\right) \) by \(E_{0},\dots ,E_{4}\), \(F_{0},\dots ,F_{4}\) and \(H_{\gamma _{0}},\dots ,H_{\gamma _{4}}\). There exists a surjective homomorphism of Lie algebras \(\phi :\mathfrak {gim}\left( B_{4}^{\diamond }\right) \left( {\mathbb {C}}\right) \rightarrow {\mathfrak {k}}\left( E_{9}\right) \left( {\mathbb {C}}\right) \) that is given on the Level of generators via
Proof
One verifies that the defining relations between the generators from definition (25) are satisfied. The \(B_{4}\)-relations are unproblematic and towards the relations
we refer to Eqs. (A.11)–(A.14). One also has to check that \(H_{\gamma _{0}}\mapsto 2H_{2}\) satisfies all necessary identities which is the case. Thus, \(\phi \) is a homomorphism of Lie-algebras. Surjectivity follows from the fact that all Berman generators of \({\mathfrak {k}}\left( E_{9}\right) \left( {\mathbb {C}}\right) \) can be recovered from the image of the generators of \(\mathfrak {gim}\left( B_{4}^{\diamond }\right) \left( {\mathbb {C}}\right) \). For \(x_{1},\dots ,x_{8}\) this is a basis transformation within \(B_{4}\left( {\mathbb {C}}\right) \) and for \(x_{9}\) one notes that (A.9) implies
\(\square \)
GIM-algebras are graded with respect to their root system although their root system does not split into positive and negative roots. Now consider an element \(\left[ E_{0},\left[ E_{0},E_{1}\right] \right] -2E_{L_{1}+L_{2}}\) with \(E_{L_{1}+L_{2}}\propto \left[ E_{1},\left[ E_{2},\left[ E_{4},\left[ E_{4},E_{3}\right] \right] \right] \right] \). This element is nonzero because the two summands lie in different root spaces and are nonzero themselves. But because of (A.16) it is equal to 0 in the image. This implies that \({\mathfrak {k}}\left( E_{9}\right) \left( {\mathbb {C}}\right) \) is a (nontrivial) quotient of \(\mathfrak {gim}\left( B_{4}^{\diamond }\right) \left( {\mathbb {C}}\right) \).
In conclusion, representations of \(\mathfrak {gim}\left( B_{4}^{\diamond }\right) \left( {\mathbb {C}}\right) \) could potentially be useful to find representations of \({\mathfrak {k}}\left( E_{9}\right) \left( {\mathbb {C}}\right) \) if it is possible to check whether or not a given representation factors through the projection of Proposition 27. Conversely, our results from Sects. 3 and 4 provide representations of \(\mathfrak {gim}\left( B_{4}^{\diamond }\right) \left( {\mathbb {C}}\right) \) both of finite and infinite dimension.
The Hilbert Space Completion \(\widehat{{\mathfrak {k}}}\) is Not a Lie Algebra
Because the restriction of the standard bilinear form is positive definite we can complete \({\mathfrak {k}}\) to a Hilbert space \(\widehat{{\mathfrak {k}}}\). Here we show by means of a simple explicit example that this Hilbert space completion is not compatible with the Lie algebra structure. Define
The positive definite bilinear form can be normalised such that (for \(m,n\ge 0\))
The induced norm is distinguished by its invariance, which implies that the right-hand side is independent of m and n. Consequently,
where \(C_0 = C_0(\omega ) \) is an irrelevant strictly positive constant. For \(\varepsilon > 0\) this sum converges, and therefore the limit \(J_\infty (\omega ) \equiv \lim _{N\rightarrow \infty } J_N(\omega )\) belongs to the Hilbert space \(\widehat{{\mathfrak {k}}}\). We next compute the commutator
with
Estimating the first sum on the right-hand side as (\(n>1\))
it is easy to see that
with another irrelevant strictly positive constant \(C_1\). For \(\varepsilon < \frac{1}{4}\) the sum \(\sum _{n=1}^\infty |f_n|^2\) diverges, whence (B.4) does not converge in the limit \(N\rightarrow \infty \). In other words, although \(J_\infty (\omega _1)\) and \(J_\infty (\omega _2)\) separately do belong to \(\widehat{{\mathfrak {k}}}\), their commutator does not exist as an element of \(\widehat{{\mathfrak {k}}}\). Hence \(\widehat{{\mathfrak {k}}}\) is not even a Lie algebra, and a fortiori also not a Hilbert Lie algebra, which would in addition require \(|\!| [x,y] |\!| < C_2 |\!| x |\!| |\!| y |\!|\) for all \(x,y \in \widehat{{\mathfrak {k}}}\).
We stress that the failure of \(\widehat{{\mathfrak {k}}}\) to be a Lie algebra depends on the norm used for the completion which in the analysis above was the standard invariant bilinear form. Other norms are possible and the corresponding completions of \({\mathfrak {k}}\) can be Lie algebras, and even Hilbert Lie algebras. However, in those cases the norm is not invariant.
Although \(\widehat{{\mathfrak {k}}}\) is not a Lie algebra, an interesting open question is whether one can still make sense of the commutator as a distribution, by considering the commutator of two elements belonging to a dense subspace of \(\widehat{{\mathfrak {k}}}\). This would fit with earlier observations in [KNP].
\({\mathfrak {so}}(16)\) Representations
The translation of dimensions of \({\mathfrak {so}}(16)\) representations to the labels of the highest weight in the conventions of the LiE software [vLCL] are
\(\mathbf{1}\) | \(\leftrightarrow \) | [0,0,0,0,0,0,0,0] | \(\mathbf{56320}_s\) | \(\leftrightarrow \) | [0,0,1,0,0,0,0,1] |
\(\mathbf{16}\) | \(\leftrightarrow \) | [1,0,0,0,0,0,0,0] | \(\mathbf{60060}\) | \(\leftrightarrow \) | [1,0,0,0,1,0,0,0] |
\(\mathbf{120}\) | \(\leftrightarrow \) | [0,1,0,0,0,0,0,0] | \(\mathbf{91520}_+\) | \(\leftrightarrow \) | [1,0,0,0,0,0,0,2] |
\(\mathbf{128}_s\) | \(\leftrightarrow \) | [0,0,0,0,0,0,0,1] | \(\mathbf{112320}\) | \(\leftrightarrow \) | [1,0,0,0,0,1,0,0] |
\(\mathbf{128}_c\) | \(\leftrightarrow \) | [0,0,0,0,0,0,1,0] | \(\mathbf{141372}\) | \(\leftrightarrow \) | [0,1,0,1,0,0,0,0] |
\(\mathbf{560}\) | \(\leftrightarrow \) | [0,0,1,0,0,0,0,0] | \(\mathbf{141440}_s\) | \(\leftrightarrow \) | [1,1,0,0,0,0,0,1] |
\(\mathbf{1344}\) | \(\leftrightarrow \) | [1,1,0,0,0,0,0,0] | \(\mathbf{161280}_s\) | \(\leftrightarrow \) | [0,0,0,1,0,0,0,1] |
\(\mathbf{1820}\) | \(\leftrightarrow \) | [0,0,0,1,0,0,0,0] | \(\mathbf{161280}_c\) | \(\leftrightarrow \) | [0,0,0,1,0,0,1,0] |
\(\mathbf{1920}_s\) | \(\leftrightarrow \) | [1,0,0,0,0,0,0,1] | \(\mathbf{162162}\) | \(\leftrightarrow \) | [1,0,0,0,0,0,1,1] |
\(\mathbf{4368}\) | \(\leftrightarrow \) | [0,0,0,0,1,0,0,0] | \(\mathbf{183040}_s\) | \(\leftrightarrow \) | [0,0,0,0,0,0,0,3] |
\(\mathbf{6435}_+\) | \(\leftrightarrow \) | [0,0,0,0,0,0,0,2] | \(\mathbf{326144}_s\) | \(\leftrightarrow \) | [0,0,0,0,1,0,0,1] |
\(\mathbf{7020}\) | \(\leftrightarrow \) | [1,0,1,0,0,0,0,0] | \(\mathbf{439296}_c\) | \(\leftrightarrow \) | [0,0,0,0,0,0,1,2] |
\(\mathbf{8008}\) | \(\leftrightarrow \) | [0,0,0,0,0,1,0,0] | \(\mathbf{465920}_c\) | \(\leftrightarrow \) | [0,0,0,0,0,1,1,0] |
\(\mathbf{11440}\) | \(\leftrightarrow \) | [0,0,0,0,0,0,1,1] | \(\mathbf{595595}_+\) | \(\leftrightarrow \) | [0,1,0,0,0,0,0,2] |
\(\mathbf{13312}_s\) | \(\leftrightarrow \) | [0,1,0,0,0,0,0,1] | \(\mathbf{670208}_s\) | \(\leftrightarrow \) | [1,0,1,0,0,0,0,1] |
\(\mathbf{13312}_c\) | \(\leftrightarrow \) | [0,1,0,0,0,0,1,0] | \(\mathbf{2036736}_s\) | \(\leftrightarrow \) | [1,0,0,1,0,0,0,1] |
\(\mathbf{15360}_c\) | \(\leftrightarrow \) | [2,0,0,0,0,0,1,0] | \(\mathbf{2489344}_s\) | \(\leftrightarrow \) | [1,0,0,0,0,0,0,3] |
\(\mathbf{24192} \) | \(\leftrightarrow \) | [1,0,0,1,0,0,0,0] | \(\mathbf{6223360}_s\) | \(\leftrightarrow \) | [1,0,0,0,0,1,0,1] |
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kleinschmidt, A., Köhl, R., Lautenbacher, R. et al. Representations of Involutory Subalgebras of Affine Kac–Moody Algebras. Commun. Math. Phys. 392, 89–123 (2022). https://doi.org/10.1007/s00220-022-04342-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04342-9