Search arXivSearch

arXiv · 1905.09630

Classification of Lie algebras of differential operators

Abstract

In a previous paper we introduced the notion of a D-Lie algebra $\tilde{L}$. A D-Lie algebra $\tilde{L}$ is an $A/k$-Lie-Rinehart algebra with a right $A$-module structure and a canonical central element $D$ satisfying several conditions. We used this notion to define the universal enveloping algebra of the category of $\tilde{L}$-connections and to define the cohomology and homology of an arbitrary connection. In this note we introduce the canonical quotient $L$ of a D-Lie algebra $\tilde{L}$ and use this to classify D-Lie algebras where $L$ is projective as $A$-module. We define for any 2-cocycle $f\in \operatorname{Z}^2(\operatorname{Der}_k(A),A)$ a functor $F_{f}(-)$ from the category of $A/k$-Lie-Rinehart algebras to the category of D-Lie algebras and classify D-Lie algebras with projective canoncial quotient using the functor $F_{f}(-)$. We prove a similar classification for non-abelian extensions of D-Lie algebras. We classify $\tilde{L}$-connections in the case when the canonical quotient $L$ of $\tilde{L}$ is projective as $A$-module. Any $\tilde{L}$-connection is determined by a 2-cocycle $f\in \operatorname{Z}^2(\operatorname{Der}_k(A),A)$ and an $L$-connection $(E,\nabla)$. We introduce the correspondence and Chow-operator of an $\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/k$-Lie-Rinehart algebra. It depends in a non-trivial way on the right $A$-module structure on $\tilde{L}$ and the canonical quotient $A/k$-Lie-Rinehart algebra $L$ has no such structure.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Helge Øystein Maakestad. 2020-11-12. Classification of Lie algebras of differential operators. https://arxiv.org/abs/1905.09630

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Shrinking dynamic on multidimensional tropical series

Let $Ω\subset\mathbb R^n$ be a compact convex domain. An $Ω$-tropical series is a nonnegative, concave, integral-slope, piecewise-affine function on $Ω$ that vanishes on $\partialΩ$. For a finite set $P\subsetΩ^\circ$, we study the least such function above prescribed initial data whose corner locus contains $P$. It is obtained by repeatedly applying one-point shrinking operators $G_p$. We prove that every fair order of these operators stabilizes after finitely many nontrivial steps. We also describe an event-driven implementation that records the lowest monomials at each point and updates only affected watcher lists. Finally, we show that, on every compact subset of $Ω^\circ$, the resulting dynamics can be approximated by a finite path whose intermediate tropical hypersurfaces have only mild singularities on that compact set; equivalently, the corresponding local cells of the dual regular subdivision contain no lattice points other than their vertices.

math.AG

A stacky $p$-adic Riemann--Hilbert correspondence on Hitchin-small locus

Let $C$ be an algebraically closed perfectoid field over $\mathbb{Q}_p$ with the ring of integer $\mathcal{O}_C$ and the infinitesimal thickening $\Ainf$. Let $\mathfrak X$ be a semi-stable formal scheme over $\mathcal{O}_C$ with a fixed flat lifting $\widetilde{\mathfrak X}$ over $\Ainf$. Let $X$ be the generic fiber of $\mathfrak{X}$ and $\widetilde X$ be its lifting over $\BdRp$ induced by $\widetilde{\mathfrak X}$. Let $\MIC_r(\widetilde X)^{{\rm H}\text{-small}}$ and $\rL\rS_r(X,\BBdRp)^{{\rm H}\text{-small}}$ be the $v$-stacks of rank-$r$ Hitchin-small integrable connections on $X_{\et}$ and $\BBdRp$-local systems on $X_{v}$, respectively. In this paper, we establish an equivalence between these two stacks by introducing a new period sheaf with connection $(\calO\bB_{\dR,\pd}^+,\rd)$ on $X_{v}$.

math.AG

A refinement of the coherence conjecture of Pappas and Rapoport

The coherence conjecture of Pappas and Rapoport, proved by Zhu, asserts the equality of dimensions for the global sections of a line bundle over a spherical Schubert variety in the affine Grassmannian and those of another line bundle over a certain union of Schubert varieties in a partial affine flag variety. We refine this equality of dimensions to an isomorphism of representations. The comparison is established by introducing a parahoric Bruhat-Tits group scheme $\mathcal{G}$ over the affine line, ramified at 0. We further strengthen this comparison by equipping any line bundle on the global Schubert variety of $\mathcal{G}$ with a unique equivariant structure under the global jet group scheme. As an application, we obtain new relations among affine Demazure modules.

math.AG