A Matrix Rank Formula for Vector Bundles of Vertex Operator Algebra Coinvariants and Conformal Blocks

1. Problem Statement

The paper addresses the computation of the rank of vector bundles of coinvariants (and their duals, conformal blocks) associated with modules over Vertex Operator Algebras (VOAs) on the moduli space of stable pointed curves, $\overline{M}_{g,n}$.

• Context: Given a strongly rational VOA $V$ and a tuple of admissible modules $\{W_1, \dots, W_n\}$, one constructs a vector bundle $\mathcal{V}_{g,n}(V, \{W_\bullet\})$ on $\overline{M}_{g,n}$.
• Challenge: While the dimension of the fiber (the rank) is constant on smooth curves due to the existence of a projectively flat connection (WZW connection), determining the rank at singular curves (nodal curves) is non-trivial.
• Existing Methods:
  • Factorization: The rank at a nodal curve can be reduced to sums of ranks on the normalization of the curve (a recursive process).
  • Verlinde Formula: For affine VOAs at positive integer levels, closed formulas exist (Verlinde formula), often involving fusion rules.
  • Limitations: Generalizing these closed formulas to arbitrary strongly rational VOAs or specific configurations (like tensor products or specific module tuples) has been difficult. Existing approaches often rely on case-by-case geometric degenerations or specific algebraic structures (e.g., Lie algebras).

The author seeks a unified, closed-form matrix formula that computes these ranks for general strongly rational VOAs, unifying the concepts of fusion matrices and averaging matrices.

2. Methodology

The core methodology involves introducing a new algebraic tool called the FA-matrix (Fusion-Averaging matrix) and establishing a formal framework based on formal factorization properties.

A. The FA-Matrix

Let $V$ be a strongly rational VOA with irreducible modules $W_1, \dots, W_l$. For a tuple of modules $S_\bullet$ and genus $g$, the author defines an $l \times l$ matrix $R_{S_\bullet, g}$:
$$(R_{S_\bullet, g})_{i,j} := \text{rank} \mathcal{V}_{g, n+2}(V, \{S_\bullet, W_i, W'_j\})$$
where $W'_j$ is the dual module.

• Genus 0: When $S_\bullet$ is a single module, $R_{S,0}$ corresponds to the standard fusion matrix.
• Genus 1: The matrix $R_{V,1}$ (associated with the vacuum module) corresponds to Ueno's averaging matrix.
• Unification: The FA-matrix unifies these concepts, treating them as instances of a single algebraic structure.

B. Formal Factorization and Rank Formula

The paper establishes that the sequence of rank functions $\{N_g\}$ satisfies a formal factorization property (recursive relations derived from the geometry of clutching maps and normalization). The author proves that this recursive property is equivalent to a closed matrix rank formula:

1. Multiplication Property: The FA-matrix of a concatenated tuple is the product of the FA-matrices of the parts:
   $$R_{S_\bullet, g_1} R_{T_\bullet, g_2} = R_{S_\bullet T_\bullet, g_1+g_2}$$
2. Trace Property: The rank on a curve of genus $g+1$ is the trace of the FA-matrix on genus $g$:
   $$\text{rank} \mathcal{V}_{g+1, n}(V, \{S_\bullet\}) = \text{Tr}(R_{S_\bullet, g})$$
3. Closed Formula (Theorem 1/5.7): For a tuple $S_\bullet = (W_1^{n_1}, \dots, W_l^{n_l})$, the rank is given by:
   $$\text{rank} \mathcal{V}_{g, n+2}(V, \{S_\bullet, W_i, W'_j\}) = \left( \prod_{k=1}^l R_{W_k, 0}^{n_k} \cdot R_{V, 1}^g \right)_{i,j}$$
   $$\text{rank} \mathcal{V}_{g, n}(V, \{S_\bullet\}) = \text{Tr}\left( \prod_{k=1}^l R_{W_k, 0}^{n_k} \cdot R_{V, 1}^{g-1} \right)$$

This transforms the geometric problem of computing ranks into a problem of linear algebra (matrix multiplication and trace).

C. Tensor Product Analysis

The paper investigates the behavior of these bundles under the tensor product of VOAs ($V_1 \otimes V_2$). It proves that the FA-matrix of the tensor product is the Kronecker product of the individual FA-matrices:
$$R_{V_1 \otimes V_2, S_\bullet \otimes T_\bullet, g} = R_{V_1, S_\bullet, g} \otimes R_{V_2, T_\bullet, g}$$
This leads to a multiplicative formula for ranks and Chern classes of tensor product bundles.

3. Key Contributions and Results

A. General Rank Formula

The primary contribution is Theorem 5.7, which provides a closed-form matrix rank formula valid for any strongly rational VOA where the factorization theorem holds. This generalizes the Verlinde formula and Ueno's work on affine VOAs to a much broader class of VOAs.

B. Pointed VOAs

For pointed VOAs (where the fusion ring is a group ring $\mathbb{Z}[G]$), the author derives a simplified rank formula:
$$\text{rank} \mathcal{V}_{g,n}(V, \{W_{x_1}, \dots, W_{x_n}\}) = |G|^g \cdot \delta_{\prod x_i, e}$$
where $e$ is the identity of the group $G$. This shows the rank is either $|G|^g$ or $0$, depending on whether the product of the modules in the fusion ring is trivial.

C. Positivity and F-nefness

The paper analyzes the positivity of the first Chern classes (coinvariant divisors) of these bundles.

• F-nefness: A divisor is F-nef if it intersects all F-curves (specific 1-dimensional strata in $\overline{M}_{g,n}$) non-negatively.
• Reduction Theorem (Theorem 7.10): For pointed VOAs, testing F-nefness for all $g \geq 3$ reduces to testing it for a single genus $g=3$ (or $g=2$ if unitary).
• Order Two Modules: For modules $W$ of order two ($W \boxtimes W \cong V$), the rank on $\overline{M}_{0,n}$ is non-zero only if $n$ is even. The nefness of the divisor is determined solely by the conformal weight $a_W$: the divisor is nef if and only if $a_W \geq 0$.

D. Virasoro VOAs and Continued Fractions

The paper applies the matrix method to Virasoro VOAs in the discrete series ($V_{p,q}$).

• It computes generating functions for ranks of symmetric bundles (all marked points having the same module).
• For the boundary case $V_{2, 2l+1}$, the generating function for the minimal weight module is shown to be a finite continued fraction with $l$ layers.
• For the maximal weight module, the generating function is a simple rational function ($1/(1-z)$ or $1/(1-z^2)$).

E. Examples and Computations

The author provides explicit FA-matrices and rank calculations for:

• Affine VOAs ($L(\mathfrak{sl}_2, l)$): Explicit fusion matrices are given for various levels.
• Lattice VOAs: Generalized formulas for lattices with cyclic discriminant groups.
• Yang-Lee Model: A specific example where ranks follow the Fibonacci sequence.

4. Significance

1. Unification: The FA-matrix framework unifies previously disparate concepts (fusion matrices, averaging matrices, Verlinde formula) into a single linear algebraic formalism.
2. Computational Efficiency: By reducing rank computations to matrix multiplication, the paper provides a practical algorithm for computing ranks for complex VOA configurations that were previously intractable or required ad-hoc geometric arguments.
3. Positivity Insights: The results on F-nefness provide new criteria for the global generation and positivity of coinvariant divisors, which are crucial for constructing morphisms from moduli spaces to projective schemes (e.g., in the study of the ample cone of $\overline{M}_{g,n}$).
4. Generalization: The work extends the applicability of rank formulas beyond affine Lie algebras to pointed VOAs, tensor products, and Virasoro algebras, offering a comprehensive toolkit for the study of conformal blocks in algebraic geometry and mathematical physics.

In summary, Xiangrui Luo introduces a powerful matrix-based formalism that solves the rank computation problem for VOA coinvariants, revealing deep structural connections between the algebraic properties of VOAs and the geometric properties of moduli spaces of curves.