Technical Summary: A Basis Theorem for Genus-One Conformal Blocks and Modular Invariance of Intertwining Operators

1. Problem Statement

The paper addresses the structure of genus-one conformal blocks associated with a strongly rational vertex operator algebra (VOA) $V$. Specifically, it investigates the space of one-point conformal blocks on a torus $E_\tau$ with a marked point $p$, denoted $\mathcal{C}(E_\tau, p, z, W)$, where $W$ is an irreducible $V$-module.

While Zhu's modular invariance theorem established that trace functions of vertex operators form a basis for the space of genus-one conformal blocks when $W=V$, and subsequent work by Huang and Miyamoto extended modular invariance to logarithmic intertwining operators for $C_2$-cofinite VOAs, a precise geometric characterization of the basis for general intertwining operators in the strongly rational setting remained incomplete. The authors aim to:

1. Prove that trace functions associated with a basis of intertwining operators form a global frame (basis) for the conformal block bundle over the upper half-plane $\mathbb{H}$.
2. Establish a generalized modular invariance theorem for these trace functions, describing their transformation under the action of $SL(2, \mathbb{Z})$.
3. Connect these analytic results to the geometry of the moduli space $\mathcal{M}_{1,1}$ and the representation theory of the modular group.

2. Methodology

The proof combines geometric techniques from the theory of VOA-conformal blocks with analytic methods involving recursive formulas for trace functions.

Geometric Framework

The authors utilize the recent geometric theory of VOA-conformal blocks developed by Damiolini, Gibney, Krashen, and Tarasca (DGT). Key tools include:

• The Conformal Block Bundle: They consider the vector bundle $\mathcal{C}(W)$ over the moduli space $\mathcal{M}_{1,1}$ of elliptic curves and its pullback $\mathcal{C}_\mathbb{H}(W)$ to the universal cover $\mathbb{H}$.
• Factorization and the VB Corollary: They employ the Factorization Theorem and the Vector Bundle (VB) Corollary to relate the dimension of conformal blocks on a torus to the dimensions of spaces of intertwining operators on the sphere (via nodal curves).
• Chiral Lie Algebras: The space of conformal blocks is defined as the dual of coinvariants with respect to the chiral Lie algebra $L_{E_\tau \setminus p}(V)$.

Analytic Construction

• Coordinate Change: To align with the properties of trace functions, the authors work with the coordinate-changed VOA $(V, Y[\cdot, z], 1, \tilde{\omega})$ and its modules, where $\tilde{\omega} = (2\pi i)^2(\omega - \frac{c}{24}\mathbf{1})$.
• Formal Trace Functions: They define formal trace functions $\phi_I(\tau) = \text{tr}|_{M} o_I(\cdot) q^{L(0) - c/24}$ associated with intertwining operators $I \in \mathcal{I} \binom{M}{W M}$.
• Recursive Formulas: Generalizing Zhu's recursive formulas, the authors derive differential equations for these trace functions. They prove that if $W$ satisfies specific conditions (related to $C_2$-cofiniteness and Virasoro highest-weight vectors), these formal series converge to holomorphic functions on $\mathbb{H}$.
• Connection Construction: Using the differential equations satisfied by the trace functions, they construct a flat connection $\nabla$ on the bundle $\mathcal{C}_\mathbb{H}(W)$. They demonstrate that the trace functions are horizontal sections of this connection.

3. Key Contributions and Results

A. The Basis Theorem (Theorem 1.1 / Theorem 6.15)

The central result states that for a strongly rational VOA $V$ and an irreducible module $W$ satisfying a technical condition (existence of a finite-dimensional graded subspace $U$ such that $W = U \oplus C_2(W)$ and $U$ is contained in a sum of Virasoro highest-weight modules), the following holds:

• Let $\{I^k_j\}$ be a basis of the space of intertwining operators $\mathcal{I} \binom{M_k}{W M_k}$ for all irreducible modules $M_k$.
• The associated trace functions $\{\phi_{I^k_j}(\tau)\}$ form a global frame of the vector bundle $\mathcal{C}_\mathbb{H}(W)$.
• Consequently, for any $\tau \in \mathbb{H}$, the set $\{\phi_{I^k_j}(\tau)\}$ forms a basis of the fiber $\mathcal{C}(E_\tau, p, z, W)$.
• The dimension of the space of one-point conformal blocks is exactly $\sum_k \dim \mathcal{I} \binom{M_k}{W M_k}$.

B. Generalized Modular Invariance (Theorem 1.1(b) / Theorem 6.32)

The authors prove that the action of the modular group $SL(2, \mathbb{Z})$ on the fibers of the conformal block bundle is represented in the basis of trace functions. Specifically, for $\gamma = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL(2, \mathbb{Z})$:
$$Z_{I^k_j}\left((c\tau+d)^{-L[0]}v, \frac{a\tau+b}{c\tau+d}\right) = \sum_{k', j'} \gamma_{(k,j),(k',j')} Z_{I^{k'}_{j'}}(v, \tau)$$
where $Z_I(v, \tau)$ is the trace function. The coefficients $\gamma_{(k,j),(k',j')}$ are constants depending only on $\gamma$ and the chosen operators. This result generalizes Zhu's modular invariance for vertex operators and refines previous results for $C_2$-cofinite VOAs by establishing a one-to-one correspondence between bases of intertwining operators and global frames.

C. Geometric and Representation-Theoretic Consequences

• Projective Representation: The trace functions generate a finite-dimensional vector space $C_W$ carrying a projective representation of $SL(2, \mathbb{Z})$. If the conformal weight $h_W$ is an integer, this lifts to an honest representation.
• Monodromy: When $h_W \in \mathbb{Z}$, the flat connection $\nabla$ descends to the moduli space $\mathcal{M}_{1,1}$. The authors prove that the projective representation defined by the modular transformation of trace functions coincides with the monodromy representation of the fundamental group $\pi_1(\mathcal{M}_{1,1}) \cong SL(2, \mathbb{Z})$ on the fibers of the conformal block bundle.
• Realization of Modular Forms: The paper demonstrates that trace functions can realize specific modular forms. In a special case where the space of intertwining operators is one-dimensional and integrality conditions are met, the trace function becomes a genuine modular form. As a concrete example, the authors show that the cusp form $\Delta(\tau)$ can be realized as a trace function associated with an intertwining operator of the affine VOA $L_{\widehat{\mathfrak{sl}}_2}(16, 0)$.

D. Rank Formula and Fusion Rules

Using the factorization theorem, the authors provide a geometric proof of the associativity of fusion rules for strongly rational VOAs. They also derive a rank formula for the vector bundle of VOA-coinvariants on $\mathcal{M}_{g,n}$, generalizing the geometric Verlinde formula for WZNW models.

4. Significance and Claims

The paper claims to be both a generalization and a refinement of existing modular invariance theorems:

• Refinement: Unlike previous theorems that showed trace functions span the space of conformal blocks (often in a quasi-trace or logarithmic context), this work proves they form a basis (a global frame) in the strongly rational case. This establishes a precise dimension formula and a structural link between the geometry of the moduli space and the algebra of intertwining operators.
• Generalization: It extends the scope from vertex operators (Zhu) and quasi-traces (Miyamoto, Huang) to intertwining operators for strongly rational VOAs.
• Geometric Insight: By constructing the connection $\nabla$ and proving the basis theorem, the paper bridges the gap between the analytic properties of trace functions and the geometric theory of conformal blocks on moduli spaces. It confirms that the "physical" sewing of conformal blocks corresponds to the mathematical factorization of the vector bundle.

The authors note that the condition $W = U \oplus C_2(W)$ with $U$ contained in Virasoro highest-weight modules is satisfied for all irreducible modules of affine VOAs at positive integral levels (due to unitarity), ensuring the applicability of their results to a broad class of examples. They conclude by posing questions regarding the unitarity of the generalized $S$-matrix and the realization of all modular forms via such trace functions.