Abstract:The representation theory of the Nappi-Witten VOA was initiated in <a class="link-https" data-arxiv-id="1104.3921" href="https://arxiv.org/abs/1104.3921">arXiv:1104.3921</a> and <a class="link-https" data-arxiv-id="2011.14453" href="https://arxiv.org/abs/2011.14453">arXiv:2011.14453</a>. In this paper we use the technique of inverse quantum hamiltonian reduction to investigate the representation theory of the Nappi-Witten VOA $ V^1(\mathfrak h_4)$. We first prove that the quantum hamiltonian reduction of $ V^1(\mathfrak h_4)$ is the Heisenberg-Virasoro VOA $L^{HVir}$ of level zero investigated in <a class="link-https" data-arxiv-id="math/0201314" href="https://arxiv.org/abs/math/0201314">arXiv:math/0201314</a> and <a class="link-https" data-arxiv-id="1405.1707" href="https://arxiv.org/abs/1405.1707">arXiv:1405.1707</a>. We invert the quantum hamiltonian reduction in this case and prove that $ V^1(\mathfrak h_4)$ is realized as a vertex subalgebra of $L^{HVir} \otimes \Pi$, where $\Pi$ is a certain lattice-like vertex algebra. Using such an approach we shall realize all relaxed highest weight modules which were classified in <a class="link-https" data-arxiv-id="2011.14453" href="https://arxiv.org/abs/2011.14453">arXiv:2011.14453</a>. We show that every relaxed highest weight module, whose top components is neither highest nor lowest weight $\mathfrak h_4$-module, has the form $M_1 \otimes \Pi_{1} (\lambda)$ where $M_1$ is an irreducible, highest weight $L^{HVir}$-module and $\Pi_{1} (\lambda)$ is an irreducible weight $\Pi$-module. Using the fusion rules for $L^{HVir}$-modules and the previously developed methods of constructing logarithmic modules we are able to construct a family of logarithmic $V^1(\mathfrak h_4)$-modules. The Loewy diagrams of these logarithmic modules are completely analogous to the Loewy diagrams of projective modules of weight $L_k(\mathfrak{sl}(2))$-modules, so we expect that our logarithmic modules are also projective in a certain category of weight $ V^1(\mathfrak h_4)$-modules.

Affine vertex operator superalgebra $L_{\widehat{osp(1|2)}}(\mathcal{l},0)$ at admissible level

Ordinary modules for vertex algebras of $\mathfrak{osp}_{1|2n}$

Orbifold theory of the affine vertex operator superalgebra $L_{\widehat{osp(1|2)}}(k,0)$

Orbifold Theory of the Affine Vertex Operator Superalgebra L<(osp(1|2))over Cap>(k, 0)

Orbifold Duality Symmetries and Quantum Hall systems

Q A ] 2 6 Ju l 2 00 6 Rationality of vertex operator algebras

Orbifold Theory of the Affine Vertex Operator Superalgebra Losp(1|2)ˆ…

Some Rational Vertex Algebras

Orbifold theory of the affine vertex operator superalgebra Losp(1|2)ˆ(k,0)

Rationality of Vertex Operator Algebras

Representations of vertex operator algebra V_L^+ for rank one lattice L

Semisimplicity of module categories of certain affine vertex operator superalgebras

A Characterization of the Rational Vertex Operator Algebra VZα+: II

Representations of the Vertex Operator Algebra VL2A4

Nappi-Witten vertex operator algebra via inverse Quantum Hamiltonian Reduction

Representations of the orbifold of parafermion vertex operator algebra $K(osp(1|2),k)$

Vertex Operator Algebras Associated to Modified Regular Representations of Affine Lie Algebras

Classical freeness of orthosymplectic affine vertex superalgebras

Yoneda Algebras of the Triplet Vertex Operator Algebra

Modularity of admissible-level $\mathfrak{sl}_{3}$ minimal models with denominator $2$

Spectral flow, twisted modules and MLDE of quasi-lisse vertex algebras