arxiv: v2 [math-ph] 18 Aug 2014

Transcription

1 QUANTUM TORUS SYMMETRY OF THE KP, KDV AND BKP HIERARCHIES arxiv: v2 [math-ph] 18 Aug 2014 CHUANZHONG LI, JINGSONG HE Department of Mathematics, Ningbo University, Ningbo, Zhejiang, P.R.China Abstract. In this paper, we construct the quantum Torus symmetry of the KP hierarchy and further derive the quantum torus constraint on the tau function of the KP hierarchy. That means we give a nice representation of the quantum Torus Lie algebra in the KP system by acting on its tau function. Comparing to the W symmetry, this quantum Torus symmetry has a nice algebraic structure with double indices. Further by reduction, we also construct the quantum Torus symmetries of the KdV and BKP hierarchies and further derive the quantum Torus constraints on their tau functions. These quantum Torus constraints might have applications in the quantum field theory, supersymmetric gauge theory and so on. Mathematics Subject Classifications(2000): 37K05, 37K10, 37K40. Keywords: KP hierarchy, Quantum Torus symmetry, Quantum Torus constraint, KdV hierarchy, BKP hierarchy 1. Introduction The KP equation is an important shallow water wave equation which has a lot of application in plasma physics, water wave theory, topological field theory, string theory and so on. Later this equation was further generalized to a whole hierarchy which is called the KP hierarchy. The KP hierarchy is one of the most important nonlinear integrable systems in mathematics and physics. It has nice structures such as the Virasoro type additional symmetry which was extensively studied in literature [1, 2, 3, 4, 5]. Besides the Virasoro algebra, another kind of infinite dimensional Lie algebras of Block type, as generalizations of the well-known Virasoro algebra, has been studied intensively in [6, 7, 8]. Recently as another generalization, the W 1+ 3-algebra related to the KP hierarchy was constructed in [9]. After quantization, the q-discretization of the Virasoro algebra and the q W (n) KP algebra related to the KP hierarchy were considered in[10, 11]. In [12], we provide the Block type algebraic structure for the bigraded Toda hierarchy (BTH) [13, 14]. Later on, this Block type Lie algebra is found again in dispersionless bigraded Toda hierarchy [15] and D type Drinfeld-Sokolov hierarchy[16]. This Block algebra is sometimes called Torus Lie algebra which is a generalization of the Virasoro algebra. Similarly after quantization, the torus algebra becomes quantum torus algebra which can be realized in Fermion Fock space. 1

2 2 CHUANZHONG LI, JINGSONG HE The quantum torus algebra is identified with the sine-algebra [17] which is obtained from sl(n) by taking the large N limit of its trigonometrical basis. The quantum torus algebra is the Lie algebra derived from a quantum non-commutative two-torus, with two generators U, V satisfying the relation UV = qvu. Here the parameter q is regarded as a non-commutative parameter. Letusnormalizethemasfollows: v m (k) = q km 2 U m V k.thenthenormalizedoperators v m (k) will satisfy the following structure of the quantum torus algebra without central extension, which is equivalent to [v m (k),v(l) n ] = (q lm kn 2 q lm kn 2 )v (k+l) m+n, (1.1) [ v (k) m, v(l) n ] = (qml q nk ) v (k+l) m+n, (1.2) with v m (k) = q mk 2 v m (k) = q km U m V k. Then after the second-quantizations of v m (k) by means of the fermions generating function φ(z),φ(z) as V (k) m = dz 2πi : φ(z)v(k) m φ(z) :, (1.3) the operators V (k) m will satisfy the quantum torus algebra with central extension as [V (k) m,v (l) n ] = (q lm kn 2 q lm kn 2 )(V (k+l) m+n δ m+n,0 q k+l k+l). (1.4) 1 q The positive half of quantum torus Lie algebra, i.e. k 0 is a quantum cylinder Lie algebra obtained from a quantum cylinder which becomes a classical cylinder C in the context of the random plane partition. Also the double covers of the cylinder have important application in the Seiberg-Witten hyper-elliptic curves of five-dimensional N = 1 supersymmetric gauge theories [18, 19] at the thermodynamic limit or the semi-classical limit. In [20], it reveals a remarkable connection among random plane partition, melting Crystal, quantum torus Lie algebra, and Toda hierarchy. The KdV hierarchy is an important reduced hierarchy from the KP hierarchy which is also an important member of the Gelfand-Dichey hierarchy. It is proved to have a nice Virasoro symmetry [21]. The Virasoro constraint on the KdV hierarchy has important application in topological field theory and Gromov-Witten invariant theory [22, 23, 24]. Also as an important sub-hierarchy of the KP hierarchy, BKP hierarchy [25, 26], has been shown to possess additional symmetries with consideration on the reductions on the Lax operator [27]. Our main purpose of this article is to give the complete quantum torus flows on the Lax operator, wave function and tau function of the KP hierarchy which form the positive half of quantum torus algebra. In [28], the additional symmetries of the KP hierarchy were generalized to a W 1+ algebra with a complicated algebraic relation. The quantum torus algebra under consideration in this paper is very simple and elegant. By acting on the tau function, we give a nice representation of the quantum torus Lie algebra which is an uneasy work in the field of the representation theory of the Lie algebra. Further we will try to generalize the results to the KdV hierarchy and the BKP hierarchy.

3 QUANTUM TORUS SYMMETRY 3 This paper is organized as follows. We give a brief description of the KP hierarchy in Section 2. The main results are presented and proved in Section 3, which concerns the quantum torus symmetry of the KP hierarchy. Basing on the Section 3, the quantum torus constraint on the tau function space will be given in Section 4. The quantum torus symmetry is further generalized to the KdV hierarchy and BKP hierarchy in Section 5 and Section 6. The Section 7 will be devoted to conclusions and discussions. 2. The KP hierarchy To start the principle content of this paper, we need to recall some basic knowledge related to the KP hierarchy [1, 25]. At the beginning of the recalling, one need to know the following fundamental Leibnitz rule over pseudo-differential operators space n f = k 0 ( n k ) ( k f) n k, n Z. (2.1) For any pseudo-differential operator W = i defined by W = ( ) i p i (x) with i p i (x) i, the conjugate operation for W is The Lax operator L of the KP hierarchy is given by =, ( 1 ) = ( ) 1 = 1. (2.2) L = +u 1 1 +u (2.3) where u i = u i (x,t 1,t 2,t 3,,),i = 1, 2, 3,. The corresponding Lax equation of the KP hierarchy is defined as L t n = [B n,l], n = 1,2,3,, (2.4) where the differential projective operator B n = (L n ) + = n b i i. The Laxoperator Lineq.(2.3) can be generated by the dressing operator S = 1+ k=1 ω k k in the following way L = S S 1. The dressing operator S satisfies the following Sato equation i=0 (2.5) S t n = (L n ) S, n = 1,2,3,. (2.6) By using the above dressing structure (2.5) and the Sato equation (2.6), it is convenient to construct the Orlov-Shulman s operator which is used to give the additional symmetry of the KP hierarchy in the next section.

4 4 CHUANZHONG LI, JINGSONG HE 3. Quantum Torus symmetry of the KP hierarchy In this section, we shall construct the additional symmetry of the KP hierarchy and discuss the algebraic structure of the additional symmetry flows. To this end, firstly we define the following operator Γ and the Orlov-Shulman s operator M like in [2] as Γ = it i i 1, M = SΓS 1. (3.1) i=1 The Lax operator L and the Orlov-Shulman s operator M satisfy the following canonical relation [L,M] = 1. (3.2) Then basing on a quantum parameter q, the additional flows for the time variable t m,n,t m,n are defined respectively as follows S t m,n = (M m L n ) S, or equivalently rewritten as L t m,n = [(M m L n ),L], L = [(e mm q nl ),L], Generally, one can also derive S = (e mm q nl ) S, m,n N, (3.3) M t m,n = [(M m L n ),M], (3.4) M = [(e mm q nl ),M]. (3.5) (e mm q nl ) = [ (e lm q kl ),e mm q nl ]. (3.6) One can find the operators set {e mm q nl, m,n 0} has an isomorphism with the operators set {q nz e m z, m,n 0} as e mm q nl q nz e m z, (3.7) with the following commutator [q nz e m z,q lz e k z ] = (q ml q nk )q (n+l)z e (m+k) z. (3.8) Itisknown[21]thattheadditionalflows commutewiththeflows,i.e. [, ] = t m,n t k t m,n t k 0, but do not commute with each other, and form a kind of W infinite dimensional additional Lie symmetries. This further leads to the commutativity of the additional flows with the flows t k and the additional flows themselves constitute the quantum torus algebra.

5 QUANTUM TORUS SYMMETRY 5 Next we shall prove the commutativity between the additional flows t (i.e. ) and the t original flows tn (i.e. ) of the KP hierarchy. t n Proposition 3.1. The additional flows of t are symmetry flows of the KP hierarchy, i.e. they commute with all tn flows of the KP hierarchy [1, 21]. Proof. According the action of t and tn on the dressing operator S, then Therefore the proposition holds. [ t, tn ]S = t (L n S) t n [ (M l L k ) ]S = ( t L n )S Ln t S [(M l L k ) ]L n S = 0. +[L n +,Ml L k ] S With the help of this proposition, we can derive the following theorem. Theorem 3.2. The additionalflows are symmetries of the KP hierarchy, i.e. they commute with all tn flows of the KP hierarchy. Proof. According to the action of and tn on the dressing operator S, we can rewrite the quantum torus flow in terms of a combination of tp,s flows which further leads to Therefore the theorem holds. Because S = ( = [, tn ]S = [ = = 0. l p (klogq) s M p L s ) S l p (klogq) s tp,s S, [z s p,z b a ] = αβ l p (klogq) s tp,s, tn ]S l p (klogq) s [ tp,s, tn ]S C (ps)(ab) αβ z β α,

6 6 CHUANZHONG LI, JINGSONG HE and [q nz e m z,q lz e k z ] = (q ml q nk )q (n+l)z e (m+k) z, (3.9) therefore comparing the terms with z α β on both sides of eq.(3.9) will lead to the following identity n p (mlogq) s l a (klogq) b C (ps)(ab) αβ = (q ml q nk ) (n+l)α ((m+k)logq) β.(3.10) a!b! α!β! a,b=0 Now it is time to identify the algebraic structure of the quantum torus additional flows of the KP hierarchy in the following theorem. Theorem 3.3. The additional flows of the KP hierarchy form the positive half of the quantum torus algebra, i.e., [ n,m, ] = (q ml q nk ) n+l,m+k, n,m, 0. (3.11) Proof. Using the Jacobi identity, one can derive the following computation which will finish the proof of this theorem [ n,m, ]L = n,m ([ (e lm q kl ),L]) ([ (e nm q ml ),L]) = [ ( n,m (e lm q kl )),L]+[ (e lm q kl ),( n,m L)]+[[ (e lm q kl ),e nm q ml ],L] +[(e nm q ml ),[ (e lm q kl ),L]] = [[(e nm q ml ),e lm q kl ],L]+[(e lm q kl ),[(e nm q ml ),L]]+[[ (e lm q kl ),e nm q ml ],L] +[(e nm q ml ),[ (e lm q kl ),L]] = [[(e nm q ml ),e lm q kl ],L]+[[(e lm q kl ),(e nm q ml ) ],L]+[[ (e lm q kl ),e nm q ml ],L] = [[e nm q ml,e lm q kl ],L] = (q ml q nk )[(e (n+l)m q (m+k)l ),L] = (q ml q nk ) n+l,m+k L. One can also prove this theorem as following in another way by rewriting the quantum torus flows in terms of a combination of t m,n flows [ n,m, ]L n p (mlogq) s = [ tp,s, = a,b=0 a,b=0 l a (klogq) b ta,b ]L a!b! n p (mlogq) s l a (klogq) b [ tp,s, ta,b ]L a!b!

7 = a,b=0 = (q ml q nk ) QUANTUM TORUS SYMMETRY 7 n p (mlogq) s l a (klogq) b a!b! α,β=0 = (q ml q nk ) n+l,m+k L. αβ C (ps)(ab) αβ tα,β L (n+l) α ((m+k)logq) β tα,β L α!β! Till now, we can find the additional flows constitute a nice quantum torus algebra. A natural question is whether we can get the quantum torus constraint which is a generalization of the well-known Virasoro constraint. The answer will be given in the next section. 4. Quantum Torus constraints on the tau function Acting on the wave function φ of the KP hierarchy, one can rewrite the Lax equation of the KP hierarchy using linear equations φ Lφ = λφ, = L n t +φ. (4.1) n Then the tau function of the KP hierarchy can be defined as [25] φ = eη τ τ e k=1 tkλk, (4.2) where η = i=1 λ i Alder, Shiota and van Moerbeke [29, 30] have shown that where W (p+1) s and defining we get tp,s logφ = (e η 1) i t i. (4.3) W s (p+1) (τ) p+1 is the generator of W algebra. Then by using l p (klogq) s logφ = tp,s logφ. L := l p (klogq) s τ, (4.4) W (p+1) s p+1, (4.5) logφ = (e η 1) L (τ). (4.6) τ

8 8 CHUANZHONG LI, JINGSONG HE The quantum torus constraint on the wave function φ, i.e. will lead to the quantum torus constraint on the tau function φ = 0, (4.7) L τ = c, (4.8) where c is a constant. Basing on the commuting relation among operators W s (p+1) and the formula eq.(3.10), one can prove the operators {L, 0} constitute a quantum torus algebra by acting on tau function space, i.e. [L n,m,l ] = (q ml q nk )L n+l,m+k, n,m, 0. (4.9) Till now, we announce that a representation of the quantum torus algebra was found, i.e. {L, 0}. Also one can find the quantum torus operator L has an infinite number of terms. What is the application of the quantum torus constraint in the Seiberg-Witten theory, supersymmetric gauge theory and so on might be an interesting question. 5. The KdV hierarchy and its quantum torus symmetry Similar to the general way in describing the classical KdV hierarchy [1], we will give a brief introduction of the KdV hierarchy as a reduction of the KP hierarchy. The Lax operator L of the KdV hierarchy is given by L = L 2 = 2 +u. The corresponding Lax equations of the KdV hierarchy are defined as (5.1) L t n = [B n,l], n = 1,3,5,, (5.2) where the differential part B n = (L n 2) + = n c i i. The Lax operator L in eq.(5.1) can be generated by a dressing operator S = 1+ k=1 ω k k in the following way L = S 2 S 1. The dressing operator S satisfies the following Sato equation i=0 (5.3) S t n = (L n 2 ) S, n = 1,3,5,. (5.4) After the above preparation, in the next part, we shall construct the additional symmetry and discuss the algebraic structure of the additional symmetry flows of the KdV hierarchy. To this end, firstly one define Γ kdv and the Orlov-Shulman s operator M as [21] Γ kdv = 1 it i i 2, M = SΓ kdv S 1. (5.5) 2 i Z odd +

9 QUANTUM TORUS SYMMETRY 9 The Lax operator L and the Orlov-Shulman s M operator satisfy the following canonical relation [L,M] = 1. (5.6) Then basing on a quantum parameter q, the additional flows for the time variable t m,n are defined as follows S = (e mm q nl ) S, m,n Z +, (5.7) or equivalently rewritten as L = [(e mm q nl ),L], Generally, one can also derive M = [(e mm q nl ),M]. (5.8) (e mm q nl ) = [ (e lm q kl ),e mm q nl ]. (5.9) Similarly as the KP hierarchy, one can further derive the commutativity of the additional flows with the flows and the additional flows themselves form quantum torus t k algebra which is included in the following theorem. Theorem 5.1. The additional flows of are symmetries of the KdV hierarchy, i.e. they commute with all tn flows of the KdV hierarchy. Proof. The proof is similar as the KP hierarchy which will be omitted here. t Now it is time to identity the algebraic structure of the quantum torus additional symmetry flows of the KdV hierarchy which is similar as the KP hierarchy. Theorem 5.2. The additional flows of the KdV hierarchy constitute the quantum torus algebra, i.e., [ n,m, ] = (q ml q nk ) n+l,m+k, n,m, 0. (5.10) Proof. The proof is similar as the KP hierarchy which will be omitted here. Till now, we can findthe t additional flows constitute a nice quantum torusalgebra. Acting on the wave function ψ, one can rewrite the Lax equation of the KdV hierarchy using linear equations Lψ = λψ, ψ = L 2n ψ. (5.11) t 2n+1 Then the tau function of the KdV hierarchy can be defined as [21] ψ = e η τ kdv τ kdv e k=1 t 2k 1λ2k 1, (5.12)

10 10 CHUANZHONG LI, JINGSONG HE where η = i Z odd + λ i i t i. (5.13) As we all know, the action on the wave function ψ can be expressed on the tau function space as following tp,s logψ = (e η 1) W (p+1) kdv,s p+1 (τ kdv) τ kdv. (5.14) where W (p+1) kdv,s is the generator of W algebra for the KdV hierarchy [21]. Then denote l L p (klogq) s W (p+1) kdv,s := p+1, (5.15) and we can get the quantum torus constraint on the tau function τ kdv of the KdV hierarchy L τ kdv = c, (5.16) where c is a constant. 6. The BKP hierarchy and its quantum torus constraint Similar to the general way in describing the classical the BKP hierarchy [25, 1], we will give a brief introduction of the BKP hierarchy. Basing on the definition, the Lax operator of the BKP hierarchy has form such that L B = + i 1 v i i, (6.1) L B = L B 1. We call eq.(6.2) the B type condition of the BKP hierarchy. The BKP hierarchy is defined by the following Lax equations: (6.2) L B t k = [(L k B) +,L B ], k Z odd +. (6.3) Note that / t 1 flow is equivalent to / x flow, therefore it is reasonable to assume t 1 = x in the next sections. The operator L B can be generated by a dressing operator Φ B = 1 + k=1 ω k k in the following way L B = Φ B Φ 1 B, where Φ B satisfies Φ B = Φ 1 B 1. (6.4) (6.5)

11 QUANTUM TORUS SYMMETRY 11 The dressing operator Φ B needs to satisfy the following Sato equations Φ B = (L n t B) Φ B, n = 1,3,5,. (6.6) n Using the above dressing structure and Sato equations, it is convenient to construct the Orlov-Shulman s operator which is used to give the quantum torus type additional symmetry of the BKP hierarchy. In the next part, we shall aim at constructing the additional symmetry and discuss the algebraic structure of the additional flows of the BKP hierarchy. To this end, firstly we define the operator Γ B and the Orlov-Shulman s operator M B like in [2] as Γ B = it i i 1, M B = Φ B Γ B Φ 1 B. (6.7) i Z odd + The Lax operator L B and the Orlov-Shulman s M B operator satisfy the following canonical relation [L B,M B ] = 1. (6.8) Given an operator L B, the dressing operators Φ B are determined uniquely up to a multiplication to the right by operators with constant coefficients. We denote t = (t 1,t 3,t 5,...) and introduce the wave function as w B (t;z) = Φ B e ξ B(t;z), where thefunctionξ B isdefined asξ B (t;z) = k Z t kz k. It iseasy tosee i e xz = z i e xz, i Z odd + and w B L B w B (t;z) = zw B (t;z), = L 2n+1 B+ t w B. (6.10) 2n+1 The tau function of the BKP hierarchy can be defined in form of the wave functions as (6.9) w B (t,z) = τ B(t 2[z 1 ]) e ξb(t;z), (6.11) τ B (t) where [z] = (z,z 3 /3,z 5 /5,...). With the above preparation, it is time to construct additional symmetries for the BKP hierarchy in the next part. Then it is easy to get that the operator M B satisfy [L B,M B ] = 1, M B w B (z) = z w B (z); (6.12) M B = [(L k B t ) +,M B ], k Z odd +. (6.13) k Given any pair of integers (m,n) with m,n 0, we will introduce the following operator B mn B mn = M m BL n B ( 1) n L n 1 B Mm BL B. (6.14)

12 12 CHUANZHONG LI, JINGSONG HE For any operator B mn in (6.14), one has B mn t k = [(L k B ) +,B mn ], k Z odd +. (6.15) To prove that B mn satisfy B type condition, we need the following lemma. Lemma 6.1. The operator M B satisfies the following identity, Proof. Using the following calculations M B = L 1 B M BL B 1. (6.16) Φ B = Φ 1 B 1, Γ B = Γ B; (6.17) M B = Φ 1 B Γ BΦ B = Φ B 1 Γ B Φ 1 B 1 = Φ B 1 Φ 1 B M BΦ B Φ 1 B 1, (6.18) will lead to (6.16). Basing on the Lemma 6.1 above, it is easy to check that the operator B mn satisfy the B type condition, namely B mn = B mn 1. Now we will denote the operator D mn as (6.19) D mn := e mm B q nl B L 1 B q nl B e mm B L B, (6.20) which further leads to m p (nlogq) s (M p B D mn = Ls B ( 1)s L s 1 B Mp B L B) = m p (nlogq) s B ps. (6.21) Using eq. (6.19), the following calculation will lead to the B type anti-symmetry property of D mn as Dmn m p (nlogq) s B ps = ( ) = ( = ( = D mn 1. m p (nlogq) s B ps 1 ) m p (nlogq) s B ps ) 1 Therefore we get the following important B type condition which the operator D mn satisfies D mn = D mn 1. (6.22)

13 QUANTUM TORUS SYMMETRY 13 Then basing on a quantum parameter q, the additional flows for the time variable t m,n,t m,n are defined as follows Φ B Φ B = (B mn ) Φ B, = (D mn ) Φ B. (6.23) t m,n or equivalently rewritten as L B t m,n = [(B mn ),L B ], Generally, one can also derive M B = [(D mn ),M B ]. (6.24) (D mn ) = [ (D lk ),D mn ]. (6.25) Remark: The specific construction of the operator D mn shows the impact of the reduction condition in eq. (6.2) on the generators of the additional flows. This further leads to the commutativity of the additional flow with the flow in the t k following theorem. Theorem 6.2. The additional flows of are symmetries of the BKP hierarchy, i.e. they commute with all tn flows of the BKP hierarchy. Proof. The proof is similar as the KP hierarchy by using the Proposition 3 in [27], i.e. the additional flows of t can commute with all tn flows of the BKP hierarchy. The detail will be omitted here. The additional flows t of the BKP hierarchy form the W algebra [27] [ tp,s, ta,b ]L B = αβ C (ps)(ab) αβ tα,β L B. Now it is time to identity the algebraic structure of the additional t flows of the BKP hierarchy. Theorem 6.3. The additional flows of the BKP hierarchyform the positive half of quantum torus algebra, i.e., [ n,m, ] = (q ml q nk ) n+l,m+k, n,m, 0. (6.26) Proof. One can also prove this theorem as following by rewriting the quantum torus flow in terms of a combination of tm,n flows [ n,m, ]L B n p (mlogq) s = [ tp,s, a,b=0 l a (klogq) b ta,b ]L B a!b!

14 14 CHUANZHONG LI, JINGSONG HE = = a,b=0 a,b=0 = (q ml q nk ) n p (mlogq) s l a (klogq) b [ tp,s, ta,b ]L B a!b! n p (mlogq) s l a (klogq) b a!b! α,β=0 = (q ml q nk ) n+l,m+k L B. αβ C (ps)(ab) αβ tα,β L B (n+l) α ((m+k)logq) β tα,β L B α!β! Till now, we find the t additional flows constitute a nice quantum torus algebra. Next, similar to the KP hierarchy, it is natural to consider the quantum torus constraint on the tau function of the BKP hierarchy. In [27], one has shown that tp,s logw B = (e η 1) Z (p+1) s p+1 (τ B) τ B, (6.27) where Z s (p+1) is the generator of W B algebra. Then with the help of rewriting the quantum torus flow in terms of the tp,s flows = l p (klogq) s tp,s, and denoting L B := l p (klogq) s the quantum torus constraint on the wave function w B, i.e. Z (p+1) s p+1, (6.28) w B = 0, (6.29) will lead to the quantum torus constraint on the tau function of the BKP hierarchy L B τ B = c, (6.30) where c is a constant. Frow these above, we can find the remarkable difference of the quantum torus constraints on the tau function of KP and BKP hierarchies, which originates from the B type condition in eq.(6.2).

15 QUANTUM TORUS SYMMETRY Conclusions and Discussions In this paper, we construct the quantum torus symmetry of the KP hierarchy and give the quantum torus flow equation on the wave functions. Meanwhile the representation of the quantum torus algebra over the tau function space was given. Further, like Virasoro constraint, using ASvM formula we give a new constraint called the quantum torus constraint on the tau function which might be useful in quantum field theory, supersymmetric gauge theory and so on. After that, by reduction we also construct the quantum torus symmetry of the KdV and BKP hierarchies and further derived the quantum torus constraints on their tau functions. We are also looking forward to finding the application of the quantum torus symmetry of these reduced KP type integrable hierarchies. Acknowledgments Chuanzhong Li is supported by the National Natural Science Foundation of China under Grant No , the Zhejiang Provincial Natural Science Foundation of China under Grant No. LY12A01007, the Natural Science Foundation of Ningbo under Grant No. 2013A Jingsong He is supported by the National Natural Science Foundation of China under Grant No , K. C. Wong Magna Fund in Ningbo University. References [1] L. A. Dickey, Soliton Equations and Hamiltonian Systems(2nd Edition) (World Scintific, Singapore,2003). [2] A. Yu. Orlov, E. I. Schulman, Additional symmetries of integrable equations and conformal algebra reprensentaion, Lett. Math. Phys. 12(1986), [3] J. S. He, K. L. Tian, A. Forester, W. X. Ma, Additional Symmetries and String Equation of the CKP Hierarchy, Lett. Math. Phys. 81(2007), [4] K.L. Tian, J. S. He, J. P. Cheng, Y. Cheng, Additional symmetries of constrained CKP and BKP hierarchies, SCIENCE CHINA Mathematics 54(2011), [5] M. H. Li, C. Z. Li etal, Virasoro type algebraic structure hidden in the constrained discrete Kadomtsev- Petviashvili hierarchy, J. Math. Phys. 54(2013), [6] R. Block, On torsion-free abelian groups and Lie algebras, Proc. Amer. Math. Soc., 9(1958), [7] D. Dokovic, K. Zhao, Derivations, isomorphisms and second cohomology of generalized Block algebras, Algebra Colloq., 3(1996), [8] Y. Su, Quasifinite representations of a Lie algebra of Block type, J. Algebra, 276(2004), [9] M. R. Chen, et al., W 1+ 3-algebra and KP Hierarchy, arxiv: [10] R. Kemmoku and S. Saito, Discretization of Virasoro algebra, Physics Letters B 319(1993), [11] J. Mas and M. Seco, The algebra of q-pseudodifferential symbols and the q W (n) KP algebra, J. Math. Phys. 37(1996), [12] C. Z. Li, J. S. He, Y. C. Su, Block type symmetry of bigraded Toda hierarchy, J. Math. Phys. 53(2012), [13] C. Z. Li, J. S. He, K. Wu, Y. Cheng, Tau function and Hirota bilinear equations for the extended bigraded Toda Hierarchy, J. Math. Phys., 51(2010), [14] C. Z. Li, Solutions of bigraded Toda hierarchy, Journal of Physics A 44(2011), [15] C. Z. Li, J. S. He, Dispersionless bigraded Toda hierarchy and its additional symmetry, Rev. Math. Phys., 24(2012), [16] C. Z. Li, J. S. He, Block algebra in two-component BKP and D type Drinfeld-Sokolov hierarchies, arxiv: , J. Math. Phys. 54(2013),

16 16 CHUANZHONG LI, JINGSONG HE [17] D. B. Fairlie, P. Fletcher, C. K. Zachos, Trigonometric structure constants for new infinite-dimensional algebras, Phys. Lett. B 218(1989), 203. [18] T. Maeda, T. Nakatsu, K. Takasaki, T. Tamakoshi, Free fermion and Seiberg-Witten differential in random plane partitions. Nucl. Phys. B 715(2005), 275. [19] T. Maeda, T. Nakatsu, Amoebas and instantons. Internat. J. Modern Phys. A 22(2007), 937. [20] T. Nakatsu, K. Takasaki, Melting Crystal, Quantum Torus and Toda Hierarchy, Commun. Math. Phys. 285(2009), [21] L. A. Dickey, Lectures on classical W-algebras, Acta Appl. Math. 47(1997), [22] E. Witten, Two-dimensional gravity and intersection theory on moduli space, Surveys in Diff. Geom. 1(1991), [23] M. Kontsevich, Intersection theory on the moduli space of curves and the matrix Airy function, Commun. Math. Phys. 147(1992), [24] M. Douglas, Strings in less than one dimension and the generalized KdV hierarchies, Phys. Lett. B 238(1990), [25] E. Date, M. Kashiwara, M. Jimbo, T. Miwa, Transformation groups for soliton equations. Nonlinear integrable systems classical theory and quantum theory (Kyoto, 1981), , World Sci. Publishing, Singapore, [26] K. Takasaki, Quasi-classical limit of BKP hierarchy and W-infnity symmetris, Lett. Math. Phys. 28(1993), [27] M. H. Tu, On the BKP Hierarchy: Additional Symmetries, Fay Identity and Adler-Shiota-van Moerbeke Formula, Lett. Math. Phys. 81(2007), [28] S. Aoyama, Y. Kodama, A generalized Sato equation and the W algebra, Phys. Lett. B, 278(1992), [29] M. Adler, T. Shiota, P. van Moerbeke, From the w -algebra to its central extension: a τ-function approach. Phys. Lett. A 194(1994), [30] M. Adler, T. Shiota, P. van Moerbeke, A Lax representation for the Vertex operator and the central extension, Comm. Math. Phys. 171(1995),