Definition 17.29.1. Let $X$ be a topological space. Let $\varphi : \mathcal{O}_1 \to \mathcal{O}_2$ be a homomorphism of sheaves of rings on $X$. Let $k \geq 0$ be an integer. Let $\mathcal{F}$, $\mathcal{G}$ be sheaves of $\mathcal{O}_2$-modules. A differential operator $D : \mathcal{F} \to \mathcal{G}$ of order $k$ is an is an $\mathcal{O}_1$-linear map such that for all local sections $g$ of $\mathcal{O}_2$ the map $s \mapsto D(gs) - gD(s)$ is a differential operator of order $k - 1$. For the base case $k = 0$ we define a differential operator of order $0$ to be an $\mathcal{O}_2$-linear map.
17.29 Finite order differential operators
In this section we introduce differential operators of finite order. We suggest the reader take a look at the corresponding section in the chapter on commutative algebra (Algebra, Section 10.133).
If $D : \mathcal{F} \to \mathcal{G}$ is a differential operator of order $k$, then for all local sections $g$ of $\mathcal{O}_2$ the map $gD$ is a differential operator of order $k$. The sum of two differential operators of order $k$ is another. Hence the set of all these
\[ \text{Diff}^ k(\mathcal{F}, \mathcal{G}) = \text{Diff}^ k_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F}, \mathcal{G}) \]
is a $\Gamma (X, \mathcal{O}_2)$-module. We have
\[ \text{Diff}^0(\mathcal{F}, \mathcal{G}) \subset \text{Diff}^1(\mathcal{F}, \mathcal{G}) \subset \text{Diff}^2(\mathcal{F}, \mathcal{G}) \subset \ldots \]
The rule which maps $U \subset X$ open to the module of differential operators $D : \mathcal{F}|_ U \to \mathcal{G}|_ U$ of order $k$ is a sheaf of $\mathcal{O}_2$-modules on $X$. Thus we obtain a sheaf of differential operators (if we ever need this we will add a definition here).
Lemma 17.29.2. Let $X$ be a topological space. Let $\mathcal{O}_1 \to \mathcal{O}_2$ be a map of sheaves of rings on $X$. Let $\mathcal{E}, \mathcal{F}, \mathcal{G}$ be sheaves of $\mathcal{O}_2$-modules. If $D : \mathcal{E} \to \mathcal{F}$ and $D' : \mathcal{F} \to \mathcal{G}$ are differential operators of order $k$ and $k'$, then $D' \circ D$ is a differential operator of order $k + k'$.
Proof. Let $g$ be a local section of $\mathcal{O}_2$. Then the map which sends a local section $x$ of $\mathcal{E}$ to
\[ D'(D(gx)) - gD'(D(x)) = D'(D(gx)) - D'(gD(x)) + D'(gD(x)) - gD'(D(x)) \]
is a sum of two compositions of differential operators of lower order. Hence the lemma follows by induction on $k + k'$. $\square$
Lemma 17.29.3. Let $X$ be a topological space. Let $\mathcal{O}_1 \to \mathcal{O}_2$ be a map of sheaves of rings on $X$. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_2$-modules. Let $k \geq 0$. There exists a sheaf of $\mathcal{O}_2$-modules $\mathcal{P}^ k_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F})$ and a canonical isomorphism functorial in the $\mathcal{O}_2$-module $\mathcal{G}$.
\[ \text{Diff}^ k_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F}, \mathcal{G}) = \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_2}( \mathcal{P}^ k_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F}), \mathcal{G}) \]
Proof. The existence follows from general category theoretic arguments (insert future reference here), but we will also give a direct construction as this construction will be useful in the future proofs. We will freely use the notation introduced in the proof of Lemma 17.28.2. Given any differential operator $D : \mathcal{F} \to \mathcal{G}$ we obtain an $\mathcal{O}_2$-linear map $L_ D : \mathcal{O}_2[\mathcal{F}] \to \mathcal{G}$ sending $[m]$ to $D(m)$. If $D$ has order $0$ then $L_ D$ annihilates the local sections
\[ [m + m'] - [m] - [m'],\quad g_0[m] - [g_0m] \]
where $g_0$ is a local section of $\mathcal{O}_2$ and $m, m'$ are local sections of $\mathcal{F}$. If $D$ has order $1$, then $L_ D$ annihilates the local sections
\[ [m + m' - [m] - [m'],\quad f[m] - [fm], \quad g_0g_1[m] - g_0[g_1m] - g_1[g_0m] + [g_1g_0m] \]
where $f$ is a local section of $\mathcal{O}_1$, $g_0, g_1$ are local sections of $\mathcal{O}_2$, and $m, m'$ are local sections of $\mathcal{F}$. If $D$ has order $k$, then $L_ D$ annihilates the local sections $[m + m'] - [m] - [m']$, $f[m] - [fm]$, and the local sections
\[ g_0g_1\ldots g_ k[m] - \sum g_0 \ldots \hat g_ i \ldots g_ k[g_ im] + \ldots +(-1)^{k + 1}[g_0\ldots g_ km] \]
Conversely, if $L : \mathcal{O}_2[\mathcal{F}] \to \mathcal{G}$ is an $\mathcal{O}_2$-linear map annihilating all the local sections listed in the previous sentence, then $m \mapsto L([m])$ is a differential operator of order $k$. Thus we see that $\mathcal{P}^ k_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F})$ is the quotient of $\mathcal{O}_2[\mathcal{F}]$ by the $\mathcal{O}_2$-submodule generated by these local sections. $\square$
Definition 17.29.4. Let $X$ be a topoological space. Let $\mathcal{O}_1 \to \mathcal{O}_2$ be a map of sheaves of rings on $X$. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_2$-modules. The module $\mathcal{P}^ k_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F})$ constructed in Lemma 17.29.3 is called the module of principal parts of order $k$ of $\mathcal{F}$.
Note that the inclusions
\[ \text{Diff}^0(\mathcal{F}, \mathcal{G}) \subset \text{Diff}^1(\mathcal{F}, \mathcal{G}) \subset \text{Diff}^2(\mathcal{F}, \mathcal{G}) \subset \ldots \]
correspond via Yoneda's lemma (Categories, Lemma 4.3.5) to surjections
\[ \ldots \to \mathcal{P}^2_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F}) \to \mathcal{P}^1_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F}) \to \mathcal{P}^0_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F}) = \mathcal{F} \]
Lemma 17.29.5. Let $X$ be a topological space. Let $\mathcal{O}_1 \to \mathcal{O}_2$ be a homomorphism of presheaves of rings on $X$. Let $\mathcal{F}$ be a presheaf of $\mathcal{O}_2$-modules. Then $\mathcal{P}^ k_{\mathcal{O}_2^\# /\mathcal{O}_1^\# }(\mathcal{F}^\# )$ is the sheaf associated to the presheaf $U \mapsto P^ k_{\mathcal{O}_2(U)/\mathcal{O}_1(U)}(\mathcal{F}(U))$.
Proof. This can be proved in exactly the same way as is done for the sheaf of differentials in Lemma 17.28.4. Perhaps a more pleasing approach is to use the universal property of Lemma 17.29.3 directly to see the equality. We omit the details. $\square$
Lemma 17.29.6. Let $X$ be a topological space. Let $\mathcal{O}_1 \to \mathcal{O}_2$ be a homomorphism of sheaves of rings on $X$. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_2$-modules. There is a canonical short exact sequence functorial in $\mathcal{F}$ called the sequence of principal parts.
\[ 0 \to \Omega _{\mathcal{O}_2/\mathcal{O}_1} \otimes _{\mathcal{O}_2} \mathcal{F} \to \mathcal{P}^1_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F}) \to \mathcal{F} \to 0 \]
Proof. Follows from the commutative algebra version (Algebra, Lemma 10.133.6) and Lemmas 17.28.4 and 17.29.5. $\square$
Remark 17.29.7. Let $X$ be a topological space. Suppose given a commutative diagram of sheaves of rings on $X$, a $\mathcal{B}$-module $\mathcal{F}$, a $\mathcal{B}'$-module $\mathcal{F}'$, and a $\mathcal{B}$-linear map $\mathcal{F} \to \mathcal{F}'$. Then we get a compatible system of module maps These maps are compatible with further composition of maps of this type. The easiest way to see this is to use the description of the modules $\mathcal{P}^ k_{\mathcal{B}/\mathcal{A}}(\mathcal{M})$ in terms of (local) generators and relations in the proof of Lemma 17.29.3 but it can also be seen directly from the universal property of these modules. Moreover, these maps are compatible with the short exact sequences of Lemma 17.29.6.
\[ \xymatrix{ \mathcal{B} \ar[r] & \mathcal{B}' \\ \mathcal{A} \ar[u] \ar[r] & \mathcal{A}' \ar[u] } \]
\[ \xymatrix{ \ldots \ar[r] & \mathcal{P}^2_{\mathcal{B}'/\mathcal{A}'}(\mathcal{F}') \ar[r] & \mathcal{P}^1_{\mathcal{B}'/\mathcal{A}'}(\mathcal{F}') \ar[r] & \mathcal{P}^0_{\mathcal{B}'/\mathcal{A}'}(\mathcal{F}') \\ \ldots \ar[r] & \mathcal{P}^2_{\mathcal{B}/\mathcal{A}}(\mathcal{F}) \ar[r] \ar[u] & \mathcal{P}^1_{\mathcal{B}/\mathcal{A}}(\mathcal{F}) \ar[r] \ar[u] & \mathcal{P}^0_{\mathcal{B}/\mathcal{A}}(\mathcal{F}) \ar[u] } \]
Next, we extend our definition to morphisms of ringed spaces.
Definition 17.29.8. Let $(f, f^\sharp ) : (X, \mathcal{O}_ X) \to (S, \mathcal{O}_ S)$ be a morphism of ringed spaces. Let $\mathcal{F}$ and $\mathcal{G}$ be $\mathcal{O}_ X$-modules. Let $k \geq 0$ be an integer. A differential operator of order $k$ on $X/S$ is a differential operator $D : \mathcal{F} \to \mathcal{G}$ with respect to $f^\sharp : f^{-1}\mathcal{O}_ S \to \mathcal{O}_ X$ We denote $\text{Diff}^ k_{X/S}(\mathcal{F}, \mathcal{G})$ the set of these differential operators.
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (1)
Comment #9672 by Ayan on