aa r X i v : . [ m a t h - ph ] M a r THE SECOND BOSONIZATION OF THE CKP HIERARCHY
IANA I. ANGUELOVA
Abstract.
In this paper we discuss the second bosonization of the Hirota bilinear equation for the CKPhierarchy introduced in [DJKM81b]. We show that there is a second, untwisted, Heisenberg action on theFock space, in addition to the twisted Heisenberg action suggested by [DJKM81b] and studied in [vOS12].We derive the decomposition of the Fock space into irreducible Heisenberg modules under this action. Weshow that the vector space spanned by the highest weight vectors of the irreducible Heisenberg modules hasa structure of a super vertex algebra, specifically the symplectic fermions vertex algebra. We complete thesecond bosonization of the CKP Hirota equation by expressing the generating field via exponentiated bosonvertex operators acting on a polynomial algebra with two infinite sets of variables. Introduction
The Kadomtsev-Petviashvili (KP) hierarchy is famously associated with the boson-fermion correspon-dence, a vertex algebra isomorphism between the charged free fermions super vertex algebra and the latticesuper vertex algebra of the rank one odd lattice (see e.g. [Kac98]). One of the aspects of the boson-fermioncorrespondence is the equivalence between the KP hierarchy of differential equations in the bosonic spaceand the algebraic Hirota bilinear equation on the fermionic space. Namely, the KP hierarchy can be definedby the following Hirota bilinear equation:
Res z (cid:16) ψ + ( z ) ⊗ ψ − ( z ) (cid:17) ( τ ⊗ τ ) = 0 , where ψ + ( z ) and ψ − ( z ) are the two fermionic fields generating the charged free fermions super vertex algebra(following the notation of [Kac98]), and τ is an element of the Fock space of states of this super vertex algebra(the charge 0 subspace, to be exact). But the KP hierarchy is a hierarchy of differential equations, hence todemonstrate the equivalence with the Hirota bilinear approach one needs to bosonize the fields ψ + ( z ) and ψ − ( z ), i.e., write them in terms of bosonic (differential) operators. This bosonization was one side of theisomorphism known as the boson-fermion correspondence (there is a vast literature on this, as well as otheraspects of the boson-fermion correspondence, see e.g. [KR87], [Kac98], [MJD00] among many others).In [DJKM82] and [DJKM81b] Date, Jimbo, Kashiwara and Miwa introduced two new hierarchies relatedto the KP hierarchy: the BKP and the CKP hierarchies. As was the case for the KP hierarchy as well, theBKP and the CKP hierarchies were initially defined via a Lax form instead of Hirota bilinear equation: ∂L∂x n = [( L n ) + , L ] , where L is a certain pseudo-differential operator of the form L = ∂ + u ( x ) ∂ − + u ( x ) ∂ − + . . . (see e.g.[DJKM81a], [MJD00] for details). The connection between the Hirota bilinear equation and the Lax formsis given by u = ∂ ∂x ln τ ( x ) . Specifically, both the BKP and the CKP hierarchies were defined as reductions from the KP hierarchy, byassuming conditions on the pseudo-differential operator L used in the Lax form. For both of them Date,Jimbo, Kashiwara and Miwa suggested a Hirota bilinear equation, i.e., operator approach. The Hirotaequation approach was later completed for the BKP hierarchy (see [You89], among others). There were nosurprises encountered for the BKP case, and similarly to the KP case the bosonization of the BKP hierarchy Date : April 10, 2018.2010
Mathematics Subject Classification.
Key words and phrases. bosonization, CKP hierarchy, vertex algebra, symplectic fermions. was shown to be one of the sides of the boson-fermion correspondence of type B ([DJKM82], [You89]), whichwas later interpreted as an isomorphism of certain twisted vertex (chiral) algebras ([Ang13a], [Ang13b]).In [DJKM81b] Date, Jimbo, Kashiwara and Miwa suggested the following Hirota equation for the CKPhierarchy:
Res z (cid:0) χ ( z ) ⊗ χ ( − z ) (cid:1) ( τ ⊗ τ ) = 0 , where the field χ ( z ) is actually itself bosonic, with OPE χ ( z ) χ ( w ) ∼ z + w . Even though the field χ ( z ) is bosonic (and thus the algebra generated by its operator coefficients is a Liealgebra, see Section 1), we still need to bosonize it further in terms of Heisenberg algebra operators, inorder to recover the connection with the Lax approach. In [DJKM81b] Date, Jimbo, Kashiwara and Miwasuggested an approach to bosonization, via a twisted Heisenberg field defined by the normal ordered product : χ ( z ) χ ( − z ) :, but did not complete the bosonization. In [vOS12] van de Leur, Orlov and Shiota completedthis suggested bosonization and derived further properties and applications. The CKP hierarchy though heldseveral surprises, with more yet to come perhaps. The most consequential one so far, and the one we addressin this paper, is that the CKP hierarchy admits two different actions of two different Heisenberg algebras,one twisted and one untwisted, and thus two bosonizations of the Hirota equation are possible. The existenceof these two different Heisenberg actions was discovered in [Ang15]. The twisted Heisenberg algebra was theone used in [vOS12]. In this paper we complete the second bosonization, initiated by the second, untwisted,Heisenberg algebra action. We will study the further properties and applications of this bosonization in aconsequent paper, but here in this paper we concentrate on the necessary steps to complete the bosonization.There are 3 stages to any bosonization:(1) Construct a bosonic Heisenberg current from the generating fields, hence obtaining a field represen-tation of the Heisenberg algebra on the Fock space;(2) Decompose the Fock space into irreducible Heisenberg modules;(3) Express the original generating fields in terms of exponential boson fields, if possible.This paper completes these three stages. In Section 1 we introduce the required notation, recall the twoHeisenberg actions (further on in this paper we will only be concerned with the untwisted Heisenberg action),and introduce two necessary gradings. We then follow through with the decomposition of the Fock space intoirreducible Heisenberg modules. Herein lies the second surprise of the CKP hierarchy: although similarlyto the KP case there is a charge decomposition of the Fock space (via the charge grading induced by theaction of h , the 0 component of the untwisted Heisenberg field), unlike for the KP Fock space the chargedecomposition is not the same as the decomposition into irreducible modules. Specifically, unlike in the KPcase, none of the charge components is irreducible as a Heisenberg module. Here indeed the Fock space iscompletely reducible, but the vector space spanned by the highest weight vectors of the Heisenberg moduleshas a much more detailed and fine structure. (This is true for the first bosonization completed in [vOS12]as well). We show in Proposition 2.3 that the indexing set P tdo for the highest weight vectors (and thus forthe irreducible Heisenberg modules in the decomposition) consists of the distinct partitions with a triangularpart plus a distinct subpartition of odd half integers, namely: P tdo = { p = ( T m , λ , λ , . . . , λ k ) | T m − triangular number , λ > λ > · · · > λ k , λ i ∈
12 + Z ≥ , i = 1 , . . . , k } . Further, as we show in Section 3, the space of highest weight vectors has a structure of a super vertexalgebra, and specifically a structure realizing the symplectic fermion vertex super algebra, introduced firstin [Kau95] and [Kau00] (see also triplet vertex algebra, and e.g. [Wan98], [Abe07], [AM08]). Finally, inSection 4, by using the known embedding of the symplectic fermion vertex algebra as a subalgebra (the”small” subalgebra) of the charged free fermion vertex algebra (following [FMS86], [Kau95]), and thus viathe boson-fermion correspondence into a lattice vertex algebra, we can express the generating field χ ( z ) viaexponentiated boson vertex operators acting on a polynomial algebra with two infinite sets of variables.2. Heisenberg action and module decomposition
We will use common concepts and technical tools from the areas of vertex algebras and conformal fieldtheory, such as the notions of field, locality, Operator Product Expansions (OPEs), normal ordered products,
HE SECOND BOSONIZATION OF THE CKP HIERARCHY 3
Wick’s Theorem, for which we refer the reader to any book on the topic (such as [FLM88] and [Kac98]). Wewill also use the extension of these technical tools to the case of N -point locality, as introduced in [ACJ14].The starting point is the twisted neutral boson field χ ( z ),(2.1) χ ( z ) = X n ∈ Z +1 / χ n z − n − / with OPE(2.2) χ ( z ) χ ( w ) ∼ z + w . This OPE determines the commutation relations between the modes χ n , n ∈ Z + 1 /
2, as :(2.3) [ χ m , χ n ] = ( − m − δ m, − n . The modes of the field χ ( z ) form a Lie algebra which we denote by L χ . Let F χ be the Fock module of L χ with vacuum vector | i , such that χ n | i = 0 for n >
0. The vector space F χ has a basis(2.4) { ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i | j k > · · · > j > j > , j i ∈ Z + 12 , m i > , m i ∈ Z , i = 1 , , . . . , k } . Thus with our indexing F χ is isomorphic to the Fock space F of [vOS12]).In [DJKM81b] Date, Jimbo, Kashiwara and Miwa introduced the CKP hierarchy through a reduction ofthe KP hierarchy, and suggested the following algebraic Hirota bilinear equation associated to it:(2.5) Res z (cid:0) χ ( z ) ⊗ χ ( − z ) (cid:1) ( τ ⊗ τ ) = 0 . Here τ is an element of the Fock space F χ (in fact, τ may need to be an element of a certain completion of F χ , as we will discuss in a consequent paper about the solutions to this Hirota equation).In order to relate this purely algebraic Hirota equation to a system of differential equations we need tobosonize it. As outlined in the introduction, the bosonization will proceed in 3 stages. The first surprisepresented by the CKP case is that, as we showed in [Ang15], there is a second Heisenberg field generatedby the field χ ( z ) and its descendant field χ ( − z ), and therefore two different bosonizations of the algebraicHirota equation are possible: Proposition 2.1.
I. Let h Z +1 / χ ( z ) = : χ ( z ) χ ( − z ) : . We have h Z +1 / χ ( − z ) = h Z +1 / χ ( z ) , and we index h Z +1 / χ ( z ) as h Z +1 / χ ( z ) = P n ∈ Z +1 / h Z +1 / n z − n − . The field h Z +1 / χ ( z ) has OPE with itself given by: (2.6) h Z +1 / χ ( z ) h Z +1 / χ ( w ) ∼ − z + w z − w ) ∼ −
14 1( z − w ) −
14 1( z + w ) , and its modes, h Z +1 / n , n ∈ Z + 1 / , generate a twisted Heisenberg algebra H Z +1 / with relations [ h Z +1 / m , h Z +1 / n ] = − mδ m + n, , m, n ∈ Z + 1 / .II. Let h Z χ ( z ) = z (: χ ( z ) χ ( z ) : − : χ ( − z ) χ ( − z ) :) . We have h Z χ ( − z ) = h Z χ ( z ) , and we index h Z χ ( z ) as h Z χ ( z ) = P n ∈ Z h Z n z − n − . The field h Z χ ( z ) has OPE with itself given by: (2.7) h Z χ ( z ) h Z χ ( w ) ∼ − z − w ) , and its modes, h Z n , n ∈ Z , generate an untwisted Heisenberg algebra H Z with relations [ h Z m , h Z n ] = − mδ m + n, , m, n ∈ Z . The bosonization initiated by the twisted Heisenberg current from the the above proposition is studiedin [vOS12]. In this paper we study the second bosonization, initiated by the untwisted Heisenberg current.For simplicity from now on we will denote the untwisted field h Z χ ( z ) by h χ ( z ) and its modes by h n , n ∈ Z .For the second step in the bosonization process we first need to show that the Heisenberg algebra repre-sentation on F χ is in fact completely reducible. It is immediate that the representation is a bounded fieldrepresentation (see e.g. Theorem 3.5 of [Kac98]), and we just need to show that h is diagonalizable. To We use here an indexing of the field χ ( z ) typical of vertex algebra fields (as opposed to [DJKM81b], where it was introducedoriginally, or [vOS12]). The field χ ( z ) is related to the double-infinite rank Lie algebra c ∞ (see e.g. [KWY98], [Wan99], [ACJ14]);consequently it is denoted by φ C ( z ) in [ACJ14]. IANA I. ANGUELOVA that effect we need to introduce various gradings on F χ . There are at least two types of natural gradings:the first one necessarily derived from the Heisenberg field, specifically from the action of h , and the secondfrom one of the families of Virasoro fields that we discussed in [Ang15].We first introduce a normal ordered product : χ m χ n : on the modes χ m of the field χ ( z ), compatible withthe normal ordered product of fields, by:(2.8) : χ ( z ) χ ( w ) := X m,n ∈ Z +1 / : χ m χ n : z − m − / w − n − / = X m,n ∈ Z : χ − m − χ − n − : z m w n , and thus for m, n ∈ Z this results in the usual ”move annihilation operators to the right” approach:: χ − m − χ − n − := χ − m − χ − n − for m + n = 1: χ − m − χ − n − := χ − m − χ − n − − ( − m − = χ − n − χ − m − for m + n = − , n ≥ , : χ − m − χ − n − := χ − m − χ − n − for m + n = − , m ≥ . Hence we can express the modes of the field h χ ( z ) = P n ∈ Z h n z − n − as follows(2.9) h n = 12 X k ∈ Z +1 / : χ k χ n − k := 12 X i ∈ Z : χ − i − χ n + i + :In particular, we have(2.10) h = X k ∈ Z ≥ +1 / : χ − k χ k := χ − χ + χ − χ + . . . Hence it follows that on a monomial ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i in F χ we have(2.11) h (cid:16) ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i (cid:17) = (cid:16) X j i ∈ Z +1 / m i − X j i ∈ Z − / m i (cid:17)(cid:16) ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i (cid:17) . This shows that h is diagonalizable and thus the Heisenberg algebra representation on F χ is completelyreducible. It also gives F χ a Z grading, which we will call charge and denote chg (as it is similar to thecharge grading in the usual boson-fermion correspondence of type A, i.e., the bosonization related to the KPhierarchy):(2.12) chg (cid:0) | i (cid:1) = 0; chg (cid:16) ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i (cid:17) = X j i ∈ Z +1 / m i − X j i ∈ Z − / m i . Example: chg (cid:0) χ − | i (cid:1) = 1; chg (cid:0) χ − | i (cid:1) = − chg (cid:0) χ − χ − | i (cid:1) = 0.Denote the linear span of monomials of charge n by F ( n ) χ . The Fock space F χ has a charge decomposition F χ = ⊕ n ∈ Z F ( n ) χ . In the usual boson-fermion correspondence (of type A), the charge decomposition is in fact the decompositionof the Fock space in terms of irreducible Heisenberg modules (see e.g. Theorem 5.1 of [Kac98], as well asthe more detailed descriptions in [KR87], [MJD00]); i.e., each charge component F ( n ) χ is in fact a Heisenbergirreducible module. This is not the case here: for example, the vector v := χ − χ − | i − χ − χ − | i + 2 χ − χ − | i is of charge 0, but we can also directly check that h n v = 0 for any n >
0. Thus v is another highestweight vector of charge 0 for the action of the Heisenberg algebra, besides the vacuum | i . Therefore thecharge 0 component F ( ) χ is not irreducible as a Heisenberg module, in contrast to the usual boson-fermioncorrespondence (of type A), Similarly, neither are the other charge components, as we shall see.Next, there is a Z grading on F χ we will call degree and denote by deg , which we obtain by using one ofthe three families of Virasoro fields that were discussed in [Ang15]. In [Ang15] we introduced the descendentfields β χ ( z ) , γ χ ( z ) defined by(2.13) β χ ( z ) = χ ( z ) − χ ( − z )2 z ; γ χ ( z ) = χ ( z ) + χ ( − z )2 . HE SECOND BOSONIZATION OF THE CKP HIERARCHY 5
These fields have OPEs: β χ ( z ) β χ ( w ) ∼ γ χ ( z ) γ χ ( w ) ∼ β χ ( z ) γ χ ( w ) ∼ z − w ; γ χ ( z ) β χ ( w ) ∼ − z − w . (2.14)In particular, we have β χ ( z ) = X m ∈ Z χ − m + ( z ) m − ; γ χ ( z ) = X m ∈ Z χ − m − ( z ) m (2.15)Hence we can translate the following Virasoro field ([Ang15]) from the β − γ system(2.16) L βγ ; ( λ,µ )2 ( z ) = λ : ( ∂ z β ( z )) γ ( z ) : +( λ + 1) : β ( z ) ( ∂ z γ ( z )) : + µz : β ( z ) γ ( z ) : + (2 λ + 1) µ − µ z , into a Virasoro action on F χ . For simplicity we will consider only the case µ = 0, and we have(2.17) L λ ( z ) = X n ∈ Z L n ( z ) − n − = − X n ∈ Z (cid:16) X k + l = n ( λ ( k + 1) + ( λ + 1) l ) : χ k + χ l − : (cid:17) ( z ) − n − , in particular(2.18) L λ = − X k ∈ Z ( λ + k ) : χ − k + χ k − : . We can further vary λ ( λ = − is usually chosen in conformal field theory), but a useful choice here is λ = − . In that case, we have(2.19) L = 12 (cid:16)
12 : χ − χ : −
32 : χ − χ : + 52 : χ − χ : − . . . (cid:17) . Hence(2.20) L (cid:16) ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i (cid:17) = 12 ( m k · j k + . . . m · j + m · j ) (cid:16) ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i (cid:17) . Discarding the factor of we have the deg grading on F χ (also used in [vOS12]):(2.21) deg (cid:0) | i (cid:1) = 0; degχ − j | i = j ; deg (cid:16) ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i (cid:17) = m k · j k + . . . m · j + m · j , where j k > · · · > j > j > , j i ∈ Z + , m i > , m i ∈ Z , i = 1 , , . . . , k . Consequently we have a degreedecomposition of F χ as in [vOS12], which now we know is actually derived from the Virasoro operatorcomponent L . The formal character is given by:(2.22) dim q F χ := tr F χ q L = X k ∈ Z dim (cid:16) span { v ∈ F χ | deg ( v ) = k } (cid:17) q k . We can form also the character with respect to both the L and h grading operators (they are bothdiagonalizable):(2.23) dim q,z F χ := tr F χ q L z h . Now observing that acting by χ − j − , ≥
0, on a monomial ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i will producea factor of z +1 q j + , and acting by χ − j + , ≥ z − q j − , it is immediate that(2.24) dim q,z F χ = 1 Q j ∈ Z + (cid:0) − zq j − (cid:1)(cid:0) − z − q j − (cid:1) . The formula(2.25) dim q F χ = 1 Q j ∈ Z + (cid:0) − q j − (cid:1) of [vOS12] then follows from setting z = 1 in (2.24). IANA I. ANGUELOVA
Lemma 2.2.
The following relations hold: [ L , h m ] = − mh m , ∀ m ∈ Z , and thus for any v ∈ F χ we have (2.26) deg ( h − m v ) = 2 m + deg ( v ) , ∀ m ∈ Z + . Proof.
By using the relation with the βγ system we can calculate the OPE between L ( z ) = − : (cid:0) ∂ z β ( z ) (cid:1) γ ( z ) : + : β ( z ) (cid:0) ∂ z γ ( z ) (cid:1) : and h χ ( z ) =: β ( z ) γ ( z ) : via Wick’s Theorem. Thecalculations are straightforward. (cid:3) Since the conditions of Theorem 3.5 of [Kac98] are satisfied, the Heisenberg module F χ is completelyreducible, and is a direct sum of irreducible highest weight Heisenberg modules, each isomorphic to C [ h − , h − , . . . , h − n , . . . ] · v for some highest weight vector v , for which h n v = 0 for any n >
0. It is a well known fact (see e.g. [KR87],[FLM88]) that any irreducible highest weight module of the Heisenberg algebra H Z introduced in Section2 is isomorphic to the polynomial algebra with infinitely many variables B λ ∼ = C [ x , x , . . . , x n , . . . ] where v h n i∂ x n , h − n inx n · , for any n ∈ N , h λ · , λ ∈ C . In fact we can introduce an arbitrary re-scaling s n = 0 , s n ∈ C , for n = 0 only, so that(2.28) h n is n ∂ x n , h − n is − n nx n · , for any n ∈ N , h λ · . Thus each of the irreducible modules in our Heisenberg decomposition is isomorphic to B λ ∼ = C [ x , x , . . . , x n , . . . ]for some λ ∈ C determined by the charge of the highest weight vector generating the module. Now if v is ahighest weight vector, which induces an irreducible module V = C [ h − , h − , . . . , h − n , . . . ] · v ∼ = B λ , then asa consequence of (2.26) V has graded dimension dim q V = q deg ( v ) Q i ∈ Z + (1 − q i ) . Since F χ is a direct sum of such irreducible modules, we have dim q F χ = P p ∈ P tdo q deg ( v p ) Q i ∈ Z + (1 − q i ) , where the summation is over an as yet unknown indexing set P tdo . By comparing this formula for the gradeddimension with (2.25), we have X p ∈ P tdo q deg ( v p ) = Q i ∈ Z + (1 − q i ) Q i ∈ Z + (1 − q i − ) = Q i ∈ Z + (1 − q i ) Q i ∈ Z + (1 + q i − ) Q i ∈ Z + (1 − q i − )Now using the Jacobi triple identity in one of its forms:(2.29) ∞ Y i =1 (1 − q i )(1 + zq i − )(1 + z − q i ) = X m ∈ Z z m q m ( m − . we have, by setting z = 1,2 X m ∈ Z ≥ q T m = 2 ∞ Y i =1 (1 − q i )(1 + q i ) = 2 Q ∞ i =1 (1 − q i )(1 − q i − )(1 + q i ) Q ∞ i =1 (1 − q i − ) = 2 Q ∞ i =1 (1 − q i )(1 + q i ) Q ∞ i =1 (1 − q i − )where T m denotes the m -th triangular number— T m := 1 + 2 + · · · + m = m ( m +1)2 , with T = 0. Hence bynecessity we re-derived a known formula for the triangular numbers: X m ∈ Z ≥ q T m = 1 + q + q + q + q + · · · + q T m + · · · = Q ∞ i =1 (1 − q i ) Q ∞ i =1 (1 − q i − ) . We couldn’t find a reference for this formula.
HE SECOND BOSONIZATION OF THE CKP HIERARCHY 7
Using this formula, we have(2.30) X p ∈ P tdo q deg ( v p ) = (cid:16) X m ∈ Z ≥ q T m (cid:17) · Y i ∈ Z + (1 + q i − ) . Since the right-hand side is now a sum with positive coefficients, it determines the indexing set P tdo , namelyit consists of distinct partitions of the type(2.31) P tdo = { p = ( T m , λ , λ , . . . , λ k ) | T m − triangular number , λ > λ > · · · > λ k , λ i ∈
12 + Z ≥ , i = 1 , . . . , k } . As usual, the weight | p | of such a partition p is the sum of its parts, | p | := T m + λ + λ + · · · + λ k .Hence we arrive at the following proposition, which provides the decomposition of F χ into irreducibleHeisenberg modules, thus completing the second step in the process of bosonization: Proposition 2.3.
For the action of the Heisenberg algebra H Z on F χ , the number of highest weight vectorsof degree n ∈ Z equals the number of partitions p ∈ P tdo of weight n . Thus as Heisenberg modules (2.32) F χ ∼ = ⊕ p ∈ P tdo C [ x , x , . . . , x n , . . . ] . Example 2.4.
We can calculate the highest weight vectors of given degree by brute force. For the fist fewdegrees we have X p ∈ P tdo q deg ( v p ) = (cid:16) X m ∈ Z ≥ q T m (cid:17) · Y i ∈ Z + (1 + q i − )= (cid:0) q + q + q + . . . (cid:1) (cid:16) q + q + q + q + q + q + 2 q + 2 q + . . . (cid:17) = 1 + q + q + 2 q + q + 2 q + 3 q + 3 q + 3 q + 4 q + . . . The corresponding highest weight vectors are (in each degree the maximum charge of the highest weightvectors starts at twice that degree, and also the charges inside each degree are equivalent modulo 4):1 | i q χ − | i q χ − | i q χ − | i ; χ − | i q χ − | i q χ − | i ; χ − χ − | i + 2 χ − | i q χ − | i ; χ − χ − | i + 3 χ − χ − | i ; χ − | i q χ − | i ; χ − χ − | i + 4 χ − χ − | i ; χ − χ − | i − χ − | i q χ − | i ; χ − χ − | i + 5 χ − χ − | i ; χ − χ − | i − χ − χ − | i + 2 χ − χ − | i q χ − | i ; χ − χ − | i + 6 χ − χ − | i ; χ − χ − | i + 6 χ − | i + 6 χ − χ − χ − | i ; χ − | i There are several families of highest weight vectors, for instance one can easily check that χ n − | i , χ n − | i and χ − χ n +2 − | i + ( n + 2) χ − χ n − | i are highest weight vectors for any n ≥
0. Also, observe that at anygiven weight n for n ∈ Z , χ n − | i is the highest weight vector of the highest charge ( n ) with that degree. Remark 2.5.
It would be interesting to derive a formula giving a correspondence between a partition p ∈ P tdo of weight n and the highest weight vector corresponding to that partition, or even the charge ofthat highest weight vector. As the weights of the partitions grow, the charges are less straightforward tocalculate. For example at weight there are 7 partitions from P tdo and one can calculate by brute forcethat there is a highest weight vector of charge 13, a highest weight vector of charge 9, two highest weightvectors of charge 5, two highest weight vectors of charge 1 and a highest weight vector of charge − F hwv χ the vector space spanned by all the highest weight vectors for the Heisenberg action. Toaccomplish the third step in the bosonization process, in the next section we will first show that F hwv χ hasa structure realizing the symplectic fermion super vertex algebra. IANA I. ANGUELOVA Symplectic fermions: vertex algebra structure on the space spanned by the Heisenberghighest weight vectors
As usual, for a rational function f ( z, w ), with poles only at z = 0, z = ± w , we denote by i z,w f ( z, w ) theexpansion of f ( z, w ) in the region | z | ≫ | w | (the region in the complex z plane outside the points z = 0 , ± w ),and correspondingly for i w,z f ( z, w ). Lemma 3.1.
The following OPEs hold: (3.1) h χ ( z ) β χ ( w ) ∼ − z − w β χ ( w ); h χ ( z ) γ χ ( w ) ∼ z − w γ χ ( w ) Proof.
By direct application of Wick’s Theorem. (cid:3)
Denote(3.2) V − ( z ) = exp (cid:16) − X n> n h n z − n (cid:17) ; V + ( z ) = exp (cid:16) X n> n h − n z n (cid:17) Consequently, we will write(3.3) V − ( z ) − = exp (cid:16) X n> n h n z − n (cid:17) ; V + ( z ) − = exp (cid:16) − X n> n h − n z n (cid:17) Lemma 3.2.
The following commutation relations hold: [ h χ ( z ) , V − ( w )] = − (cid:16) X n> z n − w n (cid:17) V − ( w ) = − i w,z w − z V − ( w ) = i w,z z − w V − ( w );(3.4) [ h χ ( z ) , V + ( w )] = − (cid:16) X n> w n z n +2 (cid:17) V + ( w ) = − i z,w w z ( z − w ) V + ( w );(3.5) V − ( z ) V + ( w ) = i z,w z z − w V + ( w ) V − ( z );(3.6) V − ( z ) − V + ( w ) − = i z,w z z − w V + ( w ) − V − ( z ) − ;(3.7) V − ( z ) − V + ( w ) = z − w z V + ( w ) V − ( z ) − ;(3.8) V − ( z ) V + ( w ) − = z − w z V + ( w ) − V − ( z ) . (3.9) Proof.
The proof is by direct calculation on the first two relations. On the other four we apply the Baker-Campbell-Hausdorff formula, we will only show it for one of the relations: V − ( z ) V + ( w ) = exp − [ X m> m h m z − m , X n> n h − n w n ] ! · V + ( w ) V − ( z )= exp X m> m w m z m ! · V + ( w ) V − ( z ) = i z,w exp (cid:18) − ln (cid:18) − w z (cid:19)(cid:19) · V + ( w ) V − ( z ) . (cid:3) Observe that V − ( z ) and V + ( z ) are actually functions of z . With that in mind, denote(3.10) H β ( z ) = V + ( z ) − β χ ( z ) z − h V − ( z ) − , H γ ( z ) = V + ( z ) γ χ ( z ) z h V − ( z ) . Remark 3.3.
We want to mention that in the case of the usual boson-fermion correspondence (for the KPhierarchy, aka of type A), one introduces an invertible operator u from the subspace of charge m to thesubspace of charge m + 1 (see e.g. [Kac98], Section 5.2), mapping the unique–in that case—highest weightvector of charge m to the unique highest weight vector of charge m + 1. That operator u is then used todefine the (simpler) counterparts of H β ( z ) and H γ ( z ). As we saw in the previous section, in our case thecharge components F ( m ) χ are not irreducible, and therefore such an invertible operator u doesn’t exist, atleast not as an invertible operator sending a highest weight vector to highest weight vector. HE SECOND BOSONIZATION OF THE CKP HIERARCHY 9
Lemma 3.4.
The following commutation relations hold: (3.11) [ h χ ( z ) , H β ( w )] = − z H β ( w ) , [ h χ ( z ) , H γ ( w )] = 1 z H γ ( w ) . Therefore H β ( z ) and H γ ( z ) can be considered fields (vertex operators) on F hwv χ , i.e., for each v ∈ F hwv χ ,we have H β ( z ) v ∈ F hwv χ (( z )) and H γ ( z ) v ∈ F hwv χ (( z )) .Proof. We have[ h χ ( z ) , H β ( w )] = [ h χ ( z ) , V + ( w ) − β ( w ) w − h V − ( w ) − ]= (cid:16) X n> z n − w n − i z,w z − w − i w,z w − z + X n> w n z n +2 (cid:17) H β ( w ) = − z H β ( w ) . Hence we see that(3.12) [ h n , H β ( w )] = 0 , for any n = 0; [ h , H β ( w )] = − H β ( w ) . We can similarly see that[ h χ ( z ) , H γ ( w )] = [ h χ ( z ) , V + ( w ) γ ( w ) w h V − ( w )]= (cid:16) − X n> z n − w n + i z,w z − w + i w,z w − z − X n> w n z n +2 (cid:17) H γ ( w ) = 1 z H γ ( w ) . Thus(3.13) [ h n , H γ ( w )] = 0 , for any n = 0; [ h , H γ ( w )] = H γ ( w ) . Now let v be a highest weight vector, i.e., v ∈ F hwv χ ; from (3.12) it is clear that h n H β ( z ) v = H β ( z ) h n v = 0 , for any n > . Hence the coefficients of H β ( z ) v are in fact highest weight vectors themselves, i.e., H β ( z ) v ∈ F hwv χ (( z ))(instead of the more general F χ (( z ))). Therefore we can view the field H β ( z ) as a field on F hwv χ , instead ofmore generally on F χ . Similarly for H γ ( z ). (cid:3) As mentioned above, in the case of the boson-fermion correspondence of type A (the bosonization ofthe KP hierarchy), the counterparts of the fields H β ( z ) and H γ ( z ) are the simple operators u − and u ,see e.g. [Kac98], Section 5.2 (which can be identified with e − α and e α if one identifies the vector space ofhighest weight vectors in that case with C [ e α , e − α ]). In particular there the operators u − and u are actuallyindependent of z . This is not the case for the fields H β ( z ) and H γ ( z ), as we will show: Proposition 3.5.
The following commutation relations hold: { H β ( z ) , H γ ( w ) } = i z,w z − w ) − i w,z w − z ) ;(3.14) { H β ( z ) , H β ( w ) } = 0; { H γ ( z ) , H γ ( w ) } = 0 . (3.15) Here we use the notation { A, B } := AB + BA for two operators A, B . If we use the delta function notation (see [Kac98]), δ ( z, w ) := X n ∈ Z z n w n +1 = i z,w z − w + i w,z w − z , the nontrivial commutation relation in the proposition above can be written as { H β ( z ) , H γ ( w ) } = ∂ w δ ( z , w ); { H γ ( z ) , H β ( w ) } = ∂ z δ ( z , w ) . For the proof of this proposition we need the following
Lemma 3.6.
The following commutation relations hold: β χ ( z ) V + ( w ) = i z,w z z − w V + ( w ) β χ ( z ) , β χ ( z ) V + ( w ) − = z − w z V + ( w ) − β χ ( z );(3.16) β χ ( z ) V − ( w ) = w − z w V − ( w ) β χ ( z ) , β χ ( z ) V − ( w ) − = i w,z w w − z w V − ( w ) − β χ ( z );(3.17) γ χ ( z ) V + ( w ) = z − w z V + ( w ) γ χ ( z ) , γ χ ( z ) V + ( w ) − = i z,w z z − w V + ( w ) − γ χ ( z );(3.18) γ χ ( z ) V − ( w ) = w − z w V − ( w ) γ χ ( z ) , γ χ ( z ) V − ( w ) − = i w,z w w − z V − ( w ) − γ χ ( z ) . (3.19) Proof.
From the definition of H β ( z ) we have β χ ( z ) V + ( w ) = V + ( z ) H β ( z ) z h V − ( z ) V + ( w ) = V + ( z ) H β ( z ) z h i z,w z z − w V + ( w ) V − ( z )= i z,w z z − w V + ( w ) V + ( z ) H β ( z ) z h V − ( z ) = i z,w z z − w V + ( w ) β χ ( z ) . Here we used both Lemma 3.4, namely that H β ( z ) commutes with both V + ( w ) and V − ( z ), as well asLemma 3.2. Similarly γ χ ( z ) V − ( w ) = V + ( z ) − H γ ( z ) z − h V − ( z ) − V − ( w ) = V + ( z ) − V − ( w ) H γ ( z ) z − h V − ( z ) − = (cid:18) − z w (cid:19) V − ( w ) V + ( z ) − H γ ( z ) z − h V − ( z ) − = w − z w V − ( w ) γ χ ( z ) . The other relations are proved similarly. (cid:3)
We now return to the proof of the Proposition.
Proof.
We will prove the first of the nontrivial relations, the other is proved similarly. We use the commu-tation relations from Lemma 3.2, and commute successively the annihilating V − ( z ) − to the right, and thecreating V + ( w ) to the left: H β ( z ) H γ ( w ) = V + ( z ) − β χ ( z ) z − h V − ( z ) − V + ( w ) γ χ ( w ) w h V − ( w )= z − w z V + ( z ) − β χ ( z ) z − h V + ( w ) V − ( z ) − γ χ ( w ) w h V − ( w )= z − w z · i z,w z z − w V + ( z ) − V + ( w ) β χ ( z ) z − h V − ( z ) − γ χ ( w ) w h V − ( w )= z − w z · i z,w z z − w · i z,w z z − w V + ( z ) − V + ( w ) β χ ( z ) z − h γ χ ( w ) w h V − ( z ) − V − ( w )= i z,w z z − w V + ( z ) − V + ( w ) β χ ( z ) z − h γ χ ( w ) w h V − ( z ) − V − ( w ) . Now we need to interchange z − h and γ χ ( w ). From Lemma 3.1 we have h γ χ ( w ) = γ χ ( w )( h + 1), orwe can see directly from γ χ ( w ) = χ ( w ) + χ ( − w )2 = X n ∈ Z χ − n − / w n = · · · + χ / w − + χ − / + χ − / w + . . . , in addition to the fact that acting by χ − n − / adds charge of 1, that z − h γ χ ( w ) = 1 z γ χ ( w ) z − h . Finally we have from the OPE of β χ ( z ) with γ χ ( w ), plus the definition of a normal ordered product that β χ ( z ) γ χ ( w ) =: β χ ( z ) γ χ ( w ) : + 1 z − w , HE SECOND BOSONIZATION OF THE CKP HIERARCHY 11 and so H β ( z ) H γ ( w ) = i z,w z − w V + ( z ) − V + ( w ) β χ ( z ) γ χ ( w ) z − h w h V − ( z ) − V − ( w )= i z,w z − w V + ( z ) − V + ( w ) (cid:18) : β χ ( z ) γ χ ( w ) : + 1 z − w (cid:19) z − h w h V − ( z ) − V − ( w )= i z,w z − w V + ( z ) − V + ( w ) (cid:0) : β χ ( z ) γ χ ( w ) : (cid:1) z − h w h V − ( z ) − V − ( w )+ i z,w z − w ) V + ( z ) − V + ( w ) z − h w h V − ( z ) − V − ( w ) . We can similarly derive H γ ( w ) H β ( z ) = V + ( w ) γ χ ( w ) w h V − ( w ) V + ( z ) − β χ ( z ) z − h V − ( z ) − = w − z w V + ( w ) γ χ ( w ) w h V + ( z ) − V − ( w ) β χ ( z ) z − h V − ( z ) − = w − z w · i w,z w w − z V + ( w ) γ χ ( w ) w h V + ( z ) − β χ ( z ) z − h V − ( w ) V − ( z ) − = w − z w · i w,z w w − z · i w,z w w − z V + ( w ) V + ( z ) − γ χ ( w ) w h β χ ( z ) z − h V − ( w ) V − ( z ) − = i w,z w − z V + ( w ) V + ( z ) − γ χ ( w ) β χ ( z ) z − h w h V − ( w ) V − ( z ) − = i w,z w − z V + ( w ) V + ( z ) − (cid:18) : γ χ ( w ) β χ ( z ) : − i w,z w − z (cid:19) z − h w h V − ( w ) V − ( z ) − = i w,z w − z V + ( w ) V + ( z ) − (cid:0) : β χ ( z ) γ χ ( w ) : (cid:1) z − h w h V − ( w ) V − ( z ) − − i w,z w − z ) V + ( w ) V + ( z ) − z − h w h V − ( w ) V − ( z ) − Thus we have H β ( z ) H γ ( w ) + H γ ( w ) H β ( z ) = δ ( z , w ) V + ( w ) V + ( z ) − (cid:0) : β χ ( z ) γ χ ( w ) : (cid:1) z − h w h V − ( w ) V − ( z ) − + ∂ w δ ( z , w ) V + ( w ) V + ( z ) − z − h w h V − ( w ) V − ( z ) − Now we use the standard properties of the the delta function (see e.g. [Kac98]), namely δ ( z , w ) f ( z ) = δ ( z , w ) f ( w ) , and ∂ w δ ( z , w ) f ( z ) = ∂ w δ ( z , w ) f ( w ) + δ ( z , w ) ∂ w f ( w ) . Consequently, H β ( z ) H γ ( w ) + H γ ( w ) H β ( z ) = δ ( z , w ) : β χ ( w ) γ χ ( w ) : ++ ∂ w δ ( z , w ) + δ ( z , w ) − X n> h − n w n − − X n> h n w − n − − h w − ! = δ ( z , w ) h χ ( w ) + ∂ w δ ( z , w ) − δ ( z , w ) h χ ( w )= ∂ w δ ( z , w ) . Now we prove the first of the trivial relations: H β ( z ) H β ( w ) = V + ( z ) − β χ ( z ) z − h V − ( z ) − V + ( w ) − β χ ( w ) w − h V − ( w ) − = i z,w z z − w V + ( z ) − β χ ( z ) V + ( w ) − z − h V − ( z ) − β χ ( w ) w − h V − ( w ) − = i z,w z z − w · z − w z V + ( z ) − V + ( w ) − β χ ( z ) z − h V − ( z ) − β χ ( w ) w − h V − ( w ) − = i z,w z z − w · z − w z · z − w z V + ( z ) − V + ( w ) − β χ ( z ) z − h β χ ( w ) w − h V − ( z ) − V − ( w ) − = ( z − w ) V + ( z ) − V + ( w ) − β χ ( z ) β χ ( w ) z − h w − h V − ( z ) − V − ( w ) − . Therefore H β ( w ) H β ( z ) = ( w − z ) V + ( z ) − V + ( w ) − β χ ( w ) β χ ( z ) z − h w − h V − ( z ) − V − ( w ) − , and so H β ( z ) H β ( w ) + H β ( w ) H β ( z ) = 0 . The relation H γ ( z ) H γ ( w ) + H γ ( w ) H γ ( z ) = 0 . is proved similarly. (cid:3) We index the fields H β ( z ) and H γ ( z ) in the standard vertex algebra notation:(3.20) H β ( z ) = X n ∈ Z H β ( n ) z − n − ; H γ ( z ) = X n ∈ Z H γ ( n ) z − n − . The proposition above ensures that H β ( z ) and H γ ( z ) satisfy the OPE relations of the symplectic fermionvertex algebra introduced by Kausch, see e.g. [Kau95] and [Kau00]. Observe that since the fields H β ( z ) and H γ ( z ) depend only on z we can re-scale back to z as is necessary for a super vertex algebra. Now we needto check that the space F hwv χ satisfies the other conditions for the existence of a vertex algebra structure, asin e.g. the Existence Theorem 4.5, [Kac98]. It is immediate to check that the creation condition is satisfied:(3.21) H β ( z ) | i = V + ( z ) − β χ ( z ) | i = χ − / | i + O ( z ) , and(3.22) H γ ( z ) | i = V + ( z ) γ χ ( z ) | i = χ − / | i + O ( z ) . In order to show that the the operators H β ( n ) and H γ ( n ) generate the vector space F hwv χ by a successive actionon the vacuum | i , we observe that the vector H ( n ) H ( n ) . . . H ( n k ) | i , where H ( n s ) is either H β ( n s ) or H γ ( n s ) , will appear as a coefficient in the multivariable expression H ( z ) H ( z ) . . . H ( z k ) | i , where again H ( z s ) is either H β ( z s ) or H γ ( z s ). We first observe that as a consequence of Lemma 3.4 thesecoefficients are themselves highest weight vectors for the Heisenberg action.By extending the calculation in the proof of the previous proposition, we can see that H ( z ) H ( z ) . . . H ( z k ) = Y s>l i z s ,z l ( z s − z l ) ± k Y s =1 (cid:0) V + ( z s ) ± (cid:1) k Y s =1 ( β − or − γ ) χ ( z s ) k Y s =1 (cid:0) z ± h s V − ( z s ) ± (cid:1) , the ± depends on whether the H ( z s ) is H β ( z s ) or H γ ( z s ). Therefore we have H ( z ) H ( z ) . . . H ( z k ) | i = Y s>l i z s ,z l ( z s − z l ) ± k Y s =1 (cid:0) V + ( z s ) ± (cid:1) k Y s =1 ( β − or − γ ) χ ( z s ) | i . Now the nonzero coefficients in the above multivariate expression will be precisely those for which thecoefficients in Q ks =1 ( β − or − γ ) χ ( z s ) | i cannot be canceled by an action of the operators from Q ks =1 ( V + ( z s ) ± ).The coefficients in Q ks =1 ( β − or − γ ) χ ( z s ) | i are the elements ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i and they span F χ . Thus the nonzero coefficients will correspond precisely to monomials ( χ − j k ) m k . . . ( χ − j ) m ( χ − j ) m | i that cannot be obtained by acting with the Heisenberg algebra on combinations of similar monomials butof lower degree. Due to the fact that the representation of the Heisenberg algebra on F χ is completelyreducible, those correspond precisely to the highest weight vectors for the Heisenberg action. Thus we seethat successive action by the operators H β ( n ) and H γ ( n ) will generate the the space F hwv χ of the highest weightvectors for the Heisenberg action. In fact we can see directly that this is a strong generation, i.e, the onlyindexes appearing in the generating elements H ( n ) H ( n ) . . . H ( n k ) | i are negative, n s < , s = 1 , , . . . k . HE SECOND BOSONIZATION OF THE CKP HIERARCHY 13
Example 3.7.
For the two special families of highest weight vectors χ n − | i , χ n − | i one can easily checkthat χ n − | i = H γ ( − n ) . . . H γ ( − H γ ( − | i (3.23) χ n − | i = H β ( − n ) . . . H β ( − H β ( − | i . (3.24)Finally, to apply the Existence Theorem 4.5 of [Kac98] we need a Virasoro element, which will define thetranslation operator. As is well known, from the start the symplectic vertex algebra was of interest due tothe properties of its Virasoro field and its (logarithmic) modules. Namely, it is immediate to calculate thatthe field (observe that on the space F hwv χ this normal ordered product is well defined):(3.25) L hwv ( z ) :=: H γ ( z ) H β ( z ) := X n ∈ Z L hwvn z − n − is a Virasoro field with central charge c = −
2, namely L hwv ( z ) L hwv ( w ) ∼ L hwv ( w )( z − w ) + ∂ w L hwv ( w ) z − w − z − w ) . This can easily be proved by Wick’s Theorem using the OPEs derived in Proposition 3.5, so we omit it.Thus we can take L hwv − as a translation operator T on F hwv χ . We can then immediately calculate that T | i = 0 , [ T, H β ( z )] = ∂ z H β ( z ) , and [ T, H γ ( z )] = ∂ z H γ ( z ) , which completes the requirements of the Existence Theorem 4.5 of [Kac98]. Thus, and after observing thatwe can re-scale from z to z (as all relevant fields, namely H β ( z ), H γ ( z ) and L hwv ( z ), depend only on z ), we arrive at the following Theorem 3.8.
The vector space F hwv χ spanned by the highest weight vectors has a structure of a supervertex algebra, strongly generated by the fields H β ( z ) and H γ ( z ) , with vacuum vector | i , translation operator T = L hwv − , and vertex operator map induced by (3.26) Y ( χ − / | i , z ) = H γ ( z ) , Y ( χ − / | i , z ) = H β ( z ) . This vertex algebra structure is a realization of the symplectic fermion vertex algebra, indicated by the OPEs: H β ( z ) H γ ( w ) ∼ z − w ) , H γ ( z ) H β ( w ) ∼ − z − w ) ;(3.27) H β ( z ) H β ( w ) ∼ H γ ( z ) H γ ( w ) ∼ . (3.28) 4. Complete bosonization
As we saw in Section 3, the fields β χ ( z ) and γ χ ( z ) needed to express the generating field χ ( z ) = γ χ ( z ) + zβ χ ( z )can be written as(4.1) β χ ( z ) = V + ( z ) H β ( z ) V − ( z ) z h , γ χ ( z ) = V + ( z ) − H γ ( z ) V − ( z ) − z − h . Due to Proposition 2.3 we can write(4.2) F χ ∼ = F hwv χ ⊗ C [ x , x , . . . , x n , . . . ] . The fields V + ( z ) and V − ( z ) (consequently V + ( z ) − and V − ( z ) − ) are bosonic, via the action:(4.3) h n i∂ x n , h − n inx n · , for any n > . Remark 4.1.
As we mentioned before, we can use an arbitrary re-scaling h n → s n h n , s n = 0 , s n ∈ C , for n >
0, so that we could have used instead the identification h n
7→ − ∂ x n , h − n nx n · , for any n ∈ N . The identification we use here underlines the potential complexification, as seen in (4.10) and (4.11) below.
But the fields H β ( z ) and H γ ( z ) required to complete the description of the generating field χ ( z ) arefermionic. We can, as was done in [vOS12] for the twisted bosonization, introduce super-variables andderivatives with respect to those super variables to describe the fields H β ( z ) and H γ ( w ) and their action onthe space of the highest weigh vectors F hwv χ . But in this case, for this second bosonization we can do better,as it is known that the symplectic fermions can be embedded into a lattice vertex algebra. Namely, as in theFriedan-Martinec-Shenker (FMS) bosonization, [FMS86], and following [Kau95] and [Kau00], we can viewthe fields H β ( z ) and H γ ( w ) as(4.4) H β ( z ) ψ − ( z ) , H γ ( z ) ∂ z ψ + ( z );where ψ + ( z ) and ψ − ( z ) are the charged free fermion fields used in the bosonization of the KP hierarchy, viathe boson-fermion correspondence (see e.g. [Kac98], [MJD00]). Specifically, ψ + ( z ) and ψ − ( z ) have OPEs ψ + ( z ) ψ − ( w ) ∼ z − w , ψ − ( z ) ψ + ( w ) ∼ z − w , ψ + ( z ) ψ + ( w ) ∼ , ψ − ( z ) ψ − ( w ) ∼ , and are the generating fields of the charged free fermion vertex super algebra (see e.g [Kac98]). We can usethe bosonization of the charged free fermion vertex super algebra via the lattice fields(4.5) ψ + ( z ) → e αy ( z ) , ψ + ( z ) → e − αy ( z ) , where the lattice fields e αy ( z ), e − αy ( z ) act on the bosonic vector space C [ e α , e − α ] ⊗ C [ y , y , . . . , y n . . . ] by e αy ( z ) = exp( X n ≥ y n z n ) exp( − X n ≥ ∂n∂y n z − n ) e α z ∂ α ,e − αy ( z ) = exp( − X n ≥ y n z n ) exp( X n ≥ ∂n∂y n z − n ) e − α z − ∂ α , as is standard in the theory of the KP hierarchy. We use the index y to indicate these are the exponentiatedboson fields acting on the variables y , y , . . . , y n . . . . We introduce similarly the Heisenberg field h y ( z ),(4.6) h y ( z ) = X n ≥ ∂∂y n z − n − + h y z − + X n ≥ ny n z n − , where h y acts on C [ e α , e − α ] ⊗ C [ y , y , . . . , y n . . . ] by h y e mα P ( y , y , . . . , y n . . . ) = me mα P ( y , y , . . . , y n . . . ).Thus, combining the two maps, we map F hwv χ into a subspace of C [ e α , e − α ] ⊗ C [ y , y , . . . , y n . . . ], and H β ( z ) → e − αy ( z ) = exp( − X n ≥ y n z n ) exp( X n ≥ ∂n∂y n z − n ) e − α z − h y (4.7) H γ ( z ) → ∂ z e αy ( z ) =: h y ( z ) exp( X n ≥ y n z n ) exp( − X n ≥ ∂n∂y n z − n ) e α z h y : . (4.8)Now we can combine the actions of the two Heisenberg fields, the h y ( z ) and the original h χ ( z ). Through theabove map the Fock space F χ will be mapped to a subspace of C [ e α , e − α ] ⊗ C [ x , x , . . . , x n , . . . ; y , y , . . . , y n . . . ].The modes h n (for clarity we shall write h xn ) of the field h χ ( z ) will act as in (4.3), with(4.9) h x e mα P ( x , x , . . . , x n , . . . ; y , y , . . . , y n . . . ) = me mα P ( x , x , . . . , x n , . . . ; y , y , . . . , y n . . . ) . The action of h x stems from the identifications (4.7) and (4.8) which determine the charges of the elementsof C [ e α , e − α ] ⊗ C [ y , y , . . . , y n . . . ]. Thus implies that the actions z − h x in (4.1) and z h y in (4.8) will canceleach other. And so finally we arrive at the complete second bosonization of the CKP hierarchy: Theorem 4.2.
The generating field χ ( z ) of the CKP hierarchy can be written as χ ( z ) = γ χ ( z ) + zβ χ ( z ) , where the fields β χ ( z ) and γ χ ( z ) can be bosonized as follows: β χ ( z ) → exp (cid:16) i X n> ( x n + iy n ) z n (cid:17) exp (cid:16) − i X n> n (cid:18) ∂∂x n + i ∂∂y n (cid:19) z − n (cid:17) e − α , (4.10) γ χ ( z ) → : exp (cid:16) − i X n> ( x n + iy n ) z n (cid:17) h y ( z ) exp (cid:16) i X n> n (cid:18) ∂∂x n + i ∂∂y n (cid:19) z − n (cid:17) e α : . (4.11) HE SECOND BOSONIZATION OF THE CKP HIERARCHY 15
The Fock space F χ is mapped to a subspace of the bosonic space C [ e α , e − α ] ⊗ C [ x , x , . . . , x n , . . . ; y , y , . . . , y n . . . ] ,with | i 7→ . The Hirota equation (2.5) is equivalent to (4.12) Res z (cid:16) β χ ( z ) ⊗ γ χ ( z ) − γ χ ( z ) ⊗ β χ ( z ) (cid:17) = 0 . Outlook
In this paper we completed the second bosonization of the Hirota equation for the CKP hierarchy. Here wedid not discuss solutions, symmetries, complexification, nor further applications, such as certain characterformulas, vacuum expectation values equalities, etc. Also, the consequences of the existence of the twobosonizations (the one described here as well as the bosonization studied in [vOS12]), need to be addressed,as well as the comparison between the Hirota equation and the reduction approach to the CKP hierarchy.Each of these topics is worth a separate discussion, which we will commence in a consequent paper.
References [Abe07] Toshiyuki Abe. A Z -orbifold model of the symplectic fermionic vertex operator superalgebra. MathematischeZeitschrift , 255(4):755–792, 2007.[ACJ14] Iana I. Anguelova, Ben Cox, and Elizabeth Jurisich. N -point locality for vertex operators: normal ordered products,operator product expansions, twisted vertex algebras. J. Pure Appl. Algebra , 218(12):2165–2203, 2014.[AM08] Drazen Adamovic and Antun Milas. On the triplet vertex algebra W ( p ). Advances in Mathematics , 217(6):2664 –2699, 2008.[Ang13a] Iana I. Anguelova. Boson-fermion correspondence of type B and twisted vertex algebras. In Vladimir Dobrev, editor,
Lie Theory and Its Applications in Physics , volume 36 of
Springer Proceedings in Mathematics and Statistics , pages399–410. Springer Japan, 2013.[Ang13b] Iana I. Anguelova. Twisted vertex algebras, bicharacter construction and boson-fermion correspondences.
Journalof Mathematical Physics , 54(12):38, 2013.[Ang15] Iana I. Anguelova. Multilocal bosonization.
Journal of Mathematical Physics , 56(12):13, 2015.[DJKM81a] Etsur¯o Date, Michio Jimbo, Masaki Kashiwara, and Tetsuji Miwa. Transformation groups for soliton equations.III. Operator approach to the Kadomtsev-Petviashvili equation.
J. Phys. Soc. Japan , 50(11):3806–3812, 1981.[DJKM81b] Etsur¯o Date, Michio Jimbo, Masaki Kashiwara, and Tetsuji Miwa. Transformation groups for soliton equations.VI. KP hierarchies of orthogonal and symplectic type.
J. Phys. Soc. Japan , 50(11):3813–3818, 1981.[DJKM82] Etsur¯o Date, Michio Jimbo, Masaki Kashiwara, and Tetsuji Miwa. Transformation groups for soliton equations.IV. A new hierarchy of soliton equations of KP-type.
Phys. D , 4(3):343–365, 1981/82.[FLM88] Igor Frenkel, James Lepowsky, and Arne Meurman.
Vertex operator algebras and the Monster , volume 134 of
Pureand Applied Mathematics . Academic Press Inc., Boston, MA, 1988.[FMS86] Daniel Friedan, Emil Martinec, and Stephen Shenker. Conformal invariance, supersymmetry and string theory.
Nuclear Phys. B , 271(1):93–165, 1986.[Kac98] Victor Kac.
Vertex algebras for beginners , volume 10 of
University Lecture Series . American Mathematical Society,Providence, RI, second edition, 1998.[Kau95] Horst G. Kausch. Curiosities at c = −
2. 1995. https://arxiv.org/abs/hep-th/9510149.[Kau00] Horst G. Kausch. Symplectic fermions.
Nuclear Physics B , 583(3):513 – 541, 2000.[KR87] V. G. Kac and A. K. Raina.
Bombay lectures on highest weight representations of infinite-dimensional Lie algebras ,volume 2 of
Advanced Series in Mathematical Physics . World Scientific Publishing Co. Inc., Teaneck, NJ, 1987.[KWY98] Victor G. Kac, Weiqiang Wang, and Catherine H. Yan. Quasifinite representations of classical Lie subalgebras of W ∞ . Adv. Math. , 139(1):56–140, 1998.[MJD00] T. Miwa, M. Jimbo, and E. Date.
Solitons: differential equations, symmetries and infinite dimensional algebras .Cambridge tracts in mathematics. Cambridge University Press, 2000.[vOS12] J. W. van de Leur, A. Y. Orlov, and T. Shiota. CKP Hierarchy, Bosonic Tau Function and Bosonization Formulae.
SIGMA , 8, 2012. 28pp.[Wan98] Weiqiang Wang. W ∞ algebra, W algebra, and Friedan-Martinec-Shenker bosonization. Comm. Math. Phys. ,195(1):95–111, 1998.[Wan99] Weiqiang Wang. Duality in infinite-dimensional Fock representations.
Commun. Contemp. Math. , 1(2):155–199,1999.[You89] Yuching You. Polynomial solutions of the BKP hierarchy and projective representations of symmetric groups. In
Infinite-dimensional Lie algebras and groups (Luminy-Marseille, 1988) , volume 7 of
Adv. Ser. Math. Phys. , pages449–464. World Sci. Publ., Teaneck, NJ, 1989.
Department of Mathematics, College of Charleston, Charleston SC 29424
E-mail address ::