Modules, Intertwining Operators, and Tensor Categories

VOA modules carry the chiral states on which vertex fields act, while intertwining operators describe charged insertions between modules. Fusion multiplicities count such operators, but a tensor category exists only after products and iterates are shown to converge and analytically continue, so that associativity and braiding maps are actually defined. The Ising model makes the distinction visible: its three fusion rules form a consistent based ring, and additional VOA theorems promote that ring to a modular tensor category.

Required background. Vertex Operator Algebras: Axioms, Grading, and Locality supplies the state–field identities. Representations, Intertwiners, Invariants, and Tensor Decomposition supplies the representation-theoretic universal-property language. Highest-Weight Modules, Null States, and the Kac Determinant supplies the Virasoro modules used in the example.

Helpful background. Chiral Blocks, Sewing, and Modular Invariance gives the physical analytic-continuation picture.

Modules and charged vertex operators

A weak $V$-module $W$ has a map $Y_W(v,z)=\sum_n v_n^Wz^{-n-1}$ satisfying vacuum, truncation, and Jacobi identities. An admissible module has a compatible $\mathbb Z_{\geq0}$ grading. An ordinary module instead decomposes into finite-dimensional $L_0$ eigenspaces whose real parts are bounded below; a generalized module permits finite-dimensional generalized eigenspaces and therefore possible $L_0$ Jordan blocks. These classes coincide only under additional finiteness and semisimplicity hypotheses.

For $V$-modules $W_1,W_2,W_3$, an intertwining operator of type $\binom{W_3}{W_1\;W_2}$ is a map

$$\mathcal Y(\,\cdot\,,z):W_1\longrightarrow \operatorname{Hom}(W_2,W_3)\{z\}[\log z]$$

with lower truncation, an $L_{-1}$ derivative identity, and an intertwining Jacobi identity. Logarithms are absent for ordinary semisimple modules but are needed for generalized modules. The fusion coefficient

$$N_{12}^{\phantom{12}3}=\dim \mathcal V^{W_3}_{W_1W_2}$$

counts the relevant intertwining-operator space. It does not by itself construct an object $W_1\boxtimes W_2$.

A $P(z)$-tensor product is characterized by a universal intertwining map: maps from $W_1\boxtimes_{P(z)}W_2$ to $W_3$ correspond naturally to intertwining maps of the indicated type. To compare $(W_1\boxtimes W_2)\boxtimes W_3$ with $W_1\boxtimes(W_2\boxtimes W_3)$, matrix coefficients of products must converge for $|z_1|>|z_2|>0$, matrix coefficients of iterates must converge for $|z_2|>|z_1-z_2|>0$, and the two must be branches of one analytically continued multivalued function. Huang, Lepowsky, and Zhang show that $C_1$-cofiniteness and quasi-finite dimensionality supply sufficient differential equations and convergence properties Huang, Lepowsky, and Zhang 2012, §11.2, Theorems 11.6 and 11.8, PDF pp. 18–24. Only then do parallel transport, associativity, and braiding satisfy coherent pentagon and hexagon identities.

Rigidity, duals, and nondegeneracy are further conclusions, not parts of the bare definition. Under the familiar simple, CFT-type, self-contragredient, rational, and $C_2$-cofinite hypotheses, the representation category is modular and the modular $S$ matrix diagonalizes fusion Huang 2007, Theorem 5.2, PDF pp. 90–92.

The three Ising modules

The first application is the minimal-model calculation developed in Minimal Models and Fusion Rules. For the simple Virasoro VOA $L(\tfrac12,0)$, the three irreducible ordinary modules have lowest weights

$$\mathbf1:L\!\left(\tfrac12,0\right),\qquad \varepsilon:L\!\left(\tfrac12,\tfrac12\right),\qquad \sigma:L\!\left(\tfrac12,\tfrac1{16}\right).$$

Null-vector constraints give one-dimensional intertwiner spaces precisely for

$$\varepsilon\boxtimes\varepsilon\cong\mathbf1,\qquad \varepsilon\boxtimes\sigma\cong\sigma,\qquad \sigma\boxtimes\sigma\cong\mathbf1\oplus\varepsilon,$$

with the vacuum as tensor unit. Thus $N_{\sigma\sigma}^{\mathbf1}=N_{\sigma\sigma}^{\varepsilon}=1$. A quick dimension check follows from $d_Xd_Y=\sum_ZN_{XY}^Zd_Z$: $d_{\varepsilon}=1$ and $d_{\sigma}^2=2$, so positivity selects $d_\sigma=\sqrt2$. The $S$ matrix in the order $(\mathbf1,\varepsilon,\sigma)$ is

$$S=\frac12 \begin{pmatrix} 1&1&\sqrt2\\ 1&1&-\sqrt2\\ \sqrt2&-\sqrt2&0 \end{pmatrix},$$

and Verlinde multiplication reproduces the same coefficients. This is an independent check of the fusion table. The categorical conclusion, however, uses the minimal-model VOA’s semisimplicity, cofiniteness, convergence, rigidity, and nondegenerate $S$ matrix; the integers alone do not provide the associator or braiding.

Analytic continuation supplies coherence

Associativity is not chosen independently for every triple. Matrix coefficients of products and iterates solve a common system of regular-singular differential equations, and analytic continuation between their domains defines the associativity isomorphism. Continuing insertion points around one another defines braiding; comparing different continuation paths proves the pentagon and hexagon identities. This mechanism also explains why branch choices and logarithms matter in generalized modules. A purely algebraic fusion table has no insertion variables, convergence regions, or monodromy, so it cannot determine these coherence maps. In the Ising case the rationality and cofiniteness theorems ensure that the analytic category closes on the three ordinary modules.

Adversarial test: a based ring without associativity data

Suppose one is handed nonnegative integers $N_{ij}^k$ satisfying commutativity and unit rules. Even if the matrices $N_i$ associate as matrices, there need not be convergent products of intertwining operators, natural associativity isomorphisms, or pentagon coherence. In a logarithmic category, products may require powers of $\log z$ and generalized modules absent from a proposed semisimple category. The strongest justified output of the integer fixture is a candidate fusion ring. A tensor-category claim must be withheld until the analytic convergence/extension property and categorical closure are proved.

Exercises

1. Check associativity of the Ising fusion ring on the only nontrivial triple, $\sigma,\sigma,\sigma$.

Solution

Using the rules, $(\sigma\boxtimes\sigma)\boxtimes\sigma=(\mathbf1\oplus\varepsilon)\boxtimes\sigma\cong\sigma\oplus\sigma$. Likewise $\sigma\boxtimes(\sigma\boxtimes\sigma)\cong\sigma\oplus\sigma$. This checks the Grothendieck ring only; it does not construct the isomorphism between the two parenthesizations.

2. Use the displayed $S$ matrix to compute the eigenvalues of fusion by $\varepsilon$.

Solution

Verlinde diagonalizes $N_\varepsilon$ with eigenvalues $S_{\varepsilon x}/S_{\mathbf1x}=(1,1,-1)$. This matches the permutation $\mathbf1\leftrightarrow\varepsilon$ and $\sigma\mapsto\sigma$.

References

• Huang, Yi-Zhi. “Vertex Operator Algebras and the Verlinde Conjecture.” Communications in Contemporary Mathematics 10 (2008), 103–154. DOI. Open PDF.
• Huang, Yi-Zhi, James Lepowsky, and Lin Zhang. “Logarithmic Tensor Category Theory, VII: Convergence and Extension Properties and Applications to Expansion for Intertwining Maps.” arXiv:1110.1929v2 (2012). Open PDF.