Imaginary Whittaker Modules of the Twisted Affine Nappi-Witten Lie Algebra

Xue Chen

School of Applied Mathematics, Xiamen University of Technology, Xiamen, China.

DOI: 10.4236/jamp.2020.83043                

Abstract

The Nappi-Witten Lie algebra was first introduced by C. Nappi and E. Witten in the study of Wess-Zumino-Novikov-Witten (WZNW) models. They showed that the WZNW model (NW model) based on a central extension of the two-dimensional Euclidean group describes the homogeneous four-dimensional space-time corresponding to a gravitational plane wave. The associated Lie algebra is neither abelian nor semisimple. Recently K. Christodoulopoulou studied the irreducible Whittaker modules for finite- and infinite-dimensional Heisenberg algebras and for the Lie algebra obtained by adjoining a degree derivation to an infinite-dimensional Heisenberg algebra, and used these modules to construct a new class of modules for non-twisted affine algebras, which are called imaginary Whittaker modules. In this paper, imaginary Whittaker modules of the twisted affine Nappi-Witten Lie algebra are constructed based on Whittaker modules of Heisenberg algebras. It is proved that the imaginary Whittaker module with the center acting as a non-zero scalar is irreducible.

Keywords

Twisted Affine Nappi-Witten Lie Algebras, Heisenberg Algebras, Imagi-nary Whittaker Modules

1. Introduction

The conform field theory (CFT) plays an important role in mathematics and physics. Current algebra [1] [2] has proved to be a valuable tool in understanding CFT and String Theory. All the CFTs we know so far can be constructed one way or another from current algebras. The simplest is the WZW models [3] [4], which realize current algebra as their full symmetry. For obvious reasons, the first type of algebras to be analysed was compact ones, used for compactification purposes in String Theory. Later on, non-compact algebras (of the type SL(N, R), SU(M, N) and SO(M, N)) and their cosets have been considered [5] [6] [7] in order to describe curved Minkowski signature spacetimes. Only recently did current algebras of the non-semisimple type receive some attention [8]. The Nappi-Witten model is a WZW model based on a non-semisimple group. It was discovered by C. Nappi and E. Witten [8] that the WZW model based on the Heisenberg group coincides with the σ-model of the maximally symmetric gravitational wave in four dimensions. The corresponding Lie algebra is called the Nappi-Witten Lie algebra nw, which is neither abelian nor semisimple. More results on NW model were presented in [9] [10] [11] [12].

The Lie algebra nw is a four-dimensional vector space over $ℂ$ with generators $\left\{P^{+}\mathrm{,}{P}^{-}\mathrm{,}J\mathrm{,}T\right\}$ and the following Lie bracket:

$\left[P^{+},P^{-}\right]=T,\left[J,P^{+}\right]=P^{+},\left[J,P^{-}\right]=-P^{-},\left[T,\cdot \right]=0.$

There is a non-degenerate invariant symmetric bilinear form $\left(\mathrm{,}\right)$ on nw defined by

$\left(P^{+}\mathrm{,}{P}^{-}\right)=\mathrm{1,}\left(T\mathrm{,}J\right)=\mathrm{1,}\text{otherwise}\mathrm{,}\left(\mathrm{,}\right)=0.$

Just as the non-twisted affine Kac-Moody Lie algebras given in [13], the non-twisted affine Nappi-Witten Lie algebra is defined as

$\widetilde{nw}=nw\otimes ℂ\left[t\mathrm{,}{t}^{-1}\right]\oplus ℂK\oplus ℂD$

with the bracket defined as follows:

$\left[x\otimes t^m\mathrm{,}y\otimes t^n\right]=\left[x\mathrm{,}y\right]\otimes t^{m+n}+m\left(x\mathrm{,}y\right){\delta }_{m+n\mathrm{,0}}K\mathrm{,}$

$\left[\widetilde{nw}\mathrm{,}K\right]=\mathrm{0,}\left[D\mathrm{,}x\otimes t^m\right]=mx\otimes t^m$

for $x\mathrm{,}y\in nw$ and $m\mathrm{,}n\in \mathbb{Z}$.

There exist Lie algebra automorphisms $\theta$ of nw and $\tilde{\theta }$ of $\widetilde{nw}$ :

$\theta \left(P^{+}\right)=-P^{+},\theta \left(P^{-}\right)=-P^{-},\theta \left(T\right)=T,\theta \left(J\right)=J,$

$\tilde{\theta }\left(x\otimes t^n+\lambda K+\mu D\right)={\left(-1\right)}^n\theta \left(x\right)\otimes t^n+\lambda K+\mu D\mathrm{,}$

for $n\in \mathbb{Z}\mathrm{,}x\in nw$, and $\lambda \mathrm{,}\mu \in ℂ$. The twisted affine Nappi-Witten Lie algebra is defined as follows:

$\begin{array}{c}\widetilde{nw}\left[\theta \right]=\left\{v\in \widetilde{nw}\mathrm{<mo>\; |\; </mo>}\tilde{\theta }\left(v\right)=v\right\}\\ =\left({\displaystyle \underset{n\in \mathbb{Z}}{\sum }}\left(ℂT+ℂJ\right)\otimes ℂt^{2n}\right)\oplus \left({\displaystyle \underset{n\in \mathbb{Z}}{\sum }}\left(ℂP^{+}+ℂP^{-}\right)\otimes ℂt^{2n+1}\right)\oplus ℂK\oplus ℂD\mathrm{.}\end{array}$

The representation theory for the non-twisted affine Nappi-Witten Lie algebra has been well studied in [14]. The irreducible restricted modules for the non-twisted affine Nappi-Witten Lie algebra with some natural conditions have been classified and the extension of the vertex operator algebra $V_{{\hat{H}}_4}\left(l\mathrm{,0}\right)$ by the even lattice L has been considered in [15]. Verma modules and vertex operator representations for the twisted affine Nappi-Witten Lie algebra have also been investigated in [16]. Recently K. Christodoulopoulou defined Whittaker modules for Heisenberg algebras and used these modules to construct a new class of modules for non-twisted affine algebras (imaginary Whittaker modules) [17]. [18] studied virtual Whittaker modules of the non-twisted affine Nappi-Witten Lie algebra. Inspired by the works mentioned above, the aim of the present paper is to give a characterization of the imaginary Whittaker modules for the twisted affine Nappi-Witten Lie algebra $\widetilde{nw}\left[\theta \right]$.

Here is a brief outline of Section 2. First, we obtain a Heisenberg subalgebra $\tilde{H}$ by the decomposition of the Lie algebra $\widetilde{nw}\left[\theta \right]$. Second, we construct the imaginary Whittaker module $W_{\psi \mathrm{,}\phi }$ of $\widetilde{nw}\left[\theta \right]$ by the Whittaker module of $\tilde{H}$. Finally, we give the properties of the module $W_{\psi \mathrm{,}\phi }$ (see Propositions 2.2 and 2.3) and prove that $W_{\psi \mathrm{,}\phi }$ with K acting as a non-zero scalar is irreducible (see Theorem 2.4).

Throughout the paper, denote by $ℂ$, ${ℂ}^{\mathrm{<mo>\; *\; </mo>}}$, $\mathbb{N}$, $\mathbb{Z}$ and ${\mathbb{Z}}_{+}$ the sets of the complex numbers, the non-zero complex numbers, the non-negative integers, the integers and the positive integers, respectively. All linear spaces and algebras in this paper are over $ℂ$ unless indicated otherwise.

2. The Imaginary Whittaker Modules

In the following, for $x\in nw$ and $n\in \mathbb{Z}$, we will denote $x\otimes t^n$ by $x\left(n\right)$. It is clear that $\widetilde{nw}\left[\theta \right]$ has the following decomposition

$\widetilde{nw}\left[\theta \right]=\widetilde{nw}{\left[\theta \right]}^{+}\oplus \left(\tilde{H}\oplus \stackrel{\dot{}}{\eta }\right)\oplus \widetilde{nw}{\left[\theta \right]}^{-}\mathrm{,}$

where

$\widetilde{nw}{\left[\theta \right]}^{+}={\text{Span}}_{ℂ}\left\{P^{+}\left(n\right)\mathrm{<mo>\; |\; </mo>}n\in 2\mathbb{Z}+1\right\}\mathrm{,}\widetilde{nw}{\left[\theta \right]}^{-}={\text{Span}}_{ℂ}\left\{P^{-}\left(n\right)\mathrm{<mo>\; |\; </mo>}n\in 2\mathbb{Z}+1\right\}$

$\tilde{H}={\text{Span}}_{ℂ}\left\{T\left(m\right)\mathrm{,}J\left(m\right)\mathrm{,}K\mathrm{,}D\mathrm{<mo>\; |\; </mo>}m\in 2\mathbb{Z}\backslash \left\{0\right\}\right\}\mathrm{,}\stackrel{\dot{}}{\eta }={\text{Span}}_{ℂ}\left\{T\left(0\right)\mathrm{,}J\left(0\right)\right\}\mathrm{.}$

We first review the Whittaker modules of the Heisenberg algebra $\tilde{H}$ in [17].

Let $\tilde{H}=\underset{i\in 2\mathbb{Z}}{{\displaystyle \oplus }}{\tilde{H}}_i$, where

${\tilde{H}}_i={\text{Span}}_{ℂ}\left\{\frac{1}{i}T\left(i\right)\mathrm{,}\frac{1}{i}J\left(i\right)\right\}\mathrm{,}{\tilde{H}}_{-i}={\text{Span}}_{ℂ}\left\{J\left(-i\right)\mathrm{,}T\left(-i\right)\right\}\mathrm{,}i\in 2{\mathbb{Z}}_{+}\mathrm{,}$

${\tilde{H}}_0=ℂK\oplus ℂD\mathrm{,}{\tilde{H}}^{\pm }=\underset{i\in 2{\mathbb{Z}}_{+}}{{\displaystyle \oplus }}{\tilde{H}}_{\pm i}\mathrm{.}$

Thus $\tilde{H}$ is an infinite-dimensional Heisenberg subalgebra of $\widetilde{nw}\left[\theta \right]$.

Assume that $\lambda \in {\mathrm{<mo\; stretchy="false">\; (\; </mo>}ℂK\mathrm{<mo\; stretchy="false">\; )\; </mo>}}^{\mathrm{<mo>\; *\; </mo>}}$ and $\psi \mathrm{<mo>\; :\; </mo>}U\left({\tilde{H}}^{+}\right)\to ℂ$ is an algebra homomorphism such that ${\psi |}_{{\tilde{H}}^{+}}\ne 0$. Set $\tilde{\mathfrak{b}}={\tilde{H}}^{+}\oplus ℂK$. Let ${ℂ}_{\psi \mathrm{,}\lambda \left(K\right)}=ℂ\widetilde{\stackrel{˜}{\omega }}$ be a one-dimensional vector space viewed as a $\tilde{\mathfrak{b}}$ -module by

$K\widetilde{\stackrel{˜}{\omega }}=\lambda \left(K\right)\widetilde{\stackrel{˜}{\omega }}\mathrm{,}x\widetilde{\stackrel{˜}{\omega }}=\psi \left(x\right)\widetilde{\stackrel{˜}{\omega }}\mathrm{,}\text{for}\text{all}x\in U\left({\tilde{H}}^{+}\right)\mathrm{.}$

Set

${\tilde{M}}_{\psi \mathrm{,}\lambda \left(K\right)}=U\left(\tilde{H}\right)\underset{U\left(\tilde{\mathfrak{b}}\right)}{{\displaystyle \otimes }}{ℂ}_{\psi \mathrm{,}\lambda \left(K\right)}\mathrm{,}\tilde{\omega }=1\otimes \widetilde{\stackrel{˜}{\omega }}\mathrm{.}$

Define an action of $U\left(\tilde{H}\right)$ on ${\tilde{M}}_{\psi \mathrm{,}\lambda \left(K\right)}$ by left multiplication. Then ${\tilde{M}}_{\psi \mathrm{,}\lambda \left(K\right)}=U\left(\tilde{H}\right)\tilde{\omega }$ and ${\tilde{M}}_{\psi \mathrm{,}\lambda \left(K\right)}$ is a Whittaker module of type $\psi$ for $\tilde{H}$.

Lemma 2.1 ( [17]) Let $\lambda \left(K\right)\ne 0$. If ${\psi |}_{{\tilde{H}}_i}\ne 0$ for infinitely many $i\in 2{\mathbb{Z}}_{+}$, then ${\tilde{M}}_{\psi \mathrm{,}\lambda \left(K\right)}$ is irreducible as a $U\left(\tilde{H}\right)$ -module.

In the following we define the imaginary Whittaker module of $\widetilde{nw}\left[\theta \right]$ according to [17]. We will assume that $\phi \in {\left(\stackrel{\dot{}}{\eta }\oplus ℂK\right)}^{\mathrm{<mo>\; *\; </mo>}}$ is such that ${\phi |}_{ℂK}=\lambda$ and $\phi \left(K\right)\ne 0$. Let $\psi \mathrm{<mo>\; :\; </mo>}U\left({\tilde{H}}^{+}\right)\to ℂ$ is an algebra homomorphism such that ${\psi |}_{{\tilde{H}}_i}\ne 0$ for infinitely many $i\in 2{\mathbb{Z}}_{+}$.

Set $\mathfrak{p}=\widetilde{nw}{\left[\theta \right]}^{+}\oplus \left(\tilde{H}\oplus \stackrel{\dot{}}{\eta }\right)$. $\mathfrak{p}$ is a parabolic subalgebra of $\widetilde{nw}\left[\theta \right]$. It is obvious that $\left[\tilde{H}\mathrm{,}\stackrel{\dot{}}{\eta }\right]=0$ and $\widetilde{nw}{\left[\theta \right]}^{+}$ is an ideal of $\mathfrak{p}$. Let $\tilde{\omega }\in {\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$ be a Whittaker vector of type $\psi$. Define a $U\left(\mathfrak{p}\right)$ -module structure on ${\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$ by letting

$hv=\phi \left(h\right)v\mathrm{,}\widetilde{nw}{\left[\theta \right]}^{+}v=0\text{for}\text{all}h\in \stackrel{\dot{}}{\eta }\oplus ℂK\mathrm{,}\text{any}v\in {\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}\mathrm{.}$

Set

$W_{\psi \mathrm{,}\phi }=U\left(\widetilde{nw}\left[\theta \right]\right)\underset{U\left(\mathfrak{p}\right)}{{\displaystyle \otimes }}{\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}\mathrm{,}\omega =1\otimes \tilde{\omega }\mathrm{.}$

Define an action of $U\left(\widetilde{nw}\left[\theta \right]\right)$ on $W_{\psi \mathrm{,}\phi }$ by left multiplication. Then $W_{\psi \mathrm{,}\phi }$ is called an imaginary Whittaker module of type $\left(\psi \mathrm{,}\phi \right)$ for $\widetilde{nw}\left[\theta \right]$.

We assume that $\alpha \in {\left(\stackrel{\dot{}}{\eta }\oplus ℂK\right)}^{\mathrm{<mo>\; *\; </mo>}}$ is such that $\alpha \left(T\left(0\right)\right)=0$, $\alpha \left(J\left(0\right)\right)=1$, $\alpha \left(K\right)=0$. Let $\chi \in \mathbb{N}\alpha$. Set

$U{\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)}^{-\chi }=\left\{v\in U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)\mathrm{<mo>\; |\; </mo>}\left[h\mathrm{,}v\right]=-\chi \left(h\right)v\text{for}\text{all}h\in \stackrel{\dot{}}{\eta }\oplus ℂK\right\}\mathrm{.}$

It is easy to see that $U{\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)}^0\cong ℂ$. $U{\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)}^{-r\alpha }\cong {\text{Span}}_{ℂ}\left\{{\displaystyle \underset{i=1}{\overset{r}{\prod }}}{P}^{-}\left(n_i\right)\mathrm{<mo>\; |\; </mo>}{n}_i\in 2\mathbb{Z}+1\right\}$, $U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)=\underset{\chi \in \mathbb{N}\alpha }{{\displaystyle \oplus }}U{\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)}^{-\chi }$. Set

$W_{\psi \mathrm{,}\phi }^{\rho }=\left\{\omega \in W_{\psi \mathrm{,}\phi }\mathrm{<mo>\; |\; </mo>}h\omega =\rho \left(h\right)\omega \text{for}\text{all}h\in \stackrel{\dot{}}{\eta }\oplus ℂK\right\}\mathrm{,}$

for any $\rho \in {\left(\stackrel{\dot{}}{\eta }\oplus ℂK\right)}^{\mathrm{<mo>\; *\; </mo>}}$.

Proposition 2.2

1) $W_{\psi \mathrm{,}\phi }$ is a free $U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)$ -module, and

$W_{\psi \mathrm{,}\phi }\cong U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right){\otimes }_{ℂ}{\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}\mathrm{.}$

2) ${\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}\cong U\left(\mathfrak{p}\right)\omega$ as $\mathfrak{p}$ -modules and we can view ${\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$ as the $\mathfrak{p}$ -submodule $U\left(\mathfrak{p}\right)\omega$ of $W_{\psi \mathrm{,}\phi }$ under this isomorphism.

3) $W_{\psi \mathrm{,}\phi }=\underset{\chi \in \mathbb{N}\alpha }{{\displaystyle \oplus }}{W}_{\psi \mathrm{,}\phi }^{\phi -\chi }$ and as modules for $\stackrel{\dot{}}{\eta }\oplus ℂK$,

$W_{\psi \mathrm{,}\phi }^{\phi -\chi }\cong U{\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)}^{-\chi }{\otimes }_{ℂ}{\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}\mathrm{.}$

In particular, $W_{\psi \mathrm{,}\phi }^{\phi }\cong {\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$.

Proof. 1) Since $\widetilde{nw}\left[\theta \right]=\widetilde{nw}{\left[\theta \right]}^{-}\oplus \mathfrak{p}$, the PBW Theorem implies that $U\left(\widetilde{nw}\left[\theta \right]\right)=U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right){\otimes }_{ℂ}U\left(\mathfrak{p}\right)$ and thus $W_{\psi \mathrm{,}\phi }\cong U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right){\otimes }_{ℂ}{\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$ as vector space over $ℂ$. So the map $g\mathrm{<mo>\; :\; </mo>}U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right){\otimes }_{ℂ}{\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}\to W_{\psi \mathrm{,}\phi }$ defined by $\left(v\mathrm{,}\tau \right)\to v\tau$ is an isomorphism of left $U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)$ -modules.

2) The map $u\to 1\otimes u$ defines a $\mathfrak{p}$ -isomorphism of ${\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$ onto the $\mathfrak{p}$ -submodule $U\left(\mathfrak{p}\right)\omega$ of $W_{\psi \mathrm{,}\phi }$.

3) $\stackrel{\dot{}}{\eta }\oplus ℂK$ acts semisimply on $U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)$ via the adjoint action and $U\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)=\underset{\chi \in \mathbb{N}\alpha }{{\displaystyle \oplus }}U{\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)}^{-\chi }$. It is clear that the isomorphism g of (1) maps $U{\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)}^{-\chi }{\otimes }_{ℂ}{\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$ isomorphically to $W_{\psi \mathrm{,}\phi }^{\phi -\chi }$ for every $\chi \in \mathbb{N}\alpha$. In particular, if $\chi =0$, then $W_{\psi \mathrm{,}\phi }^{\phi }={\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$ because $U{\left(\widetilde{nw}{\left[\theta \right]}^{-}\right)}^0\cong ℂ$. Thus (3) holds.

The following proposition is evident for weight modules.

Proposition 2.3 Any $U\left(\widetilde{nw}\left[\theta \right]\right)$ -submodule V of $W_{\psi \mathrm{,}\phi }$ has a weight space decomposition

$V=\underset{\chi \in \mathbb{N}\alpha }{{\displaystyle \oplus }}V\cap W_{\psi \mathrm{,}\phi }^{\phi -\chi }$

relative to $\stackrel{\dot{}}{\eta }\oplus ℂK$.

Proof. Set $\phi -\chi =\rho$. Then by Proposition 2.2 (3), we have

$W_{\psi \mathrm{,}\phi }=\underset{\rho \in {\left(\stackrel{\dot{}}{\eta }\oplus ℂK\right)}^{\mathrm{<mo>\; *\; </mo>}}}{{\displaystyle \oplus }}{W}_{\psi \mathrm{,}\phi }^{\rho }\mathrm{,}{W}_{\psi \mathrm{,}\phi }^{\rho }=\left\{\omega \in W_{\psi \mathrm{,}\phi }\mathrm{<mo>\; |\; </mo>}h\omega =\rho \left(h\right)\omega \text{for}\text{all}h\in \stackrel{\dot{}}{\eta }\oplus ℂK\right\}\mathrm{.}$

Any $v\in W_{\psi \mathrm{,}\phi }$ can be written in the form $v={\displaystyle \underset{j=1}{\overset{n}{\sum }}}{v}_j$, where $v_j\in W_{\psi \mathrm{,}\phi }^{{\rho }_j}$, and there exists $h\in \stackrel{\dot{}}{\eta }\oplus ℂK$ such that ${\rho }_j\left(h\right)\left(j=\mathrm{1,2,}\cdots \mathrm{,}n\right)$ are distinct. We have for $v\in V$,

$h^l\left(v\right)={\displaystyle \underset{j=1}{\overset{n}{\sum }}}{\rho }_j{\left(h\right)}^l{v}_j\in V\left(l=0,1,2,\cdots ,n-1\right).$

This is a system of linear equations with a nondegenerate matrix. Hence all $v_j$ lie in V.

We are now in a position to give the main result of this paper as follows.

Theorem 2.4 Let $\phi \in {\left(\stackrel{\dot{}}{\eta }\oplus ℂK\right)}^{\mathrm{<mo>\; *\; </mo>}}$ and $\psi \mathrm{<mo>\; :\; </mo>}U\left({\tilde{H}}^{+}\right)\to ℂ$ be an algebra homomorphism such that $\phi \left(K\right)\ne 0$ and ${\psi |}_{{\tilde{H}}_i}\ne 0$ for infinitely many $i\in 2{\mathbb{Z}}_{+}$. Then $W_{\psi \mathrm{,}\phi }$ is irreducible as a $U\left(\widetilde{nw}\left[\theta \right]\right)$ -module.

Proof. Let $0\ne V$ be a $U\left(\widetilde{nw}\left[\theta \right]\right)$ -submodule of $W_{\psi \mathrm{,}\phi }$. We next show that $V=W_{\psi \mathrm{,}\phi }$. By Proposition 2.2 (2), we can identify ${\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$ with $U\left(\mathfrak{p}\right)\omega$. Since ${\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}=U\left(\tilde{H}\right)\omega$ is irreducible as a $U\left(\tilde{H}\right)$ -module and $W_{\psi \mathrm{,}\phi }=U\left(\widetilde{nw}\left[\theta \right]\right)\omega$, it suffices to show that $V\cap {\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}\ne 0$.

By Proposition 2.3, for some $\chi \in \mathbb{N}\alpha$, we have $V\cap W_{\psi \mathrm{,}\phi }^{\phi -\chi }\ne 0$. Let $\chi =r\alpha$ and $0\ne v\in V\cap W_{\psi \mathrm{,}\phi }^{\phi -r\alpha }$. We assume

$v={\displaystyle \underset{i\in I}{\sum }}{\xi }_i{P}^{-}\left(n_1^i\right)\cdots P^{-}\left(n_r^i\right)T\left(-s_1^i\right)\cdots T\left(-s_{p_i}^i\right)J\left(-t_1^i\right)\cdots J\left(-t_{q_i}^i\right)D^{k_i}\omega ,$

where ${\xi }_i\in {ℂ}^{\mathrm{<mo>\; *\; </mo>}}$, $n_1^i\ge \cdots \ge n_r^i$, $s_1^i\le \cdots \le s_{p_i}^i$, $t_1^i\le \cdots \le t_{q_i}^i$, I is a finite index set, $n_j^i\in 2\mathbb{Z}+1$, $s_j^i\mathrm{,}{t}_j^i\in 2{\mathbb{Z}}_{+}$, $r\mathrm{,}{p}_i\mathrm{,}{q}_i\mathrm{,}{k}_i\in \mathbb{N}$.

Claim There exists $n\in 2\mathbb{N}+1$ such that $P^{+}\left(-n\right)v\ne 0$.

Set

${\bar{n}}_r=\min \left\{n_r^i|i\in I\right\},$

$n=\max \left\{n_1^i|i\in I\right\}+\max \left\{{\displaystyle \underset{j=1}{\overset{p_i}{\sum }}}{s}_j^i|i\in I\right\}+2\left|\max \left\{n_1^i|i\in I\right\}\right|\in 2\mathbb{N}+1.$

It is clear that

${\bar{n}}_r-n\le -\left(n_1^i-n_r^i\right)-{\displaystyle \underset{j=1}{\overset{p_i}{\sum }}}{s}_j^i-2\left|\max \left\{n_1^i|i\in I\right\}\right|<0.$

Moreover,

$\begin{array}{c}{\bar{n}}_r-n+s_{p_i}^i\le n_r^i-n_1^i-{\displaystyle \underset{j=1}{\overset{p_i}{\sum }}}{s}_j^i-2\left|\max \left\{n_1^i|i\in I\right\}\right|+s_{p_i}^i\\ =-\left(n_1^i-n_r^i\right)-{\displaystyle \underset{j=1}{\overset{p_i-1}{\sum }}}{s}_j^i-2\left|\max \left\{n_1^i|i\in I\right\}\right|<0,\end{array}$

for all $i\in I$. It is easy to check that, for each $i\in I$ such that $n_r^i={\bar{n}}_r$, the coefficient of the basis element

$P^{-}\left(n_1^i\right)\cdots P^{-}\left(n_{r-1}^i\right)T\left({\bar{n}}_r-n\right)T\left(-s_1^i\right)\cdots T\left(-s_{p_i}^i\right)J\left(-t_1^i\right)\cdots J\left(-t_{q_i}^i\right)D^{k_i}\omega$

in $P^{+}\left(-n\right)v$ is ${\xi }_i\times \#\left\{j|1\le j\le r,n_j^i={\bar{n}}_r\right\}\ne 0$. Thus $P^{+}\left(-n\right)v\ne 0$.

Since $0\ne P^{+}\left(-n\right)v\in V\cap W_{\psi \mathrm{,}\phi }^{\phi -\left(r-1\right)\alpha }$, we can use induction on r and conclude that there exists $u\in U\left(\widetilde{nw}\left[\theta \right]\right)$ such that $0\ne u{P}^{+}\left(-n\right)v\in V\cap {\tilde{M}}_{\psi \mathrm{,}\phi \left(K\right)}$. The theorem is proved.

3. Conclusion

We construct the imaginary Whittaker module $W_{\psi \mathrm{,}\phi }$ of the twisted affine Nappi-Witten Lie algebra $\widetilde{nw}\left[\theta \right]$ by its Heisenberg subalgebra $\tilde{H}$. We study the structure of the module $W_{\psi \mathrm{,}\phi }$ and prove that $W_{\psi \mathrm{,}\phi }$ with the center acting as a non-zero scalar is irreducible. Our future work is to determine the maximal submodule of $W_{\psi \mathrm{,}\phi }$ when it is reducible.

Acknowledgements

The author is supported by the Natural Science Foundation of Fujian Province (2017J05016) and is very thankful for everything.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1]	Kac, V.G. (1967) Simply Graded Lie Algebras of Finite Growth. Functional Analysis and Its Applications, 1, 328-329. https://doi.org/10.1007/BF01076014
[2]	Moody, R.V. (1967) Lie Algebras Associated with Generalized Cartan Matrices. Bulletin of the American Mathematical Society, 73, 217-221. https://doi.org/10.1090/S0002-9904-1967-11688-4
[3]	Knizhnik, V.G. and Zamolodchikov, A.B. (1984) Current Algebra and Wess-Zumino Model in Two Dimensions. Nuclear Physics B, 247, 83-103. https://doi.org/10.1016/0550-3213(84)90374-2
[4]	Witten, E. (1984) Non-Abelian Bosonization in Two-Dimensions. Communications in Mathematical Physics, 92, 455-472. https://doi.org/10.1007/BF01215276
[5]	Bars, I. (1990) Heterotic Superstring Vacua in Four Dimensions Based on Non-Compact Affine Current Algebras. Nuclear Physics B, 334, 125-171. https://doi.org/10.1016/0550-3213(90)90659-2
[6]	Balog, J., O’Raifeartaigh, L., Forgacs, P. and Wipf, A. (1989) Consistency of String Propagation on Curved Space-Times: An SU (1,1) Based Counterexample. Nuclear Physics B, 325, 225-241. https://doi.org/10.1016/0550-3213(89)90380-5
[7]	Witten, E. (1991) On String Theory and Black Holes. Physical Review D, 44, 314-324. https://doi.org/10.1103/PhysRevD.44.314
[8]	Nappi, C. and Witten, E. (1993) Wess-Zumino-Witten Model Based on a Nonsemisimple Group. Physical Review Letters, 71, 3751-3753. https://doi.org/10.1103/PhysRevLett.71.3751
[9]	Cheung, Y., Freidel, L. and Savvidy, K. (2004) Strings in Gravimagnetic Fields. Journal of High Energy Physics, 54, 1-48. https://doi.org/10.1088/1126-6708/2004/02/054
[10]	DAppollonio, G. and Quella, T. (2007) The Abelian Cosets of the Heisenberg Group. Journal of High Energy Physics, 45, 1-28. https://doi.org/10.1088/1126-6708/2007/11/045
[11]	DAppollonio, G. and Quella, T. (2008) The Diagonal Cosets of the Heisenberg Group. Journal of High Energy Physics, 60, 1-42. https://doi.org/10.1088/1126-6708/2008/05/060
[12]	DAppollonio, G. and Kiritsis, E. (2003) String Interactions in Gravitational Wave backgrounds. Nuclear Physics B, 674, 80-170. https://doi.org/10.1016/j.nuclphysb.2003.09.020
[13]	Kac, V.G. (1990) Infinite-Dimensional Lie Algebras. Cambridge University Press, Cambridge, UK. https://doi.org/10.1017/CBO9780511626234
[14]	Bao, Y., Jiang, C. and Pei, Y. (2011) Representations of Affine Nappi-Witten Algebras. Journal of Algebra, 342, 111-133. https://doi.org/10.1016/j.jalgebra.2011.05.020
[15]	Jiang, C. and Wang, S. (2014) Extension of Vertex Operator Algebra VĤ4(l,0). Algebra Colloquium, 21, 361-380. https://doi.org/10.1142/S1005386714000327
[16]	Chen, X., Jiang, C. and Jiang, Q. (2013) Representations of the Twisted Affine Nappi-Witten Algebras. Journal of Mathematical Physics, 54, 1-20. https://doi.org/10.1063/1.4807077
[17]	Christodoulopoulou, K. (2008) Whittaker Modules for Heisenberg Algebras and Imaginary Whittaker Modules for Affine Lie Algebras. Journal of Algebra, 339, 2871-2890. https://doi.org/10.1016/j.jalgebra.2008.06.025
[18]	Xu, C.B. (2013) Virtual Whittaker Module on the Affine Nappi-Witten Algebra. Journal of Wenzhou University, 34, 6-10. (In Chinese)