Tau-functions beyond the group elements

Abstract

Matrix elements in different representations are connected by quadratic relations. If matrix elements are those of a group element, i.e. satisfying the property $\Delta(X)=X\otimes X$, then their generating functions obey bilinear Hirota equations and hence are named $\tau$-functions. However, dealing with group elements is not always easy, especially for non-commutative algebras of functions, and this slows down the development of $\tau$-function theory and the study of integrability properties of non-perturbative functional integrals. A simple way out is to use arbitrary elements of the universal envelo** algebra, and not just the group elements. Then the Hirota equations appear to interrelate a whole system of generating functions, which one may call generalized $\tau$-functions. It was recently demonstrated that this idea can be applicable even to a somewhat sophisticated case of the quantum toroidal algebra. We consider a number of simpler examples, including ordinary and quantum groups, to explain how the method works and what kind of solutions one can obtain.

FIAN/TD-15/23

IITP/TH-21/23

ITEP/TH-27/23

MIPT/TH-20/23

${}^{a}$ MIPT, Dolgoprudny, 141701, Russia

${}^{b}$ Lebedev Physics Institute, Moscow 119991, Russia

${}^{c}$ NRC “Kurchatov Institute”, 123182, Moscow, Russia

${}^{d}$ Institute for Information Transmission Problems, Moscow 127994, Russia

${}^{e}$ Institute for Theoretical and Mathematical Physics, Lomonosov Moscow State University, Moscow 119991, Russia

1 Introduction

$\tau$-functions play the prominent role in modern theoretical physics. It turns out that non-perturbative partition functions of quantum theories, as functions of coupling constants and boundary conditions, belong to this class and satisfy the peculiar type of Hirota bilinear relations [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]. To make this statement general enough one needs a broad definition of $\tau$-functions, not restricted to conventional Toda-KP family. That one is actually associated with the fundamental representations of $\mathfrak{sl}_{\infty}$ algebra, but bilinear relations are far more general and remain true for representation theory of arbitrary universal envelo** algebras (UEA) ${\cal G}$ [6, 7, 9].

More concretely, one considers a group element, i.e. an element $g\in{\cal G}\otimes{\cal A}$, where ${\cal A}={\cal G}^{*}$ is the algebra of functions, such that its comultiplication $\Delta(g)=g\otimes g$, and realizes that there is a set of bilinear relations for its matrix elements, $\langle\vec{m}|g|\vec{n}\rangle$. Defining the $\tau$-function as a generating function of all these matrix elements,

$$\tau(t,\bar{t})=\sum_{\vec{m},\vec{n}}\langle\vec{m}|g|\vec{n}\rangle t_{\vec{m}}\bar{t}_{\vec{n}}$$ (1)

where $t_{\vec{m}}$ and $\bar{t}_{\vec{n}}$ are sets of the generating parameters, one rearranges this set of bilinear relations into differential or difference equations for this $\tau$-function w.r.t. $t$ and $\bar{t}$.

Note that there are, however, two problems [6, 7, 9]: first of all, such $\tau$-functions, while satisfying quadratic Hirota-like equations are not necessarily related to integrability in its usual sense of commuting flows. Commutativity requires a special care: in generic representations, the flows in $t$ and $\bar{t}$ generating all matrix elements are not commutative (which kills integrability).

There is however, a more severe problem, that with the very existence of bilinear equations. If one deals with the quantum deformation of UEA, matrix elements of the group elements (i.e. elements of the algebra of functions ${\cal A}$) are not commutative, since the comultiplication is not co-commutative. At the same time, usage of the group element is necessary, since it makes the equations closed.

A somewhat radical idea, which recently got a new momentum in [11], is to lift restricting to the group element, and consider generalized $\tau$-functions associated with arbitrary elements of $X\in{\cal G}$ (i.e. $X$ is no longer an element of ${\cal G}\otimes{\cal A}$), generally not satisfying the property $\Delta(X)=X\otimes X$. Then the bilinear equations do not close on a particular generating function but interrelate many of them. However, one can easily make the emerging structure hierarchical and convergent, thus making the new extended system of $\tau$-functions and Hirota bilinear equations conceptually as simple as the conventional one. This allows one to solve, at the least, the second problem: one can now successfully work in the cases of quantum deformations, when the comultiplication is not co-commutative. In particular, one can deal with special representations of even $q,t$-deformed UEA like the Ding-Iohara-Miki (DIM) or quantum toroidal algebra [12].

In this paper, we go through a number of examples, and show how this approach works in various systems. In section 2, we describe two equivalent but technically different approaches to constructing Hirota bilinear equations. In sections 3 and 4, we consider a series of examples the bilinear equations for generalized $\tau$-functions (i.e. those associated not obligatory with the group element), starting from the simplest case of ${\cal G}=U(\mathfrak{sl}_{2})$, and then describe ${\cal G}=U_{q}(\mathfrak{sl}_{2})$, ${\cal G}=U(\mathfrak{sl}_{N})$ and, finally, very sketchy, the quantum toroidal algebra, the example described in detail in [11]. In section 5, we discuss the notion of universal $\tau$-functions introduced in [7, 9] and, a bit differently, in [11], while some concluding remarks can be found in section 6.

2 Two approaches to bilinear equations

There are two ways to derive bilinear equations for the $\tau$-function. One is due to [3] and implies a construction using operators intertwining various representations of ${\cal G}$ [6, 7, 9]. It gives rise to bilinear equations relating $\tau$-functions in various, in particular, distinct representations, and, in the case of ${\cal G}=U(\mathfrak{sl}_{\infty})$ and of fundamental representations, it is the celebrated Toda chain equation

$$\partial\tau_{n}\bar{\partial}\tau_{n}-\tau_{n}\partial\bar{\partial}\tau_{n}=\tau_{n+1}\tau_{n-1}$$ (2)

where the subscript $n$ refers to the $n$-th fundamental representation of $\mathfrak{sl}_{\infty}$, and $\partial:={\partial\over\partial t_{1}}$, $\bar{\partial}:={\partial\over\partial\bar{t}_{1}}$ are the derivatives w.r.t. generating parameters associated with the sum of all simple roots generators, positive and negative correspondingly.

The second way to derive bilinear identities is due to [13], and it uses the fact that the split Casimir operator, i.e. the Casimir operator in the square of representation commutes with the comultiplication [14, 15]. This way, one can get bilinear equations for the $\tau$-function in this representation.

2.1 Intertwining operator trick

The derivation of the bilinear identities that generalizes the standard derivation using the fermionic language [3].

The starting point of the derivation [6, 7, 9] is to embed a Verma module $\widehat{V}$ into the tensor product $V\otimes W$, where $W$ is some (arbitrary) finite-dimensional representation of ${\cal G}$. With the fixed choice of $V$ and $W$, there exist only finite number of possible $\widehat{V}$.

Now one defines intertwining operators, which generalize the notion of fermions. The right intertwining operator of the type $W$ is defined to be a homomorphism of the ${\cal G}$-modules:

$$E_{R}:\ \ \widehat{V}\longrightarrow V\otimes W$$ (3)

Similarly, one considers another triple of modules that define the left intertwining operator

$$E^{\prime}_{L}:\ \ \widehat{V}^{\prime}\longrightarrow W^{\prime}\otimes V^{\prime}$$ (4)

so that the product $W\otimes W^{\prime}$ contains the unit representation of ${\cal G}$. These two constructed intertwining operators generalize the notion of fermions.

Now one considers the projection of the product $W\otimes W^{\prime}$ onto the unit representation

$$\pi:\ \ W\otimes W^{\prime}\longrightarrow I$$ (5)

Using this projection, one can construct the new intertwining operator

$$\Gamma:\ \ \widehat{V}\otimes\widehat{V}^{\prime}\stackrel{{\scriptstyle E_{R}\otimes E_{L}^{\prime}}}{{\longrightarrow}}V\otimes W\otimes W^{\prime}\otimes V^{\prime}\stackrel{{\scriptstyle I\otimes\pi\otimes I}}{{\longrightarrow}}V\otimes V^{\prime}$$ (6)

possessing the property

$$\Gamma(g\otimes g)=(g\otimes g)\Gamma$$ (7)

for any group element $g$ such that

$$\Delta(g)=g\otimes g$$ (8)

Put it differently, the space $W\otimes W^{\prime}$ contains the canonical element of pairing $w_{i}\otimes w^{i}$ commuting with the action of $\Delta(g)$. This means that the operator $\sum_{i}E_{i}\otimes E^{i}:V\otimes V^{\prime}\longrightarrow\widehat{V}\otimes\widehat{V}^{\prime}$ ($E_{i}\equiv E(w_{i}),\ E^{i}\equiv E(w^{i})$) commutes with $\Delta(g)$.

Now taking the matrix elements of identity (7), one obtains

$$\Big{\langle}\Psi_{1}\Big{|}\Gamma(g\otimes g)\Big{|}\Psi_{2}\Big{\rangle}=\Big{\langle}\Psi_{1}\Big{|}(g\otimes g)\Gamma\Big{|}\Psi_{2}\Big{\rangle}$$ (9)

where $\Big{\langle}\Psi_{1}\Big{|}$ and $\Big{|}\Psi_{2}\Big{\rangle}$ are arbitrary vectors, and we choose them to be

$$\begin{split}&\Big{\langle}\Psi_{1}\Big{|}=\Big{\langle}0\Big{|}E_{t}\otimes\Big{\langle}0\Big{|}E_{t^{\prime}}\\ &\Big{|}\Psi_{2}\Big{\rangle}=E_{\bar{t}}\Big{|}0\Big{\rangle}_{\lambda}\otimes E_{\bar{t}^{\prime}}\Big{|}0\Big{\rangle}_{\lambda^{\prime}}\end{split}$$ (10)

where $\Big{|}0\Big{\rangle}_{\lambda}$ denotes the highest weight vector in the representation $\lambda$, and $E_{t}$, some properly chosen function of generators, see examples below. In order to obtain the Hirota bilinear equations, one has to use the commutation relations of the intertwining operators with algebra generators and push $E_{i}$ to the highest weight vector. The result of this procedure can be imitated by the action of some differential or difference operators that leads to the differential or difference Hirota bilinear identities for the $\tau$-function

$$\tau_{\lambda}(t,\bar{t};g)=\prescript{}{\lambda}{\Big{\langle}}0\Big{|}E_{t}\cdot g\cdot E_{\bar{t}}\Big{|}0\Big{\rangle}_{\lambda}$$ (11)

This latter step is, however, not always possible and requires the correct choice of the function $E_{t}$.

In particular, bilinear equations of the Toda/KP hierarchy are obtained with the choice of ${\cal G}=U(\mathfrak{sl}_{\infty})$, and the triples: $\widehat{V}=F_{k+1}$, $V=F_{k}$, $W=F_{1}$, and $\widehat{V}^{\prime}=F_{k-1}$, $V^{\prime}=V=F_{k}$, $W^{\prime}=F_{1}^{*}$, where $F_{k}$ denotes the $k$-th fundamental representation, and $F_{k}^{*}$, its conjugate. This gives rise [7] to the standard Hirota bilinear equations of the Toda lattice hierarchy for the $\tau$-function $\tau_{k}(t,\bar{t};g)$ [5, 3].

2.2 The “split Casimir” trick

This long story from [6] can be made shorter and sometimes easier generalizable by the trick [13] which is nowadays often called the split Casimir approach [14, 15] (it is just a nickname for the comultiplication action on the Casimir operator). This way to derive the same bilinear Hirota equations is obtained from the evident relation

$$\Big{\langle}\Psi_{1}\Big{|}\Delta({\cal C}_{2})\Delta(X)\Big{|}\Psi_{2}\Big{\rangle}=\Big{\langle}\Psi_{1}\Big{|}\Delta(X)\Delta({\cal C}_{2})\Big{|}\Psi_{2}\Big{\rangle}$$ (12)

where ${\cal C}_{2}$ is the second Casimir operator, and $X$ is an arbitrary element of the UEA. Now one can push $\Delta({\cal C}_{2})$ to the vector $\prescript{}{\lambda}{\Big{\langle}}0\Big{|}$ at the l.h.s. of (12), and to the vector $\Big{|}0\Big{\rangle}_{\lambda}$ at the r.h.s. of (12). Again, the result of this procedure can be imitated by the action of some differential or difference operators that leads to the differential or difference bilinear identities for the $\tau$-function

$$\tau_{\lambda}(t,\bar{t};X)=\prescript{}{\lambda}{\Big{\langle}}0\Big{|}E_{t}\cdot X\cdot E_{\bar{t}}\Big{|}0\Big{\rangle}_{\lambda}$$ (13)

In this note, we are going to consider mainly a generic case when $\Delta(X)=\sum X^{\prime}\otimes X^{\prime\prime}\neq X\otimes X$, then they include the whole set of $\tau$-functions $\tau(\bar{t},t|X):=\Big{\langle}E_{\bar{t}}XE_{t}\Big{\rangle}$ with different $X=X^{\prime},X^{\prime\prime}$. However, in this case:

• This allows us not to restrict the coefficients of $X$ to belong to the algebra of functions, which is non-commutative in the case of quantum deformations.

• Moreover, the set of solutions is at least as big as before the quantum deformations: each $X$ allowed for the non-deformed $\tau$ continues to be allowed.

• In fact, this set is much bigger: now there is a solution for arbitrary $X$ from the universal envelo** algebra, not just a linear exponential of generators.

In the next section, as an illustration, we consider bilinear equations for the $\tau$-functions associated with arbitrary elements of UEA and obtained within the split Casimir approach, while, in section 4, we discuss examples of bilinear equations for such $\tau$-functions obtained using the intertwining operators.

3 Basic examples: $U(\mathfrak{sl}_{2})$ and $U_{q}(\mathfrak{sl}_{2})$

3.1 $U(\mathfrak{sl}_{2})$ algebra

To illustrate these ideas, we start with the simplest example of ${\cal G}=U(\mathfrak{sl}_{2})$, and deal with its arbitrary highest weight representation with the highest weight $\lambda$: in this case, there is no reason to restrict oneself to the fundamental representations only.

The commutation relations of the $\mathfrak{sl}_{2}$ Lie algebra are

$$\phantom{.}[{\bf e},{\bf f}]={\bf h}$$

$$\phantom{.}[{\bf h},{\bf e}]=2{\bf e}$$ (14)

$$\phantom{.}[{\bf h},{\bf f}]=-2{\bf f}$$

In this case, the $\tau$-function, which is the generating function of matrix elements at any representation $\lambda$ is defined

$$\tau_{\lambda}(t;X)={}_{\lambda}\langle 0|e^{t{\bf e}}Xe^{\bar{t}{\bf f}}|0\rangle_{\lambda}$$ (15)

where $X$ an element of $U(\mathfrak{sl}_{2})$, $|0\rangle_{\lambda}$ is the highest weight vector of representation $\lambda$,

$${\bf e}|0\rangle_{\lambda}=0,\ \ \ \ \ \ {}_{\lambda}\langle 0|{\bf f}=0,\ \ \ \ \ \ {\bf h}|0\rangle_{\lambda}=\lambda|0\rangle_{\lambda}$$ (16)

The comultiplication is

$$\Delta({\bf x})={\bf x}\otimes I+I\otimes{\bf x}$$ (17)

where ${\bf x}$ is any element of ${\bf e}$, ${\bf f}$, ${\bf h}$.

When $X$ is a group element, i.e. an element of the UEA with the comultiplication $\Delta(X_{g})=X_{g}\otimes X_{g}$, the bilinear equations can be derived in the first way (from intertwining operators), in this case, they are [6, Eqs.(34)-(35)]

$$\Big{(}\lambda\bar{\partial}^{\prime}-\lambda^{\prime}\bar{\partial}+(\bar{t}-\bar{t}^{\prime})\bar{\partial}\bar{\partial}^{\prime}\Big{)}\tau_{\lambda}(t;X_{g})\tau_{\lambda^{\prime}}(t^{\prime};X_{g})=\lambda\lambda^{\prime}(t-t^{\prime})\tau_{\lambda-1}(t;X_{g})\tau_{\lambda^{\prime}-1}(t^{\prime};X_{g})$$ (18)

and

$$\Big{(}\lambda^{\prime}+(\bar{t}-\bar{t}^{\prime})\bar{\partial}^{\prime}\Big{)}\tau_{\lambda}(t;X_{g})\tau_{\lambda^{\prime}}(t^{\prime};X_{g})={\lambda^{\prime}\over\lambda+1}\Big{(}\lambda+1-(t-t^{\prime})\partial\Big{)}\tau_{\lambda+1}(t;X_{g})\tau_{\lambda^{\prime}-1}(t^{\prime};X_{g})$$ (19)

where $\partial={\partial\over\partial t}$, $\bar{\partial}={\partial\over\partial\bar{t}}$. There are definitely many more bilinear equations (e.g. [6, Eq.(36)]).

When $X$ is not restricted to be a group element, one has to use the Kac-Wakimoto approach. In order to use it, one notes that the simplest split Casimir operator ${\cal C}$ in this case is (${\cal C}_{2}$ is the second Casimir operator)

$${\cal C}=\Delta({\cal C}_{2})-I\otimes{\cal C}_{2}-{\cal C}_{2}\otimes I={\bf e}\otimes{\bf f}+{\bf f}\otimes{\bf e}+{1\over 2}{\bf h}\otimes{\bf h}$$ (20)

and it commutes with the comultiplication:

$$\Delta(X){\cal C}={\cal C}\Delta(X),\ \ \ \ \ \forall X\in U_{\mathfrak{sl}_{2}}$$ (21)

In (20), we subtracted from $\Delta({\cal C}_{2})$ a non-split part, which trivially commutes with the comultiplication.

Now one can take the average of this identity of the form:

$$0={}_{\lambda}\langle 0|e^{t{\bf e}}\otimes{}_{\lambda^{\prime}}\langle 0|e^{t^{\prime}{\bf e}}\Delta(X){\cal C}e^{\bar{t}{\bf f}}|0\rangle_{\lambda}\otimes e^{\bar{t}^{\prime}{\bf f}}|0\rangle_{\lambda^{\prime}}-{}_{\lambda}\langle 0|e^{t{\bf e}}\otimes{}_{\lambda^{\prime}}\langle 0|e^{t_{1}^{\prime}{\bf e}}{\cal C}\Delta(X)e^{\bar{t}{\bf f}}|0\rangle_{\lambda}\otimes e^{\bar{t}^{\prime}{\bf f}}|0\rangle_{\lambda^{\prime}}$$ (22)

and pull ${\cal C}$ in the first term up to the right highest vectors, and in the second term, to the left:

$$0={}_{\lambda}\langle 0|e^{t{\bf e}}\otimes{}_{\lambda^{\prime}}\langle 0|e^{t^{\prime}{\bf e}}\Delta(X)|V_{1}\rangle-\langle V_{2}|\Delta(X)e^{\bar{t}{\bf f}}|0\rangle_{\lambda}\otimes e^{\bar{t}^{\prime}{\bf f}}|0\rangle_{\lambda^{\prime}}$$ (23)

$$|V_{1}\rangle:=(\lambda\bar{t}-\bar{t}^{2}{\bf f})e^{\bar{t}{\bf f}}|0\rangle_{\lambda}\otimes{\bf f}e^{\bar{t}^{\prime}{\bf f}}|0\rangle_{\lambda^{\prime}}+{\bf f}e^{\bar{t}{\bf f}}|0\rangle_{\lambda}\otimes(\lambda^{\prime}\bar{t}^{\prime}-\bar{t}^{\prime 2}{\bf f})e^{\bar{t}^{\prime}{\bf f}}|0\rangle_{\lambda^{\prime}}+{1\over 2}(\lambda-2\bar{t}{\bf f})e^{\bar{t}{\bf f}}|0\rangle_{\lambda}\otimes(\lambda^{\prime}-2\bar{t}^{\prime}{\bf f})e^{\bar{t}^{\prime}{\bf f}}|0\rangle_{\lambda^{\prime}}$$

$$\langle V_{2}|:={}_{\lambda}\langle 0|e^{t{\bf e}}{\bf e}\otimes{}_{\lambda^{\prime}}\langle 0|e^{t^{\prime}{\bf e}}(\lambda^{\prime}t^{\prime}-t^{\prime 2}{\bf e})+{}_{\lambda}\langle 0|e^{t{\bf e}}(\lambda t-t^{2}{\bf e})\otimes{}_{\lambda^{\prime}}\langle 0|e^{t^{\prime}{\bf e}}{\bf e}+{1\over 2}{}_{\lambda}\langle 0|e^{t{\bf e}}(\lambda-2t{\bf e})\otimes{}_{\lambda^{\prime}}\langle 0|e^{t^{\prime}{\bf e}}(\lambda^{\prime}-2t{\bf e})$$

Now we do not specify $X$ to be a group element, just put

$$\Delta(X)=\sum_{\alpha}X_{\alpha}^{\prime}\otimes X_{\alpha}^{\prime\prime}$$ (24)

and reproduce the action of generators in (23) by differential operators. Then, one finally obtains from (23) the bilinear equation

$$\Big{[}(t-t^{\prime})^{2}\partial\partial^{\prime}-(t-t^{\prime})(\lambda\partial^{\prime}-\lambda^{\prime}\partial)-(\bar{t}-\bar{t}^{\prime})^{2}\bar{\partial}\bar{\partial}^{\prime}+(\bar{t}-\bar{t}^{\prime})(\lambda\bar{\partial}^{\prime}-\lambda^{\prime}\bar{\partial})\Big{]}\sum_{\alpha}\tau_{\lambda}(t;X_{\alpha}^{\prime})\tau_{\lambda^{\prime}}(t^{\prime};X_{\alpha}^{\prime\prime})=0$$ (25)

Let us now choose $\lambda^{\prime}=\lambda$ and expand this equation in $t-t^{\prime}$ in order to get the pair of bilinear relations

$$\sum_{\alpha}\Big{[}(\lambda-1)\partial\tau_{\lambda}(t;X_{\alpha}^{\prime})\partial\tau_{\lambda}(t;X_{\alpha}^{\prime\prime})-\lambda\tau_{\lambda}(t;X_{\alpha}^{\prime})\partial^{2}\tau_{\lambda}(t;X_{\alpha}^{\prime\prime})\Big{]}=0$$ (26)

and similarly for the expansion in $\bar{t}-\bar{t}^{\prime}$:

$$\sum_{\alpha}\Big{[}(\lambda-1)\bar{\partial}\tau_{\lambda}(t;X_{\alpha}^{\prime})\bar{\partial}\tau_{\lambda}(t;X_{\alpha}^{\prime\prime})-\lambda\tau_{\lambda}(t;X_{\alpha}^{\prime})\bar{\partial}^{2}\tau_{\lambda}(t;X_{\alpha}^{\prime\prime})\Big{]}=0$$ (27)

Let us consider an example of $X=X_{g}$ and of $X_{e}$ such that the sum in (24) consists of two terms, the typical element being $X={\bf x}$. Denote $\tau_{g}^{(\lambda)}:=\tau_{\lambda}(t;X_{g})$, $\tau_{x}^{(\lambda)}:=\tau_{\lambda}(t;X_{e})$. Then, equation (26) becomes

$$(\lambda-1)\Big{(}\partial\tau_{g}^{(\lambda)}\Big{)}^{2}-\lambda\tau_{g}^{(\lambda)}\partial^{2}\tau_{g}^{(\lambda)}=0$$

$$2(\lambda-1)\partial\tau_{g}^{(\lambda)}\partial\tau_{x}^{(\lambda)}-\lambda\Big{(}\tau_{x}^{(\lambda)}\partial^{2}\tau_{g}^{(\lambda)}+\tau_{g}^{(\lambda)}\partial^{2}\tau_{x}^{(\lambda)}\Big{)}=0$$ (28)

and (27) becomes

$$(\lambda-1)\Big{(}\bar{\partial}\tau_{g}^{(\lambda)}\Big{)}^{2}-\lambda\tau_{g}^{(\lambda)}\bar{\partial}^{2}\tau_{g}^{(\lambda)}=0$$

$$2(\lambda-1)\bar{\partial}\tau_{g}^{(\lambda)}\bar{\partial}\tau_{x}^{(\lambda)}-\lambda\Big{(}\tau_{x}^{(\lambda)}\bar{\partial}^{2}\tau_{g}^{(\lambda)}+\tau_{g}^{(\lambda)}\bar{\partial}^{2}\tau_{x}^{(\lambda)}\Big{)}=0$$ (29)

The first equations in (3.1), (3.1) have a solution

$$\tau_{g}^{(\lambda)}=\alpha_{g}\Big{(}1+C_{1}t+C_{2}\bar{t}+C_{3}t\bar{t}\Big{)}^{\lambda}$$ (30)

There are 4 arbitrary parameters since this equation is correct for any group element $X_{g}$, and the group elements are parameterized by 3 parameters, and there is also a normalization factor. Note that Eq.(18) has the same solution (30). One can easily check that this solution satisfies the full set of equations (25) so that (3.1), (3.1) turns out to be enough for evaluating $\tau_{g}^{(\lambda)}$.

Similarly, the second equations in (26), (27) have a solution

$$\tau_{x}^{(\lambda)}=\alpha_{x}\lambda\Big{(}1+A_{1}t+A_{2}\bar{t}+A_{3}t\bar{t}\Big{)}\Big{(}1+C_{1}t+C_{2}\bar{t}+C_{3}t\bar{t}\Big{)}^{\lambda-1}$$ (31)

Here the 3 parameters $A_{i}$ parameterize elements $X$ of the UEA such that the comultiplication $\Delta(X)=X_{g}\otimes X_{1}+X_{1}\otimes X_{g}$. These are elements of the form $X_{e}=X_{g}({\bf e}\oplus{\bf f}\oplus{\bf h})$, and they can be obtained from the $\tau$-function (30) by derivatives in parameters $C$’s, which parameterize the group element. In this sense, (31) and (30) are not quite independent.

One can now check that the complete equation (25) is solved by the pair of $\tau$-functions (30) and (31) (to this end, it is necessary to separate the factor $\lambda$ in (31) from the arbitrary constant $\alpha_{x}$).

After considering $X_{g}$ and $X_{x}$, one can further consider $X_{xx}$, the element with a typical representative ${\bf x}^{2}$, etc. Each new element gives rise to a new equation, but it seems to exist a clear hierarchy: there is a closed equation for $\tau^{(\lambda)}_{g}$, there are two equations for $\tau^{(\lambda)}_{x}$ involving also that for $\tau^{(\lambda)}_{g}$, etc. All these $\tau$-functions can be generated by multiple derivatives of $\tau_{g}^{(\lambda)}$ in parameters $C$’s that parameterize the group element (algebra of functions), and, hence, in a sense, they do not give rise to new independent hierarchies! One can say they are associated with infinitesimal invariant Bäcklund transforms.

3.2 $U_{q}(\mathfrak{sl}_{2})$ algebra

Consider the $q$-deformation of the UEA of $\mathfrak{sl}_{2}$: the $U_{q}(\mathfrak{sl}_{2})$ algebra is given by the defining relations

$$\phantom{.}[{\bf e},{\bf f}]={q^{\bf h}-q^{-{\bf h}}\over q-q^{-1}}$$

$$\phantom{.}q^{\bf h}{\bf e}=q^{2}{\bf e}q^{\bf h}$$

$$\phantom{.}q^{\bf h}{\bf f}=q^{-2}{\bf f}q^{\bf h}$$ (32)

we choose the comultiplication

$$\Delta({\bf e})=q^{{\bf h}/2}\otimes{\bf e}+{\bf e}\otimes q^{-{\bf h}/2}$$

$$\Delta({\bf f})=q^{{\bf h}/2}\otimes{\bf f}+{\bf f}\otimes q^{-{\bf h}/2}$$

$$\Delta(q^{\bf h})=q^{\bf h}\otimes q^{\bf h}$$ (33)

and the second Casimir operator is

$${\cal C}_{2}={\bf e}{\bf f}+{q^{-1}q^{\bf h}+qq^{-{\bf h}}\over(q-q^{-1})^{2}}$$ (34)

i.e. the split Casimir operator is

$${\cal C}=\Delta({\cal C}_{2})=q^{\bf h}\otimes{\bf e}{\bf f}+{\bf e}{\bf f}\otimes q^{-{\bf h}}+{\bf e}q^{{\bf h}/2}\otimes q^{-{\bf h}/2}{\bf f}+q^{{\bf h}/2}{\bf f}\otimes{\bf e}q^{-{\bf h}/2}+{q^{-1}q^{\bf h}\otimes q^{\bf h}+qq^{-{\bf h}}\otimes q^{-{\bf h}}\over(q-q^{-1})^{2}}$$ (35)

and there is no trivial part at the r.h.s.: all terms are split.

The highest weight representation is the same as in the non-deformed case, hence, formula (16) preserves. We now choose the following definition of the $\tau$-function

$$\tau_{\lambda}(t;X;q)={}_{\lambda}\langle 0|e_{q}(t{\bf e})Xe_{q^{-1}}(\bar{t}{\bf f})|0\rangle_{\lambda}$$ (36)

where $e_{q}(x)$ denotes the $q$-exponential [17],

$$e_{q}(x):=\sum_{n\geq 0}{x^{n}\over[n]!}q^{-n(n-1)/2}$$ (37)

$[n]=(q^{x}-q^{-x})/(q-q^{-1})$ is the $q$-number, and $X\in U_{q}(\mathfrak{sl}_{2})$. The $q$-exponential enjoys the property $D_{x,q}e_{q}(ax)=ae_{q}(ax)$, where

$$D_{x,q}f(x):={f(q^{2}x)-f(x)\over(q^{2}-1)x}$$ (38)

Performing the calculations of the previous subsection in this case (see also [18]), one obtains instead of (25), the bilinear identities

$$\left[\Big{(}{q\over q-q^{-1}}M^{-2}M^{\prime-2}+t^{\prime}M^{-2}M^{\prime-2}D^{\prime}+tM^{-2}M^{\prime 2}D-q^{-\lambda^{\prime}}t^{\prime}M^{-2}D^{\prime}-q^{-\lambda}tM^{\prime 2}D+\right.$$

$$+{q^{-1}\over q-q^{-1}}M^{2}M^{\prime 2}+t^{\prime}M^{-1}M^{\prime-1}D-q^{-\lambda^{\prime}}t^{\prime}M^{-1}M^{\prime}D-q^{-\lambda}tM^{-1}M^{\prime}D^{\prime}+tM^{-3}M^{\prime}D^{\prime}\Big{)}-$$

$$-\Big{(}q^{\lambda^{\prime}}\bar{t}^{\prime}\bar{M}^{-2}\bar{D}^{\prime}+{q\over q-q^{-1}}\bar{M}^{-2}\bar{M}^{\prime-2}+{q^{-1}\over q-q^{-1}}\bar{M}^{2}\bar{M}^{\prime 2}-\bar{t}\bar{M}^{2}\bar{M}^{\prime 2}\bar{D}+q^{\lambda}\bar{t}\bar{M}^{\prime 2}\bar{D}-$$

$$\left.-\bar{t}^{\prime}\bar{M}^{-2}\bar{M}^{\prime 2}\bar{D}^{\prime}-\bar{t}^{\prime}\bar{M}^{-1}\bar{M}^{\prime 3}\bar{D}-\bar{t}\bar{M}\bar{M}^{\prime}\bar{D}^{\prime}+q^{\lambda^{\prime}}\bar{t}^{\prime}\bar{M}^{-1}\bar{M}^{\prime}\bar{D}+q^{\lambda}\bar{t}\bar{M}^{-1}\bar{M}^{\prime}\bar{D}^{\prime}\Big{)}\right]\times$$

$$\times\sum_{\alpha}\tau_{\lambda}(t;X_{\alpha}^{\prime};q)\tau_{\lambda^{\prime}}(t^{\prime};X_{\alpha}^{\prime\prime};q)=0$$ (39)

where

$$M_{x}f(x)=f(qx)$$ (40)

and we denoted $D:=D_{t,q}$, $\bar{D}:=D_{\bar{t},q^{-1}}$, $M:=M_{t}q^{-\lambda/2}$, $\bar{M}:=M_{\bar{t}}q^{-\lambda/2}$, and similarly for $M^{\prime}$, $D^{\prime}$.

Solutions of this difference equation can be classified by the number of terms in the sum over $\alpha$, and it is especially instructive to see how the standard answer at $q=1$ is recovered. For this purpose, it is convenient to introduce a new notion: the rank of the solution, equal to the number of terms in the sum over $\alpha$. For every rank, there will be solutions which have the right limit at $q=1$, but they will split in several “families”.

Consider first the case when the sum over $\alpha$ consists of just one term, like we did for $q=1$.

Naively, $\tau_{\lambda}(t;X_{g};q)\tau_{\lambda^{\prime}}(t^{\prime};X_{g};q)$ is a solution only if

$$\tau_{\lambda}(t;X_{g};q)=\tau_{g,1}^{(\lambda)}(q)=\alpha_{g}\prod_{i=1}^{\lambda}\Big{(}1+Ct\bar{t}q^{\lambda-2i+1}\Big{)}=\alpha_{g}\sum_{i=0}^{\lambda}\binom{\lambda}{i}_{q}\Big{(}Ct\bar{t}\Big{)}^{i}:=\alpha_{g}\Big{[}(1+Ct\bar{t})^{\lambda}\Big{]}_{q}$$ (41)

for integer $\lambda$, where the $q$ binomial coefficients are $\binom{\lambda}{i}_{q}={[\lambda]!\over[\lambda-i]![i]!}$, and the $q$-factorial $[n]!=\prod_{i=1}^{n}[i]$. This expression is a $q$-deformation of the Newton binomial expansion of $(1+Ct\bar{t})^{\lambda}$, we used for it the notation $[1+Ct\bar{t}]^{\lambda}$ in [6]. What we observe is that there are less solutions than in the non-deformed case: it is only the two-parametric solution (parameters $\alpha_{g}$ and $C$) instead of the 4-parametric one in (30). This is because now the group elements are only those associated with the Cartan element.

However, in this single-$\alpha$ (rank-one) case, there is also another family of solutions. Namely, the product $\tau_{\lambda}(q^{-\lambda/2}t;X_{0};q)\tau_{\lambda^{\prime}}(q^{\lambda^{\prime}/2}t^{\prime};X_{0};q)$ solves the equation (3.2) with

$$\tau_{\lambda}(t;X_{0};q)=\tau_{g,2}^{(\lambda)}(q)=\alpha_{g}\left\{\sum_{i=0}^{\lambda}q^{-i(i-1)/2}\binom{\lambda}{i}_{q}(C_{1}t)^{i}\right\}\times\left\{\sum_{j=0}^{\lambda}q^{j(j-1)/2}\binom{\lambda}{j}_{q}(C_{2}\bar{t})^{j}\right\}$$ (42)

The element $X_{0}$ is discussed in the next subsection.

Together (41) and (3.2) have the same number of parameters that a single family had at $q=1$ (2+3-1=4, the normalization $\alpha_{g}$ should not be counted twice).

The situation is quite the same in the case of rank $2$. One can solve the equation for $X_{x}$ associated with two terms in the comultiplication sum, e.g. that for elements $X_{g}\cdot{\bf e}$ and $X_{g}\cdot{\bf f}$, i.e. for $\tau_{\lambda}(t;X_{g}q^{{\bf h}/2};q)\tau_{\lambda^{\prime}}(t^{\prime};X_{x};q)+\tau_{\lambda}(t;X_{x};q)\tau_{\lambda^{\prime}}(t^{\prime};X_{g}q^{-{\bf h}/2};q)$ in (3.2) with $\tau_{\lambda}(t;X_{g};q)$ given by (41) (because of the comultiplication rule (3.2)). Since $\tau_{\lambda}(t;X_{g}q^{\pm{\bf h}/2};q)=q^{\pm\lambda/2}\tau_{\lambda}(q^{\mp 1}t;X_{g};q)$, the solution is

$$\tau_{\lambda}(t;X_{{\bf e},{\bf f}};q)=\tau^{(\lambda)}_{x,1}(q)=A_{1}[\lambda]t\Big{[}(1+q^{-1}Ct\bar{t})^{\lambda-1}\Big{]}_{q}+A_{2}[\lambda]\bar{t}\Big{[}(1+qCt\bar{t})^{\lambda-1}\Big{]}_{q}$$ (43)

and depends on two new arbitrary constants $A_{1}$ and $A_{2}$. The normalization $[\lambda]$ can not be absorbed into $A_{1}$ and $A_{2}$, because in the two components of the product $\tau_{\lambda}\tau_{\lambda^{\prime}}$ they are the same, while $[\lambda]$ and $[\lambda^{\prime}]$ are different.

Two more elements associated with two terms in the comultiplication sum are $X_{g}\cdot I/2$ and $X_{g}\cdot{\bf h}$. In this case, one has to insert $\tau_{\lambda}(t;X_{g};q)\tau_{\lambda^{\prime}}(t^{\prime};X_{x};q)+\tau_{\lambda}(t;X_{x};q)\tau_{\lambda^{\prime}}(t^{\prime};X_{g};q)$ into (3.2), and the solution to this equation is

$$\tau_{\lambda}(t;X_{x};q)=\tau^{(\lambda)}_{x,2}(q)=A_{0}\Big{[}(1+Ct\bar{t})^{\lambda}\Big{]}_{q}+A_{3}{\partial\over\partial C}\Big{[}(1+Ct\bar{t})^{\lambda}\Big{]}_{q}$$ (44)

which also depends on two new arbitrary constants. Totally, one has four arbitrary constants, which suits the four constants $\alpha_{x}$, $A_{1}$, $A_{2}$, $A_{3}$ in equation (31).

One can proceed similarly for higher ranks, i.e. for higher elements $X_{xx}$ etc.

Let us note that, since the number of solution $\tau_{\lambda}(t;g;q)$ is rather restricted, one can not generate all $\tau_{\lambda}(t;X;q)$ just by taking its derivatives w.r.t. parameters of solution (41). However, missed $\tau_{\lambda}(t;X;q)$ can be generated by action on (36) of the operators $D$, $\bar{D}$, hence, though not being related to the invariant Bäcklund transform, one can again say that $\tau_{\lambda}(t;X;q)$’s do not give rise, in a sense, to new hierarchies, similarly to the non-deformed case.

Note also that equation (3.2) is looking much more involved as compared with the bilinear Hirota identities obtained using the intertwining operator approach [6, Eqs.(29)-(30)]. This is not that much surprising: the split Casimir operator is, roughly speaking, quartic in intertwining operators, while the operator $\Gamma$ in (6) was quadratic (see an explicit example in the next subsection).

3.3 Solution associated with singular group elements

Let us discuss the element $X_{0}$ describing the solution (42). We start with the limit $q\rightarrow 1$, and the corresponding solution is

$$\tau_{\lambda}(t;X_{0})=\alpha_{g}\left(1+C_{1}t\right)^{\lambda}(1+C_{2}\bar{t})^{\lambda}=\alpha_{g}\left(1+C_{1}t+C_{2}\bar{t}+\underbrace{C_{1}C_{2}}_{C_{3}}t\bar{t}\right)^{\lambda}$$ (45)

This function though being a solution to the bilinear identities is not associated with a group element, since $C_{3}\cdot 1-C_{1}\cdot C_{2}$ is proportional to the determinant of the group element ($ad-bc=1$!), which is non-zero, and, for (45), it is zero.

This is not that much surprising: we know that solutions singular from the representation theory point of view exist in integrable hierarchies. They typically are associated with a projector operator inserted. Such an operator depends on the representation. For instance, in the case of the standard KP/Toda hierarchy, when the $\tau$-function is associated with the fundamental representation, the singular solutions correspond to singular points of the infinite-dimensional Grassmannian, and the projector operator can be realized in terms of fermions [22].

In the case of the $\tau$-function (15), the projector operator is $P_{0}(\lambda):=\left|0\right\rangle_{\lambda}\!\left\langle 0\right|$, i.e., in the representation $\lambda$, it is a projector on the highest weight vector $\left|0\right\rangle_{\lambda}$, and the element

$$X_{0}=e^{C_{1}{\bf f}}e^{\alpha_{1}{\bf h}}P_{0}e^{\alpha_{2}{\bf h}}e^{C_{2}{\bf e}}\,,$$ (46)

i.e. the projector splits the group element into two pieces associated with the two Borel subalgebras. Thus, the $\tau$-function becomes

$$\tau_{\lambda}(t;X_{0})=\phantom{}_{\lambda}{\left\langle 0\right|}e^{t{\bf e}}e^{C_{1}{\bf f}}e^{\alpha_{1}{\bf h}}\left|0\right\rangle_{\lambda}\!\left\langle 0\right|e^{\alpha_{2}{\bf h}}e^{C_{2}{\bf e}}e^{\bar{t}{\bf f}}\left|0\right\rangle_{\lambda}=e^{(\alpha_{1}+\alpha_{2})\lambda}\left(1+C_{1}t\right)^{\lambda}(1+C_{2}\bar{t})^{\lambda}$$ (47)

Similarly, in the case of generic $q$, i.e. of the $\tau$-function (36),

$$X_{0}=E_{q}(C_{1}{\bf f})e^{\alpha_{1}{\bf h}}P_{0}e^{\alpha_{2}{\bf h}}E_{q}(C_{2}{\bf e})\,,$$ (48)

where

$$E_{q}(x)=\sum_{n=0}^{\infty}\dfrac{x^{n}}{[n]!}\,,\quad\qquad E_{q}(x)=E_{q^{-1}}(x)$$ (49)

so that

$$\tau_{\lambda}(t;X_{0};q)=\phantom{}_{\lambda}\left\langle 0|e_{q}\left(t{\bf e}\right)E_{q}(C_{1}{\bf f})e^{\alpha_{1}{\bf h}}|0\right\rangle_{\lambda}\!\left\langle 0\right|e^{\alpha_{2}{\bf h}}E_{q}(C_{2}{\bf e})e_{q^{-1}}\left(\bar{t}{\bf f}\right)\left|0\right\rangle_{\lambda}=$$

$$=e^{(\alpha_{1}+\alpha_{2})\lambda}\left\{\sum_{i=0}^{\lambda}q^{-i(i-1)/2}\binom{\lambda}{i}_{q}(C_{1}t)^{i}\right\}\times\left\{\sum_{j=0}^{\lambda}q^{j(j-1)/2}\binom{\lambda}{j}_{q}(C_{2}\bar{t})^{j}\right\}$$ (50)

reproducing (42).

This projector in matrix representations has the only non-zero matrix element: that at $i,j=1$. It can be also realized as a limit

$$\lim_{\alpha\rightarrow\infty}q^{-\alpha\lambda}q^{\alpha{\bf h}}=\left|0\right\rangle_{\lambda}\!\left\langle 0\right|=P_{0}(\lambda)$$ (51)

The key reason why one can use the projector in constructing solutions to the bilinear equations is that the split Casimir commutes with the (tensor square of) the projector $P_{0}$:

$$\left[P_{0}\otimes P_{0},\Delta({\cal C}_{2})\right]=0$$ (52)

4 Infinite-dimensional hierarchies

Now we consider two examples of infinite-dimensional hierarchies (which are basically known [3, 11].

4.1 Toda lattice hierarchy: $U(\mathfrak{sl}_{N})$ algebra

Let us consider the case of ${\cal G}=U(\mathfrak{sl}_{N})$ at arbitrary $N$ kee** in mind the limit of $N\to\infty$, i.e. ${\cal G}=U(\mathfrak{sl}_{\infty})$. The $U_{q}(\mathfrak{sl}_{N})$ algebra is given by the defining relations for the simple root generators ${\bf e}_{i}$, $f_{i}$ and the Cartan generators ${\bf h}_{i}$, $i=1,...,N-1$ (Chevalley basis),

$$\phantom{.}[{\bf e}_{i},{\bf f}_{j}]=\delta_{ij}{\bf h}_{i}$$

$$\phantom{.}[{\bf h}_{i},{\bf e}_{j}]=A_{ij}{\bf e}_{j}$$ (53)

$$\phantom{.}[{\bf h}_{i},{\bf f}_{j}]=-A_{ij}{\bf f}_{j}$$

where $A_{ij}$ is the Cartan matrix of the simple Lie algebra $\mathfrak{sl}_{N}$. These relations has to be added by the Serre relations

$$\hbox{ad}^{2}_{{\bf e}_{i}}({\bf e}_{j})=0,\ \ \ \ \ \ \ \ \ \ \hbox{ad}^{2}_{{\bf f}_{i}}({\bf f}_{j})=0,\ \ \ \ \ \ \ \ i\neq j$$ (54)

The second Casimir operator is

$${\cal C}_{2}=\sum_{\Delta}\Big{(}{\bf e}_{\Delta}{\bf f}_{\Delta}+{\bf f}_{\Delta}{\bf e}_{\Delta}\Big{)}+\sum_{i,j}^{N-1}A_{ij}^{-1}{\bf h}_{i}{\bf h}_{j}$$ (55)

where $\Delta$ denotes all roots, not only the simple ones so that ${\bf f}_{\Delta}$’s correspond to the positive root generators of the Lie algebra $\mathfrak{sl}_{N}$, and ${\bf e}_{\Delta}$’s, to the negative root generators.

The comultiplication is

$$\Delta({\bf x})={\bf x}\otimes I+I\otimes{\bf x}$$ (56)

where ${\bf x}$ is any element of ${\bf e}_{\Delta}$, ${\bf f}_{\Delta}$, ${\bf h}_{i}$. Thus, the second split Casimir operator is

$${\cal C}=\Delta({\cal C}_{2})-I\otimes{\cal C}_{2}-{\cal C}_{2}\otimes I=\sum_{\Delta}\Big{(}{\bf e}_{\Delta}\otimes{\bf f}_{\Delta}+{\bf f}_{\Delta}\otimes{\bf e}_{\Delta}\Big{)}+\sum_{i,j}^{N-1}A_{ij}^{-1}{\bf h}_{i}\otimes{\bf h}_{j}$$ (57)

The standard $\tau$-function is defined [3, 9]

$$\tau_{n}(t;g)=\prescript{}{n}{\Big{\langle}}0\Big{|}\exp\left(\sum_{k=1}^{N-1}t_{k}{\bf E}_{k}^{(n)}\right)g\exp\left(\sum_{k=1}^{N-1}\bar{t}_{k}{\bf F}_{k}^{(n)}\right)\Big{|}0\Big{\rangle}_{n}$$ (58)

where superscript $n$ refers to the $n$-th fundamental representation of $\mathfrak{sl}_{N}$, and ${\bf E}_{k}^{(n)}$, ${\bf F}_{k}^{(n)}$ are commutative operators that generate this representation, and $g$ is the group element. These operators are described in [6, 7, 9], in particular, ${\bf E}^{(1)}_{k}:=\Big{(}\sum_{i}{\bf e}_{i}\Big{)}^{k}$, ${\bf F}^{(1)}_{k}:=\Big{(}\sum_{i}{\bf f}_{i}\Big{)}^{k}$. Considering fundamental representations is inevitable since the split Casimir operator (57) contains ${\bf e}_{\Delta}$ with all $\Delta$, and, when pushing them to the right, one generates elements of the UEA that do not reduce to the degrees of ${\bf F}$, i.e. they can not be reproduced by differentiating. However, in the case of fundamental representations, these elements do reduce to the degrees of ${\bf F}$.

In order to understand it, we note that the fundamental representations admit a fermionic realization [6, 9]. Indeed, let us realize the simple root generators as ($i=1,\ldots,N-1$)

$${\bf e}_{i}=\psi_{i}\psi_{i+1}^{\ast}$$

$${\bf f}_{i}=\psi_{i+1}\psi_{i}^{\ast}$$

$${\bf h}_{i}=\psi_{i}\psi_{i}^{\ast}-\psi_{i+1}\psi^{\ast}_{i+1}$$ (59)

while all other generators ${\bf e}_{\Delta}$, ${\bf f}_{\Delta}$ are given by ($i,j=1,\ldots,N-1$)

$${\bf e}_{ij}=\psi_{i}\psi^{\ast}_{j},\ \ \ \ \ i\langle j$$

$${\bf f}_{ij}=\psi_{i}\psi^{\ast}_{j},\ \ \ \ \ i\rangle j$$ (60)

Here

$$\phantom{.}\{\psi_{i},\psi^{\ast}_{j}\}=\delta_{ij}\ \ \ \ \ \{\psi_{i},\psi_{j}\}=0\ \ \ \ \ \{\psi^{\ast}_{i},\psi^{\ast}_{j}\}=0$$ (61)

Then, one can rewrite the split Casimir operator (57) in the form

$${\cal C}=\sum_{i,j}\psi_{i}\psi^{\ast}_{j}\otimes\psi_{j}\psi^{\ast}_{i}-{1\over N+1}\Big{(}\sum_{i}\psi_{i}\psi^{\ast}_{i}\Big{)}\otimes\Big{(}\sum_{j}\psi_{j}\psi^{\ast}_{j}\Big{)}=$$

$$=\oint\oint{dz\over z}{dw\over w}\left[\psi(z)\psi^{\ast}(w)\otimes\psi(w)\psi^{\ast}(z)-{1\over N+1}\psi(z)\psi^{\ast}(z)\otimes\psi(w)\psi^{\ast}(w)\right]$$ (62)

where

$$\psi(z)=\sum_{i=1}^{N}\psi_{i}z^{i},\ \ \ \ \ \ \ \psi^{\ast}(z)=\sum_{i=1}^{N}\psi^{\ast}_{i}z^{-i}$$ (63)

and the contour integrals go around origin.

Now let us introduce the vector $|0\rangle$ such that

$$\psi_{i}^{\ast}|0\rangle=0\ \ \ \ \ i\geq 1$$ (64)

Then, the highest weight vector in the $n$-th fundamental representation is given by

$$|0\rangle_{n}=\psi_{n}\psi_{n-1}\ldots\psi_{2}\psi_{1}|0\rangle:=|n\rangle$$ (65)

and one obtains that the first fundamental representation consists of the $N$ vectors [6, 7, 9]

$$|1\rangle=\psi_{1}|0\rangle\ \ \ \ \ \ \hbox{and}\ \ \ \ \ \ {\bf F}^{(1)}_{k-1}|1\rangle=\psi_{k}\psi_{1}^{\ast}|1\rangle=\psi_{k}|0\rangle,\ \ \ \ \ k=2,\ldots,N$$ (66)

or just

$$\psi_{k}|0\rangle,\ \ \ \ \ k=1,\ldots,N$$ (67)

Similarly, the vector $\langle 0|$ at the same representation is defined as

$$\langle 0|\psi_{i}=0\ \ \ \ \ i\geq 1,\ \ \ \ \ \ \ \langle n|=\langle 0|\psi_{1}\psi_{2}\ldots\psi_{n-1}\psi_{n}$$ (68)

so that

$$\langle n|{\bf E}^{(1)}_{k-1}=\langle n|\psi_{1}\psi_{k}^{\ast},\ \ \ \ \ k=2,\ldots,N$$ (69)

Similarly, the second fundamental representation consists of the $N(N-1)/2$ vectors

$$\psi_{k}\psi_{l}|0\rangle\ \ \ \ \ \ N\geq k\rangle l\geq 1$$ (70)

etc.

In the fermionic terms, one can write the commutative operators generating the $n$-th fundamental representations in the universal form not depending on $n$:

$${\bf E}_{k}:=\sum_{i}\psi_{i}\psi_{i+k}^{\ast},\ \ \ \ \ \ {\bf F}_{k}:=\sum_{i}\psi_{i+k}\psi_{i}^{\ast}$$ (71)

Note that [3, 19]

$$\exp\left(\sum_{k}t_{k}{\bf E}_{k}\right)\psi_{k}\exp\left(-\sum_{k}t_{k}{\bf E}_{k}\right)=\sum\psi_{k-m}h_{m}(t)$$

$$\exp\left(\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)\psi_{k}\exp\left(-\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)=\sum\psi_{k+m}h_{m}(\bar{t})$$

$$\exp\left(-\sum_{k}t_{k}{\bf E}_{k}\right)\psi_{k}^{\ast}\exp\left(\sum_{k}t_{k}{\bf E}_{k}\right)=\sum\psi_{k+m}^{\ast}h_{m}(t)$$

$$\exp\left(-\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)\psi_{k}^{\ast}\exp\left(\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)=\sum\psi_{k-m}^{\ast}h_{m}(\bar{t})$$ (72)

where $h_{n}(t)$ are the complete homogeneous symmetric polynomial of degree $n$ in variables $x_{i}$ taken as functions of the power sums $t_{k}={1\over k}\sum_{i}x_{i}^{k}$. In other words,

$$\exp\left(\sum_{k}t_{k}{\bf E}_{k}\right)\psi(z)\exp\left(-\sum_{k}t_{k}{\bf E}_{k}\right)=\left[\exp\left(\sum_{k}t_{k}z^{k}\right)\psi(z)\right]_{z,\leq N}$$

$$\exp\left(\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)\psi(z)\exp\left(-\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)=\left[\exp\left(\sum_{k}\bar{t}_{k}z^{-k}\right)\psi(z)\right]_{z,>0}$$

$$\exp\left(-\sum_{k}t_{k}{\bf E}_{k}\right)\psi^{\ast}(z)\exp\left(\sum_{k}t_{k}{\bf E}_{k}\right)=\left[\exp\left(\sum_{k}t_{k}z^{k}\right)\psi^{\ast}(z)\right]_{z^{-1},<0}$$

$$\exp\left(-\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)\psi^{\ast}(z)\exp\left(\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)=\left[\exp\left(\sum_{k}\bar{t}_{k}z^{-k}\right)\psi^{\ast}(z)\right]_{z^{-1},\leq N}$$ (73)

where $[\ldots]_{z,\leq N}$ means truncating the series in $z$ to have maximal degree $N$.

Finally, we need the formula that realizes the action of fermion on the highest vector state in terms of generators ${\bf E}_{k}$, ${\bf F}_{k}$ [3, 20]:

$$\psi(z)|n\rangle=z^{n+1}\exp\left(\sum_{k=1}^{N}{{\bf F}_{k}\over k}z^{k}\right)|n+1\rangle\ \ \ \ \ \ \ \psi^{\ast}(z)|n\rangle=z^{-n}\exp\left(-\sum_{k=1}^{N}{{\bf F}_{k}\over k}z^{k}\right)|n-1\rangle$$

$$\langle n|\psi^{\ast}(z)=z^{-n-1}\langle n+1|\exp\left(\sum_{k=1}^{N}{{\bf E}_{k}\over k}z^{-k}\right)\ \ \ \ \ \ \langle n|\psi(z)=z^{n}\langle n-1|\exp\left(-\sum_{k=1}^{N}{{\bf E}_{k}\over k}z^{-k}\right)\$$ (74)

Using these formulas and formula (4.1), one can derive the Hirota bilinear equations following the procedure described in sec.3.1.

There is, however, a simpler way to get the Hirota bilinear equations: the intertwining operator approach of sec.3. This is the approach traditionally applied when dealing with the group elements, while, in the case of generic UEA elements, we used throughout the paper the approach via the split Casimir operators. In order to use the intertwining operator approach, we note that $\psi_{k}$, $\psi^{\ast}_{k}$ are the intertwining operators $E_{R}$ and $E_{L}$ and the element $\sum_{k}\psi_{k}\otimes\psi^{\ast}_{k}$ is just the element $\Gamma$, (6) which commutes with the comultiplication of the group element $g$, since [3]

$$\psi_{i}g=\sum_{j}\alpha_{ij}g\psi_{j},\ \ \ \ \ \ \ g\psi^{\ast}_{i}=\sum_{j}\alpha_{ji}\psi^{\ast}_{j}g$$ (75)

where $\alpha_{ij}$ are some numerical coefficients, and hence

$$\Big{(}\sum_{i}\psi_{i}\otimes\psi^{\ast}_{i}\Big{)}\Big{(}g\otimes g\Big{)}=\Big{(}g\otimes g\Big{)}\Big{(}\sum_{i}\psi_{i}\otimes\psi^{\ast}_{i}\Big{)}$$ (76)

The properties (75) and, hence, (76) are no longer correct when dealing with an arbitrary element $X$ of the UEA instead of the group one $g$: the bilinear combination $\sum_{i}\psi_{i}\otimes\psi^{*}_{i}$ is different from the split Casimir operator (4.1), which is quartic in $\psi$. However, what is correct is that the element $\sum_{k}\psi_{k}\otimes\psi^{\ast}_{k}$ commutes with the comultiplication $\Delta({\bf x})$, where ${\bf x}$ denotes any generator of the $\mathfrak{sl}_{N}$ Lie algebra (in the fundamental representation):

$$\Big{(}\sum_{i}\psi_{i}\otimes\psi^{\ast}_{i}\Big{)}\Delta({\bf x})=\Big{(}\sum_{i}\psi_{i}\otimes\psi^{\ast}_{i}\Big{)}({\bf x}\otimes I+I\otimes{\bf x})=\Big{(}\sum_{i}\psi_{i}\otimes\psi^{\ast}_{i}\Big{)}(\psi_{k}\psi^{\ast}_{l}\otimes I+I\otimes\psi_{k}\psi^{\ast}_{l})=$$

$$=\sum_{i}\psi_{i}\psi_{k}\psi^{\ast}_{l}\otimes\psi^{\ast}_{i}+\sum_{i}\psi_{i}\otimes\psi^{\ast}_{i}\psi_{k}\psi^{\ast}_{l}=\sum_{i}\psi_{k}\psi^{\ast}_{l}\psi_{i}\otimes\psi^{\ast}_{i}+\sum_{i}\psi_{i}\otimes\psi_{k}\psi^{\ast}_{l}\psi^{\ast}_{i}=\Delta({\bf x})\Big{(}\sum_{i}\psi_{i}\otimes\psi^{\ast}_{i}\Big{)}$$ (77)

for any $k,l=1,\ldots,N$. This means that $\Gamma=\sum_{k}\psi_{k}\otimes\psi^{\ast}_{k}$ also commutes with $\Delta(X)$ where $X$ is an arbitrary element of UEA $U(\mathfrak{sl}_{N})$, and the intertwining operator $\Gamma$ plays the same role in the product of two fundamental representations as the Casimir operator does (in arbitrary representations).

Thus, one can consider the element $\Gamma=\sum_{k}\psi_{k}\otimes\psi^{\ast}_{k}=\oint{dz\over z}\psi(z)\otimes\psi^{\ast}(z)$ instead of the split Casimir operator:

$$\Big{\langle}n\Big{|}\exp\left(\sum_{k}t_{k}{\bf E}_{k}\right)\otimes\Big{\langle}m\Big{|}\exp\left(\sum_{k}t^{\prime}_{k}{\bf E}_{k}\right)\Gamma\Delta(X)\exp\left(\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)\Big{|}n-1\Big{\rangle}\otimes\exp\left(\sum_{k}\bar{t}^{\prime}_{k}{\bf F}_{k}\right)\Big{|}m+1\Big{\rangle}=$$

$$=\Big{\langle}n\Big{|}\exp\left(\sum_{k}t_{k}{\bf E}_{k}\right)\otimes\Big{\langle}m\Big{|}\exp\left(\sum_{k}t^{\prime}_{k}{\bf E}_{k}\right)\Delta(X)\Gamma\exp\left(\sum_{k}\bar{t}_{k}{\bf F}_{k}\right)\Big{|}n-1\Big{\rangle}\otimes\exp\left(\sum_{k}\bar{t}^{\prime}_{k}{\bf F}_{k}\right)\Big{|}m+1\Big{\rangle}$$ (78)

Hence, one obtains, instead of (25),

$$\sum_{\alpha}\oint{dz\over z}\left[\exp\left(-\sum_{k}\bar{t}_{k}z^{-k}\right)z^{n}\tau_{n}(t_{k},\bar{t}_{k}+{z^{k}\over k};X_{\alpha}^{\prime})\right]_{z,>0}\left[\exp\left(\sum_{k}\bar{t}^{\prime}_{k}z^{-k}\right)z^{-m-1}\tau_{m}(t^{\prime}_{k},\bar{t}^{\prime}_{k}-{z^{k}\over k};X_{\alpha}^{\prime\prime})\right]_{z^{-1},\leq N}=$$

$$=\sum_{\alpha}\oint{dz\over z}\left[\exp\left(\sum_{k}t_{k}z^{k}\right)z^{n}\tau_{n-1}(t_{k}-{z^{-k}\over k},\bar{t}_{k};X_{\alpha}^{\prime})\right]_{z,\leq N}\left[\exp\left(-\sum_{k}t^{\prime}_{k}z^{k}\right)z^{-m-1}\tau_{m+1}(t^{\prime}_{k}+{z^{-k}\over k},\bar{t}^{\prime}_{k};X_{\alpha}^{\prime\prime})\right]_{z^{-1},>0}$$

Introducing the vertex operator

$$V_{n}(t,z)=z^{n}\exp\left(\sum_{k}t_{k}z^{k}\right)\exp\left(-\sum_{k}{z^{-k}\over k}{\partial\over\partial t_{k}}\right)$$ (79)

one can rewrite this relation in the form

$$\sum_{\alpha}\oint{dz\over z}\left(\left[V_{n}(-\bar{t},z^{-1})\tau_{n}(t,\bar{t};X_{\alpha}^{\prime})\right]_{z,>0}\cdot\left[V_{-m-1}(\bar{t}^{\prime},z^{-1})\tau_{m}(t^{\prime},\bar{t}^{\prime};X_{\alpha}^{\prime\prime})\right]_{z^{-1},\leq N}-\right.$$

$$\left.-\left[V_{n}(t,z)\tau_{n-1}(t,\bar{t};X_{\alpha}^{\prime})\right]_{z,\leq N}\cdot\left[V_{-m-1}(-t^{\prime},z)\tau_{m+1}(t^{\prime},\bar{t}^{\prime};X_{\alpha}^{\prime\prime})\right]_{z^{-1},>0}\right)=0$$ (80)

This hierarchy at $N\to\infty$, i.e. for $U(\mathfrak{sl}_{\infty})$, and when $X$ is a group element is nothing but the Toda lattice hierarchy [3, 5]. However, what we consider here is associated with the forced Toda lattice hierarchy [21], which corresponds to the boundary condition $\tau_{0}=1$. The full Toda lattice hierarchy is described by the infinite number of fermions $\psi_{k}$, $\psi^{\ast}_{k}$, $k\in\mathbb{Z}$ instead of $k\in\mathbb{Z}_{+}$ as in this subsection, and the forced hierarchy can be embedded into the full one with a special choice of the group element (projection) [22, 19].

4.2 Quantum toroidal algebra: $U_{q,t}(\hat{\hat{\mathfrak{gl}_{1}}})$

As we observed in the previous section, in order to define a $\tau$-function associated with integrable flows, one typically needs to consider very peculiar representations, like the fundamental representations of the $\mathfrak{sl}_{N}$ algebra. The crucial property of these representations is that they are fully generated by a set of commuting operators (${\bf E}_{k}$ and ${\bf F}_{k}$), and admit a fermionic, or bosonic realization.

Another example of this phenomenon is provided by the quantum toroidal $\mathfrak{gl}_{1}$ algebra [11]. However, in this case, in variance with the $\mathfrak{sl}_{N}$ algebra case, there are too few group elements in the UEA: most of them belong to the product of UEA and non-commutative algebra of functions on it. This is, however, a special story, to study such group elements in quantum toroidal algebra. Instead, it makes sense to lift the group element requitement and consider any elements of the UEA, at the price of having a large family of $\tau$-functions, as we explained above.

This is what paper [11] just proposes to do. The peculiar representations in this case are the Fock representations, and counterparts of the fermions are known [23, 24]: they are associated with the operators intertwining three Fock representations (in terms of the quantum toroidal algebra, two of them are called horizontal and one, vertical). Accordingly, the intertwining operator $\Gamma$, which acts in the product of two (horizontal) representations is the screening charge of the $q$-Virasoro algebra [24] acting in the product of two Fock representations and intertwining Fock representations with different weights.

Important is that the intertwining operators, the screening charges and the commutative operators giving the time flows ${\bf E}_{k}$ and ${\bf F}_{k}$ all admit bosonization: a representation in terms of the Heisenberg algebra. Then, similarly to sec.4.1, one can generate the Hirota bilinear identities in these terms [11]. This calculation requires a lot of technical detail about quantum toroidal algebra and its representations, they are well presented in [11], thus, we do not reproduce it here, and simply refer the reader to that very nice paper for details.

There will be, however, an important comment, in the case of universal $\tau$-functions, which we will consider in the next section.

5 On universal $\tau$-function

The standard definition of the $\tau$-function is for the group element only. Hence, it is considered as an object in the algebra of functions, $\tau\in{\cal A}$. In the $q$-deformed case, the algebra of functions is non-commutative, and such are the $\tau$-functions. Let us briefly repeat the basic elements of the construction in this case [7, 9].

Hence, we construct the group element given over the non-commutative ring, the algebra of functions on the quantum group. That is, we construct such an element $g\in{\cal G}\otimes{\cal A}$ of the tensor product of UEA ${\cal G}$ and its dual algebra of functions ${\cal A}$ that

$$\Delta_{U}(g)=g\otimes_{U}g\in{\cal A}\otimes{\cal G}\otimes{\cal G}$$ (81)

To construct this element [25, 26, 9, 18], we fix some basis $T^{(\alpha)}$ in ${\cal G}$. There exists a non-degenerated pairing between ${\cal G}$ and ${\cal A}$, which we denote $\langle...\rangle$. We also fix the basis $X^{(\beta)}$ in ${\cal A}$ orthogonal to $T^{(\alpha)}$ w.r.t. this pairing. Then, the sum

$$\hbox{{\bf T}}\equiv\sum_{\alpha}X^{(\alpha)}\otimes T^{(\alpha)}\in{\cal A}\otimes{\cal G}$$ (82)

is exactly the group element we are looking for. It is called the universal T-matrix (as it is intertwined by the universal $R$-matrix) or the universal group element.

In order to prove that (82) satisfies formula (81) one should note that the matrices $M^{\alpha\beta}_{\gamma}$ and $D^{\alpha}_{\beta\gamma}$ giving respectively the multiplication and co-multiplication in ${\cal G}$

$$T^{(\alpha)}\cdot T^{(\beta)}\equiv M^{\alpha\beta}_{\gamma}T^{(\gamma)},\ \ \Delta(T^{(\alpha)})\equiv D^{\alpha}_{\beta\gamma}T^{(\beta)}\otimes T^{(\gamma)}$$ (83)

give rise to, inversely, co-multiplication and multiplication in the dual algebra ${\cal A}$:

$$D^{\alpha}_{\beta\gamma}=\left\langle\Delta(T^{(\alpha)}),X^{(\beta)}\otimes X^{(\gamma)}\right\rangle\equiv\left\langle T^{(\alpha)},X^{(\beta)}\cdot X^{(\gamma)}\right\rangle$$ (84)

$$M^{\alpha\beta}_{\gamma}=\left\langle T^{(\alpha)}T^{(\beta)},X^{(\gamma)}\right\rangle=\left\langle T^{(\alpha)}\otimes T^{(\beta)},\Delta(X^{(\gamma)})\right\rangle$$ (85)

Then,

$$\Delta_{U}(\hbox{{\bf T}})=\sum_{\alpha}X^{(\alpha)}\otimes\Delta_{U}(T^{(\alpha)})=\sum_{\alpha,\beta,\gamma}D^{\alpha}_{\beta\gamma}X^{(\alpha)}\otimes T^{(\beta)}\otimes T^{(\gamma)}=$$

$$=\sum_{\beta,\gamma}X^{(\beta)}X^{(\gamma)}\otimes T^{(\beta)}\otimes T^{(\gamma)}=\hbox{{\bf T}}\otimes_{U}\hbox{{\bf T}}$$ (86)

This is the first defining property of the universal T-operator, which coincides with the classical one. The second property that allows one to consider T as an element of the “true” group is the group multiplication law $g\cdot g^{\prime}=g^{\prime\prime}$ given by the map:

$$g\cdot g^{\prime}\equiv\hbox{{\bf T}}\otimes_{\cal A}\hbox{{\bf T}}\in{\cal A}\otimes{\cal A}\otimes{\cal G}\longrightarrow g^{\prime\prime}\in{\cal A}\otimes{\cal G}$$ (87)

This map is canonically given by the co-multiplication and is again the universal T-operator:

$$\hbox{{\bf T}}\otimes_{\cal A}\hbox{{\bf T}}=\sum_{\alpha,\beta}X^{(\alpha)}\otimes X^{(\beta)}\otimes T^{(\alpha)}T^{(\beta)}=\sum_{\alpha,\beta,\gamma}M^{\gamma}_{\alpha,\beta}X^{(\alpha)}\otimes X^{(\beta)}\otimes T^{(\gamma)}=\sum_{\alpha}\Delta(X^{(\alpha)})\otimes T^{(\alpha)}$$ (88)

i.e.

$$g\equiv\hbox{{\bf T}}(X,T),\ \ g^{\prime}\equiv\hbox{{\bf T}}(X^{\prime},T),\ \ g^{\prime\prime}\equiv\hbox{{\bf T}}(X^{\prime\prime},T)$$

$$\ \ X\equiv\{X^{(\alpha)}\otimes I\}\in{\cal A}\otimes I,\ \ X^{\prime}\equiv\{I\otimes X^{(\alpha)}\}\in I\otimes{\cal A}$$

$$X^{\prime\prime}\equiv\{\Delta(X^{(\alpha)})\}\in{\cal A}\otimes{\cal A}$$ (89)

One of the possibilities to deal with such $\tau$-functions, which are no longer commutative is to consider concrete representations of ${\cal A}$. In [11], the authors suggest to consider instead of an element $\xi\in{\cal A}$, the corresponding dual element from UEA ${\cal G}$ so that, in the definition of the $\tau$-function, one replaces the universal group element $T$ with the universal $R$-matrix. The object obtained this way is still non-commutative. Its advantage is that the representations of UEA and the corresponding $R$-matrices are better studied, and the drawback is that, in this case, the $\tau$-function has no a natural $q\to 1$ limit that would reproduce the standard hierarchy.

6 Conclusion

The goal of this paper was to analyze possible implications of the change of the basic idea behind the bilinear Hirota equations, which describe comultiplication in Hopf algebras in terms of the generating ($\tau$-)functions of matrix elements. The problem is that the standard formalism of [6] requires $\tau$-functions to be made from the group elements, satisfying $\Delta(g)=g\otimes g$, which forces them to take values in the algebra of functions, the latter being non-commutative in the case of quantum groups. The lack of canonical coordinatization of such algebras and underdeveloped theory of non-commutative special functions make Hirota equations in these cases badly looking and distractive. This is a big problem because of increasing role of quantum groups and, especially, quantum toroidal algebras in the modern generalizations of matrix models for the purposes of string/brane physics.

We investigate an alternative approach, avoiding use of the group elements, and working directly with the $c$-number matrix elements, which attracted new attention after a recent paper by J.-E. Bourgine and A. Garbali [11]. The price to pay here is that the bilinear equations do not close and one needs to introduce many different $\tau$-functions associated with different flows along the “Universal Grassmannian” (actually, the elements of the universal envelo** algebra). The set of Hirota equations also increases and describes interrelations between these $\tau$-functions. Instead they deal with the ordinary $c$-number functions and, in this sense, are more familiar and more comprehensible. We consider a number of simple examples.

At this moment, it is still difficult to choose between the two approaches, the fundamental but technically difficult one with the non-commutative group elements, and technically transparent one with $c$-number $\tau$-functions, which instead does not fully reflect “physics of the problem” and provides systems of equations with complicated solutions. It looks like both require some attention. Hopefully the very existence of the two competitive approaches would attract more attention to this problem, and we will finally obtain a healthy and broadly recognized extension of integrability theory to the field of quantum groups and DIM algebras.