Finiteness and Construction of Internal Hom for Vertex Operator Algebras

Abstract

Let $V$ be a vertex operator algebra, and let $W^1$ and $W^2$ be restricted $V$-modules. We construct a generalized $V$-module $\mathcal{H}(W^1,W^2)$ characterized by canonical universal properties. We show that, under suitable hypotheses, $\mathcal{H}(W^1,W^2)$ realizes the internal Hom object in the tensor category of restricted $V$-modules. Although our construction differs from Li's, we show that it agrees with the natural logarithmic generalization of Li's module $\Delta (W^1,W^2)$. We further establish a canonical isomorphism between $\mathcal{H}(W^1,(W^2{)}^{\prime })$ and the $P(z_0)$-dual product $ W^1 \pzbox_{P(z_0)} W^2 $ recently constructed by Du and Huang. Under the $C_1$-cofiniteness condition, we investigate finiteness properties of $\mathcal{H}(W^1,W^2)$. As applications, we obtain a natural isomorphism between $\mathcal{H}(W^1,W^2{)}^{\prime }$ and $W^1⊠(W^2{)}^{\prime }$, and prove the finiteness of the corresponding fusion rules.

39 pages, fixed some typos