Vertex Lie algebras and cyclotomic coinvariants

Given a vertex Lie algebra $\mathscr L$ equipped with an action by automorphisms of a cyclic group $\Gamma$, we define spaces of cyclotomic coinvariants over the Riemann sphere. These are quotients of tensor products of smooth modules over `local' Lie algebras $\mathsf L(\mathscr L)_{z_i}$ assigned to marked points $z_i$, by the action of a `global' Lie algebra ${\mathsf L}^{\Gamma}_{\{z_i \}}(\mathscr L)$ of $\Gamma$-equivariant functions. On the other hand, the universal enveloping vertex algebra $\mathbb V (\mathscr L)$ of $\mathscr L$ is itself a vertex Lie algebra with an induced action of $\Gamma$. This gives `big' analogs of the Lie algebras above. From these we construct the space of `big' cyclotomic coinvariants, i.e. coinvariants with respect to ${\mathsf L}^{\Gamma}_{\{z_i \}}(\mathbb V(\mathscr L))$. We prove that these two definitions of cyclotomic coinvariants in fact coincide, provided the origin is included as a marked point. As a corollary we prove a result on the functoriality of cyclotomic coinvariants which we require for the solution of cyclotomic Gaudin models in arXiv:1409.6937. At the origin, which is fixed by $\Gamma$, one must assign a module over the stable subalgebra $\mathsf L(\mathscr L)^{\Gamma}$ of $\mathsf L(\mathscr L)$. This module becomes a $\mathbb V(\mathscr L)$-quasi-module in the sense of Li. As a bi-product we obtain an iterate formula for such quasi-modules.