In my first post, we showed how important information about a PDE on could be turned into a certain module over the ring of regular differential operators on . Our focus today will be about extending the idea of differential operators to other kinds of objects.
The first step will be to define the ring of regular differential operators on an arbitrary complex affine variety. The construction is a bit mysterious, but for smooth varieties it is the ring generated by multiplying by regular functions and differentiating along regular vector fields. Then, we will show how there is a natural restriction map from the differential operators on an affine variety to the differential operators on a Zariski open set in that variety. With this important tool, we can compare differential operators in two different affine subsets of a non-affine variety, and see if we can patch them together into a differential operator over the union. Effectively, this will define the sheaf of differential operators on any variety. We will close by computing the global differential operators on , and showing that they are in agreement with the universal enveloping algebra of the Lie algebra of regular vector fields on .
I should apologize a bit, since my choice to consider regular differential operators (the theory of algebraic D-modules) over holomorphic differential operators (the theory of analytic D-modules) means that it isn’t sufficient to understand differential operators only on subsets of . This is because complex analytic manifolds are locally open subsets of , while algebraic varieties are not locally open subsets of the Zariski version of . As such, we have to skip right to the abstract definition of differential operators.
Differential Operators for an Affine Variety
Let be an complex affine variety whose coordinate ring is . I will construct the ring of differential operators on in pieces as follows. Let , and define to be the -linear maps from to itself such that
where is thought of as a multiplication operator acting on . Define , the ring of differential operators on latex , to be the union over all (it is alternatively called ). While each is just a vector space, , so is a subring of . Notice that it is a filtered ring by construction, an element in but not in is said to have order .
What on earth does this ring have to do with actual differential operators? Well, notice that every derivation on will be in . Since a derivation on determines a regular vector field on , this shows that differentiation with respect to any regular vector field is in .
The problem is really that by talking about arbitrary affine varieties, singularities can enter the picture, which can behave oddly with respect to differential operators. For instance, consider the ring of polynomials in whose derivative at 0 is equal to zero (this is the coordinate ring of the cusp ). doesn’t exist, but does, as well as the weirder fellow . No notion of ‘vector field’ will generate an operator of the latter form.
However, in my examples this will be irrelevant, because for a smooth affine variety, the ring of differential operators is generated by the multiplication operators and the derivations (vector fields). I am trying to sneak this theorem in a little under the radar, because the only proof I know is a bit round-about and would take too long (showing that the derivations generate the associated graded algebra to the differential operators). Unfortunately, this fact is extremely important, since it lets us reduce the study of rings of differential operators to studying derivations (particularly, their universal enveloping algebras).
Differential operators and localization
The next goal is to try to patch together differential operators on affine pieces of a non-affine variety to get some global definition of a differential operator. To do this, we need an open affine subset of an affine to determine a map from to that tells us how to differentiate functions defined on open subsets. Let be the coordinate ring of and let be the coordinate ring of .
On coordinate rings, the inclusion is given by a localization map , where is gotten from by inverting some collection of elements. Here’s where it would be awesome if was a functor, since the localization map would induce a map . However, (and this is important) is not a functor!
This should not stop us from our original task, which we can now regard as proving that is a ‘functor on localization maps’. The magic trick is the simple calculus fact that if I know how to differentiate , I automatically know how to differentiate . Specifically, if is a derivation, than (this also follows from the definition of a derivation). Thus, there is a canonical map for derivations. If is smooth, then this map, together with the inclusion generates the desired map , which is what we wanted.
As far as the non-smooth case goes, none of the literature I have found addresses this problem. Bernstein goes so far as to declare that the above definition gives the wrong category of D-modules of a singular variety, and uses something called Kashiwara’s Theorem to construct a functional alternative.
An Example: Differential Operators on
Now we should be able to define global differential operators as a choice of a differential operator in each open affine set that agrees with every other choice on intersections. Let’s try to find the ring of global differential operators on .
First, we need a convenient open cover to work with. We can construct out of two copies of the affine line and gluing them along the punctured affine line . On coordinate rings, this corresponds to the rings and , glued along with the obvious inclusions.
A global differential operator is then given by differential operators on and which map to the same differential operator on . Since these are all smooth varieties, we know that the rings of differential operators are
where denotes differentiation with respect to . Also, I have used hard brackets illegimately, since these are not commutative rings. The hard brackets are meant to denote that these variables commutate as the symbols dictate, ie, .
So, a global differential operator of order 1 is a pair which agrees on overlaps. However, both of these terms act on exactly as their appear. The only important fact is the relationship:
This implies that in the above terms,
The second equation says that and are both constant, which shouldn’t be a surprise. However, the additional factor of in the first equation gives us some room for fun. It implies that is of degree at most 2, and that is totally determined by such an . Explicitly, a global differential operator of order 1 must look like for some constants .
Because is smooth, these differential operators generate the whole ring of global differential operators. Thus we see that this ring is generated by the three elements , , and . Each of these three elements defines a regular vector field on , and these three span the entire space of regular vector fields on . Thus, the ring of global differential operators is the universal enveloping algebra of the Lie algebra of vector fields. In this case, this Lie algebra is isomorphic to , so the differential operators corresponds to a very well understood ring, and its category of D-modules is the same as the category of representations of .
The last paragraph might have been a bit quick, but that was in part because it wasn’t very D-module theoretic. In essence, we used the unproven theorem about smooth varieties to reduce it to a question of derivations/vector fields, and the previous computation was a verification that our vector fields glued together as vector fields should.
I haven’t decided what to talk about next time. Most likely, I will define differential operators on bundles, and how they relate to covariant derivatives and connections. I also might try to move toward some more noteworthy facts like the Riemann Hilbert correspondence. The latter is more exciting, but I am shakier on some of the constituent elements, perverse sheaves in particular.