11
$\begingroup$

I want to understand what concrete analytical objects are found in chiral homology of higher degree of a vertex algera (-module) $M$. More precisely: I can obtain conformal blocks on a surface $\Sigma$ for the Virasoro algebra as invariants of $M$ under the action of vector fields - for the torus one can then indeed work out a modular function depending on the structure of the torus and possibly the location of singularities. One can also compute elements in it by gluing the vertex operator on a 3-punctured sphere to a torus (a.k.a graded character of $M$)

But what about higher homologies: In the Lie algebra standard complex the chains are functions depending on an $n$-tuple of (here) vector fields up to...how does this relate for the torus to modular functions or something similar?

Same question for affine Lie algebra at negative level - I have found the great work of Gaitsgory, but I would like to know if there is any concrete analytic realization of the elements by...?

[But maybe it is simply the wrong question !?]

Also, I would already be very happy for reference like to as for references you might have on the chiral cohomology of the Virasoro algebra on surfaces (I know the computation for $M$ trivial, but for say $M$ a irrep of a minimal model?).

Thanks alot in advance, Simon Lentner

$\endgroup$
3
  • 1
    $\begingroup$ Hi Simon, great question ! Are you asking how to compute those, or how to interpret those ? I don't know the answer to either version but (you probably know that) Owen Gwilliam has written a lot of stuffs about the relation between factorization algebras and vertex algebras coming from affine Lie algebras. $\endgroup$ – Adrien Jan 11 at 19:27
  • 1
    $\begingroup$ Ah, hallo :-) I guess I ask both, $\endgroup$ – Simon Lentner Jan 11 at 20:22
  • 1
    $\begingroup$ I have found many interesting statements in the language of algebraic geometry etc. but by lack of literacy I am not able to destill out what concretely a "derived modular form" or "deriver graded character" of a VOA should be, in any simple example. "Factorization algebra" and "Gwilliam" was a very good suggestion, thanks! Particular for my question seems to be "Factorization algebras in quantum field theory" by Costello and Gwilliam. I cant digest this right away, but I saw smth about n-forms and also about higher coefficients in an hbar-expansion.... $\endgroup$ – Simon Lentner Jan 11 at 20:28
9
$\begingroup$

There isn't much written up on how to compute the higher chiral homology of vertex algebras. Besides the original work of Beilinson and Drinfeld that covers in particular the universal cases of Virasoro and Affine algebras you won't find much more. There's an unwritten theorem by Gaitsgory that proves the vanishing for simple Affine algebras at integral level.

In the case of elliptic curves and in the limit of the nodal elliptic curve, together with Van Ekeren we related the first chiral homology group to the first Hochschild homology of the Zhu algebra (just as comformal blocks are related to the zeroth Hochschild homology) in https://arxiv.org/abs/1804.00017

Unfortunately that relies on a technical condition of vertex algebras being "classically free", that is that their classical limit is isomorphic to the arc algebra of the C2 quotient. This was shown to be the case for minimal models $Vir_{p,p'}$ if and only if $p=2$. And some simple affine algebras at integral level.

We can now relax this condition to vertex algebras to the case then the classical limit is a quotient of the arc algebra by a finitely generated differential ideal. This is still very hard to prove. The only known example of this to my knowledge is the Ising model $Vir_{3,4}$ in

https://arxiv.org/abs/2005.10769

Using this we can now prove the vanishing of the first chiral homology group of an arbitrary elliptic curve (not necessarily the nodal limit) with coefficients in either the 2,p' minimal models or the Ising model. As well as recover some of Gaitsgory's results. That article should come out soon, it's being finalized for a while now.

$\endgroup$
1
  • $\begingroup$ I should update this now that arxiv.org/abs/2103.06322 is out: in fact we couldn´t prove that the first chiral homology of the Ising model vanishes, but actually that is has dimension less or equal to 1. In that article at least you can see some very explicit and concrete analytic objects that appear in chiral homology, analogous to the trace functionals in Zhu´s work for degree 0 $\endgroup$ – Reimundo Heluani Apr 19 at 17:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.