English

Classification of Lie algebras of differential operators

Algebraic Geometry 2020-11-13 v9 K-Theory and Homology Rings and Algebras Representation Theory

Abstract

In a previous paper we introduced the notion of a D-Lie algebra L~\tilde{L}. A D-Lie algebra L~\tilde{L} is an A/kA/k-Lie-Rinehart algebra with a right AA-module structure and a canonical central element DD satisfying several conditions. We used this notion to define the universal enveloping algebra of the category of L~\tilde{L}-connections and to define the cohomology and homology of an arbitrary connection. In this note we introduce the canonical quotient LL of a D-Lie algebra L~\tilde{L} and use this to classify D-Lie algebras where LL is projective as AA-module. We define for any 2-cocycle fZ2(Derk(A),A)f\in \operatorname{Z}^2(\operatorname{Der}_k(A),A) a functor Ff()F_{f}(-) from the category of A/kA/k-Lie-Rinehart algebras to the category of D-Lie algebras and classify D-Lie algebras with projective canoncial quotient using the functor Ff()F_{f}(-). We prove a similar classification for non-abelian extensions of D-Lie algebras. We classify L~\tilde{L}-connections in the case when the canonical quotient LL of L~\tilde{L} is projective as AA-module. Any L~\tilde{L}-connection is determined by a 2-cocycle fZ2(Derk(A),A)f\in \operatorname{Z}^2(\operatorname{Der}_k(A),A) and an LL-connection (E,)(E,\nabla). We introduce the correspondence and Chow-operator of an L~\tilde{L}-connection. The aim of this construction is to relate connections on D-Lie algebras to algebraic cycles an the category of correspondences. The Chow-operator cannot be defined for an ordinary connection on an A/kA/k-Lie-Rinehart algebra. It depends in a non-trivial way on the right AA-module structure on L~\tilde{L} and the canonical quotient A/kA/k-Lie-Rinehart algebra LL has no such structure.

Keywords

Cite

@article{arxiv.1905.09630,
  title  = {Classification of Lie algebras of differential operators},
  author = {Helge Øystein Maakestad},
  journal= {arXiv preprint arXiv:1905.09630},
  year   = {2020}
}

Comments

30.05.2019: Example 2.13 added. 02.06.2019: Example 2.13 extended 04.06.2019: Theorem 2.19 and Corollary 2.20 added. 07.06.2019: A new section added. Theorem 2.3 and Corollary 3.10 added. Extended introduction and Example 4.5 added. 11.06.2019: Minor changes. 12.06.2019: Minor changes. 20.06.2019: Example 4.7 added. 24.06.2019: Example 4.8 added. 11.09.2019: Example 4.10 added