Search arXivSearch

arXiv · 2503.23995

Analytic Conformal Blocks of $C_2$-cofinite Vertex Operator Algebras III: The Sewing-Factorization Theorems

Abstract

Let $\mathbb V=\bigoplus_{n\in\mathbb N}\mathbb V(n)$ be a $C_2$-cofinite VOA, not necessarily rational or self-dual. In this paper, we establish various versions of the sewing-factorization (SF) theorems for conformal blocks associated to grading-restricted generalized modules of $\mathbb V^{\otimes N}$ (where $N\in\mathbb N$). In addition to the versions announced in the Introduction of [GZ23], we prove the following coend version of the SF theorem: Let $\mathfrak F$ be a compact Riemann surface with $N$ incoming and $R$ outgoing marked points, and let $\mathfrak G$ be another compact Riemann surface with $K$ incoming and $R$ outgoing marked points. Assign $\mathbb W\in\mathrm{Mod}(\mathbb V^{\otimes N})$ and $\mathbb X\in\mathrm{Mod}(\mathbb V^{\otimes K})$ to the incoming marked points of $\mathfrak F$ and $\mathfrak G$ respectively. For each $\mathbb{M} \in \mathrm{Mod}(\mathbb{V}^{\otimes R})$, assign $\mathbb{M}$ and its contragredient $\mathbb M'$ to the outgoing marked points of $\mathfrak F$ and $\mathfrak G$ respectively. Denote the corresponding spaces of conformal blocks by $\mathscr T_{\mathfrak F}^*(\mathbb M\otimes\mathbb W)$ and $\mathscr T_{\mathfrak{G}}^*(\mathbb M'\otimes\mathbb X)$. Let the $\mathfrak X$ be the $(N+K)$-pointed surface obtained by sewing $\mathfrak F$, $\mathfrak G$ along their outgoing marked points. Then the sewing of conformal blocks-proved to be convergent in [GZ25a]-yields an isomorphism of vector spaces $$\int^{\mathbb{M}\in\mathrm{Mod}(\mathbb V^{\otimes R})}\mathscr T_{\mathfrak F}^*(\mathbb M\otimes\mathbb{W})\otimes_{\mathbb C} \mathscr T_{\mathfrak G}^*(\mathbb M'\otimes \mathbb X)\simeq\mathscr T_{\mathfrak X}^*(\mathbb W\otimes \mathbb X)$$ We also discuss the relationship between conformal blocks and the modular functors defined using Lyubashenko's coend/construction.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bin Gui, Hao Zhang. 2026-02-19. Analytic Conformal Blocks of $C_2$-cofinite Vertex Operator Algebras III: The Sewing-Factorization Theorems. https://doi.org/10.1112/plms.70130

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Graded Necklace Lie Bialgebras and Batalin-Vilkovisky Formalism

An involutive Lie bialgebra induces a Batalin-Vilkovisky operator on its exterior algebra. We introduce a graded generalization of the necklace Lie bialgebra, which depends on a choice of a quiver $Q$. We relate the resulting Batalin-Vilkovisky structure to the Batalin-Vilkovisky structure coming from a degree $-1$ symplectic form on a suitably defined representation variety of the quiver $Q$. The morphism intertwining these Batalin-Vilkovisky algebras will be given by a twisted trace, recovering the usual (super)trace and the odd trace.

math.QA

Freeness and divisibility for right $H$-simple left $H$-comodule algebras over a pointed Hopf algebra $H$

Let $H$ be a pointed Hopf algebra and let $A$ be a right $H$-simple left $H$-comodule algebra. We show that every relative $(H,A)$-Hopf module is free as an $A$-module and that this freeness characterizes the class of pointed Hopf algebras. We give a criterion for the category of relative $(H,A)$-Hopf modules to be semisimple. We also show that $A$ can be embedded into a left $H$-comodule algebra of a specific form when $H$ and $A$ are $\mathbb{N}_0$-graded. As a consequence, we prove that if $H$ is finite-dimensional and $A^{\mathrm{co} H}=\Bbbk$, then $A$ is finite-dimensional and $\dim A$ divides $\dim H$.

math.QA

$C_2$-Cofiniteness and Rationality of the Icosahedral Orbifold $V_{L_2}^{A_5}$

Let $L_2=\mathbb{Z}α$ be the rank-one root lattice with $(α,α)=2$, and let $A_5$ act on the lattice vertex operator algebra $V_{L_2}$ through an icosahedral subgroup of $\operatorname{Aut}(V_{L_2})\cong PSL_2(\mathbb{C})$. We prove that the fixed-point vertex operator algebra $V_{L_2}^{A_5}$ is strongly rational.

math.QA