One computes the cohomology of the projective embedding of sl(m+1,R) acting on the differential operators on densities on R^m of various weights. This cohomology is non vanishing only for some special critical values of the weights. This allows us first to explain some strange feature pointed out by Gargoubi in his classification if the module of differential operators on the line. This also allows us to provide a so called sl(m+1,R) invariant symbol for differential operators acting on densities of non critical weights.
We are interested in the study of the space of $n$-ary differential operators denoted by $\mathfrak{D}_{\underlineł,μ}$ where $\underlineł=(ł_{1},...,ł_{n})$ acting on weighted densities from $\frak F_{ł_1}\otimes\frak F_{ł_2}\otimes...\otimes\frak F_{ł_n}$ to $\frak F_μ$ as a module over the orthosymplectic superalgebra $\mathfrak{osp}(1|2)$. As a consequence, we prove the existence and the uniqueness of a canonical conformally equivariant symbol map from $\mathfrak{D}_{\underlineλ,μ}^k$ to the corresponding space of symbols as well for the explicit expression of the associated quantization m…
We extend projectively equivariant quantization and symbol calculus to symbols of pseudo-differential operators. An explicit expression in terms of hypergeometric functions with noncommutative arguments is given. Some examples are worked out, one of them yielding a quantum length element on $S^3$.
We construct an explicit scheme to associate to any potential symbol an operator acting between sections of natural bundles (associated to irreducible representations) for a so-called AHS-structure. Outside of a finite set of critical (or resonant) weights, this procedure gives rise to a quantization, which is intrinsic to this geometric structure. In particular, this provides projectively and conformally equivariant quantizations for arbitrary symbols on general (curved) projective and conformal structures.
The concept of conformally equivariant quantizations was introduced by Duval, Lecomte and Ovsienko in \cite{DLO} for manifolds endowed with flat conformal structures. They obtained results of existence and uniqueness (up to normalization) of such a quantization procedure. A natural generalization of this concept is to seek for a quantization procedure, over a manifold $M$, that depends on a pseudo-Riemannian metric, is natural and is invariant with respect to a conformal change of the metric. The existence of such a procedure was conjectured by P. Lecomte in \cite{Leconj} and proved by C. Duva…
In this paper, we analyse the question of existence of a natural and projectively equivariant symbol calculus, using the theory of projective Cartan connections. We establish a close relationship between the existence of such a natural symbol calculus and the existence of an \sl(m+1,\R)-equivariant calculus over \R^{m} in the sense of [15,1]. Moreover we show that the formulae that hold in the non-critical situations over \R^{m} for the \sl(m+1,\R)-equivariant calculus can be directly generalized to an arbitrary manifold by simply replacing the partial derivatives by invariant differentiations…
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.
We prove the existence and uniqueness of a *projectively equivariant symbol map*, which is an isomorphism between the space of bidifferential operators acting on tensor densities over $R^n$ and that of their symbols, when both are considered as modules over an imbedding of $sl(n+1,\R)$ into polynomial vector fields. The coefficients of the bidifferential operators are densities of an arbitrary weight. We obtain the result for all values of this weight, except for a set of critical ones, which does not contain 0. In the case of second order operators, we give explicit formulas and examine in de…
The spaces of higher-order differential operators (in Dimension 1|2), which are modules over the stringy Lie superalgebra K(2), are isomorphic to the corresponding spaces of symbols as orthosymplectic modules in non resonant cases. Such an osp (2|2)-equivariant quantization, which has been given in second-order differential operators case, keeps existing and unique. We calculate its explicit formula that provides extension in particular order cases.
The spaces of linear differential operators on ${\mathbb{R}}^n$ acting on tensor densities of degree $λ$ and the space of functions on $T^*{\mathbb{R}}^n$ which are polynomial on the fibers are not isomorphic as modules over the Lie algebra $\Vect({\mathbb{R}}^n)$ of vector fields on ${\mathbb{R}}^n$. However, these modules are isomorphic as $sl(n+1,{\mathbb{R}})$-modules where $sl(n+1,{\mathbb{R}})\subset \Vect({\mathbb{R}}^n)$ is the Lie algebra of infinitesimal projective transformations. In addition, such an $sl_{n+1}$-equivariant bijection is unique (up to normalization). This leads to a …
Conformally equivariant quantization is a peculiar map between symbols of real weight $δ$ and differential operators acting on tensor densities, whose real weights are designed by $λ$ and $λ+δ$. The existence and uniqueness of such a map has been proved by Duval, Lecomte and Ovsienko for a generic weight $δ$. Later, Silhan has determined the critical values of $δ$ for which unique existence is lost, and conjectured that for those values of $δ$ existence is lost for a generic weight $λ$. We fully determine the cases of existence and uniqueness of the conformally equivariant quantization in term…
These notes are the first chapter of a monograph, dedicated to a detailed proof of the equivariant index theorem for transversally elliptic operators. In this preliminary chapter, we prove a certain number of natural relations in equivariant cohomology. These relations include the Thom isomorphism in equivariant cohomology, the multiplicativity of the relative Chern characters, and the Riemann-Roch relation between the relative Chern character of the Bott symbol and of the relative Thom class.
We study the existence of natural and projectively equivariant quantizations for differential operators acting between order 1 vector bundles over a smooth manifold M. To that aim, we make use of the Thomas-Whitehead approach of projective structures and construct a Casimir operator depending on a projective Cartan connection. We attach a scalar parameter to every space of differential operators, and prove the existence of a quantization except when this parameter belongs to a discrete set of resonant values.
In this note, we consider a Lie group G acting on a manifold M. We prove that the category of bundles with connection on the differential quotient stack is equivalent to the category of G-equivariant bundles on M with G-invariant connection.
For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We show the Chern-Weil homomorphism for equivariant vector bundles with connection naturally factors through differential equivariant cohomology.
Let G be a connected compact Lie group acting on a manifold M and let D be a transversally elliptic operator on M. The multiplicity of the index of D is a function on the set of irreducible representations of G. Let T be a maximal torus of G with Lie algebra Lie(T). We construct a finite number of piecewise polynomial functions on the dual vector space Lie(T)*, and give a formula for the multiplicity in term of these functions. The main new concept is the formal equivariant $\hat A$ class.
Let $M$ be a smooth manifold and $G$ a compact connected Lie group acting on $M$ by isometries. In this paper, we study the equivariant cohomology of ${\bf X}=T^\ast M$, and relate it to the cohomology of the Marsden-Weinstein reduced space via certain residue formulae. In case that $\bf X$ is a compact symplectic manifold with a Hamiltonian $G$-action, similar residue formulae were derived by Jeffrey, Kirwan et al.
We consider the space of differential operators $\mathcal{D}_{λμ}$ acting between $λ$- and $μ$-densities defined on $S^{1|2}$ endowed with its standard contact structure. This contact structure allows one to define a filtration on $\mathcal{D}_{λμ}$ which is finer than the classical one, obtained by writting a differential operator in terms of the partial derivatives with respect to the different coordinates. The space $\mathcal{D}_{λμ}$ and the associated graded space of symbols $\mathcal{S}_δ$ ($δ=μ-λ$) can be considered as $\mathfrak{spo}(2|2)$-modules, where $\mathfrak{spo}(2|2)$ is the Li…
We introduce a new class of natural, explicitly defined, transversally elliptic differential operators over manifolds with compact group actions. Under certain assumptions, the symbols of these operators generate all the possible values of the equivariant index. We also show that the components of the representation-valued equivariant index coincide with those of an elliptic operator constructed from the original data.
We compute the equivariant $K$-theory $K_G^*(G)$ for a simply connected Lie group $G$ (acting on itself by conjugation). We prove that $K_G^*(G)$ is isomorphic to the algebra of Grothendieck differentials on the representation ring. We also study a special example of a non-simply connected Lie group $G$, namely PSU(3), and compute the corresponding equivariant $K$-theory.
Let $G$ be a connected and non-necessarily compact Lie group acting on a connected manifold $M$. In this short note we announce the following result: for a $G$-invariant closed differential form on $M$, the existence of a closed equivariant extension in the Cartan model for equivariant cohomology is equivalent to the existence of an extension in the homotopy quotient.
We define the unique (up to normalization) symbol map from the space of linear differential operators on $R^n$ to the space of polynomial on fibers functions on $T^* R^n$, equivariant with respect to the Lie algebra of projective transformations $sl_{n+1}\subset\Vect(R^n)$. We apply the constructed $sl_{n+1}$-invariant symbol to studying of the natural one-parameter family of $\Vect(M)$-modules on the space of linear differential operators on an arbitrary manifold M. Each of the $\Vect(M)$-action from this family can be interpreted as a deformation of the standard $\Vect(M)$-module $S(M)$ of s…
Let G be a compact, connected Lie group, acting smoothly on a manifold M. Goresky-Kottwitz-MacPherson described a small Cartan model for the equivariant cohomology of M, quasi-isomorphic to the standard Cartan complex of equivariant differential forms. In this paper, we construct an explicit cochain map from the small Cartan model into the standard Cartan model, inducing an isomorphism in cohomology. The construction involves the solution of a remarkable inhomogeneous Maurer-Cartan equation. This solution has further applications to the theory of transgression in the Weil algebra, and to the C…
The equivalence problem for linear differential operators of the second order, acting in vector bundles, is discussed. The field of rational invariants of symbols is described and connections, naturally accosiated with differential operators, are found. These geometrical structures are used to solve the problems of local as well as global equivalency of differential operators.
Let $Δ$ be a linear differential operator acting on the space of densities of a given weight $\lo$ on a manifold $M$. One can consider a pencil of operators $\hPi(Δ)=\{Δ_ł\}$ passing through the operator $Δ$ such that any $Δ_ł$ is a linear differential operator acting on densities of weight $ł$. This pencil can be identified with a linear differential operator $\hD$ acting on the algebra of densities of all weights. The existence of an invariant scalar product in the algebra of densities implies a natural decomposition of operators, i.e. pencils of self-adjoint and anti-self-adjoint operators.…
We prove the existence and the uniqueness of a conformally equivariant symbol calculus and quantization on any conformally flat pseudo-Riemannian manifold $(M,\rg)$. In other words, we establish a canonical isomorphism between the spaces of polynomials on $T^*M$ and of differential operators on tensor densities over $M$, both viewed as modules over the Lie algebra $\so(p+1,q+1)$ where $p+q=\dim(M)$. This quantization exists for generic values of the weights of the tensor densities and compute the critical values of the weights yielding obstructions to the existence of such an isomorphism. In t…
In this article, we start to recall the inversion formula for the convolution with the Box spline. The equivariant cohomology and the equivariant K-theory with respect to a compact torus G of various spaces associated to a linear action of G in a vector space M can be both described using some vector spaces of distributions, on the dual of the group G or on the dual of its Lie algebra. The morphism from K-theory to cohomology is analyzed and the multiplication by the Todd class is shown to correspond to the operator (deconvolution) inverting the semidiscrete convolution with a box spline. Fina…
In this paper we continue to study equivariant pencil liftings and differential operators on the algebra of densities. We emphasize the role that the geometry of the extended manifold plays. Firstly we consider basic examples. We give a projective line of diff($M$)-equivariant pencil liftings for first order operators, and the canonical second order self-adjoint lifting. Secondly we study pencil liftings equivariant with respect to volume preserving transformations. This helps to understand the role of self-adjointness for the canonical pencils. Then we introduce the Duval-Lecomte-Ovsienko (DL…
Suppose G is a compact Lie group and N is a closed normal subgroup of G acting freely on a smooth manifold X. The Cartan theorem alluded to in the title postulates the existence of a natural isomorphism between the G-equivariant cohomology X and the G/N-equivariant cohomology of X/N. In this note we use J. Kalkman's explicit isomorphism between the Cartan and Weil models of equivariant cohomology to show that 1) Cartan's theorem is a simple consequence of Chern-Weil's transgression formula and 2) explicitly describe this isomorphism at the cochain level.
This work takes place over a conformally flat spin manifold (M,g). We prove existence and uniqueness of the conformally equivariant quantization valued in spinor differential operators, and provide an explicit formula for it when restricted to first order operators. The Poisson algebra of symbols is realized as a space of functions on the supercotangent bundle, endowed with a symplectic form depending on the metric g. It admits two different actions of the conformal Lie algebra, one tensorial and one Hamiltonian. They are intertwined by the uniquely defined conformally equivariant superization…
