The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

10.131 Finite order differential operators

In this section we introduce differential operators of finite order.

Definition 10.131.1. Let $R \to S$ be a ring map. Let $M$, $N$ be $S$-modules. Let $k \geq 0$ be an integer. We inductively define a differential operator $D : M \to N$ of order $k$ to be an $R$-linear map such that for all $g \in S$ the map $m \mapsto D(gm) - gD(m)$ 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 $S$-linear map.

If $D : M \to N$ is a differential operator of order $k$, then for all $g \in S$ 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(M, N) = \text{Diff}^ k_{S/R}(M, N) \]

is an $S$-module. We have

\[ \text{Diff}^0(M, N) \subset \text{Diff}^1(M, N) \subset \text{Diff}^2(M, N) \subset \ldots \]

Lemma 10.131.2. Let $R \to S$ be a ring map. Let $L, M, N$ be $S$-modules. If $D : L \to M$ and $D' : M \to N$ are differential operators of order $k$ and $k'$, then $D' \circ D$ is a differential operator of order $k + k'$.

Proof. Let $g \in S$. Then the map which sends $x \in L$ 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 10.131.3. Let $R \to S$ be a ring map. Let $M$ be an $S$-module. Let $k \geq 0$. There exists an $S$-module $P^ k_{S/R}(M)$ and a canonical isomorphism

\[ \text{Diff}^ k_{S/R}(M, N) = \mathop{\mathrm{Hom}}\nolimits _ S(P^ k_{S/R}(M), N) \]

functorial in the $S$-module $N$.

Proof. The existence of $P^ k_{S/R}(M)$ follows from general category theoretic arguments (insert future reference here), but we will also give a construction. Set $F = \bigoplus _{m \in M} S[m]$ where $[m]$ is a symbol indicating the basis element in the summand corresponding to $m$. Given any differential operator $D : M \to N$ we obtain an $S$-linear map $L_ D : F \to N$ sending $[m]$ to $D(m)$. If $D$ has order $0$, then $L_ D$ annihilates the elements

\[ [m + m'] - [m] - [m'],\quad g_0[m] - [g_0m] \]

where $g_0 \in S$ and $m, m' \in M$. If $D$ has order $1$, then $L_ D$ annihilates the elements

\[ [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 \in R$, $g_0, g_1 \in S$, and $m \in M$. If $D$ has order $k$, then $L_ D$ annihilates the elements $[m + m'] - [m] - [m']$, $f[m] - [fm]$, and the elements

\[ 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 : F \to N$ is an $S$-linear map annihilating all the elements listed in the previous sentence, then $m \mapsto L([m])$ is a differential operator of order $k$. Thus we see that $P^ k_{S/R}(M)$ is the quotient of $F$ by the submodule generated by these elements. $\square$

Definition 10.131.4. Let $R \to S$ be a ring map. Let $M$ be an $S$-module. The module $P^ k_{S/R}(M)$ constructed in Lemma 10.131.3 is called the module of principal parts of order $k$ of $M$.

Note that the inclusions

\[ \text{Diff}^0(M, N) \subset \text{Diff}^1(M, N) \subset \text{Diff}^2(M, N) \subset \ldots \]

correspond via Yoneda's lemma (Categories, Lemma 4.3.5) to surjections

\[ \ldots \to P^2_{S/R}(M) \to P^1_{S/R}(M) \to P^0_{S/R}(M) = M \]

Example 10.131.5. Let $R \to S$ be a ring map and let $N$ be an $S$-module. Observe that $\text{Diff}^1(S, N) = \text{Der}_ R(S, N) \oplus N$. Namely, if $D : S \to N$ is a differential operator of order $1$ then $\sigma _ D : S \to N$ defined by $\sigma _ D(g) := D(g) - gD(1)$ is an $R$-derivation and $D = \sigma _ D + \lambda _{D(1)}$ where $\lambda _ x : S \to N$ is the linear map sending $g$ to $gx$. It follows that $P^1_{S/R} = \Omega _{S/R} \oplus S$ by the universal property of $\Omega _{S/R}$.

Lemma 10.131.6. Let $R \to S$ be a ring map. Let $M$ be an $S$-module. There is a canonical short exact sequence

\[ 0 \to \Omega _{S/R} \otimes _ S M \to P^1_{S/R}(M) \to M \to 0 \]

functorial in $M$ called the sequence of principal parts.

Proof. The map $P^1_{S/R}(M) \to M$ is given above. Let $N$ be an $S$-module and let $D : M \to N$ be a differential operator of order $1$. For $m \in M$ the map

\[ g \longmapsto D(gm) - gD(m) \]

is an $R$-derivation $S \to N$ by the axioms for differential operators of order $1$. Thus it corresponds to a linear map $D_ m : \Omega _{S/R} \to N$ determined by the rule $a\text{d}b \mapsto aD(bm) - abD(m)$ (see Lemma 10.130.3). The map

\[ \Omega _{S/R} \times M \longrightarrow N,\quad (\eta , m) \longmapsto D_ m(\eta ) \]

is $S$-bilinear (details omitted) and hence determines an $S$-linear map

\[ \sigma _ D : \Omega _{S/R} \otimes _ S M \to N \]

In this way we obtain a map $\text{Diff}^1(M, N) \to \mathop{\mathrm{Hom}}\nolimits _ S(\Omega _{S/R} \otimes _ S M, N)$, $D \mapsto \sigma _ D$ functorial in $N$. By the Yoneda lemma this corresponds a map $\Omega _{S/R} \otimes _ S M \to P^1_{S/R}(M)$. It is immediate from the construction that this map is functorial in $M$. The sequence

\[ \Omega _{S/R} \otimes _ S M \to P^1_{S/R}(M) \to M \to 0 \]

is exact because for every module $N$ the sequence

\[ 0 \to \mathop{\mathrm{Hom}}\nolimits _ S(M, N) \to \text{Diff}^1(M, N) \to \mathop{\mathrm{Hom}}\nolimits _ S(\Omega _{S/R} \otimes _ S M, N) \]

is exact by inspection.

To see that $\Omega _{S/R} \otimes _ S M \to P^1_{S/R}(M)$ is injective we argue as follows. Choose an exact sequence

\[ 0 \to M' \to F \to M \to 0 \]

with $F$ a free $S$-module. This induces an exact sequence

\[ 0 \to \text{Diff}^1(M, N) \to \text{Diff}^1(F, N) \to \text{Diff}^1(M', N) \]

for all $N$. This proves that in the commutative diagram

\[ \xymatrix{ 0 \ar[r] & \Omega _{S/R} \otimes _ S M' \ar[r] \ar[d] & P^1_{S/R}(M') \ar[r] \ar[d] & M' \ar[r] \ar[d] & 0 \\ 0 \ar[r] & \Omega _{S/R} \otimes _ S F \ar[r] \ar[d] & P^1_{S/R}(F) \ar[r] \ar[d] & F \ar[r] \ar[d] & 0 \\ 0 \ar[r] & \Omega _{S/R} \otimes _ S M \ar[r] \ar[d] & P^1_{S/R}(M) \ar[r] \ar[d] & M \ar[r] \ar[d] & 0 \\ & 0 & 0 & 0 } \]

the middle column is exact. The left column is exact by right exactness of $\Omega _{S/R} \otimes _ S -$. By the snake lemma (see Section 10.4) it suffices to prove exactness on the left for the free module $F$. Using that $P^1_{S/R}(-)$ commutes with direct sums we reduce to the case $M = S$. This case is a consequence of the discussion in Example 10.131.5. $\square$

Remark 10.131.7. Suppose given a commutative diagram of rings

\[ \xymatrix{ B \ar[r] & B' \\ A \ar[u] \ar[r] & A' \ar[u] } \]

a $B$-module $M$, a $B'$-module $M'$, and a $B$-linear map $M \to M'$. Then we get a compatible system of module maps

\[ \xymatrix{ \ldots \ar[r] & P^2_{B'/A'}(M') \ar[r] & P^1_{B'/A'}(M') \ar[r] & P^0_{B'/A'}(M') \\ \ldots \ar[r] & P^2_{B/A}(M) \ar[r] \ar[u] & P^1_{B/A}(M) \ar[r] \ar[u] & P^0_{B/A}(M) \ar[u] } \]

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 $P^ k_{B/A}(M)$ in terms of generators and relations in the proof of Lemma 10.131.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 10.131.6.


Comments (0)


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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 09CH. Beware of the difference between the letter 'O' and the digit '0'.