Searcharxiv⌕ Search

arXiv subjects

P. B. A. Lecomte

Publications and source records attributed to P. B. A. Lecomte.

6 recordsLinked to original sources

Lie algebra of homogeneous operators of a vector bundle

We prove that for a vector bundle $ E \to M$, the Lie algebra $\mathcal{D}_{\mathcal{E}}(E)$ generated by all differential operators on $E$ which are eigenvectors of $L_{\mathcal{E}},$ the Lie derivative in the direction of the Euler vector field of $E,$ and the Lie algebra $\mathcal{D}_G(E)$ obtained by Grothendieck construction over the $\mathbb{R}-$algebra $\mathcal{A}(E):= {\rm Pol}(E)$ of fiberwise polynomial functions, coincide up an isomorphism. This allows us to compute all the derivations of the $\mathbb{R}-$algebra $\mathcal{A}(E)$ and to obtain an explicit description of the Lie algebra of zero-weight derivations of $\mathcal{A}(E).$

math.DG↗

Cohomology of the vector fields Lie algebra and modules of differential operators on a smooth manifold

Let $M$ be a smooth manifold, $\cal S$ the space of polynomial on fibers functions on $T^*M$ (i.e., of symmetric contravariant tensor fields). We compute the first cohomology space of the Lie algebra, $Vect(M)$, of vector fields on $M$ with coefficients in the space of linear differential operators on $\cal S$. This cohomology space is closely related to the $Vect(M)$-modules, ${\cal D}_λ(M)$, of linear differential operators on the space of tensor densities on $M$ of degree $λ$.

math.DG↗

A remark about the Lie algebra of infinitesimal conformal transformations of the Euclidian space

Infinitesimal conformal transformations of $R^n$ are always polynomial and finitely generated when $n>2$. Here we prove that the Lie algebra of infinitesimal conformal polynomial transformations over $R^n$, $n>1$, is maximal in the Lie algebra of polynomial vector fields. When $n$ is greater than 2 and $p,q$ are such that $p+q=n$, this implies the maximality of an embedding of $so(p+1,q+1,R)$ into polynomial vector fields that was revisited in recent works about equivariant quantizations. It also refines a similar but weaker theorem by V. I. Ogievetsky.

math.DG↗

Projectively equivariant symbol calculus

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 notion of projectively equivariant quantization and symbol calculus for a manifold endowed with a (flat) projective structure. We apply the $sl_{n+1}$-equivariant symbol map to study the $\Vect(M)$-modules of linear differential operators acting on tensor densities, for an arbitrary manifold $M$.

math.DG↗

On the cohomology of sl(m+1,R) acting on differential operators and sl(m+1,R)-equivariant symbol

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.

math.DG↗

Projectively invariant symbol map and cohomology of vector fields Lie algebras intervening in quantization

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 symmetric contravariant tensor fields on M. We define (and calculatein the case: $M= R^n$) the corresponding cohomology of $\Vect(M)$ related with this deformation. This cohomology realize the obstruction for existence of equivariant symbol and quantization maps. The projective Lie algebra $sl_{n+1}$ naturally appears as the algebra of symmetries on which the involved $\Vect(M)$-cohomology is trivial.

dg-ga↗