Table of Contents
Fetching ...

Classical Poisson algebra of a vector bundle : Lie-algebraic characterization

P. B. A Lecomte, Elie Zihindula Mushengezi

Abstract

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 and that the vector bundle is of rank $n>1.$ We improve this result for the Lie algebra $\mathcal{S}^1(\mathcal{P}(E,M))$ of symbols of first-order linear operators. We obtain a Lie algebraic characterization of vector bundles with $\mathcal{S}^1(\mathcal{P}(E,M))$ without the hypothesis of being seen as a ${\rm C}^\infty(M)-$module.

Classical Poisson algebra of a vector bundle : Lie-algebraic characterization

Abstract

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 and that the vector bundle is of rank We improve this result for the Lie algebra of symbols of first-order linear operators. We obtain a Lie algebraic characterization of vector bundles with without the hypothesis of being seen as a module.

Paper Structure

This paper contains 5 sections, 9 theorems, 76 equations.

Key Result

Proposition 1.1

The Lie algebra $\mathcal{D}(E,M)$ is quasi-distinguishing; that is, the relations are both satisfied, where $Z(\mathcal{A})=\{\gamma_u, u\in{\rm C}^\infty(M))\}$ is the center of the associative algebra $\mathcal{A}(E,M).$

Theorems & Definitions (9)

  • Proposition 1.1
  • Proposition 2.1
  • Proposition 2.2
  • Proposition 4.1
  • Proposition 4.2
  • Proposition 4.3
  • Theorem 5.1
  • Theorem 5.2
  • Theorem 5.3