Sheaf of differential operators
This article defines a basic construct that makes sense on any differential manifold
View a complete list of basic constructs on differential manifolds
The sheaf of differential operators of a differential manifold can be defined in many ways:
- It is the sheaf-theoretic algebra of differential operators for the sheaf of differentiable functions (in other words, if one views the sheaf of differentiable functions abstractly as a sheaf of -algebras, then the sheaf of differential operators is the sheaf-theoretic analogues of its algebra of differential operators)
- It associates to every open set, the algebra of differential operators of the -algebra of differentiable functions on that open set. Restriction maps are defined in the usual fashion.
- It is the sheaf generated, on every open set, by the algebra of differentiable functions, and the derivations
Construction and structure
Construction starting from derivations and multiplications
For simplicity, we restrict to the case where the open subset is the whole manifold . A similar argument works for every open subset of the manifold.
We start with the algebra of infinitely differentiable functions of the manifold . This is a commutative -algebra, and is denoted as .
We now look at the set of all derivations from to itself. This is not an algebra, since the composite of two derivations need not be a derivation. It, however, turns out to be a Lie algebra, and is precisely the Lie algebra of vector fields on . This is a left -module: post-composing a derivation with a multiplication gives a derivation. In other words:
If is a function and is a derivation, then , defined as:
is also a derivation.
However, composing on the right with a function multiplication does not yield a derivation:
is not a derivation.
Instead of looking at the derivations alone, it makes sense to look at the -module comprising those operators that can be obtained as the sum of a derivation and a multiplication. In other words, maps of the form:
It turns out that this is a -bimodule, and is termed the module of first-order differential operators (the corresponding sheaf is termed the sheaf of first-order differential operators).
The first-order differential operators are not closed under composition. In other words, a composite of first-order differential operators is not necessarily a first-order differential operator. The algebra generated by first-order differential operators under composition, is precisely the algebra of differential operators.
The algebra of differential operators on has a natural filtration, in terms of the order of a differential operator. A differential operators is said to have order if it can be expressed as a sum of differential operators, each of which is a composite of at most first-order differential operators.
There is no natural gradation to the algebra of differential operators, because there is no way to separate a pure order component of a differential operator.