Generating sets of standard modules for $D_4^{(1)}$

TL;DR

This paper constructs explicit bases for certain subspaces of standard modules over the affine Lie algebra of type D4^(1), using vertex operator relations and difference conditions, and extends these results to the entire module.

Contribution

It introduces a method to generate bases for Feigin--Stoyanovsky's type subspaces of D4^(1) standard modules using vertex operator relations.

Findings

Explicit spanning sets for subspaces are described.

Basis construction relies on difference and initial conditions.

Results extend to entire standard modules.

Abstract

Let $\widetilde{\mathfrak g}$ be an affine Lie algebra of type $D_4^{(1)}$ and $L(\Lambda)$ its standard module of level $k$ with highest weight vector $v_{\Lambda}$. We define Feigin--Stoyanovsky's type subspace as $W(\Lambda)=U(\widetilde{\mathfrak g}_{1})\,v_{\Lambda}$, where $\widetilde{\mathfrak g}=\widetilde{\mathfrak g}_{-1}\oplus\widetilde{\mathfrak g}_{0}\oplus\widetilde{\mathfrak g}_{1}$ is a $\mathbb{Z}$-gradation of $\widetilde{\mathfrak g}$ associated with a $\mathbb{Z}$-gradation $\mathfrak g=\mathfrak g_{-1}\oplus\mathfrak g_{0}\oplus\mathfrak g_{1}$. Using vertex operator relations, we reduce the Poincar\'e--Birkhoff--Witt spanning set of $W(\Lambda)$, and describe it in terms of difference and initial conditions. The spanning set of the whole standard module $L(\Lambda)$ can be obtained as a limit of the spanning set for $W(\Lambda)$.