Spanning sets for Möbius vertex algebras satisfying arbitrary difference conditions (Q958539): Difference between revisions

Motivated by \textit{H. Yamauchi} [Internat. J. Math. 15, 87--109 (2004; Zbl 1052.17018)], the authors consider a family of Poincaré-Birkhoff-Witt-like spanning sets for Möbius vertex algebras which satisfy certain ordering restrictions. Möbius vertex algebras are generalizations of vertex operator algebras. In fact, a Möbius vertex algebra admits only a representation of \(\mathfrak{sl}(2)\), a Lie subalgebra of a Virasoro algebra. Let \(V\) be a Möbius vertex algebra with no weight subspace of negative weight. Let \(N\) be a positive integer and denote by \(C_{N+1}(V)\) the subspace of \(V\) spanned by the vectors \(u_{-N-1}v\) for \(u,v \in V\). Let \(X\) be a complete set of homogeneous representatives of a basis of the quotient space \(V/C_{N+1}(V)\). In the paper under review it is shown that \(V\) is spanned by the vectors of the form \(x^1_{n_1} x^2_{n_2} \cdots x^k_{n_k} \mathbf{1}\), where \(0 \leq k\), \(x^i \in X\), and \(n_1 < n_2 < \cdots < n_k < 0\) with \(n_{i+1} - n_i \geq N\) for each \(1 \leq i \leq k-1\). This result is a generalization of \textit{M. R. Gaberdiel} and \textit{A. Neitzke} [Comm. Math. Phys. 238, 305--331 (2003; Zbl 1042.17025)], where the case \(N=1\) was studied. The main idea of the proof is the use of a filtration \(V^{(0)}_N \subset V^{(1)}_N \subset \cdots \subset V\), where \(V^{(s)}_N\) is the subspace spanned by the vectors of the form \(u^1_{n_1} u^2_{n_2} \cdots u^k_{n_k} \mathbf{1}\) for \(u^i \in V\) with \((N-1)k + \sum_{i=1}^k \text{wt\,} u^i \leq s\). The argument is based on the associativity and the commutativity, both of which are specializations of the Jacobi identity of vertex algebras.