Cohomology of Jacobi forms

Technische Samenvatting: Cohomologie van Jacobi-vormen

Probleemstelling
Het artikel behandelt de berekening van continue cohomologieën voor niet-commutatieve structuren op variëteiten, specifiek binnen de context van Vertex Operator Algebras (VOA's). Terwijl de klassieke cohomologie van holomorfe vectorvelden op Riemann-oppervlakken vaak triviaal is, streeft de auteur naar de ontwikkeling van een cohomologietheorie voor de ruimte van Jacobi $n$-puntsfuncties gegenereerd door een VOA. Deze functies bevatten een elliptische variabele om een "lading" te volgen via een element $J \in V_1$, en voldoen aan functionele vergelijkingen die bekend staan als Zhu-reductieformules. Het centrale probleem is het construeren van een cochaingroep waarbij deze reductieformules dienen als coboundary-operatoren, waardoor een "reductie-cohomologie" wordt gedefinieerd die de niet-commutatieve structuur van de VOA codeert en functionele vergelijkingen voor quasi-modulaire vormen oplevert.

Methodologie
De auteur construeert een cochaingroep $(C^\bullet(W), \delta^\bullet)$ waarbij:

1. Cochaingroepen ($C^n(W)$): Gedefinieerd als de ruimte van Jacobi $n$-puntsfuncties $Z^J_W(x_n; B)$ geassocieerd met een $V$-module $W$, waarbij $x_n$ een tupel van vectoren en lokale coördinaten op een torus $T$ vertegenwoordigt, en $B = (\tau, z)$ de modulaire en elliptische parameters zijn.
2. Coboundary-operatoren ($\delta_n$): Expliciet gedefinieerd met behulp van Zhu-type reductieformules (specifiek die vastgesteld door Bringmann-Krauel-Tuite voor Jacobi-vormen). De operator $\delta_n$ brengt een $n$-puntsfunctie naar een $(n+1)$-puntsfunctie via een som die bestaat uit meromorfe coëfficiëntfuncties $f_{k,m}$ en de insertie van square-bracket modi $v_{n+1}[m]_\beta$ in de $k$-de slot van de input.
3. Ketenvoorwaarde: De voorwaarde $\delta_{n+1} \circ \delta_n = 0$ wordt opgelegd, wat vertaalt naar een systeem van functioneel-differentiaalvergelijkingen (analoog aan de Knizhnik-Zamolodchikov-vergelijkingen) die de $n$-puntsfuncties moeten voldoen.
4. Geanalyseerde gevallen: De expliciete vorm van de coboundary-operator wordt afgeleid voor vier specifieke scenario's:
   • Het algemene geval.
   • Het eenvoudigste geval.
   • Het verschoven-Virasoro geval (betreffende een verschoven Virasoro-element).
   • Het vertex operator superalgebra/orbifold geval.

Belangrijkste bijdragen en resultaten
Het artikel vestigt twee primaire stellingen die de resulterende cohomologiegroepen $H^n_J(W)$ karakteriseren:

1. KZ-karakterisering (Stelling 4.1):
   De $n$-de reductie-cohomologie $H^n_J(W)$ is isomorf, als een complexe vectorruimte, aan de ruimte van analytische continuaties van niet-nul oplossingen van een specifieke vergelijking:
   $$\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$$
   Deze vergelijking wordt geïdentificeerd als een Jacobi-vorm analoog van de Knizhnik-Zamolodchikov (KZ)-vergelijkingen. De oplossingen zijn uitdrukbaar als reeksen van gedeformeerde Weierstrass-functies, recursief gegenereerd door de reductieformules.

2. Bott-Segal type stelling (Lemma 4.6):
   Het artikel toont aan dat Jacobi $n$-puntsfuncties gegenereerd door de reductieformules fungeren als $n$-punts verbindingen op de ruimte van $g$-automorfisme-gedeformeerde secties van de VOA-bundel over de torus. Bijgevolg is de reductie-cohomologie isomorf aan de cohomologie van de ruimte van deze gedeformeerde secties:
   $$H^n_J(W) \cong \text{Conn}_n / G_{n-1}$$
   Dit resultaat biedt een geometrische interpretatie van de algebraïsche reductieformules, waarbij een link wordt gelegd met de theorie van verbindingen op bundels, analoog aan resultaten door Bott, Segal en Wagemann voor holomorfe vectorvelden.

Daarnaast merkt het artikel op dat voor het orbifold geval, de cohomologie functies bevat die uitdrukbaar zijn als determinanten van matrices met entries die gedeformeerde elliptische functies zijn.

Betekenis en claims
De auteur positioneert dit werk als een fundamentele stap naar een volledige beschrijving van de cohomologieën van holomorfe objecten die voortkomen uit niet-commutatieve structuren op complexe variëteiten. De betekenis ligt in:

• Unificatie: Het gelijktijdig coderen van de niet-commutatieve structuur van de VOA, het produceren van functionele vergelijkingen voor quasi-modulaire vormen, en het toekennen van een geometrische interpretatie via verbindingen op een VOA-bundel.
• Generalisatie: Werken op het niveau van $n$-puntsfuncties voor alle $n \ge 0$ tegelijkertijd, waarbij de extra Jacobi (elliptische) variabele wordt opgenomen, wat het onderscheidt van eerder werk op eerste en tweede cohomologieën van grading-restricted vertex algebra's (bijv. Huang).
• Toepasbaarheid: De theorie wordt gepresenteerd als uitbreidbaar naar Riemann-oppervlakken met een hogere genus en toepasbaar op de studie van integrabele modellen en deformatietheorie.

Het artikel vermeldt expliciet dat er geen datasets zijn gegenereerd of geanalyseerd, en dat de resultaten louter theoretische afleidingen zijn gebaseerd op bestaande VOA-axioma's en reductieformules.