C1-cofinite generalized module in the ungraded HLZ convention

Given: Work over C with the formal-variable, grading, and branch conventions in the linked definitions.

Conformal vertex algebra of CFT type: A conformal vertex algebra of CFT type is a complex vertex algebra $V$ in the sense of def-vertex-algebra-state-field, with a specified vector $\omega \in V$ and scalar $c\in \mathbb{C}$, such that, writing $Y(\omega ,z)={\sum }_{n\in \mathbb{Z}}L(n)z^{-n-2},$ the operators $L(n)$ and scalar central action $c$ satisfy the Virasoro relations of def-virasoro-algebra, and $L(-1)=T$. In addition, $L(0)$ is diagonalizable, $V_n:=\{v\in V:L(0)v=nv\}$ gives $V={⨁}_{n\ge 0}{V}_n$, every $V_n$ is finite dimensional, and $V_0=\mathbb{C}\mathbf{1}$. Under this page's convention, this is a vertex operator algebra of CFT type. The grading and the CFT-type condition are part of the definition; they do not follow from the vertex-algebra axioms alone. The conformal weight of $v\in V_n$ is $n$. A conformal vector, a grading, and the nonnegative grading condition are additional data beyond an ordinary vertex algebra.

Grading-restricted generalized module: Let $V$ be a conformal vertex algebra of CFT type and $M$ a left $V$-module. Write $L_M(0)$ for the coefficient determined by $Y_M(\omega ,z)={\sum }_{n\in \mathbb{Z}}{L}_M(n)z^{-n-2}\mathrm{.}$ For $h\in \mathbb{C}$, define the generalized $L_M(0)$-eigenspace $M_{[h]}=\{m\in M:(L_M(0)-h{)}^{N}m=0\text{ for some integer }N\ge 1\}\mathrm{.}$ The module is grading-restricted generalized if $M={⨁}_{h\in \mathbb{C}}{M}_{[h]}$, every $M_{[h]}$ is finite dimensional, and the real parts of its nonzero generalized weights are bounded below. The direct sum means each vector has only finitely many generalized-weight components. This convention explicitly adds finite-dimensionality and a lower bound to the generalized-eigenspace decomposition; those conditions are not consequences of the module Jacobi identity.

Strongly graded generalized module in the HLZ setting: Let V be an ordinary non-super vertex algebra in the sense of def-vertex-algebra-state-field. A Möbius vertex algebra is V with an integer grading $V={\oplus }_{n\in Z}{V}_{(n)}$ satisfying $V_{(n)}=\{v\in V:L(0)v=nv\}$, and operators L(-1),L(0),L(1) representing sl(2), with L(-1) equal to translation, and satisfying $[L(j),Y(v,x)]={\sum }_{i=0}^{j+1}\mathrm{binom}(j+1,i)x^{i}Y(L(j-i)v,x)$ for $j=-1,0,1$. A Möbius module has the corresponding sl(2)-action and field commutator identities. A conformal vertex algebra supplies these operators through its Virasoro field. For a generalized module write $L(0{)}_s$ for the diagonal operator acting by h on $W_{[h]}$; the nilpotent part is $L(0)-L(0{)}_s$. Let A be an abelian group and suppose V has compatible integer-weight and A-gradings $V={\oplus }_{n\in Z,\alpha \in A}{V}_{(n)}^{(\alpha )}$, each component finite dimensional and lower truncated in n for each α, $1\in V_{(0)}^{(0)}$, $v_m{V}^{(\beta )}\subset V^{(\alpha +\beta )}$, and $L(j)V^{(\alpha )}\subset V^{(\alpha )}$ for $j=-1,0,1$. In the conformal case require $\omega \in V_{(2)}^{(0)}$. For an abelian group $\tilde{A}\supset A$, a generalized module $W={\oplus }_{h\in C,\beta \in \tilde{A}}{W}_{[h]}^{(\beta )}$ is strongly Ã-graded when the gradings are compatible, each $W_{[h]}^{(\beta )}$ is finite dimensional, $W_{[h+k]}^{(\beta )}=0$ for all sufficiently negative integers k for each h,β, $v_m{W}^{(\beta )}\subset W^{(\alpha +\beta )}$, and $L(j)W^{(\beta )}\subset W^{(\beta )}$ for $j=-1,0,1$. Morphisms preserve both gradings and the V-action.