Cohomology of Jacobi forms

Resumen Técnico: Cohomología de Formas de Jacobi

Planteamiento del Problema
El artículo aborda el cálculo de cohomologías continuas para estructuras no conmutativas en variedades, específicamente dentro del contexto de las Álgebras de Operadores de Vértice (VOA). Mientras que la cohomología clásica de campos vectoriales holomorfos en superficies de Riemann es a menudo trivial, el autor busca desarrollar una teoría de cohomología para el espacio de las funciones de $n$ puntos de Jacobi generadas por una VOA. Estas funciones, que incluyen una variable elíptica para rastrear una "carga" mediante un elemento $J \in V_1$, satisfacen ecuaciones funcionales conocidas como fórmulas de reducción de Zhu. El problema central es construir un complejo de cocadenas donde estas fórmulas de reducción actúen como operadores de cobario, definiendo así una "cohomología de reducción" que codifica la estructura no conmutativa de la VOA y produce ecuaciones funcionales para formas cuasimodulares.

Metodología
El autor construye un complejo de cocadenas $(C^\bullet(W), \delta^\bullet)$ donde:

1. Espacios de Cocadenas ($C^n(W)$): Definidos como el espacio de las funciones de $n$ puntos de Jacobi $Z^J_W(x_n; B)$ asociadas a un módulo-$V$ $W$, donde $x_n$ representa una tupla de vectores y coordenadas locales en un toro $T$, y $B = (\tau, z)$ representa los parámetros modulares y elípticos.
2. Operadores de Cobario ($\delta_n$): Definidos explícitamente utilizando fórmulas de reducción de tipo Zhu (específicamente aquellas establecidas por Bringmann-Krauel-Tuite para formas de Jacobi). El operador $\delta_n$ mapea una función de $n$ puntos a una de $n+1$ puntos mediante una suma que involucra funciones de coeficientes meromorfos $f_{k,m}$ e la inserción de modos de corchete cuadrado $v_{n+1}[m]_\beta$ en el $k$-ésimo slot de la entrada.
3. Condición de Cadena: Se impone la condición $\delta_{n+1} \circ \delta_n = 0$, lo cual se traduce en un sistema de ecuaciones funcionales-diferenciales (análogas a las ecuaciones de Knizhnik-Zamolodchikov) que las funciones de $n$ puntos deben satisfacer.
4. Casos Analizados: La forma explícita del operador de cobario se deriva para cuatro escenarios específicos:
   • El caso general.
   • El caso más simple.
   • El caso de Virasoro desplazado (que involucra un elemento de Virasoro desplazado).
   • El caso de superálgebra de operadores de vértice/orbifold.

Contribuciones Clave y Resultados
El artículo establece dos teoremas primordiales que caracterizan los grupos de cohomología $H^n_J(W)$:

1. Caracterización KZ (Teorema 4.1):
   La cohomología de reducción $n$-ésima $H^n_J(W)$ es isomórfica, como un espacio vectorial complejo, al espacio de continuaciones analíticas de soluciones no nulas de una ecuación específica:
   $$\sum_{k=0}^n \sum_{m \ge 0} f_{k,m}(x_n; B) T_k(v_{n+1}[m]_\beta) Z^J_W(x_n; B) = 0$$
   Esta ecuación se identifica como un análogo de las ecuaciones de Knizhnik-Zamolodchikov (KZ) para formas de Jacobi. Las soluciones son expresables como series de funciones de Weierstrass deformadas, generadas recursivamente por las fórmulas de reducción.

2. Teorema de Tipo Bott-Segal (Lema 4.6):
   El artículo demuestra que las funciones de $n$ puntos de Jacobi generadas por las fórmulas de reducción actúan como conexiones de $n$ puntos en el espacio de secciones deformadas por el automorfismo-$g$ del fibrado de la VOA sobre el toro. En consecuencia, la cohomología de reducción es isomórfica a la cohomología del espacio de estas secciones deformadas:
   $$H^n_J(W) \cong \text{Conn}_n / G_{n-1}$$
   Este resultado proporciona una interpretación geométrica de las fórmulas de reducción algebraica, vinculándolas con la teoría de conexiones en fibrados, de manera análoga a los resultados de Bott, Segal y Wagemann para campos vectoriales holomorfos.

Además, el artículo señala que para el caso de orbifold, la cohomología contiene funciones expresables como determinantes de matrices con entradas que son funciones elípticas deformadas.

Significancia y Reivindicaciones
El autor posiciona este trabajo como un paso fundacional hacia una descripción completa de las cohomologías de objetos holomorfos que surgen de estructuras no conmutativas en variedades complejas. La significancia radica en:

• Unificación: Codificar simultáneamente la estructura no conmutativa de la VOA, producir ecuaciones funcionales para formas cuasimodulares y admitir una interpretación geométrica mediante conexiones en un fibrado de VOA.
• Generalización: Operar al nivel de las funciones de $n$ puntos para todo $n \ge 0$ simultáneamente, incorporando la variable Jacobi (elíptica) adicional, lo que la distingue de trabajos previos sobre las primeras y segundas cohomologías de álgebras de vértices de graduación restringida (ej. Huang).
• Aplicabilidad: La teoría se presenta como extensible a superficies de Riemann de mayor género y aplicable al estudio de modelos integrables y teoría de deformación.

El artículo establece explícitamente que no se generaron ni analizaron conjuntos de datos, y que los resultados son derivaciones puramente teóricas basadas en los axiomas de VOA y las fórmulas de reducción existentes.