Abstract
In this review, we present a general framework for the construction of Kac–Moody (KM) algebras associated to higher-dimensional manifolds. Starting from the classical case of loop algebras on a circle , we extend the approach to compact and non-compact group manifolds, coset spaces, and soft deformations thereof. After recalling the necessary geometric background on Riemannian manifolds, Hilbert bases, and Killing vectors, we present the construction of generalized current algebras , their semidirect extensions with isometry algebras, and their central extensions. We show how the resulting algebras are controlled by the structure of the underlying manifold, and we illustrate the framework through explicit realizations on , , and higher-dimensional spheres, highlighting their relation to Virasoro-like algebras. We also discuss the compatibility conditions for cocycles, the role of harmonic analysis, and some applications in higher-dimensional field theory and supergravity compactifications. This provides a unifying perspective on KM algebras beyond one-dimensional settings, paving the way for further exploration of their mathematical and physical implications.
Keywords:
Kac–Moody algebras; Virasoro algebra; central extensions; harmonic analysis; higher-dimensional manifolds MSC:
81A10; 17B65; 17B67; 17B68
1. Introduction
1.1. From Finite- to Infinite-Dimensional Symmetry
For quite a long time, finite-dimensional simple Lie algebras have provided the backbone of symmetry in mathematics and physics. The classification by Cartan and the subsequent development of representation theory turned these structures into essential tools throughout geometry, number theory, and quantum theory. Beginning in the late 1960s, two independent lines of development—Moody’s and Kac’s—generalized this landscape to the infinite-dimensional realm, resulting in what are now called Kac–Moody (KM) algebras [1,2,3]. A particularly tractable and physically relevant subclass is formed by the affine algebras, realized as central extensions of loop algebras. Pressley and Segal’s monograph rigorously analyzed the functional-analytic and group-theoretic underpinnings in terms of loop groups and their projective unitary representations [4].
The importance of the affine KM symmetry in physics was then amplified by its tight relation to the Virasoro algebra, via the Sugawara construction and current algebra methods [5]. This connection underlies the solvability of two-dimensional conformal field theories (CFTs) and the Wess–Zumino–Witten (WZW) models, and it has been comprehensively discussed in the CFT literature [6,7]. At the same time, the broader spectrum of KM algebras beyond the affine case (e.g., indefinite and hyperbolic generalizations) has been invoked in diverse corners of high-energy theoretical physics, notably in hidden symmetries of supergravity, cosmology, and string/M-theory.
1.2. Beyond the Circle: Why?
The best-known laboratory for KM algebras is the loop algebra over a circle . Physically, the ubiquity of the circle form stems from the role of closed strings and from the reduction of two-dimensional field theories on a spatial circle. Mathematically, is distinguished by its Fourier basis as well as by the resulting algebraic simplifications that enable a complete representation theory for affine algebras. However, many problems of current interest in mathematical physics naturally involve higher-dimensional manifolds:
- Compactifications in Kaluza–Klein (KK) theory and string/M-theory crucially involve group manifolds and coset spaces; examples include spheres, tori, and symmetric spaces, which are, e.g., discussed in [8,9,10,11,12,13].
- Non-compact, Riemannian target spaces (e.g., or ) arise in (ungauged and gauged) supergravity theories in diverse space-time dimensions, as well as in the theory of black hole attractors (see, e.g., [14] and the references therein).
- Deformations of group manifolds (soft or non-homogeneous manifolds) appear in the effective descriptions of flux compactifications and in group-geometric approaches to supergravity [15].
In all such settings, the natural notion of “currents” is no longer related to loops on , but rather it is connected to functions (or sections) on a manifold , with values in a (generally finite-dimensional) Lie algebra . The resulting current algebra inherits both the algebraic structure from and the geometric/analytic structure from . The central question we address in this review is, to what extent do the characteristic features of affine KM algebras—such as central extensions, semidirect actions by diffeomorphisms or isometries, and rich representation theory—survive when is replaced by a higher-dimensional manifold ?
1.3. A Unifying Viewpoint
Our viewpoint is twofold: geometric and representation theoretic. We begin by considering a Riemannian (or pseudo-Riemannian) manifold , equipped with a measure and a Hilbert space of square integrable functions. A key point is the existence of a Hilbert basis adapted to the symmetries of . On the one hand, for compact Lie groups , the Peter–Weyl theorem provides such a basis in terms of matrix elements of unitary irreducible representations [16]. On the other hand, for non-compact Lie groups , the Plancherel theorem organizes functions as a ‘mixture’ of discrete and continuous series contributions [17,18]. This harmonic-analytic formalism allows us to expand -valued fields on and, thus, to define current algebras as well as their (semi)direct extensions by symmetry algebras generated by Killing vectors of itself. In general, central extensions can be characterized cohomologically, in terms of closed currents on , and they can also be explicitly matched to local Schwinger terms in current commutators.
All this can be summarized into an algorithmic construction, which provides a coherent perspective encompassing spheres , compact groups, such as and their homogeneous spaces, non-compact groups, such as , and generalizations with a softened group structure. The steps of such an algorithmic construction are listed as follows:
- Choose (compact or non-compact group manifold, a Riemannian or pseudo-Riemannian coset thereof, or soft deformations thereof, …) and its isometry algebra.
- Select an appropriate orthonormal basis on (as stated by the Peter–Weyl or Plancherel theorems), and then promote -valued modes to generators.
- Determine the semidirect actions using isometries/diffeomorphisms, and describe/classify all compatible 2-cocycles that yield central extensions.
- Identify structural features (e.g., Witt/Virasoro analogs and area-preserving diffeomorphisms) related to the geometry of .
1.4. Infinite Dimensional Algebras in Physics
Historically, the amazingly fruitful cross-fertilization between infinite-dimensional algebras and physics has evolved along several lines of research. In two-dimensional CFT, the Virasoro and affine Kac–Moody algebras have provided the dynamical symmetry principles underlying the theory of exactly solvable models, modular covariance, and the classification of primary fields [4,5,6,7]. In string theory, worldsheet reparameterization and current algebra symmetries determine crucial consistency conditions (termed the anomaly cancellation condition, possibly exploiting BRST cohomology), while WZW models provide exact backgrounds with affine symmetry. The celebrated and surprising monstrous moonshine and generalized KM structures (Borcherds–Kac–Moody algebras) connect CFTs, sporadic groups, and automorphic forms, highlighting the depth of the algebraic structures that are emergent in quantum theories [19,20,21].
Another remarkable appearance of KM algebras pertains to the large hidden Lie symmetries arising in supergravity and in cosmological dynamics. For instance, cosmological billiards uncovered links between the asymptotic dynamics of gravity near space-like singularities and hyperbolic KM symmetries [22,23]. Moreover, extended supergravities and dimensional reductions have suggested hierarchies of very extended algebras, as well as infinite towers of dual potentials; see, for instance, [24,25,26,27,28]; for geometric and group-theoretic analyses, see [12,13,29]. Within this context, the KK theory has provided a wealth of examples in which harmonic analysis (on compact ) describes the spectra of lower-dimensional fields [8,9,10,11]. Finally, current algebras naturally arise on , being defined in terms of Noether charges integrated over the internal spaces, and a possible subsequent mode expansion.
1.5. Scope and Plan of This Review
Expectedly, the generalization from to higher-dimensional manifolds generates both opportunities and challenges. The following lists a few of these:
- Central extensions. On , there is essentially a unique (up to normalization) central extension of the loop algebra, yielding an affine KM algebra. Typically, for higher-dimensional manifolds, the space of admissible 2-cocycles is infinite-dimensional. Cohomological constructions tied to closed -currents on and divergence-free vector fields can be exploited, directly relating to Schwinger terms in the current algebra.
- Symmetry by isometries and diffeomorphisms. The Lie algebra generated by the Killing vectors (or broader diffeomorphism algebras) acts naturally on . In favorable cases, one can identify subalgebras, which are analogs of the Witt/Virasoro algebras (e.g., de Witt algebra on , or area-preserving diffeomorphisms on ), yielding semidirect products that hint at affine–Virasoro interplay, which is familiar from two dimensions.
- Harmonic analysis and representation theory. On compact groups and the homogeneous spaces thereof, the Peter–Weyl theorem and Clebsch–Gordan machinery allow for expressing products of basis functions in terms of representation-theoretic data. On the other hand, for non-compact groups, such as , a ‘mixture’ of discrete and continuous series appears via the Plancherel theory (also implemented through Bargmann’s classification), and new unitary structures emerge.
- Applications. The above constructions provide an algebraic background for higher-dimensional current algebras in effective field theories, organize spectra in compactifications, and suggest new Virasoro-like structures that may control sectors of dynamics in higher-dimensional CFTs or holographic models.
This review aims to be pedagogical while remaining faithful to the breadth of the subject. We deliberately separate general principles from case studies:
- We present a construction based on manifolds that keeps track of metric, measure, and symmetry data, and we adopt a formalism based on the Hilbert space in order to emphasize unitarity and completeness of mode expansions.
- We use group- and representation-theoretic tools (such as the Peter–Weyl and Plancherel theorems or the Clebsch–Gordan coefficients) to highlight the algebraic structure and to allow explicit computations of structure constants in current algebras on .
- We discuss central extensions from two perspectives: the cohomology of current algebras on and anomalies/Schwinger terms in local commutators.
- Throughout our treatment, we strive to highlight links to well-established areas in physics, such as two-dimensional CFT and string theory [4,5,6,7] or higher-dimensional supergravity and compactifications [8,9,10,11,12,13,24,25,26,27,28,29].
There exist several classic reference works on affine algebras and loop groups [4,5,6], on group manifolds and harmonic analysis [16,17], and on supergravity/sigma model applications [8,9,12,13,29]. In this respect, it is worth emphasizing that our focus is complementary: we aim to present a single construction, which applies to wide classes of manifolds, such as compact groups and cosets, non-compact groups and their homogeneous spaces, and (soft) deformations of group manifolds. As mentioned above, we also present a systematic analysis of the space of compatible central extensions. Various examples are discussed and treated in some detail in order to provide a glimpse of the wealth of the subject, rather than to exhaust all possibilities.
The plan of this review is as follows.
- Section 1: General framework on manifolds. We recall the geometric background on (pseudo-)Riemannian manifolds, measures, and Killing vectors; we introduce and orthonormal bases adapted to symmetries (exploiting the Peter–Weyl or Plancherel theorems). We then define the current algebra , its semidirect extension by isometries, and set up the cohomological language for central extensions.
- Section 2: Compact group manifolds and cosets. Invoking the Peter–Weyl theorem, we construct on and on homogeneous spaces . We explain how products of basis functions are controlled by Clebsch–Gordan coefficients and how central extensions are enumerated by closed currents. As examples, we highlight analogs of Witt/Virasoro subalgebras on spheres and their role in semidirect products.
- Section 3: Non-compact groups and Plancherel analysis. We treat and as canonical examples, reviewing Bargmann’s discrete/continuous series and the Plancherel decomposition. We construct and compatible central extensions and discuss unitarity issues and constraints for the resulting representations.
- Section 4: Soft (deformed) group manifolds. We consider the so-called soft deformations of group manifolds motivated by supergravity and string compactifications, discussing various aspects in some detail.
- Section 5: Root systems and representation theory. We introduce a system of roots for the classes of Kac–Moody algebras introduced above. In the second part of this Section, we introduce some elements of representation theory, stressing important differences with respect to affine Lie algebras. For simplicity’s sake, we will here assume that is a compact Lie algebra.
- Section 6: Applications to physics. We discuss some applications of the above mathematical machinery to physics, most notably to (i) two-dimensional current algebra/CFT (WZW, Sugawara, Virasoro); (ii) higher-dimensional compactifications and spectra in Kaluza–Klein theory; (iii) structures emerging within the theory of cosmological billiards, and the underlying hidden symmetries of supergravity.
- Section 7: Outlook and open problems. We outline classification questions for central extensions on general , representation-theoretic challenges beyond compact groups, and possible applications to holography and integrability.
2. Kac–Moody (KM) Algebras on Higher-Dimension Manifolds: Some Generalities
Let be a semisimple (complex or real) Lie algebra. To the simplest (one-dimensional) manifold, namely the circle , one can associate two non-isomorphic infinite-dimensional Lie algebras. The first is the affine extension of the loop algebra of smooth maps from to , which allows for the construction of KM (or better, affine) Lie algebras [1,2,3,4,5]. A second possibility is given by the Virasoro algebra, which is a central extension of the de Witt algebra (i.e., the algebra of polynomial vector fields on ), and is intimately connected to affine Kac–Moody algebras via the Sugawara construction (see, e.g., [7,30]).
A natural question concerns the possibility of defining infinite-dimensional KM algebras related to higher-dimensional manifolds, possibly maintaining some of the structural properties observed for the previous relevant cases. Over the years, a number of infinite-dimensional KM algebras have been constructed. The first examples are associated to specific manifolds, such as the two-sphere, three-sphere, or tori [13,31,32,33,34,35,36,37] cases. Castellani also applied infinite-dimensional KM algebras in his works on geometric field theories of (closed) strings [38,39]. Then, general studies for more general manifolds were undertaken in [40,41,42,43,44,45,46,47]. To this extent, various types of manifolds were considered. This systematic study started with being a compact dimensional manifold [40,41,42,43,44] (essentially, a compact Lie group —not to be confused with G, the Lie group associated to – or a coset space with H a closed subgroup of ). This construction is ultimately motivated by higher-dimensional physical theories in which harmonic expansions à la Kaluza–Klein play a crucial role (see, e.g., [8,9,10,11], with the latter reference being itself motivated by the supergravity context). The second series of extensions concerns non-compact manifolds, principally SL or the coset SLU [45,46]. These constructions were motivated by the fact that the non-compact manifold appears as the target space of one complex scalar field in the bosonic sector of some Maxwell–Einstein supergravity theories in space-time dimensions. Finally, the last type of algebra [47] is associated to manifolds that are deformations of Lie groups, called a ‘soft’ group manifold (see, e.g., [15]).
In this section, before considering the KM algebras associated to the specific types of manifolds presented above, we briefly recall some general properties of real manifolds and explain the various steps to construct the corresponding Kac–Moody algebra.
2.1. Relevant Properties of Manifolds
Let be an dimensional real Riemannian manifold. Let be an open set of . We assume that the manifold is such that is of zero measure. Define a homomorphism from to an open set of as
meaning that we can associate a system of coordinates for points m in almost everywhere. Let be the metric tensor of in the the system of coordinates :
and define . Consider now an infinitesimal diffeomorphism:
This transformation is an isometry of , i.e., it preserves the tensor metric , if the satisfies the Killing equation:
where and is the covariant derivative [48]. Suppose that the Killing equation has independent solutions ; then, the operators
generate the Lie algebra with Lie brackets
since the composition of two isometries is an isometry, where
because the Killing vectors are associated to independent infinitesimal isometries.
We endow the manifold with a Hermitian scalar product:
where . The Hermiticity of the operators with respect to the scalar product (4) translates into two conditions:
where means that the boundary term associated to all directions vanishes. In particular, note that if are periodic in a direction, condition 2 is automatically satisfied. Similarly, if a direction is unbounded, say , condition 2 is also satisfied since whenever . Furthermore, as is a Killing vector, we have a Levi-Civita connection satisfying ; hence, the Killing condition (1) implies condition 1 above (recall that ).
The last step of this general introduction is to consider the Hilbert space of square integrable functions on , namely , or more precisely, . It is known that any Hilbert space admits a Hilbert basis [49,50]. Let be a Hilbert basis of , i.e., a complete orthonormal set of vectors (for the scalar product (4)). In our case, the vectors become functions on . We also assume that for any generators of the Lie algebra generated by the Killing vectors (see (3)), and for any vector in , the function is square integrable. Thus,
where the symbol of summation is omitted, and is a matrix representing the action of on . Indeed, this equation, in fact, means that the vectors transform according to a given representation of . In general, this representation is fully reducible, but it may happen that a subset of vectors does not belong to an irreducible representation (see Section 4). Since the set of vectors is orthonormal and constitutes a Hilbert basis of , these vectors also constitute a unitary representation of ; hence, the operators are Hermitian and, thus, satisfy (5) (in particular, the second condition).
In the following, two types of manifolds will be considered. The first type corresponds to group manifolds of compact Lie groups , while the second corresponds to group manifolds of non-compact Lie groups . In both cases, the decomposition of square integrable functions (or the Hilbert basis ) is organized within the representation theory of (resp., ), but it should be observed that these two cases are structurally quite different. If the group is compact, its unitary representations are finite-dimensional, and it turns out that once correctly normalized, the set of all matrix elements constitutes an orthonormal Hilbert basis of . This corresponds to the Peter–Weyl Theorem [16]. If the group is non-compact, its unitary representations are infinite-dimensional, and square integrable functions decompose into a sum over the matrix elements of the discrete series and an integral over the matrix elements of the continuous series (see below). In this situation, the Plancherel theorem has to be used [51].
Returning to the Hilbert basis , we assume further that for any elements of , the product is square integrable; thus, in particular, we have
where the symbol of summation is omitted. In general, the coefficients are difficult to compute explicitly, except (at least) for two types of manifolds, where (i) is related to a compact Lie group or (ii) is related to a non-compact Lie group . In both cases, the coefficients can be expressed explicitly by means of the Clebsch–Gordan coefficients of (resp., ).
Since is a real manifold, one can choose the set of functions to be real functions. It is, however, useful for certain manifolds to consider complex-valued functions. The reality of imposes, then, that for any in , we have
where , such that, for a given , there exists a unique such that is non-vanishing. One can, of course, choose , albeit for group manifolds, we could also have (see Section 3). Finally, in this section, the index of the functions belongs to . In turn, other choices will be more relevant in the next section; in particular, negative integer values for M. In this case, condition (8) will be obvious, and if .
Since the basis is complete, we have the completeness relation:
2.2. A KM Algebra Associated to
Let be a dimensional simple Lie algebra with Lie brackets
We assume, for simplicity, that is a compact Lie algebra with Killing form:
where denotes the adjoint representation of , and is definite positive.
In the next step of our construction, we define the space of smooth mappings from into as
which inherits the structure of a Lie algebra
where the coefficients are defined in (7). The Killing form in is given by
for . From (8), it follows that
In fact, if we assume
where
then integrating both sides of the equation above by , (13), reproduces (11) using (9) and (7). Clearly, the algebra is the generalization of the loop algebra corresponding to the dimensional manifold (the loop algebra is associated to , a circle).
Continuing the construction, we recall that is such that the operators associated to the Killing vectors are Hermitian with respect to the scalar product (4) (see (5)). Let . This algebra admits a semidirect structure:
It may be interesting to identify the maximal set of commuting operators (see (6)). Let r be the rank of , and let be a Cartan subalgebra. Without loss of generality, we can assume that the elements of the basis are eigenvectors of the Ds:
with . It is important to emphasize that,
The algebra above can even be further extended. Introduce the Lie algebra of vector fields on , where . The algebra (15) extends to :
and also has a semidirect product structure. This algebra admits (15) as a subalgebra and also some analog of the de Witt algebras. Let
which are subalgebras of the algebra of vector fields on . The algebra (15) extends to
The last step of the construction is to extend (centrally) the algebra . Central extensions of were identified by Pressley and Segal in [4] (see Proposition 4.28 therein). Given a one-chain C (i.e., a closed one-dimensional, piecewise smooth curve), the central extension is given by the two-cocycle
where is the exterior derivative of Y. The two-cocycle can be written in an alternative form. Indeed, we have [52]
where is a closed current (a distribution) associated to C. We now show that the cocycle (21) can also be associated to a vector field on . Let be a vector field such that
To the operator L, one can associate the form:
where , and the form:
Obviously, if is orientable, is the Hodge dual of F. Now, condition (23) implies that is closed and, equivalently, that F is co-closed. Moreover, if the cohomology group is trivial, then F is co-exact or is exact, and there exists a one-form G such that
where , and the metric g has the signature with q minus signs. Since the form associated to the operator L is closed, the corresponding two-cocycle (22) reduces to
We conclude that there is an infinite number of central extensions associated to any operator L satisfying (23). In [53], Feigin showed that the number of central extensions is equal to the dimension of and proved that when and is compact, we have an infinite number of central extensions. Central extensions were systematically computed in the case of the two- and three-sphere in [33,36,37].
The result above can also be obtained differently. Indeed, one can centrally extend the ‘loop’ algebra by using the current algebra and introducing an anomaly or a Schwinger term:
where means that we take the derivative with respect to the second variable . Thus,
where … represents terms not involving the anomaly and . Integration by parts, using the symmetry property of the Dirac -distribution and the antisymmetry of the structure constants , results in the computation cyclic terms, and the Jacobi identity leads to (23), which is the two-cocycle condition that we have obtained using the Pressley–Segal two-cocycle. Furthermore, performing integration for the anomaly term in (27) leads (due to relation (23) above) to the two-cocycle (26). This means that the Pressley–Segal results on central extensions can equivalently be given in terms of an appropriate Schwinger term.
We now address the compatibility of central extensions and the differential operators of . Assume that we have one central extension associated to the operator L above or the two-cocycle . The new Lie brackets read
where are the Lie brackets without central extension, i.e., the Lie brackets of . Let be an operator in . The compatibility condition, i.e., the Jacobi identities, between the KM algebra with two-cocycle and turn out to be (see [33,34])
Because of (23), after integration by parts, we see that is an obvious solution.
Now, let be a doublet differential operator/two-cocycle. On the one hand, the two-cocycle and the differential operator L are in duality (see (24) and (25)), and on the other hand, they are compatible. One may wonder if, for a given manifold , one can have more than one couple in duality and if these can be compatible with each other. In fact, as will be seen in Section 3.1, in general, this is the case. In particular, if we consider the commuting Hermitian operators (see (16)) and the corresponding two-cocycle ,
the compatibility condition above between and reduces to
The condition of compatibility translates into
Now, let . We thus define the KM algebra . From (11), (16), and (29), the non-vanishing Lie brackets are
Note that are the central charges associated to the two-cocycle .
In the construction above, we determined the maximal set of compatible cocycles and differential operators . Here, we consider another possibility that will be relevant to the construction of the analog of the Virasoro algebra (see Section 3.4 for SU). Let be a cocycle associated to the differential operator L, and let T be any function in . The compatibility condition of the cocycle with the operator L reads
whose second term on the LHS is
while the first one, after an integration by parts, reduces to
where we have used . The second term in the second equality vanishes because of (23). On the other hand, the boundary term vanishes along any compact direction of , but also vanishes along non-compact directions of , since X and Y go to zero at infinity. Finally, Equation (32) is satisfied, and the set of differential operators
is compatible with the cocycle . Furthermore, we have the following commutation relations:
Thus, is a subalgebra of the algebra of vector fields on , which should be regarded as the analog of the de Witt algebra in the case of U. This algebra was found in [33] for SU. We shall see in Section 3.4 that, in the case of SU, a convenient choice of L enables us to introduce an analog of the Virasoro algebra on SU, i.e., to centrally extend the algebra . This construction certainly extends to other manifolds, as, for instance, any compact group manifold . In particular, for a given cocycle associated to L, further compatible differential operators can be added. For instance, if , the set is the de Witt algebra (see (19) and the second equation of (20)). Next, the algebra can certainly be centrally extended along the lines of Section 3.4, yielding an analog of the semidirect product of the Virasoro algebra with the Kac–Moody algebra.
Before ending this section, it should be noted that the loop algebra also admits other central extensions. See, e.g., [54,55] for the three-dimensional case and [56] (and references therein) for higher-dimensional cases.
3. KM Algebras on Compact Group Manifolds
In the previous section, we gave a general strategy to construct a generalized KM algebra associated to a manifold . We have assumed this throughout (6) and (7). Let be a compact Lie group manifold, and let be a closed subgroup of . In this section, we consider the case where is either the compact group manifold or the coset space . In both cases, conditions (6) and (7) (together with (5) (2)) are natural.
3.1. Compact Group Manifolds
Let be an dimensional compact Lie group. Let with be a parameterization of . Then, an element of connected to the identity takes the form
where are the generators of , the Lie algebra of (not to be confused with the generators of ). Then, the coordinates of a group element (in a local coordinate chart) are
The indices are tangent space indices, i.e., flat indices, while the indices are world indices, i.e., curved indices. It should be mentionned that for specific parameterizations, the variables decompose into , where the matrix elements of are periodic in and non-periodic in (see Section 3).
The Vielbein one-form associated to the parameterization (34) is, thus,
where is the exterior derivative of g. The Vielbein satisfies the Maurer–Cartan equation
Expanding the Vielbein in the basis : , we have for the one-forms
The one-forms are left-invariant by construction, i.e., invariant by the left multiplication with . Note that by defining the alternative Vielbein , we obtain a right-invariant one-form, i.e., invariant by the right multiplication . The metric tensor on can be defined by the left- or right-invariant one-forms
We endow the manifold with the scalar product
where V is the volume of .
To identify a Hilbert basis of , we first recall that since is a compact Lie group, its unitary irreducible representations are finite-dimensional. Let be the set of all irreducible unitary representations of , and let be the set of labels of such representations (see below). Let be the dimension of the representation , and let be its matrix elements. With these notations, we have the following theorem:
Theorem 1
(Peter–Weyl [16]). Let be the set of all unitary irreducible representations of , and let for . Then, the set of functions on ,
forms a complete Hilbert basis of with inner product
Since the notations of Theorem 1 are not appropriate for our purpose, we introduce more convenient notations. Assume that the Lie algebra is of rank ℓ. Then, admits an ℓ independent Casimir operator . Let be a unitary representation of , and is uniquely specified by the eigenvalues of the ℓ Casimir operators (alternatively, the representation can also be specified by the highest weight with respect to a given Cartan subalgebra ). Denote the eigenvalues . Racah showed in [57] that a number of internal labels are required to separate the states within the multiplet . Given a Cartan subalgebra, its eigenvalues constitute an appropriate set of ℓ labels. The choice of the remaining additional internal labels is far from being unique and usually depends on a specific chain of proper subalgebras
such that, in each step, the Casimir operators of the subalgebra are used to separate states [58,59]. Let and be two matrix elements of the representation . Since the product is still a matrix element of , the lines (resp., the column) of are in the representation (the lines are in the left representations, and the columns are in the right representations). Consequently, we now denote any matrix element appearing in Theorem 1 by , where Q denotes the ℓ eigenvalues of the Casimir operators that identify the representation, and L (resp., R) represents the labels to separate the states within the left (resp., right) action of . Let be the range for the variables and R; with these notations, the Hilbert basis of associated to the Peter–Weyl theorem is given by
and the matrix elements are normalized:
The parameterization leads naturally to a differential realization of the Lie algebra for the generators of the left and right actions. Indeed, since the manifold has a natural left and right action, Killing Equation (1) automatically admits solutions, namely the generators of the left (resp., right) action and . Let (resp., ) , be the generators of the left (resp., right) action. We have
where are the structure constants of . Furthermore, the operators and are Hermitian with respect to the scalar product (39) and act naturally on the matrix elements :
where are the matrix elements of the left or right action for the representation specified by Q.
Let be two representations of , specified by the eigenvalues of the Casimir operators. Consider the tensor product:
Introducing the Clebsch–Gordan coefficient , we have
Thus, observing that
where d is the dimension of the representation , we have
where the summation is implicit, and with
where d (resp., ) are the dimensions of (resp., ).
3.2. Coset Spaces of Compact Group Manifolds
Now, let H be a closed subgroup of , let be the quotient map, and let . Then, we can always find a chart around the identity in such that the following applies:
- for some .
- Each slice with is a relatively open set in some coset , and these cosets are all distinct.
- The restriction of to the slice is an open homeomorphism and, hence, determines a chart around the identity element in .
Using these charts, the coset can be endowed with the structure of a differential manifold such that the and the action of are differentiable. If, in addition, H is a normal subgroup, then inherits the structure of a Lie group, and the differential of the corresponds to the quotient map , where is the Lie algebra of H.
In the general case (i.e., there is some with ), the coset space is not a Lie group, and hence, the factor space is not a Lie algebra. We write the generators of , namely (with ), as follows: with , and with , where denotes the complementary space of in . The commutation relations take the generic form
The relations (a) are trivially satisfied, as is a Lie subalgebra of , whereas the relations (b) imply that is a representation of , whenever the condition is satisfied. In particular, the coset space is called reductive if there exists an -invariant subspace of that is complementary to in (the space is sometimes called the Lie subspace for ). It follows from the invariance that . A sufficient condition for the coset space to be reductive is that either H or is compact [17]. If, in addition, holds in (c), then the manifold is related to a specially relevant class of homogeneous spaces (endowed with a Riemannian structure), the so-called symmetric spaces [60].
In the following, we shortly summarize the construction steps of the previous section, adapted to (generic) homogeneous spaces. A generic element of is of the form
and the Vielbein one-form is given by
which decomposes to
Denoting
where represent the indices in the flat tangent space, and represent the curved indices of the manifold ; the metric tensor on the coset space is given by
We identify the Killing vectors and the corresponding symmetry algebra of the manifold
We endow the manifold with the scalar product
where is the volume of , which is the restriction of (39) to and .
We now identify a Hilbert basis of . Given a representation of , admits a scalar representation with respect to the embedding . Let be the set of representations with this property. The set of matrix elements of a representation decomposes into
Stated differently, corresponds to the set of indices associated to the trivial representation of the right action. The matrix elements contribute to the harmonic analysis in . Using the notation of Section 3.1, we denote the corresponding normalized matrix elements
where the index means that transform trivially under the right action of H [8,40]. The number of internal labels is ℓ (the rank of ) to separate the representations, and internal labels are used to distinguish states within representations [40]. Solving the Killing equation for the coset leads to the generators of the left action and possibly additional generators associated to the right action, which survive the coset process. Finally, by computing the product , we obtain coefficients that can be deduced from (45) (see Section 3.3).
3.3. KM Algebras Associated to Compact Lie Groups
First, consider . The first step to associate a KM algebra to is to define the Lie algebra
(see (41)) with Lie brackets
This algebra can be obtained in a different way. Let
then,
leads to (52) upon integration by .
This algebra can, indeed, be obtained easily in the context of Kaluza–Klein theories. Consider the space-time , i.e., a dimensional Minkowski space-time with a compact manifold of dimension as internal space. Denote the components in K where and . Assume further the metric on K (in this simple analysis, we do not endow with a Riemannian structure; thus, the metric is Minkowskian)
where diag is the Minkowski metric on , and is the metric (38) on .
Consider a massless, free complex scalar field, with action
The equations of the motion read
where and are, respectively, the dimensional d’Alembertian and the Laplace–Beltrami operator of . Next, decomposing the scalar field in the compact manifold as
and observing that the action of the Laplace–Beltrami operator on the scalar functions is related to the quadratic Casimir operator [17,61],
(where is the quadratic Casimir operator of with eigenvalue ), we obtain
with the mass of the field given by . Thus, the solution of the relativistic wave equation takes the following form:
where is the scalar product in the Minkowski space-time, and or .
Let be the conjugate momentum of . If we now quantize the scalar field by the usual equal-time commutation relations, an elementary computation leads to
Now, consider that the scalar field is in a representation of the compact Lie algebra . Let be the corresponding matrix representation. Then, the Nœther theorem leads to the conserved current
and the equal-time commutation relations imply
Upon space integration , we reproduce (53). A second integration leads to (52). Thus, the conserved charges generate the Lie algebra (52), which appears naturally upon compactification. This fact was already observed in [62] for the case .
The construction of the KM algebras associated to follows naturally from the description given in Section 2.2. We now introduce the generators of the Cartan subalgebra of for the left (resp., right action) (resp., ) satisfying (30), together with their associated two-cocycles
(see (25)). As the detailed steps are given in Section 2.2, we merely indicate the results without further details. The KM algebra associated to can be defined (with the notations of Section 2.2) by , with non-vanishing Lie brackets:
Note that, here, are the components of the weight vectors of the corresponding representation.
Now, consider briefly the construction of a KM algebra associated to a coset , where is a closed subgroup of . The construction of a KM algebra associated to the manifold is entirely analogous to the construction of the KM algebra associated to , mutatis mutandis, the following replacements:
- The metric on is given by (48).
- The scalar product reduces to (50).
- The Hilbert basis of H) is given by the set of invariant vectors of the right-action (51).
- The Killing vectors and the corresponding symmetry algebra of are given in (49). Denote the generators of the Cartan subalgebra satisfying (30).
- The two-cocycles are obtained through (29) (with the commuting Hermitian operators satisfying (30) ).
The Lie brackets of the algebra H) are given by the Lie brackets (55) modulo the substitutions above.
3.4. KM Algebra Associated to SU and SUU
In this section, we give explicit examples of KM algebras associated to compact group manifolds or cosets. A detailed account of their construction was given in [40]; for this reason, we merely present two examples here.
We first consider SU. Here, we give the principal steps, the details of which can also be found in [40,47]. We have
where is the three-sphere. A parameterization of is given by
From
(36) leads to the left-invariant one-forms
and to the metric tensor
The left/right invariant vector fields obtained by solving Killing Equation (1) are
and satisfy the commutation relations
The quadratic Casimir operator reduces to
Finally, the SUscalar product is given by
We now identify the matrix elements. Since and , we need two labels to identify the matrix elements of , one external corresponding to the eigenvalue of the quadratic Casimir operator, and one internal label determined by the Cartan subalgebra eigenvalues of the left/right action of . Thus, we obtain [47] ):
where denotes the Euler hypergeometric polynomial (see, e.g., [45] for definitions). A direct inspection gives rise to
leading to (see Section 2.1). These matrix elements were obtained by solving the differential equations
where is the quadratic Casimir operator [47], and we have
The set
constitutes a Hilbert basis of , and the following is satisfied:
We now have all the ingredients to define the KM algebra associated to SU. First, observe that the differential operators satisfy both (30). Let be the corresponding two-cocycles. One may now wonder whether there exists additional differential operators compatible with the two cocycles . This will be studied in the next section. Thus, in turn, we are able to define the possible extensions of the algebra (see (52)) by
with Lie brackets (see [40])
Here, we have
with the Clebsch–Gordan coefficients. Note that we recover the algebra obtained in [40,47]. There exists a second algebra associated to , which will be studied in the next section.
The KM algebra associated to SUU follows directly from the construction above. A point in the coset is parameterized by
obtained by the substitution in (55). From (47), we obtain the left-invariant vector fields
such that the metric on the two-sphere reduces to
The invariant vector fields obtained by solving Killing Equation (1) are
and generate the Lie algebra. We finally define the scalar product
Following Section 3.2, the only representations to be considered for harmonic analysis on the two-sphere are those having matrix elements with eigenvalues equal to zero (see (51)). This is possible if and for . By substituting in (59), we obtain the following ):
where
The KM algebras associated to follow immediately:
with Lie brackets (see [40])
Since in the coset SUU, the matrix elements of the left action are obtained from the matrix elements of SU, for , the coefficients (63) reduce to
This algebra was obtained for the first time in [31]; see also [40,47].
3.5. Virasoro Algebra Associated to the Two- and Three-Sphere
In this paragraph, we show that, for two- and three-spheres, an analog of the Virasoro algebra can be constructed.
First, consider the case of . Let L be a vector field on :
As , every closed one-form on the sphere is exact. Let be a closed one-form associated to the cocycle
The compatibility condition between the KM algebra with a two-cocycle is
where are the Lie brackets without central extension, i.e., the Lie brackets of , which turn out to be
with c a constant whose solutions are given by (see [33])
The generators generate the area-preserving diffeomorphism algebra [63,64]. The second solution is possible if the denominator does not vanish. In particular, if we define the cocycle associated to , the generators of the de Witt algebra
are compatible with the two-cocycle . Thus, we are able to define the algebra
with the following Lie brackets:
A similar analysis holds for . As , a closed one-form is exact. Let , and let . The corresponding two-cocycle associated to the closed form is given by
From , and since has no boundary, we have
where
It can be shown that the vector field (see also (33))
is compatible with the two-cocycle [33]. The algebra generated by the operators of the form above is called area-preserving diffeomorphisms in [63,64]. Thus, we are able to define (pay attention to the fact that, in this case, we only have one central charge, say )
where
and with Lie brackets:
We now show that the de Witt algebra of the two- and three-sphere can be centrally extended. Before analysing possible central extensions, let us make several observations. A basis of the algebra of vector fields is given by . Several subalgebras of with different properties may be considered. For instance, Floratos and Iliopoulos studied the area-preserving diffeomorphism algebra that appears in the analysis of bosonic membranes. If the membrane has the topology of a two-sphere, this algebra is generated by the vector fields of the form [63] and satisfies
where is the Poisson bracket. In particular, for , we have
where the structure constants
are given in [65]. The second relevant algebra is that associated with the compatibility of the cocycle [33]. This algebra is generated by the vector fields of the form :
The difference between the algebras given in (68) and (70) is that, for the former, the function h in varies, whereas in the latter, the function h in is fixed. It has been shown in [64] that the algebra (68), or the area-preserving diffeomorphism algebra, does not admit central extensions. In contrast, we now show that the algebra (70) for admits a central extension. Introduce the spherical harmonics in the form
where are the associated Legendre functions, satisfying the orthonormality property for :
We also have
and
which are a direct consequence of analogous relations for and from the definition of (see (71)). Let
We further assume that the satisfies the relations
Now, using the orthonormality relations (72), (73), and (74), integration by
leads to
We now check that the Jacobi identities are satisfied using (75). Indeed,
where we have used .
Thus, altogether, the algebra
has Lie brackets:
where now .
It remains to be shown that the algebra above is the only centrally extended Lie algebra obtained from and that one can consistently define. Recall that , which contains as a subalgebra (where are the algebra associated to the isometry of ) and has Lie brackets:
The algebra admits an infinite number of central extensions [4]. Explicit expressions can be found in [33,36,37]. Now, the compatibility of the algebra which centrally extends and is two-fold: on the one hand, only one cocycle can be considered, say . On the other hand, only the vector fields (64) are compatible with . If we now centrally extend by introducing the two-cocyle , the only generators of the first algebra that are compatible with are the operators (see (65)), and the only operator of the second algebra that is compatible with is (strictly speaking, the operator is also compatible with ):
Finally, if we centrally extend the de Witt algebra , we obtain the Virasoro algebra of the two-sphere. Thus, in conclusion, the algebra with brackets given in (76) is the only centrally extended algebra that one can define along these lines.
The analysis for the three-sphere is similar, starting from
We have introduced the functions defined by . Thus, if we assume
as for the two-sphere, we obtain the algebra
where
and with Lie brackets,
We now have . This algebra is defined in [44].
4. KM Algebras on Non-Compact Lie Groups
The purpose of this section is to extend the results of the previous section to the case of non-compact manifolds.
4.1. Some Generalities
Let be a non-compact Lie group, and let be its corresponding Lie algebra. In contrast to compact Lie algebras, where the Killing form is positive definite (we use the physicists’ notation, in which the Lie brackets have an additional factor. Thus, for unitary representations, the generators of the Lie algebra are Hermitian, and the Killing form is definite positive for a compact semisimple Lie algebra). For non-compact Lie algebras , the Killing form has the signature with . Despite this difference, the metric on is obtained in a similar way to the metric on (see Equations (34)–(38)). Since, in this case, the manifold is non-compact, its volume is infinite (the volume is finite for a compact Lie group ). Thus, we define the scalar product for by
for the variables m, with the same notations as in Section 3.1. As it holds for compact manifolds, when solving the Killing equations, the generators of the left (resp., right) action, and corresponding to the left/right action of , automatically appear as solutions. For the corresponding generators, here, we adopt the same notation used for (see (42)).
The next step in the construction of a KM algebra associated to is to decompose square integrable functions on . However, the situation for non-compact Lie groups is very different than the situation for compact Lie groups. The first difference resides in the unitary representations of . Due to non-compactness, unitary representations are infinite-dimensional (recall that for a compact Lie group, all unitary representations are finite-dimensional). Next, there exist two types of unitary representations: the discrete series and the continuous series [66]. A non-compact Lie group always admits a continuous series as a unitary representation, but the former exists iff the rank of the non-compact group is equal to the rank of its maximal compact subgroup. The discrete series are characterized by discrete eigenvalues of the Casimir operators, whereas the continuous series have continuous eigenvalues of the Casimir operators. This, in particular, means that if we realize the Lie algebra on the manifold , the continuous series are non-normalizable, while the discrete series are normalizable. Hence, the harmonic analysis on is more involved in this case and is summarized in the Plancherel theorem [51]. This theorem basically states that any square integrable function on decomposes as a sum over the matrix elements of the discrete series and an integral over the matrix elements of the continuous series. However, since we are considering Hermitian operators with continuous spectra, their eigenfunctions are not normalizable. This means that some care must be taken. Thus, we consider a Gel’fand triple of a Hilbert space (see, for instance, [67]). Let be a dense subspace of smooth functions of and its dual
where is an injective bounded operator with a dense image, and K is the composition of the canonical isomorphism determined by the inner product (given by the Riesz theorem) and the dual of J. The set we consider here is the space of rapidly decreasing functions in any non-compact directions of or, for short, Schwartz functions. Schwartz functions (which generalize the well-known set of Schwartz functions for ) were defined for any semisimple Lie group by Harish–Chandra (see also [68] and the references therein). With these definitions, it turns out that the matrix elements of the continuous series belong to , and a closed expression of the Plancherel theorem can be given (see, for instance, [67], Theorem 1, p. 426, and (34)–(37) p. 429 or [68] Chapter 8).
We also consider a second way to expand any square integrable functions on by identifying a Hilbert basis of . This is always possible, since any Hilbert space admits a Hilbert basis (i.e., a countable, complete set of orthonormal vectors) [49].
Therefore, following the steps of Section 3.3, one can naturally associate to a corresponding KM algebra. In this review, we do not consider a generic non-compact manifold ; we only focus on a specific , namely . There are two isomorphic presentations of the KM algebra associated to . The first one is based on the Plancherel theorem and involves integrals and Dirac distributions in its Lie brackets. The second is based on the identification of a Hilbert basis of and involves only sums and Kronecker symbols in its Lie brackets. Since we are only considering Schwartz functions throughout, both presentations are isomorphic.
4.2. A KM Algebra Associated to SL
In this section, we give some details about the construction of the KM algebra associated to . At the end of the section, we briefly comment on the construction associated to .
4.2.1. The Group SL
The group is defined by the set of complex matrices
where is the hyperboloid, which can be parameterized as follows:
From this parameterization, we obtain the left-invariant one-forms (see (36))
Thus, the metric tensor is
The generators of the left/right actions of , obtained by solving Killing Equation (1), are
and satisfy the commutation relations
The Casimir operator is given by
and the scalar product on reduces to
We recall that unitary representations of were classified by Bargmann [18] (see also [45]):
with the sign being conveniently chosen for each representation (see Proposition 1). Unitarity restricts and :
Proposition 1.
Unitary representations are as follows:
- 1.
- : Discrete series bounded from below or and ;
- 2.
- : Discrete series bounded from above or and ;
- 3.
- : Principal continuous series and or ( or );
- 4.
- : Supplementary continuous series and ().
The sign ϑ can be taken to equal 1; however, conveniently, we take for the discrete series bounded from below, as well as for the (principal and supplementary) continuous series, and we take for the discrete series bounded from above.
The discrete series is bounded from below, whereas the discrete series is bounded from above. The continuous series and are unbounded. The eigenvalue of is discrete for the two discrete series, and it is continuous for the two continuous series. Note that admits discrete series because and rk rk .
4.2.2. Matrix Elements of and the Plancherel Theorem
The Plancherel theorem only involves the two discrete series and the principal continuous series. Since the supplementary continuous series plays no role (see [51,69,70]), we hereafter only consider the discrete and continuous principal series. The corresponding matrix elements are denoted as or, more specifically, for the discrete series, , where , for the discrete series bounded from below () and above () (the unitarity of representations implies , but in order to have normalizable matrix elements, we now have [18,45]), and for the continuous principal series, , where , , for the continuous principal bosonic (resp., fermionic) (resp. ). These matrix elements are obtained by solving the differential equations
We can unify all matrix elements in the following form (for ):
where with for the discrete series, and with for the continuous series. We have defined for the discrete series bounded from below and the continuous series, as well as for the discrete series bounded from above, and (resp., ) for the discrete version (resp. continuous series). The matrix elements for are obtained by using the substitution everywhere, except in the exponential factor, which is unaffected, and are multiplied by an overall factor . Recall that is a hypergeometric function (see [45] for a precise definition). The matrix elements of discrete series are, thus, expressed in terms of hypergeometric polynomials, whereas the matrix elements of continuous series are expressed in terms of hypergeometric functions [45]. They are normalized such that
and satisfy (81) for the left and right actions. As stated previously, the matrix elements of the discrete series are normalizable (see (82)) but satisfy
whereas the matrix elements of the continuous principal series are not normalizable and satisfy
(see [45]). Finally, we have
Let be the set of Schwartz (or rapidly decreasing) functions in the direction, and let be its dual (see (78)). The asymptotic (when ) expansion of the matrix elements of the discrete series was studied in [18,45], and it turns out that the matrix elements belong to . Moreover, the matrix elements of the continuous principal series belong to ; see, for instance, [67], Theorem 1, p. 426, and (34)–(37) p. 429 or [68] Chapter 8. Then, considering a function , the Plancherel theorem enables us to expand f as follows (see [69,70], pp. 336–337):
i.e., as a sum over the matrix elements of the discrete series and an integral over the matrix elements of the principal continuous series. This is the Plancherel theorem for . The components of f are given by the scalar products (80)
Introducing the symbol to denote the summation over all discrete and continuous series, we can rewrite (86) as
with .
4.2.3. Hilbert Basis of
The Plancherel theorem gives rise to an expansion of Schwartz functions as a sum over the matrix elements of the discrete series and an integral over the matrix elements of the continuous series (see (86)). As any Hilbert space is known to admit a Hilbert basis [49], we would now like to identify a Hilbert basis of . Let , where constitutes the set of square integrable functions expanded within the discrete series (first line of (86)). By definition, the set of matrix elements of a discrete series is a Hilbert basis of . In other words, since the matrix elements of the continuous series are not normalizable, they do not constitute a Hilbert basis of . V. Losert identified a Hilbert basis for (see [45]). Let be the eigenspaces of the operators and
For , we get
The main idea of V. Losert is to identify a Hilbert basis of for each n and m. Let
be a Hilbert basis of . Observing that for the discrete series bounded from below (resp., above), we have (resp., ) (see Proposition 1), three cases have to be considered for [45]:
- : contains matrix elements of the discrete series bounded from below, together with elements of .
- : contains matrix elements of the discrete series bounded from above, together with elements of .
- or or : contains only elements of .
Let if and if , and define the condition
which ensures that . Then, set
such that if
this shows that when condition (90) does not hold. Considering , for [45], we have
where are Jacobi polynomials (the matrix elements of the discrete series are expressed in terms of hypergeometric polynomials. However, one may show that these hypergeometric polynomials can be easily related to Jacobi polynomials [45]). Recall that . Thus, involves Jacobi polynomials of degree , and involves Jacobi polynomials of degree [45]. We have similar expressions for and the conjugation relations:
The set is a complete orthonormal Hilbert basis of called the Losert basis:
Therefore, if , we have
Since the generators act on , and since is a sub-representation, i.e., an invariant subspace of , it follows that is also a representation of . The action of on is given by
The action of the Casimir operator reduces to
This action clearly shows that this representation is unitary but is not irreducible. Explicit expressions of the coefficients and are given in [45].
The asymptotic behavior of the functions was studied in [45], and it turns out that the functions are actually Schwartz functions. Thus, for , one can use the Plancherel theorem and write (86)
where if are integers, and if are half-integers. It should be observed that there is no summation on n and m. Furthermore, using (87), we have (with the scalar product (80))
This implies that relation (98) can be inverted
with defined in (92). Thus, we are able to express the matrix elements of the (principal) continuous series in terms of the Losert basis. This observation is important for the construction of the algebra below.
4.2.4. Clebsch–Gordan Coefficients
The next step in the construction of a KM algebra associated to SL is the computation of the Clebsch–Gordan coefficients corresponding to the decomposition . This was studied in [71,72]. The coupling of two discrete series was studied by means of a bosonic realization of the Lie algebra ; for the case in which at least one continuous series is involved, the result was obtained by a cumbersome analytic continuation. A heuristic decomposition can be deduced from a back-and-forth process. More precisely, let be two representations of in the Plancherel basis; expand the matrix elements of and in the Losert basis using (99); subsequently, decompose the product in the Losert basis, and then express the results back in the Plancherel basis using (98). For instance, consider two discrete series bounded from above: . The product of two matrix elements is such that (see condition (90)). So we have . Thus, the product decomposes only in the discrete series bounded from above. The situation is very different for the product , which involves both matrix elements of the discrete series and continuous series. Indeed, the product of two matrix elements is such that and . So, it may happen that (depending on the respective value of and ), and thus, belongs to . So, in this case, according to (98), decomposes as an integral over the matrix elements of continuous representations.
Thus, we generically write
with the notations of (88), and where or and takes one of the allowed values occurring in the tensor product decomposition (see [45,71,72] for a case-by-case treatment with the same notations). The coefficients are given by the corresponding product of Clebsch–Gordan coefficients (see [45,46]).
Similarly, if we proceed with the Losert basis, as the product is square integrable (even better, it is a Schwartz function) [45], we have
From now on, we call the Plancherel basis the set of matrix elements of the discrete and principal continuous series, i.e., the s and the Losert basis of the s.
4.2.5. A KM Algebra Associated to
The KM algebra associated to SL is obtained in an analogous way to the construction of the KM algebra associated to a compact Lie group . It is a central extension of the algebra . In the Plancherel basis (PB), we have
and in the Losert basis (LB), we get
The Lie brackets take the form
according to (100) and (101). Of course, since we can express the in terms of the and vice versa, because of (99) and (98), the two presentations of the algebra are isomorphic. In (102), we explicitly write the symbol ∑ in the LB (i.e., we do not use the Einstein summation convention) in order to emphasize the different presentation of the algebra in the PB and in the LB bases. Indeed, in the former basis, the algebra involves an integral, while in the latter, it involves the sum.
The next step in the construction is to introduce Hermitian operators and compatible two-cocycles. The construction is similar to the SU case. We first introduce the two commuting operators . In the Losert basis, the action of the commuting Hermitian operators is given in (89), and in the Plancherel basis, the action of Hermitian operators is given in (81) with the corresponding value of . We then associate to compatible two-cocycles :
Thus, using the orthogonality conditions (82) and (84) (resp., (95)) and the conjugation property (85) (resp., (94)) in the Plancherel (resp., the Losert) basis, we obtain
in the PB basis, and
in the LB basis. Defining
we obtain
in the PB basis. We have a similar expression for .
With the same notations as before, we define the KM algebra associated to SL:
From (102), (103), and (82) and (84), the Lie brackets are
in the Plancherel basis, and from (102), (103), and (84), the Lie brackets are
in the Losert basis. This algebra was obtained in [45].
Since we can expand the Losert basis in the Plancherel basis (98) and the Plancherel basis in the Losert basis (99), the two presentations of the algebra (106) and (107) are equivalent. Each presentation has its own advantages. In the former case, elements of are expressed by means of the unitary irreducible representations of , but the Lie brackets involve integrals and Dirac distributions as a consequence of the continuous basis. In the latter case, the Lie brackets involve only sums and Kronecker symbols, but the elements of are expressed by means of a reducible representation of associated to the Hilbert basis of .
This algebra is very different from its analog of the KM algebra of compact Lie groups. Indeed, for a compact Lie group, we have because the trivial representation is a unitary representation of . However, in the non-compact case , is not included in because the trivial representation is non-normalizable on the manifold.
We conclude this section by mentioning that one can associate a Virasoro algebra to . This construction follows the same lines as the corresponding construction in Section 3.5. We introduce
which are compatible with . The commutation relations read
This algebra admits a central extension, exactly along the lines of Section 3.4, and with the same notations, we introduce the generators:
with Lie brackets in the PB basis
and in the LB basis
Thus, (similarly to SU, we only introduce one central charge, say ) has a semidirect structure with the action of the Virasoro algebra on the KM algebra, with the remaining part being
The algebra is, thus, defined by (106)/(107) (with the central charge being ), (108)/(109), and (110). Again, the Virasoro algebra of is very different from the Virasoro algebra of SU. Recall that for the Virasoro algebra of SU, we have (see (77)), but here, as the trivial representation is not normalizable, we cannot relate to a specific element of Vir. However, one can extend the Virasoro algebra to Vir, where the action of is given by
We finish this section by mentioning that a KM algebra on can be easily deduced from the KM algebra on . The only representations that appear in the harmonic analysis on are the representations that are chargeless with respect to . The only representations that survive this condition in the PB basis are the matrix elements of the bosonic principal continuous series , and in the LB basis, the elements of (LB). More details and the explicit brackets can be found in [45].
5. Soft Manifolds
This section is devoted to the construction of KM algebras on soft group manifolds; that is, on group manifolds with a soft deformation.
KM Algebras on Soft Manifolds
In Section 3 and Section 4, we consider KM algebras associated to (compact and non-compact) group manifolds. These manifolds have a large isometry group (associated to the left and right actions of the group itself). Furthermore, for these manifolds, the Vielbein satisfies the Maurer–Cartan equation (37) or is a left invariant one-form. Moreover, for these manifolds, the metric tensor is naturally deduced from the Vielbein (38).
Let be a group (compact or non-compact); we now consider a smooth, ‘softening’ deformation of the Lie group , locally diffeomorphic to itself (see, e.g., [15] and the references therein). We further assume that the manifold has the same parameterization (see Section 3 for a compact manifold, and see Section 4 for a non-compact manifold), the only difference between and being at the level of the metric tensor. Thus, we assume that the Vielbein is an intrinsic one-form (valued in the Lie algebra of )
i.e., it is not a Maurer–Cartan one-form (it does not satisfy Equation (37)):
where R is the curvature two-form of . In other words, is not left-invariant (i.e., it is a ‘soft’, intrinsic one-form). It is in this sense that we consider that the ‘soft’ group manifold is a deformation of . The metric tensor is now defined by
where is the Killing form of the Lie algebra (positive definite for compact manifolds and indefinite for non-compact manifolds). Taking the exterior derivative of both sides of Equation (111), one obtains the Bianchi identity for the curvature of ,
where the covariant derivative operator ∇ on has been introduced. For instance, if , where SO (resp., ISO) corresponds to the Lorentz (resp., Poincaré) transformations in dimensions, is the dimensional Minkowski space-time of Special Relativity, and its deformation is the dimensional Riemann space-time of General Relativity [12].
The fact that the metric tensors differ for the manifold (see (38) or its analog for a non-compact manifold) and its deformation (see (112)) is not the only difference between and . Indeed, as seen previously, the manifold has a large isometry group, namely , but in general, the isometry group of is reduced with respect to its undeformed analog. Stated differently, solving Killing Equation (1) leads to less invariant vector fields. Consequently, if we follow the construction of KM algebras in Section 2.1, we will obtain a less rich structure. For this reason, we associate a KM algebra to following a different strategy. We endow with the scalar product
where , and n is the dimension of . The coefficient C depends on the manifold. For a compact manifold , we take , the volume of . For a non-compact manifold, see (80) for . Notice that, since the parameterization of and is the same, the limits of integration are, again, in this case. As a final hypothesis concerning the deformed manifold, we assume that is non-singular and well defined at any point of (see (115) below).
Let be the set of square integrable functions on . We would like to identify a Hilbert basis of from a Hilbert basis of (for a non-compact manifold, the Plancherel theorem involves normalizable and non-normalizable functions (see Section 4). However, the technique presented here extends to non-normalizable functions. For , we will consider two explicit examples, with an obvious generalization to any ). The results presented here are due to Mackey [73] (see also [45]). Let be a manifold (not necessarily a group manifold), and let be the set of square integrable functions defined on . Assume that the manifold is endowed with two different scalar products with measures and , respectively:
We assume further that there exists a mapping
such that
For an n-dimensional Riemannian manifold parameterized by with metric (resp., ), we have (resp., ), and thus, . This means that if is a Hilbert basis of , then is a Hilbert basis for , and we obviously have
and the map is unitary.
Returning to our softly deformed manifold, let be the metric of , let be the metric on , and let , . Let be a Hilbert basis of ; according to (114),
where is a Hilbert basis of , and we have
where, in the second equality, we have used the scalar product over the manifold . We assume that the transition function is non-degenerate, namely that
with .
This construction can be adapted easily for non-normalizable functions. As an illustration, consider the Minkowski space-time in D dimensions. By the Fourier theorem, the set of plane waves
where is the usual Minkowski scalar product, enables the expansion of any Schwartz function. Indeed, in this case, by using Fourier transformation, we have
and
The procedure of Mackey can be extended easily in this case and
with
Finally, the closure relation of the wave functions implies
thus, the set is complete, and these elements enable the expansion of any Schwartz function of the Riemannian space-time:
Note, however, that the functions in are defined by means of the scalar product in the Minkowski space-time and not the scalar product in the Riemann space-time. As a second example, we now consider a deformation of . In this case, the Mackey procedure leads to
for, respectively, the matrix elements of the discrete and principal continuous series. These matrix elements satisfy the first equation in (82) and Equation (84), with the scalar product (113), instead of the scalar product (80). In a similar manner, as seen for the previous example, the set of functions in (117) is a complete set. Of course, only the former functions are normalized, while the latter functions are not normalizable. Because of hypothesis (115), even the functions are Schwartzian. This set of functions enables us to have a ‘Plancherel’ decomposition on . Actually, if f is a Schwartz function, we have
with the notations of (88) and (87).
Furthermore, if is non-compact, it is always possible to identify a Hilbert basis, i.e., a complete set of orthonormal functions. The Mackey procedure follows easily in this case. Again, for , this leads to
which form a Hilbert basis of and are also Schwartzian.
Following the notations of Section 3.1 (similar results hold for the label states of non-compact manifolds, so we take the same notations in both cases) and, in particular, the results due to Racah [57], we denote (see (41), for ) the set of matrix elements, which allows us to expand any Schwartz functions on , and define
the corresponding set in through the Mackey procedure.
The next step in our construction is to decompose the product in the basis (119). We first analyze the case where is a compact Lie group. As the metric tensor of the soft manifold satisfies (115), this, in particular, means that any function can be expanded in the Hilbert basis of (41). Conversely, any function can be expanded in the Hilbert basis of :
Therefore, the product decomposes as
where
If is a non-compact manifold, this procedure extends naturally to any Hilbert basis, such as (117) for . In [47], we proceeded in a different but equivalent way to obtain the decomposition of the product . However, the proof given in [47] does not extend to the case where is a non-compact manifold. We now consider non-compact manifolds, and we consider as an illustration. Since the matrix elements are Schwartz functions, and the metric of satisfies (115), the functions (see (117)) are also Schwartzian and can, thus, be decomposed in the Hilbert basis of (in this analysis, in order to simplify the presentation, we assume that decompose in the set of functions ; more general situations can be encountered.) (see Section 4.2.3):
We now turn to the decomposition of . We recall that, in the case of , the Plancherel theorem enables us to express the matrix elements of the continuous series in terms of the Losert basis of and vice versa [45] (see (98) and (99)). Thus, in the case of , because of (117) and (118), we have exactly the same expansion, and (117) and (118) reduce to
Observe that we have only a sum over k in the second equality and an integral over in the first equality. We also have (as before, we assume for simplicity that if , then )
where, for the sum over , we have , and the sum over is unconstrained (note that if , we have no restriction on the summation over ). Thus,
where
Note that there is no summation over n and m. This relation can be inverted
with
Then, the product decomposes as
where the coefficients can be deduced either from the transformations properties (123), (126), and (125) or from the relations (100) involving the Clebsch–Gordan coefficients of .
To summarize, for any soft manifold , we have
The decomposition of the product follows at once by (127) and (44). The Lie algebra
has Lie brackets
according to (52) and (127). Note that, due to relation (127), the Lie algebras and are isomorphic.
We now turn our attention to the identification of Hermitian operators. As mentioned previously, the isometry group of the soft manifold is smaller than its undeformed analog. Thus, if we solve Killing Equation (1) for , we have fewer Killing vectors than those for . In order to have a number of generators larger than the dimension of the isometry group of , define [47] (see also [74] for an analogous definition)
In general, these generators do not generate the isometry group of , but it follows at once that
and
with the matrix elements of the representation of associated to the eigenvalues of the Casimir operators Q. Thus, and generate the Lie algebra , and are the corresponding matrix elements of (but not of , which is not a group). This means that, locally, and are diffeomorphic. Moreover, since the operators are Hermitian with respect to the scalar product on , the operators will be Hermitian with respect to the scalar product on . Note, however, that the generators are certainly not linear combinations of the generators , simply because, in general, the soft manifold has fewer Killing vectors than the manifold .
One observation is required. As we have seen, are in the left and right representations of (see (129)). However, since the metric tensor is deformed by the parameter , we have to take into account this deformation parameter when considering tensor products of representations. In particular, if we define
thus, we recover the usual results, instead of (121) (for a compact manifold).
The last step in our construction is to identify relevant central extensions. First, observe that two-cocycles can be defined equivalently to the case according to (21) or (22). However, because of (128), this construction is more involved. We identify relevant central extensions following a different strategy. Indeed, we have already obtained central extensions for the algebra denoted -associated and to the two-cocycles (see (54) for a compact Lie group, and for a similar relation for , a non-compact Lie group).
Before going further, recall some well-known properties about two-cocycles. Let be a Lie algebra with Lie brackets . Then, if we define a new algebra with a new bracket, ( belongs to or , depending on whether we consider real or complex Lie algebras), then this algebra is endowed with the structure of a Lie algebra if is a two-cocycle. This is equivalent to saying that the Jacobi identity is satisfied, i.e., that we have
Obviously, if we perform a change of basis: , the two-cocycle is given by
and, the Jacoby identity above is satisfied with the new two-cocycle.
Returning to , relation (127) allows for defining the two-cocycles of from the two-cocycles of because of (130). In the case of a compact Lie group (the case of a non-compact Lie group is easily obtained with the substitution ), the two-cocycles take the form
(with a similar relation for ) because of (120). It is important to emphasize that the two-cocycles above are defined with integration on the manifold , not on . This observation is very important when we identify the series of operators that are compatible with these cocycles. It turns out that the operators compatible with are the operators , satisfying (30), not the operators .
The KM algebra associated to (with a compact Lie group) is then defined by
with Lie brackets
where is defined in (122). Analogous expressions hold for a non-compact Lie group.
Because the algebras and are isomorphic, and because of (131), it seems that, at a first glance, the algebras and are also isomorphic. However, for the algebra associated to , the differential operator is associated to a Killing vector of , while for the algebra , we consider the same differential operators, but they are not associated to any Killing vector. This observation simply means that the algebras and are only diffeomorphic locally, as and are locally diffeomorphic. There is a case where U is very specific. Indeed, if we consider a soft manifold U with scalar product
a change in variables leads to the isomorphism UU, and there are no non-trivial soft deformations of affine Lie algebras [47]. This is a consequence of the property that any one-dimensional manifold without a boundary is homeomorphic to the one-dimensional sphere .
It is also possible, in some cases, to associate a Virasoro algebra of . We briefly comment on this point. Let be the set of generators of the Cartan subalgebra of satisfying condition (30). The de Witt algebra (with obvious relations for ) reads
and has Lie brackets
because of (20) and (127). On the one hand, if the corresponding operators in are compatible with the cocycle , the operators are compatible with the cocycle . On the other hand, if admits a central extension, then also admits a central extension because (130) holds.
In this review, we will not consider any example of KM algebras associated to soft deformations of (compact) Lie groups, since their construction essentially moves along the same lines as the compact group manifolds. The interested reader may consult [47] for more details.
6. Roots Systems and Some Elements of Representation Theory
In this section, we would like to introduce a system of roots for the Kac–Moody algebras considered in previous sections. In the second part, we shall introduce some elements of representation theory, and, in particular, we shall see that the situation is very different from the corresponding situation for affine Lie algebras. Notwithstanding that the results of the previous section (i.e., the construction of the KM algebra ) can easily be extended to any complex or real Lie algebra , in this section, we assume that is a compact Lie algebra.
6.1. Roots System
For simplicity, we now consider Kac–Moody algebras associated to compact Lie groups; that is, or with H a subgroup of [40]. The other cases can also be considered, but with more technical difficulties that are irrelevant for the analyses below—see [45] for the case where is a non-compact Lie group.
Let be a compact Lie algebra (not to be confused with the compact Lie algebra of Section 3.1), and assume that is of rank r. Let be a Cartan subalgebra of , let be the root system of , and let be the corresponding root vector. To ease the notations, we denote with the notations of Section 3.1; then, using the Cartan–Weyl basis, the Kac–Moody algebra is generated by
and the non-vanishing Lie brackets are
where
with the Killing form defined in Section 3.1, and the operators associated to roots of are normalized as
The coefficients depend on and are equal to if is simply laced. Note the hermiticity relations:
where means .
In a way entirely analogous to the usual affine Lie algebra (see, e.g., [5], pp. 343–344) [40], we can extend the Killing form to by
Let be the possible eigenvalues of the Casimir operators, let , and let be the corresponding representation. Define to be the set of vectors with zero weight. Let be the corresponding elements in . These elements are obviously commuting. (for instance, if , all bosonic, or integer spin, representations have exactly one zero-weight vector, and in this case, is an infinite-rank Lie algebra.) Thus, from (134), the maximal set of commuting operators is given by
This means that the Kac–Moody algebra is an infinite-rank Lie algebra. Due to the difficulty of dealing with infinitely many commuting generators being diagonalized simultaneously, we define the root-space of by considering the finite-dimensional subalgebra defined by
(with the notations of Section 3.1 for the definition of ) where correspond to the generators of the ‘loop’ algebra, and is associated to the trivial representation of . The corresponding root-spaces are given by
Since, in general, the number of compatible commuting operators is such that , unlike the usual Kac–Moody algebras, the root spaces associated to the roots are infinite-dimensional, and we have
with . There is one notable exception. The Kac–Moody algebra associated to U admits exactly compatible commuting operators [40] (these algebras are called toroidal algebras in [35] and quasi-simple Lie algebras in [32]). Thus, in these cases, the root-space is one-dimensional. Finally, it is important to observe that the Lie brackets between two elements involve not only the root structure, but also the representation theory of in the form of the Clebsch–Gordan coefficients (see (134)).
Introduce ; then, a root of is defined by , where corresponds to the root of the simple compact Lie algebra ; the following entries correspond to the vanishing eigenvalues of the central charges , and are the eigenvalues of .
A root is said to be positive if it satisfies
According to (135), we can endow the weight-space with the scalar product:
where is the usual scalar product in .
As it happens, for usual Kac–Moody algebras [3], we have two types of roots. The set of roots of with satisfy
and are called real roots, while the set of with , satisfying
is called the set of imaginary roots. The imaginary root-space is dimensional.
Recall that denotes the number of central charges, which we call the order of centrality. We now show that unless , we cannot find a system of simple roots for . To this extent, introduce the simple roots of . If , and we denote by the highest root of , it is easy to see that
is a system of simple roots of . Now, if we suppose that , as the positive roots are given by (i) with , (ii) with , or (iii) , and since the roots are neither bounded from below nor from above (because ), we cannot define a simple root of the form , where corresponds to the highest possible value of (or the lowest possible value of ). This means that for , we cannot construct a system of simple roots. In other words, the only generalized Kac–Moody algebras that admit simple roots are (obviously) the usual affine algebras, as well as the Kac–Moody algebras associated to studied in [40].
Note that there is an alternative generalization of affine Lie algebras also called Kac–Moody algebras, introduced independently by Kac and Moody. These algebras admit a system of simple roots and are defined by a generalized Cartan matrix [1,3,75]. However, both generalizations of affine Lie algebras, i.e., Kac–Moody algebras associated to a manifold , and Kac–Moody algebras associated to a generalized Cartan matrix, exhibit fundamentally different features. Indeed, the former is of infinite rank—except for the algebra , see Section 6.3, but all its roots and the corresponding generators are explicitly known, whereas the latter has finite rank, but its generators are only iteratively known in terms of the Chevalley–Serre relations.
6.2. Some Elements of Representation Theory
Let be a compact Lie group, and let be a subgroup. Let or , and let be the corresponding Kac–Moody algebra. The representation theory of is very different from that of usual affine Lie algebras when . In fact, we will show that, firstly, unitary representations of exist iff there is only one non-vanishing central charge. Further unitary representations forbid the highest weight representations.
To begin, consider the Kac–Moody algebra . In the Cartan–Weyl basis, we have
and the Lie brackets are given by () (to be in accordance with the literature on affine Lie algebras, please note the change in sign in the central charges compared to (134)).
We stress again that, in this case, the root-space is one-dimensional. Moreover, because of this last property, the Cartan subalgebra, in contrast to that for generic cases (), is not infinite-dimensional, but its dimension is equal to .
Recall that a root is said to be positive if it satisfies (137). Assume that rk , and let be the simple roots of . Introduce further the fundamental weights of , satisfying
Since , if is a unitary representation of , it decomposes into , where are unitary representations of . However, unitary representations of are in one-to-one correspondence with highest weight vectors .
Proposition 2
([40]). Let , and let be a generalized Kac–Moody algebra. Let , and suppose that is such that
Define to be the highest weight representation obtained by the action of with on the vacuum state .
- (i)
- If is a unitary representation, all central charges vanishes, except one.
- (ii)
- If is the highest weight satisfying (140), then is not a unitary representation.
Proof.
(i) Let be a root of . The generators
span an subalgebra. Assume ; thus, . Unitarity condition )
implies
Suppose ; then, . In this case, (141) is very strong. Indeed, since , this means that with and . Condition (141), which must be satisfied for any , is equivalent to imposing that only one central charge is non-vanishing. This proves (i).
(ii): Since only one central charge is non-vanishing, without loss of generality, we can suppose and . Assume, again, , and let with , and . The operators (with )
also generate an subalgebra. As before, the condition holds, from which we deduce that
However, as , this cannot be satisfied if . Thus, the representation is not unitary, which proves (ii). □
Corollary 1.
Let be a simple compact Lie algebra; then, the Kac–Moody Lie algebra does not have any unitary highest weight representation.
These results can be extended to the case of a more general Kac–Moody algebra, such as or . Some elements of the proof are given in [40]. It is important to observe that, in the absence of symmetries between the generators , we can have different possibilities, given by (eventually reordering the eigenvalues of the operators to define positive roots, see Equation (137))
These results were obtained in a different manner in [76]. Let be a compact Lie group, and let and be, respectively, the ‘loop algebra’ (see (52)) and the Kac–Moody algebra (see Section 3.3). On purpose, the authors introduced spinors of which is assumed to be a spin manifold). Then, they observed that it is easy to obtain a unitary representation of the ‘loop-’algebra ; however, this representation is not a highest weight representation. In other words, we get a ‘first quantized’ representation with no vacuum states annihilated by all fermion annihilation operators. They then showed that if we try to define a ‘second quantized’ or a highest weight representation, some divergences do appear (see p. 380, [76]), and the operators are ill-defined. However, by considering bosonic condensate fermions, they were able to construct a highest weight representation, but no invariant inner product was identified.
To illustrate the situation, let us consider an explicit example. Let be a compact Lie algebra, and let be a real unitary dimensional representation. Denote the generators of in the representation by the Hermitian matrices . Introduce real fermions in the representation .
First, consider the case where . We have the following decomposition (to ease the presentation, we only assume here Neveu–Schwarz (NS)—not Ramond—fermions), i.e., with anti-periodic boundary conditions:
We further assume the quantization relations (with )
and the reality condition
The vacuum of the representation is defined by
and in other words, are creation/annihilation operators. Consider now the current
Since is bilinear in the fermion fields, in order to have well-defined quantities, a normal ordering prescription must be defined. As usual, we put the creation operators to the right:
If we decompose , we obtain
This normal ordering prescription has two advantages: (i) the vacuum is well-defined , and (ii) is finite. For the second condition (ii), observe that, in (144), in the second sum, the term is an annihilation operator and, thus, annihilates the vacuum. In the first sum, the second term is a creation operator if . Thus, if , there are possible values of m, where acts non-trivially on , and consequently, is finite. So the operators are always well-defined. Furthermore, the normal ordering prescription is also of crucial importance. Indeed, using the Wick theorem, one can show that, in fact, the operators generate the affine Lie algebra with a well-defined central extension expressed in terms of the quadratic Casimir operator in the representation [5], and thus, we obtain a unitary highest weight representation of .
We now briefly analyze the case where . Again, considering (NS,NS) modes, we get
As for the circle, we assume the quantization relations
and the reality condition
To define annihilation and creation operators, we introduce the following order relation (since we consider only (NS,NS) fermions, m and p cannot be equal to zero. For R-fermions, we have to account for the possibility that m or p is equal to zero to define our order relation):
The vacuum is defined by
and the normal ordering prescription by
Decomposing for the circle,
we get
As for the circle, the vacuum is well-defined, but now diverges because when , the first sum above involves infinitely many terms (because of the sum over the second index, which belongs to ). This situation has been analyzed explicitly in [42,43], where, in order to have well-defined generators beyond the usual normal ordering prescription, a regulator was introduced, and infinite sums were regularized by means of a Riemann function. Next, the normal ordering prescription also leads to a representation of but with only one central extension, and again, the central charge can be expressed in terms of the quadratic Casimir operator of in the representation [43]. Even if it were possible to construct fermion [43] or boson [42] representations of , this procedure is not fully satisfactory because some cut-off is needed in order to have well-defined quantities. This construction is not in contradiction with Corollary 1 because we did not consider any cut-off or regularization prescription in Proposition 2.
6.3. Some Results on Toroidal Algebras
In this section, we would like to study the details of the Kac–Moody algebra more. We first consider the case where , keeping in mind that the general case follows easily. Starting from the ‘loop-’algebra , its central extensions are characterized by closed one-forms. Since , a general closed one-form reads
where and h is an arbitrary periodic function on the two-torus. Let , and let be the corresponding exact one-form. The differential operators associated to the one-forms are, respectively,
A generic two-cocycle is, thus, given by
where (see (26))
These cocycles were also obtained in [33]. It is direct to observe (from (28)) that the differential operators and are compatible with the cocycles .
In [35], using Kähler differentials [77,78], Moody and his collaborators obtained the universal central extension of the ‘loop’ algebra, which they called toroidal algebra. It turns out that, in fact, the central extensions in [35] coincide with the two-cocycle above (147). Indeed, the first cases (resp., second cases) in Equation (3) of [78] correspond to the cocycle —after an appropriate rescalling—(resp., ). Moreover, in [78], the authors also proved that their formulæ coincide with the formulæ obtained in [77] used by Moody and their collaborators. This means that to centrally extend the ‘loop-’algebra , we can equivalently use the cocycle (147) or Kähler differentials, as in [35].
For completeness and for further use, we briefly recall the main feature of the Moody et al. construction [35]. Let be the Laurent polynomial ring in two variables, and let be the ‘loop’ algebra (see (52) in our notations). To define the universal central extension of the ‘loop’ algebra, we introduce the set of one-forms of . Finally, let . Thus, for any , we have . The universal central extension of the ‘loop’ algebra is given by [35]
for any with (resp., ) the Lie brackets (the Killing form) of . Since
a basis of is given by
and
which corresponds exactly to the cocycles given in (147). Thus, the two constructions coincide.
Coming back to our notations, the toroidal algebra is with Lie brackets (in our notations):
This algebra admits an interesting subalgebra, where only two-central charges are non-vanishing, say , and this corresponds to the Kac–Moody algebra considered throughout this review: . This algebra is also named the double affine algebra in [79]. All the results of the two-toroidal and the double affine algebras extend naturally for [80], i.e., to the toroidal and affine algebras.
Now, we turn to the representation theory of the double affine Lie algebra (or Kac–Moody algebra associated to ). In Section 6.2, the results were given, considering the root system of . In [35], non-unitary representations of were explicitly obtained considering the roots of , the affine extensions of . The key observation is the following: even if does not admit a system of simple roots, it is possible to have a Chevalley–Serre presentation of (and, of course, also of the toroidal algebra ) in two different but equivalent manners—(1) with the simple roots of or (2) with the simple roots of . Now consider the double-affine algebra or the Kac–Moody algebra with two central extensions , whose Lie brackets are given by (139) with (note that all results presented below extend easily for the toroidal algebra with non-vanishing central charge ).
Let be the simple roots of , and let be the corresponding Cartan matrix:
The matrix A is non-singular, i.e., . When associated to any simple roots of the semisimple Lie algebra , we define the three operators for as
The Chevalley–Serre relations are (In [35] the authors were given a presentation of the toroidal (and not the double-affine Lie) algebra.)
(, etc., and is the co-root ) enables the reproduction of the whole algebra (see (139) with ) using the Serre relation, i.e., the last equation.
The algebra can be equivalently presented using the simple roots of the affine Lie algebra associated to . Let be the simple roots of :
where are, respectively, the simple roots and the highest root of . Let be the Cartan matrix of :
where the scalar product (see for example [5]) is
Note that the Cartan matrix is now singular and , i.e., A is of corank one. Associated to any simple roots of , for , we define
This determines a presentation of the algebra as
Again, the last relation, i.e., the Serre relation, enables the reproduction of the whole algebra (139). Indeed, it has been shown in [44] that the two presentations (149) and (151) lead to isomorphic algebras (139). Similar presentations (in terms of the roots of or ) hold for the toroidal Lie algebra and for the Kac–Moody algebra (or affine Lie algebra) when [80].
Even if the two presentations are isomorphic, they present some structural differences. Indeed, within the presentation of with the roots of the semisimple Lie algebra , the Cartan matrix is non-singular, whereas for the presentation with the roots of the affine Lie algebra , the Cartan matrix is singular. The presentation of toroidal Lie algebras in terms of roots of affine Lie algebras has been used by several authors in order to construct explicit representations of and . In [35,80], a Vertex representation of the Toroidal Lie algebra (when is simply laced) was obtained. In [79], a fermion realization of , i.e., of the double affine algebra in the terminology of [79], when is a classical Lie algebra, was explicitly constructed. Note that the representation theory of toroidal Lie algebras has been studied extensively (see, e.g., [79] and the references therein). However, since the Cartan matrix of is singular, and since all these articles are based on the Chevalley–Serre presentation of the algebra in terms of the roots of , all these representations are non-unitary.
6.4. Unitary Representations
Now, we turn to constructing explicit unitary representations. On purpose, we assume that the only non-vanishing central charges are and . Let . With these notations, the non-vanishing Lie brackets (148) reduce to
Consider now the mapping
where are the generators of the affine Lie algebra . Through this mapping, (151) reduces to
and the two algebras (151) and (152) are isomorphic (see [35] Proposition 2.8 or [81] Theorem 3.3). It is immediate to observe that the latter algebra (152) is the loop algebra of the affine algebra, and thus, we have the following isomorphism . Please note that , but .
A certain class of unitary representations follows at once and is directly obtained from unitary representations of the affine Lie algebra . Unitary highest weight representations of are well-known. The simple roots of are given in (149) and the highest weight read (recall that rk )
The corresponding fundamental weights [5] are
Let , and let be a highest weight defined by (with the notations of Section 6.3, Equation (150))
Because of the expression of in terms of the central charge k (we denote c as its eigenvalue), a highest weight is equivalently specified by (the highest weight of the semisimple Lie algebra , with its associated fundamental weight ) and the eigenvalue of the central charge c (the Cartan subalgebra of is , but the eigenvalue of d for the highest state is irrelevant. Indeed, if , redefining , we have , and we can take [82]). Let be the level of the representation. The representation is unitary if (see, e.g., [5])
Consider now
the set of unitary representations of :
Using the harmonic expansion on
unitary representations of are given by the tensor product
and correspond to a harmonic expansion of the unitary representation of on the manifold . These results were anticipated in [40]. Note that while is a highest weight representation of , is not a highest weight representation of . A similar analysis holds for the algebra , where is the dimensional torus [40].
7. Applications in Physics
The generalized KM current algebra , its semidirect symmetry actions, and its cohomological central extensions constitute a versatile toolkit that can be used to investigate various subfields of high-energy theoretical physics. This section surveys three arenas in which the mathematical framework developed in this review finds concrete applications in physics. Our emphasis will be on (i) two-dimensional current algebra and CFT, including WZW models, Sugawara stress tensors, and the Virasoro algebra; (ii) higher-dimensional compactifications and spectra in KK theory, and (iii) structures emerging in cosmological billiards and in the hidden symmetries of supergravity. We will attempt to keep the presentation self-contained and pedagogical, referring to the relevant literature for technical details and a broader background. Across all three contexts, the crucial inputs have a threefold nature: geometric (e.g., choice of and its symmetry), analytic (e.g., harmonic analysis on ), and algebraic (e.g., compatibility of cocycles and representations).
7.1. Two-Dimensional Current Algebra and CFT: WZW, Sugawara, and Virasoro
7.1.1. Affine Symmetry from Loops and Its Generalization
On a two-dimensional worldsheet, currents valued in a finite-dimensional Lie algebra satisfy the operator product expansions (OPEs) that encode an affine KM algebra at a certain level k. This structure emerges canonically in WZW models, where the basic field is a group-valued map, and the action includes a Wess–Zumino topological term; see, e.g., [4,5,6]. The holomorphic currents realize a centrally extended loop algebra of maps , and the stress tensor is obtained by the Sugawara construction, which expresses the Virasoro generators as quadratic combinations of KM modes, producing a central charge , where is the dual Coxeter number of [5,6].
Within the general framework presented in this review, the circle is replaced by a higher-dimensional manifold , thus yielding to the Lie algebra of -valued functions on , organized through a Hilbert basis adapted to the symmetries of (by exploiting the Peter–Weyl theorem on compact groups/cosets or the Plancherel theorem on non-compact groups/cosets). Semidirect actions by Killing vector fields or diffeomorphism algebras may enrich this symmetry, and compatible two-cocycles yield central extensions that generalize the affine case. From the two-dimensional worldsheet perspective, this construction can be viewed as a mode expansion of currents along internal manifolds: the worldsheet current algebra fibers over so that KM modes carry, in addition, the harmonic labels on itself. This particularly manifests when is a compact group manifold or a homogeneous space thereof because, in this case, the harmonic analysis is representation-theoretically well-known and studied [4,16,17]. Possible issues related to normal ordering prescriptions in manifolds of dimension are discussed in [42,43]; we also briefly recalled them in Section 6.
7.1.2. Group Manifolds and Coset CFTs
Let be a compact Lie group manifold. The Peter–Weyl theorem provides an orthonormal basis in , built from matrix elements of irreducible unitary representations, and the product of two basis elements decomposes in terms of Clebsch–Gordan coefficients. The machinery developed in this review lifts the -valued modes to generators of a current algebra with structure constants directly expressed in terms of the representation theory of . In the CFT context, this gives a natural language for coset models , in which the surviving harmonics are the H-invariant components on the right (or left), and the operator content obeys the selection rules of the branching. This perspective clarifies how the coset primaries and their fusion rules relate to the representation-theoretic decomposition on , as well as to the geometry of the coset [6,13,17].
7.1.3. Diffeomorphism Algebras and Virasoro Analogs
For , the semidirect ‘partner’ of the affine algebra is the Witt algebra (and its central extension, the Virasoro algebra). On higher spheres or other higher-dimensional manifolds , families of vector fields play an analogous role. For instance, for , the algebra of area-preserving diffeomorphisms is relevant, while, more generally, one can construct subalgebras of vector fields (generated by Killing vectors or selected modes) acting on . This leads to semidirect products that generalize to the affine–Virasoro ‘interplay’ on . Actually, this idea can be traced back to the early literature on generalized KM algebras related to diffeomorphism groups of closed surfaces [32,33]. It should also be recalled here that the appearance of generalized (Borcherds–Kac–Moody) algebras in CFT and moonshine phenomena may be regarded as a hint to the depth of algebraic structures that can emerge beyond the affine case [19,20,21].
7.2. Compactifications and KK Spectra
7.2.1. Mode Expansions and Mass Towers
Consider a d-dimensional field theory on a space-time of the form , where is a compact internal manifold (group manifold, coset, or deformation thereof); the expansion of fields in an orthonormal basis of produces KK towers whose masses are determined by eigenvalues of Laplace-type operators on . This finds extensive application and crucial relevance in general KK theories, as well as in dimensional compactifications in (super)string theory or M-theory [8,9,10,11,12].
Within this framework, the generalization from to yields the following consequences: (i) the Noether charges associated to a compact gauge algebra become families of charges indexed by the harmonic labels on , thus realizing the Lie algebra ; (ii) the semidirect action of the isometries of provides an interesting geometric perspective on the selection rules and spectral degeneracies; (iii) the central extensions encode anomalies that can appear in the commutators of KK currents when integrating over , with the relevant two-cocycles in one-to-one correspondence with closed -currents on (as developed in this review).
7.2.2. Compact Group Manifolds and Cosets
For , the Peter–Weyl theory organizes the KK modes of fields into representations of . The product of modes is controlled by Clebsch–Gordan coefficients, and the associated KM algebra underlies the interactions and selection rules among KK modes. For , the H-invariant modes in the right (or left) action are retained, thus reproducing the well-known truncations of coset compactifications and their spectra [12,13,17]. Here, we confine ourselves to adding that this intriguingly relates to generalized Scherk–Schwarz reductions, where group-theoretic data constrain and determine consistent truncations of physical theories.
7.2.3. Toroidal and Deformed (Soft) Manifolds
When the internal, higher-dimensional manifold is a torus, one recovers familiar Abelian current algebras and their higher-rank generalizations, while deformations of group manifolds (which go under the name of soft manifolds), as used in group-geometric approaches to supergravity, naturally fit into the same formalism [12,15]. The central extension analysis identifies which deformations admit non-trivial two-cocycles compatible with symmetry actions and, thus, when anomalous terms can affect the reduced dynamics. Related algebraic structures, such as toroidal Lie algebras, also arise in the analysis of currents on higher-dimensional tori, and they have been studied in the mathematical literature for quite a long time [32,35,80].
7.2.4. Kac–Moody Symmetries in KK Theories and Beyond
KM-like enhancements in the symmetry algebras of KK reductions and related stringy settings have been quite extensively investigated [12,29,62]. In this respect, we should stress that the present framework clarifies when and how such enhancements occur: the algebra organizes the towers of KK currents, thus allowing for compatible central extensions to emerge precisely when the geometry of admits closed -currents, in turn giving rise to the cohomological two-cocycles. Therefore, this framework naturally highlights the dependence on the topology and metric of , thereby providing a controlled setting to explore consistent truncations, dualities, and anomaly structures of higher-dimensional (super) gravity theories.
7.3. Cosmological Billiards and Hidden Symmetries of Supergravity
7.3.1. BKL Dynamics and Billiards
For near, space-like singularities, the Belinsky–Khalatnikov–Lifshitz (BKL) analysis reveals chaotic, piecewise Kasner regimes interrupted by curvature-induced reflections—the so-called ‘mixmaster’ behavior [22,83]. Remarkably, this dynamic can be geometrized as a billiard motion in a region of hyperbolic space bounded by walls associated to dominant gravitational and p-form contributions. Somewhat surprisingly, in many supergravity theories, the billiard domain coincides with the fundamental Weyl chamber of a hyperbolic KM algebra, thus suggesting that an underlying infinite-dimensional symmetry controls the near-singularity regime [23,29].
7.3.2. Hidden Symmetries and Very Extended KM Algebras
Dimensional reduction of supergravities gives rise to large, non-compact global symmetries, controlling the electric–magnetic duality of the resulting theory; in string/M-theory, such a symmetry is defined over discrete fields, and it is named U-duality. In general, the target space of scalar fields can be regarded as a manifold coordinatized by the scalars themselves. In a wide class of cases, the target space can be modeled as a sigma-model on cosets , where G is a non-compact Lie group, and H a maximal compact subgroup. The emergence of indefinite or hyperbolic extensions in further dimensional reductions as well as in conjectural uplifts (‘/’-type structures) has been widely discussed, as it may be shown to encode ‘hidden’ symmetries of M-theory and cosmological dynamics (see, e.g., [24,25,26,27,28], and the references therein). In this respect, the framework presented in this review exhibits two remarkable features: (i) the sigma model structure on non-compact target spaces (e.g., and ) is inherently consistent with the non-compact harmonic analysis used to build ; (ii) the billiard/wall identifications hint at the possibility of describing the asymptotic dynamics through KM root systems, again, consistent with the appearance of infinite-dimensional algebras in reductions and duality webs [23,29].
7.3.3. Cocycles, Anomalies, and Constraints
The analysis of the possible central extensions of the current algebras on provides crucial insights into the existence of anomaly-like terms in the effective dynamics, as well as the relevant constraints associated to conserved charges. In the aforementioned cosmological settings, integrating currents over compact slices (or along suitable cycles) in yields to Schwinger terms controlled by the cohomology of ; this essentially extends the Pressley–Segal cocycles in the affine case to the richer -current data. Thus, while many open questions remain (e.g., the precise matching between very extended algebras and full dynamics), the formal machinery and tools presented in this review may allow for establishing when bona fide infinite-dimensional symmetries are actually compatible with the underlying geometry of the internal manifold and with the employed boundary conditions; at the same time, potential topological and/or flux obstructions may be detected.
8. Outlook: Conjectures and Novel Applications
The framework developed in this review—generalized KM current algebras on a manifold , semidirect actions by isometries/diffeomorphisms, and the cohomological classification of central extensions—suggests several avenues for new applications in high-energy theoretical and mathematical physics. In this final section, we will briefly mention some potential, partly conjectural, developments in supergravity theories, superstring/M-theory, AdS/CFT, and holography. The proposals below should be regarded as possible lines of investigation rather than established research venues; in fact, we will stress their conjectural nature, but we also indicate how they could, in principle, be tested and checked. We leave all this for further future work.
8.1. Supergravity
8.1.1. KM-Structured Charge Algebras in Consistent Truncations
Consistent truncations on group manifolds and cosets are organized in terms of geometric data (left-invariant frames and structure constants) and by harmonic analysis on [12,15]. In light of the topics discussed in the present review, it may be conjectured that in any truncation admitting a global orthonormal frame (e.g., generalized parallelizations), the full tower of Noether charges of the truncated theory closes into a centrally extended current algebra of the form , with two-cocycles determined by closed -currents on itself. This conjecture is nothing but an extension of the standard, affine construction on a circle , and it may potentially detect possible anomalies through the study of the cohomology on . Recent progress on consistent truncations in deformed/generalized settings provides us with a promising testing ground [13,84]; in this respect, a concrete test may consist of computing Schwinger terms for KK-reduced currents in gauged supergravities and matching them against the cohomological classification of the two-cocycles outlined in this review.
8.1.2. Soft Manifolds, Fluxes, and Anomaly Constraints
Group-geometric approaches embed supergravity in a soft deformation of group manifolds, encoding fluxes and torsion as geometric data [12,15]. In this framework, it may be conjectured that the existence of non-trivial central extensions of compatible with isometries imposes integrability conditions on the flux backgrounds; such integrability conditions should turn out to be equivalent to a subset of the Bianchi identities and tadpole/anomaly-cancellation conditions in the dimensionally reduced resulting physical theory. In practice, these conditions would translate into the co-closedness of certain -currents, as well as into quantization constraints for the Wess–Zumino-type terms. Remarkably, this would provide a powerful, algebraic criterion for the consistency of flux compactifications, as well as of their gauged supergravity limits [12,13].
8.1.3. Hidden Symmetries Beyond Billiards
The appearance of hyperbolic KM structures in cosmological billiards suggests a more prominent role of infinite-dimensional symmetries in supergravity dynamics [23]. One may be led to naturally conjecture that, away from the near-singularity regime, a subset of these symmetries survives as an algebra of generalized currents on suitable slices (e.g., homogeneous spatial sections) of , with central terms fixed by boundary conditions and topological data. In principle, this conjecture should be testable/falsifiable within numerical relativity setups, or in analytic families of Bianchi cosmologies, by constructing conserved charges associated to divergence-free vector fields on and checking their commutators against the two-cocycles discussed in this review. As another conjectural remark, we should not forget to mention potential connections to duality orbits in extended supergravities, which may further constrain the admissible cocycles [29].
8.2. Superstrings and M-Theory
8.2.1. Worldvolume Current Algebras with Internal Labels
In the WZW models and related worldsheet theories, the affine symmetry controls the spectrum and dynamics [5,6]. Therefore, a lift of such a framework may be conjectured, in which the currents acquire harmonic labels on an internal manifold , thus effectively realizing on the worldsheet. When is a group manifold or coset, the Peter–Weyl theorem allows for the explicit construction of operator bases; for non-compact , the Plancherel theorem should provide the relevant distributions. All in all, this approach seemingly combines target-space geometry and worldsheet current algebras in a way that is compatible with string field theory and group-geometric formulations [12,15,85]. A possible test of this conjecture would concern heterotic compactifications on group manifolds/cosets, in which one should compute OPE coefficients across harmonic sectors.
8.2.2. Brane Boundaries and Defect Algebras
M2/M5 branes admit boundary/defect descriptions with current algebras on lower-dimensional intersections. Thus, one may put forward the conjecture that, in backgrounds with isometries along an internal manifold , the boundary algebra could be identified with a central extension of the generalized KM current , with the two-cocycle determined by the pullback of fluxes to -cycles. Interestingly, this would generalize level quantization in WZW models to higher-dimensional defects. Hints of such structures have already appeared in early works on membranes [65], as well within the systematic investigation of WZW-like terms in string/M-theory [85].
8.2.3. Non-Geometric Backgrounds and Doubled/Exceptional Geometry
In doubled and exceptional field theories, gauge symmetries generally mix diffeomorphisms and p-form transformations. In this context, we may conjecture that the algebra of generalized diffeomorphisms and gauge transformations on a compact manifold can be organized as a centrally extended built from the relevant finite-dimensional algebra (e.g., ) and an basis. However, we should stress that the compatibility of the central extensions with section/closure constraints would become a sharp algebraic condition, possibly hard to meet/check. However, recent progress on deformed generalized parallelizations and consistent truncations [84] seemingly supports the idea that constructing such algebras on explicit may be feasible; in this context, flux quantization would, thus, arise out of the quantization of the central charge in the extended algebra. Among other aspects, this perspective could clarify the representation content of KK towers in exceptional field theory, as well as their coupling to the so-called ‘dual’ graviton sectors [11,29].
8.3. AdS/CFT and Holography
8.3.1. Asymptotic Symmetries and Boundary Current Algebras
In , the Virasoro symmetry arises as an asymptotic symmetry; in higher dimensions, boundary symmetries are more subtle. In this framework, it could be conjectured that, whenever the bulk includes an internal compact manifold with a certain isometry algebra, the boundary CFT exhibits a tower of conserved currents organized by , whose central terms should also be sensitive to holographic counterterms and global anomalies [86,87,88]. In practice, such a holographic renormalization supplies the bilinear form used to compute two-cocycles (in terms of the boundary two-point functions of currents), while the harmonic analysis on would determine the multiplet structure. This is, in principle, testable in truncations whose consistent embeddings are known, as well as in top-down approaches to holography, in which the manifold is explicitly specified [84].
8.3.2. Coset Holography and Harmonic Selection Rules
For compact , we expect a tight match between boundary operator algebras and the representation-theoretic decomposition on , governed by Clebsch–Gordan coefficients and H-invariance. We also expect the correlators to generally obey some selection rules, which should, in turn, mirror the product structure of ; in this way, central terms should therefore be predicted by the cohomology classes of -currents. This seems to be potentially explorable in the holographic duals built from consistent truncations on and comparable with CFT data obtained via bootstrap or integrability methods [86,88].
8.3.3. Holographic Anomalies from Cocycles
One may also put forward the conjecture that certain boundary anomalies (e.g., of a mixed flavor–gravitational type) could be captured by the cohomological two-cocycles of computed from the bulk; in this sense, harmonic analysis and de Rham cohomology on [86,87] would become crucial. This would be especially remarkable, since it would provide an algebraic holographic dictionary between fluxes on and the central extensions in the boundary current algebra.
All in all, one conceptual consequence of the program reviewed in this work is the determination of a uniform algebraic language for the description and investigation of charges, anomalies, and selection rules in string/M-theory, supergravity, and holography. Even partial validations of the several conjectures stated above would shed light on long-standing structural questions about hidden symmetries and consistent truncations; on the other hand, failures would be interesting too, since they would help establish the true scope of current algebraic methods beyond the circle, at least as concerns the aforementioned physical applications.
Author Contributions
All authors contributed in an equivalent way to all aspects of this review. All authors have read and agreed to the published version of the manuscript.
Funding
During the preparation of this work, RCS was partially supported by Agencia Estatal de Investigación (Spain) under the grant PID2023-148373NB-I00 funded by MCIN/AEI/10.13039/501100011033/FEDER, UE.
Data Availability Statement
Data are contained within the article.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- Moody, R.V. Lie Algebras associated to generalized Cartan matrices. Bull. Am. Math. Soc. 1967, 73, 217–221. [Google Scholar] [CrossRef] [Scilit]
- Kac, V.G. Simple graded algebras of finite growth. Funct. Anal. Appl. 1967, 1, 328. [Google Scholar]
- Kac, V.G. Infinite Dimensional Lie Algebras; Cambridge University Press: Cambridge, MA, USA, 1990. [Google Scholar]
- Pressley, A.; Segal, G. Loop Groups; Oxford University Press: Oxford, UK, 1986. [Google Scholar]
- Goddard, P.; Olive, D.I. Kac-Moody and Virasoro Algebras in Relation to Quantum Physics. Int. J. Mod. Phys. A 1986, 1, 303. [Google Scholar] [CrossRef] [Scilit]
- Di Francesco, P.; Mathieu, P.; Senechal, D. Conformal Field Theory; Graduate Texts in Contemporary Physics; Springer: New York, NY, USA, 1997. [Google Scholar] [CrossRef] [Scilit]
- Belavin, A.A.; Polyakov, A.M.; Zamolodchikov, A.B. Infinite Conformal Symmetry in Two-Dimensional Quantum Field Theory. Nucl. Phys. B 1984, 241, 333–380. [Google Scholar] [CrossRef] [Scilit]
- Salam, A.; Strathdee, J.A. On Kaluza-Klein Theory. Ann. Phys. 1982, 141, 316–352. [Google Scholar] [CrossRef] [Scilit]
- Bailin, D.; Love, A. Kaluza-Klein Theories. Rept. Prog. Phys. 1987, 50, 1087–1170. [Google Scholar] [CrossRef] [Scilit]
- Okada, J. Symmetry Breakings in the Kaluza-Klein Theory. Class. Quant. Grav. 1986, 3, 221. [Google Scholar] [CrossRef] [Scilit]
- Duff, M.J.; Nilsson, B.E.W.; Pope, C.N. Kaluza-Klein Supergravity. Phys. Rept. 1986, 130, 1–142. [Google Scholar] [CrossRef] [Scilit]
- Castellani, L.; D’Auria, R.; Fre, P. Supergravity and Superstrings: A Geometric Perspective. Vol. 1: Mathematical Foundations; World Scientific Publishing: Singapore, 1991. [Google Scholar]
- Harada, K.; Ho, P.M.; Matsuo, Y.; Watanabe, A. Dimensional oxidization on coset space. J. High Energy Phys. 2020, 10, 198. [Google Scholar] [CrossRef] [Scilit]
- Ferrara, S.; Marrani, A. Symmetric Spaces in Supergravity. Contemp. Math. 2009, 490, 203–228. [Google Scholar] [CrossRef] [Scilit]
- Castellani, L. Group geometric methods in supergravity and superstring theories. Int. J. Mod. Phys. A 1992, 7, 1583–1626. [Google Scholar] [CrossRef] [Scilit]
- Peter, F.; Weyl, H. Die Vollständigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe. Math. Ann. 1927, 97, 737–755. [Google Scholar] [CrossRef] [Scilit]
- Helgason, S. Differential Geometry and Symmetric Spaces; Academic Press: New York, NY, USA, 1962. [Google Scholar]
- Bargmann, V. Irreducible unitary representations of the Lorentz group. Ann. Math. 1947, 48, 568–640. [Google Scholar] [CrossRef] [Scilit]
- Borcherds, R.E. Central extensions of generalized Kac-Moody algebras. J. Algebra 1991, 140, 330–335. [Google Scholar] [CrossRef] [Scilit]
- Borcherds, R.E. Monstrous moonshine and monstrous Lie superalgebras. Invent. Math. 1992, 109, 405–444. [Google Scholar] [CrossRef] [Scilit]
- Conway, J.H.; Norton, S.P. Monstrous Moonshine. Bull. Lond. Math. Soc. 1979, 11, 308–339. [Google Scholar] [CrossRef] [Scilit]
- Belinsky, V.A.; Khalatnikov, I.M.; Lifshitz, E.M. Oscillatory approach to a singular point in the relativistic cosmology. Adv. Phys. 1970, 19, 525–573. [Google Scholar] [CrossRef] [Scilit]
- Henneaux, M.; Julia, B.L.; Levie, J. E11, Borcherds algebras and maximal supergravity. J. High Energy Phys. 2012, 4, 78. [Google Scholar] [CrossRef] [Scilit]
- Kleinschmidt, A.; Nicolai, H. Maximal supergravities and the E(10) coset model. Int. J. Mod. Phys. D 2006, 15, 1619–1642. [Google Scholar] [CrossRef] [Scilit]
- Bergshoeff, E.A.; Hohm, O.; Kleinschmidt, A.; Nicolai, H.; Nutma, T.A.; Palmkvist, J. E(10) and Gauged Maximal Supergravity. J. High Energy Phys. 2009, 1, 20. [Google Scholar] [CrossRef] [Scilit]
- Bossard, G.; Kleinschmidt, A.; Palmkvist, J.; Pope, C.N.; Sezgin, E. Beyond E11. J. High Energy Phys. 2017, 5, 20. [Google Scholar] [CrossRef] [Scilit]
- Tumanov, A.G.; West, P. E11 and the non-linear dual graviton. Phys. Lett. B 2018, 779, 479–484. [Google Scholar] [CrossRef] [Scilit]
- Bossard, G.; Kleinschmidt, A.; Sezgin, E. On supersymmetric E11 exceptional field theory. J. High Energy Phys. 2019, 10, 165. [Google Scholar] [CrossRef] [Scilit]
- Fre’, P.; Gargiulo, F.; Rulik, K.; Trigiante, M. The General pattern of Kac Moody extensions in supergravity and the issue of cosmic billiards. Nucl. Phys. B 2006, 741, 42–82. [Google Scholar] [CrossRef] [Scilit]
- Fuks, D.B. Cohomology of Infinite Dimensional Lie Algebras; Springer: New York, NY, USA, 1986. [Google Scholar]
- Bars, I. Local Charge Algebras in Quantum Chiral Models and Gauge Theories. In Vertex Operators in Mathematics and Physics; Leponsky, J., Mandelstam, S., Singer, I.M., Eds.; Springer: Berlin/Heidelberg, Germany, 1984; pp. 373–391. [Google Scholar] [CrossRef] [Scilit]
- Hoegh-Krohn, R.; Torresani, B. Classification and construction of Quasisimple Lie algebras. J. Funct. Anal. 1990, 89, 106–136. [Google Scholar] [CrossRef] [Scilit]
- Frappat, L.; Ragoucy, E.; Sorba, P.; Thuillier, F.; Hogaasen, H. Generalized Kac-Moody Algebras and the Diffeomorphism Group of a Closed Surface. Nucl. Phys. B 1990, 334, 250–264. [Google Scholar] [CrossRef] [Scilit]
- Ragoucy, E.; Sorba, P. Extended Kac-Moody algebras and applications. Int. J. Mod. Phys. A 1992, 7, 2883–2972. [Google Scholar] [CrossRef] [Scilit]
- Moody, R.V.; Rao, S.E.; Yokonuma, T. Toroidal Lie algebras and vertex representations. Geom. Dedicata 1990, 35, 283–307. [Google Scholar] [CrossRef] [Scilit]
- Dowker, J.S. Central extensions of sphere groups. J. Math. Phys. 1991, 32, 1433–1436. [Google Scholar] [CrossRef] [Scilit]
- Bose, S.K.; Bruce, S.A. Algebras for the two-sphere and the three-sphere groups of compact simple Lie groups. J. Math. Phys. 1990, 31, 2346–2351. [Google Scholar] [CrossRef] [Scilit]
- Castellani, L. String Field Theory as General Relativity of Loops. Phys. Lett. B 1988, 206, 47–50. [Google Scholar] [CrossRef] [Scilit]
- Castellani, L. A Geometric Field Theory of Closed Strings: D = 4, N=1 Loop Supergravity. Int. J. Mod. Phys. A 1990, 5, 1819. [Google Scholar] [CrossRef] [Scilit]
- Campoamor-Stursberg, R.; de Montigny, M.; Rausch de Traubenberg, M. An overview of generalised Kac-Moody algebras on compact real manifolds. J. Geom. Phys. 2022, 180, 104624. [Google Scholar] [CrossRef] [Scilit]
- Campoamor-Stursberg, R.; de Montigny, M.; Rausch de Traubenberg, M. Generalisation of affine Lie algebras on compact real manifolds. SciPost Phys. Proc 2023, 14, 22. [Google Scholar] [CrossRef] [Scilit]
- Campoamor-Stursberg, R.; Rausch de Traubenberg, M. Fermion realizations of generalized Kac–Moody and Virasoro algebras associated to the two-sphere and the two-torus. Mod. Phys. Lett. A 2022, 37, 2250240. [Google Scholar] [CrossRef] [Scilit]
- Campoamor-Stursberg, R.; Rausch de Traubenberg, M. Vertex operator for generalized Kac–Moody algebras associated to the two-sphere and the two-torus. Mod. Phys. Lett. A 2022, 37, 2250239. [Google Scholar] [CrossRef] [Scilit]
- Campoamor-Stursberg, R.; Rausch de Traubenberg, M. Kac-Moody and Virasoro Algebras on the Two-Sphere and the Two-Torus. In Proceedings of the Lie Theory and Its Applications in Physics, Varna, Bulgaria, 19–25 June 2023; Dobrev, V., Ed.; Springer: Singapore, 2024; pp. 417–426. [Google Scholar]
- Campoamor-Stursberg, R.; Marrani, A.; Rausch de Traubenberg, M. An infinite–rank Lie algebra associated to SL(2,R) and SL(2,R)/U(1). J. Math. Phys. 2024, 65, 081702. [Google Scholar] [CrossRef] [Scilit]
- Campoamor-Strusberg, R.; Marrani, A.; Rausch de Traubenberg, M. A Kac-Moody algebra associated to the non-compact manifold SL(2,R). In Proceedings of the 33rd/35th International Colloquium on Group Theoretical Methods in Physics, Cotonou, Benin, 15–19 July 2024. [Google Scholar]
- Campoamor-Stursberg, R.; Marrani, A.; Rausch de Traubenberg, M. Kac-Moody algebras on soft group manifolds. J. Geom. Phys. 2025, 216, 105587. [Google Scholar] [CrossRef] [Scilit]
- Gołab, S. Tensor Calculus; Elsevier Scientific Publishing Company: Amsterdam, The Netherlands, 1974. [Google Scholar]
- Reed, M.; Simon, B. Methods of Modern Mathematical Physics. I: Functional Analysis; Revised and Enlarged Edition; Academic Press: Cambridge, MA, USA, 1980. [Google Scholar]
- Galindo, A.; Pascual, P. Quantum Mechanics I; Texts and Monographs in Physics; Springer: Berlin/Heidelberg, Germany, 1990. [Google Scholar]
- Schmid, W. Representations of Semisimple Lie Groups. Representation Theory of Lie Groups, Proc. SRC/LMS Res. Symp., Oxford 1977, Lond. Math. Soc. Lect. Note Ser. 34, 1979. pp. 185–235. Available online: https://api.pageplace.de/preview/DT0400.9781107107519_A23760056/preview-9781107107519_A23760056.pdf (accessed on 1 October 2025).
- Bott, R.; Tu, L.W. Differential Forms in Algebraic Topology; Springer: Berlin/Heidelberg, Germany, 1982. [Google Scholar] [CrossRef] [Scilit]
- Feigin, B.L. On cohomologies of groups and algebras of currents. Uspekhi Mat. Nauk 1980, 35, 225–226. [Google Scholar]
- Mickelsson, J. On a Relation Between Massive Yang-Mills Theories and Dual String Models. Lett. Math. Phys. 1983, 7, 45. [Google Scholar] [CrossRef] [Scilit]
- Faddeev, L.D. Operator Anomaly for the Gauss Law. Phys. Lett. B 1984, 145, 81–84. [Google Scholar] [CrossRef] [Scilit]
- Cederwall, M.; Ferretti, G.; Nilsson, B.E.W.; Westerberg, A. Higher dimensional loop algebras, nonAbelian extensions and p-branes. Nucl. Phys. B 1994, 424, 97–123. [Google Scholar] [CrossRef] [Scilit]
- Racah, G. Sulla caratterizzazione delle rappresentazioni irriducibili dei gruppi semisemplici di Lie. Atti Accad. Naz. Lincei VIII. Ser. Rend. Cl. Sci. Fis. Mat. Nat. 1950, 8, 108–112. [Google Scholar]
- Biedenharn, L.C. On the representations of the semisimple Lie groups. I: The explicit construction of invariants for the unimodular unitary group in n dimensions. J. Math. Phys. 1963, 4, 436–445. [Google Scholar]
- Louck, J.D. Unitary Symmetry and Combinatorics; World Scientific: Hackensack, NJ, USA, 2008. [Google Scholar]
- Angelopoulos, A. An Introduction to Lie Groups and Homogeneous Spaces; American Mathematical Society: Providence, RI, USA, 2003. [Google Scholar]
- Gilmore, R. Lie Groups, Lie Algebras and Some of Their Applications; Wiley: New York, NY, USA, 1974. [Google Scholar]
- Dolan, L.; Duff, M. Kac-Moody symmetries of Kaluza-Klein theories. Phys. Rev. Lett. 1984, 52, 14–17. [Google Scholar] [CrossRef] [Scilit]
- Floratos, E.G.; Iliopoulos, J. A note on the classical symmetries of the closed bosonic membranes. Phys. Lett. B 1988, 201, 237–240. [Google Scholar] [CrossRef] [Scilit]
- Bars, I.; Pope, C.N.; Sezgin, E. Central extensions of area preserving membrane algebras. Phys. Lett. B 1988, 210, 85–91. [Google Scholar] [CrossRef] [Scilit]
- Hoppe, J. Quantum Theory of a Massless Relativistic Surface and a Two-Dimensional Bound State Problem. Ph.D. Thesis, MIT, Cambridge, MA, USA, 1982. [Google Scholar]
- Klimyk, A.U.; Kachurik, I.I. Numerical Methods in the Theory of Group Representations; Vishcha Shkola: Kiev, Ukraine, 1986. [Google Scholar]
- Barut, A.O.; Raczka, R. Theory of Group Representations and Applications, 2nd ed.; World Scientific: Singapore, 1986; 717p. [Google Scholar]
- Varadarajan, V.S. An Introduction to Harmonic Analysis on Semisimple Lie Groups; Cambridge Studies in Advanced Mathematics; Cambridge University Press: Cambridge, UK, 1989; Volume 16. [Google Scholar]
- Vilenkin, N.Y. Special Functions and the Theory of Group Representations; American Mathematical Society (AMS): Providence, RI, USA, 1968; Volume 22. [Google Scholar]
- Harish-Chandra. Plancherel formula for the 2×2 real unimodular group. Proc. Natl. Acad. Sci. USA 1952, 38, 337–342. [Google Scholar] [CrossRef] [Scilit]
- Holman, W.J., III; Biedenharn, L.C., Jr. Complex angular momenta and the groups SU(1, 1) and SU(2). Ann. Phys. 1966, 39, 1–42. [Google Scholar] [CrossRef] [Scilit]
- Holman, W.J., III; Biedenharn, L.C., Jr. A general study of the Wigner coefficients of SU(1, 1). Ann. Phys. 1968, 47, 205–231. [Google Scholar] [CrossRef] [Scilit]
- Mackey, G.W. The Mathematical Foundations of Quantum Mechanics; Mathematical Physics Monograph Series; Benjamin/Cummings Publishing Co., Inc.: Reading, MA, USA, 1980. [Google Scholar]
- Horwitz, L.P. An Elementary Canonical Classical and Quantum Dynamics for General Relativity. Eur. Phys. J. Plus 2019, 134, 313. [Google Scholar] [CrossRef] [Scilit]
- Macdonald, I.G. Kac-Moody-algebras. Lie Algebras and Related Topics. In Proceedings of the Summer Seminar, Windsor, ON, Canada, 26 June–6 July 1984. [Google Scholar]
- Mickelsson, J.; Rajeev, S.G. Current Algebras in (d+1)-dimensions and Determinant Bundles Over Infinite Dimensional Grassmannians. Commun. Math. Phys. 1988, 116, 365. [Google Scholar] [CrossRef] [Scilit]
- Kassel, C. Kähler differentials and coverings of complex simple Lie algebras extended over a commutative algebra. J. Pure Appl. Algebra 1984, 34, 265–275. [Google Scholar] [CrossRef] [Scilit]
- Morita, J.; Yoshii, Y. Universal central extensions of Chevalley algebras over Laurent polynomial rings and GIM Lie algebras. Proc. Japan Acad. 1985, 61, 179–181. [Google Scholar] [CrossRef] [Scilit]
- Jing, N.; Misra, K.C. Fermionic realization of toroidal Lie algebras of classical types. J. Algebra 2010, 324, 183–194. [Google Scholar] [CrossRef] [Scilit]
- Eswara Rao, S.; Moody, R.V. Vertex representations for n-toroidal Lie algebras and a generalization of the Virasoro algebra. Commun. Math. Phys. 1994, 159, 239–264. [Google Scholar] [CrossRef] [Scilit]
- Mukherjee, S.; Pattanayak, S.K.; Sharma, S.S. Weyl modules for toroidal Lie algebras. Algebras Represent. Theory 2023, 26, 2605–2626. [Google Scholar] [CrossRef] [Scilit]
- Fuchs, J.; Schweigert, C. Symmetries, Lie Algebras and Representations: A Graduate Course for Physicists; Cambridge University Press: Cambridge, UK, 2003. [Google Scholar]
- Misner, C.W. Mixmaster universe. Phys. Rev. Lett. 1969, 22, 1071–1074. [Google Scholar] [CrossRef] [Scilit]
- Blair, C.D.A.; Pico, M.; Varela, O. Infinite and finite consistent truncations on deformed generalised parallelisations. J. High Energy Phys. 2024, 9, 65. [Google Scholar] [CrossRef] [Scilit]
- Green, M.B.; Schwarz, J.H.; Witten, E. Superstring Theory: Volume 1; Cambridge Monographs on Mathematical Physics; Cambridge University Press: Cambridge, UK, 1988. [Google Scholar]
- Emparan, R.; Johnson, C.V.; Myers, R.C. Surface terms as counterterms in the AdS/CFT correspondence. Phys. Rev. D 1999, 60, 104001. [Google Scholar] [CrossRef] [Scilit]
- Chamblin, A.; Emparan, R.; Johnson, C.V.; Myers, R.C. Large N phases, gravitational instantons and the nuts and bolts of AdS holography. Phys. Rev. D 1999, 59, 064010. [Google Scholar] [CrossRef] [Scilit]
- Taylor, M. Holography for degenerate boundaries. arXiv 2000. [Google Scholar] [CrossRef] [Scilit]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).