Table of Contents
Fetching ...

On Pursell-Shanks type results

Pierre B. A. Lecomte, Elie Zihindula Mushengezi

Abstract

We prove a Lie-algebraic characterization of vector bundle for the Lie algebra $\mathcal{D}(E,M),$ seen as ${\rm C}^\infty(M)-$module, of all linear operators acting on sections of a vector bundle $E\to M$. We obtain similar result for its Lie subalgebra $\mathcal{D}^1(E,M)$ of all linear first-order differential operators. Thanks to a well-chosen filtration, $\mathcal{D}(E,M)$ becomes $\mathcal{P}(E,M)$ and we prove that $\mathcal{P}^1(E,M)$ characterizes the vector bundle without the hypothesis of being seen as ${\rm C}^\infty(M)-$module. We prove that the Lie algebra $\mathcal{S}(\mathcal{P}(E,M))$ of symbols of linear operators acting on smooth sections of a vector bundle $E\to M,$ characterizes it. To obtain this, we assume that $\mathcal{S}(\mathcal{P}(E,M))$ is seen as ${\rm C}^\infty(M)-$module. We obtain a similar result with the Lie algebra $\mathcal{S}^1(\mathcal{P}(E,M))$ of symbols of first-order linear operators without the hypothesis of being seen as a ${\rm C}^\infty(M)-$module.

On Pursell-Shanks type results

Abstract

We prove a Lie-algebraic characterization of vector bundle for the Lie algebra seen as module, of all linear operators acting on sections of a vector bundle . We obtain similar result for its Lie subalgebra of all linear first-order differential operators. Thanks to a well-chosen filtration, becomes and we prove that characterizes the vector bundle without the hypothesis of being seen as module. We prove that the Lie algebra of symbols of linear operators acting on smooth sections of a vector bundle characterizes it. To obtain this, we assume that is seen as module. We obtain a similar result with the Lie algebra of symbols of first-order linear operators without the hypothesis of being seen as a module.

Paper Structure

This paper contains 8 sections, 19 theorems, 140 equations.

Key Result

Proposition 2.1

Let $\mathcal{D}$ be a quasi quantum Poisson algebra, non-singular and quasi-distinguishing. Then any $\Psi\in\mathcal{C}(\mathcal{D})$ respects the filtration and we have for all $u\in Z(\mathcal{A}).$

Theorems & Definitions (19)

  • Proposition 2.1
  • Proposition 2.2
  • Proposition 3.1
  • Proposition 3.2
  • Proposition 3.3
  • Theorem 3.4
  • Theorem 3.5
  • Proposition 4.1
  • Proposition 4.2
  • Proposition 4.3
  • ...and 9 more