Finite simple labels alone do not imply a semisimple module category

Since $A$ is unital, commutative, and associative, the constant field assignment $Y(a,z)b=ab$ has only the mode $a_{(-1)}b=ab$ and all other modes zero. It is lower truncated; the vacuum and creation identities hold because $1b=b$; translation covariance holds because $T=0$ and the field is constant; and locality holds because multiplication operators commute. Thus $V$ is a vertex algebra by [F1].

For any finite-dimensional unital $A$-module $(M,\rho )$, set $Y_M(a,z)=\rho (a)$, a constant field. It is lower truncated and satisfies the vacuum axiom. In its module Jacobi identity, associativity gives $\rho (a)\rho (b)=\rho (ab)=\rho (b)\rho (a)$, so the left side is $(\alpha -\beta )\rho (ab)$, where $\alpha$ and $\beta$ are the first two displayed delta terms; the right side is $\gamma \rho (ab)$, where $\gamma$ is the third term. Identity [F3] gives $\alpha -\beta =\gamma$, so this is a $V$-module by [F2]. Conversely, by the definition of $\mathcal{C}$, its objects are exactly these unital $A$-modules.

For a constant-field object, the only potentially nonzero mode is $a_{(-1)}^M=\rho (a)$, so its $V$-submodules are exactly its $A$-submodules. Let $S$ be a nonzero simple object of $\mathcal{C}$ in the sense of [F5]. The subspace $\epsilon S$ is an $A$-submodule. It cannot equal $S$, since then ${\epsilon }^{2}S=\epsilon S=S$ would contradict ${\epsilon }^2=0$ and $S\mathrm{\ne }0$. Simplicity therefore gives $\epsilon S=0$, so the action factors through $A\mathrm{/}(\epsilon )\cong \mathbb{C}$. Every one-dimensional subspace is then a submodule; simplicity forces $\dim S=1$. Conversely, the one-dimensional module with $\epsilon$ acting by zero is simple. Hence $\mathcal{C}$ has exactly one simple isomorphism class.

In the regular module $A$, the subspace $\epsilon A=\mathbb{C}\epsilon$ and quotient $A\mathrm{/}\epsilon A\cong \mathbb{C}$ are both the simple module just described, giving $0\to \mathbb{C}\epsilon \to A\to \mathbb{C}\to 0$. If it split as $A$-modules, $A$ would be a direct sum of two modules annihilated by $\epsilon$, forcing multiplication by $\epsilon$ on $A$ to be zero; but $\epsilon \cdot 1=\epsilon \mathrm{\ne }0$. Thus this extension does not split, and $\mathcal{C}$ is not semisimple by [F5].

For every candidate conformal vector $\omega \in V$, the field $Y(\omega ,z)$ is constant, so in $Y(\omega ,z)={\sum }_{n}L(n)z^{-n-2}$ the only possibly nonzero mode is $L(-2)$ and $L(0)=0$. Its zero eigenspace is all of $V$, which has dimension two, not $\mathbb{C}\mathbf{1}$; hence no conformal vector makes this a CFT-type algebra under [F4]. The example is therefore an algebraic module-category counterexample, not a counterexample to a rationality theorem for conformal vertex operator algebras.