---
abstract: |
    We study certain representations of quantum toroidal $\mathfrak{gl}_1$ algebra for $q=t$. We construct explicit bosonization of the Fock modules $\mathcal{F}_u^{(n',n)}$ with a nontrivial slope $n'/n$. As a vector space, it is naturally identified with the basic level 1 representation of affine $\mathfrak{gl}_n$. We also study twisted $W$-algebras of $\mathfrak{sl}_n$ acting on these Fock modules.

    As an application, we prove the relation on $q$-deformed conformal blocks which was conjectured in the study of $q$-deformation of isomonodromy/CFT correspondence.
author:
- Mikhail Bershtein
- Roman Gonin
bibliography:
- 'bibtex.bib'
title: 'Twisted Representations of Algebra of $q$-Difference Operators, Twisted $q$-$W$ Algebras and Conformal Blocks'
---

Introduction
============

#### Toroidal algebra

Representation theory of quantum toroidal algebras has been actively developed in recent years. This theory has numerous applications, including geometric representation theory and AGT relation [@N16], topological strings [@AFS], integrable systems, knot theory [@GN13], and combinatorics [@CM15].

In this paper we consider only the quantum toroidal $\mathfrak{gl}_1$ algebra; we denote it by $U_{q,t}(\ddot{\mathfrak{gl}}_1)$. The algebra depends on two parameters $q,t$ and has PBW generators $E_{k,l}$, $(k,l)\in \mathbb{Z}^2$ and central generators $c'$,$c
        $ [@Burban]. In the main part of the text we consider only the case $q=t$, where toroidal algebra becomes the universal enveloping of the Lie algebra with these generators $E_{k,l}$, $c'$, $c$ and the relation $$\begin{aligned}
[E_{k,l} , E_{r,s} ] = ( q^{(sk-lr)/2}-q^{(lr-sk)/2}  ) E_{k+r, l+s} +  \delta_{k, -r} \, \delta_{l, -s} ( c' k + c l ).
    \end{aligned}$$ We denote this Lie algebra by ${\mathfrak{Diff}_q}$, since there is a homomorphism from this algebra to the algebra of $q$-difference operators generated by $D,x$ with the relation $Dx=qxD$; namely $E_{k,l} \mapsto q^{kl/2} x^l D^k$.

There is another presentation of the algebra ${\mathfrak{Diff}_q}$ (and more generally $U_{q,t}(\ddot{\mathfrak{gl}}_1)$) using the Chevalley generators $E(z) = \sum_{k \in \mathbb{Z}} E_{1,k} z^{-k}$, $F(z) = \sum_{k \in \mathbb{Z}} E_{-1, k} z^{-k}$, $H(z) = \sum_{k \neq 0} E_{0, k} z^{-k}$, see e.g. [@Ts].

In this paper we deal with the Fock representations of ${\mathfrak{Diff}_q}$; to be more precise there is a family $\mathcal{F}_u$ of Fock modules, depending on the parameter $u$ (see Proposition \[prop:sec3 Boson Fock\] for a construction of $\mathcal{F}_u$ ). They are just Fock representations of the Heisenberg algebra generated by $E_{0,k}$. The images of $E(z)$ and $F(z)$ are vertex operators. A construction of this type is usually called *bosonization*.

It was shown in [@FHHSY], [@N16] that the image of toroidal algebra $U_{q,t}(\ddot{\mathfrak{gl}}_1)$ in the endomorphisms of the tensor product of $n$ Fock modules is the deformed $W$-algebra for $\mathfrak{gl}_n$. There is the so-called conformal limit $q,t\rightarrow 1$, in which deformed $W$-algebras go to vertex algebras. These vertex algebras are tensor products of the Heisenberg algebra and the $W$-algebras of $\mathfrak{sl}_n$. In the case $q=t$, the central charge of the corresponding $W$-algebra of $\mathfrak{sl}_n$ is equal to $n-1$. These $W$-algebras appear in the study of isomonodromy/CFT correspondence (see [@GIL12], [@GM16]). This is one of the motivations of our paper.

The $q$-deformation of the isomonodromy/CFT correspondence was proposed in [@BS:2016:1], [@BGT17], [@JNS17]. The main statement is an explicit formula for the $q$-isomonodromic tau function as an infinite sum of conformal blocks for deformed certain $W$-algebras with $q=t$. In general, these tau functions are complicated, but there are special cases (corresponding to algebraic solutions) where these tau functions are very simple ([@BS:2016:1], [@BGM]). These cases should correspond to special representations of $q$-deformed $W$-algebras. The construction of such representation is one of the purposes of this paper.

#### Twisted Fock modules

There is a natural action of $SL(2,\mathbb{Z})$ on ${\mathfrak{Diff}_q}$. We will parametrize $\sigma\in SL(2,\mathbb{Z})$ by $$\sigma = \begin{pmatrix} \label{sigma sss}
    m' & m \\
    n' & n
    \end{pmatrix}.$$ Then $\sigma$ acts as $$\sigma( E_{k,l} ) = E_{ m' k + m l, \, n' k + n l },\quad
    \sigma (c') = m' c' + n' c,\;\;
    \sigma (c) = m c' + n c.$$ For any ${\mathfrak{Diff}_q}$ module $M$ and $\sigma \in SL(2,\mathbb{Z})$, we denote by $M^\sigma$ the module twisted by the automorphism $\sigma$ (see Definition \[twisted\]). The twisted Fock modules depend only on $n$ and $n'$ (up to isomorphism). These numbers are the values of the central generators $c$ and $c'$, correspondingly, acting on $\mathcal{F}_u^\sigma$. Therefore we will also use the notation $\mathcal{F}_u^{(n',n)}$ for $\mathcal{F}_u^\sigma$. Twisted Fock modules $\mathcal{F}_u^\sigma$ (for generic $q, t$) were used, for example, in [@AFS] and [@GN15].

In Section \[Section with answers\] we construct explicit bosonization of the twisted Fock modules $\mathcal{F}_u^\sigma$ for $q=t$. Actually, we give three constructions: the first one in terms of $n$-fermions (see Theorem \[TheFermionicTh\]), the second one in terms of $n$-bosons (see Theorem \[Th:qD Boson\]) and the third one in terms of one twisted boson (see Theorem \[Th:StrangeBoson\]) (here, for simplicity, we assume that $n>0$). In other words, any twisted Fock module will be identified with the basic module for $\widehat{\mathfrak{gl}}_n$; these two bosonizations correspond to homogeneous [@FK] and principal [@LW],[@KKLW] constructions.

The construction of the bosonization is nontrivial, because it is given in terms of Chevalley generators (note that the $SL(2,\mathbb{Z})$ action is not easy to describe in terms of Chevalley generators). The appearance of affine $\mathfrak{gl}_n$ is in agreement with the Gorsky-Negu conjecture [@GN15]. More specifically, it was conjectured in [@GN15] that there exists an action (with certain properties) of $U_{p^{1/2}} (\widehat{\mathfrak{gl}}_n)$ on $\mathcal{F}_u^{\sigma}$ for $p=q/t\neq1$; we expect this to be $p$-deformation of the $\widehat{\mathfrak{gl}}_n$-action constructed in this paper.

It is instructive to look at the formulas in the simplest examples. Also, for simplicity, we give here only formulas for $E(z)$. Here we introduce the notation in a sloppy way (for details see Sections \[level1\] and \[Section with answers\]).

In the standard case $n=1$, $n'=0$ we have $$E(z) =u q^{-1/2} z \psi( q^{-1/2} z) \psi^* ( q^{1/2} z)= \frac{u}{1-q}: \! \exp \left( \phi(q^{1/2} z) - \phi(q^{-1/2} z) \right) \! :,$$ where $\psi(z),\psi^*(z)$ are complex conjugate fermions (see Section \[fermi\]), $\phi(z)=\sum_{j \neq 0} a [j]  z^{-j}/j$ is a boson and $a[j]$ are generators of the Heisenberg algebra with relation $[a[j],a[j']]=j\delta_{j+j',0}$ (see Section \[boson\]).

The first nontrivial case is given by $n=2$, $n'=1$. We have three formulas (corresponding to Theorems \[TheFermionicTh\], \[Th:qD Boson\], \[Th:StrangeBoson\]): $$\begin{aligned}
    E(z) &= u^{\frac{1}{2}}q^{-\frac14}  \left(   z^2\psi_{(0)} ( q^{-1/2} z) \psi_{(1)}^* (q^{1/2} z)   + z\psi_{(1)} ( q^{-1/2} z) \psi_{(0)}^* (q^{1/2} z)  \right), \label{eq:Etwferm}
    \\
        E(z) =&  u^{\frac{1}{2}}q^{-\frac14}\left(  z^2 :\!\exp \left( \phi_1(q^{1/2} z) - \phi_0(q^{-1/2} z) \right)\!:  +z^{} :\!\exp \left( \phi_0(q^{1/2} z) - \phi_1(q^{-1/2} z) \right)\!:  \right) (-1)^{a_{0}[0]},
        \label{eq:Etwboson} \\
            E(z) =&    \frac{z^{\frac12} u^{\frac{1}{2}}}{2(1-q^{\frac12})}\left(  :\!\exp \! \left( \sum_{k\neq 0} \frac{q^{-k/4}-q^{k/4}}{k} a_{k} z^{-k/2} \right)\!: - :\!\exp\!\left( \sum_{k \neq 0} (-1)^{k}\frac{q^{-k/4}-q^{k/4}}{k} a_{k}  z^{-k/2} \right)\!:\right).        \label{eq:Etwbosontw}  
    \end{aligned}$$ Here $\psi_{(0)}(z),\psi_{(0)}^*(z)$ and $\psi_{(1)}(z),\psi_{(1)}^*(z)$ are anticommuting pairs of complex conjugate fermions (see Section \[section: The Fermionic Th\]), $\phi_{b}(z)=\sum_{j \neq 0}  a_{b} [j]  z^{-j}/j + Q + a_b[0] \log z$ are commuting bosons, and $a_{b}[j]$ are generators of the Heisenberg algebra with the relation $[a_{b}[j],a_{b'}[j']]=j\delta_{j+j',0}\delta_{b,b'}$ (see Section \[subsection: TW qDboson\]). The generators $a_k$ in satisfy $[a_k,a_{k'}]=k\delta_{k+k',0}$.

The relation between and is a standard boson-fermion correspondence. In the right-hand side of formula we have only one Heisenberg algebra with generators $a_{k}$, but since we have both integer and half-integer powers of $z$, one can think that we have a boson with a nontrivial monodromy. This is the reason for the term ‘twisted boson’; we will also call this construction *strange bosonization*. Note that half-integer powers of $z$ cancel in the right-side of .

We present two different proofs of Theorems \[TheFermionicTh\], \[Th:qD Boson\], and \[Th:StrangeBoson\]. The first one is given in Section \[S:sublattice\] and is based on the following idea. For any full rank sublattice $\Lambda\in \mathbb{Z}^2$ of index $n$, we have a subalgebra ${ \mathfrak{Diff}_{q^{1/n}} }^{\Lambda} \subset { \mathfrak{Diff}_{q^{1/n}} }$, which is spanned by $E_{a,b}$ for $(a,b) \in \Lambda$ and central elements $c$, $c'$. The algebra ${ \mathfrak{Diff}_{q^{1/n}} }^{\Lambda}$ is isomorphic to ${\mathfrak{Diff}_q}$; the isomorphism depends on the choice of a positively oriented basis $v_1,v_2$ in $\Lambda$. Denote this isomorphism by $\phi_{v_1,v_2}$.

If the basis $v_1,v_2$ is such that $v_1=(N,0)$, $v_2=(R,d)$, then the restriction of the Fock module $\mathcal{F}_u$ on $\phi_{v_1,v_2}({\mathfrak{Diff}_q})$ is isomorphic to the sum of tensor products of the Fock modules $$\begin{aligned}
 \label{eq:Fu decomp intro}
        \left. \mathcal{F}_{u^{1/N}} \right|_{\phi_{v_1,v_2}({\mathfrak{Diff}_q})} \cong \bigoplus_{ l \in \mathbf{Q}_{(d)}} \ \mathcal{F}_{u q^{ rl_0}} \otimes \cdots \otimes \mathcal{F}_{u q^{r\left(\frac{\alpha}{n}+ l_{\alpha} \right)
        }} \otimes \cdots  \otimes \mathcal{F}_{u q^{r \left(\frac{d-1}{d}+ l_{d-1} \right)}}\end{aligned}$$ where $r=\gcd(N,R)$ and $\mathbf{Q}_{(d)}=\{(l_0,\ldots,l_{d-1})\in \mathbb{Z}^d|\sum l_i=0\}$. If we choose basis $w_1,w_2$ in $\Lambda$ which differs from $v_1,v_2$ by $\sigma\in SL(2,\mathbb{Z})$, we get an analogue of decomposition with RHS given by a sum of tensor products of the twisted Fock modules. For the basis $w_1=(r,n_{tw})$, $w_2=(0,n)$, we write formulas for Chevalley generators of ${\mathfrak{Diff}_q}= { \mathfrak{Diff}_{q^{1/n}} }^{\Lambda}$ using either initial fermion or initial boson for $\mathcal{F}_u$. Applying this for the lattices with $d=1$, we get Theorems \[TheFermionicTh\], \[Th:qD Boson\], \[Th:StrangeBoson\].

The second proof of these theorems is based on the semi-infinite construction. Let $V_{u}$ denote the representation of the algebra ${\mathfrak{Diff}_q}$ in a vector space with basis $x^{k-\alpha}$ for $k \in \mathbb{Z}$, where ${\mathfrak{Diff}_q}$ acts as $q$-difference operators (see Definition \[eq: sec3 eval def\]). This representation is called *vector* (or *evaluation*) representation; the parameter $u$ is equal to $q^{-\alpha}$. The Fock module $\mathcal{F}_u$ is isomorphic to $\Lambda^{\infty/2+0}(V_u)\subset { \Lambda^{^{\! \infty/2}} \,}(V_u)$. After the twist, we get a semi-infinite construction of $\mathcal{F}_u^{\sigma} \subset ({ \Lambda^{^{\! \infty/2}} \,}V_u)^{\sigma}=  { \Lambda^{^{\! \infty/2}} \,}(V_u^{\sigma})$. Note that conjecturally the semi-infinite construction of $\mathcal{F}_u^\sigma$ can be generalized for $q\neq t$ (cf. [@FFJMMa]).

#### Twisted $W$-algebras

Denote by ${\mathfrak{Diff}_q}^{\geqslant0}$ the subalgebra of ${\mathfrak{Diff}_q}$ generated by $c$ and $E_{a,b}$, for $a\geqslant 0$. There is an another set of generators $E^k[j]$ of the completion of the $U({\mathfrak{Diff}_q}^{\geqslant 0})$, defined by the formula $\sum_{j \in \mathbb{Z}} E^k[j]z^{-j}=\left( E (z) \right)^k$ (see Appendix \[nonorm\] for the definition of the power of $E(z)$). The currents $H(z)$ and $E^k(z)$ for $k\in \mathbb{Z}_{>0}$ satisfy relations of the $q$-deformed $W$-algebra of $\mathfrak{gl}_\infty$ (see [@N16]). We denote this algebra by $\mathcal{W}_q(\mathfrak{gl}_\infty)$.

There is an ideal $J_{\mu,d}^{\geqslant0}$ in $U({\mathfrak{Diff}_q}^{\geqslant0})=\mathcal{W}_q(\mathfrak{gl}_\infty)$ which acts by zero on any tensor product $\mathcal{F}_{u_1}\otimes \dots\otimes \mathcal{F}_{u_d}$, here $\mu= \frac{1}{1-q} (u_1 \cdots u_d)^{{1}/{n}}$. This ideal is generated by relations $c=d$ and $$\begin{aligned}
    E^d(z)= {\mu^d}{d!} \exp \left( \varphi_- (z) \right)  \exp \left( \varphi_+ (z) \right),
    \end{aligned}$$ where $$\begin{aligned}
\varphi_{-} (z) = \sum_{j>0} \frac{q^{-j/2}-q^{j/2}}{j} E_{0,-j} z^j,\quad  \varphi_{+} (z) = - \sum_{j>0} \frac{q^{j/2}-q^{-j/2}}{j} E_{0,j} z^{-j}.\end{aligned}$$ The quotient of $\mathcal{W}_q(\mathfrak{gl}_{\infty})/J_{\mu,d}^{\geqslant0}$ is the $q$-deformed $W$-algebra of $\mathfrak{gl}_d$. We denote this algebra by $\mathcal{W}_q(\mathfrak{gl}_d)$; it does no depend on $\mu$ (up to isomorphism) and acts on any tensor product $\mathcal{F}_{u_1}\otimes \dots\otimes \mathcal{F}_{u_d}$ (see [@FHSSY], [@N16]).

In Section \[section: q-W\] we study a tensor product of the twisted Fock modules ${\mathcal{F}^{\sigma}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{\sigma}}$. We prove that the ideal $J_{\mu,nd,n'd}^{\geqslant0}$ generated by relations $c=nd$ and $$\begin{aligned}
E^{nd}(z)= z^{n'd} {\mu^{nd}}{(nd)!} \exp \left( \varphi_- (z) \right)  \exp \left( \varphi_+ (z) \right)\end{aligned}$$ acts by zero for $
        \mu = (-1)^{{1}/{n}}  \frac{q^{-{1}/{2n}}}{q^{1/2}-q^{-1/2}} (u_1 \cdots u_d)^{{1}/{nd}}
    $. We denote the quotient $\mathcal{W}_q(\mathfrak{gl}_{\infty})/J_{\mu,nd,n'd}^{\geqslant0}$ by $\mathcal{W}_q(\mathfrak{gl}_{nd},n'd)$ and call it the *twisted $q$-deformed $W$-algebra of $\mathfrak{gl}_{nd}$*.

There exists another description of the above using the $q$-deformed $W$-algebra of $\mathfrak{sl}_n$ introduced in [@FF]. Define $T_k[j]$ by the formula $$\begin{aligned}
    T_k (z) =\sum T_k[j] z^{-j} = \frac{\mu^{-k}}{k!} \exp \left(-\frac{k}{c} \varphi_- (z) \right) E^k (z) \exp \left( -  \frac{k}{c} \varphi_+ (z) \right).
    \end{aligned}$$ The generators $T_k[j]$ are elements of a localization of the completion of $U({\mathfrak{Diff}_q}^{\geqslant0})$. These generators commute with $H_i$ and satisfy certain quadratic relations. The algebra generated by $T_k[j]$ is denoted by $\mathcal{W}_q(\mathfrak{sl}_{\infty})$.

There is an ideal in $\mathcal{W}_q(\mathfrak{sl}_{\infty})$ which acts by zero on any tensor product $\mathcal{F}_{u_1}\otimes \dots\otimes \mathcal{F}_{u_d}$. This ideal contains relations $c=d$, $T_d(z)=1$, and $T_{d+k}(z)=0$ for $k>0$. The quotient is a standard $W$-algebra $\mathcal{W}_q(\mathfrak{sl}_d)$ [@FF] (see also Definition \[def: non-twisted W\]). We have a relation $\mathcal{W}_q(\mathfrak{gl}_d)=\mathcal{W}_q(\mathfrak{sl}_d) {\otimes U(\mathfrak{Heis})}$, where $\mathfrak{Heis}$ is the Heisenberg algebra generated by $E_{0,j}$.

In the case of a product of the twisted Fock modules ${\mathcal{F}^{\sigma}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{\sigma}}$ the situation is similar. The corresponding ideal contains the relations $T_{nd}(z)=z^{n'd}$, $T_{nd+k}(z)=0$ for $k>0$. We present the quotient in terms of the generators $T_1(z),\dots,T_{nd}(z)$ and relations (this is Theorem \[Th:Wiso\]). We call the algebra with such generators and relations by twisted $W$-algebra $\mathcal{W}_q(\mathfrak{sl}_{nd},n'd)$ ; see Definition \[def: twisted W\]. [^1] The quadratic relations in the algebra $\mathcal{W}_q(\mathfrak{sl}_{nd},n'd)$ are the same as in the untwisted case (see eq. –), the only difference lies in the relation $T_{nd}(z)=z^{n'd}$.

The algebra $\mathcal{W}_q(\mathfrak{sl}_{nd},n'd)$ is graded, with $\deg T_k[j]=j+\frac{n'k}{n}$. Let us rename the generators by $T^{tw}_k[r]=T_k[r-\frac{n'k}{n}]$, for $r \in \frac{n'k}{n}+\mathbb{Z}$. The presentations of the algebra $\mathcal{W}_q(\mathfrak{sl}_{nd},n'd)$ in terms of generators $T^{tw}_k[r]$ and the presentations of the algebra $\mathcal{W}_q(\mathfrak{sl}_{nd})$ is terms of generators $T_k[r]$ are given by the same formulas; the only difference is the region of $r$. Heuristically, one can think that $\mathcal{W}_q(\mathfrak{sl}_{nd},n'd)$ is the same algebra as $\mathcal{W}_q(\mathfrak{sl}_{nd})$ but with currents having nontrivial monodromy around zero. In order to explain these results in more details, consider an example of $\mathfrak{sl}_2$.

\[examp: Int Fock odinary\] As a warm-up, consider the untwisted case $n'=0$. The algebra $\mathcal{W}_q(\mathfrak{sl}_2)$ is $q$-deformed Virasoro algebra [@SKAO]. It has one generating current $T(z)=T_1(z)$ and the relation reads $$\label{eq:Int TT}
        \sum_{l=0}^{\infty} f[l] \Big( T[r{-}l] \, T[s{+}l] - T[s{-}l] \, T[r{+}l] \Big) = -2r(q^{{\frac{1}{2}}}{-}q^{-{\frac{1}{2}}})^2  \delta_{r+s,0} ,$$ where $f[l]$ are coefficients of a series $\sum_{l=0}^{\infty} f[l] x^l=\sqrt{(1-qx)(1-q^{-1}x)}/(1-x)$. This algebra has a standard bosonization [@SKAO] $$\label{eq:Int T st}
        T (z) = - (q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}) z  \left[
        u   : \! \exp \left( \eta(q^{1/2} z) - \eta(q^{-1/2} z) \right) \! :  +u^{-1}  : \! \exp \left( \eta(q^{-1/2} z) - \eta(q^{1/2} z) \right) \! :  \right],$$ where $\eta(z) = \sum_{k \neq 0}  \eta[k]  z^{-k}/k$ and $\eta[k]$ are the generators of the Heisenberg algebra $[\eta[k_1], \eta[k_2]] = \frac12 k_1 \delta_{k_1+k_2,0}$; one can also add $\eta[0]$ related to the parameter $u$. In terms of the toroidal algebra ${\mathfrak{Diff}_q}$ this formula corresponds to the tensor product of two Fock modules $\mathcal{F}_{u_1}\otimes \mathcal{F}_{u_2}$, here $u^2=u_1/u_2$.

Now, consider the twisted case $n'=1$. The algebra $\mathcal{W}_q(\mathfrak{sl}_2,1)$ is generated by one current $T^{tw}(z)=T_1^{tw}(z)=\sum_{r \in \mathbb{Z}+1/2} T_1^{tw}[r] z^{-r}$. The generators $T^{tw}[r]=T_1^{tw}[r]$ satisfy relation . The algebra $\mathcal{W}_q(\mathfrak{sl}_2,1)$ is called *twisted $q$-deformed Virasoro algebra*.

As was explained above, the representations of $\mathcal{W}_q(\mathfrak{sl}_2,1)$ come from the twisted Fock modules $\mathcal{F}_u^{(1,2)}$. The bosonization of the twisted Fock module leads to the bosonization of the $\mathcal{W}_q(\mathfrak{sl}_2,1)$. Using formula we get a bosonization $$T^{tw} (z) =  (q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}) \left[   z^{1/2} :\!\exp \left( \eta(q^{1/2} z) + \eta(q^{-1/2} z) \right)\!: + z^{3/2}:\! \exp \left( -\eta(q^{1/2} z) - \eta(q^{-1/2} z) \right)\!: \, \right].$$ Using formula we get a strange bosonization $$T^{tw} (z) = (-1)^{\frac{1}{2}} \frac{q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}}{2(q^{ \frac{1}{4}} - q^{-\frac{1}{4}})}  z^{\frac{1}{2}}  \left[ : \! \exp \left( \sum_{2 \nmid r} \frac{q^{-\frac{r}{4}}-q^{\frac{r}{4}}}{r} J_r  z^{-\frac{r}{2}} \right) - : \! \exp \left( \sum_{2 \nmid r} \frac{q^{\frac{r}{4}}-q^{-\frac{r}{4}}}{r} J_r  z^{-\frac{r}{2}} \right) \! \!:\right].$$ Here $\eta(z) = \sum_{k \neq 0}  \eta[k]  z^{-k}/k +Q + \eta[0] \log z$, and $J_r$ are modes of the odd Heisenberg algebra, $[J_r,J_s]=r\delta_{r+s,0}$. These formulas for bosonization are probably new.

One can also use embedding ${ \mathfrak{Diff}_{q^{1/n}} }^{\Lambda} \subset { \mathfrak{Diff}_{q^{1/n}} }$ in order to construct a bosonization of the $W$-algebras. Namely one can take a representation of ${ \mathfrak{Diff}_{q^{1/n}} }$ with known bosonization and then express the $W$-algebra related to ${\mathfrak{Diff}_q}= { \mathfrak{Diff}_{q^{1/n}} }^{\Lambda}$ in terms of these bosons.

For example, consider $\Lambda$ generated by $v_1=e_1$, $v_2=2e_2$ and the Fock representations $\mathcal{F}_{u^{1/2}}$ of ${ \mathfrak{Diff}_{q^{1/2}} }$. One can show (for example, using ) that $\mathcal{W}_q(\mathfrak{gl}_\infty)$ algebra related to ${\mathfrak{Diff}_q}\cong { \mathfrak{Diff}_{q^{1/2}} }^\Lambda$ acts on $\mathcal{F}_{u^{1/2}}$ through the quotient $\mathcal{W}_q(\mathfrak{gl}_2)$. Therefore, we get an odd bosonization of non-twisted $q$-deformed Virasoro algebra $\mathcal{W}_q(\mathfrak{sl}_2)$ $$\label{eq:Int T odd}
        T (z) = \frac{q^{\frac{1}{4}}+q^{-\frac{1}{4}}}{2}    \left[ : \! \exp \left( \sum_{2 \nmid r} \frac{q^{-\frac{r}{4}}-q^{\frac{r}{4}}}{r} J_r  z^{-\frac{r}{2}} \right) \! : + : \! \exp \left( \sum_{2 \nmid r} \frac{q^{\frac{r}{4}}-q^{-\frac{r}{4}}}{r} J_r  z^{-\frac{r}{2}} \right) \! : \right].$$ Here $J_r$ are the odd modes of the initial boson for $\mathcal{F}_u$. The even modes of the boson disappears in the formula since it belongs to $\mathfrak{Heis}\subset { \mathfrak{Diff}_{q^{1/2}} }^\Lambda$.

It follows from the decomposition that formula gives bosonization of certain special representation $\mathcal{W}_q(\mathfrak{sl}_2)$, to be more specific, a direct sum of Fock modules (defined by ) with particular parameters $u=q^{l-1/4}$ for $l \in \mathbb{Z}$. In the conformal limit $q\rightarrow 1$ formula goes to the odd bosonization of the Virasoro algebra $ L_k = \frac{1}{4} \sum_{\frac12 (r+s)=k} : \! J_r J_s \! : + \frac{1}{16} \delta_{k,0}$, see e.g. [@Z].

#### Whittaker vectors and relations on conformal blocks

As an application, in Section \[section: conformal\] we prove the following identity $$\begin{aligned}
\label{eq:Intr relation}
        z^{\frac12 \sum \frac{i^2}{n^2}} \prod_{i \neq j} \frac{1}{(q^{1+\frac{i-j}{n}}; q, q)_{\infty}} \left( q^{\frac{1}{n}} z^{\frac{1}{n}}; q^{\frac{1}{n}} ,q^{\frac{1}{n}} \right)_{\infty} = \sum_{(l_0, \ldots, l_{n-1}) \in {\mathbf{Q}_{(n)}}} \mathcal{Z} \left( q^{l_0}, q^{\frac{1}{n}+l_1}, \ldots, q^{\frac{n-1}{n} + l_{n-1}}; z \right).
    \end{aligned}$$ Here the lattice ${\mathbf{Q}_{(n)}}$ is as above, $(u; q, q)_{\infty} = \prod_{i,j=0}^{\infty} (1-q^{i+j} u)$. The function $\mathcal{Z}(u_1,\dots,u_n;z)$ is a Whittaker limit of conformal block. By AGT relation it equals to the Nekrasov partition function. We recall the definition of $\mathcal{Z}(u_1,\dots,u_n;z)$ below.

The relation was conjectured in [@BGM] in the framework of $q$-isomonodromy/CFT correspondence. The right-hand side of is a specialization of generic conjectural formula [@BGM eq. (3.6)] for the tau function of deautonomized discrete flow in Toda system. The left-hand side of is a tau function corresponding to the algebraic solution, see [@BGM eq. (3.11)].

Let us recall the definition of $\mathcal{Z}(u_1,\dots,u_n;z)$. The Whittaker vector $W(z|u_1,\dots,u_N)$ is a vector in a completion of $ \mathcal{F}_{u_1}\otimes\ldots \otimes\mathcal{F}_{u_n}$, which is an eigenvector of $E_{a,b}$ for $Nb\geqslant a \geqslant 0$ with certain eigenvalues depending on $z$, see Definition \[def: Whit eigen\]. Such vector exists and unique for generic values of $u_1,\dots,u_n$. This property looks to be a part of folklore, we give a proof of this in Appendix \[Appendix:Whittaker\]. The proof is essentially based on the results of [@N16], [@N17]. The function $\mathcal{Z}$ is proportional to a Shapovalov pairing of two Whittaker vectors $$\begin{aligned}
 \label{eq:Int def q-der conf block}
        \mathcal{Z} (u_1, \ldots, u_n ; z) = z^{\frac{\sum (\log u_i)^2}{2 (\log q)^2}} \prod_{i \neq j} \frac{1}{(qu_i u_j^{-1}; q, q)_{\infty}} \left\langle W_u(1|qu_n^{-1}, \ldots, qu_1^{-1}) , W(z| u_1, \ldots, u_n) \right\rangle.
    \end{aligned}$$

We give a proof of using decomposition . We consider the Whittaker vector $W(z|1)$ for the algebra ${ \mathfrak{Diff}_{q^{1/n}} }$. Its Shapovalov pairing gives the left-hand side of the relation . On the other hand, we prove that its restriction to summands $\mathcal{F}_{q^{ l_0}} \otimes \cdots  \otimes \mathcal{F}_{ q^{\frac{n-1}{n}+ l_{n-1} }}$ is the Whittaker vector for the algebra ${ \mathfrak{Diff}_{q^{}} }$. So taking the Shapovalov pairing we get the right-hand side of the relation .

In the conformal limit $q\rightarrow 1$ the analogue of the relation in case $n=2$ was proven in [@BS:2016:2] by a similar method. The conformal limit of the decomposition was studied in [@BGMtw].

#### Plan of the paper.

The paper is organized as follows.

In Section \[q-dif\] we recall basic definitions and properties on the algebra ${\mathfrak{Diff}_q}$.

In Section \[level1\] we recall basic constructions of the Fock module $\mathcal{F}_u$.

In Section \[Section with answers\] we present three constructions of the twisted Fock module $\mathcal{F}_u^{\sigma}$: the fermionic construction in Theorem \[TheFermionicTh\], the bosonic construction in Theorem \[Th:qD Boson\], and the strange bosonic construction in Theorem \[Th:StrangeBoson\].

In Section \[S:sublattice\] we study restriction of the Fock module to a subalgebra ${\mathfrak{Diff}_q}^{\Lambda}$. Using these restrictions we prove Theorems \[TheFermionicTh\], \[Th:qD Boson\], \[Th:StrangeBoson\].

In Section \[S:Semi-infinite\] we give an independent proof of Theorem \[TheFermionicTh\] using the semi-infinite construction.

In Section \[section: q-W\] we study twisted $q$-deformed $W$-algebras. We define $\mathcal{W}_q(\mathfrak{sl}_n,n_{tw})$ by generators and relations. Then we show in Theorem \[Th:Wiso\] that the tensor product $\mathcal{W}_q(\mathfrak{sl}_n,n_{tw}){\otimes U(\mathfrak{Heis})}$ is isomorphic to the certain quotient of $U({\mathfrak{Diff}_q})$; we denote this quotient by $\mathcal{W}_q(\mathfrak{gl}_n,n_{tw})$. We show that $\mathcal{W}_q(\mathfrak{sl}_{nd},n'd)$ acts on the tensor product of twisted Fock modules ${\mathcal{F}^{\sigma}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{\sigma}}$. At the end of the section we study relation between these modules and the Verma modules for $\mathcal{W}_q(\mathfrak{gl}_{nd},n'd)$ and $\mathcal{W}_q(\mathfrak{sl}_{nd},n'd)$.

In Section \[Section: general sublattice\] we prove decomposition . Then we study the strange bosonization of $W$-algebra modules arising from the restriction of Fock module on ${\mathfrak{Diff}_q}^{\Lambda}$.

In Section \[section: conformal\] we recall definitions and properties of Whittaker vector, Shapovalov pairing, and conformal blocks. Then we prove , see Theorem \[Theorem: the relation\].

In Appendix \[nonorm\] we give a definition and study necessary properties of regular product of currents $A(z) B(az)$ for $a\in \mathbb{C}$.

Appendices \[Appendix:Serre\] and \[Appendix:HomWD\] consist of calculations which are used in Section \[section: q-W\].

In Appendix \[Appendix:Whittaker\] we study the Whittaker vector for ${\mathfrak{Diff}_q}$ in the completion of the tensor product $ \mathcal{F}_{u_1}\otimes\ldots \otimes\mathcal{F}_{u_n}$. We prove its existence and uniqueness (we use this in Section \[section: conformal\]). To prove existence we present a construction of Whittaker vector via an intertwiner operator from [@AFS]. We also relate this Whittaker vector to the Whittaker vector of $\mathcal{W}_q(\mathfrak{sl}_n)$ introduced in [@T].

#### Acknowledgments

We are grateful to B. Feigin, P. Gavrylenko, E. Gorsky, A. Negu, J. Shiraishi, for interest to our work and discussions. The work is partially supported by Russian Foundation of Basic Research under grant mol\_a\_ved 18-31-2006 and by the HSE University Basic Research Program jointly with Russian Academic Excellence Project ‘5-100’. R.G. was also supported in part by Young Russian Mathematics award. The results of Section \[section: conformal\] are obtained under support of the Russian Science Foundation under grant 19-11-00275.

$q$-difference operators {#q-dif}
========================

The associative algebra of $q$-difference operators ${\mathrm{Diff}_q^{\, \mathrm{A}}}$ is an associative algebra generated by $D^{\pm 1}$ and $x^{\pm 1}$ with the relation $Dx=qxD$.

The algebra of $q$-difference operators ${\mathfrak{Diff}_q}$ is a Lie algebra with a basis $E_{k,l}$ [(]{}where $(k, l) \in \mathbb{Z}^2 \backslash \{(0,0)  \}$[)]{}, $c$ and $c'$. The elements $c$ and $c'$ are central. All other commutators are given by $$\begin{aligned}
        [ E_{k,l} , E_{r,s} ] = ( q^{(sk-lr)/2}-q^{(lr-sk)/2}  ) E_{k+r, l+s} +  \delta_{k, -r} \, \delta_{l, -s} ( c' k + c l ). \label{qDc}
        \end{aligned}$$

Note that the vector subspace of ${\mathrm{Diff}_q^{\, \mathrm{A}}}$ spanned by $x^l D^k$ (for $(l,k) \neq (0,0)$) is closed under commutation i.e. has a natural structure of Lie algebra (denote this Lie algebra by $\mathrm{Diff}_q^{\mathrm{L}}$). Consider a basis of this Lie algebra $E_{k,l} := q^{kl/2} x^l D^k$. Finally, ${\mathfrak{Diff}_q}$ is a central extension of $\mathrm{Diff}_q^{\mathrm{L}}$ by two-dimensional abelian Lie algebra spanned by $c$ and $c'$.

$SL_2 ( \mathbb{Z} )$ action
----------------------------

In this section we will define action $SL_2 ( \mathbb{Z} )$ on ${\mathfrak{Diff}_q}$. Let $\sigma$ be an element of $SL_2 ( \mathbb{Z} )$ corresponding to a matrix $$\begin{aligned}
    \sigma = \begin{pmatrix}
    m' & m \\
    n' & n
    \end{pmatrix}. \label{notation:sigma}
    \end{aligned}$$ Then $\sigma$ acts as follows $$\begin{aligned}
 \label{action1}
    \sigma( E_{k,l} ) = E_{ m' k + m l, \, n' k + n l },  \quad
    \sigma (c') = m' c' + n' c, \quad
    \sigma (c) = m c' + n c. 
    \end{aligned}$$

Formula defines $SL_2 ( \mathbb{Z} )$ action on ${\mathfrak{Diff}_q}$ by Lie algebra automorphisms.

Note that is $SL_2 ( \mathbb{Z} )$ covariant.

For any ${\mathfrak{Diff}_q}$-module $M$ denote by $\rho_{M} \colon {\mathfrak{Diff}_q}\rightarrow \mathfrak{gl} (M)$ the corresponding homomorphism.

\[twisted\] For any ${\mathfrak{Diff}_q}$-module $M$ and $\sigma \in SL(2,\mathbb{Z})$ let us define the representation $M^\sigma$ as follows. $M$ and $M^{\sigma}$ are the same vector space with different actions, namely $\rho_{M^{\sigma}} = \rho_M \circ \sigma$.

We will refer to $M^{\sigma}$ as a *twisted representation*. More precisely, $M^{\sigma}$ is the representation $M$, twisted by $\sigma$.

Chevalley generators and relations
----------------------------------

The Lie algebra ${\mathfrak{Diff}_q}$ is generated by $E_k := E_{1, k}$, $F_k:=E_{-1, k}$ and $H_k := E_{0, k}$. We will call them the *Chevalley generators* of ${\mathfrak{Diff}_q}$. Define the following *currents* (i.e. formal power series with coefficients in ${\mathfrak{Diff}_q}$) $$\begin{aligned}
    E(z) &= \sum_{k \in \mathbb{Z}} E_{1,k} z^{-k} = \sum_{k \in \mathbb{Z}} E_k z^{-k};\\
    F(z) &= \sum_{k \in \mathbb{Z}} E_{-1, k} z^{-k} = \sum_{n \in \mathbb{Z}} F_k z^{-k};\\
    H(z) &= \sum_{k \neq 0} E_{0, k} z^{-k} = \sum_{k \neq 0} H_k z^{-k}.
    \end{aligned}$$

Let us also define the formal delta function $$\begin{aligned}
    \delta(x) = \sum_{k \in \mathbb{Z}} x^k.
    \end{aligned}$$

\[relation\] Lie algebra ${\mathfrak{Diff}_q}$ is presented by the generators $E_k$, $F_k$ (for all $k \in \mathbb{Z}$), $H_l$ [(]{}for $l \in \mathbb{Z} \backslash \{0 \}$[)]{}, $c$, $c'$ and the following relations $$\begin{gathered}
        [H_k, H_l] = k c \, \delta_{k+l, 0} \label{RqDHH} \, ; \\
        [H_k , E(z)] = (q^{-k/2}-q^{k/2})z^k E(z),  \quad
        [H_k, F(z)]= (q^{k/2}-q^{-k/2}) z^k F(z); \label{RqDHE&F} \\
        (z-qw)(z-q^{-1} w) [E(z), E(w)]= 0,   \quad
        (z-qw)(z-q^{-1} w) [F(z), F(w)]= 0 ; \label{RqDE2} \\
        [ E (z) , F (w)] =  \left(  H( q^{-1/2} w ) -  H(q^{1/2} w)  + c' \right) \delta( w / z )  +    c \, \frac{w}{z} \delta'(w/ z) ; \label{RqDEF} \\
        z_2 z_3^{-1} [E(z_1), [E(z_2), E(z_3)]] + \mathrm{cyclic} =0; \label{RqDEEE} \\
        z_2 z_3^{-1} [F(z_1), [F(z_2), F(z_3)]] + \mathrm{cyclic} =0. \label{RqDFFF}
        \end{gathered}$$

One can find a proof of Proposition \[relation\] in [@M07 Thm. 2.1] or [@Ts Thm. 5.5].

Fock module {#level1}
===========

In this section we review basic constructions of representations of ${\mathfrak{Diff}_q}$ with $c=1$ and $c'=0$. These construction were studied in [@GL].

Free boson realization {#boson}
----------------------

Introduce the Heisenberg algebra generated by $a_k$ (for $k \in \mathbb{Z}$) with relation $[a_k, a_l] = k \delta_{k+l, 0}$. Consider the Fock module $F_{\alpha}^a$ generated by $| \alpha \rangle$ such that $a_k | \alpha \rangle = 0$ for $k > 0$, $a_0 | \alpha \rangle = \alpha | \alpha \rangle$.

\[prop:sec3 Boson Fock\] The following formulas determine an action of ${\mathfrak{Diff}_q}$ on $F_{\alpha}^a$: $$\begin{aligned}
    &c \mapsto 1,  \quad c' \mapsto 0, \quad H_k \mapsto a_k;  \label{boson1}\\ 
    &E(z) \mapsto \frac{u}{1-q} \exp \left( \sum_{k>0} \frac{q^{-k/2}-q^{k/2}}{k} a_{-k} z^k \right) \exp \left( \sum_{k<0} \frac{q^{-k/2}-q^{k/2}}{k} a_{-k} z^k \right) \label{eq:E};\\
    &F(z) \mapsto \frac{u^{-1}}{1-q^{-1}} \exp \left( \sum_{k>0} \frac{q^{k/2}-q^{-k/2}}{k} a_{-k} z^k \right) \exp \left( \sum_{k<0}\frac{q^{k/2}-q^{-k/2}}{k} a_{-k} z^k \right). \label{eq:F}
    \end{aligned}$$

We will denote this representation by $\mathcal{F}_u$.

\[remark:NOalpha\] Note that $\alpha$ does not appear in formulas –. But we will need operator $a_0$ later (see the proof of Proposition \[Boson-Fermion\]) for the boson-fermion correspondence. Heuristically, one can think that $u = q^{-\alpha}$.

\[on our notation\] In this paper we consider several algebras and their action on the corresponding Fock modules. We choose the following notation. All these representations are denoted by the letter F (for Fock) with some superscript to mention an algebra. Since ${\mathfrak{Diff}_q}$ is the most important algebra in our paper, we use no superscript for its representation. Also, let us remark that we consider several copies of the Heisenberg algebra. To distinguish their Fock modules, we write a letter for generators as a superscript.

The standard bilinear form on $F^a_{\alpha}$ is defined by the following conditions: operator $a_{-k}$ is dual of $a_k$, pairing of ${| \alpha \rangle}$ with itself equals 1. We will use the bra-ket notation for this scalar product. For an operator $A$ we denote by $\langle \alpha | A | \alpha \rangle$ the scalar product of $A | \alpha \rangle$ with ${| \alpha \rangle}$.

\[Fock\] Suppose the algebra ${\mathfrak{Diff}_q}$ acts on $F^a_{\alpha}$ so that $H_k \! \mapsto \! a_k$ and $\langle \alpha | E(z) | \alpha \rangle = \frac{u}{1-q};$ $\ \langle \alpha | F(z) | \alpha \rangle = \frac{u^{-1}}{1-q^{-1}}$. Then this representation is isomorphic to $\mathcal{F}_u$.

Consider the current $$T(z) =\exp \! \left( - \sum_{k>0} \frac{q^{-k/2}-q^{k/2}}{k} a_{-k} z^k \right) E(z) \ \exp \! \left( - \sum_{k<0}\frac{q^{-k/2}-q^{k/2}}{k} a_{-k} z^k \right).$$

It is easy to verify that $[a_k, T(z)] =0$. Since $F_{\alpha}$ is irreducible, $T(z)= f(z)$ for some formal power series $f(z)$ with $\mathbb{C}$-coefficients. On the other hand, $f(z) = \langle \alpha | E(z) | \alpha \rangle = \frac{u}{1-q} $. This implies . The proof of is analogous.

\[E\_l\] Denote $E_l(z) = E_{l, k} z^{-k}$. The action of $E_l(z)$ on Fock representation $\mathcal{F}_u$ is given by the following formula $$\begin{aligned}
 \label{eq: El in Fock mod}
        E_l(z)  \rightarrow \frac{u^l}{1-q^l} \exp \! \left( \sum_{k>0} \frac{q^{-kl/2}-q^{kl/2}}{k} a_{-k} z^k \right) \exp \! \left( \sum_{k<0} \frac{q^{-kl/2}-q^{kl/2}}{k} a_{-k} z^k \right). 
        \end{aligned}$$

The commutation relation implies that formula holds up to a pre-exponential factor. Also, we see from that $$\begin{aligned}
 \label{eq: OPE proof for El}
            E(z) E_l(w) = \frac{q^{-1}w}{z-q^{-1}w} E_{l+1}(q^{-1}w) - \frac{q^l w }{z-q^l w} E_{l+1}(w) + \mathrm{reg}.
            \end{aligned}$$ The factor can be found inductively from .

Free fermion realization {#fermi}
------------------------

In this section we give another construction for the Fock representation of ${\mathfrak{Diff}_q}$. To do this, let us consider the Clifford algebra, generated by $\psi_i$ and $\psi^*_j$ for $i,j \in \mathbb{Z}$ subject to the relations $$\begin{aligned}
    \{ \psi_i, \psi_j \} =0,&  \quad \{ \psi^*_i, \psi^*_j \} =0;  \label{fermi1} \\    \{ \psi_i , \psi^*_j  \}& = \delta_{i+j, 0} \label{fermi2}.
    \end{aligned}$$ Consider the currents $$\begin{aligned}
    \psi(z) &= \sum_{i} \psi_i z^{-i-1};   \quad  \psi^*(z) = \sum_i \psi^*_i z^{-i}.
    \end{aligned}$$ Consider a module $F^\psi$ with a cyclic vector ${|l \rangle}$ and relation $$\begin{aligned}
    \psi_i {|l \rangle}= 0 \quad \text{for } i \geqslant l, \quad \psi^*_j {|l \rangle}= 0 \quad \text{for } j > -l.
    \end{aligned}$$ The module $F^\psi$ is independent of $l$. The isomorphism can be seen from the formulas $\psi^*_{-l} {|l \rangle}= | l+1 \rangle$ and $\psi_{l-1} {|l \rangle}= | l-1 \rangle$. Let us define the $l$-dependent normal ordered product (to be compatible with ${|l \rangle}$) by the following formulas $$\begin{aligned}
    : \! \psi_i \psi^*_j \! :_{(l)} = - \psi^*_j \psi_i \quad &\text{for } i \geqslant l, \label{norm1} \\
    : \! \psi_i \psi^*_j \! :_{(l)} = \psi_i \psi^*_j \quad &\text{for } i < l. \label{norm2} 
    \end{aligned}$$

\[prop: level 1 Fermion\] The following formulas determine an action of ${\mathfrak{Diff}_q}$ on $F^{\psi}$: $$\begin{aligned}
    &c \mapsto 1, \quad c' \mapsto 0,  \quad H_k   \mapsto  \sum_{i+j=k} \psi_i \psi_j^*; \label{eq:centerFermi} \\
    &E(z) \mapsto \frac{q^{l} u }{1-q} + u q^{ - 1/2 }z : \! \psi( q^{-1/2} z) \psi^* ( q^{1/2} z) \! :_{(l)} = u q^{-1/2} z \psi( q^{-1/2} z) \psi^* ( q^{1/2} z); \label{ferm:E} \\
    &F(z) \mapsto \frac{q^{-l} u^{-1} }{1-q^{-1}} + u^{-1} q^{1/2} z  : \! \psi( q^{1/2} z) \psi^* (q^{-1/2} z)\!:_{(l)}= u^{-1} q^{1/2} z \psi( q^{1/2} z) \psi^* (q^{-1/2} z). \label{ferm:F}
    \end{aligned}$$

Let us denote this representation by $\mathcal{M}_u$. =-1

The Products $\psi( q^{-1/2} z) \psi^* ( q^{1/2} z)$ and $\psi( q^{1/2} z) \psi^* (q^{-1/2} z)$ from formulas – are not normally ordered (see Appendix \[nonorm\] for a formal definition and some other technical details on the *regular product*). In particular, this reformulation implies that $\mathcal{M}_u$ does not depend on $l$.

Semi-Infinite construction
--------------------------

\[eq: sec3 eval def\] The evaluation representation $V_{u}$ of the algebra ${\mathfrak{Diff}_q}$ is a vector space with the basis $x^{k}$ for $k \in \mathbb{Z}$ and the action $$\begin{aligned}
        E_{a,b} \, x^{k} = u^a q^{\frac{ab}{2} + ak} x^{k+b}; \quad \quad c=c'=0.
        \end{aligned}$$

The associative algebra ${\mathrm{Diff}_q^{\, \mathrm{A}}}$ acts on $V_u$. The representation of ${\mathfrak{Diff}_q}$ is obtained via evaluation homomorphism $\mathrm{ev}\colon {\mathfrak{Diff}_q}\rightarrow {\mathrm{Diff}_q^{\, \mathrm{A}}}$.

Informally, one can consider $x^k \in V_u$ as $x^{k-\alpha}$ for $u=q^{-\alpha}$. Define the action of ${\mathrm{Diff}_q^{\, \mathrm{A}}}$ as follows. The generator $x$ acts by multiplication and $D x^{k-\alpha} = q^{k-\alpha} x^{k-\alpha} = u q^k x^{k-\alpha}$. However, $q^{-\alpha}$ is not well defined for arbitrary complex $\alpha$. So we consider $u$ as a parameter of representation instead of $\alpha$.

Let us consider the *semi-infinite exterior power* of the evaluation representation ${ \Lambda^{^{\! \infty/2}} \,}V_{u}$. It is spanned by $| \lambda,l \rangle = x^{l-\lambda_1} \wedge x^{l+1-\lambda_2} \wedge \cdots \wedge x^{l+N} \wedge x^{l+N+1} \wedge x^{l+N+2} \wedge \cdots$ where $\lambda$ is a Young diagram and $l \in \mathbb{Z}$. Let $p_1 > \ldots> p_i$ and $q_1> \ldots> q_i$ be Frobenius coordinates of $\lambda$.

\[Prop:SemiInf-Fermi\] There is a ${\mathfrak{Diff}_q}$-modules isomorphism ${ \Lambda^{^{\! \infty/2}} \,}V_{u} \xrightarrow{
            \,\smash{\raisebox{-0.65ex}{\ensuremath{\scriptstyle\sim}}}\,} \mathcal{M}_{u}$ given by $$\begin{aligned}
\label{eq:lambda l}
        | \lambda,l \rangle  \mapsto (-1)^{\sum_k (q_k-1)} \psi_{-p_1+l} \cdots \psi_{-p_i+l} \, \psi_{-q_i-l+1}^* \cdots \psi_{-q_1-l+1}^* {|l \rangle}.
        \end{aligned}$$

\[Boson-Fermion\] There is an isomorphism of ${\mathfrak{Diff}_q}$-modules $\mathcal{M}_u \cong \bigoplus_{l \in \mathbb{Z}} \mathcal{F}_{q^l u}$. The submodule $\mathcal{F}_{q^l u}$ is spanned by $| \lambda,l \rangle$.

Recall the ordinary boson-fermion correspondence (see [@KR]). The coefficients of $$\begin{aligned}
        a(z) = \sum_{n} a_n z^{-n-1} = : \! \psi(z) \psi^* (z) \! :_{(0)}
        \end{aligned}$$ are indeed generators of the Heisenberg algebra. Moreover, $F^{\psi} = \oplus_{l \in \mathbb{Z}} F^{a}_{-l}$. The highest vector of $F^{a}_{-l}$ is ${|l \rangle}$ (in particular, $a_0 {|l \rangle}= -l {|l \rangle}$). Note that this is the decomposition of ${\mathfrak{Diff}_q}$-modules as well. Also, note that $$\langle l | E(z) | l  \rangle = \frac{q^{l} u }{1-q}, \quad \langle l | F(z) | l  \rangle = \frac{q^{-l} \, u^{-1} }{1-q^{-1}}.$$ Therefore one can use Proposition $\ref{Fock}$ for each summand $F^{a}_{-l}$.

There is a basis in the Fock module $\mathcal{F}_u$ given by semi-infinite monomials $$\begin{aligned}
    |\lambda\rangle= x^{- \lambda_1} \wedge x^{1 - \lambda_2} \wedge \cdots \wedge x^{i - \lambda_{i+1}} \wedge \cdots.
    \end{aligned}$$

To write the action of ${\mathfrak{Diff}_q}$ in this basis, let us remind the standard notation. Let $l(\lambda)$ be the number of non-zero rows. We will write $s=(i,j)$ for the $j$th box in the $i$th row (i.e. $j \leqslant \lambda_i$). The content of a box $c(s):=i-j$. For the diagram $\mu \subset \lambda$, we define a skew Young diagram $\lambda \backslash \mu$, being a set of boxes in $\lambda$ which are not in $\mu$. Ribbon is a skew Young diagram without $2\times2$ squares. The height $\operatorname{ht}(\lambda \backslash \mu)$ of a ribbon is one less than the number of its rows.

The action of ${\mathfrak{Diff}_q}$ on $\mathcal{F}_u$ is given by the following formulas $$\begin{aligned}
    E_{a,-b} \, |\lambda\rangle&= q^{-\frac{a}{2}}u^{a} \sum_{\mu \backslash \lambda =b-\text{ribbon}} (-1)^{\operatorname{ht}(\mu \backslash \lambda)}q^{\frac{a}{b}\sum_{s\in \mu \backslash \lambda}c(s)}|\mu\rangle; \label{eq: Fock basis action1} \\
    E_{a,b} \, |\lambda\rangle&= q^{-\frac{a}{2}} u^{a} \sum_{\lambda \backslash \mu =b-\text{ribbon}} (-1)^{\operatorname{ht}(\lambda \backslash  \mu)}q^{\frac{a}{b}\sum_{s\in \mu \backslash \lambda}c(s)}|\mu\rangle;\\
    E_{a,0} \, |\lambda\rangle&= u^a \left( \frac{1}{1-q^a} +   \sum_{i=0}^{l(\lambda)-1}  \left(q^{a(i-\lambda_{i+1})} - q^{ai} \right)  \right) |\lambda\rangle; \label{eq: Fock basis action3} 
    \end{aligned}$$ here $b>0$.

In particular, $$E_{a,0} \ {|0 \rangle}=\frac{u^{a}}{1-q^{a}} {|0 \rangle}. \label{eq:eigen vac}$$

Let us introduce the notation $c(\lambda) = \sum_{s \in \lambda} c(s)$. Define an operator ${\mathrm{I}}_{\tau} \in \operatorname{End}( \mathcal{F}_u)$ by the following formula $$\label{eq: def I tau}
        {\mathrm{I}}_{\tau} |\lambda \rangle =  u^{|\lambda|} q^{-\frac12 |\lambda|+c(\lambda)} | \lambda \rangle$$

\[prop: I sigma\] The operator ${\mathrm{I}}_{\tau}$ enjoys the property ${\mathrm{I}}_{\tau} E_{a,b} {\mathrm{I}}_{\tau}^{-1} = E_{a-b,b}$.

Follows from –.

\[corol: unipotant twist\] $\mathcal{F}_u^{\tau} \cong \mathcal{F}_u$ for $\tau = \left( \begin{smallmatrix} 1 &1 \\ 0 & 1\end{smallmatrix} \right)$.

Also, Corollary \[corol: unipotant twist\] follows from Proposition \[Fock\]: we will use this approach to prove Proposition \[LambdaFock\].

\[corol: not m and m prime\] The twisted representation $\mathcal{F}_u^{\sigma}$ is determined up to isomorphism by $n$ and $n'$.

Corollary \[corol: unipotant twist\] implies that $\mathcal{F}_u^{\, \tau^k \sigma} \cong \mathcal{F}_u^{\sigma}$. Note that $$\tau^k \sigma =
        \begin{pmatrix} 
        1 & k \\
        0 & 1
        \end{pmatrix}
        \begin{pmatrix} 
        m' & m \\
        n' & n
        \end{pmatrix}=
        \begin{pmatrix} 
        m'+kn' & m+kn \\
        n' & n
        \end{pmatrix}$$ For the fixed $n$ and $n'$, all the possible choices of $m$ and $m'$ appear for the appropriate $k$.

Explicit formulas for twisted representation {#Section with answers}
============================================

In this section we provide three explicit constructions of twisted Fock module $\mathcal{F}^\sigma_u$ for $$\label{sigma}
    \sigma = \begin{pmatrix}m' & m \\
    n' & n
    \end{pmatrix}.$$ Constructions are called fermionic, bosonic, and strange bosonic. This section contains no proofs. We will give proofs in Sections \[S:sublattice\]. In Section \[S:Semi-infinite\] we will provide an independent proof of Theorem \[TheFermionicTh\].

Fermionic construction {#section: The Fermionic Th}
----------------------

We need to consider the $\mathbb{Z}/2 \mathbb{Z}$-graded $n$th tensor power of the Clifford algebra defined above. More precisely, consider an algebra generated by ${\psi_{({a})}}[i]$ and ${\psi^*_{(  b  )}}[j]$, for $i,j \in \mathbb{Z}$; $a,b=0, \ldots , n-1$, subject to relations $$\begin{gathered}
 \label{eq:nClifford1}
    \left\{ {\psi_{({a})}}[i], {\psi_{(  b )}}[j] \right\} =0;  \quad \left\{ {\psi^*_{( \! a \! )}}[i], {\psi^*_{(  b  )}}[j] \right\} =0;   \\    \left\{ {\psi_{({a})}}[i] , {\psi^*_{(  b  )}}[j]  \right\} =  \delta_{a,b} \ \delta_{i+j, 0}. \label{eq:nClifford2}
    \end{gathered}$$ Consider the currents $$\begin{aligned}
    {\psi_{({a})}}(z) &= \sum_{i} {\psi_{({a})}}[i] z^{-i-1};   \quad  {\psi^*_{(  b  )}}(z) = \sum_i {\psi^*_{(  b  )}}[i] z^{-i}. \label{eq:nFermions}
    \end{aligned}$$ Consider a module $F^{n\psi}$ with a cyclic vector $|l_0, \ldots, l_{n-1} \rangle$ and the relations $$\begin{aligned}
    {\psi_{({a})}}[i] \, \left|l_0, \ldots, l_{n-1} \right\rangle = 0& \quad \text{for } i \geqslant l_a, \\ {\psi^*_{( \! a \! )}}[j] \, \left|l_0, \ldots, l_{n-1} \right\rangle  = 0& \quad \text{for } j > -l_a.
    \end{aligned}$$ The module $F^{n\psi}$ does not depend on $l_0, \ldots, l_{n-1}$. The isomorphism can be seen from the following formulas: $$\begin{aligned}
    {\psi^*_{( \! a \! )}}[ -l_a ] \, \left|l_0, \ldots, l_a, \ldots,  l_{n-1} \right\rangle = \left| l_0, \ldots, l_a+1, \ldots , l_{n-1} \right\rangle, \\
    {\psi_{({a})}}[ l_a-1 ] \, \left|l_0, \ldots, l_a, \ldots , l_{n-1} \right\rangle = \left|l_0, \ldots, l_a-1, \ldots , l_{n-1} \right\rangle.
    \end{aligned}$$

\[TheFermionicTh\] The formulas below determine an action of ${\mathfrak{Diff}_q}$ on $F^{n\psi}$ $$\begin{aligned}
        c' &= n', \quad c=n,\\
        H^{tw}_k &=  \sum_{a} \, \sum_{i+j=k}  \psi_a [i]  \ \psi^*_a [j] , \\
        E^{tw}(z) &=  \sum_{b-a \equiv -n' \bmod n} u^{\frac{1}{n}} q^{-1/2} z  {\psi_{({a})}}( q^{-1/2} z) {\psi^*_{(  b  )}}(q^{1/2} z)  z^{\frac{n'-a+b}{n}} q^{(a+b)/2n}, \label{eq:EtwFermi} \\
        F^{tw}(z) &= \sum_{b-a \equiv n' \bmod n} u^{-\frac{1}{n}} q^{1/2} z  {\psi_{({a})}}( q^{1/2} z) {\psi^*_{(  b  )}}(q^{-1/2} z)  z^{\frac{-n'-a+b}{n}} q^{-(a+b)/2n}. \label{eq:FtwFermi}
        \end{aligned}$$ The module obtained is isomorphic to $\mathcal{M}_u^{\sigma}$.

Since $\mathcal{F}_u^{\sigma} \subset \mathcal{M}_u^{\sigma}$, we have obtained a fermionic construction for $\mathcal{F}_u^{\sigma}$.

Bosonic construction {#subsection: TW qDboson}
--------------------

Let us consider the $n$th tensor power of the Heisenberg algebra. More precisely, this algebra is generated by $a_b [i]$ for $b=0, \ldots, n-1$ and $i \in \mathbb{Z}$ with the relation $\left[ a_{b_1}[i], a_{b_2}[j] \right] = i \delta_{b_1,b_2}  \delta_{i+j,0}$. Let us extend the algebra by adding the operators $e^{Q_b}$, obeying the following commutation relations. The operator $e^{Q_b}$ commutes with all the generators except for $a_b[0]$ and satisfy $a_b[0] e^{Q_b} = e^{Q_b} (a_b[0]+1)$. Denote $$\begin{aligned}
    \phi_{b}(z) = \sum_{j \neq 0} \frac{1}{j} a_{b} [j]  z^{-j} + Q_b + a_{b}[0] \log z.
    \end{aligned}$$

Informally, one can think that there exists an operator $Q_b$ satisfying $[a_b[0], Q_b] = 1$. However, this operator will not act on our representation. We will use $Q_b$ as a formal symbol. Our final answer will consist only of $e^{Q_b}$, but not of $Q_b$ without the exponent.

We need a notion of a normally ordered exponent $:\!\exp(\ldots)\!:$. The argument of a normally ordered exponent is a linear combination of $a_b[i]$ and $Q_b$. Let $\mathtt{a}_+$, $\mathtt{a}_-$, $\mathtt{a}_0$, and $\mathtt{Q}$ denote a linear combination of $a_b[i]$ for $i>0$, $a_b[i]$ for $i<0$, $a_b[0]$ and $Q_b$, correspondingly ($b$ is not fixed). Define $$: \! \exp \left(  \mathtt{a}_+ + \mathtt{a}_- + \mathtt{a}_0 + \mathtt{Q} \right)\! : \, \stackrel{\text{def}}{=} \exp \left( \mathtt{a}_+ \right) \exp \left( \mathtt{a}_- \right)  \exp \left( \mathtt{Q} \right) \exp \left( \mathtt{a}_0 \right).$$

Also, note that $\mathtt{a}_0$ will have the coefficient $\log z$. We shall understand it formally; the action of the operator $\exp(a_b[0] \log z) = z^{a_b[0]}$ is well defined, since in the representation to be considered below, $a_b[0]$ acts as multiplication by an integer at each Fock module. Let ${\mathbf{Q}_{(n)}}$ be a lattice with the basis $Q_0{-}Q_1, \ldots, Q_{n-2}{-}Q_{n-1}$. Consider the group algebra $\mathbb{C} [ {\mathbf{Q}_{(n)}}]$. This algebra is spanned by $e^{\lambda}$ for $\lambda= \sum_i \lambda_i Q_i \in {\mathbf{Q}_{(n)}}$. Let us define the action of the commutative algebra generated by $a_b[0]$ on $\mathbb{C} [ {\mathbf{Q}_{(n)}}]$: $$\begin{aligned}
    a_b[0] \, e^{\sum \lambda_i Q_i} = \lambda_b \, e^{\sum \lambda_i Q_i}.
    \end{aligned}$$ Let $F^{na}$ be the Fock representation of the algebra generated by $a_b[i]$ for $i\neq 0$; i.e. there is a cyclic vector ${|0 \rangle}\in F^{na}$ such that $a_b[i] \, {|0 \rangle}= 0$ for $i>0$.

Finally, we can consider $F^{na} \otimes \mathbb{C} [ {\mathbf{Q}_{(n)}}]$ as representation of the whole Heisenberg algebra as follows: $a_b[i]$ for $i \neq 0$ acts on the first factor, $a_b[0]$ acts on the second factor. Also, $\mathbb{C} [ {\mathbf{Q}_{(n)}}]$ acts on $F^{na} \otimes \mathbb{C} [ {\mathbf{Q}_{(n)}}]$.

\[Th:qD Boson\] There is an action of ${\mathfrak{Diff}_q}$ on $F^{na} \otimes \mathbb{C} [ {\mathbf{Q}_{(n)}}]$ determined by the formulas $$\begin{aligned}
        H^{tw}[k] =&  \sum_{b} a_b [k], \qquad c' = n', \quad c=n,\\
        E^{tw}(z) =&  \!\!\! \sum_{b-a \equiv -n' \bmod n} \!\!\!\!\! u^{\frac{1}{n}} q^{\frac{a+b-n}{2n}} z^{\frac{n'-a+b}{n}+1} : \! \exp \left( \phi_b(q^{1/2} z) - \phi_a(q^{-1/2} z) \right) \! :  \epsilon_{a,b}, \label{eq:th:Etw boson}\\
                F^{tw}(z) =&  \!\!\! \sum_{b-a \equiv n' \bmod n} \!\!\!\!\! u^{-\frac{1}{n}} q^{ \frac{-a-b+n}{2n} }  z^{\frac{-n'-a+b}{n}+1} : \! \exp \left( \phi_b(q^{-1/2} z) - \phi_a(q^{1/2} z) \right) \! : \epsilon_{a,b} \label{eq:th:Ftw boson}
                \end{aligned}$$ here $\epsilon_{a,b} = \prod_r (-1)^{a_r[0]}$ (we consider the product over such $r$ that $a-1 \geqslant r \geqslant b$ for $a>b$ and $b-1 \geqslant r \geqslant a$ for $b>a$).

The representation obtained is isomorphic to $\mathcal{F}_u^{\sigma}$.

Strange Bosonic construction
----------------------------

We will use notation of Section \[boson\]. Let $\zeta$ be a $n$th primitive root of unity, e.g. $\zeta = e^{\frac{2\pi i}{n}}$.

\[Th:StrangeBoson\] There is an action of ${\mathfrak{Diff}_q}$ on $F^a_{\alpha}$ determined by the formulas. $$\begin{aligned}
        &H^{tw}_k = a_{nk}, \quad c =n, \quad c' = n',\\
        &E^{tw}(z) =  z^{n'/n}  \frac{u^{\frac{1}{n}}}{n(1-q^{1/n})} \sum_{l=0}^{n-1} \zeta^{l n'} : \! \exp \! \left( \sum_{k} \frac{q^{-k/2n}-q^{k/2n}}{k} a_{k} \zeta^{-kl} z^{-k/n} \right) \! :, \label{eq:Th Strange boson E} \\
        &F^{tw}(z) =  z^{-n'/n} \frac{u^{-\frac{1}{n}}}{n(1-q^{-1/n})} \sum_{l=0}^{n-1} \zeta^{-l n'} : \! \exp \! \left( \sum_{k}\frac{q^{k/2n}-q^{-k/2n}}{k} a_{k} \zeta^{-kl}  z^{-k/n} \right) \! : . \label{eq:Th Strange boson F}
        \end{aligned}$$ The representation obtained is isomorphic to $\mathcal{F}_u^{\sigma}$.

As before the representation does not depend on $\alpha$, see Remark \[remark:NOalpha\].

Twisted representation via a sublattice {#S:sublattice}
=======================================

Sublattices and subalgebras
---------------------------

Consider a full rank sublattice $\Lambda \subset \mathbb{Z}^2$ of index $n$ (i.e. $\mathbb{Z}^2/\Lambda$ is a finite group of order $n$). Let us define a Lie subalgebra ${\mathfrak{Diff}_q}^{\Lambda} \subset {\mathfrak{Diff}_q}$ which is spanned by $E_{a,b}$ for $(a,b) \in \Lambda$ and central elements $c$, $c'$.

Denote by $E_{a,b}^{[n]}$, $c_{[n]}, c'_{[n]}$ standard generators of ${\mathfrak{Diff}_{q^n}}$. Let $v_1 = (k_1, l_1)$ and $v_2 = (k_2, l_2)$ be a basis of $\Lambda$. Define a map $\varphi_{v_1, v_2}\colon {\mathfrak{Diff}_{q^n}}\rightarrow {\mathfrak{Diff}_q}$ $$\begin{gathered}
    \varphi_{v_1, v_2} E^{\scriptstyle{[n]}}_{a,b} = E_{a k_1 + b k_2, \, a l_1 + b l_2}, \\
    \varphi_{v_1, v_2} c'_{\scriptstyle{[n]}} = k_1 c' + l_1 c, \\
    \varphi_{v_1, v_2} c_{\scriptstyle{[n]}} = k_2 c' + l_2 c.
    \end{gathered}$$

Let $v_1, v_2$ be a positively oriented basis (i.e. $k_1 l_2 - k_2 l_1 =n$). Then the map $\varphi_{v_1, v_2}$ is a Lie algebra isomorphism ${\mathfrak{Diff}_{q^n}}\cong {\mathfrak{Diff}_q}^{\Lambda}$.

It follows from directly.

Slightly abusing notation, denote the Fock representation of ${\mathfrak{Diff}_{q^n}}$ by $\mathcal{F}_u^{[n]}$ .

\[LambdaFock\] Let $v_1 = (n,0)$ and $v_2 =(-m, 1)$. Then $ \mathcal{F}_{u^{n}}^{[n]} \cong \left. \mathcal{F}_u \right|_{\phi_{v_1, v_2} \left({ \mathfrak{Diff}_{q^{n}} } \right)}$ as ${ \mathfrak{Diff}_{q^{n}} }$-modules.

Note that the Fock module $\mathcal{F}_u$ is $\mathbb{Z}$-graded with grading given by $$\begin{aligned}
        \deg(| \alpha \rangle) = 0 \quad \deg (E_{a,b})=-b
        \end{aligned}$$ Recall that a character of a $\mathbb{Z}$-graded module is the generating function of dimensions of the graded components. Then the character of Fock module $\operatorname{ch}\mathcal{F}_u = 1/(\mathfrak{q})_{ \infty }  := \prod_{k=1}^{\infty} 1/(1-\mathfrak{q}^k)$.

Consider a subalgebra ${\mathfrak{Heis}}_0$ in ${ \mathfrak{Diff}_{q^{n}} }$ spanned by $E_{0, k}$ and $c$. Note that ${\mathfrak{Heis}}_0$ is isomorphic to the Heisenberg algebra. Since $\deg (\phi_{v_1,v_2}E_{0,-k} )= \deg (E_{km,-k}) = k$, the character of the ${\mathfrak{Heis}}_0$-Fock module is also $1/(\mathfrak{q})_{\infty}$; i.e. it coincides with $\operatorname{ch}\mathcal{F}_u$. This implies that $\left. \mathcal{F}_u \right|_{\phi_{v_1, v_2} \left({ \mathfrak{Diff}_{q^{n}} } \right)}$ restricted to ${\mathfrak{Heis}}_0$ is isomorphic to the ${\mathfrak{Heis}}_0$-Fock module. To finish the proof, we use Propositions \[Fock\] and \[E\_l\].

Twisted Fock vs restricted Fock
-------------------------------

From now on we change $q \rightarrow q^{1/n}$. Our goal is to construct an action of ${\mathfrak{Diff}_q}$ on the Fock module twisted by $\sigma \in SL_2 ( \mathbb{Z} )$ as in for $n \neq 0$. Consider a sublattice $\Lambda_{\sigma} \subset \mathbb{Z}^2$ spanned by $v_1 = (n,0)$ and $v_2 = (-m, 1)$. Consider another basis of $\Lambda_{\sigma}$ obtained by $\sigma$ $$\begin{aligned}
    w_1 &= m' v_1 + n' v_2 = (m' n - n' m, n') = (1, n')  \label{eq: v to w change 1} \\
    w_2 &= m v_1 + n v_2 = (0, n) \label{eq: v to w change 2}
    \end{aligned}$$

(-3.3,-2.3) grid (4.3,2.3); (-3.3,0) – (4.3,0); (0,-2.3) – (0,2.3); in [(-3,0),(0,0),(1.5,0)]{} [ circle (1pt); +(1.5,0) circle (1pt); circle (1pt); +(1,0.5) circle (1pt); +(2.5,0.5) circle (1pt); +(0.5,1) circle (1pt); +(2,1) circle (1pt); +(0,1.5) circle (1pt); +(1.5,1.5) circle (1pt); +(0,-1.5) circle (1pt); +(1.5,-1.5) circle (1pt); +(1,-1) circle (1pt); +(2.5,-1) circle (1pt); +(0.5,-0.5) circle (1pt); +(2,-0.5) circle (1pt); +(1,2) circle (1pt); +(2.5,2) circle (1pt); +(0.5,-2) circle (1pt); +(2,-2) circle (1pt); ]{} (0,0) to (0.5,1) node\[anchor=south west\] [$w_1$]{}; (0,0) to (0,1.5) node\[anchor=south west\] [$w_2$]{}; (0,0) to (1.5,0) node\[anchor=south west\] [$v_1$]{}; (0,0) to (-0.5,0.5) node\[anchor=south west\] [$v_2$]{};

The construction of the sublattice $\Lambda_{\sigma} \subset \mathbb{Z}^2$ naturally appears, if one require $\sigma$ to be a transition matrix from $v_i$ to $w_i$ and assume $v_1 = (n, 0)$, $w_2 = (0, n)$.

Denote the Fock module of ${ \mathfrak{Diff}_{q^{1/n}} }$ by $\mathcal{F}^{[1/n]}_{u}$.

\[MainTh\] There is an isomorphism of ${\mathfrak{Diff}_q}$-modules $\left. \left( \mathcal{F}_{u} \right)^{ \sigma } \cong  \mathcal{F}^{[1/n]}_{u^{1/n}} \right|_{\phi_{w_1,w_2} \left({\mathfrak{Diff}_q}\right) }$

Proposition \[LambdaFock\] implies $\left. \mathcal{F}^{[1/n]}_{u^{1/n}} \right|_{\phi_{v_1,v_2}({\mathfrak{Diff}_q})} \cong \mathcal{F}_{u}$. On the other hand, relations and yield that $\sigma$ is the transition matrix from $w_1, w_2$ to $v_1$, $v_2$.

There is an isomorphism of ${\mathfrak{Diff}_q}$-modules $\left. \left( \mathcal{M}_{u} \right)^{ \sigma } \cong  \mathcal{M}^{[1/n]}_{u^{1/n}} \right|_{\phi_{w_1,w_2} \left({\mathfrak{Diff}_q}\right) }$

Theorem \[MainTh\] combined with results from Section \[level1\] enables us to find explicit formulas for action on $\mathcal{F}_{u}^{ \sigma }$. We will do this below.

Explicit formulas for restricted Fock
-------------------------------------

### Fermionic construction via sublattice

Denote fermionic representation of ${ \mathfrak{Diff}_{q^{1/n}} }$ by $\mathcal{M}^{[1/n]}_u$. To be more specific, let us rewrite formulas from Section \[fermi\] for $\mathcal{M}^{[1/n]}_{u^{1/n}}$. $$\begin{aligned}
     &c \mapsto 1, \quad
    c' \mapsto 0, \quad H_m   \rightarrow  \sum_{i+j=m} \psi_i \psi_j^*,  \\
    &E(z) \mapsto  \frac{q^{l/n} u^{1/n} }{1-q^{1/n}} + u^{1/n} q^{ - 1/2n }z : \! \psi( q^{-1/2n} z) \psi^* ( q^{1/2n} z) \! :_{(l)}      \label{ferm:En} \\
    &F(z) \mapsto \frac{q^{-l/n} u^{-1/n} }{1-q^{-1/n}} + u^{-1/n} q^{1/2n} z  : \! \psi( q^{1/2n} z) \psi^* (q^{-1/2n} z)\!:_{(l)}     \label{ferm:Fn}
    \end{aligned}$$

\[TheFermionicProp\] The following formulas below determine an action of ${\mathfrak{Diff}_q}$ on $F^{n\psi}$ $$\begin{aligned}
        &c=n, \quad c' = n_{tw}, \quad
        H^{tw}_k =  \sum_{a} \, \sum_{i+j=k}  \psi_a [i]  \ \psi^*_a [j] , \label{eq1: TheFermionicProp} \\
        &E^{tw}(z) =  \sum_{b-a \equiv -n_{tw} \bmod n} u^{\frac{1}{n}} q^{-1/2} z  {\psi_{({a})}}( q^{-1/2} z) {\psi^*_{(  b  )}}(q^{1/2} z)  z^{\frac{n_{tw}-a+b}{n}} q^{(a+b)/2n}, \label{prop:EtwFermi} \\
        &F^{tw}(z) = \sum_{b-a \equiv n_{tw} \bmod n} u^{-\frac{1}{n}} q^{1/2} z  {\psi_{({a})}}( q^{1/2} z) {\psi^*_{(  b  )}}(q^{-1/2} z)  z^{\frac{-n_{tw}-a+b}{n}} q^{-(a+b)/2n}. \label{prop:FtwFermi}
        \end{aligned}$$ The module obtained is isomorphic to $\left. \mathcal{M}^{[1/n]}_{u^{1/n}} \right|_{\phi_{w_1, w_2}({\mathfrak{Diff}_q})}$ for $w_1=(1, n_{tw})$, $w_2=(0,n)$.

Below we will substitute $n_{tw}=n'$ to prove Theorem \[TheFermionicTh\]. However, Proposition \[TheFermionicProp\] is more general, than it is necessary for the proof, since we do not assume here that $\gcd(n, n_{tw})=1$. We will need the case of arbitrary $n_{tw}$ in Section \[Section: general sublattice\].

We use the notation $E(z), F(z)$ and $H(z)$ for the Chevalley generators of $\mathfrak{Diff}_{q^{1/n}}$. The generators of ${\mathfrak{Diff}_q}\cong \mathfrak{Diff}_{q^{1/n}}^{\Lambda}$ (identified by $\varphi_{w_1,w_2}$) will be denoted by $E^{tw}(z), F^{tw}(z)$ and $H^{tw} (z)$. Let us write the identification $\phi_{w_1,w_2}$ explicitly for the Chevalley generators

$$\begin{aligned}
        H^{tw}(z) &= \sum_k H_{ 0,  nk} z^{-k} \label{eq: tw chevalleyH}\\
        E^{tw}(z) &= z^{n_{tw}/n} \sum_{k \equiv n_{tw} \bmod n} E_{k} z^{-k/n} \\
        F^{tw}(z) &= z^{-n_{tw}/n} \sum_{k \equiv -n_{tw} \bmod n} F_{ k} z^{-k/n} \label{eq: tw chevalleyF}
        \end{aligned}$$

Let us consider currents ${\psi_{({a})}}(z)$ and ${\psi^*_{(  b  )}}(z)$ for $a,b = 0, 1, \ldots, n-1$. These currents are defined by following equality $$\begin{aligned}
        z \psi(z) &= \sum_{a=0}^{n-1} z^{n-a} {\psi_{({a})}}(z^n) \label{defa1} &
        \psi^*(z) &= \sum_{b=0}^{n-1} z^{b} {\psi^*_{(  b  )}}(z^n)
        \end{aligned}$$ Let us denote the modes of ${\psi_{({a})}}(z)$ and ${\psi^*_{(  b  )}}(z)$ as in equality . It is easy to see that these modes satisfy Clifford algebra relations , . So we have identified the Clifford algebra and the $n$th power of Clifford algebra. This leads to an identification $F^{\psi}=F^{n \psi}$.

Substituting into and , we obtain $$\begin{aligned}
        E(z) &=  \frac{q^{l/n} u^{1/n} }{1-q^{1/n}} + \sum_{a=0}^{n-1} \sum_{b=0}^{n-1}  u^{1/n}  q^{\frac{a+b}{2n}} q^{-1/2} z^{n-a+b} : \! {\psi_{({a})}}( q^{-1/2} z^n) {\psi^*_{(  b  )}}(q^{1/2} z^n) \! :_{(l)},   \\
        F(z) &= \frac{q^{-l/n} u^{-1/n} }{1-q^{-1/n}} + \sum_{a=0}^{n-1} \sum_{b=0}^{n-1} u^{-1/n} q^{- \frac{a+b}{2n}}  q^{1/2} z^{n-a+b}  : \! {\psi_{({a})}}( q^{1/2} z^n ) {\psi^*_{(  b  )}}(q^{-1/2} z^n )\!:_{(l)}.
        \end{aligned}$$ For technical reasons, we need to treat the cases $n_{tw} \neq 0$ and $n_{tw} =0$ separately. Let us first consider the case $n_{tw} \neq 0$. Using formulas –, we see that $$\begin{gathered}
        E^{tw}(z) =   \! \! \sum_{a-b \equiv n_{tw} \bmod n} \! \! q^{\frac{a+b}{2n}} u^{1/n} z^{\frac{n_{tw}-a+b}{n}} q^{-1/2} z  {\psi_{({a})}}( q^{-1/2} z) {\psi^*_{(  b  )}}(q^{1/2} z),    \\
        F^{tw} (z) =  \! \! \sum_{a-b \equiv -n_{tw} \bmod n} \! \!q^{\frac{-(a+b)}{2n}} u^{-1/n}  z^{\frac{-n_{tw}-a+b}{n}}  q^{1/2} z {\psi_{({a})}}( q^{1/2} z ) {\psi^*_{(  b  )}}(q^{-1/2} z ) .
        \end{gathered}$$ For $n_{tw}=0$ we obtain $$\begin{aligned}
        E^{tw}(z) &=  \frac{q^{l/n} u^{1/n} }{1-q^{1/n}} + \sum_{a=0}^{n-1}   u^{1/n}  q^{a/n} q^{-1/2} z : \! {\psi_{({a})}}( q^{-1/2} z) {\psi^*_{( \! a \! )}}(q^{1/2} z) \! :_{(l)}   \\
        F^{tw}(z) &= \frac{q^{-l/n} u^{-1/n} }{1-q^{-1/n}} + \sum_{a=0}^{n-1}  u^{-1/n} q^{-a/n}  q^{1/2} z  : \! {\psi_{({a})}}( q^{1/2} z ) {\psi^*_{( \! a \! )}}(q^{-1/2} z )\!:_{(l)}
        \end{aligned}$$ This can be rewritten as $$\begin{aligned}
        E^{tw}(z) &=   \sum_{a=0}^{n-1} u^{1/n}  q^{a/n} \left( \frac{q^{ \ceil{\frac{l-a}{n}} }}{1-q} +q^{-1/2} z : \! {\psi_{({a})}}( q^{-1/2} z) {\psi^*_{( \! a \! )}}(q^{1/2} z) \! :_{(l)} \right), \\
        F^{tw}(z) &= \sum_{a=0}^{n-1} u^{-1/n}  q^{-a/n} \left( \frac{q^{-  \ceil{\frac{l-a}{n}} }}{1-q^{-1}} + q^{1/2} z  : \! {\psi_{({a})}}( q^{1/2} z ) {\psi^*_{( \! a \! )}}(q^{-1/2} z )\!:_{(l)} \right) .
        \end{aligned}$$ Note that the $l$-dependent normal ordering is defined it terms of $\psi_i$ and $\psi^*_j$. One can check (cf. ) $$\begin{aligned}
 \label{eq: psia OPE}
        {\psi_{({a})}}(z) \, {\psi^*_{( \! a \! )}}(w) = \frac{(w/z)^{\ceil{\frac{l-a}{n}} }}{z(1-w/z)} +  : \! {\psi_{({a})}}(z) {\psi^*_{( \! a \! )}}(w) \! :_{(l)}.
        \end{aligned}$$ Hence $$q^{-1/2} z {\psi_{({a})}}(q^{-1/2}z) \, {\psi^*_{( \! a \! )}}(q^{1/2}z) = \frac{q^{\ceil{\frac{l-a}{n}} }}{1-q} + q^{-1/2} z : \! {\psi_{({a})}}(q^{-1/2}z) {\psi^*_{( \! a \! )}}(q^{1/2}z) \! :_{(l)}.$$

Follows from Theorem \[MainTh\] and Proposition \[TheFermionicProp\].

### Bosonic construction via sublattices

\[Prop:qD Boson\] There is an action of ${\mathfrak{Diff}_q}$ on $F^{na} \otimes \mathbb{C} [ {\mathbf{Q}_{(n)}}]$ determined by the following formulas $$\begin{aligned}
        H^{tw}[k] =&  \sum_{b} a_b [k], \quad c' = n_{tw}, \quad c=n, \label{eq1: Prop:qD Boson} \\
        E^{tw}(z) =&  \!\!\! \sum_{b-a \equiv -n_{tw} \bmod n} \!\!\!\!\! u^{\frac{1}{n}} q^{\frac{a+b-n}{2n}} z^{\frac{n_{tw}-a+b}{n}+1} : \! \exp \left( \phi_b(q^{1/2} z) - \phi_a(q^{-1/2} z) \right) \! :  \epsilon_{a,b}, \\
        F^{tw}(z) =&  \!\!\! \sum_{b-a \equiv n_{tw} \bmod n} \!\!\!\!\! u^{-\frac{1}{n}} q^{ \frac{-a-b+n}{2n} }  z^{\frac{-n_{tw}-a+b}{n}+1} : \! \exp \left( \phi_b(q^{-1/2} z) - \phi_a(q^{1/2} z) \right) \! : \epsilon_{a,b} . \label{eq3: Prop:qD Boson}
        \end{aligned}$$ here $\epsilon_{a,b} = \prod_r (-1)^{a_r[0]}$ (we consider the product over such $r$ that $a-1 \geqslant r \geqslant b$ for $a>b$ and $b-1 \geqslant r \geqslant a$ for $b>a$).

The representation obtained is isomorphic to $\left.  \mathcal{F}^{[1/n]}_{u^{1/n}}  \right|_{\phi_{w_1, w_2}({\mathfrak{Diff}_q})}$ for $w_1=(1, n_{tw})$, $w_2=(0,n)$.

We need an upgraded version boson-fermion correspondence for the proof. Namely, there is an action of $n$th tensor power of the Heisenberg algebra on $F^{n \psi}$ given by $$\begin{aligned}
    \partial {\phi_{b}}(z) = : \! {\psi_{(  b )}}(z) {\psi^*_{(  b  )}}(z) \! :_{(0)}
    \end{aligned}$$ Let ${\mathbf{P}_{(n)}}$ be a lattice spanned $Q_b$. According to boson-fermion correspondence $F^{n \psi}  \cong \bigoplus F^{na} \otimes \mathbb{C} [ {\mathbf{P}_{(n)}}]$.

\[lemma: subst boson fermi\] Vector subspace $F^{na} \otimes \mathbb{C} [ {\mathbf{Q}_{(n)}}] \subset F^{na} \otimes \mathbb{C} [ {\mathbf{P}_{(n)}}] = F^{n \psi}$ is a ${\mathfrak{Diff}_q}$-submodule (with respect to action, defined in Proposition \[TheFermionicProp\]). The action of ${\mathfrak{Diff}_q}$ on the subrepresentation is given by –.

One should substitute $$\begin{aligned}
        {\psi_{(  b )}}(z) &= \ : \! \exp \left( -{\phi_{b}}(z) \right) \! : \ (-1)^{\sum_{k=0}^{b-1} a_k[0] } \label{eq:boson psi}\\
        {\psi^*_{(  b  )}}(z) &= \ : \! \exp \left( {\phi_{b}}(z) \right) \! : \ (-1)^{\sum_{k=0}^{b-1} a_k[0] } \label{eq:boson psi*}
        \end{aligned}$$ into fermionic formulas –.

Recall that decomposition of $\mathcal{M}^{[1/n]}_{u}$ is given by eigenvalues of $a[0]$; more precisely, operator $a[0]$ acts by $-j$ on $ \mathcal{F}^{[1/n]}_{q^{j/n} u}$.

\[lemma: zero mode of a, npsi is psi\] Using identification $F^{\psi}=F^{n \psi}$ (cf. ), we obtain $a[0] = a_0[0]+\cdots + a_{n-1}[0]$.

This follows from $\ceil{\frac{l-b}{n}}  =0$ for $l=0$ and $b=0, \dots n-1$ (cf. ).

Lemma \[lemma: zero mode of a, npsi is psi\] implies that the identification of vector spaces $F^{ \psi}=F^{n\psi}$ leads to identification of subspaces $F^a_{0} = F^{na}\otimes \mathbb{C} [{\mathbf{Q}_{(n)}}]$. Let us package identifications of vector subspaces into a commutative diagram

.\^[\[1/n\]]{}\_[u\^[1/n]{}]{} |\_[\_[w\_1, w\_2]{}([\_q]{})]{} & \^[\[1/n\]]{}\_[ u]{} & F\^a\_[0]{} & F\^[na]{} \[[\_[(n)]{}]{}\]\
. \^[\[1/n\]]{}\_[u\^[1/n]{}]{} |\_[\_[w\_1, w\_2]{}([\_q]{})]{} & \^[\[1/n\]]{}\_[u]{} & F\^ & F\^[n ]{}

$$\begin{CD}
            \left. \mathcal{F}^{[1/n]}_{u^{1/n}} \right|_{\phi_{w_1, w_2}({\mathfrak{Diff}_q})}
 @= \mathcal{F}^{[1/n]}_{ u} @= F^a_{0} @= F^{na}\otimes \mathbb{C} [ {\mathbf{Q}_{(n)}}]\\
    @VVV    @VVV @VVV @VVV \\
        \left. \mathcal{M}^{[1/n]}_{u^{1/n}} \right|_{\phi_{w_1, w_2}({\mathfrak{Diff}_q})} @=
\mathcal{M}^{[1/n]}_{u} @= F^{\psi} @= F^{n \psi}
    \end{CD}$$ Proposition \[TheFermionicProp\] states that formulas – gives an action of ${\mathfrak{Diff}_q}$ with respect to identification of bottom line of the diagram. Therefore, Lemma \[lemma: subst boson fermi\] implies that formulas – describes the action of ${\mathfrak{Diff}_q}$ with respect to identification of top line of the diagram.

Follows from Theorem \[MainTh\] and Proposition \[Prop:qD Boson\].

### Strange bosonic construction via sublattices

\[Prop:StrangeBoson\] There is an action of ${\mathfrak{Diff}_q}$ on $F^a_{\alpha}$ defined by formulas. $$\begin{aligned}
        c &= n, \quad
        c' = n_{tw}, \quad
        H^{tw}_k = a_{nk}, \\
        E^{tw}(z) &=  z^{n_{tw}/n}  \frac{u^{\frac{1}{n}}}{n(1-q^{1/n})} \sum_{l=0}^{n-1} \zeta^{l n_{tw}} : \! \exp \! \left( \sum_{k} \frac{q^{-k/2n}-q^{k/2n}}{k} a_{k} \zeta^{-kl} z^{-k/n} \right) \! :, \\
        F^{tw}(z) &=  z^{-n_{tw}/n} \frac{u^{-\frac{1}{n}}}{n(1-q^{-1/n})} \sum_{l=0}^{n-1} \zeta^{-l n_{tw}} : \! \exp \! \left( \sum_{k}\frac{q^{k/2n}-q^{-k/2n}}{k} a_{k} \zeta^{-kl}  z^{-k/n} \right) \! : .
        \end{aligned}$$ Obtained module is isomorphic to $\left.  \mathcal{F}^{[1/n]}_{u^{1/n}}  \right|_{\phi_{w_1, w_2}({\mathfrak{Diff}_q})}$ for $w_1=(1, n_{tw})$, $w_2=(0,n)$.

Formulas – imply $$\begin{aligned}
        H^{tw}_k &= H_{nk}, \label{eq: proof of prop5.4 H}\\
        E^{tw} (z) &= \frac{1}{n} z^{n_{tw}/n} \sum_{l=0}^{n-1} \zeta^{ln_{tw}} E( \zeta^{l} z^{1/n} ), \label{eq: proof of prop5.4 E} \\
        F^{tw} (z) &= \frac{1}{n} z^{-n_{tw}/n} \sum_{l=0}^{n-1} \zeta^{-ln_{tw}} F( \zeta^{l} z^{ 1/n } ). \label{eq: proof of prop5.4 F}
        \end{aligned}$$ $$\begin{aligned}
        c &\rightarrow 1, \quad 
        c' \rightarrow 0, \quad
        H_k \rightarrow a_k, \label{eq: proof of prop5.4 H2} \\
        E(z) &\rightarrow \frac{u^{1/n}}{1-q^{1/n}} \exp \left( \sum_{k>0} \frac{q^{-k/2n}-q^{k/2n}}{k} a_{-k} z^k \right) \exp \left( \sum_{k<0} \frac{q^{-k/2n}-q^{k/2n}}{k} a_{-k} z^k \right), \label{eq: proof of prop5.4 E2} \\
        F(z) &\rightarrow \frac{u^{-1/n}}{1-q^{-1/n}} \exp \left( \sum_{k>0} \frac{q^{k/2n}-q^{-k/2n}}{k} a_{-k} z^k \right) \exp \left( \sum_{k<0}\frac{q^{k/2n}-q^{-k/2n}}{k} a_{-k} z^k \right).  \label{eq:proof of prop5.4 F2}
        \end{aligned}$$ Substitution of $\mathfrak{Diff}_{q^{1/n}}$-version of – to – finishes the proof.

Follows from Theorem \[MainTh\] and Proposition \[Prop:StrangeBoson\].

Twisted representation via a Semi-infinite construction {#S:Semi-infinite}
=======================================================

This section is devoted to another proof of the Theorem \[TheFermionicTh\]. So we use the same notation $$\sigma = \begin{pmatrix}
    m' & m \\
    n' & n
    \end{pmatrix}$$

#### Twisted evaluation representation

Let $e_{a,b}$ be a matrix unit (all entries are 0 except for one cell, where it is 1; this cell is in $b$th column and $a$th row).

Consider a homomorphism $\mathfrak{t}_{u, \sigma}: {\mathrm{Diff}_q^{\, \mathrm{A}}}\rightarrow {\mathrm{Diff}_q^{\, \mathrm{A}}}\otimes \mathrm{Mat}_{n \times n}$ defined by $$\begin{aligned}
    E_{0,k} &\mapsto E_{0, k} \otimes 1 \\
    E_{1,k} &\mapsto u^{\frac{1}{n}}  \! \! \sum_{b-a \equiv - n' \! \mod n} \! \! q^{\frac{a+b}{2n}} E_{1, k+ \frac{b-a+n'}{n}} \otimes e_{a,b} \label{def:Etwev} \\
    E_{-1,k} &\mapsto  u^{-\frac{1}{n}} \! \! \sum_{b-a \equiv  n' \! \mod n} \! \! q^{-\frac{a+b}{2n}} E_{-1, k+ \frac{b-a-n'}{n}} \otimes e_{a,b}.
    \end{aligned}$$

Algebra ${\mathrm{Diff}_q^{\, \mathrm{A}}}\otimes \mathrm{Mat}_{n \times n}$ tautologically acts on $\mathbb{C}^n [z,z^{-1}]$. Therefore, homomorphism $\mathfrak{t}_{u, \sigma}$ induces an action of ${\mathrm{Diff}_q^{\, \mathrm{A}}}$ on $\mathbb{C}^n [z,z^{-1}]$.

\[proposition:twev\] Obtained representation of ${\mathrm{Diff}_q^{\, \mathrm{A}}}$ is isomorphic to $V_u^{\sigma}$.

Consider a basis $v_l := q^{\frac{m l^2}{2n}} u^{ \frac{ml}{n} } x^l$ of evaluation representation $\mathbb{C}[x, x^{-1}]^{\sigma}$. Action with respect to this basis looks like $$\begin{aligned}
        E_{0,k} v_l &= v_{k+l} \label{twevH} \\
        E_{1,k} v_l &= u^{\frac{1}{n}} q^{\frac{n'+kn+2l}{2n}} v_{l + nk + n'} \label{twevE}\\
        E_{-1,k} v_l &= u^{-\frac{1}{n}} q^{\frac{n' - kn -2l}{2n}} v_{l+nk-n'}
        \end{aligned}$$

Let $a,b =0, \ldots, n-1$ be such numbers that $l=nj+b$ and $a \equiv b + n' \mod{n}$. Substituting $l=nj+b$ into we obtain $$\begin{aligned}
        E_{1,k} v_{nj+b} = u^{\frac{1}{n}} q^{\frac{a+b}{2n}} q^{\frac{n'+b-a}{2n}} q^{\frac{k}{2}} q^j v_{n(k+j + \frac{n'+b-a}{n} ) + a} \label{eq:EtwevINTER}
        \end{aligned}$$ Let us identify $\mathbb{C}^n [z, z^{-1}] \xrightarrow{\sim} \mathbb{C}[x,x^{-1}] $ by $z^j e_b \mapsto v_{nj+b}$. Then formula will be rewritten

$$\begin{aligned}
        E_{1,k} (z^j e_b) = u^{\frac{1}{n}} q^{\frac{a+b}{2n}} \left( E_{1, k+ \frac{b-a+n'}{n}} \otimes e_{a,b} \right) \left( z^j e_b \right)
        \end{aligned}$$

To be compared with formula this proves the proposition for $E_{1,k}$. The proof for $E_{-1,k}$ is analogous. For $E_{0,k}$ proposition is obvious from .

#### Semi-infinite construction.

To apply semi-infinite construction we need to pass from associative algebras to Lie algebras.

Algebra ${{\mathfrak{Diff}_q}({\mathfrak{gl}_n})}$ is a Lie algebra with basis $E_{k,l} \otimes e_{a,b}$ (where $(k, l) \in \mathbb{Z}^2 \backslash (0,0)$ and $a,b = 0, \dots, n-1$), $c$ and $c'$. Elements $c$ and $c'$ are central. All other commutators are given by $$\begin{gathered}
        \left[ E_{k_1,l_1}\otimes e_{a_1, b_1} , E_{k_2,l_2} \otimes e_{a_2,b_2} \right] = E_{k_1+k_2, l_1+l_2} \otimes \left( q^{\frac{l_2 k_1 -l_1 k_2}{2}} \delta_{b_1, a_2}  e_{a_1, b_2}  -q^{\frac{l_1 k_2-l_2 k_1}{2}} \delta_{b_2, a_1}  e_{a_2, b_1} \right)+ \\ +  \delta_{k_1, -k_2} \delta_{l_1, -l_2} \delta_{a_2,b_1} \delta_{a_1, b_2} ( c l_1 + c' k_1 ).
        \end{gathered}$$

\[proposition:toidalGL\] There is an action of ${{\mathfrak{Diff}_q}({\mathfrak{gl}_n})}$ on $F^{n \psi}$ given by formulas $$\begin{gathered}
        c \mapsto 1; \quad c' \mapsto 0 \\
        E(z) \otimes e_{a,b} \mapsto q^{-{\frac{1}{2}}} z {\psi_{({a})}}(q^{-{\frac{1}{2}}} z) {\psi^*_{(  b  )}}(q^{{\frac{1}{2}}} z) \\
        F(z) \otimes e_{a,b} \mapsto q^{{\frac{1}{2}}} z {\psi_{({a})}}(q^{{\frac{1}{2}}} z) {\psi^*_{(  b  )}}(q^{{-}{\frac{1}{2}}} z)
        \end{gathered}$$ Obtained representation is isomorphic to ${ \Lambda^{^{\! \infty/2}} \,}\mathbb{C}^n [z,z^{-1}]$.

According to Proposition \[Prop:SemiInf-Fermi\], $\mathcal{M}_u \cong { \Lambda^{^{\! \infty/2}} \,}V_u$. Then $\mathcal{M}_u^{\sigma} \cong { \Lambda^{^{\! \infty/2}} \,}V_u^{\sigma}$. Therefore, Propositions \[proposition:twev\] and \[proposition:toidalGL\] imply Theorem \[TheFermionicTh\]

$q$-${W}$-Algebras {#section: q-W}
==================

Definitions
-----------

#### Topological algebras and completions

In this section we will work with topological algebras. Let us define topological algebra appearing as a completion of ${\mathfrak{Diff}_q}$. It is given by projective limit of $U({\mathfrak{Diff}_q})/J_k$ where $J_k$ is the left ideal generated by non-commutative polynomials in $E_{j_1,j_2}$ of degree $-k$ (with respect to grading $\deg E_{j_1, j_2} = -j_2$). Although each $U({\mathfrak{Diff}_q})/J_k$ does not have a structure of algebra, so does the projective limit. Moreover, the projective limit has natural topology.

Below we will ignore all corresponding technical problems concerning completions and topology. We will use term ‘generators’ instead of ‘topological generators’, the same notation for ${\mathfrak{Diff}_q}$ and its completion and so on.

### Non-Twisted ${W}$-Algebras

Let us introduce a notation $$\begin{aligned}
    \sum_{l=0}^{\infty}f_{k,n}[l] x^{l} = f_{k, n} (x)= \frac{ (1-qx)^{\frac{n-k}{n}} (1-q^{-1}x)^{ \frac{n-k}{n}   
}}{(1-x)^{\frac{2(n-k)}{n}}}
    \end{aligned}$$

\[def: non-twisted W\] Algebra $\W$ is generated by $T_k[r]$ for $r \in \mathbb{Z}$ and $k= 1, \ldots, n-1$. It is convenient to add generators $T_0[r]=T_n[r] = \delta_{r,0}$. The defining relations are $$\begin{aligned}
        \sum_{l=0}^{\infty} f_{k,n}[l] \Big( T_1[r{-}l] T_k[s{+}l] - T_k[s{-}l] T_1[r{+}l] \Big) &= -(q^{{\frac{1}{2}}}{-}q^{-{\frac{1}{2}}})^2 (kr-s) T_{k+1}[r{+}s] \label{relation:modesW1} \\
        \sum_{l=0}^{\infty} f_{n{-}k,n}[l] \Big( T_{n{-}1} [r{-}l] T_k[s{+}l] - T_k[s{-}l] T_{n{-}1}[r{+}l] \Big) &= -(q^{{\frac{1}{2}}}{-}q^{-{\frac{1}{2}}})^2 \big((n{-}k)r-s \big) T_{k-1}[r{+}s] \label{relation:modesWn-1}
        \end{aligned}$$

Introduce currents $T_k (z) = \sum_{r \in \mathbb{Z} } T_k[r] z^{-r}$. Then relations – can be rewritten in current form $$\begin{gathered}
    f_{k,n} (w/z) T_1(z) T_k (w) - f_{k,n}(z/w) T_k(w) T_1 (z) =\\ -(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 \left( (k+1) \frac{w}{z} \delta' (\frac{w}{z}) T_{k+1} (w) + w \delta(\frac{w}{z})  \partial_w T_{k+1} (w) \right) \label{relation:CurrentW}
    \end{gathered}$$ $$\begin{gathered}
    f_{n-k,n} (w/z) T_{n-1}(z) T_k (w) - f_{n-k,n}(z/w) T_k(w) T_{n-1} (z) = \\ -(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 \left( (n-k+1) \frac{w}{z} \delta' (\frac{w}{z}) T_{k-1} (w) + w \delta(\frac{w}{z})  \partial_w T_{k-1} (w) \right) \label{relation:CurrentWn-1}
    \end{gathered}$$ Also note that $T_0(z)=T_n(z)=1$.

There are different approaches to definition of $q$-${W}$-algebra. For example, in [@FF] algebra $\mathcal{W}_{q,p} ( \mathfrak{sl}_n )$ was defined via bosonization. The currents $T_k(z)$ satisfy relation [@FF Thm. 2] $$\begin{gathered}
        f_{k,n} (w/z) T_1(z) T_k (w) - f_{k,n}(z/w)T_k(w) T_1 (z)  =\\= \frac{(1-q)(1-p/q)}{1-p} \left( \delta(w/zp) T_{k+1}(z) - \delta(wp^k/z) T_{k+1} (w) \right),
        \end{gathered}$$ where $$f_{k, n} (x)= \frac{(x| p^{m-1} q, p^m q^{-1}, p^n, p^{n-1}; p^n)}{(x| p^{m-1}, p^m, p^{n-1} q, p^n q^{-1}; p^n)}.$$

One can check that limit $p \rightarrow 1$ gives relation . However [@FF] do not provide presentation of $\mathcal{W}_{q,p} ( \mathfrak{sl}_n )$ in terms of generators and relations.

In the paper [@N16] relation [@N16 (2.62)] defines algebra $\mathcal{W}_{q,p} ( \mathfrak{gl}_n)$ which (non-essentially) differs from $\mathcal{W}_{q,p} (\mathfrak{sl}_n )$ mentioned above (and from $\W$ defined above).

### Twisted q-${W}$-algebras

Twisted $q$-${W}$-algebra depends on remainder of $n_{tw}$ modulo $n$. If $n_{tw}=0$, then we get definition of non-twisted $q$-${W}$-algebra from last section. One can find definition of $\mathcal{W}_{q,p}(\mathfrak{sl}_2, 1)$ in [@Sh (37)–(38)].

\[def: twisted W\] Algebra $\twW$ is generated by ${T^{tw}}_k[r]$ for $r \in n_{tw} k/n + \mathbb{Z}$ and $k= 1, \ldots, n-1$. It is convenient to add ${T^{tw}}_0[r]={T^{tw}}_n[r] = \delta_{r,0}$. The defining relations are $$\begin{gathered}
        \sum_{l=0}^{\infty} f_{k,n}[l] \Big( {T^{tw}}_1[r{-}l] {T^{tw}}_k[s{+}l] - {T^{tw}}_k[s{-}l] {T^{tw}}_1[r{+}l] \Big) = -(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 (kr-s) {T^{tw}}_{k+1}[r{+}s], \label{eq:TwWrel1} \\
        \sum_{l=0}^{\infty} f_{n-k,n}[l] \Big( {T^{tw}}_{n-1} [r{-}l] {T^{tw}}_k[s{+}l] - {T^{tw}}_k[s{-}l] {T^{tw}}_{n-1}[r{+}l] \Big) = -(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 \big((n{-}k)r-s \big) {T^{tw}}_{k{-}1}[r{+}s]. \label{eq:TwWrel2}
        \end{gathered}$$

Let us rewrite relations – in the current form. Define currents $$\begin{aligned}
    T_k^{tw}(z) &:= \sum T_k^{tw}[r] z^{-r}, \quad T_k (z) := z^{ \frac{ \scriptstyle{kn}_{ \scriptscriptstyle{tw} }}{\scriptstyle{n}} } T_k^{tw}(z), \\  T^{\circ}_k (z) &:= z^{-\frac{\scriptstyle{(n-k) n}_{tw}}{\scriptstyle{n}} } T^{tw}_k (z) = z^{-n_{tw}} T_k(z).   
    \end{aligned}$$ Note that $$\begin{aligned}
\label{eq:T boundary}
    T_0(z)=T^{\circ}_n(z)=1 \quad T_n(z) = T^{\circ}_0(z)= z^{n_{tw}}.
    \end{aligned}$$

Relation is equivalent to $$\begin{gathered}
        f_{k,n} (w/z) T_1(z) T_k (w) - f_{k,n}(z/w) T_k(w) T_1 (z) =\\ =  -(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 \left( (k+1) \frac{w}{z} \delta' (w/z) T_{k+1} (w) + w \delta (w/z)  \partial_w T_{k+1} (w) \right). \label{relation:currentTW1} 
        \end{gathered}$$ Relation is equivalent to $$\begin{gathered}
        f_{n-k,n} (w/z) T^{\circ}_{n-1}(z) T^{\circ}_k (w) - f_{n-k,n}(z/w) T^{\circ}_k(w) T^{\circ}_{n-1} (z) = \\ -(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 \left( (n-k+1) \frac{w}{z} \delta' (w/z) T^{\circ}_{k-1} (w) + w \delta(w/z)  \partial_w T^{\circ}_{k-1} (w) \right) \label{relation:CurrentTWn-1}
        \end{gathered}$$

In non-twisted case we have relations and for currents $T_k(z)$. In twisted case we have the same relations, but for two different sets of currents $T_k(z)$ and $T_k^\circ(z)$. One should also keep in mind .

Connection of $\twW$ with ${\mathfrak{Diff}_q}$
-----------------------------------------------

Connection between $\W$ and ${\mathfrak{Diff}_q}$ is known (see [@FHHSY Prop. 2.14] or [@N16 Prop. 2.25]). In this section we generalize it for arbitrary $n_{tw}$.

Let $\mathfrak{Heis}$ be a Heisenberg algebra generated by ${\tilde{H}}_j$ with relation $[{\tilde{H}}_i, {\tilde{H}}_j]=ni\delta_{i+j, 0}$. We will prove that there is a surjective homomorphism ${\mathfrak{Diff}_q}\twoheadrightarrow {\twW {\otimes U(\mathfrak{Heis})}}$. Secretly, generators $H_j$ are mapped to ${\tilde{H}}_j$ under the homomorphism. Let us introduce a notation to describe this homomorphism more precisely.

Define

$$\begin{aligned}
    \varphi_{-} (z) &= \sum_{j>0} \frac{q^{-j/2}-q^{j/2}}{j} H_{-j} z^j, & 
    \varphi_{+} (z) &= - \sum_{j>0} \frac{q^{j/2}-q^{-j/2}}{j} H_{j} z^{-j}, \label{def:varphi} \\
    {\tilde{\varphi}}_{-} (z) &= \sum_{j>0} \frac{q^{-j/2}-q^{j/2}}{j} {\tilde{H}}_{-j} z^j, & 
    {\tilde{\varphi}}_{+} (z) &= - \sum_{j>0} \frac{q^{j/2}-q^{-j/2}}{j} {\tilde{H}}_{j} z^{-j}.
    \end{aligned}$$

Also, let introduce notation $$\begin{aligned}
    \varphi(z)&=\varphi_-(z)+\varphi_+(z), &    {\tilde{\varphi}}(z)&={\tilde{\varphi}}_-(z)+{\tilde{\varphi}}_+(z). \label{def:varphi without  pm}
    \end{aligned}$$ Define $$\begin{aligned}
    {\tilde{T}}_k (z) = \frac{1}{k!} \exp \left(-\frac{k}{n} \varphi_- (z) \right) E^k (z) \exp \left( -  \frac{k}{n} \varphi_+ (z) \right).
    \end{aligned}$$ Note that ${\tilde{T}}_k (z)$ commute with $H_{j}$.

Let $J_{\mu ,n,n_{tw}}$ be two sided ideal in ${\mathfrak{Diff}_q}$ generated by $c-n$, $c'-n_{tw}$ and ${\tilde{T}}_n(z) - \mu^n z^{n_{tw}}$ (here $\mu \in \mathbb{C} \backslash \{ 0 \}$). Parameter $\mu$ is not essential since automorphism $E_{a,b} \mapsto \mu^{-a} E_{a,b}$ maps $J_{\mu,n, n_{tw}}$ to $J_{1,n, n_{tw}}$. So we will abbreviate $J_{n, n_{tw}} = J_{\mu, n, n_{tw}}$.

\[lemma:T\_k for big k\] ${\tilde{T}}_k(z) \in J_{n,n'}$ for $k>n$.

It holds in $U({\mathfrak{Diff}_q})/J_{n,n_tw}$ $$\begin{aligned}
        E^{k}(z) = n! \mu^n z^{n_{tw}}E^{k-n}(z) : \! \exp{\varphi(z)} \! :
        \end{aligned}$$ On the other hand, $$\begin{aligned}
        E^{k-n}(z) :\!\exp{\varphi(w)}\!: = \frac{(z-w)^{2(k-n)}}{(z-qw)^{k-n}(z-q^{-1}w)^{k-n}} \exp{\varphi_-(w)} E^{k-n}(z) \exp{\varphi_+(w)}
        \end{aligned}$$ Hence, $E^{k-n}(z) :\!\exp{\varphi(z)} \!:=0$.

\[Th:Wiso\] There is an algebra isomorphisms ${\mathcal{S}}\colon {\twW {\otimes U(\mathfrak{Heis})}}\xrightarrow{\sim} U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$ such that $$\begin{aligned}
        T_k(z) \mapsto \mu^{-k} {\tilde{T}}_k(z); \quad
        {\tilde{H}}_j \mapsto H_j \label{eq:ThWqD}
        \end{aligned}$$ The map ${\mathcal{P}}$ in opposite direction is given by $$\begin{gathered}
        H_j \mapsto {\tilde{H}}_j; \quad c \mapsto n; \quad c' \mapsto n_{tw}; \label{eq:ThqDW1}\\
        E(z) \mapsto \ \mu \exp \left( \frac{1}{n}{{\tilde{\varphi}}_-(z)} \right) T_1(z) \exp \left( \frac{1}{n} {\tilde{\varphi}}_+ (z) \right)  \label{eqThqDWE}\\
        F(z) \mapsto - \frac{\mu^{-1} z^{-n_{tw}}}{(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2}  \exp \left(- \frac{1}{n}{{\tilde{\varphi}}_-(z)} \right)  T_{n-1}(z) \exp \left(-\frac{1}{n} {\tilde{\varphi}}_+ (z) \right) \label{eq:ThqDW2}
        \end{gathered}$$

The rest of this section is devoted to proof of Theorem \[Th:Wiso\]. First of all, we will prove that formula indeed defines a homomorphism ${\mathcal{S}}\colon {\twW {\otimes U(\mathfrak{Heis})}}\rightarrow U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$ (see Proposition \[prop:Hom(W,qD)\]). Then we prove that formulas – defines a homomorphism in opposite direction (see Proposition \[prop:HomDWtw\]). Finally, we note that maps ${\mathcal{P}}$ and ${\mathcal{S}}$ are mutually inverse.

\[prop:W1\] Currents ${\tilde{T}}_k(z)$ (considered as power series with coefficients in $U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$) satisfy relation .

Let us define power series in two variables $$\begin{aligned}
        \mathbb{E}^{(k+1)} (z,w) = (z-qw)(z-q^{-1}w) E(z) E^{k}(w)
        \end{aligned}$$ According Corollary \[Corollary:EE\^k\], $\mathbb{E}^{(k+1)} (z,w)$ is regular in sense of Definition \[def:regular\]. Following relations follows from results of Appendix \[nonorm\] $$\begin{aligned}
        \mathbb{E}^{(k+1)} (z,w) &= (z-qw)(z-q^{-1}w) E^{k}(w) E(z) \label{eq:mathbbEk+1}\\
        \mathbb{E}^{(k+1)} (w,w) &= (1-q)(1-q^{-1}) w^2 E^{k+1} (w) \label{eq:mathbbEk+1ww}\\
        \left. \mathbb \partial_z \mathbb{E}^{(k+1)} (z,w) \right|_{z=w} &= (1-q)(1-q^{-1}) w^2 \frac{1}{k+1} \partial_w E^{k+1} (w) + (1-q)(1-q^{-1}) w E^{k+1}(w) \label{eq:EE^kderiv}
        \end{aligned}$$ More precisely, – easily follows from Propositions \[prop:ass&comm\]. One can find a proof of at the end of Appendix \[nonorm\].

It is straightforward to check that $$\begin{gathered}
        f_{k,n}(w/z) {\tilde{T}}_{1}(z) {\tilde{T}}_{k} (w) = \frac{ (1-q\frac{w}{z}) (1-q^{-1}\frac{w}{z})}{k! (1-\frac{w}{z})^{2}} \exp \left( - \frac{1}{n} \left( \varphi_-(z) + k \varphi_- (w) \right) \right)\\  E (z) E^k(w) \ \exp \left( - \frac{1}{n} \left( \varphi_+(z) + k \varphi_+ (w) \right) \right) \label{eq:normoderT1Tk}
        \end{gathered}$$

Formulas and – implies that

$$f_{k,n}(w/z) {\tilde{T}}_{1}(z) {\tilde{T}}_{k} (w) - f_{k,n}(z/w) {\tilde{T}}_k(w) {\tilde{T}}_1 (z) =$$ $$\frac{1}{k!} \exp \left( - \frac{1}{n} \left( \varphi_-(z) + k \varphi_- (w) \right)  \right) \ \mathbb{E}^{(k+1)}(z,w) \ \exp \left( - \frac{1}{n} \left( \varphi_+(z) + k \varphi_+ (w) \right) \right) \ \partial_w \left( w^{-1} \delta(w/z) \right) =$$ $$= (1-q)(1-q^{-1})(k+1) {\tilde{T}}_{k+1}(w) \frac{w}{z} \delta'(w/z) + (1-q)(1-q^{-1}) w {\tilde{T}}'_{k+1}(w) \delta(w/z)$$

The following OPE holds in ${\mathfrak{Diff}_q}$ $$\begin{aligned}
 \label{eq:OPEFE^k}
        F(z) E^k(w)  = k(c-k+1)\frac{\frac{w}{z} E^{k-1}(w)}{(1-\frac{w}{z})^2} + k \frac{w\partial_w E^{k-1}(w) - w:\!\varphi'(w) E^{k-1}(w)\!: - c'E^{k-1}(w)}{1-\frac{w}{z}} + \mathrm{reg};
        \end{aligned}$$ or, equivalently $$\begin{gathered}
 \label{eq:commutatorFE^k}
        [F(z), E^k(w)]  = k(c-k+1) E^{k-1}(w) \frac{w}{z} \delta'(w/z) + \\ k \left( w \partial_w E^{k-1}(w) - w:\!\varphi'(w) E^{k-1}(w)\!:-c'E^{k-1}(w) \right) \delta(w/z).
        \end{gathered}$$

Denote by $E({\underline{w}}) = E(w_1) \cdots E(w_k)$. We will write $:\!F(z) E({\underline{w}})\!: \, = F_+ (z)E({\underline{w}})+E({\underline{w}}) F_-(z)$; this definition reminds standard Definition \[def:norm\], but is applied in different situation ($E({\underline{w}})$ is not a current in one variable). Note that $$\begin{gathered}
        F(z) E({\underline{w}}) = [F_- (z), E({\underline{w}})] + :\!F(z) E({\underline{w}})\!: = \sum_j E(w_1) \cdots E(w_{j-1}) \\ \left( \frac{H(q^{{\frac{1}{2}}}w_{j}) - H(q^{-{\frac{1}{2}}}w_{j})-c'}{1-\frac{w_{j}}{z}} +c\frac{w_{j}}{z} \frac{1}{(1-\frac{w_j}{z})^2} \right) E(w_{j+1}) \cdots E(w_k) +:\!F(z) E({\underline{w}})\!:  \label{eq:technF(z)E(mw)}
        \end{gathered}$$ Recall that $w \varphi'(w) = H(q^{-{\frac{1}{2}}}w) -H(q^{{\frac{1}{2}}}w) $. It follows from that $$\begin{gathered}
    \left(H(q^{{\frac{1}{2}}}w_j) -H(q^{-{\frac{1}{2}}}w_j) \right)E(w_l) = -\frac{2E(w_l)}{1-\frac{w_l}{w_j}} + \frac{E(w_l)}{1-q\frac{w_l}{w_j}}+\frac{E(w_l)}{1-q^{-1}\frac{w_l}{w_j}} - w_j :\!\varphi'(w_j) E(w_l)\!:,\\
     E(w_j) \left(H(q^{{\frac{1}{2}}}w_l) -H(q^{-{\frac{1}{2}}}w_l) \right) = \frac{2E(w_j)}{1-\frac{w_l}{w_j}}  - \frac{E(w_j)}{1-q\frac{w_l}{w_j}}-\frac{E(w_j)}{1-q^{-1}\frac{w_l}{w_j}} -   w_l :\!\varphi'(w_l) E(w_j)\!:.
        \end{gathered}$$ Using identity $$\begin{aligned}
        \frac{1}{(1-\frac{w_j}{z})(1-\frac{w_j}{w_l})}-\frac{1}{(1-\frac{w_l}{z})(1-\frac{w_j}{w_l})} = - \frac{\frac{w_l}{z}}{(1-\frac{w_l}{z})(1-\frac{w_j}{z})}
        \end{aligned}$$ we obtain $$\begin{aligned}
        \left. \frac{E(w_l)}{(1-\frac{w_j}{z})(1-\frac{w_j}{w_l})}-\frac{E(w_j)}{(1-\frac{w_l}{z})(1-\frac{w_j}{w_l})} \right|_{w=w_j=w_l} =- \frac{\frac{w}{z}E(w)}{(1-\frac{w}{z})^2} + \frac{w \partial_{w} E(w)}{1-\frac{w}{z}}.
        \end{aligned}$$ Finally, we conclude that $$\begin{gathered}
 \label{eq:techEEHEE} 
        \left. \sum_j E(w_1) \cdots E(w_{j-1})\ \frac{H(q^{{\frac{1}{2}}}w_{j}) - H(q^{-{\frac{1}{2}}}w_{j})}{1-\frac{w_{j}}{z}}  \ E(w_{j+1}) \cdots E(w_k) \right|_{w= w_1 = \dots = w_k}  = \\  - \binom{k}{2} \frac{2\frac{w}{z} E^{k-1}(w)}{(1-\frac{w}{z})^2}  + \binom{k}{2} \frac{2w E^{k-2}(w) \, \partial_w E(w)}{1-\frac{w}{z}}  - k \frac{w:\!\varphi'(w) E^{k-1}(w)\!:}{1-\frac{w}{z}}
        \end{gathered}$$

Relation follows from and

\[prop:F=Tn-1\] In algebra $U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$ holds $$\begin{aligned}
        F(z) =  - \frac{\mu^{-n} z^{-n_{tw}}}{(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 }  \exp \left( -\frac{1}{n} \varphi_-(z) \right) {\tilde{T}}_{n-1} (z) \exp \left( - \frac{1}{n} \varphi_+(z) \right)
        \end{aligned}$$

Usign relation ${\tilde{T}}_n(z) - \mu^n z^{n_{tw}} \in J_{n, n_{tw}}$, we find a relation in $U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$ $$\begin{gathered}
 F(z) E^n(w) = n! \mu^n w^{n_{tw}} F(z) :\! \exp(\phi(w))\!: \ = \\ 
        n! \mu^n w^{n_{tw}} \frac{(1-qw/z)(1-q^{-1}w/z)}{(1 - w/z)^2} \exp(\phi_- (w)) F(z) \exp(\phi_+ (w))
        \end{gathered}$$ Comparing coefficient of $(z-w)^{-2}$ with , we obtain $$\begin{aligned}
        n E^{n-1} (w) = n! \mu^n w^{n_{tw}} (1-q)(1-q^{-1}) \exp(\phi_-(w)) F(w) \exp( \phi_+(w)  )
        \end{aligned}$$

Denote by ${\tilde{T}}^{\circ}_k (z)= \mu^{-n} z^{-n_{tw}} {\tilde{T}}_k(z)$.

\[prop:Wn-1\] Following relation holds in $U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$ $$\begin{gathered}
        f_{n-k,n} (w/z) {\tilde{T}}^{\circ}_{n-1}(z) {\tilde{T}}^{\circ}_k (w) - f_{n-k,n}(z/w) {\tilde{T}}^{\circ}_k(w) {\tilde{T}}^{\circ}_{n-1} (z) = \\ -(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 \left( (n-k+1) \frac{w}{z} \delta' (\frac{w}{z}) {\tilde{T}}^{\circ}_{k-1} (w) + w \delta(\frac{w}{z})  \partial_w {\tilde{T}}^{\circ}_{k-1} (w) \right) 
        \end{gathered}$$

Proposition \[prop:F=Tn-1\] imply $$f_{n-k,n} (w/z) {\tilde{T}}^{\circ}_{n-1}(z) {\tilde{T}}^{\circ}_k (w)- f_{n-k,n}(z/w) {\tilde{T}}^{\circ}_k(w) {\tilde{T}}^{\circ}_{n-1} (z) =$$ $$-(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 \frac{\mu^{-n} w^{-n_{tw}}}{k!} \exp \left(\frac{1}{n}\varphi_-(z) - \frac{k}{n} \varphi_-(w) \right)[F(z), E^k(w)] \exp \left(\frac{1}{n}\varphi_+(z) - \frac{k}{n} \varphi_+(w) \right).$$ It is straightforward to finish the proof using .

\[prop:Hom(W,qD)\] Formula defines a homomorphism ${\mathcal{S}}$ from ${\twW {\otimes U(\mathfrak{Heis})}}$ to the algebra $ U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$.

Evidently, $H_j$ and ${\tilde{T}}_k(z)$ commute, and $H_j$ form a Heisenberg algebra. We only have to check that $\frac{1}{\mu^k} {\tilde{T}}_k(z)$ form $\twW$ algebra. Relation of $\twW$ algebra follows from Propositions \[prop:W1\] and \[prop:Wn-1\].

\[prop:HomDWtw\] Formulas – defines a homomorphism ${\mathcal{P}}$ from $U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$ to the algebra ${\twW {\otimes U(\mathfrak{Heis})}}$.

Let us check that these formulas define morphism from ${\mathfrak{Diff}_q}$. According to Proposition \[relation\], it is enough to prove relations –. It is done in Appendix \[Appendix:HomWD\]. Evidently, ${\mathcal{P}}$ annihilates $J_{n, n_{tw}}$.

\[prop:mutinv\] Maps ${\mathcal{P}}$ and ${\mathcal{S}}$ are mutually inverse.

Let us prove ${\mathcal{P}}{\mathcal{S}}= \operatorname{id}_{{\twW {\otimes U(\mathfrak{Heis})}}}$ first. The algebra $\twW$ is generated by modes of $T_1(z)$. Hence it is sufficient to check ${\mathcal{P}}{\mathcal{S}}({\tilde{H}}_n) = {\tilde{H}}_n$ and ${\mathcal{P}}{\mathcal{S}}\big( T_1(z) \big) = T_1(z)$. Both of them are straightforward.

The algebra $U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$ is generated by modes of $E(z)$ and $F(z)$. Evidently, ${\mathcal{S}}{\mathcal{P}}\big( E(z) \big) = E(z)$. Proposition \[prop:F=Tn-1\] implies ${\mathcal{S}}{\mathcal{P}}\big( F(z) \big) = F(z)$.

Follows from Proposition \[prop:Hom(W,qD)\], \[prop:HomDWtw\] and \[prop:mutinv\]

Bosonization of $\twW$
----------------------

Let $\sigma$ be as in . Corollary \[corol: not m and m prime\] states that representation $\mathcal{F}_u^{\sigma}$ actually does not depend on $m'$ and $m$; it is determined by $n'$ and $n$. Let us denote the representation by $\mathcal{F}_u^{(n',n)}$.

### Fock representation via ${\mathfrak{Diff}_q}$

In this section we will discuss connection of twisted $q$-$W$ algebras and twisted representations $\mathcal{F}_u^{(n',n)}$.

\[lemma:T\_n for twFock\] In representation $\mathcal{F}_u^{(n',n)}$ operator $
        {\tilde{T}}_n(z)$ acts by $-q^{-1/2} u z^{n'} \frac{1}{(q^{1/2} - q^{-1/2})^n}$.

We will use formula to calculate $E^n(z)$.

By Proposition \[prop:ass&comm\] $$\begin{aligned}
        {\psi_{({a})}}(q^{-1/2} z) {\psi_{(  b )}}(q^{-1/2} z) &= - {\psi_{(  b )}}(q^{-1/2} z) {\psi_{({a})}}(q^{-1/2} z)\\ {\psi_{({a})}}(q^{-1/2} z) {\psi^*_{(  b  )}}(q^{1/2}z) &= - {\psi^*_{(  b  )}}(q^{1/2}z) {\psi_{({a})}}(q^{-1/2} z) 
        \end{aligned}$$ for any $a,b$ (even for $a=b$).

Consider a sequence of numbers $0 \leqslant a_1, \ldots, a_n \leqslant n-1$ such that $a_{i+1} - a_i \equiv -n' \mod{n}$. Thus, $$\begin{aligned}
        E^n(z) = n! u q^{-1/2} z^{n' + n} \psi_{(a_1)} (q^{-1/2} z) \psi^*_{(a_2)}  (q^{1/2}z) \psi_{(a_2)} (q^{-1/2} z) \psi^*_{(a_3)}  (q^{1/2}z) \cdots \psi_{(a_n)} (q^{-1/2} z) \psi^*_{(a_1)}  (q^{1/2}z)
        \end{aligned}$$ Using bosonization , we obtain (cf. and ) $$\begin{aligned}
        E^n(z) = - n! u q^{-1/2} z^{n'} \frac{1}{(q^{1/2} - q^{-1/2})^n} : \! \exp ( \varphi(z) ) \! :
        \end{aligned}$$ Consequently, $$\begin{aligned}
        {\tilde{T}}_n (z) = - q^{-1/2} u z^{n'} \frac{1}{(q^{1/2} - q^{-1/2})^n}
        \end{aligned}$$

\[prop:tensorIDEAL\] Suppose, $M_i$ are representation of ${\mathfrak{Diff}_q}$ such that ideal $J_{\mu_i, n_i, n_i'}$ acts by zero (for $i=1, \ldots, k$). Then $J_{\mu,  n, n'}$ acts by zero on $M_1 \otimes \cdots \otimes M_k$ for $n = \sum_{i=1}^k n_i$, $n'= \sum_{i=1}^k n_i'$ and $\mu^{n} = \mu_1^{n_1} \cdots \mu_k^{n_k}$.

Recall that $E^{n_i+1}(z) \in J_{n_i, n_i'}$ by Lemma \[lemma:T\_k for big k\]. Thus, $E^n(z)$ act on $M_1 \otimes \cdots \otimes M_k$ as $$\begin{aligned}
        \frac{n!}{n_1! \cdots n_k!} E^{n_1}(z) \otimes \cdots \otimes E^{n_k}(z) = n! \prod_{i=1}^k \mu_i^{n_i} z^{n_i'} : \! \exp(\varphi(z)) \! :.
        \end{aligned}$$

\[prop:tensor Fock IDEAL\] Ideal $J_{\mu, nd, n'd}$ acts by zero on $\mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)}$ for $$\mu = (-1)^{\frac{1}{n}}  \frac{q^{-\frac{1}{2n}}}{q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}} (u_1 \cdots u_d)^{\frac{1}{nd}} \,  ,\label{eq:mu tensor Fock}$$

Follows from Lemma \[lemma:T\_n for twFock\] and Proposition \[prop:tensorIDEAL\].

\[Theorem:twFocktwW\] There is an action of ${\mathcal{W}(\mathfrak{sl}_{nd}, n'd) {\otimes U(\mathfrak{Heis})}}$ on $\mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)}$ such that action of ${\mathfrak{Diff}_q}$ factors through ${\mathcal{W}(\mathfrak{sl}_{nd}, n'd) {\otimes U(\mathfrak{Heis})}}$.

According to Proposition $\ref{prop:tensor Fock IDEAL}$, algebra $U({\mathfrak{Diff}_q})/J_{nd,n'd}$ acts on $\mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)}$. By Theorem \[Th:Wiso\], algebra $U({\mathfrak{Diff}_q})/J_{nd,n'd}$ is isomorphic to ${\mathcal{W}(\mathfrak{sl}_{nd}, n'd) {\otimes U(\mathfrak{Heis})}}$.

One can consider tensor product of Fock modules with different twists ${\mathcal{F}^{\sigma_1}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{\sigma_d}}$. According to Proposition \[prop:tensorIDEAL\] algebra $\mathcal{W}(\mathfrak{sl}_{\sum n_i}, \sum n'_i) {\otimes U(\mathfrak{Heis})}$ acts on this space. Obtained representation is ‘irregular’ (cf. [@Na15]). In Section \[section: construction of Whittaker\] we consider an intertwiner between irregular and (graded completion of) regular representation.

### Explicit formula for bosonization

Below we will write explicit formula for bosonization of $\mathcal{W}_q (\mathfrak{sl}_{nd}, n'd)$. This bosonization comes from action of $\mathcal{W}(\mathfrak{sl}_{nd}, n'd)$ on $\mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)}$. Recall that realization of $\mathcal{F}_{u}^{(n',n)}$ is written via $a_b[k]$ for $b=0, \dots n-1$. Denote by $a_b^i[k]$ (for $i=1, \dots, d$ and $b=0, \dots, n-1$) generators of Heisenberg algebra action on $i$th factor of the tensor product $\mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)}$.

To write action of $\mathcal{W}_q (\mathfrak{sl}_{nd}, n'd)$ we need to introduce slightly different version of Heisenberg algebra. Namely, consider an algebra, generated by $\eta_b^{i}[k]$ for $b=0, \ldots n-1$; $i=1, \ldots, d$ and $k \in \mathbb{Z}$. Relations are given by linear dependence and commutation relations $$\begin{gathered}
    \sum_{i=1}^{d} \sum_{b=0}^{n-1} \eta_b^{i}[k]=0 \\
    \left[\eta_{b_1}^{i_1}[k_1], \eta_{b_2}^{i_2}[k_2] \right] = k_1 \delta_{k_1+k_2,0} \left( \delta_{i_1, i_2} \delta_{b_1, b_2}-\frac{1}{nd} \right)
    \end{gathered}$$

Let us define representation $F^{\eta} \otimes \mathbb{C} [ {\mathbf{Q}^d_{(n)}}]$ (cf. Section \[subsection: TW qDboson\]). Lattice ${\mathbf{Q}^d_{(n)}}$ consist of elements $\sum \lambda^i_b Q^i_b$ such that $\lambda^i_b \in \mathbb{Z}$ and for any $i$ it holds $\sum_b \lambda^i_b =0$. Define an action $$\begin{aligned}
    \eta_b^i[0] \, e^{\sum \lambda_b^i Q^i_b} = \lambda_b^{i} \, e^{\sum \lambda^i_b Q_b^i} \, \label{eq:eta Fock zerom}
    \end{aligned}$$ First factor $F^{\eta}$ is a Fock space for subalgebra $\eta_b^i[k]$ for $k \neq 0$. We can consider $F^{\eta} \otimes \mathbb{C} [ {\mathbf{Q}^d_{(n)}}]$ as representation of whole Heisenberg algebra as follows: $\eta_b^i[k]$ for $k \neq 0$ acts on first factor, $\eta_a^i[0]$ acts on the second factor by . Note, that also $\mathbb{C} [ {\mathbf{Q}^d_{(n)}}]$ acts on $F^{\eta} \otimes \mathbb{C} [ {\mathbf{Q}^d_{(n)}}]$. Let us introduce notation

$$\begin{aligned}
    \eta_{b}^i(z) = \sum_{k \neq 0} \frac{1}{k} \eta_b^i[k]  z^{-k} +Q^i_b + \eta_b^i[0] \log z
    \end{aligned}$$

\[prop:W bosonization\] There is an action of $\mathcal{W}_q (\mathfrak{sl}_{nd}, n'd)$ on $F^{\eta} \otimes \mathbb{C} [ {\mathbf{Q}^d_{(n)}}]$ given by formulas $$\begin{gathered}
 \label{eq: T1 bosonisation general}
        T_1 (z) \mapsto (-1)^{-\frac{1}{n}} (u_1 \cdots u_d)^{-\frac{1}{nd}}(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}) q^{\frac{1}{2n}} \sum_{i=1}^d \, \sum_{b-a \equiv -n' \bmod n} \\  u_i^{\frac{1}{n}} q^{\frac{a+b-n}{2n}} z^{\frac{n'-a+b}{n}+1} : \! \exp \left( \eta^i_b(q^{1/2} z) - \eta^i_a(q^{-1/2} z) \right) \! :  \epsilon_{a,b}^{(i)}
        \end{gathered}$$ $$\begin{gathered}
        T_{nd-1}(z) \mapsto - (-1)^{\frac{1}{n}} (u_1 \cdots u_d)^{\frac{1}{nd}} (q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}) q^{-\frac{1}{2n}} \, z^{n'd}  \sum_{i=1}^d \sum_{b-a \equiv n' \bmod n} \!\!\!\!\!   \\ u_i^{-\frac{1}{n}} q^{ \frac{-a-b+n}{2n} }  z^{\frac{-n'-a+b}{n}+1} : \! \exp \left( \eta^i_b(q^{-1/2} z) - \eta^i_a(q^{1/2} z) \right) \! : \epsilon_{a,b}^{(i)}
        \end{gathered}$$ here $\epsilon_{a,b}^{(i)} = \prod_{r} (-1)^{\eta_r^i[0]}$ (we consider product over such $r$ that $a-1 \geqslant r \geqslant b$ for $a>b$ and $b-1 \geqslant r \geqslant a$ for $b>a$).

Denote by $\left[ \mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)} \right]_{h}$ subspace of such $ v \in \mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)}$ that $H_k v=0$ for $k>0$. According to Theorem \[Theorem:twFocktwW\], the algebra $\mathcal{W}_q (\mathfrak{sl}_{nd}, n'd)$ acts on $\left[ \mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)} \right]_{h}$.

On the other hand map $\eta_b^i[k] \mapsto a_b^i[k] - \sum_{b,i} a_b^i[k]$ is a homomorphism. Therefore, one can identify $F^{\eta} \otimes \mathbb{C} [ {\mathbf{Q}^d_{(n)}}]$ and $\left[ \mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)} \right]_{h}$.

Substitution of , , and to , finishes the proof.

Denote obtained representation by ${\mathcal{F}^{\mathcal{W}_{q} ( \mathfrak{sl}_{nd}, n'd )}_{u_1, \dots, u_d}}$.

\[remark mu abuse\] The parameter $\mu$ is determined by $u_1,\ldots, u_d$ only up to $nd$-th root of unity. The modules ${\mathcal{F}^{\mathcal{W}_{q} ( \mathfrak{sl}_{nd}, n'd )}_{u_1, \dots, u_d}}$ with different $\mu$ are non-isomorphic in general (so notation ${\mathcal{F}^{\mathcal{W}_{q} ( \mathfrak{sl}_{nd}, n'd )}_{u_1, \dots, u_d}}$ is ambiguous). For example, one can see this from the highest weights $\lambda_s$ defined in the next section.

The modules ${\mathcal{F}^{\mathcal{W}_{q} ( \mathfrak{sl}_{nd}, n'd )}_{u_1, \dots, u_d}}$ with different $\mu$ are related by external automorphism of $\twW$.

Let us consider case of twisted Virasoro algebra i.e. $n=2$, $n'=1$, $d=1$. Then everything is expressed via one boson $\eta(z)$ with relation $[\eta[k_1], \eta[k_2]] = \frac12 k_1 \delta_{k_1+k_2,0}$ and $[\eta[0], Q]=\frac12$. So there is an action of $\mathcal{W}_{q}(\mathfrak{sl}_2, 1)$ on $F^{\eta} \otimes \mathbb{C}[ \mathbb{Z}]$ given by $$\begin{gathered}
        T_1 (z) \mapsto (-1)^{-\frac12}  (q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}) (-1)^{\eta[0]}   \\  \left[  z : \! \exp \left( \eta(q^{1/2} z) + \eta(q^{-1/2} z) \right) \! : + z^{2} : \! \exp \left( -\eta(q^{1/2} z) - \eta(q^{-1/2} z) \right) \! : \right]
        \end{gathered}$$ We can simplify the formula using conjugation by $(-1)^{\eta[0]^2/2}$ $$T_1 (z) \mapsto  (q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}) \left[   z :\!\exp \left( \eta(q^{1/2} z) + \eta(q^{-1/2} z) \right)\!: + z^{2}:\! \exp \left( -\eta(q^{1/2} z) - \eta(q^{-1/2} z) \right)\!: \, \right]$$

### Explicit formulas for strange bosonization

To write formulas for strange bosonization we need to consider Heisenberg algebra generated by $\xi_i[k]$ for $i=1, \ldots d$ and $k \in \mathbb{Z}$. Relations are given by linear dependence and commutation relations $$\begin{aligned}
    \sum_{i=1}^{d}  \xi_{i}[nk]&=0 &&\\
    \left[\xi_{i_1}[k_1], \xi_{i_2}[k_2] \right] &= k_1  \delta_{k_1+k_2,0} \, \delta_{i_1, i_2}  & &\text{for either $n \nmid k_1$ or $n \nmid k_2$} \\
    \left[\xi_{i_1}[nj_1], \xi_{i_2}[nj_2] \right] &= nj_1 \delta_{j_1+j_2,0} \left( \delta_{i_1, i_2}-\frac{1}{d} \right)&&
    \end{aligned}$$ Denote corresponding Fock module by $F^{\xi}$.

There is an action of $\mathcal{W}_q (\mathfrak{sl}_{nd}, n'd)$ on $F^{\xi}$ given by $$\begin{gathered}
        T_1 (z) \mapsto -(-1)^{-\frac{1}{n}} \frac{ q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}} }{n(q^{\frac{1}{2n}}-q^{-\frac{1}{2n}})} (u_1 \cdots u_d)^{-\frac{1}{nd}} \,  z^{\frac{n'}{n}} \,  \\ \sum_{i=1}^d  u_i^{1/n} \,  \sum_{l=0}^{n-1} \zeta^{l n'} : \! \exp \left( \sum_{k} \frac{q^{-k/2n}-q^{k/2n}}{k} \xi_{i}[k] \zeta^{-kl}  z^{-k/n} \right) \! : 
        \end{gathered}$$ $$\begin{gathered}
        T_{nd-1}(z) \mapsto -(-1)^{\frac{1}{n}} \frac{q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}}{n(q^{\frac{1}{2n}}-q^{-\frac{1}{2n}})} (u_1 \cdots u_d)^{\frac{1}{nd}}   \, z^{\frac{nd-1}{n}n'} \,   \\   \sum_{i=1}^{d}   u_i^{-1/n} \, \sum_{l=0}^{n-1} \zeta^{-l n'} : \! \exp \left( \sum_{ k}\frac{q^{k/2n}-q^{-k/2n}}{k} \xi_{i}[k] \zeta^{-kl}  z^{-k/n} \right) \! :
        \end{gathered}$$ Obtained representation is isomorphic to ${\mathcal{F}^{\mathcal{W}_{q} ( \mathfrak{sl}_{nd}, n'd )}_{u_1, \dots, u_d}}$.

The proof is analogous to proof of Proposition \[prop:W bosonization\]. The only difference is that we have to use , instead of , . This representation is isomorphic to ${\mathcal{F}^{\mathcal{W}_{q} ( \mathfrak{sl}_{nd}, n'd )}_{u_1, \dots, u_d}}$ since it also corresponds to $\mathcal{F}^{(n',n)}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_d}^{(n',n)}$.

Verma modules vs Fock modules {#Connection with Verma module}
-----------------------------

Connection of Fock module and Verma module is known in non-twisted case. In this Subsection we will generalize it for $\twW$. Denote $d= \gcd(n_{tw},n)$.

$\twWgl = U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$.

Denote modes of $E^k(z)$ by $E^k[j]$. Namely, $E^k(z) = \sum_d E^k[j] z^{-j}$.

\[definition: Verma\] Verma module ${\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }$ is a module over $\twWgl$ with cyclic vector ${\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }$ and relations $$\begin{aligned}
        H_k {\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }&=0 &&\text{for $k>0$} \\
        E^k[j] {\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }&=0  &&\text{for $j+\frac{kn_{tw}}{n}>0$} \\
        E^{\frac{ns}{d}}[-sn_{tw}/d] {\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }&= {\frac{ns}{d}! \,}\lambda_s {\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }&&
        \end{aligned}$$

Consider a grading on $\twWgl$ given by $\deg E_k[j] = -j-\frac{k n_{tw}}{n}$. Verma module ${\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }$ is a graded module with grading defined by requirement $\deg {\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }= 0$.

\[prop: cyclic Verma\] ${\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }$ is spanned by $E^{k_1}[j_1] \dots E^{k_t}[j_t] {\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }$ for $\frac{j_1}{k_1} \leqslant \frac{j_2}{k_2} \leqslant \dots \leqslant \frac{j_t}{k_t} <\!{-}\frac{n_{tw}}{n}$ and $1 \leqslant k_i \leqslant n$.

Recall that $E^n(z) = n! z^{n_{tw}} : \! \exp(\varphi(z)) \! :$. Therefore $E^n[j]$ acts on $F^H$.

\[lemma: Heis and En\] Module $F^H$ is spanned by $E^n[-j_1] \dots E^n[-j_k] {|0 \rangle}$

Let us consider operator $E_{-}^n[-j]$ defined by $\sum_j E_{-}^n [-j] z^j = \exp(\varphi_- (z))$. On one hand $E^n_-[-j_1] \dots E^n_-[-j_k] {|0 \rangle}$ is a basis of $F^H$ (this basis coincide with a basis of complete homogeneous polynomials up to renormalization of Heisenberg algebra generators). One the other hand, $$E^n[-j_1] \dots E^n[-j_k] {|0 \rangle}= E^n_-[-j_1] \dots E^n_-[-j_k] {|0 \rangle}+ \text{lower terms},$$ here lower terms are taken with respect to lexicographical order.

Lemma \[lemma: Heis and En\] holds for any exponent $: \! \exp \left( \sum \alpha_j H_j z^{-j} \right) \! :$ such that $\alpha_{-i} \neq 0$ for $i>0$. The proof does not use any other properties of coefficients $\alpha_j$. One can find the proof as the last part of proof of [@N16 Prop. 2.29].

Define ${\mathfrak{Diff}_q}^{\ \geqslant 0}$ and ${\mathfrak{Diff}_q}^{\ >0}$ as subalgebras of ${\mathfrak{Diff}_q}$ spanned by $E_{k,j}$ with $k \geqslant 0$ and $k>0$ correspondingly.

\[lemma: q-dif &gt;0 Verma\] Vector ${\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }\in {\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }$ is cyclic with respect to action of ${\mathfrak{Diff}_q}^{\, > 0}$.

Theorem \[Th:Wiso\] implies that the natural map $U({\mathfrak{Diff}_q}^{\ \geqslant 0}) \rightarrow U({\mathfrak{Diff}_q})/J_{n,n_{tw}}$ is surjective. Hence Verma module is generated by non-commutative monomials in $E_i$ and $H_j$ applied to ${\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }$. Using relation $[H_j, E_i] = (q^{-j/2}-q^{j/2}) E_{i+j} $, we see that the module is spaned by $E_{i_1} \dots E_{i_k} H_{j_1} \dots H_{j_l} {\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }$. Lemma \[lemma: Heis and En\] implies that the module is spanned by $E_{i_1} \dots E_{i_k} E^n[j_1] \dots E^n[j_l] {\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }$

In [@N17 (3.48)] author states, that algebra ${\mathfrak{Diff}_q}^{\ > 0}$ has a PBW-like basis $E^{k_1}[j_1] \dots E^{k_t}[j_t]$ for $\frac{j_1}{k_1} \leqslant \frac{j_2}{k_2} \leqslant \dots \leqslant \frac{j_t}{k_t} $. Thus ${\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }$ is spanned by $E^{k_1}[j_1] \dots E^{k_t}[j_t] {\left|\bar{\lambda} \right\rangle_{\mathfrak{gl}} }$ (with the same condition on $k_i$ and $j_i$).

Note that if $\frac{j_t}{k_t}>\!-\frac{n_{tw}}{n}$ then such vector is 0; moreover if $\frac{j_t}{k_t}=\!-\frac{n_{tw}}{n}$ then $E^{k_t}[j_t]$ acts by multiplication on a constant, hence it can be excluded. Also note that $E^k[j] \in J_{n, n_{tw}}$ for $k \geqslant n+1$, therefore we assume $k_i \leqslant n$. The Proposition \[prop: cyclic Verma\] is proven.

\[Prop:Characterless\] Coefficients of $\operatorname{ch}{\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }$ are less or equal to coefficients of $\prod_{k=1}^{\infty}  \left(1- \mathfrak{q}^{\frac{kd}{n}} \right)^{-d} $.

\[Th: Verma vs Fock\] If $\mathcal{F}^{(n_{tw}/d, n/d)}_{u_1} \otimes \dots \otimes \mathcal{F}^{(n_{tw}/d, n/d)}_{u_d}$ is irreducible then natural map $p \colon {\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }\rightarrow \mathcal{F}^{(n_{tw}/d, n/d)}_{u_1} \otimes \dots \otimes \mathcal{F}^{(n_{tw}/d, n/d)}_{u_d}$ is an isomorphism for $$\label{eq: lambdas}
        \lambda_s =  \left( - q^{-\frac12} \right)^s   \frac{1}{\left(q^{\frac12} - q^{-\frac12} \right)^{\frac{ns}{d}}} \, e_s (u_1, \dots, u_d).$$

Let us first prove existence of the map $p$. This will follow automatically from the following lemma.

The highest vector ${ \left| \bar{u} \right\rangle}\in \mathcal{F}^{(n_{tw}/d, n/d)}_{u_1} \otimes \dots \otimes \mathcal{F}^{(n_{tw}/d, n/d)}_{u_d}$ satisfy following conditions $$\begin{aligned}
            H_k { \left| \bar{u} \right\rangle}&=0 &&\text{for $k>0$} \label{eq: Lemma 7.18 7.69}\\
            E^k[j] { \left| \bar{u} \right\rangle}&=0  &&\text{for $j+\frac{kn_{tw}}{n}>0$}  \label{eq: Lemma 7.18 7.70} \\
            E^{\frac{ns}{d}}[-sn_{tw}/d] { \left| \bar{u} \right\rangle}&= {\frac{ns}{d}! \,}\lambda_s { \left| \bar{u} \right\rangle}&&  \label{eq: Lemma 7.18 7.71}
            \end{aligned}$$

Assertions – are evident. Let us check . Denote by ${\varepsilon}_j(z)$ action of $E(z)$ on $j$th tensor multiple; in particular $E(z) \mapsto {\varepsilon}_1(z) + \dots + {\varepsilon}_d(z)$. Recall that ${\varepsilon}_j(z)^{\frac{n}{d}+1}=0$. Thus $$\begin{aligned}
            E^{\frac{ns}{d}} (z) \mapsto \frac{{\frac{ns}{d}! \,}}{(\frac{n}{d}!)^{s}} \sum_{k_1< k_2 < \dots < k_j}  {\varepsilon}_{k_1}^{\frac{n}{d}} (z) {\varepsilon}_{k_2}^{\frac{n}{d}} (z) \dots {\varepsilon}_{k_s}^{\frac{n}{d}} (z) + \dots,
            \end{aligned}$$ here dots denote summands with a power which is not a multiple of $\frac{n}{d}$ (thus, this summands do not contribute to $E^{\frac{ns}{d}}[-sn_{tw}/d] { \left| \bar{u} \right\rangle}$). To finish the proof we note that $$\frac{{\frac{ns}{d}! \,}}{(\frac{n}{d}!)^{s}}  \left\langle \bar{u} \right| {\varepsilon}_{k_1}^{\frac{n}{d}} (z) {\varepsilon}_{k_2}^{\frac{n}{d}} (z) \dots {\varepsilon}_{k_s}^{\frac{n}{d}} (z) { \left| \bar{u} \right\rangle}= {\frac{ns}{d}! \,}u_{k_1} u_{k_2} \dots u_{k_s} \left( - q^{-1/2} \right)^s   z^{ \frac{n_{tw}}{d}s } \frac{1}{(q^{1/2} - q^{-1/2})^{\frac{ns}{d}}} .$$

Image of $p$ is whole $\mathcal{F}^{(n_{tw}/d, n/d)}_{u_1} \otimes \dots \otimes \mathcal{F}^{(n_{tw}/d, n/d)}_{u_d}$, since $\mathcal{F}^{(n_{tw}/d, n/d)}_{u_1} \otimes \dots \otimes \mathcal{F}^{(n_{tw}/d, n/d)}_{u_d}$ is irreducible. Note that $\operatorname{ch}\left( \mathcal{F}^{(n_{tw}/d, n/d)}_{u_1} \otimes \dots \otimes \mathcal{F}^{(n_{tw}/d, n/d)}_{u_d} \right) = \prod_{k=1}^{\infty} \frac{1}{ \left(1-q^{\frac{kd}{n}} \right)^d }$. Corollary \[Prop:Characterless\] implies that $p$ is injective and $\operatorname{ch}{\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }=  \prod_{k=1}^{\infty} \frac{1}{ \left(1-q^{\frac{kd}{n}} \right)^d }$.

Note that representation ${\mathcal{F}^{\twW}_{u_1, \dots, u_d}}$ is irreducible iff $\mathcal{F}_{u_1} \otimes \dots \otimes \mathcal{F}_{u_d}$ is irreducible. In particular, for $d =1$ then $\mathcal{F}^{\twW}_u$ is irreducible automatically. Generally, criterion of irreducibility of $\mathcal{F}_{u_1} \otimes \dots \otimes \mathcal{F}_{u_d}$ is given by Lemma \[lemma 3.1 FJMM\].

Verma module ${  \mathcal{V}^{\twW}_{\lambda_1, \dots, \lambda_d}  }$ is a module over $\twW$ with cyclic vector ${ \left| \bar{\lambda} \right\rangle_{\mathfrak{sl}} }$ and relations $$\begin{aligned}
        {T^{tw}}_k[r] { \left| \bar{\lambda} \right\rangle_{\mathfrak{sl}} }&=0 &&\text{for $r>0$} \\ 
        {T^{tw}}_{ns/d}[0] { \left| \bar{\lambda} \right\rangle_{\mathfrak{sl}} }&= \lambda_s { \left| \bar{\lambda} \right\rangle_{\mathfrak{sl}} }. &&
        \end{aligned}$$

Introduce grading on $\twW$ by $\deg T^{tw}_k[r] = -r$. Verma module ${\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }$ is a graded module with grading defined by $\deg { \left| \bar{\lambda} \right\rangle_{\mathfrak{sl}} }= 0$.

To simplify notation for comparison of $\mathfrak{sl}_n$ and $\mathfrak{gl}_n$ cases, we will assume below that $\mu=1$ (cf. Remark \[remark mu abuse\]).

${\mathcal{V}^{\twWgl}_{\lambda_1, \dots, \lambda_d} }\cong {  \mathcal{V}^{\twW}_{\lambda_1, \dots, \lambda_d}  }\otimes F^H$ with respect to identification $\twWgl = \twW {\otimes U(\mathfrak{Heis})}$.

The existence of maps in both directions can be checked directly using universal property of the Verma module. Evidently, these maps are mutually inverse.

If ${\mathcal{F}^{\twW}_{u_1, \dots, u_d}}$ is irreducible then natural map $\tilde{p} \colon {  \mathcal{V}^{\twW}_{\lambda_1, \dots, \lambda_d}  }\rightarrow {\mathcal{F}^{\twW}_{u_1, \dots, u_d}}$ is an isomorphism for $\lambda_s$ as in .

Restriction on ${\mathfrak{Diff}_q}^{\Lambda}$ for general sublattice {#Section: general sublattice}
=====================================================================

We generalize results of Section \[S:sublattice\] for arbitrary sublattice. For applications in Section \[section: conformal\] we will need only case of sublattice $\Lambda_0 = \operatorname{span}(e_1, ne_2 ) \subset \mathbb{Z}^2$.

Decomposition of restriction
----------------------------

Let $\Lambda \subset \mathbb{Z}^2$ be a sublattice of finite index. Let us choose basis $w_1$, $w_2$ of lattice $\Lambda$ so that $w_1 = (r,n_{tw})$ and $w_2 = (0, n)$. Let $d$ be the greatest common divisor of $n$ and $n_{tw}$.

\[th:general Lambda\] There is an isomorphism of ${\mathfrak{Diff}_q}$-modules $$\begin{aligned}
 \label{eq:iso from Lattice Th}
        \left. \mathcal{F}^{[1/nr]}_{u^{d/nr}} \right|_{\phi_{w_1,w_2}({\mathfrak{Diff}_q})} \cong \bigoplus_{ l \in \mathbf{Q}_{(d)}} \ \mathcal{F}_{u q^{ rl_0}}^{(n_{tw}/d, \, n/d)} \otimes \cdots \otimes \mathcal{F}_{u q^{r(\frac{\alpha}{d}+ l_{\alpha})
        }}^{(n_{tw}/d, \, n/d)} \otimes \cdots  \otimes \mathcal{F}_{u q^{r(\frac{d-1}{d}+ l_{d-1})}}^{(n_{tw}/d, \, n/d)}   
        \end{aligned}$$

Proposition \[E\_l\] implies that $\left. \mathcal{F}^{[1/nr]}_{u^{d/nr}} \right|_{\phi_{re_1,e_2}} \cong \mathcal{F}^{[1/n]}_{u^{d/n}}$. Hence it is enough to consider case $r=1$. We will use realization of $\left. \mathcal{F}^{[1/n]}_{u^{d/n}} \right|_{\phi_{w_1,w_2}({\mathfrak{Diff}_q})}$ constructed in Proposition \[Prop:qD Boson\]. Strategy of our proof is as follows; first we will construct decomposition on the level of vector spaces and then study action on each direct summand.

For each $\alpha = 0, \dots, d-1$ let $\mathbf{Q}_{(n/d)}^{\alpha, l_{\alpha}}$ be a subset of lattice ${\mathbf{P}_{(n)}}$ consisting of elements $$\sum_{a \equiv \alpha \bmod{d}} \tilde{l}_a Q_a \quad  \text{such that} \quad \sum_{a \equiv \alpha \bmod{d}} \tilde{l}_a =  l_{\alpha}.$$ Note that $${\mathbf{Q}_{(n)}}= \coprod_{l_0 + \dots + l_{d-1} = 0} \mathbf{Q}_{(n/d)}^{0, \, l_0} \oplus \dots \oplus \mathbf{Q}_{(n/d)}^{d-1, \, l_{d-1}}.$$ Or equivalently $$\mathbb{C}[{\mathbf{Q}_{(n)}}] = \bigoplus_{l_0 + \dots + l_{d-1} = 0}  \mathbb{C}\!\left[\mathbf{Q}_{(n/d)}^{0, \, l_0} \right] \otimes \dots \otimes  \mathbb{C}\!\left[ \mathbf{Q}_{(n/d)}^{d-1, \, l_{d-1}} \right].$$ Let $F^{\frac{n}{d}a, \alpha}$ be Fock module for Heisenberg algebra generated by $a_b[k]$ for $b \equiv \alpha \bmod{d}$. Then $$F^{na} \otimes \mathbb{C}[{\mathbf{Q}_{(n)}}] = \bigoplus_{l_0 + \dots + l_{d-1} = 0} \left( F^{\frac{n}{d}a, 0} \otimes \mathbb{C}\!\left[\mathbf{Q}_{(n/d)}^{0, \, l_0} \right] \right) \otimes \dots \otimes \left( F^{\frac{n}{d}a, d-1} \otimes \mathbb{C}\!\left[ \mathbf{Q}_{(n/d)}^{d-1, \, l_{d-1}} \right] \right) \label{eq: decomp vect space}$$ Let us show that is a decomposition of ${\mathfrak{Diff}_q}$-modules (moreover, that it leads to decomposition ). Let us define $$\begin{aligned}
        H_{\alpha}^{tw}[k] =& \sum_{b \equiv \alpha \bmod d} a_b[k] \label{eq: H alpha tw} \\
        E^{tw}_{\alpha}(z) =&  \!\!\!  \sum_{\substack{b-a \equiv -n_{tw} \bmod n \\ a \equiv \alpha \bmod d}} \!\!\!\!\! u^{\frac{d}{n}}  q^{\frac{a+b-n}{2n}} z^{\frac{n_{tw}-a+b}{n}+1} : \! \exp \left( \phi_b(q^{1/2} z) - \phi_a(q^{-1/2} z) \right) \! :  \epsilon_{a,b}
         \\
        F_{\alpha}^{tw}(z) =&  \!\!\! \sum_{\substack{b-a \equiv n_{tw} \bmod n\\ a \equiv \alpha \bmod d}} \!\!\!\!\! u^{-\frac{d}{n}} q^{ \frac{-a-b+n}{2n} }  z^{\frac{-n_{tw}-a+b}{n}+1} : \! \exp \left( \phi_b(q^{-1/2} z) - \phi_a(q^{1/2} z) \right) \! : \epsilon_{a,b}, \label{eq: F alpha tw}
        \end{aligned}$$ here $\epsilon_{a,b} = \prod_r (-1)^{a_r[0]}$ (product over such $r$ that $a-1 \geqslant r \geqslant b$ for $a>b$ and $b-1 \geqslant r \geqslant a$ for $b>a$).

Formulas – defines an action of ${\mathfrak{Diff}_q}$ on $F^{\frac{n}{d}a, \, \alpha}  \otimes \mathbb{C}[\mathbf{Q}_{(n/d)}^{\alpha, \, l_{\alpha}}]$; obtained representation is isomorphic to $\mathcal{F}_{u q^{ \frac{\alpha}{d} + l_{\alpha}}}^{(n_{tw}/d, \, n/d)}$.

Let us define $\tilde{\epsilon}_{a,b}=\prod_r (-1)^{a_r[0]}$ (product over $r$ satisfying above inequalities and condition $r \equiv \alpha \bmod d$. One can check that there exists an index set $I$ such that conjugation of $E^{tw}_{\alpha}(z)$ and $F^{tw}_{\alpha}(z)$ by $\prod_{(i,j) \in I} (-1)^{a_i[0] a_j[0]}$ will turn $\epsilon_{a,b}$ to $\tilde{\epsilon}_{a,b}$. Theorem \[Th:qD Boson\] finishes the proof.

On the other hand, formulas – implies $$H^{tw}[k] = \sum_{\alpha} H_{\alpha}^{tw}[k], \quad
        E^{tw}(z) = \sum_{\alpha} E^{tw}_{\alpha} (z), \quad F^{tw}(z) = \sum_{\alpha} F^{tw}_{\alpha} (z).$$ Therefore embedding of vector space from first row of following commutative diagram leads to second row embedding of ${\mathfrak{Diff}_q}$-modules

( F\^[a, 0]{} ) …( F\^[a, d-1]{} ) & F\^[na]{} \[[\_[(n)]{}]{}\]\
\_[u q\^[ l\_0]{}]{}\^[(n\_[tw]{}/d, n/d)]{} \_[u q\^[+ l\_ ]{}]{}\^[(n\_[tw]{}/d, n/d)]{} \_[u q\^[+ l\_[d-1]{}]{}]{}\^[(n\_[tw]{}/d, n/d)]{} & . \^[\[1/n\]]{}\_[u\^[d/n]{}]{} |\_[\_[w\_1,w\_2]{}([\_q]{})]{}

Following ${\mathfrak{Diff}_q}$-modules are isomorphic $$\left. \mathcal{F}^{[1/n]}_{u} \right|_{\phi_{e_1,ne_2}({\mathfrak{Diff}_q})} \cong \bigoplus_{ l \in \mathbf{Q}_{(n)}} \ \mathcal{F}_{u q^{ l_0}} \otimes \cdots \otimes \mathcal{F}_{u q^{\frac{\alpha}{n}+ l_{\alpha}
        }} \otimes \cdots  \otimes \mathcal{F}_{u q^{\frac{n-1}{n}+ l_{n-1}}}.   \label{eq:th:decomposition}$$

Lattice $\Lambda$ admits another basis $v_1=(N,0)$, $v_2 = (R,d)$. There is an isomorphism $$\begin{aligned}
        \left. \mathcal{F}^{[1/nr]}_{u^{d/nr}} \right|_{\phi_{v_1,v_2}({\mathfrak{Diff}_q})} \cong \bigoplus_{ l \in \mathbf{Q}_{(d)}} \ \mathcal{F}_{u q^{ rl_0}} \otimes \cdots \otimes \mathcal{F}_{u q^{r\left(\frac{\alpha}{n}+ l_{\alpha} \right)
        }} \otimes \cdots  \otimes \mathcal{F}_{u q^{r \left(\frac{d-1}{d}+ l_{d-1} \right)}}.
        \end{aligned}$$

Strange Bosonization and Odd Bosonization
-----------------------------------------

Representation $\left. \mathcal{F}_u^{[1/n]} \right|_{\phi_{w_1, w_2} {\mathfrak{Diff}_q}}$ admits fermionic, bosonic, and strange bosonic realizations; formulas are given in Proposition \[TheFermionicProp\], \[Prop:qD Boson\] and \[Prop:StrangeBoson\] correspondingly. This Section is devoted to study of corresponding $\twW$ algebra action on $\left. \mathcal{F}_u^{[1/n]} \right|_{\phi_{w_1, w_2} {\mathfrak{Diff}_q}}$. We will consider strange bosonization and its classical limit.

Let us introduce following notation (cf. with ) $${\mathtt{e}}(z) = \, : \! \exp \left( \sum_{k \ne 0} \frac{q^{-k/2n}-q^{k/2n}}{k} a_{k} z^{-k} \right) \! :$$

\[prop: mu for restriction\] For $w_1 = e_1+n_{tw}e_2$, $w_2 = ne_2$ ideal $J_{\mu, n, n_{tw}}$ acts by zero on $\left. \mathcal{F}^{[1/n]}_{u} \right|_{\phi_{w_1,w_2}({\mathfrak{Diff}_q})}$ for $$\label{eq:prop: mu for restriction}
        \mu = \frac{u}{n(1-q^{\frac1n})} \times (-1)^{\frac{d}{n}} \, \frac{q^{-\frac{1}{2n}}-q^{\frac{1}{2n}}}{q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}} n = (-1)^{\frac{d}{n}} \frac{q^{-\frac{1}{2n}} u}{(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})}$$

We will use strange bosonization of $\left. \mathcal{F}^{[1/n]}_{u} \right|_{\phi_{w_1,w_2}({\mathfrak{Diff}_q})}$. Recall that we denote by $\zeta$ a primitive root of unity of degree $n$. We have $$E(z) \mapsto \frac{u}{n(1-q^{\frac1n})} z^{\frac{n_{tw}}{n}} \left({\mathtt{e}}(z^{1/n})+\zeta^{n_{tw}}  {\mathtt{e}}(\zeta z^{1/n}) + \cdots + \zeta^{(n-1)n_{tw}} {\mathtt{e}}(\zeta^{n-1}z^{1/n}) \right)$$ Let us calculate $$\left( \frac{n(1-q^{\frac1n})}{u} E(z)\right)^n = z^{n_{tw}}\big( {\mathtt{e}}(z^{1/n})+\zeta^{n_{tw}} {\mathtt{e}}(\zeta z^{1/n}) + \cdots + \zeta^{(n-1)n_{tw}} {\mathtt{e}}(\zeta^{n-1}z^{1/n})\big)^n =$$ $$n! z^{n_{tw}} (-1)^{(n-1)n_{tw}} {\mathtt{e}}(z^{1/n}) {\mathtt{e}}(\zeta z^{1/n}) \cdots {\mathtt{e}}(\zeta^{n-1} z^{1/n}) =$$ $$(-1)^{(n-1)n_{tw}}
        n! z^{n_{tw}} \prod_{i<j} \frac{( 1 - \zeta^{j-i} )^2}{(( 1- q^{\frac{1}{n}}\zeta^{j-i} )(1 - q^{-\frac{1}{n}} \zeta^{j-i}))} :\!{\mathtt{e}}(z^{1/n}) {\mathtt{e}}(\zeta z^{1/n}) \cdots {\mathtt{e}}(\zeta^{n-1} z^{1/n})\!:$$ We need to compute $$\prod_{i<j} \frac{( 1 - \zeta^{j-i} )^2}{(( 1- q^{\frac{1}{n}}\zeta^{j-i} )(1 - q^{-\frac{1}{n}} \zeta^{j-i} )} = \prod_{i < j} \frac{(1-\zeta^{j-i})(1-\zeta^{i-j})}{q^{-\frac{1}{n}}(1-q^{\frac{1}{n}}\zeta^{j-i})(1-q^{\frac{1}{n}}\zeta^{i-j})}= q^{\frac{1}{n} \binom{n}{2}}\prod_{k\neq 0} \frac{( 1 - \zeta^{k} )^{n}}{(( 1- q^{\frac{1}{n}}\zeta^{k} )^{n} } =$$ $$q^{\frac{n-1}{2}} \frac{(1-q^{\frac{1}{n}})^n }{(1-q)^n } n^{n} = \frac{(q^{\frac{1}{2n}}-q^{-\frac{1}{2n}})^n}{(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^n} n^n$$ So $$\left( \frac{n(1-q^{\frac1n})}{u} E(z)\right)^n = n! z^{n_{tw}} (-1)^{(n-1)n_{tw}} \left(  \frac{(q^{\frac{1}{2n}}-q^{-\frac{1}{2n}})}{(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})} n \right)^n :\!{\mathtt{e}}(z^{1/n}) {\mathtt{e}}(\zeta z^{1/n}) \cdots {\mathtt{e}}(\zeta^{n-1} z^{1/n})\!:$$ Note that $:\!{\mathtt{e}}(z^{1/n}) {\mathtt{e}}(\zeta z^{1/n}) \cdots {\mathtt{e}}(\zeta^{n-1} z^{1/n})\!:\, =\, :\!\exp{\varphi(z)}\!:$. Hence $$\mu^n = (-1)^{(n-1)n_{tw}} \left( \frac{u}{n(1-q^{\frac1n})} \frac{(q^{\frac{1}{2n}}-q^{-\frac{1}{2n}})}{(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})} n \right)^n = (-1)^{(n-1)n_{tw}+n} \left( \frac{u q^{-\frac{1}{2n}}}{q^{\frac12}-q^{-\frac12}} \right)^n$$ Finally note that $(n-1)n_{tw}+n \equiv d \mod{2}$.

Another way to prove Proposition \[prop: mu for restriction\] is to derive it from Proposition \[prop:tensor Fock IDEAL\] (since isomorphism ). Beware inconsistency of our notation in and . Let us rewrite $$\mu = (-1)^{\frac{d}{n}} \frac{q^{-\frac{d}{2n}}}{q^{\frac12}-q^{-\frac12}} (u_1 \dots u_d)^{\frac1n} = (-1)^{\frac{d}{n}} \frac{q^{-\frac{d}{2n}}}{q^{\frac12}-q^{-\frac12}} \left( \left( u^{\frac{n}{d}}\right)^d q^{\frac{d-1}{2}}\right)^{\frac1n}  = (-1)^{\frac{d}{n}} \frac{q^{-\frac{1}{2n}}}{q^{\frac12}-q^{-\frac12}} u$$

Let us consider subalgebra of Heisenberg algebra generated by $J_k = a_k$ for $n \nmid k$. Denote corresponding Fock module by $F^J$.

There is an action of $\twW$ on $F^{J}$ given by $$T_1 (z) = -(-1)^{\frac{d}{n}} \frac{1}{n} \frac{q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}}}{q^{ \frac{1}{2n}} - q^{-\frac{1}{2n}}}  z^{\frac{n_{tw}}{n}}   \sum_{l=0}^{n-1} \zeta^{l n_{tw}} : \! \exp \left( \sum_{n \nmid k} \frac{q^{-\frac{k}{2n}}-q^{\frac{k}{2n}}}{k} J_k \zeta^{-kl} z^{-\frac{k}{n}} \right) \! \!:$$ Obtained representation corresponds to $\left. \mathcal{F}^{[1/n]}_{u} \right|_{\phi_{w_1,w_2}({\mathfrak{Diff}_q})}$.

Follows from Theorem \[Th:Wiso\] and Proposition \[prop: mu for restriction\]

Let us consider non-twisted case $n_{tw}=0$. Then $d=n$ and total sign $-(-1)^{\frac{d}{n}}=1$. More accurately, the coefficient is a root of unity of degree $n$ (cf. Remark \[remark mu abuse\]). Nevertheless, this freedom disappears if we require $T_1(z) = n + o(\hbar)$ for $\hbar = \log q $ (this is a standard setting for classical limit).

Odd bosonization is a particular case of strange bosonization for $n=2$ and $n_{tw}=0$.

$$T_1 (z) = \frac{q^{\frac{1}{4}}+q^{-\frac{1}{4}}}{2}    \left[ : \! \exp \left( \sum_{2 \nmid r} \frac{q^{-\frac{r}{4}}-q^{\frac{r}{4}}}{r} J_r  z^{-\frac{r}{2}} \right) \! : + : \! \exp \left( -\sum_{2 \nmid r} \frac{q^{-\frac{r}{4}}-q^{\frac{r}{4}}}{r} J_r  z^{-\frac{r}{2}} \right) \! : \right] \label{eq:quantum Virasoro}$$

Consider classical limit $q \rightarrow 1$. It is convenient to assume $q=e^{\hbar}$ and $\hbar \rightarrow 0$. If there exists an expansion $$\begin{aligned}
        T_1(z)= 2 + z^2 L(z) \hbar^2 + o(\hbar^2)
        \end{aligned}$$ then modes of current $L(z) = L_n z^{-n-2}$ form ‘not $q$-deformed’ Virasoro algebra. Note that $$\begin{aligned}
        T_1(z) \rightarrow  2 + z^2 \left(\frac{z^{-2}}{16} + \frac{1}{4} \sum :\!J_{\text{odd}}(z)^2\!\!: \right) \hbar^2 + o(\hbar^2)
        \end{aligned}$$ where $J_{\text{odd}}(z) = \sum_{2 \nmid r} J_r z^{-\frac{r}{2}-1}$. Hence $$\begin{aligned}
        L(z) = \frac{z^{-2}}{16} + \frac{1}{4} \sum :\!J_{\text{odd}}(z)^2\!\!:.
        \end{aligned}$$ Or equivalently $$\begin{aligned}
        L_k = \frac{1}{4} \sum_{\frac12 (r+s)=k} : \! J_r J_s \! : + \frac{1}{16} \delta_{k,0}. \label{eq:classical Virasoro}
        \end{aligned}$$ Formula is well-known; it coincides with [@Z eq.(2.16)] after substitution $J_r = 2I_{\frac12r}$. Let us emphasize that formula is a $q$-deformation of .

Relations on conformal blocks {#section: conformal}
=============================

Whittaker vector
----------------

In this section we define and study basic properties of Whittaker vector $W(z|u_1, \ldots, u_N) \in  \mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_N}$. We will restrict ourself to case when $\mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_N}$ is irreducible.

\[lemma 3.1 FJMM\] $\mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_N}$ is irreducible if $u_i/u_j \neq q^{k}$ for any $k \in \mathbb{Z}$.

Follows from the proof of [@FFJMM Lemma 3.1].

In papers [@N12] [@Ts] Whittaker vector is defined geometrically. We will define Whittaker vector by algebraic properties (cf. [@N12 Prop. 4.15]). Then we will prove that these properties define Whittaker vector uniquely up to normalization if the module $\mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_N}$ is irreducible.

\[def: Whit eigen\] Whittaker vector $W(z|u_1, \ldots, u_N) \in  \mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_N}$ is an eigenvector of operators $E_{a,b}$ for $Nb \geqslant a \geqslant 0$ with eigenvalues $$\begin{aligned}
        E_{0,k} \, W(z|u_1, \ldots, u_N) =&  \frac{z^k}{q^{k/2}-q^{-k/2}} W(z|u_1, \ldots, u_N) \label{eq: Whit eigen1} \\ 
        E_{Nk,k} \, W(z|u_1, \ldots, u_N) =& \frac{\big((-q^{-{\frac{1}{2}}}
            )^Nu_1 \cdots u_N z\big)^{k}}{q^{-k/2}-q^{k/2}} W(z|u_1, \ldots, u_N) \label{eq: Whit eigen2}
        \end{aligned}$$ for $k>0$; $$E_{k_1, k_2} W(z|u_1, \ldots, u_N) =0 \label{eq: Whit eigen3}$$ for $N k_2 > k_1 > 0$. We require $W(z|u_1, \ldots, u_N) = {|0 \rangle}\otimes \cdots \otimes {|0 \rangle}+ \cdots$ to fix normalization (by dots we mean lower vectors).

Whittaker vector is an element of graded completion of $\mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_N}$. Abusing notation, we use the same symbols for modules and their completions.

Whittaker vector is an eigenvector for surprisingly big algebra. This explains why we have to consider specific eigenvalues (for general eigenvalues there is no eigenvector in corresponding representation). Theorem \[th:Whit construction\] clarify origin of this eigenvalues.

\[th:Whittaker condition\] If $\mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_N}$ is irreducible, then there exists unique Whittaker vector.

One can find a proof of Theorem \[th:Whittaker condition\] in Appendix \[Appendix:Whittaker\]. This statement can be considered as a part of folklore; unfortunately, we do not know a precise reference for the theorem.

\[prop: Whit up to norm\] Decomposition of Whittaker vector $W(z^{1/n}|u) \in \mathcal{F}^{[1/n]}_{u}$ with respect to is given by Whittaker vectors $W(z | u q^{ l_0},  \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}})$ up to normalization.

The idea of the proof is that relations and for $N=1$ implies these relations for $N=n$. Let us work out conditions for $W(z | u q^{ l_0},  \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}})$ $$E_{nk,k} \, W(z | u q^{ l_0}, \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}}) = \frac{\left( \big(-q^{-{\frac{1}{2}}}
            \big)^n  \prod_k \left( u q^{\frac{k}{n}+ l_k} \right) z \right)^{k}}{(q^{-k/2}-q^{k/2})} W(z | u q^{ l_0}, \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}})$$

Let us calculate $$\left(-q^{-{\frac{1}{2}}} \right)^n  \prod_{k=0}^{n-1} \left( u q^{\frac{k}{n}+ l_k} \right)  = \left(-q^{-{\frac{1}{2}}}\right)^n u^n q^{\frac{n-1}{2}} = \left(-q^{-\frac{1}{2n}} u \right)^n$$ So $ W(z | u q^{ l_0},  \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}})$ is defined (up to normalization) by conditions

$$\begin{aligned}
        E_{0,k} \, W(z | u q^{ l_0},  \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}}) =&  \frac{z^k}{q^{k/2}-q^{-k/2}} W(z | u q^{ l_0},  \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}}) \label{eq:proof restr Prop9.1 1}\\ 
        E_{nk,k} \, W(z | u q^{ l_0},  \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}}) =& \frac{\left(-q^{-\frac{1}{2n}} z^{\frac{1}{n}}u \right)^{nk} }{q^{-k/2}-q^{k/2}} W(z | u q^{ l_0},  \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}})\\ 
        E_{k_1, k_2}  W(z | u q^{ l_0},  \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}}) =& 0    
        \label{eq:proof restr Prop9.1 2}
        \end{aligned}$$

for $k>0$ and $nk_2> k_1 >0$. Denote by $E^{[1/n]}_{a,b}$ generators of ${ \mathfrak{Diff}_{q^{1/n}} }$. Then $$\begin{aligned}
        E_{0,k} W(z^{1/n}|u) &= E^{[1/n]}_{0,nk} W(z^{1/n}|u) = 
        \frac {\left(z^{1/n} \right)^{nk}}  {   \left( q^{1/n} \right)^{nk/2}-\left( q^{1/n} \right)^{-nk/2}   } 
        \,  W(z^{1/n}|u) \label{eq:proof restr Prop9.1 3} \\
        E_{nk,k} W(z^{1/n}|u) &= E^{[1/n]}_{nk,nk} W(z^{1/n}|u) = \frac{\left(-q^{-\frac{1}{2n}} z^{\frac{1}{n}}u \right)^{nk} }{\left( q^{1/n} \right)^{-nk/2}-\left( q^{1/n} \right)^{nk/2}} \,   W(z^{1/n}|u) \label{eq:proof restr Prop9.1 4} \\
        E_{k_1, k_2} W(z^{1/n}|u)  &= E^{[1/n]}_{k_1, n k_2} W(z^{1/n}|u) =0
        \label{eq:proof restr Prop9.1 5}
        \end{aligned}$$

Note that conditions – and conditions – coincide. Hence each component of $W(z^{1/n}|u)$ also satisfy those conditions, i.e. coincide with Whittaker vector up to normalization.

### Whittaker vector for $\mathcal{F}_u$ {#sssec: Whit in 1Fock}

Recall that we use notation $c(\lambda) = \sum_{c \in \lambda} c(s)$.

\[prop: Whittaker Shur\] We have an expansion of vector $W(z|u)$ in the basis $|\lambda\rangle$ $$\label{eq:W:inlambda}
        W(z|u) = \sum \frac{q^{-\frac12c(\lambda)}  }{\prod_{s\in\lambda}\left(q^{\frac12h(s)}-q^{-\frac12h(s)}\right)} z^{| \lambda |} |\lambda\rangle$$

To prove the Proposition we need the following lemmas.

\[lemma: Whittaker Cond 1\] Following vectors in $\mathcal{F}_u$ coincide $$\exp\left(\sum_{k=1}^\infty \frac{z^k}{k(q^{k/2}-q^{-k/2})}a_{-k}\right)|\varnothing\rangle =\sum \frac{q^{-\frac12c(\lambda)}  }{\prod_{s\in\lambda}\left(q^{\frac12h(s)}-q^{-\frac12h(s)}\right)} z^{| \lambda |} |\lambda\rangle
        \label{eq:lemma: Whittaker Cond 1}$$

Recall Cauchy identity $$\exp \left( -\sum_k \frac1kp_k(x)p_k(y) \right)=\prod_{i,j}(1-x_iy_j )=\sum_{\lambda} (-1)^{|\lambda|} s_{\lambda'}(x)s_\lambda(y).$$ Let us use specialization of Cauchy identity (see [@M §1.4 Ex. 2]) $$\begin{aligned}
p_k(x) \mapsto& \frac{-z^k}{q^{k/2}-q^{-k/2}}, & s_{\lambda'}(x) \mapsto&  (-1)^{|\lambda|} \frac{q^{-\frac12c(\lambda)} z^{|\lambda|}}{\prod_{s\in\lambda}\left(q^{\frac12h(s)}-q^{-\frac12h(s)}\right)}.
        \end{aligned}$$ To finish the proof let us recall that there is an identification of space of symmetric polynomials and Fock module $F^a_{\alpha}$ given by $s_{\lambda} \mapsto | \lambda \rangle$ and $p_k \mapsto a_{-k}$ (see [@KR]).

For $|q| < 1$ this specialization comes from substitution $p_k(zq^{1/2},zq^{3/2},\ldots)$.

\[lemma: Whittaker Cond 2\] Following vectors in $\mathcal{F}_u$ coincide $$\label{eq:W:second}
        \exp\left(-\sum_{k=1}^\infty \frac{\left(-q^{-1/2}uz \right)^{k}}{k(q^{k/2}-q^{-k/2})}\rho(E_{-k,-k})\right)|\varnothing\rangle = \sum \frac{q^{-\frac12c(\lambda)}  }{\prod_{s\in\lambda}\left(q^{\frac12h(s)}-q^{-\frac12h(s)}\right)} z^{| \lambda |} |\lambda\rangle$$

Recall that we have defined an operator ${\mathrm{I}}_{\tau}$ by . Let us calculate $$\label{eq: Itau to Schur}
        {\mathrm{I}}_{\tau} \left( \sum \frac{q^{-\frac12 c(\lambda)}  }{\prod_{s\in\lambda}\left(q^{\frac12h(s)}-q^{-\frac12h(s)}\right)} z^{| \lambda |} |\lambda\rangle \right) = \sum \frac{u^{| \lambda |} q^{\frac12 c(\lambda) - \frac12 | \lambda|}  }{\prod_{s\in\lambda}\left(q^{\frac12h(s)}-q^{-\frac12h(s)}\right)} z^{| \lambda |} |\lambda\rangle$$ Proposition \[prop: I sigma\] implies that $$\label{eq: Itau to Newton}
        {\mathrm{I}}_{\tau} \left(\exp\left(-\sum_{k=1}^\infty \frac{\left(-q^{-1/2}uz \right)^{k}}{k(q^{k/2}-q^{-k/2})}\rho(E_{-k,-k})\right)|\varnothing\rangle \right) = \exp\left(-\sum_{k=1}^\infty \frac{\left(-q^{-1/2}uz \right)^{k}}{k(q^{k/2}-q^{-k/2})} a_{-k}\right)|\varnothing\rangle$$ Using Cauchy identity for another specialization $$\begin{aligned}
        p_k(x)& \mapsto \frac{\left(-q^{-1/2}u z \right)^k}{q^{k/2}-q^{-k/2}},& s_{\lambda'}(x)& \mapsto (-1)^{|\lambda|} \frac{u^{|\lambda|}q^{\frac12 c(\lambda) - \frac12|\lambda| }}{\prod_{s\in\lambda}\left(q^{\frac12h(s)}-q^{-\frac12h(s)}\right)} z^{|\lambda|},
        \end{aligned}$$ we see that RHS of and coincide.

For $|q| > 1$ this specialization comes from substitution $p_k(-zuq^{-1},-zuq^{-2},\ldots)$.

To prove the Proposition let us check that RHS of satisfy condition –. Conditions and are equivalent to Lemmas \[lemma: Whittaker Cond 1\] and \[lemma: Whittaker Cond 2\] correspondingly. To finish the proof we note that for $N=1$ conditions and imply .

Note that we did not use Theorem \[th:Whittaker condition\] in the proof of Proposition \[prop: Whittaker Shur\]. Moreover, we have proven a particular case of the Theorem for $W(z|u)$.

### Whittaker vector and restriction on sublattice

Let us recall interpretation of decomposition in terms of boson-fermion correspondence. One can identify $F^{n \psi} = F^{\psi}$. Embedding $F^a_{0} \subset F^{\psi}$ corresponded to embedding $F^{na} \otimes \mathbb{C}[{\mathbf{Q}_{(n)}}] \subset F^{n \psi} $. Hence we have decomposition $$\label{eq: n bonos n femion correspondance}
    F^a = \bigoplus_{l \in {\mathbf{Q}_{(n)}}} F^{na} \otimes e^{\sum_i l_i Q_i}$$ We argue by construction that decomposition correspond to .

\[prop: n-core\] Decomposition identifies ${|0 \rangle}\otimes e^{-\sum_i l_i Q_i}$ with $| \lambda \rangle$ for some $\lambda$. Moreover, partition $\lambda$ satisfy following properties.

(i) \[i\]Hooks of $\lambda$ are in bijection with tuples $\{ (i,j,k_i, k_j) \mid k_i<l_i; \ k_j \geqslant l_j; \ nk_i + i > nk_j + j \}$. Length of a hook corresponding to a tuple $(i, j, k_i, k_j)$ equals to $n(k_i - k_j) + i-j$

(ii) \[ii\] $\frac{1}{2} \sum_{i=0}^{n-1} (\frac{i}{n}+l_i)^2 = \frac{| \lambda |}{n} + \frac12 \sum_{i=0}^{n-1} \frac{i^2}{n^2}$.

The $n$-fermion Fock space $F^{n \psi}$ is isomorphic to tensor product $F^{ \psi}\otimes \dots \otimes F^{ \psi}$. The $n$-Heisenberg highest vectors are products $|l_0\rangle \otimes\dots \otimes |l_{n-1}\rangle$. After identification of $F^{n \psi}$ with one $F^{ \psi}$, these products becomes for special $\lambda$. Such diagrams $\lambda$ are called $n$-cores.

Combinatorially boson-fermion correspondence is a correspondence between Maya diagrams and charged partitions $(\lambda,l )$, see e.g. [@Negut15 Section 6.4] or [@FM]. The boxes of the partition corresponds to the pairs of white and black points in Maya diagram such that coordinate of white point is greater than coordinate of black point. The hook length equals difference between coordinates of white and black points (cf. [@Negut15 Section 6.4]). This proves .

For formula see e.g. [@FM Prop. 2.30].

Let $l_i > l_j$. Let us consider hooks with fixed $i$ and $j$ (see Proposition \[prop: n-core\]).

-   If $i>j$, then possible lengths of hooks are $nk+i-j$ for $k= 0$, $1$, $\ldots$, $l_i-l_j-1$.

-   If $i<j$ then possible lengths of hooks are $nk+i-j$ for $k= 1$, $2$, $\ldots$, $l_i-l_j-1$.

There are exactly $l_i-l_j-k$ such hooks of length $nk + i -j$ for all possible $k$.

For each $l \in {\mathbf{Q}_{(n)}}$ we will use notation $\prod_{(i,j,k)}$ for product over triples $(i,j,k)$ satisfying following conditions. Numbers $i, j$ run over $0, \dots, n-1$ with condition $l_i>l_j$. If $i>j$, then $k= 0$, $1$, $\ldots$, $l_i-l_j-1$; if $i<j$ then $k= 1$, $2$, $\ldots$, $l_i-l_j-1$.

\[corol: product s ijk\] If diagram $\lambda$ corresponds to ${|0 \rangle}\otimes e^{-\sum_i l_i Q_i}$, then $$\prod_{s\in\lambda}\left(q^{\frac12h(s)}-q^{-\frac12h(s)}\right) = \prod_{(i,j,k)} \left(q^{\frac12 (nk+i-j)}-q^{-\frac12(nk+i-j)}\right)^{l_i-l_j-k}.$$

\[th: Whit decomposition\] Decomposition of Whittaker vector $W(z^{1/n}|u^{1/n}) \in \mathcal{F}^{[1/n]}_{u^{1/n}}$ with respect to is given by $$\frac{q^{-\frac{1}{2n} c(\lambda)}   z^{\frac12 \sum \left( (l_i + \frac{i}{n})^2 - (\frac{i}{n})^2 \right)  }}{ \prod_{(i,j,k)} \left(q^{\frac12 \left(k+\frac{i-j}{n} \right)}-q^{-\frac12 \left(k+\frac{i-j}{n} \right)}\right)^{l_i-l_j-k} } \, W(z | u q^{ l_0},  \ldots  ,u q^{\frac{n-1}{n}+ l_{n-1}})$$

Recall that according to Proposition \[prop: Whit up to norm\] we just have to verify the coefficient. This coefficient can be found as coefficient of $W(z^{1/n}|u^{1/n})$ at highest vector of $\mathcal{F}_{u q^{ l_0}} \otimes \cdots \otimes \mathcal{F}_{u q^{\frac{k}{n}+ l_k
        }} \otimes \cdots  \otimes \mathcal{F}_{u q^{\frac{n-1}{n}+ l_{n-1}
        }}$.

By Proposition \[prop: Whittaker Shur\], coefficient of $W(z^{1/n}|u^{1/n})$ at $| \lambda \rangle$ is $$\label{eq: factor for lambda vs l}
        \frac{q^{-\frac{1}{2n} c(\lambda)} \, z^{\frac{| \lambda |}{n} }  }{\prod_{s\in\lambda}\left(q^{\frac{1}{2n}h(s)}-q^{-\frac{1}{2n}h(s)}\right)} = \frac{q^{-\frac{1}{2n} c(\lambda)} z^{\frac12 \sum \left( (l_i + \frac{i}{n})^2 - (\frac{i}{n})^2 \right)  }  }{ \prod_{(i,j,k)}  \left(q^{\frac12 \left(k+\frac{i-j}{n} \right)}-q^{-\frac12 \left(k+\frac{i-j}{n} \right)}\right)^{l_i-l_j-k} }.$$ Equality follows from Corollary \[corol: product s ijk\] and Proposition \[prop: n-core\] .

Shapovalov form
---------------

Let $M_1$, $M_2$ be two representations of ${\mathfrak{Diff}_q}$. A pairing $\langle-,-\rangle_s: M_1 \otimes M_2 \rightarrow \mathbb{C}$ is called Shapovalov if $\langle v, E_{a, b}w \rangle_s = -\langle E_{-a,-b}v, w \rangle_s$.

\[prop: Sapovalov p for Fock\] There exists a unique Shapovalov pairing $\mathcal{F}_{u} \otimes \mathcal{F}_{q u^{-1}} \rightarrow \mathbb{C}$ such that $\langle 0 | 0 \rangle_s =1$.

There exists a unique pairing on Fock space such that $a_k$ is dual to $-a_{-k}$. Since algebra ${\mathfrak{Diff}_q}$ is generated by modes of $E(z)$ and $F(z)$, it remains to check Shapovalov property for them. Formulas and implies $\langle v, E(z) w \rangle = -\langle F(z^{-1}) v, w \rangle$.

Note that this pairing differs from the pairing defined in Section \[boson\]. More precisely, in Section \[boson\] we required $a_k$ to be dual to $a_{-k}$, not $-a_{-k}$.

\[prop: U(1) Poch\] $\left\langle W(1| q u^{-1}), W(z|u) \right\rangle = (qz;q,q)_{\infty}$

Formulas and implies $$\label{eq: W via exponent}
            W(z|u) = 
        \exp\left(\sum_{k=1}^\infty \frac{z^k}{k(q^{k/2}-q^{-k/2})}a_{-k}\right)|\varnothing\rangle.$$ Using one can finish the by straightforward computation.

\[prop: Sapovalov p for Fermion\] There exists a unique Shapovalov pairing $\mathcal{M}_{u} \otimes \mathcal{M}_{u^{-1}} \rightarrow \mathbb{C}$ such that $$\label{eq: Fermion and Shapoval}
         \langle 1 | 0 \rangle_s =1 \quad \langle v, \psi_i w \rangle = \langle \psi_{-i} v,  w \rangle_s  \quad \langle v, \psi^*_i w \rangle = \langle \psi^*_{-i} v,  w \rangle_s$$

There exists unique pairing satisfying . The Shapovalov property can be checked directly using –.

\[prop: sign l\] Shapovalov pairing for Fock modules for basis $| \lambda \rangle$ has form $\langle \lambda | \mu \rangle_s = (-1)^{|\lambda|} \delta_{\lambda, \mu'}$.

Let $p_1, \ldots, p_i$ and $q_1, \ldots, q_i$ be Frobenius coordinates of $\lambda$; analogously, $\tilde{p}_1, \ldots, \tilde{p}_j$ and $\tilde{q}_1, \ldots, \tilde{q}_j$ be Frobenius coordinates of $\mu$. Using identification given by we obtain $$\label{eq: Sh prod in lam proof}
     \langle \mu, 1 | \lambda,0 \rangle_s = (-1)^{\sum_k (q_k-1)}  (-1)^{\sum_k (\tilde{q}_k-1)} \langle 1 | \psi_{\tilde{q}_1}^* \cdots \psi_{\tilde{q}_i}^* \psi_{\tilde{p}_i-1} \cdots \psi_{\tilde{p}_1-1}     \psi_{-p_1} \cdots \psi_{-p_i} \, \psi_{-q_i+1}^* \cdots \psi_{-q_1+1}^* {|0 \rangle}_s$$ Evidently, if this product is non-zero, then $i=j$, $q_k=\tilde{p}_k$, and $p_l = \tilde{q}_l$; this exactly means that $\mu = \lambda'$. It remains to calculate RHS of in this case; it equals $(-1)^{\sum_k q_k+\sum_l p_l+i^2}  = (-1)^{|\lambda|}$ since $|\lambda| = \sum_k q_k+\sum_l p_l-i $.

Standard Shapovalov pairing $\langle -, - \rangle_{ss} \colon M_1 \otimes M_2 \rightarrow \mathbb{C}$ for $M_1 = \mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_n} $ and $M_2 =  \mathcal{F}_{q/u_n} \otimes \cdots \otimes \mathcal{F}_{q/u_1}$ is defined by $$\langle x_1 \otimes \cdots \otimes x_n, \, y_n \otimes \cdots \otimes y_1 \rangle_{ss} = \prod_i \langle x_i ,  y_i \rangle_i$$ Here $\langle -,-\rangle_i$ stands for Shapovalov pairing $\mathcal{F}_{u_i} \otimes \mathcal{F}_{q u_i^{-1}} \rightarrow \mathbb{C}$ as in Proposition \[prop: Sapovalov p for Fock\].

\[prop: Shapoval sign\] Shapovalov pairing on $\mathcal{F}^{[1/n]}_{u} \otimes \mathcal{F}^{[1/n]}_{q^{\frac{1}{n}}/u}$ restricts to $(-1)^{| \lambda |} \langle -, - \rangle_{ss} \colon M_1 \otimes M_2 \rightarrow \mathbb{C}$ for $M_1 = \mathcal{F}_{u q^{ l_0}} \otimes \cdots  \otimes \mathcal{F}_{u q^{\frac{n-1}{n}+ l_{n-1}
        }}$ and $M_2 = \mathcal{F}_{ q^{\frac{1}{n}- l_{n-1}}/u} \otimes \cdots  \otimes \mathcal{F}_{q^{1- l_0}/u}$ [(]{}with respect to decomposition . Other pairs of direct summands are orthogonal.

Property $\langle v, E_{a, b}w \rangle_s = -\langle E_{-a,-b}v, w \rangle_s$ is preserved under restriction. Since module $M_1$ and $M_2$ are irreducible, there exists unique Shapovalov pairing $M_1 \otimes M_2 \rightarrow \mathbb{C}$. So restriction of pairing coincides with the standard pairing up to multiplicative constant. The constant equals to $\langle \lambda' | \lambda \rangle = (-1)^{|\lambda|}$ due to Proposition \[prop: sign l\] (and Proposition \[prop: n-core\]).

Orthogonality with all other summands also follows from Proposition \[prop: sign l\] and irreducibility.

Let us comment on another way to prove orthogonality mentioned in Proposition \[prop: Shapoval sign\]. All direct summands are pairwise non-isomorphic. Hence there is no non-zero pairing for all other pairs of direct summands.

Conformal blocks
----------------

Pochhammer and double Pochhammer symbols are defined by $$(u; q_1)_{\infty} = \prod_{i=0}^{\infty} (1-q_1^i u), \quad
        (u; q_1, q_2)_{\infty} = \prod_{i,j=0}^{\infty} (1-q_1^i q_2^j u).$$

Standard definition works for $|q_1|, |q_2|<1$ and any $u$. For sufficiently small $u$ double Pochhammer symbol can be presented as $(u;q_1, q_2)_{\infty} =\exp \left( -\sum_{k=1}^{\infty} \frac{u^k}{k(1-q_1^k)(1-q_2^k)} \right)$. The series in $u$ has non-zero radios of convergence for $|q_1|, |q_2| \neq 1$. Moreover the series enjoys property $(u; q_1^{-1}, q_2)_{\infty} = 1/(q_1 u; q_1,q_2)_{\infty}$, hence we can define double Pochhammer symbol for any $|q_1|, |q_2| \neq 1$.

In particular, new definition implies $(u; q, q^{-1})_{\infty} = 1/(qu; q,q)_{\infty}$; this is important to compare our formulas with [@BGM]. Below we assume $|q| \neq 1$.

\[def:conformal block\] Let us define $q$-deformed conformal block $$\begin{aligned}
 \label{eq: def q-der conf block}
        \mathcal{Z} (u_1, \ldots, u_n ; z) = z^{\frac{\sum (\log u_i)^2}{2 (\log q)^2}} \prod_{i \neq j} \frac{1}{(qu_i u_j^{-1}; q, q)_{\infty}} \left\langle W_u(1|qu_n^{-1}, \ldots, qu_1^{-1}) , W(z| u_1, \ldots, u_n) \right\rangle_{ss}
        \end{aligned}$$

AGT statement claims that function $\mathcal{Z} (u_1, \ldots, u_n ; z)$ is equal to Nekrasov partition function for pure supersymmetric $SU(n)$ 5d theory. This was conjectured in [@AY10], the proof follows from the geometric construction of the Whittaker vector given in the [@N12] and [@Ts].

\[Theorem: the relation\] $$\begin{aligned}
        z^{\frac12 \sum \frac{i^2}{n^2}} \prod_{i \neq j} \frac{1}{(q^{1+\frac{i-j}{n}}; q, q)_{\infty}} \left( q^{\frac{1}{n}} z^{\frac{1}{n}}; q^{\frac{1}{n}} ,q^{\frac{1}{n}} \right)_{\infty} = \sum_{(l_0, \ldots, l_{n-1}) \in {\mathbf{Q}_{(n)}}} \mathcal{Z} \left( q^{l_0}, q^{\frac{1}{n}+l_1}, \ldots, q^{\frac{n-1}{n} + l_{n-1}}; z \right)
        \end{aligned}$$

The idea of the proof is to find two different expressions for $\left\langle W(1| q^{1/n} ) , W(z^{1/n}|1) \right\rangle$ using Theorem \[th: Whit decomposition\]. To do this we need to simplify $\mathcal{Z} (u_1, \ldots, u_n ; z)$ after substitution $u_{i-1} = q^{\frac{i}{n}+l_i}$. Let us concentrate on the second factor of .

\[prop: Z 1-loop\] $$\prod_{i \neq j} \frac{\left( q^{1+\frac{i-j}{n}} ;q,q \right)_{\infty}}{ \left(q^{l_i - l_j+1+\frac{i-j}{n}};q,q \right)_{\infty}} = (-1)^{| \lambda |} \prod_{(i,j,k)} \frac{1}{\left(q^{\frac{k}{2}+\frac{i-j}{2n}}  -q^{-\frac{k}{2}-\frac{i-j}{2n}}  \right)^{2(l_i-l_j-k)}}$$

Let $l_i-l_j>0$. It is straightforward to check that $$\begin{aligned}
        \frac{\left( q^{1+\frac{i-j}{n}} ;q,q \right)_{\infty}}{\left(q^{l_i - l_j+1+\frac{i-j}{n}};q,q \right)_{\infty}} &= \left(q^{1+\frac{i-j}{n}} ; q \right)_{\infty}^{l_i-l_j} \prod_{k=1}^{l_i-l_j-1} \frac{1}{\left(1-q^{k+\frac{i-j}{n}} \right)^{l_i-l_j-k}} \label{eq: Poch1} \\
        \frac{\left(q^{1+\frac{j-i}{n}} ;q,q \right)_{\infty}}{\left(q^{l_j - l_i+1+\frac{j-i}{n}} ;q,q \right)_{\infty}} &= \left(q^{1+\frac{j-i}{n}}; q \right)_{\infty}^{l_j-l_i} \prod_{k=0}^{l_i-l_j-1} \frac{1}{\left(1-q^{-k-\frac{i-j}{n}}  \right)^{l_i-l_j-k}} \label{eq: Poch2}
        \end{aligned}$$

Denote by $v_{ij} = q^{\frac{i-j}{n}}$ for $i>j$ and $v_{ij} = q^{\frac{n+i-j}{n}} $ for $i<j$. Formulas – implies the following assertions. For $i>j$ $$\begin{gathered}
        \frac{\left( q^{1+\frac{i-j}{n}} ;q,q \right)_{\infty}}{\left(q^{l_i - l_j+1+\frac{i-j}{n}};q,q \right)_{\infty}} \times  \frac{\left(q^{1+\frac{j-i}{n}};q,q \right)_{\infty}}{\left(q^{l_j - l_i+1+\frac{j-i}{n}};q,q \right)_{\infty}} = \\ \left( v_{ij}; q \right)_{\infty}^{l_i-l_j} \left( v_{ji}; q \right)_{\infty}^{l_j-l_i} \prod_{k=0}^{l_i-l_j-1} \frac{(-1)^{l_i - l_j - k}}{\left(q^{\frac{k}{2}+\frac{i-j}{2n}}  -q^{-\frac{k}{2}-\frac{i-j}{2n}}  \right)^{2(l_i-l_j-k)}} \label{eq: Poch3}
        \end{gathered}$$ For $j>i$ $$\begin{gathered}
        \frac{ \left( q^{1+\frac{i-j}{n}} ;q,q \right)_{\infty}}{ \left(q^{l_i - l_j+1+\frac{i-j}{n}};q,q \right)_{\infty}} \times  \frac{\left(q^{1+\frac{j-i}{n}};q,q \right)_{\infty}}{ \left(q^{l_j - l_i+1+\frac{j-i}{n}};q,q \right)_{\infty}} = \\ \left( v_{ij}; q \right)_{\infty}^{l_i-l_j} \left( v_{ji}; q \right)_{\infty}^{l_j-l_i} \prod_{k=1}^{l_i-l_j-1} \frac{(-1)^{l_i - l_j - k}}{\left(q^{\frac{k}{2}+\frac{i-j}{2n}}  -q^{-\frac{k}{2}-\frac{i-j}{2n}}  \right)^{2(l_i-l_j-k)}} \label{eq: Poch4}
        \end{gathered}$$ Using identities –, we obtain $$\prod_{i \neq j} \frac{\left( q^{1+\frac{i-j}{n}} ;q,q \right)_{\infty}}{\left(q^{l_i - l_j+1+\frac{i-j}{n}};q,q \right)_{\infty}} = \prod_{(i,j,k)}  \frac{(-1)^{l_i - l_j - k}}{\left(q^{\frac{k}{2}+\frac{i-j}{2n}}  -q^{-\frac{k}{2}-\frac{i-j}{2n}}  \right)^{2(l_i-l_j-k)}}.$$ To finish the proof, it remains to clarify the sign. This product already appeared as the product over all hooks. For diagram $\lambda$ the number of hooks is $| \lambda |$.

We will provide two different expressions for $\left\langle W(1| q^{1/n} ) , W(z^{1/n}|1) \right\rangle$ to prove the theorem. On one hand (by Proposition \[prop: U(1) Poch\]) $$\begin{aligned}
        \left\langle W(1| q^{1/n} ) , W(z^{1/n}|1) \right\rangle = \left( q^{\frac{1}{n}} z^{\frac{1}{n}}; q^{\frac{1}{n}} ,q^{\frac{1}{n}} \right)_{\infty} \label{eq: proof conformal1}
        \end{aligned}$$ On the other hand (by Theorem \[th: Whit decomposition\] and Proposition \[prop: Shapoval sign\]) $$\begin{gathered}
        \left\langle W(1| q^{1/n} ) , W(z^{1/n}|1) \right\rangle = \sum_{(l_0, \ldots, l_{n-1}) \in {\mathbf{Q}_{(n)}}}  \frac{  z^{\frac12 \sum \left( (l_i + \frac{i}{n})^2 - (\frac{i}{n})^2 \right)  }  }{ \prod_{(i,j,k)} \left(q^{\frac12 (k+ \frac{i-j}{n} )}-q^{-\frac12  ( k+\frac{i-j}{n})}\right)^{2(l_i-l_j-k)}} \times \\ (-1)^{|\lambda|} \left\langle W(1 | q^{1-\frac{n-1}{n}- l_{n-1}} ,  \ldots  ,  q^{1-l_0}), W(z | q^{ l_0},  \ldots  , q^{\frac{n-1}{n}+ l_{n-1}}) \right\rangle_{ss}
        \label{eq: proof conformal2}
        \end{gathered}$$ Note that to prove we also used following observations: lengths of hooks in $\lambda$ and $\lambda'$ coincides, and $c(\lambda)+ c(\lambda')=0$.

Multiplying RHS of and by $z^{\frac12 \sum \frac{i^2}{n^2}} \prod_{i \neq j} \frac{1}{\left(q^{1+\frac{i-j}{n}}; q, q \right)_{\infty}}$ we obtain $$\begin{aligned}
        z^{\frac12 \sum \frac{i^2}{n^2}} \prod_{i \neq j} \frac{1}{(q^{1+\frac{i-j}{n}}; q, q)_{\infty}} \left( q^{\frac{1}{n}} z^{\frac{1}{n}}; q^{\frac{1}{n}} ,q^{\frac{1}{n}} \right)_{\infty} = \sum_{(l_0, \ldots, l_{n-1}) \in {\mathbf{Q}_{(n)}}} \mathcal{Z} \left(q^{l_0}, q^{\frac{1}{n}+l_1}, \ldots, q^{\frac{n-1}{n} + l_{n-1}}; z \right)
        \end{aligned}$$ Note that here we applied Proposition \[prop: Z 1-loop\].

Regular product {#nonorm}
===============

In this section we develope general theory of regular product. Term ‘regular product’ should be considered as an opposite to regularized (i.e. normally ordered) product.

Let $A(z) = \sum_{k \in \mathbb{Z}} A_k z^{-k}$ be a formal power series with coefficients in $\operatorname{End}(V)$ for a vector space $V$.

The series $A(z)$ is called smooth if for any vector $v \in V$ there exists $N$ such that $A_k v = 0$ for $k \geqslant N$.

Let $G(z,w) = \sum_{k,l \in \mathbb{Z}}G_{k,l} z^{-k} w^{-l}$ be a formal power series in two variables with operator coefficients. The operators $G_{k,l}$ acts on a vector space $V$.

\[def:regular\] We will call $G(z,w)$ regular if for any $N$ and for any $v \in V$ there are only finitely many $G_{k,l}$ such that $k+l=N$ and $G_{k,l} v \neq 0$.

If a current $G(z,w)$ in two variables is regular one can substitute $w=az$ and obtain well-defined power series $G(z, az)$ for any $a \in \mathbb{C}$.

Let $A(z)$ and $B(w)$ be two smooth formal power series with operator coefficients. Recall definition of normal ordering. Denote $A_+ (z) = \sum_{k \geqslant 0} A_{-k} z^{k}$ and $A_- (z) = \sum_{k < 0} A_{-k} z^{k}$.

\[def:norm\] Normal ordered product is defined as $: \! A(z) B(w) \! : \ = A_+ (z) B(w) + (-1)^{\epsilon} B(w) A_- (z)$

The sign $(-1)^{\epsilon}$ depends on *parity* of $A(z)$ and $B(z)$ in the standard way. Note that smooth formal power series in two variables $: \! A(z) B(w) \! :$ is regular. Formal power series $A(z)$ and $B(z)$ are called local (in weaker sence) if $$\begin{aligned}
 \label{def:weakLocal}
    A(z)B(w)-(-1)^{\epsilon} B(w) A(z) = \sum_{i=1}^{N} \sum_{j=0}^{s_i} C_{j}^{(i)} \! (w) \ \partial_w^j \delta(a_i z, w)
    \end{aligned}$$ where $s_1, \ldots, s_N \in \mathbb{Z}_{\geq 0},$ $a_1, \ldots a_N \in \mathbb{C}$ and $C_{j}^{(i)} \! (w)$ are operator valued power series.

Then one has the following OPE

$$\begin{aligned}
    A(z) B(w) = \sum \frac{C_{j}^{(i)} \! (w)}{(a_i z)^j \left(1-\frac{w}{a_i z} \right)^{j}}+: \! A(z) B(w) \! : \label{OPE}
    \end{aligned}$$

If currents $A(z)$ and $B(w)$ are smooth and satisfy , then the following product is regular.

\[def: the product\] For $a \neq a_i$ define regular product

$$\begin{aligned}
        A(z) B(az) :=  \frac{ \left. \Big( (a_1 z - w)^{s_1} \cdots (a_N z - w)^{s_N} A(z) B(w) \Big) \right|_{w=az}}{(a_1 z - az)^{s_1} \cdots (a_N z - az)^{s_N}} 
        \end{aligned}$$

From one obtains that normally ordered product and regular product are connected by following relation

$$\begin{aligned}
    A(z) B(az) = \sum \frac{C_{j}^{(i)} \! (az)}{(a_i z)^j (1-a/a_i)^{j}}+: \! A(z) B(az) \! : 
    \end{aligned}$$

Let us consider case of fermions $A(z) = \psi(z)$, $B(z) = \psi^*(z)$, introduced in Section \[fermi\]. Beware, that we use notation $A(z)=A_k z^{-k}$, but $\psi(z) = \psi_i z^{-i-1}$ (hence $A_k = \psi_{k-1}$). Comparing formulas – with Definition \[def:norm\], we conclude $$\begin{aligned}
        : \! \psi(z) \psi^* (w) \! : \ = : \psi(z) \psi^*(w):_{(0)}
        \end{aligned}$$ Using $l$-depended normal ordering, we obtain $$\begin{aligned}
 \label{eq: regul prod psipsi}
        \psi(z) \psi^* (w) = \frac{w^l z^{-l-1}}{1-w/z} + : \! \psi (z) \psi^* (w) \! :_{(l)}
        \end{aligned}$$ Hence $$\begin{aligned}
        \psi(z) \psi^* (q z) = \frac{q^l}{1-q} z^{-1} + : \! \psi (z) \psi(qz) \! :_{(l)}
        \end{aligned}$$ This relation was used in formula .

Let $A(z)=B(z)=E(z)$. Then $$\begin{aligned}
        E(z) E(w) = \frac{q^{-1}w}{z-q^{-1}w} E_{2}(q^{-1}w) - \frac{q w }{z-q w} E_{2}(w) + :E(z) E(w):
        \end{aligned}$$ Therefore, $$\begin{aligned}
        E^2 (w)= \frac{1}{q-1} E_{2}(q^{-1}w) + \frac{q}{q-1 } E_{2}(w) + :E(w) E(w): \label{eq:E^2andE_2}
        \end{aligned}$$ Let us comment on deep meaning of formula . One can present algebra ${\mathfrak{Diff}_q}$ using currents $E_k(z)$ (currents of Lie algebra type) or $E^k(z)$ (currents of $q$-$W$ algebra type). This two series of currents are connected in non-trivial way starting from $k=2$. For $k=2$ they are related by . For general $k$ see formula (7.17) in [@N16].

\[prop:ass&comm\] Regular product is (super) commutative and associative $$\begin{aligned}
        A(z)B(az)=& (-1)^{\epsilon} B(az) A(z)\\
        A(a_1z)\left( B(a_2z) C(a_3z) \right) =& \left( A(a_1z) B(a_2z) \right) C(a_3z)
        \end{aligned}$$ (of course we assume that these regular products are well defined).

\[prop:deriv\] Let $A(z)$, $B(z)$, and $a\in \mathbb{C}$ be as in Definition \[def: the product\].Then $$\begin{aligned}
        \partial_z \left( A(z) B(az) \right)= A'(z) B(az) + aA(z) B'(az)
        \end{aligned}$$

Let $f(z,w)$ be a polynomial such that following power series in two variables are regular $$\left( \partial_z f(z,w) \right) A(z) B(w), \quad \left( \partial_w f(z,w) \right) A(z) B(w), \quad f(z,w) \left( \partial_z A(z) \right) B(w), \quad f(z,w) A(z) \left( \partial_w B(w) \right).$$ Moreover, assume that $f(z, az) \neq 0$. It is easy to see that such $f(z,w)$ exists. $$\partial_z \left( A(z) B(az) \right)= (\partial_{z} + a \partial_{w}) \left. \frac{f(z,w) A(z) B(w)}{f(z,az)} \right|_{w=az}$$ One should differentiate this expression by application of Leibniz rule (and obtain six summands). Due to our assumptions, each of this summands is regular in sense of Definition \[def:regular\]. Hence, one can substitute $w=az$ to each summand separately. Proof is finished by straightforward computation.

As a corollary we prove formula .

$$\left. \partial_z \mathbb{E}^{(k+1)} (z,w) \right|_{z=w}= \left. (z-qw)(z-q^{-1}w) E'(z) E^{k}(w) + (2z-qw-q^{-1}w) E(z) E^{k}(w) \right|_{z=w}$$ $$\left. \frac{(z-qw)^2 (z-q^{-1}w)^2}{(1-q)(1-q^{-1})z^2} E'(z) E^{k}(w) + \frac{(z-qw)(z-q^{-1}w)}{(1-q)(1-q^{-1})z^2}(2z-qw-q^{-1}w) E(z) E^{k}(w) \right|_{z=w}$$ Note that each summand is regular. Hence, we are allowed substitute $z=w$ to each of them separately $$\label{proving 728}
        \left. \partial_z \mathbb{E}^{(k+1)} (z,w) \right|_{z=w}=  (1-q) (1-q^{-1}) w^2 E'(w) E^{k}(w) + (2-q-q^{-1}) w  E^{k+1}(w)$$ Using Propositions \[prop:ass&comm\] and \[prop:deriv\], we can prove inductively that $\partial_w E^{k+1}(w)= (k+1) E'(w) E^{k}(w)$. To finish the proof, we substitute last formula into .

Serre relation {#Appendix:Serre}
==============

This appendix is devoted to detailed study of Serre relation. $$\begin{aligned}
    z_2 z_3^{-1} [E(z_1), [E(z_2), E(z_3)]] + \mathrm{cyclic} =0.
    \end{aligned}$$ Let ${\bar{E}}(z)$ be a current satisfying $$\begin{aligned}
 \label{bEbilinar}
    (z-qw)(z-q^{-1}w) [ {\bar{E}}(z),{\bar{E}}(w)]=0.
    \end{aligned}$$

Let us emphasize the difference between $E(z)$ and ${\bar{E}}(z)$. Current $E(z)$ is a current from ${\mathfrak{Diff}_q}$, but current ${\bar{E}}(z)$ is just a current satisfying . We need ${\bar{E}}(z)$ to formulate equivalent conditions to Serre relations.

Define $\delta(z_1/z_2/z_3)= \sum_{a+b+c=0} z_1^a z_2^b z_3^c$ for $a,b,c \in \mathbb{Z}$.

\[Prop:withoutSerre\] There exist three currents $R_1(z)$, $R_2(z)$ and ${\bar{E}}_3(z)$ such that triple commutator $[ {\bar{E}}(z_1) , [ {\bar{E}}(z_2), {\bar{E}}(z_3) ]]$ equals to $$\begin{gathered}
 \label{eq:general3comm}
        {\bar{E}}_3(z_1) \delta(q^2 z_1/q z_2 /z_3) - {\bar{E}}_3(z_2) \delta(q^2 z_2/ qz_3/z_1 ) - {\bar{E}}_3 (z_1) \delta(q^2z_1/ qz_3 / z_2) + {\bar{E}}_3 (z_3) \delta(q^2z_3/qz_2/z_1)+ \\
        R_1(z_1) \delta(z_1/ qz_2/ z_3) - R_1(z_1) \delta(z_1/ z_2/ qz_3) + R_2(z_1) \delta(z_1/z_2/q^{-1}z_3)  - R_2(z_1) (z_1/q^{-1}z_2/z_3).
        \end{gathered}$$

First of all, note that condition is equivalent to existence of currents ${\bar{E}}_2(z)$ and ${\bar{E}}^{\circ}_2(w)$ such that $$\label{eq: bar E two}
        [{\bar{E}}(z), {\bar{E}}(w)] = {\bar{E}}_2(z) \delta(w/qz) - {\bar{E}}^{\circ}_2(w) \delta(z/qw).$$ Commutator $[{\bar{E}}(z), {\bar{E}}(w)]$ is skew symmetric on $z$ and $w$, hence ${\bar{E}}_2(z) = {\bar{E}}^{\circ}_2(z)$ Now consider triple commutator $[ {\bar{E}}(z_1) , [ {\bar{E}}(z_2), {\bar{E}}(z_3) ]$. Jacobi identity and relation imply $$\label{eq: triple bar E}
        (z_1 -qz_2)(z_1-q^{-1}z_2)(z_1-qz_3)(z_1-q^{-1}z_3) [ {\bar{E}}(z_1) , [ {\bar{E}}(z_2), {\bar{E}}(z_3) ] = 0$$ Substituting to , we obtain $$\begin{gathered}
        (z_1 -qz_2)(z_1-q^{-1}z_2)(z_1-q^2 z_2)(z_1-z_2) [ {\bar{E}}(z_1) , \bar{E}_2(z_2) ] \delta(z_3/qz_2) + \\
        (z_1 -q^2 z_3)(z_1-z_3)(z_1-q z_3)(z_1-q^{-1} z_3) [ {\bar{E}}(z_1) , \bar{E}_2(z_3) ] \delta(z_2/qz_3)= 0
        \end{gathered}$$ This implies that $\left[ {\bar{E}}(z_1) [{\bar{E}}(z_2), {\bar{E}}(z_3)] \right]$ is indeed a sum of triple delta functions with some operator coefficients as in ; it remains to prove proposed relations on the coefficients.

Note that triple commutator $\left[ {\bar{E}}(z_1) , [ {\bar{E}}(z_2), {\bar{E}}(z_3)] \right]$ is skew symmetric on $z_2, z_3$. Also note that the sum over cyclic permutations is zero. This implies relation .

\[prop:R1R2\] Serre relation for ${\bar{E}}(z)$ is equivalent to $R_1(z)=R_2(z)=0$.

Straightforward computation.

Operator product expansion for $E(w_1) \cdots E(w_k)$
-----------------------------------------------------

One can find reformulation of Serre relation in terms of OPE in [@FJMM Section 3.3]

Formal power series in three variables ${\bar{E}}(z_1) {\bar{E}}(z_2) {\bar{E}}(z_3)$ can be presented as sum some of regular part and singular part. Regular part is some regular power series in three variables, singular part has a form $$\begin{gathered}
        \sum_{\epsilon_1, \epsilon_2 = \pm 1} \Big( (1-q^{\epsilon_1}\frac{z_2}{z_1})^{-1} (1-q^{\epsilon_2}\frac{z_3}{z_1})^{-1} R^{(1)}_{\epsilon_1, \epsilon_2} (z_3)+(1-q^{\epsilon_1}\frac{z_2}{z_1})^{-1} (1-q^{\epsilon_2}\frac{z_3}{z_2})^{-1} R^{(2)}_{\epsilon_1, \epsilon_2} (z_3) + \\ (1-q^{\epsilon_1}\frac{z_3}{z_1})^{-1} (1-q^{\epsilon_2}\frac{z_3}{z_2})^{-1} R^{(3)}_{\epsilon_1, \epsilon_2} (z_3) \Big)+ \sum_{\epsilon = \pm 1} \Big( (1-q^{\epsilon}\frac{z_3}{z_2})^{-1}  R^{(1)}_{\epsilon} (z_1, z_3)+ \\ (1-q^{\epsilon}\frac{z_3}{z_1})^{-1}  R^{(2)}_{\epsilon} (z_2, z_3)+(1-q^{\epsilon}\frac{z_2}{z_1})^{-1}  R^{(3)}_{\epsilon} (z_1, z_3)  \Big) + \mathrm{reg}
        \end{gathered}$$

Denote $G(z_1, z_2, z_3) :=  \prod_{i<j} (z_i - q z_j)(z_i - q^{-1} z_j) \ E(z_1) E(z_2) E(z_3)$. Relation yields $G(z_1, z_2, z_3)$ to be regular.

\[prop:SerreOPE\] Serre relation for ${\bar{E}}(z)$ is equivalent to condition that singular part of $E(z_1) E(z_2) E(z_3) $ restricted to $z_1=z_3$ has no poles of order greater than 1.

Note that second order pole can appear only from terms of form $$\left(1-q^{ \epsilon} \frac{z_2}{z_1} \right)^{-1} \left(1-q^{-\epsilon}\frac{z_3}{z_2} \right)^{-1} R^{(2)}_{\epsilon , -\epsilon} (z_3)$$ for $\epsilon = \pm 1$. Note that these two poles can not cancel because they are at the different points $z_1 = q^{\epsilon} z_2$. On the other hand, $R_1(z) =  R^{(2)}_{1 , -1} (z)$ and $R_2(z) = R^{(2)}_{-1 , 1} (z)$. Application of Proposition \[prop:R1R2\] completes the proof.

\[Corollary:EE\^k\] $E(z) E^k(w)$ has no poles of order greater than one. Poles may appear only at points $z=q^{\pm 1} w$.

To study $E(z) E(w)^k$ we will consider OPE $E(z) E(w_1)\cdots E(w_{k})$ and substitute $w_i=w$. Only term $(z-q^{\epsilon} w_i)^{-1} (z-q^{\epsilon}w_j)^{-1} \dots$ can give poles of order higher than 1 after substitution. OPE is symmetric on $z, w_1, \ldots, w_{k}$ as a rational function. We will consider order $\big( E(w_i) E(z) E(w_j) \big) \cdots$. According to Proposition \[prop:SerreOPE\], the term $(z-q^{\epsilon} w_i)^{-1} (z-q^{\epsilon}w_j)^{-1} \dots$ does not appear.

Homomorphism from ${\mathfrak{Diff}_q}$ to ${W}$-algebra {#Appendix:HomWD}
========================================================

This appendix is devoted to proof of Propositions \[prop:HomDWtw\]. The proof is a straightforward check of relation from Proposition \[relation\]. The relations will be checked for operators $$\begin{aligned}
    {\tilde{H}}(z) &= \sum_{j \neq 0} {\tilde{H}}_j z^{-j}, \quad c=n, \quad c'=n_{tw}, \\
    {\tilde{E}}(z) &= \mu \exp \left( \frac{1}{n}{{\tilde{\varphi}}_-(z)} \right) T_1(z) \exp \left( \frac{1}{n} {\tilde{\varphi}}_+ (z) \right),  \\
    {\tilde{F}}(z) &= - \frac{\mu^{-1} z^{-n_{tw}}}{(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2}  \exp \left(- \frac{1}{n}{{\tilde{\varphi}}_-(z)} \right) T_{n-1}(z) \exp \left( -\frac{1}{n} {\tilde{\varphi}}_+ (z) \right).
    \end{aligned}$$

Relations , are satisfied.

Straightforward.

Currents ${\tilde{E}}(z)$ and ${\tilde{F}}(z)$ satisfy relation .

It is easy to see that $$\begin{gathered}
        {\tilde{E}}(z) {\tilde{E}}(w) = \frac{(1-\frac{w}{z})^{2}}{(1-q\frac{w}{z})(1-q^{-1} \frac{w}{z} )}  f_{1, n} (w/z) \ \mu^2 \\ \exp \left( \frac{1}{n} ({\tilde{\varphi}}_- (z) + {\tilde{\varphi}}_- (w))  \right) T_1 (z) T_1(w) \exp \left( \frac{1}{n} ({\tilde{\varphi}}_+ (z) + {\tilde{\varphi}}_+ (w))  \right)
        \end{gathered}$$ Thus, $$\begin{gathered}
        (z-qw)(z-q^{-1}w) \left( {\tilde{E}}(z) {\tilde{E}}(w) - {\tilde{E}}(w) {\tilde{E}}(z)  \right)= (z-w)^2 \exp \left( \frac{1}{n} ({\tilde{\varphi}}_- (z) + {\tilde{\varphi}}_- (w))  \right) \\ \left( f_{1,n}(w/z) T_1(z) T_1(w) - f_{1,n} (z/w) T_1(w) T_1(z) \right) \exp  \left( \frac{1}{n} ({\tilde{\varphi}}_+ (z) + {\tilde{\varphi}}_+ (w))  \right)=0
        \end{gathered}$$ Proof for ${\tilde{F}}(z)$ is analogous.

Currents ${\tilde{E}}(z)$ and ${\tilde{F}}(z)$ satisfy relation for $c=n$ and $c'=n_{tw}$.

It is easy to see that $$\begin{gathered}
        {\tilde{E}}(z) {\tilde{F}}(w) =  -\frac{1}{(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2} f_{n-1,n} (w/z) \\  \exp \left( \frac{1}{n} ( {\tilde{\varphi}}_- (z) - {\tilde{\varphi}}_- (w))  \right) T_1 (z) T_{n-1}(w) \exp \left( \frac{1}{n} ({\tilde{\varphi}}_+ (z) - {\tilde{\varphi}}_+ (w))  \right) w^{-n_{tw}} \end{gathered}$$ Thus, $$\begin{gathered}
        \left[ {\tilde{E}}(z) , {\tilde{F}}(w) \right] = \\ \exp \left( \frac{1}{n} \left({\tilde{\varphi}}_- (z) - {\tilde{\varphi}}_- (w) \right)  \right)   \left( n \frac{w}{z} \delta' \left( \frac{w}{z} \right) w^{n_{tw}} + w \delta \left(\frac{w}{z} \right) \partial_w w^{n_{tw}} \right)   \exp \left( \frac{1}{n} \left({\tilde{\varphi}}_+ (z) - {\tilde{\varphi}}_+ (w) \right)  \right) w^{-n_{tw}}
        \end{gathered}$$ Consequently, $$[{\tilde{E}}(z) , {\tilde{F}}(w)] =  n \frac{w}{z} \delta' \left(\frac{w}{z} \right) +  \left( {\tilde{H}}(q^{-{\frac{1}{2}}}z) - {\tilde{H}}(q^{{\frac{1}{2}}}z) + n_{tw} \right) \delta \left(\frac{w}{z} \right)$$

Denote by ${\tilde{\mathbb{E}}^{(2)}}(z,w)=(z-qw)(z-q^{-1}w) {\tilde{E}}(z) {\tilde{E}}(w)$.

\[App:Lemma:E\^2\] ${\tilde{E}}^2(z) = 2 \mu^2 \exp \left( \frac{2}{n} {\tilde{\varphi}}_-(z) \right) T_2(z) \exp \left( \frac{2}{n} {\tilde{\varphi}}_+(z) \right)$

$$\begin{gathered}
        f_{1,n}(w/z) T_{1}(z) T_{1} (w) - f_{1,n}(z/w) T_1(w) T_1 (z) = \\ \mu^{-2} \exp \left( - \frac{1}{n} \left( {\tilde{\varphi}}_-(z) +  {\tilde{\varphi}}_- (w) \right)  \right) \ {\tilde{\mathbb{E}}^{(2)}}(z,w) \ \exp \left( - \frac{1}{n} \left( {\tilde{\varphi}}_+(z) +  {\tilde{\varphi}}_+ (w) \right) \right) \ \partial_w \left( w^{-1} \delta(w/z) \right) = \\
        - \mu^{-2}(q^{{\frac{1}{2}}}-q^{-{\frac{1}{2}}})^2 \exp \left(- \frac{2}{n} {\tilde{\varphi}}_-(w) \right) {\tilde{E}}^{2}(w) \exp \left(- \frac{2}{n} {\tilde{\varphi}}_+(w) \right) \frac{w}{z} \delta'(w/z) + \cdots \delta(w/z)
        \end{gathered}$$

On the other hand, LHS can be found from relation . Comparing coefficients of $\delta'(w/z)$ completes the proof.

${\tilde{E}}(z)$ and ${\tilde{F}}(z)$ satisfy Serre relation .

Using Lemma \[App:Lemma:E\^2\], we see that $$\begin{gathered}
        {\tilde{E}}(z) {\tilde{E}}^2(w) = 2\mu^3 \frac{ (1-\frac{w}{z})^{2}}{ (1-q\frac{w}{z}) (1-q^{-1}\frac{w}{z})} \\ \exp \left(  \frac{1}{n} \left( {\tilde{\varphi}}_-(z) + 2 {\tilde{\varphi}}_- (w) \right)  \right)  f_{2,n}(w/z) T_{1}(z) T_{2} (w) \ \exp \left( \frac{1}{n} \left( {\tilde{\varphi}}_+(z) + 2 {\tilde{\varphi}}_+ (w) \right) \right)
        \end{gathered}$$

Note that $(z-w)^2 f_{2,n}(w/z) T_{1}(z) T_{2} (w)$ is regular. Proposition \[prop:SerreOPE\] completes the proof of Serre relation for ${\tilde{E}}(z)$. Proof for ${\tilde{F}}(z)$ is analogous.

Whittaker vector {#Appendix:Whittaker}
================

Uniqueness of Whittaker vector
------------------------------

Recall that operators $E^k[d]$ are defined by $E^k(z) = \sum_d E^k[d] z^{-d}$.

Whittaker vector $W(z|u_1, \ldots, u_n)$ is annihilated by $E^k[d]$ for $d>0$ and $k=1, \ldots, n-1$.

Actually we will prove that Whittaker vector is annihilated by $E^k[d]$ for $nd >k$. To do this we will need [@N16 eq. (7.17)]. Let us rewrite this with respect to our notation $$\begin{aligned}
        E^k[d] = \sum_{t \geqslant 1} (-1)^{k-t} \sum_{v= \{ \frac{d_1}{k_1} \leqslant \frac{d_2}{k_2} \leqslant \dots \leqslant \frac{d_t}{k_t} \} }^{\substack{k_i \in \mathbb{N}, \ d_i \in \mathbb{Z};\\k_1 + \cdots + k_t = k\\d_1 + \cdots + d_t = d}} c_v E_{k_1,d_1} \cdots E_{k_t, d_t}. \label{Negut formula}
        \end{aligned}$$

Here $c_v$ denotes some combinatorially defined coefficient, which is not quite important for us. Inequality $nd >k$ implies $nd_t > k_t$; therefore $E_{k_t, d_t} W(z|u_1, \ldots, u_n) =0$. So, any summand of RHS annihilates Whittaker vector.

Let us denote $\Wgl := \mathcal{W}_{q}(\mathfrak{gl}_n,0)= U({\mathfrak{Diff}_q})/J_{n,0}$. Denote Verma module for $\Wgl$ by ${\mathcal{V}^{\Wgl}_{\lambda_1, \dots, \lambda_d} }$ (cf. Definition \[definition: Verma\]).

For each graded ${\mathfrak{Diff}_q}$ module $M$ let us define Shapovalov dual module $M^{\vee}$. As a vector space $M^{\vee}$ is graded dual to $M$. Action is defined by requirement that canonical pairing $M^{\vee} \otimes M \rightarrow \mathbb{C}$ is Shapovalov.

Finally note that involution $E_{a,b} \mapsto E_{-a,-b}$ maps ideal $J_{n,0}$ to $J_{n,0}$ (maybe with different $\mu$). Hence if $M$ is a $\Wgl$-module then so is $M^{\vee}$.

\[cor:Whit uniquness\] Let $u_i/u_j \neq q^k$ for any $k \in \mathbb{Z}$ (cf. Lemma \[lemma 3.1 FJMM\]). There is no more than one Whittaker vector $W(z|u_1, \ldots, u_N) \in  \mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_N}$.

Denote by $\mathfrak{n}$ a subalgebra of $\Wgl$ generated by $E^k[d]$ and $H_j$ for $k=1, \ldots, n-1$, $d > 0$ and $j>0$. Analogously, let $\mathfrak{n}^{\vee}$ be a subalgebra of $\Wgl$ generated by $F^k[-d]$ and $H_{-j}$ for $k=1, \ldots, n-1$, $d > 0$ and $j>0$. Note that involution $E_{a,b} \mapsto E_{-a,-b}$ induces an involoution on $\Wgl$ which swaps $\mathfrak{n}$ and $\mathfrak{n}^{\vee}$.

Consider $\mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_n}$ as a $\Wgl$-module. Whittaker vector is an eigenvector for $\mathfrak{n}$. Hence, it is enough to show that $\mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_n}$ is cocyclic for $\mathfrak{n}$. Equivalently, we need to prove that Shapovalov dual module $\left( \mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_n} \right)^{\vee} \cong  \mathcal{F}_{q/u_n} \otimes \cdots \otimes \mathcal{F}_{q/u_1}$ is cyclic for $\mathfrak{n}^{\vee}$.

Fock module $\mathcal{F}_{q/u_n} \otimes \cdots \otimes \mathcal{F}_{q/u_1}$ is isomorphic to Verma module ${\mathcal{V}^{\Wgl}_{\lambda_1, \dots, \lambda_d} }$ for corresponding $\lambda_j$ by Theorem \[Th: Verma vs Fock\]. Verma module ${\mathcal{V}^{\Wgl}_{\lambda_1, \dots, \lambda_d} }$ is cyclic for $\mathfrak{n}^{\vee}$ by an analogue of Proposition \[prop: cyclic Verma\] for $F^k[d]$.

Construction of Whittaker vector {#section: construction of Whittaker}
--------------------------------

Let $(n_1', n_1)$ and $(n_2', n_2)$ be a basis of $\mathbb{Z}^2$.

\[Th: AFS\] There exist homomorphisms $$\begin{aligned}
        \Phi\colon \mathcal{F}_{u}^{(n'_1,n_1)} \otimes \mathcal{F}_{v}^{(n_2',n_2)} \rightarrow \mathcal{F}_{- q^{-1/2} uv}^{(n_1'+n_2', n_1+n_2)}, \\
        \Phi^*\colon \mathcal{F}_{- q^{-1/2} uv}^{(n_1'+n_2', n_1+n_2)} \rightarrow  \mathcal{F}_{u}^{(n'_1,n_1)} \otimes \mathcal{F}_{v}^{(n_2',n_2)}. 
        \end{aligned}$$ These homomorphisms are defined uniquely up to normalization.

\[remark: inf sum\] Actually operators $\Phi$ and $\Phi^*$ maps to graded completion of $\mathcal{F}_{-q^{-1/2} uv}^{(n_1'+n_2', n_1+n_2)}$ and $\mathcal{F}_{u}^{(n'_1,n_1)} \otimes \mathcal{F}_{v}^{(n_2',n_2)}$ correspondingly. Abusing notation, we will use the same symbol for module and its completion. Moreover, we are going to consider composition of such $\Phi^*$; there appear an infinite sums as a result of such composition (a priori this sum does not make sense). We will use calculus approach to infinite sums; below we will provide sufficient condition for convergence of the series.

Denote by $\Phi^*_{\mu}(u)$ component of $\Phi^*$ corresponding to $| \mu \rangle \in \mathcal{F}_{u}^{(n'_2,n_2)}$. More precisely, for any $x$ in $\mathcal{F}_{- q^{-1/2} uv}^{(n_1'+n_2', n_1+n_2)}$. $$\begin{aligned}
    \Phi^* \cdot x = \sum_{\mu}   | \mu \rangle \otimes \left( \Phi_{\mu}^*(u) \cdot x \right) 
    \end{aligned}$$ To simplify our notation we will consider particular case $$\Phi^* \colon \mathcal{F}_{- q^{-1/2} uv}^{(1, -k)} \rightarrow \mathcal{F}_{u}^{(0,1)} \otimes \mathcal{F}_{v}^{(1,-k-1)}$$ Note that both $\mathcal{F}_{- q^{-1/2} uv}^{(1, -k)}$ and $\mathcal{F}_{v}^{(1,-k-1)}$ are Fock modules for Heisenberg algebra generated by $a_k = E_{k,0}$.

Operator $\Phi_{\mu}^* (u)$ is defined by following explicit formulas $$\begin{aligned}
        &\Phi_{\varnothing}^* (u) = \, : \! \exp \left( \sum_{k \neq 0} \frac{u^{-k}}{k(1-q^{-k})} a_{k} \right) \! :,\\
        &\Phi_{\mu}^* (u) \sim \, : \! \Phi_{\varnothing}^* (u) \prod_{s \in \lambda} \! F(q^{c(s)-\frac12} u):.
        \end{aligned}$$ Here sign $\sim$ means up to multiplication by a number. Recall $$\begin{aligned}
         F(z) \sim  \, : \! \exp \left( \sum_k \frac{ q^{k/2}-q^{-k/2} }{k} a_k z^{-k} \right) \! :.
        \end{aligned}$$

\[corol: Phi norm order\] Heisenberg normal ordering is given by $$\Phi^*_{\lambda}(u) \Phi^*_{\mu}(v) = \frac{f_{\lambda, \mu}(v/u)}{\left(q v/u; q, q \right)_{\infty}}   : \! \Phi^*_{\lambda}(u) \Phi^*_{\mu}(v) \! :$$ for some rational function $f_{\lambda, \mu}(v/u) = \frac{\prod_{i} (1-q^{k_i} v/u) }{\prod_{j} (1-q^{l_j} v/u)}$; here $l_j$ and $k_i$ are integer numbers.

Consider a homomorphism $$\begin{gathered}
    \tilde{\Phi}_0 \colon   \mathcal{F}^{(1,0)}_{q^{1/2} z^{-1}} \otimes  \mathcal{F}^{(-1,n)}_{q^{1/2} z (-q^{-1/2})^n u_1 \cdots u_n}   \rightarrow \\ \left( \mathcal{F}^{(0,1)}_{u_1} \otimes \cdots \otimes \mathcal{F}^{(0,1)}_{u_n} \right) \otimes \mathcal{F}^{(1,-n)}_{q^{1/2} (-q^{1/2})^{n} (z u_1 \dots u_{n})^{-1} } \otimes  \mathcal{F}^{(-1,n)}_{q^{1/2} z (-q^{-1/2})^n u_1 \cdots u_n} .
    \end{gathered}$$ obtained as composition of $$\begin{gathered}
    \operatorname{id}^{\otimes k} \otimes \Phi^* \otimes \operatorname{id}\colon \left( \mathcal{F}^{(0,1)}_{u_{1}} \otimes \cdots \otimes \mathcal{F}^{(0,1)}_{u_{k}} \right) \otimes \mathcal{F}^{(1,-k)}_{q^{1/2} (-q^{1/2})^k (z u_1 \dots u_k)^{-1} } \otimes  \mathcal{F}^{(-1,n)}_{q^{1/2} z (-q^{-1/2})^n u_1 \cdots u_n} \rightarrow \\ \left( \mathcal{F}^{(0,1)}_{u_{1}} \otimes \cdots \otimes \mathcal{F}^{(0,1)}_{u_{k+1}} \right) \otimes \mathcal{F}^{(1,-k-1)}_{q^{1/2} (-q^{1/2})^{k+1} (z u_1 \dots u_{k+1})^{-1} } \otimes  \mathcal{F}^{(-1,n)}_{q^{1/2} z (-q^{-1/2})^n u_1 \cdots u_n} \rightarrow
    \end{gathered}$$

There exists a unique invariant pairing $\mathcal{F}_{u} \otimes \mathcal{F}_{q u^{-1}} \rightarrow \mathbb{C}$ such that $\langle 0 | 0 \rangle =1$.

This is equivalent to Proposition \[prop: Sapovalov p for Fock\].

Composition of $\tilde{\Phi}_0$ and the pairing gives a homomorphism $$\begin{aligned}
    \tilde{\Phi}_1 \colon \mathcal{F}^{(1,0)}_{q^{{\frac{1}{2}}}z^{-1}} \otimes \mathcal{F}^{(-1,n)}_{q^{{\frac{1}{2}}} u_1 \cdots u_n z (-q^{-1/2})^n} \rightarrow  \mathcal{F}^{(0,1)}_{u_1} \otimes \cdots \otimes \mathcal{F}^{(0,1)}_{u_n} . \label{Whit map}
    \end{aligned}$$ Let us reformulate above inductive procedure via an explicit formula $$\begin{aligned}
    \tilde{\Phi}_1 \left( | \lambda_1 \rangle \otimes | \lambda_2 \rangle \right) = \sum \langle \lambda_2 | \Phi_{\mu_n}^*(u_n) \dots \Phi_{\mu_1}^*(u_1) | \lambda_1 \rangle \, | \mu_1 \rangle \otimes \dots \otimes | \mu_n \rangle .
    \end{aligned}$$

As we warned in Remark \[remark: inf sum\], operator $\tilde{\Phi}_1$ is not a priori well defined. However, the series (appearing from the composition) converges in a domain $|u_1| \ll |u_{2}| \ll \dots \ll |u_n|$. This assertion follows from a formula $$\langle \lambda_2 | \Phi_{\mu_n}^*(u_n) \dots \Phi_{\mu_1}^*(u_1) | \lambda_1 \rangle  = \prod_{i<j} \frac{f_{\mu_i, \mu_j}(u_i/u_j)}{\left(q u_i/u_j; q, q \right)_{\infty}} \,    \langle \lambda_1 | :\!\Phi_{\mu_n}^*(u_n) \dots \Phi_{\mu_1}^*(u_1)\!: | \lambda_2 \rangle$$ Moreover, one can consider analytic continuation of obtained function given by RHS of the formula. Corollary \[corol: Phi norm order\] implies that we can extend the domain to $u_i/u_j \neq q^k$ for any $k \in \mathbb{Z}$. Evidently, analytic continuation also enjoys intertwiner property. Hence we obtained following proposition

If $u_i/u_j \neq q^k$ for any $k \in \mathbb{Z}$, then there is an intertwiner $$\begin{aligned}
 \label{Whit map2}
        \tilde{\Phi}: \mathcal{F}^{(1,0)}_{q^{1/2}z^{-1}} \otimes \mathcal{F}^{(-1,n)}_{q^{1/2} u_1 \cdots u_n z (-q^{-1/2})^n} \rightarrow  \mathcal{F}^{(0,1)}_{u_1} \otimes \cdots \otimes \mathcal{F}^{(0,1)}_{u_n}
        \end{aligned}$$

Denote the highest vector of $\mathcal{F}_u^{(n_1,n_2)}$ by $|n_1,n_2 \rangle$.

\[th:Whit construction\] Whittaker vector $W(z|u_1, \ldots, u_n) \in \mathcal{F}^{(0,1)}_{u_1} \otimes \cdots \otimes \mathcal{F}^{(0,1)}_{u_n}$ can be constructed via homomorphism $\tilde{\Phi}$ [(]{}as in . $$\begin{aligned}
        W(z|u_1, \ldots, u_n) :=  \prod_{i<j} \left(q u_i/u_j; q, q \right)_{\infty} \, \tilde{\Phi} \left( |1,0 \rangle \otimes |-1, n \rangle \right)
        \end{aligned}$$

Follows from .

Recall that existence of Whittaker vector can be seen from geometric construction (see [@N12] and [@Ts]).

Existence and uniqueness follows from Theorem \[th:Whit construction\] and Proposition \[cor:Whit uniquness\] correspondingly.

Whittaker vector for $\W$ algebra
---------------------------------

Let us define coefficient $\bar{c}_{1/m}$ by (cf. ) $$\label{eq: notation for c}
    E^m[1]= \bar{c}_{1/m} E_{m,1} + \dots.$$ Also recall that for $\mathcal{F}_{u_1} \otimes \dots \otimes \mathcal{F}_{u_n}$ $$\mu =  \frac{1}{1-q} (u_1 \cdots u_n)^{\frac{1}{n}}.$$

For $m=1, \dots n-1$ Whittaker vector $W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) \in {\mathcal{F}^{\W}_{u_1, \dots, u_d}}$ with respect to $\W$ is an eigenvector for $T_k[r]$ (for $k= 1, \dots, n-1$ and $r \geqslant 0$) with eigenvalues given by $$\begin{aligned}
        &T_{m}[1] \ W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) = \frac{( -q^{{\frac{1}{2}}} )^nu_1 \cdots u_n z}{q^{-1/2}-q^{1/2}} \frac{\bar{c}_{1/m} \, \mu^{-m}}{m!}  W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) \\
        &T_{k}[1] \ W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) =0 \qquad \text{for $k \neq m$}\\
        &T_{k}[r] \ W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) =0 \qquad \text{for $r \geqslant 2$}
        \end{aligned}$$ We require $W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) = { \left| \bar{u} \right\rangle}+ \cdots$ to fix normalization (by dots we mean lower vectors).

One can find notion of Whittaker vector for $\W$ in the literature (see [@T]). In this section we will explain connection between notion of Whittaker vector $W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n)$ and Whittaker vector $W(z| u_1, \dots , u_n)$ for ${\mathfrak{Diff}_q}$ (see Definition \[def: Whit eigen\]). Our plan to explain this connection is as follows. First we define Whittaker vector with respect to $\Wgl$ (we denote it by $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)$). Then we will see, that on the one hand, the vector $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)$ is connected with $W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n)$; on the other hand it is connected with $W(z| u_1, \dots , u_n)$.

Recall, that $\Wgl = {\mathfrak{Diff}_q}/ J_{n,0}$; ideal $J_{n,0}$ annihilates $\mathcal{F}_{u_1} \otimes \dots \otimes \mathcal{F}_{u_n}$. Hence $\mathcal{F}_{u_1} \otimes \dots \otimes \mathcal{F}_{u_n}$ is a representation of $\Wgl$.

For $m=1, \dots n-1$ Whittaker vector $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)$ is a vector belonging to $\mathcal{F}_{u_1} \otimes \dots \otimes \mathcal{F}_{u_n}$ and satisfying following conditions $$\begin{aligned}
        H_k W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n) &= 0 \qquad \text{for $k > 0$}\\
        E^{m}[1] \ W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n) &= \frac{( -q^{{\frac{1}{2}}} )^nu_1 \cdots u_n z}{q^{-1/2}-q^{1/2}}  \bar{c}_{1/m} \, W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)\\
        E^{k}[1] \ W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n) &=0 \qquad \text{for $k < m$}\\
        E^{k}[r] \ W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n) &=0 \qquad \text{for $r \geqslant 2$ and $k \leqslant m$} \\
        F^k[r] \ W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n) &=0 \qquad \text{for $r \geqslant 1$ and $k < n-m$}
        \end{aligned}$$ We require $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n) = { \left| \bar{u} \right\rangle}+ \cdots$ to fix normalization (by dots we mean lower vectors).

Recall that $\mathcal{F}_{u_1} \otimes \dots \otimes \mathcal{F}_{u_n} \cong \mathcal{F}_{u_1, \dots u_n}^{\W} \otimes F^{H}$ with respect algebra identification $\Wgl \cong \W {\otimes U(\mathfrak{Heis})}$.

\[prop: Lemma sl vs gl\] Vector satisfies properties of $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)$ iff it is $W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) \otimes {|0 \rangle}_H$

Note that $$\begin{aligned}
         E^k (t)  \left( W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) \otimes {|0 \rangle}_H  \right) &=  \frac{k!}{\mu^{-k}} T_k (t) \, W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) \otimes \exp \left(\frac{k}{n} \varphi_- (t) \right)  {|0 \rangle}_H\\
         F^k (t) \left(  W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) \otimes {|0 \rangle}_H \right) &= \frac{k!}{\mu^{k}} T_{n-k} (t) \, W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) \otimes  \exp \left(-\frac{k}{n} \varphi_- (t) \right) {|0 \rangle}_H 
        \end{aligned}$$ Moreover $\varphi_-(t)$ has only terms of positive degree in $t$. Hence we expressed action of $E^k[l]$ via ${\tilde{T}}_k[s]$ for $s \geqslant l$. Therefore we have proven that $W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n) \otimes {|0 \rangle}_H$ satisfies property of $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)$.

Implication in opposite direction is analogous.

\[prop: unique for m gl\] There exists at most one vector $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n) \in \mathcal{F}_{u_1} \otimes \dots \otimes \mathcal{F}_{u_n}$.

Analogous to proof of Proposition \[cor:Whit uniquness\]. The only difference is that we consider different character of subalgebra $\mathfrak{n}$.

We need to generalize notion of Whittaker vector for ${\mathfrak{Diff}_q}$ to compare it with $W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n)$.

For any $m \in \mathbb{Z}$, Whittaker vector $W_m (z|u_1, \ldots, u_n) \in  \mathcal{F}_{u_1} \otimes \cdots \otimes \mathcal{F}_{u_n}$ is an eigenvector of operators $E_{a,b}$ for $mb \geqslant a \geqslant -(n-m)b$ and $b > 0$. More precisely, $$\begin{aligned}
        E_{-(n-m)k,k} \, W_m (z|u_1, \ldots, u_n) =&  \frac{z^k}{q^{k/2}-q^{-k/2}} W_m (z|u_1, \ldots, u_n) \label{eq: Whit m eigen1} \\ 
        E_{mk,k} \, W_m (z|u_1, \ldots, u_n) =& \frac{\big(( -q^{{\frac{1}{2}}} )^nu_1 \cdots u_n z\big)^{k}}{q^{-k/2}-q^{k/2}} W_m(z|u_1, \ldots, u_n) \label{eq: Whit m eigen2}
        \end{aligned}$$ for $k>0$. $$E_{k_1, k_2} W_m(z) =0$$ for $(n-m)k_2 > k_1 > -mk_2$ and $k_2 > 0$. We require $W_m(z|u_1, \ldots, u_n) = {|0 \rangle}\otimes \cdots \otimes {|0 \rangle}+ \cdots$ to fix normalization (by dots we mean lower vectors).

Recall that we have defined operator ${\mathrm{I}}_{\tau} \in \operatorname{End}(\mathcal{F}_{u})$ by . By Proposition \[prop: I sigma\] the operator enjoys intertwiner property ${\mathrm{I}}_{\tau} \rho(E_{a,b}) {\mathrm{I}}_{\tau}^{-1} = \rho(E_{a-b,b})$. Denote ${\mathrm{I}}_{\tau, n} = {\mathrm{I}}_{\tau} \otimes \dots \otimes {\mathrm{I}}_{\tau} \in \operatorname{End}(\mathcal{F}_{u_1} \otimes \ldots \otimes \mathcal{F}_{u_n})$. Note that $I_{\tau, n}$ also enjoys intertwiner property ${\mathrm{I}}_{\tau} \rho_n(E_{a,b}) {\mathrm{I}}_{\tau}^{-1} = \rho_n(E_{a-b,b})$ (here $\rho_n$ denotes the homomorphism of the representation $\rho_n \colon {\mathfrak{Diff}_q}\rightarrow \operatorname{End}(\mathcal{F}_{u_1} \otimes \ldots \otimes \mathcal{F}_{u_n}) $).

$W_m (z|u_1, \dots, u_n) = {\mathrm{I}}^{n-m}_{\tau,n} \, W (z|u_1, \dots, u_n)$.

\[corollary: uniq Whit sl\] There exists unique $W_{m} (z|u_1, \dots, u_n)$ if $u_i/u_j \neq q^k$.

\[prop: Whit gl vs qD\] There exists unique vector $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)$. Moreover, $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)  = W_{m} (z|u_1, \dots, u_n)$.

We already know uniqueness of $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)$ and existence of $W_m (z|u_1, \dots, u_n)$ from Proposition \[prop: unique for m gl\] and Corollary \[corollary: uniq Whit sl\] correspondingly. So it is sufficient to show that $W_{m} (z|u_1, \dots, u_n)$ satisfies properties of $W_m^{\mathfrak{gl}_n}(z| u_1, \ldots, u_n)$. Last assertion follows from formula (also see ).

There exists unique vector $W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n)$. Moreover, $W_m^{\mathfrak{sl}_n}(z| u_1, \ldots, u_n)  \otimes {|0 \rangle}_H = W_{m} (z|u_1, \dots, u_n)= {\mathrm{I}}^{n-m}_{\sigma,n} \, W (z|u_1, \dots, u_n)$.

Follows from Lemma \[prop: Lemma sl vs gl\] and Proposition \[prop: Whit gl vs qD\]

[99]{}

H. Awata, B. Feigin, J. Shiraishi *Quantum Algebraic Approach to Refined Topological Vertex* JHEP **03041** (2012); \[[`arXiv:1112.6074`](https://arxiv.org/abs/1112.6074)\].

M. Bershtein, P. Gavrylenko and A. Marshakov, *Cluster Toda chains and Nekrasov functions* Theoret. and Math. Phys., **198:2** (2019), 157–-188; \[[`arXiv:1804.10145`](http://arxiv.org/abs/1804.10145)\].

M. Bershtein and A. Shchechkin, *$q$-deformed Painlevé tau function and $q$-deformed conformal blocks*, J. Phys. A. **50 8** (2017) 085202; \[[`arXiv:1608.02566`](http://arxiv.org/abs/1608.02566)\].

M. Bershtein and A. Shchechkin, *Bäcklund transformation of Painlevé III($D_8$) $\tau$ function*, J. Phys. A. **50 11** (2017) 115205; \[[`arXiv:1608.02568`](http://arxiv.org/abs/1608.02568)\].

G. Bonelli, A. Grassi, A. Tanzini, *Quantum curves and $q$-deformed Painlevé equations* Lett. Math. Phys. (2019); \[[[arXiv:1710.11603]{}](https://arxiv.org/abs/1710.11603)\].

I. Burban, O. Schiffmann *On the Hall algebra of an elliptic curve* Duke Math. J. **161 7** (2012), 1171–1231; \[[[arXiv:math/0505148]{}](http://arxiv.org/abs/math/0505148)\].

E. Carlsson, A. Mellit *A proof of the shuffle conjecture* J. Amer. Math. Soc. **31** (2018), no. 3, 661–697. \[[`arXiv:1508.06239`](http://arxiv.org/abs/1508.06239)\].

B. Feigin, E. Feigin, M. Jimbo, T. Miwa, and E. Mukhin, *Quantum continuous $gl_{\infty}$: Semi-infinite construction of representations* Kyoto J. Math. **51 2** (2011), 337–364; \[[`arXiv:1002.3113`](https://arxiv.org/abs/1002.3100)\].

B. Feigin, E. Feigin, M. Jimbo, T. Miwa, and E. Mukhin, *Quantum continuous $gl_{\infty}$: Tensor products of Fock modules and $W_n$-characters* Kyoto J. Math. **51 2** (2011), 365–392; \[[`arXiv:1002.3113`](https://arxiv.org/abs/1002.3113)\].

B. Feigin, E. Frenkel *Quantum W-algebras and Elliptic Algebras* Comm. Math. Phys., **178 (3)**, 653–677 (1996); \[[`arXiv:q-alg/9508009`](https://arxiv.org/abs/q-alg/9508009)\].

B. Feigin, A. Hoshino, J. Shibahara, J. Shiraishi, S. Yanagida, *Kernel function and quantum algebras*, RIMS Kokyuroku 1689, 133-152 (2010); arXiv:1002.2485.

B. Feigin, K. Hashizume, A. Hoshino, J. Shiraishi, S. Yanagida, *A commutative algebra on degenerate $\mathbb{CP}^1$ and Macdonald polynomials*, J. Math. Phys., 50, 095215 (2009); arXiv:0904.2291.

B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, *Branching rules for quantum toroidal $\mathfrak{gl}_n$*. Adv. Math. 300 (2016), 229–274. arXiv:1309.2147.

I. B. Frenkel, V. G. Kac, *Basic representations of affine Lie algebras and dual resonance models*, Invent. Math. **62** (1980/81), no. 1.

S. Fujii, S. Minabe *A Combinatorial Study on Quiver Varieties* SIGMA **13** (2017), \[[`arXiv:0510455`](https://arxiv.org/abs/math/0510455)\].

O. Gamayun, N. Iorgov, O. Lisovyy, *Conformal field theory of Painlevé VI*, JHEP **1210**, (2012), 38; \[[[arXiv:1207.0787]{}](https://arxiv.org/abs/1207.0787)\].

P. Gavrylenko and A. Marshakov, *Free fermions, W-algebras and isomonodromic deformations,* Theor. Math. Phys. [**187**]{} (2016) 649; \[[[arXiv:1605.04554]{}](https://arxiv.org/abs/1605.04554)\].

M. Golenishcheva-Kutuzova, D. Lebedev, *Vertex operators representation of Some Quantum Tori Lie algebras*

E. Gorsky, A. Negu, *Refined knot invariants and Hilbert schemes* \[[`arXiv:1304.3328`](https://arxiv.org/abs/1304.3328)\].

E. Gorsky, A. Negu, *Infinitesimal change of stable basis* Selecta Mathematica **23 3** (2017), 1909–1930; \[[`arXiv:1510.07964`](https://arxiv.org/abs/1510.07964)\].

M. Jimbo, H. Nagoya and H. Sakai, *CFT approach to the $q$-Painlevé VI equation*, J. Int. Syst. **2** (2017) 1; \[[[arXiv:1706.01940]{}](https://arxiv.org/abs/1706.01940)\].

V. Kac, D. Kazhdan, J. Lepowsky, R. Wilson, *Realization of the basic representations of the Euclidean Lie algebras* Adv. in Math **42** (1981), 83–112.

V. Kac, A. Raina, *Bombay lectures on highest weight representations of infinite dimensional Lie algebras*, Adv. Ser. Math. Phys. 2 (World Scientific, 1987).

J. Lepowsky, R. L. Wilson, *Construction of the affine Lie algebra $\mathfrak{sl}(2)$*, Comm. Math. Phys. [**62**]{}, (1978) 43.

I.G. Macdonald *Symmetric functions and Hall polynomials*

K. Miki, *$A(q, \gamma)$ analog of the $W_{1+\infty}$ algebra*, J. Math. Phys.48(2007),

H. Nagoya *Irregular conformal blocks, with an application to the fifth and fourth Painlevé equations*, J.Math.Phys. **56 12** (2015) 123505; \[[`arXiv:1505.02398`](http://arxiv.org/abs/1505.02398)\].

A. Negu *Moduli of Flags of Sheaves and their K-theory*, Algebraic Geometry **2 (1)** (2015) 19–43; \[[`arXiv:1209.4242`](http://arxiv.org/abs/1209.4242)\].

A. Negu *Quantum Algebras and Cyclic Quiver Varieties*, PhD Thesis; \[[`arXiv:1504.06525`](http://arxiv.org/abs/1504.06525)\].

A. Negu *The q-AGT-W relations via shuffle algebras*, Comm. Math. Phys. **358 1** 101; \[[`arXiv:1608.08613`](http://arxiv.org/abs/1608.08613)\].

A. Negu *W–algebras associated to surfaces*; \[[`arXiv:1710.03217`](https://arxiv.org/pdf/1710.03217.pdf)\].

J. Shiraishi, H. Kubo, H. Awata, S. Odake *A Quantum Deformation of the Virasoro Algebra and the Macdonald Symmetric Functions* \[[` arXiv:9507034`](https://arxiv.org/abs/q-alg/9507034)\]

J. Shiraishi *Free field constructions for the elliptic algebra ${\cal A}_{q,p} ( \widehat{\mathfrak{sl}}_2)$ and Baxter’s eight-vertex model* Internat. J. Modern Phys. A 19 (2004), May, suppl., 363–380. \[[`arXiv:0302097`](https://arxiv.org/abs/math/0302097v2)\]

M. Taki *On AGT-W conjecture and q-deformed W-algebra* \[[`arXiv:1403.7016`](https://arxiv.org/abs/1403.7016)\]

A. Tsymbaliuk *The affine Yangian of $\mathfrak{gl}_1$ revisited* \[[`arXiv:1404.5240`](https://arxiv.org/abs/1404.5240v2)\]

Al. Zamolodchikov, *Conformal scalar field on the hyperelliptic curve and critical Ashkin–Teller multipoint correlation functions* , Nucl. Phys. **B285**, (1987), 481–503.

<span style="font-variant:small-caps;">Landau Institute for Theoretical Physics, Chernogolovka, Russia,\
Center for Advanced Studies, Skolkovo Institute of Science and Technology, Moscow, Russia,\
National Research University Higher School of Economics, Moscow, Russia,\
Institute for Information Transmission Problems, Moscow, Russia,\
Independent University of Moscow, Moscow, Russia</span>

*E-mail*:**mbersht@gmail.com**\
<span style="font-variant:small-caps;">Center for Advanced Studies, Skolkovo Institute of Science and Technology, Moscow, Russia\
National Research University Higher School of Economics, Moscow, Russia</span>

*E-mail*:**roma-gonin@yandex.ru**

[^1]: One can find a definition of $\mathcal{W}_{q,p}(\mathfrak{sl}_2, 1)$ in [@Sh (37)–(38)].
