We first determine the automorphism group of the twisted Heisenberg-Virasoro vertex operator algebra $V_{\mathcal{L}}(\ell_{123},0)$.Then, for any integer $t>1$, we introduce a new Lie algebra $\mathcal{L}_{t}$, and show that $σ_{t}$-twisted $V_{\mathcal{L}}(\ell_{123},0)$($\ell_{2}=0$)-modules are in one-to-one correspondence with restricted $\mathcal{L}_{t}$-modules of level $\ell_{13}$, where $σ_{t}$ is an order $t$ automorphism of $V_{\mathcal{L}}(\ell_{123},0)$. At the end, we give a complete list of irreducible $σ_{t}$-twisted $V_{\mathcal{L}}(\ell_{123},0)$($\ell_{2}=0$)-modules.
The derivation algebras, automorphism groups and second cohomology groups of the generalized loop Schrödinger-Virasoro algebras are completely determined in this paper.
In this paper, we study a new kind of vertex operator algebra related to the twisted Heisenberg-Virasoro algebra, which we call the twisted Heisenberg-Virasoro vertex operator algebra, and its modules. Specifically, we present some results concerning the relationship between the restricted module categories of twisted Heisenberg-Virasoro algebras of rank one and rank two and several different kinds of module categories of their corresponding vertex algebras. We also study fully the structures of the twisted Heisenberg-Virasoro vertex operator algebra, give a characterization of it as a tensor …
Let $\mathbb{F}$ be a field of characteristic 0, $G$ an additive subgroup of $\mathbb{F}$, $α\in \mathbb{F}$ satisfying $α\notin G, 2α\in G$. We define a class of infinite-dimensional Lie algebras which are called generalized Schrödinger-Virasoro algebras and use $\mathfrak{gsv}[G,α]$ to denote the one corresponding to $G$ and $α$. In this paper the automorphism group and irreducibility of Verma modules for $\mathfrak{gsv}[G,α]$ are completely determined.
We describe the structure of the irreducible highest weight modules for the twisted Heisenberg-Virasoro Lie algebra at level zero. We prove that such a module is either isomorphic to a Verma module or to a quotient of two Verma modules.
The work is devoted to a probably new connection between deformed Virasoro algebra and quantum $\widehat{\mathfrak{sl}}_2$. We give an explicit realization of Virasoro current via vertex operators of level 1 integrable representation of $\widehat{\mathfrak{sl}}_2$. The same is done for a twisted version of deformed Virasoro algebra.
We show that the support of an irreducible weight module over the twisted Heisenberg-Virasoro algebra, which has an infinite dimensional weight space, coincides with the weight lattice and that all nontrivial weight spaces of such a module are infinite dimensional. As a corollary, we obtain that every irreducible weight module over the twisted Heisenberg-Virasoro algebra, having a nontrivial finite dimensional weight space, is a Harish-Chandra module (and hence is either an irreducible highest or lowest weight module or an irreducible module from the intermediate series
We give a complete description of the full automorphism group of a lattice vertex operator algebra, determine the twisted Zhu's algebra for the automorphism lifted from the -1 isometry of the lattice and classify the corresponding irreducible twisted modules through the twisted Zhu algebra.
In this paper, we study the structure theory of a class of not-finitely graded Lie algebras related to generalized Virasoro algebras. In particular,the derivation algebras, the automorphism groups and the second cohomology groups of these Lie algebras are determined.
This paper studies restricted modules of gap-$p$ Virasoro algebra $Ł$ and their intrinsic connection to twisted modules of certain vertex algebras. We first establish an equivalence between the category of restricted $Ł$-modules of level $\el$ and the category of twisted modules of vertex algebra $V_{\mathcal{N}_{p}}(\el,0)$, where $\mathcal{N}_{p}$ is a new Lie algebra, $\el:=(\ell_{0},0,\cdots,0)\in\C^{\halfp+1}$, $\ell_{0}\in\C$ is the action of the Virasoro center. Then we focus on the construction and classification of simple restricted $Ł$-modules of level $\el$. More explicitly, we give…
We show that subsingular vectors exist in Verma modules over W(2,2), and present a subquotient structure of these modules. We prove conditions for irreducibility of a tensor product of intermediate series module with the highest weight module. Relations to intertwining operators over vertex operator algebra associated to W(2,2) is discussed. Also, we study a tensor product of intermediate series and highest weight module over the twisted Heisenberg-Virasoro algebra, and present series of irreducible modules with infinite-dimensional weight spaces.
In the paper we introduce the notion of twisted derivation of a bialgebra. Twisted derivations appear as infinitesimal symmetries of the category of representations. More precisely they are infinitesimal versions of twisted automorphisms of bialgebras. Twisted derivations naturally form a Lie algebra (the tangent algebra of the group of twisted automorphisms). Moreover this Lie algebra fits into a crossed module (tangent to the crossed module of twisted automorphisms). Here we calculate this crossed module for universal enveloping algebras and for the Sweedler's Hopf algebra.
We investigate the free fields realization of the twisted Heisenberg-Virasoro algebra $\mathcal{H}$ at level zero. We completely describe the structure of the associated Fock representations. Using vertex-algebraic methods and screening operators we construct singular vectors in certain Verma modules as Schur polynomials. We completely solve the irreducibility problem for tensor product of irreducible highest weight modules with intermediate series. We also determine the fusion rules for an interesting subcategory of $\mathcal{H}$-modules. Finally, as an application we present a free field rea…
We continue the study of twisted automorphisms of Hopf algebras started in "Twisted automorphisms of Hopf algebras". In this paper we concentrate on the group algebra case. We describe the group of twisted automorphisms of the group algebra of a group of order coprime to 6. The description turns out to be very similar to the one for the universal enveloping algebra given in "Twisted automorphisms of Hopf algebras".
Twisted homomorphisms of bialgebras are bialgebra homomorphisms from the first into Drinfeld twistings of the second. They possess a composition operation extending composition of bialgebra homomorphisms. Gauge transformations of twists, compatible with adjacent homomorphisms, give rise to gauge transformation of twisted homomorphisms, which behave nicely with respect to compositions. Here we study (gauge classes of) twisted automorphisms of cocommutative Hopf algebras. After revising well-known relations between twists, twisted forms of bialgebras and $R$-matrices (for commutative bialgebras)…
In this paper, we propose an elliptic algebra $A_{q,p;\hatπ}(\hat{gl_2})$ which is based on the relations $RLL=LLR^{*}$, where $R$ and $R^{*}$ are the dynamical R-maxtrices of $A^{(1)}_{1}$ type face model with the elliptic moduli shifted by the center of the algebra. From the Ding-Frenkel correspondence, we find that its corresponding (Drinfeld) current algebra at level one is the algebra of screening currents for q-deformed Virasoro algebra.We realize the elliptic algebra at level one by Miki's construction from the bosonization for the type I and type II vertex operators.We also show that t…
In this paper, we show that $σ$-involutions associated to extendable c=4/5 Virasoro vectors generate a 3-transposition group in the automorphism group of a vertex operator algebra (VOA). Several explicit examples related to lattice VOA are also discussed in details. In particular, we show that the automorphism group of the VOA $V_{K_{12}}^{\hatν}$ associated to the Coxeter Todd lattice $K_{12}$ contains a subgroup isomorphic to ${}^+Ω^{-}(8,3)$.
We continue with [LY] to construct and classify graded simple twisted modules for the $\N$-graded vertex algebras constructed by Gorbounov, Malikov and Schechtman from vertex algebroids. Meanwhile we determine the full automorphism groups of those $\N$-graded vertex algebras in terms of the automorphism groups of the corresponding vertex algebroids.
This paper is a continuation of arXiv:1405.1707. We present certain new applications and generalizations of the free field realization of the twisted Heisenberg-Virasoro algebra ${\mathcal H}$ at level zero. We find explicit formulas for singular vectors in certain Verma modules. A free field realization of self-dual modules for ${\mathcal H}$ is presented by combining a bosonic construction of Whittaker modules from arXiv:1409.5354 with a construction of logarithmic modules for vertex algebras. As an application, we prove that there exists a non-split self-extension of irreducible self-dual m…
In this article we study and obtain a classification of Ising vectors in vertex operator algebras associated to binary codes and $\sqrt{2}$ times root lattices, where an Ising vector is a conformal vector with central charge 1/2 generating a simple Virasoro sub VOA. Then we apply our results to study certain commutant subalgebras related to root systems. We completely classify all Ising vectors in such commutant subalgebras and determine their full automorphism groups.
In this paper, we study the structure theory of a class of not-finitely graded Lie algebras related to generalized Heisenberg-Virasoro algebras. In particular, the derivation algebras, the automorphism groups and the second cohomology groups of these Lie algebras are determined.
We give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra A as Hopf automorphisms, namely Molnar's smash coproduct Hopf algebra. We find connections between the exponent and Frobenius-Schur indicators of a smash coproduct and the twisted exponents and twisted Frobenius-Schur indicators of the original Hopf algebra A. We study the category of modules of the smash coproduct.
Given a weight-one element $u$ of a vertex operator algebra $V$, we construct an automorphism of the category of generalized $g$-twisted modules for automorphisms $g$ of $V$ fixing $u$. We apply this construction to the case that $V$ is an affine vertex operator algebra to obtain explicit results on these automorphisms of categories. In particular, we give explicit constructions of certain generalized twisted modules from generalized twisted modules associated to diagram automorphisms of finite-dimensional simple Lie algebras and generalized (untwisted) modules.
We introduce intertwining operators among twisted modules or twisted intertwining operators associated to not-necessarily-commuting automorphisms of a vertex operator algebra. Let $V$ be a vertex operator algebra and let $g_{1}$, $g_{2}$ and $g_{3}$ be automorphisms of $V$. We prove that for $g_{1}$-, $g_{2}$- and $g_{3}$-twisted $V$-modules $W_{1}$, $W_{2}$ and $W_{3}$, respectively, such that the vertex operator map for $W_{3}$ is injective, if there exists a twisted intertwining operator of type ${W_{3}\choose W_{1}W_{2}}$ such that the images of its component operators span $W_{3}$, then $…
We prove that we have an isomorphism of type $A_{aut}(\mathbb C_σ[G])\simeq A_{aut}(\mathbb C[G])^σ$, for any finite group $G$, and any 2-cocycle $σ$ on $G$. In the particular case $G=\mathbb Z_n^2$, this leads to a Haar-measure preserving identification between the subalgebra of $A_o(n)$ generated by the variables $u_{ij}^2$, and the subalgebra of $A_s(n^2)$ generated by the variables $X_{ij}=\sum_{a,b=1}^np_{ia,jb}$. Since $u_{ij}$ is "free hyperspherical" and $X_{ij}$ is "free hypergeometric", we obtain in this way a new free probability formula, which at $n=\infty$ corresponds to the well-…
Twisted modules for N=2 supersymmetric vertex operator superalgebras are classified for the vertex operator superalgebra automorphisms which are lifts of a finite automorphism of the N=2 Neveu-Schwarz Lie superalgebra representation. These include the Ramond-twisted sectors and mirror-twisted sectors for N=2 vertex operator superalgebras, as well as twisted modules related to more general "spectral flow" representations of the N=2 Neveu-Schwarz algebra. We present the construct of twisted modules for free N=2 vertex operator superalgebras for all of the N=2 Neveu-Schwarz Lie superalgebra autom…
Given a non-semisimple automorphism $φ$ of a vertex algebra $V$, the fields in a $φ$-twisted $V$-module involve the logarithm of the formal variable, and the action of the Virasoro operator $L_0$ on such module is not semisimple. We construct examples of such modules and realize them explicitly as Fock spaces when $V$ is generated by free fields. Specifically, we consider the cases of symplectic fermions (odd superbosons), free fermions, and $βγ$-system (even superfermions). In each case, we determine the action of the Virasoro algebra.
For any integral lattice $Q$, one can construct a vertex algebra $V_Q$ called a lattice vertex algebra. If $σ$ is an automorphism of $Q$ of finite order, it can be lifted to an automorphism of $V_Q$. In this paper we classify the irreducible $σ$-twisted $V_Q$-modules. We show that the category of $σ$-twisted $V_Q$-modules is a semisimple abelian category with finitely many isomorphism classes of simple objects.
In this paper, we prove the categories of lower bounded twisted modules of positive integer levels for simple vertex operator algebras associated with affine Lie algebras and general automorphisms are semisimple, using the twisted generalization of Zhu's algebra for these vertex operator algebras, constructed in \cite{HY}. We also show that the category of lower bounded twisted modules for a general automorphism is equivalent to the category of lower bounded twisted modules for the corresponding diagram automorphism.
Suppose that $E=A[x;σ,δ]$ is an Ore extension with $σ$ an automorphism. It is proved that if $A$ is twisted Calabi-Yau of dimension $d$, then $E$ is twisted Calabi-Yau of dimension $d+1$. The relation between their Nakayama automorphisms is also studied. As an application, the Nakayama automorphisms of a class of 5-dimensional Artin-Schelter regular algebras are given explicitly.
Given a simple finite-dimensional Lie algebra and an automorphism of finite order, one defines the notion of a twisted toroidal Lie algebra. In this paper, we construct representations of twisted toroidal Lie algebras from twisted modules over affine and lattice vertex algebras.
As a continuation of the previous paper, we find a combinatorial interpretation of Dorey's rule for type $C_n$ via twisted Auslander-Reiten quivers (AR-quivers) of type $D_{n+1}$, which are combinatorial AR-quivers related to certain Dynkin diagram automorphisms. Combinatorial properties of twisted AR-quivers are useful to understand not only Dorey's rule but also other notions in the representation theory of the quantum affine algebra $U_q'(C_n^{(1)})$ such as denominator formulas. In addition, unlike twisted adapted classes of type $A_{2n-1}$ in the previous paper, we show twisted AR-quivers…
With any involutive anti-algebra and coalgebra automorphism of a quasitriangular bialgebra we associate a reflection equation algebra. A Hopf algebraic treatment of the reflection equation of this type and its universal solution is given. Applications to the twisted Yangians are considered.
We establish a natural connection of the $q$-Virasoro algebra $D_{q}$ introduced by Belov and Chaltikian with affine Kac-Moody Lie algebras. More specifically, for each abelian group $S$ together with a one-to-one linear character $χ$, we define an infinite-dimensional Lie algebra $D_{S}$ which reduces to $D_{q}$ when $S=\mathbb{Z}$. Guided by the theory of equivariant quasi modules for vertex algebras, we introduce another Lie algebra ${\mathfrak{g}}_{S}$ with $S$ as an automorphism group and we prove that $D_{S}$ is isomorphic to the $S$-covariant algebra of the affine Lie algebra $\widehat{…
We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of the coordinate algebra of the quantum SL(2) group relative to twisting automorphisms acting by rescaling the standard generators a,b,c,d. We discover a family of automorphisms for which the "twisted" Hochschild dimension coincides with the classical dimension of SL(2, C), thus avoiding the "dimension drop" in Hochschild homology seen for many quantum deformations. Strikingly, the simplest such automorphism is the canonical modular automorphism arising from the Haar functional. In addition,…
We exhibit a connection between two constructions of twisted modules for a general vertex operator algebra with respect to inner automorphisms. We also study pseudo-derivations, pseudo-endomorphisms, and twist deformations of ordinary modules by pseudo-endomorphisms, which are intrinsically connected to one of the two constructions.
We introduce and study the twisted adapted $r$-cluster point and its combinatorial Auslander-Reiten quivers, called twisted AR-quivers and folded AR-quivers, of type $A_{2n+1}$ which are closely related to twisted Coxeter elements and the non-trivial Dynkin diagram automorphism. As applications of the study, we prove that folded AR-quivers encode crucial information on the representation theory of quantum affine algebra $U_q'(B^{(1)}_{n+1})$ such as Dorey's rule and denominator formulas.
We construct and classify $(1 \; 2\; \cdots \; k)$-twisted $V^{\otimes k}$-modules for $k$ odd and for $V$ a vertex operator superalgebra. This extends previous results of the author, along with Dong and Mason, classifying all permutation-twisted modules for tensor product vertex operator algebras, to the setting of vertex operator superalgebras for odd order permutations. We show why this construction does not extend to the case of permutations of even order in the superalgebra case and how the construction and classification in the even order case is fundamentally different than that for the…
For the moonshine module $V^{\natural},$ whose automorphism is the Monster ${\Bbb M},$ We show how to give a uniform existence proof for irreducible $g$-twisted modules for elements of type $2A,$ $2B$ and $4A$ in ${\Bbb M}.$ The most interesting of these is the twisted sector $V^{\natural}(2A),$ whose automorphism group is essentially the centralizer of $2A$ in ${\Bbb M}.$ This is a 2-fold central extension of the Baby Monster, the second largest sporadic simple group. We also establish uniqueness of the twisted sectors and the hauptmodul property for the graded traces of automorphisms of odd …
Let $V$ be a vertex operator algebra, $k$ a positive integer and $σ$ a permutation automorphism of the vertex operator algebra $V^{\otimes k}$. In this paper, we determine the fusion product of any $V^{\otimes k}$-module with any $σ$-twisted $V^{\otimes k}$-module.
We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of all Podles quantum spheres relative to arbitary automorphisms. Our calculations are based on a free resolution due to Masuda, Nakagami and Watanabe. The dimension drop in Hochschild homology can be overcome by twisting by automorphisms induced from the canonical modular automorphism associated to the Haar state on quantum SU(2). We specialize our results to the standard quantum sphere, and identify the class in twisted cyclic cohomology of the 2-cocycle discovered by Schmuedgen and Wagner …
Twisted Calabi-Yau algebras are a generalisation of Ginzburg's notion of Calabi-Yau algebras. Such algebras A come equipped with a modular automorphism σ\in Aut(A), the case σ= id being precisely the original class of Calabi-Yau algebras. Here we prove that every twisted Calabi-Yau algebra may be extended to a Calabi-Yau algebra. More precisely, we show that if A is a twisted Calabi-Yau algebra with modular automorphism σ, then the smash product algebras A \rtimes_σN and A \rtimes_σZ are Calabi-Yau.
We describe a number of relationships between properties of the vacuum Verma module of a Virasoro algebra and the automorphism group of certain vertex operator algebras. These groups include the Deligne exceptional series of simple Lie groups and some exceptional finite simple groups including the Monster and Baby Monster.
We introduce a notion of strongly C^{\times}-graded, or equivalently, C/Z-graded generalized g-twisted V-module associated to an automorphism g, not necessarily of finite order, of a vertex operator algebra. We also introduce a notion of strongly C-graded generalized g-twisted V-module if V admits an additional C-grading compatible with g. Let V=\coprod_{n\in \Z}V_{(n)} be a vertex operator algebra such that V_{(0)}=\C\one and V_{(n)}=0 for n<0 and let u be an element of V of weight 1 such that L(1)u=0. Then the exponential of 2π\sqrt{-1} Res_{x} Y(u, x) is an automorphism g_{u} of V. In this …
In this paper we develop a formalism for working with twisted realizations of vertex and conformal algebras. As an example, we study realizations of conformal algebras by twisted formal power series. The main application of our technique is the construction of a very large family of representations for the vertex superalgebra $\goth V_Λ$ corresponding to an integer lattice $Λ$. For an automorphism $\^σ:\goth V_Λ\to\goth V_Λ$ coming from a finite order automorphism $σ:Λ\to Λ$ we define a category $\cal O_{\^σ}$ of twisted representations of $\goth V_Λ$ and show that this category is semisimple …
Let V be a vertex operator algebra, and for k a positive integer, let g be a k-cycle permutation of the vertex operator algebra V^{\otimes k}. We prove that the categories of weak, weak admissible and ordinary g-twisted modules for the tensor product vertex operator algebra V^{\otimes k} are isomorphic to the categories of weak, weak admissible and ordinary V-modules, respectively. The main result is an explicit construction of the weak g-twisted V^{\otimes k}-modules from weak V-modules. For an arbitrary permutation automorphism g of V^{\otimes k} the category of weak admissible g-twisted mod…
It is well known that using the weight lattice of type $E_6$, $P$, and the lattice construction for vertex operator algebras one can obtain all three level 1 irreducible $\tilde{g}$-modules with $V_P = V^{\Lamba_0} \oplus V^{\Lamba_1} \oplus V^{\Lamba_6}$. The Dynkin diagram of type $E_6$ has an order 2 automorphism, $τ$, which can be lifted to $\tilde{τ}$, a Lie algebra automorphism of $\tilde{g}$ of type $E_6^(1)$. The fixed points of $\tilde{τ}$ are a subalgebra $\tilde{a}$ of type $F_4^(1)$. The automorphism $τ$ lifts further to $\hat{τ}$ a vertex operator algebra automorphism of $V_P$. We…
We show that many noetherian Hopf algebras A have a rigid dualising complex R with R isomorphic to ^νA^1 [d]. Here, d is the injective dimension of the algebra and νis a certain k-algebra automorphism of A, unique up to an inner automorphism. In honour of the finite dimensional theory which is hereby generalised we call νthe Nakayama automorphism of A. We prove that ν= S^2\XXi, where S is the antipode of A and \XXi is the left winding automorphism of A determined by the left integral of A. The Hochschild homology and cohomology groups with coefficients in a suitably twisted free bimodule are s…
In this article we develop an approach to deformations of the Witt and Virasoro algebras based on $σ$-derivations. We show that $σ$-twisted Jacobi type identity holds for generators of such deformations. For the $σ$-twisted generalization of Lie algebras modeled by this construction, we develop a theory of central extensions. We show that our approach can be used to construct new deformations of Lie algebras and their central extensions, which in particular include naturally the $q$-deformations of the Witt and Virasoro algebras associated to $q$-difference operators, providing also correspond…
We motivate and prove a series of identities which form a generalization of the Euler's pentagonal number theorem, and are closely related to specialized Macdonald's identities for powers of the Dedekind $η$--function. More precisely, we show that what we call ``denominator formula'' for the Virasoro algebra has ``higher analogue'' for all $c_{s,t}$-minimal models. We obtain one identity per series which is in agreement with features of conformal field theory such as {\em fusion} and {\em modular invariance} that require all the irreducible modules of the series. In particular, in the case of …
The mutual consistency of boundary conditions twisted by an automorphism group G of the chiral algebra is studied for general modular invariants of rational conformal field theories. We show that a consistent set of twisted boundary states associated with any modular invariant realizes a non-negative integer matrix representation (NIM-rep) of the generalized fusion algebra, an extension of the fusion algebra by representations of the twisted chiral algebra associated with the automorphism group G. We check this result for several concrete cases. In particular, we find that two NIM-reps of the …
We introduce the notion of ``local system of $\Bbb{Z}_{T}$-twisted vertex operators'' on a $\Bbb{Z}_{2}$-graded vector space $M$, generalizing the notion of local system of vertex operators [Li]. First, we prove that any local system of $\Bbb{Z}_{T}$-twisted vertex operators on $M$ has a vertex superalgebra structure with an automorphism $σ$ of order $T$ with $M$ as a $σ$-twisted module. Then we prove that for a vertex (operator) superalgebra $V$ with an automorphism $σ$ of order $T$, giving a $σ$-twisted $V$-module $M$ is equivalent to giving a vertex (operator) superalgebra homomorphism from…
Starting with a vertex algebra $V$, a finite group $G$ of automorphisms of $V$, and a suitable collection of twisted $V$--modules, we construct (twisted) $D$--modules on the stack of pointed $G$--covers, introduced by Jarvis, Kaufmann, and Kimura. The fibers of these sheaves are spaces of orbifold conformal blocks defined in joint work with Edward Frenkel. The key ingredient is a $G$--equivariant version of the Virasoro uniformization theorem.
We present a bilocal isomorphism between the algebra generated by a single real twisted boson field and the algebra of the boson $βγ$ ghost system. As a consequence of this twisted vertex algebra isomorphism we show that each of these two algebras possesses both an untwisted and a twisted Heisenberg bosonic currents, as well as three separate families of Virasoro fields. We show that this bilocal isomorphism generalizes to an isomorphism between the algebra generated by the twisted boson field with $2n$ points of localization and the algebra of the $2n$ symplectic bosons.
Whenever the group $\R^n$ acts on an algebra $\calA$, there is a method to twist $\cal A$ to a new algebra $\calA_θ$ which depends on an antisymmetric matrix $θ$ ($θ^{μν}=-θ^{νμ}=\mathrm{constant}$). The Groenewold-Moyal plane $\calA_θ(\R^{d+1})$ is an example of such a twisted algebra. We give a general construction to realise this twist in terms of $\calA$ itself and certain ``charge'' operators $Q_μ$. For $\calA_θ(\R^{d+1})$, $Q_μ$ are translation generators. This construction is then applied to twist the oscillators realising the Kac-Moody (KM) algebra as well as the KM currents. They give…