Operads and Jet modules

Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over commutative algebras, which we use to define the notion of a jet module. This in turn generalises the notion of a jet module over a module over a classical commutative algebra. We are able to define Atiyah classes (i.e. obstructions to the existence of connections) in this generalised context. We use certain model structures on the category of $A$-modules to study the properties of these Atiyah classes. The purpose of the paper is not to present any really deep theorem. It is more about the right concepts when dealing with modules over an algebra that is defined over an arbitrary operad, i.e. the aim is to show how to generalise various classical constructions, including modules of jets, the Atiyah class and the curvature, to the operadic context. For convenience of the reader and for the purpose of defining the notations, the basic definitions of the theory of operads and model categories are included.Comment: 43 page

Generating series in the cohomology of Hilbert schemes of points on surfaces

In the study of the rational cohomology of Hilbert schemes of points on a smooth surface, it is particularly interesting to understand the characteristic classes of the tautological bundles and the tangent bundle. In this note we pursue this study. We first collect all results appearing separately in the literature and prove some new formulas using T. Ohmoto's results on orbifold Chern classes on Hilbert schemes. We also explain the algorithmic counterpart of the topic: The cohomology space is governed by a vertex algebra that can be used to compute characteristic classes. We present an implementation of the vertex operators in the rewriting logic system {\sc Maude} and address observations and conjectures obtained after symbolic computations.Comment: 20 page

Superconformal Algebras and Mock Theta Functions

It is known that characters of BPS representations of extended superconformal algebras do not have good modular properties due to extra singular vectors coming from the BPS condition. In order to improve their modular properties we apply the method of Zwegers which has recently been developed to analyze modular properties of mock theta functions. We consider the case of N=4 superconformal algebra at general levels and obtain the decomposition of characters of BPS representations into a sum of simple Jacobi forms and an infinite series of non-BPS representations. We apply our method to study elliptic genera of hyper-Kahler manifolds in higher dimensions. In particular we determine the elliptic genera in the case of complex 4 dimensions of the Hilbert scheme of points on K3 surfaces K^{[2]} and complex tori A^{[[3]]}.Comment: 28 page