Finiteness and Construction of Internal Hom for Vertex Operator Algebras

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} \big(W^1,(W^2 )^\prime \big)$ 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)'$ and $ W^1 \boxtimes (W^2)'$, and prove the finiteness of the corresponding fusion rules.