Today we’ll think about notions of compatibility for P.D. structures. The general setup is the following. We have a P.D. ring and an -algebra. We’ll say that extends to if there is a P.D. structure on such that is a P.D. morphism. From what we talked about last time we immediately get that extends if and only if there is a P.D. ideal of such that is a P.D. morphism since we’ve checked that is a sub P.D. ideal of .
It also quickly follows from what we’ve done that if there is some extension, then that extension is unique. We should check that this definition isn’t useless by exhibiting an instance where it doesn’t extend. Just pick rings for which and is not a sub P.D. ideal of (which necessarily means we picked to have no P.D. structure).
We can guarantee that extends in certain nice situations. For instance, let’s prove that extends to any when our ideal is principal. Suppose , then we need to define on or in other words we need to understand how to define for any . First, let’s check that the natural guess is well-defined. Define . Suppose , then . Now since we get that it is just another multiple of which shows that making the whole sum and hence . Now that we have well-defined, we can just use the fact that is a P.D. structure to check the properties for .
Here we have the main definition of today. Suppose is a P.D. ring and and -algebra with a P.D. ideal of . We say that and are compatible if any of the following equivalent conditions are met.
1. extends to and on .
2. The ideal has a P.D. structure such that and are P.D. morphisms.
3. There is an ideal with a P.D. structure such that and are P.D. morphisms.
The equivalence is straightforward to check using the if and only if condition listed in the first part of the post for extending a P.D. structure. Let’s go back to thinking geometrically for a second. Then what’s going on is we have some affine variety, and possibly some thickening of it. The original variety has a P.D. structure, and so does the thickening. Compatibility is just saying that the original P.D. structure can be extended over the whole thickening (meaning there is a P.D structure on the thickening that restricts to the original one) and it can be done in such a way that restricting to where the P.D. structure is defined also agrees. So as opposed to just an extension, we have what could be thought of as a simultaneous extension of both P.D. structures.
Next time we’ll start talking about some more complicated things by introducing what could be thought of as formal completions of P.D. structures. This shouldn’t be hard to guess what it is if you are comfortable with formal completions of affine varieties.