Equivariant symbol calculus for differential operators acting on forms

We prove the existence and uniqueness of a projectively equivariant symbol map (in the sense of Lecomte and Ovsienko) for the spaces $D_p$ of differential operators transforming p-forms into functions. These results hold over a smooth manifold endowed with a flat projective structure. As an application, we classify the Vect(M)-equivariant maps from $D_p$ to $D_q$ over any manifold M, recovering and improving earlier results by N. Poncin. This provides the complete answer to a question raised by P. Lecomte about the extension of a certain intrinsic homotopy operator.Comment: 14 page

Extending maps to profinite completions in finitely generated quasivarieties

We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension. We provide an extension which is a multi-map and we study its continuity properties, and the conditions under which it is a map

Equivariant quantization of orbifolds

Equivariant quantization is a new theory that highlights the role of symmetries in the relationship between classical and quantum dynamical systems. These symmetries are also one of the reasons for the recent interest in quantization of singular spaces, orbifolds, stratified spaces... In this work, we prove existence of an equivariant quantization for orbifolds. Our construction combines an appropriate desingularization of any Riemannian orbifold by a foliated smooth manifold, with the foliated equivariant quantization that we built in \cite{PoRaWo}. Further, we suggest definitions of the common geometric objects on orbifolds, which capture the nature of these spaces and guarantee, together with the properties of the mentioned foliated resolution, the needed correspondences between singular objects of the orbifold and the respective foliated objects of its desingularization.Comment: 13 page

The space of m-ary differential operators as a module over the Lie algebra of vector fields

The space of m-ary differential operators acting on weighted densities is a (m+1)-parameter family of modules over the Lie algebra of vector fields. For almost all the parameters, we construct a canonical isomorphism between this space and the corresponding space of symbols as sl(2)-modules. This yields to the notion of the sl(2)-equivariant symbol calculus for m-ary differential operators. We show, however, that these two modules cannot be isomorphic as sl(2)-modules for some particular values of the parameters. Furthermore, we use the symbol map to show that all modules of second-order m-ary differential operators are isomorphic to each other, except for few modules called singular.Comment: 20 pages; LaTeX2e; minor correction

Projectively equivariant quantizations over the superspace Rp∣q\R^{p|q}

We investigate the concept of projectively equivariant quantization in the framework of super projective geometry. When the projective superalgebra pgl(p+1|q) is simple, our result is similar to the classical one in the purely even case: we prove the existence and uniqueness of the quantization except in some critical situations. When the projective superalgebra is not simple (i.e. in the case of pgl(n|n)\not\cong sl(n|n)), we show the existence of a one-parameter family of equivariant quantizations. We also provide explicit formulas in terms of a generalized divergence operator acting on supersymmetric tensor fields.Comment: 19 page