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

1. Il Problema e il Contesto

Il lavoro si colloca nell'intersezione tra la teoria delle algebre di operatori vettoriali (VOA), la teoria delle rappresentazioni e la geometria algebrica, in particolare nello studio dello spazio dei moduli delle curve stabili puntate, denotato come $\mathcal{M}_{g,n}$.

Dato un VOA $V$ (di tipo CFT e fortemente razionale) e un insieme di $n$ moduli ammissibili $\{W_1, \dots, W_n\}$, è possibile costruire uno spazio vettoriale di coinvarianti e il suo duale, lo spazio dei blocchi conformi. Questi spazi variano al variare della curva nella famiglia, formando un fascio su $\mathcal{M}_{g,n}$. Sotto opportune ipotesi, questo fascio è un fibrato vettoriale di rango finito.

L'obiettivo principale della ricerca è determinare il rango di questi fibrati vettoriali (una quantità cruciale per calcolare le classi di Chern e studiare le proprietà di positività) e analizzare la positività delle loro classi di Chern prime (divisori di coinvarianti). Sebbene esistano formule note per casi specifici (come le algebre affini a livello intero, dove vale la formula di Verlinde), manca un metodo unificato e generale per calcolare questi ranghi per una vasta classe di VOA, inclusi prodotti tensoriali e algebre di Virasoro.

2. Metodologia: Le Matrici FA

L'autore introduce un nuovo strumento algebrico chiamato matrice FA (Fusion-Averaging matrix), che unifica i concetti di matrici di fusione e matrici di media (averaging matrices).

• Definizione: Per un VOA fortemente razionale $V$ con moduli irriducibili $\{W_1, \dots, W_l\}$ e una $n$-tupla di moduli $S_\bullet$, la matrice FA $R_{S_\bullet, g}$ è una matrice $l \times l$ definita da:
  $$(R_{S_\bullet, g})_{i,j} = \text{rank } V_{g, n+2}(V, \{S_\bullet, W_i, W'_j\})$$
  dove $W'_j$ è il modulo duale.
• Proprietà Strutturali: Il paper dimostra che queste matrici soddisfano una proprietà di fattorizzazione formale e una proprietà FA. In particolare:
  1. La moltiplicazione di matrici FA corrisponde alla concatenazione di tuple di moduli e alla somma dei generi (Teorema 5.5, Lemma 5.4).
  2. La traccia di una matrice FA corrisponde al calcolo del rango su una curva di genere aumentato di uno (Teorema 5.5).
  3. La matrice di media definita da Ueno è identificata come un caso particolare di matrice FA (genere 1).

Questa struttura permette di tradurre problemi geometrici complessi di calcolo del rango in operazioni di algebra lineare (moltiplicazione di matrici e calcolo della traccia).

3. Contributi Chiave e Risultati Principali

A. Formula Chiusa per il Rango (Teorema 1 / Teorema 5.7)

Il risultato centrale è una formula chiusa per il rango dei fibrati di coinvarianti. Se $V$ è un VOA fortemente razionale e $S_\bullet = (W_{i_1}, \dots, W_{i_n})$ è una tupla di moduli, il rango è dato da:
$$\text{rank } V_{g, n+2}(V, \{S_\bullet, W_i, W'_j\}) = \left( \prod_{k=1}^n R_{W_{i_k}, 0} \cdot R_{V, 1}^g \right)_{i,j}$$
e per $g \ge 1$:
$$\text{rank } V_{g, n}(V, \{S_\bullet\}) = \text{Tr}\left( \prod_{k=1}^n R_{W_{i_k}, 0} \cdot R_{V, 1}^{g-1} \right)$$
Questa formula generalizza la formula di Verlinde e fornisce un algoritmo computazionale efficiente basato sulle matrici di fusione a genere zero e sulla matrice di media.

B. Prodotti Tensoriali di VOA (Sezione 6)

L'autore studia il comportamento dei fibrati di coinvarianti sotto il prodotto tensoriale di due VOA, $V_1 \otimes V_2$.

• Si dimostra che la matrice FA del prodotto tensoriale è il prodotto di Kronecker delle matrici FA dei singoli VOA (Lemma 6.3).
• Di conseguenza, il rango e la classe di Chern prima del fibrato associato a $V_1 \otimes V_2$ si fattorizzano in modo naturale:
  $$\text{rank } V_{g,n}(V_1 \otimes V_2, \{S_\bullet \otimes T_\bullet\}) = \text{rank } V_{g,n}(V_1, \{S_\bullet\}) \cdot \text{rank } V_{g,n}(V_2, \{T_\bullet\})$$
  $$c_1(V_{g,n}(V_1 \otimes V_2, \dots)) = c_1(V_{g,n}(V_1, \dots)) \otimes \text{rank}(V_2) + \dots$$
  Questo risponde positivamente a una domanda aperta di Damiolini-Gibney per una classe più ampia di VOA.

C. Algebre di Virasoro e Serie Discreta (Sezione 9)

Il paper applica la metodologia alle algebre di Virasoro nella serie discreta ($V_{p,q}$).

• Vengono calcolati esplicitamente i ranghi per moduli di peso conforme massimo e minimo.
• Si scopre che le funzioni generatrici per i ranghi associati al modulo di peso minimo sulla frontiera della serie discreta sono date da frazioni continue con una simmetria sorprendente (Teorema 9.2).
• Per il modulo di peso massimo, il rango segue pattern semplici legati alla parità di $n$ (Teorema 9.3).

D. Proprietà di Positività e Divisori F-nef (Sezione 7 e 8)

Un'applicazione significativa è l'analisi della positività dei divisori di coinvarianti (classi di Chern prime).

• Algebre Puntate (Pointed VOAs): Per VOA il cui anello di fusione è un gruppo (es. VOA reticolari), il rango è $|G|^g$ o zero. Si dimostra che la proprietà di essere "F-nef" (intersezione non negativa con tutte le curve F) può essere ridotta al test su curve di genere basso (genere 2 o 3) (Teorema 7.10).
• Moduli di Ordine Due: Per moduli irriducibili $W$ tali che $W \boxtimes W \cong V$ (ordine due), il rango su $\mathcal{M}_{0,n}$ è 1 se $n$ è pari e 0 altrimenti. La positività del divisore simmetrico è determinata esclusivamente dal peso conforme $a_W$: il divisore è nef se e solo se $a_W \ge 0$ (Proposizione 8.8).
• Questo fornisce controesempi e condizioni precise per la non-F-nefness di certi divisori, specialmente per algebre di Virasoro non puntate.

4. Significato e Impatto

Il lavoro di Luo rappresenta un avanzamento significativo nella teoria dei blocchi conformi e dei fibrati di coinvarianti per diversi motivi:

1. Unificazione: Fornisce un quadro teorico unificato (le matrici FA) che collega la teoria della fusione, la teoria delle rappresentazioni e la geometria dello spazio dei moduli, generalizzando risultati precedenti di Ueno, Beauville e Damiolini-Gibney-Tarasca.
2. Calcolabilità: Trasforma problemi di calcolo del rango, che richiederebbero ricorsioni complesse sulla degenerazione delle curve, in operazioni matriciali finite e computabili.
3. Nuovi Esempi: Estende la comprensione dei ranghi e della positività a classi di VOA precedentemente meno trattate sistematicamente, come i prodotti tensoriali e le algebre di Virasoro nella serie discreta.
4. Connessione con la Geometria: I risultati sulla positività (F-nefness) hanno implicazioni dirette sulla geometria birazionale di $\mathcal{M}_{g,n}$, aiutando a identificare quali divisori sono nef e a comprendere la struttura del cone nef.

In sintesi, il paper offre un potente strumento algebrico per lo studio dei fibrati vettoriali associati ai VOA, risolvendo problemi aperti sulla formula del rango e fornendo nuovi criteri per l'analisi della positività dei divisori sui spazi dei moduli delle curve.