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

Resumo Técnico: Fórmula de RANK de Matrizes para Feixes Vetoriais de Coinvariantes de Álgebras de Operadores de Vértice

1. O Problema

O artigo aborda um problema fundamental na interseção entre a Teoria de Álgebras de Operadores de Vértice (VOA) e a Geometria Algébrica, especificamente no espaço de módulos de curvas estáveis pontuadas ($\mathcal{M}_{g,n}$).

Dada uma VOA racional forte $V$ e um conjunto de módulos admissíveis $\{W_1, \dots, W_n\}$, constrói-se um feixe de coinvariantes (e seu dual, o feixe de blocos conformes) sobre $\mathcal{M}_{g,n}$. Sob certas condições, este feixe é um feixe vetorial de posto finito.

• O Desafio: Determinar o posto (dimensão das fibras) deste feixe vetorial para qualquer gênero $g$ e número de pontos $n$.
• Contexto: Para VOAs afins em níveis inteiros positivos, este posto é dado pela famosa Fórmula de Verlinde. No entanto, para VOAs mais gerais (como séries discretas de Virasoro, álgebras de retículos, etc.), não existia uma fórmula fechada unificada e computacionalmente eficiente que generalizasse os métodos existentes (como fatoração recursiva ou computações de cohomologia).
• Objetivo Secundário: Analisar as propriedades de positividade (nefness e F-nefness) das classes de Chern desses feixes, o que é crucial para a teoria de divisores no espaço de módulos.

2. Metodologia

O autor introduz uma nova ferramenta algébrica chamada Matriz FA (Fusion-Averaging Matrix) e desenvolve um quadro teórico baseado em propriedades de fatoração formal.

• Matrizes FA (Definição 2 e 5.3):
  Para uma VOA $V$ com módulos irredutíveis $\{W_1, \dots, W_l\}$, define-se uma matriz $R_{S^\bullet, g}$ de tamanho $l \times l$, onde a entrada $(i, j)$ é o posto do feixe de coinvariantes no espaço de módulos com gênero $g$ e $n+2$ pontos, com módulos adicionais $W_i$ e $W'_j$ (o dual de $W_j$).
  $$(R_{S^\bullet, g})_{i,j} = \text{rank } \mathcal{V}_{g, n+2}(V, \{S^\bullet, W_i, W'_j\})$$

• Propriedades de Fatoração Formal:
  O trabalho estabelece que o cálculo de postos satisfaz propriedades de fatoração (análogas ao teorema de fatoração de Tsuchiya-Ueno-Yamada). O autor traduz essas propriedades geométricas em operações matriciais:

  1. Multiplicação de Matrizes: Corresponde à aplicação do teorema de fatoração em pontos de imagem de mapas de "clutching" (colagem de curvas), reduzindo o problema de gênero $g_1+g_2$ para produtos de matrizes de gêneros menores.
  2. Traço (Trace): Corresponde ao aumento do gênero em 1 (fechamento de um ciclo na curva).

• Abordagem Unificada:
  A metodologia unifica dois conceitos anteriores:

  • Matrizes de Fusão: Casos especiais em gênero 0.
  • Matrizes de Média (Averaging Matrices): Definidas por Ueno para VOAs afins.
    A Matriz FA generaliza ambas, permitindo o tratamento de VOAs não-afins.

3. Principais Contribuições e Resultados

A. Fórmula Fechada de Posto (Teorema 1 / Teorema 5.7)
O resultado central é uma fórmula explícita e fechada para o posto do feixe de coinvariantes. Seja $S^\bullet = (S_1, \dots, S_n)$ uma tupla de módulos. O posto é dado por:

$$\text{rank } \mathcal{V}_{g, n+2}(V, \{S^\bullet, W_i, W'_j\}) = \left( \prod_{k=1}^n R_{S_k, 0} \cdot R_{V, 1}^g \right)_{i,j}$$

Para o caso de gênero $g \ge 1$ sem pontos adicionais:
$$\text{rank } \mathcal{V}_{g, n}(V, \{S^\bullet\}) = \text{Tr}\left( \prod_{k=1}^n R_{S_k, 0} \cdot R_{V, 1}^{g-1} \right)$$

Onde:

• $R_{S_k, 0}$ são as matrizes de fusão associadas a cada módulo.
• $R_{V, 1}$ é a matriz de média (averaging matrix) associada à VOA.
• A fórmula reduz o cálculo de postos complexos a multiplicação e traço de matrizes finitas.

B. Tensor Products de VOAs (Teorema 4 / Teorema 6.5)
O autor prova que o feixe de coinvariantes de um produto tensorial de duas VOAs ($V_1 \otimes V_2$) é isomorfo ao produto tensorial dos feixes individuais, e seus postos multiplicam-se:
$$\text{rank } \mathcal{V}_{g,n}(V_1 \otimes V_2, \{S^\bullet \otimes T^\bullet\}) = \text{rank } \mathcal{V}_{g,n}(V_1, \{S^\bullet\}) \cdot \text{rank } \mathcal{V}_{g,n}(V_2, \{T^\bullet\})$$
Isso permite calcular postos para VOAs complexas a partir de componentes mais simples.

C. Estudo de Positividade e Divisores Coinvariantes
O artigo analisa quando o divisor associado à primeira classe de Chern ($D_{g,n}$) é nef (não-negativo em todas as curvas) ou F-nef (não-negativo nas curvas F, que geram a fronteira do espaço de módulos).

• VOAs Pontuadas (Pointed VOAs): Para VOAs onde o anel de fusão é um grupo ($Z[G]$), o autor deriva fórmulas explícitas e prova que a condição de F-nefness pode ser reduzida a testes em gêneros baixos (Teorema 7.10).
• Módulos de Ordem Dois: Estuda-se o caso onde um módulo $W$ satisfaz $W \boxtimes W \cong V$. Mostra-se que o posto é 1 se $n$ é par e 0 se $n$ é ímpar. A nefness do divisor depende estritamente do peso conforme $a_W$: $D_{0,n}$ é nef se e somente se $a_W \ge 0$.

D. Exemplos Concretos e Séries Discretas de Virasoro

• Séries Discretas de Virasoro ($V_{p,q}$): O autor calcula explicitamente as matrizes de fusão e gera funções geradoras para os postos.
  • Para $V_{2, 2l+1}$ (fronteira da série discreta), as funções geradoras são dadas por frações contínuas com simetrias surpreendentes (Teorema 9.2).
  • Para o módulo de peso máximo $W_{max}$, o posto é 1 se $p=2$ e $\delta_{n, \text{even}}$ se $p \neq 2$.
• VOAs Afins e de Retículos: Recupera-se a fórmula de Verlinde e generaliza-se para retículos e álgebras de paraférmions.

4. Significado e Impacto

1. Generalização da Fórmula de Verlinde: O trabalho fornece uma generalização robusta da fórmula de Verlinde para uma classe muito mais ampla de VOAs, indo além das álgebras afins para incluir álgebras de Virasoro, retículos e produtos tensoriais.
2. Ferramenta Computacional: Ao transformar problemas geométricos complexos (cálculo de dimensões de espaços de seções) em álgebra linear (multiplicação de matrizes), o método torna o cálculo de postos viável e eficiente para casos que antes exigiam recursão complexa ou cohomologia difícil.
3. Conexão com Geometria Algébrica: A análise da positividade (nefness) dos divisores de coinvariantes contribui para a compreensão da geometria do espaço de módulos $\mathcal{M}_{g,n}$. A prova de que certas classes de divisores são F-nef ou nef tem implicações para a conjectura F e a estrutura de cones efetivos.
4. Unificação Conceitual: A introdução das "Matrizes FA" unifica noções de fusão e média, oferecendo uma linguagem comum para estudar propriedades de diferentes tipos de VOAs.

Em suma, o artigo estabelece uma ponte poderosa entre a teoria de representações de VOAs e a geometria do espaço de módulos de curvas, fornecendo ferramentas algébricas precisas para calcular invariantes geométricos fundamentais.