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

Probleemstelling

Het artikel adresseert het probleem van het berekenen van de rang (dimensie) van vectorbundels van coinvarianten en hun duale, de conforme blokken, geassocieerd met modules over Vertex Operator Algebras (VOA's) op de moduli-ruimte van stabiele, gepunte krommen ($M_{g,n}$).

Hoewel voor specifieke gevallen (zoals affiene VOA's op positieve gehele niveaus) formules bestaan (zoals de Verlinde-formule), ontbreekt er een universele, gesloten formule voor bredere klassen van VOA's. Bestaande methoden, zoals de factorisatiestelling, bieden een recursieve aanpak die de berekening reduceert tot fusieregels, maar leveren geen directe, gesloten uitdrukking op voor willekeurige genus $g$ en aantal punten $n$. Een tweede uitdaging is het analyseren van de positiviteitseigenschappen (zoals nefness en F-nefness) van de eerste Chern-classes van deze bundels, wat essentieel is voor het begrijpen van de geometrie van de moduli-ruimte.

Methodologie

De auteur introduceert een nieuwe wiskundige tool genaamd de FA-matrix (Formal Averaging/Fusion Matrix) om het probleem van rangberekening te vertalen naar lineaire algebra en matrixtheorie.

1. FA-matrices:

   • Voor een sterk rationele VOA $V$ en een verzameling irreducibele modules $\{W_1, \dots, W_l\}$, definieert de auteur een $l \times l$ matrix $R_{S^\bullet, g}$ voor een tuple van modules $S^\bullet$ en genus $g$.
   • Het element $(i,j)$ van deze matrix is de rang van de bundel van coinvarianten op $M_{g, n+2}$ met de modules $S^\bullet$ gecombineerd met $W_i$ en de duale $W'_j$.
   • Deze matrices verenigen de concepten van fusiematrices (voor genus 0) en averaging matrices (voor genus 1).

2. Formele Eigenschappen:

   • De auteur bewijst dat deze FA-matrices voldoen aan een formele factorisatie-eigenschap.
   • Vermenigvuldiging: Het product van twee FA-matrices correspondeert met het samenvoegen van tuples van modules en het optellen van de genus ($R_{S^\bullet, g_1} R_{T^\bullet, g_2} = R_{S^\bullet T^\bullet, g_1+g_2}$).
   • Trace: De trace van een FA-matrix correspondeert met het verhogen van de genus met 1 ($\text{Tr}(R_{S^\bullet, g}) = \text{rank}_{g+1, n}$).

3. Tensorproducten:

   • Er wordt aangetoond dat het tensorproduct (Kronecker-product) van FA-matrices van twee VOA's overeenkomt met de FA-matrix van het tensorproduct van die VOA's.

Belangrijkste Bijdragen en Resultaten

1. De Matrix Rang Formule (Hoofdstelling 1 / Theorem 5.7)
De kernbijdrage is een gesloten formule voor de rang van vectorbundels van coinvarianten. Voor een sterk rationele VOA $V$ en een tuple irreducibele modules $S^\bullet = (W_{n_1}^1, \dots, W_{n_l}^l)$ geldt:
$$\text{rank}_{g, n+2}(V, \{S^\bullet, W_i, W'_j\}) = \left( \prod_{k=1}^n R_{W_{S_k}, 0} \cdot R_{V, 1}^g \right)_{i,j}$$
En voor de rang op $M_{g,n}$ (waar $g \ge 1$):
$$\text{rank}_{g, n}(V, \{S^\bullet\}) = \text{Tr}\left( \left( \prod_{k=1}^n R_{W_{S_k}, 0} \right) \cdot R_{V, 1}^{g-1} \right)$$
Hierbij is $R_{W,0}$ de fusiematrix en $R_{V,1}$ de averaging matrix. Dit generaliseert de Verlinde-formule en biedt een nieuwe, lineair-algebraïsche bewijsvoering.

2. Tensorproducten van VOA's (Theorema 6.5 & 6.6)
Het artikel bewijst dat voor twee sterk rationele VOA's $V_1$ en $V_2$, de rang van de bundel van het tensorproduct het product is van de individuele rangen:
$$\text{rank}(V_1 \otimes V_2) = \text{rank}(V_1) \cdot \text{rank}(V_2)$$
Bovendien geldt een vergelijkbare multiplicativiteit voor de eerste Chern-classes, wat impliceert dat de Chern-classes van het tensorproduct een lineaire combinatie zijn van die van de componenten.

3. Positiviteit en F-nefness
De auteur analyseert de positiviteit van de eerste Chern-classes (coinvariant-divisors) op $M_{g,n}$.

• Gepunte VOA's: Voor "pointed" VOA's (waar de fusiering een groep is) wordt bewezen dat het testen van F-nefness (niet-negatieve intersectie met F-curven) voor hoge genus kan worden gereduceerd tot het testen op lagere genus (bijv. $g=3$ of $g=2$).
• Symmetrische Divisors: Voor irreducibele modules van orde twee ($W \boxtimes W = V$) wordt aangetoond dat de rang van de bundel op $M_{0,n}$ 1 is als $n$ even is en 0 als $n$ oneven is. De nefness van de bijbehorende divisor wordt volledig bepaald door het conformale gewicht van de module.

4. Specifieke Voorbeelden en Toepassingen

• Virasoro VOA's: De auteur berekent rangformules voor Virasoro VOA's in de discrete reeks. Voor de minimale module op de rand van de discrete reeks blijken de genererende functies van de rangen continuïteitsbreuken te zijn met opvallende symmetrieën.
• Affine VOA's ($\mathfrak{sl}_2$): Er worden expliciete formules gegeven voor de rangen van bundels geassocieerd met $\mathfrak{sl}_2$ op willekeurige niveaus.
• Lineaire Bundels: Het artikel identificeert voorwaarden waaronder de bundels van coinvarianten lineaire bundels zijn (bijv. voor holomorfe VOA's of bij gebruik van trivial modules).

Significantie

Deze paper biedt een fundamentele doorbraak in de theorie van conforme velden en algebraïsche meetkunde:

1. Unificatie: Het verenigt verschillende bestaande resultaten (Verlinde, Ueno, Beauville) onder één raamwerk van FA-matrices.
2. Berekenbaarheid: Het biedt een efficiënte, niet-recursieve methode om rangen te berekenen voor complexe VOA's, wat eerder alleen via ingewikkelde recursies mogelijk was.
3. Geometrische Inzicht: Door de link tussen matrixoperaties en de geometrie van $M_{g,n}$ (via factorisatie en clutching maps), biedt het nieuwe inzichten in de structuur van de moduli-ruimte en de positiviteit van specifieke divisors.
4. Toepasbaarheid: De resultaten zijn direct toepasbaar op een breed scala aan VOA's, inclusief lattice VOA's, parafermion algebras en Virasoro algebras, en leggen de basis voor verdere studie van Chern-classes en globale generatie van deze bundels.

Kortom, het artikel transformeert een complex probleem in de conformale veldtheorie naar een beheersbaar probleem in de lineaire algebra, waardoor nieuwe berekeningen en theoretische inzichten mogelijk worden.