The Stacks project

49.9 The different

The motivation for the following definition is that it recovers the Dedekind different in the finite flat case as we will see below.

Definition 49.9.1. Let $f : Y \to X$ be a flat locally quasi-finite morphism of locally Noetherian schemes. Let $\omega _{Y/X}$ be the relative dualizing module and let $\tau _{Y/X} \in \Gamma (Y, \omega _{Y/X})$ be the trace element (Remarks 49.2.11 and 49.4.7). The annihilator of

\[ \mathop{\mathrm{Coker}}(\mathcal{O}_ Y \xrightarrow {\tau _{Y/X}} \omega _{Y/X}) \]

is the different of $Y/X$. It is a coherent ideal $\mathfrak {D}_ f \subset \mathcal{O}_ Y$.

We will generalize this in Remark 49.14.2 below. Observe that $\mathfrak {D}_ f$ is locally generated by one element if $\omega _{Y/X}$ is an invertible $\mathcal{O}_ Y$-module. We first state the agreement with the Dedekind different.

Lemma 49.9.2. Let $f : Y \to X$ be a flat quasi-finite morphism of Noetherian schemes. Let $V = \mathop{\mathrm{Spec}}(B) \subset Y$, $U = \mathop{\mathrm{Spec}}(A) \subset X$ be affine open subschemes with $f(V) \subset U$. If the Dedekind different of $A \to B$ is defined, then

\[ \mathfrak {D}_ f|_ V = \widetilde{\mathfrak {D}_{B/A}} \]

as coherent ideal sheaves on $V$.

Proof. This is clear from Lemmas 49.8.1 and 49.8.3. $\square$

Lemma 49.9.3. Let $f : Y \to X$ be a flat quasi-finite morphism of Noetherian schemes. Let $V = \mathop{\mathrm{Spec}}(B) \subset Y$, $U = \mathop{\mathrm{Spec}}(A) \subset X$ be affine open subschemes with $f(V) \subset U$. If $\omega _{Y/X}|_ V$ is invertible, i.e., if $\omega _{B/A}$ is an invertible $B$-module, then

\[ \mathfrak {D}_ f|_ V = \widetilde{\mathfrak {D}} \]

as coherent ideal sheaves on $V$ where $\mathfrak {D} \subset B$ is the Noether different of $B$ over $A$.

Proof. Consider the map

\[ \mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ Y}(\omega _{Y/X}, \mathcal{O}_ Y) \longrightarrow \mathcal{O}_ Y,\quad \varphi \longmapsto \varphi (\tau _{Y/X}) \]

The image of this map corresponds to the Noether different on affine opens, see Lemma 49.6.7. Hence the result follows from the elementary fact that given an invertible module $\omega $ and a global section $\tau $ the image of $\tau : \mathop{\mathcal{H}\! \mathit{om}}\nolimits (\omega , \mathcal{O}) = \omega ^{\otimes -1} \to \mathcal{O}$ is the same as the annihilator of $\mathop{\mathrm{Coker}}(\tau : \mathcal{O} \to \omega )$. $\square$

Lemma 49.9.4. Consider a cartesian diagram of Noetherian schemes

\[ \xymatrix{ Y' \ar[d]_{f'} \ar[r] & Y \ar[d]^ f \\ X' \ar[r]^ g & X } \]

with $f$ flat and quasi-finite. Let $R \subset Y$, resp. $R' \subset Y'$ be the closed subscheme cut out by the different $\mathfrak {D}_ f$, resp. $\mathfrak {D}_{f'}$. Then $Y' \to Y$ induces a bijective closed immersion $R' \to R \times _ Y Y'$. If $g$ is flat or if $\omega _{Y/X}$ is invertible, then $R' = R \times _ Y Y'$.

Proof. There is an immediate reduction to the case where $X$, $X'$, $Y$, $Y'$ are affine. In other words, we have a cocartesian diagram of Noetherian rings

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

with $A \to B$ flat and quasi-finite. The base change map $\omega _{B/A} \otimes _ B B' \to \omega _{B'/A'}$ is an isomorphism (Lemma 49.2.10) and maps the trace element $\tau _{B/A}$ to the trace element $\tau _{B'/A'}$ (Lemma 49.4.4). Hence the finite $B$-module $Q = \mathop{\mathrm{Coker}}(\tau _{B/A} : B \to \omega _{B/A})$ satisfies $Q \otimes _ B B' = \mathop{\mathrm{Coker}}(\tau _{B'/A'} : B' \to \omega _{B'/A'})$. Thus $\mathfrak {D}_{B/A}B' \subset \mathfrak {D}_{B'/A'}$ which means we obtain the closed immersion $R' \to R \times _ Y Y'$. Since $R = \text{Supp}(Q)$ and $R' = \text{Supp}(Q \otimes _ B B')$ (Algebra, Lemma 10.40.5) we see that $R' \to R \times _ Y Y'$ is bijective by Algebra, Lemma 10.40.6. The equality $\mathfrak {D}_{B/A}B' = \mathfrak {D}_{B'/A'}$ holds if $B \to B'$ is flat, e.g., if $A \to A'$ is flat, see Algebra, Lemma 10.40.4. Finally, if $\omega _{B/A}$ is invertible, then we can localize and assume $\omega _{B/A} = B \lambda $. Writing $\tau _{B/A} = b\lambda $ we see that $Q = B/bB$ and $\mathfrak {D}_{B/A} = bB$. The same reasoning over $B'$ gives $\mathfrak {D}_{B'/A'} = bB'$ and the lemma is proved. $\square$

Lemma 49.9.5. Let $f : Y \to X$ be a finite flat morphism of Noetherian schemes. Then $\text{Norm}_ f : f_*\mathcal{O}_ Y \to \mathcal{O}_ X$ maps $f_*\mathfrak {D}_ f$ into the ideal sheaf of the discriminant $D_ f$.

Proof. The norm map is constructed in Divisors, Lemma 31.17.6 and the discriminant of $f$ in Section 49.3. The question is affine local, hence we may assume $X = \mathop{\mathrm{Spec}}(A)$, $Y = \mathop{\mathrm{Spec}}(B)$ and $f$ given by a finite locally free ring map $A \to B$. Localizing further we may assume $B$ is finite free as an $A$-module. Choose a basis $b_1, \ldots , b_ n \in B$ for $B$ as an $A$-module. Denote $b_1^\vee , \ldots , b_ n^\vee $ the dual basis of $\omega _{B/A} = \mathop{\mathrm{Hom}}\nolimits _ A(B, A)$ as an $A$-module. Since the norm of $b$ is the determinant of $b : B \to B$ as an $A$-linear map, we see that $\text{Norm}_{B/A}(b) = \det (b_ i^\vee (bb_ j))$. The discriminant is the principal closed subscheme of $\mathop{\mathrm{Spec}}(A)$ defined by $\det (\text{Trace}_{B/A}(b_ ib_ j))$. If $b \in \mathfrak {D}_{B/A}$ then there exist $c_ i \in B$ such that $b \cdot b_ i^\vee = c_ i \cdot \text{Trace}_{B/A}$ where we use a dot to indicate the $B$-module structure on $\omega _{B/A}$. Write $c_ i = \sum a_{il} b_ l$. We have

\begin{align*} \text{Norm}_{B/A}(b) & = \det (b_ i^\vee (bb_ j)) \\ & = \det ( (b \cdot b_ i^\vee )(b_ j)) \\ & = \det ((c_ i \cdot \text{Trace}_{B/A})(b_ j)) \\ & = \det (\text{Trace}_{B/A}(c_ ib_ j)) \\ & = \det (a_{il}) \det (\text{Trace}_{B/A}(b_ l b_ j)) \end{align*}

which proves the lemma. $\square$

Lemma 49.9.6. Let $f : Y \to X$ be a flat quasi-finite morphism of Noetherian schemes. The closed subscheme $R \subset Y$ defined by the different $\mathfrak {D}_ f$ is exactly the set of points where $f$ is not étale (equivalently not unramified).

Proof. Since $f$ is of finite presentation and flat, we see that it is étale at a point if and only if it is unramified at that point. Moreover, the formation of the locus of ramified points commutes with base change. See Morphisms, Section 29.36 and especially Morphisms, Lemma 29.36.17. By Lemma 49.9.4 the formation of $R$ commutes set theoretically with base change. Hence it suffices to prove the lemma when $X$ is the spectrum of a field. On the other hand, the construction of $(\omega _{Y/X}, \tau _{Y/X})$ is local on $Y$. Since $Y$ is a finite discrete space (being quasi-finite over a field), we may assume $Y$ has a unique point.

Say $X = \mathop{\mathrm{Spec}}(k)$ and $Y = \mathop{\mathrm{Spec}}(B)$ where $k$ is a field and $B$ is a finite local $k$-algebra. If $Y \to X$ is étale, then $B$ is a finite separable extension of $k$, and the trace element $\text{Trace}_{B/k}$ is a basis element of $\omega _{B/k}$ by Fields, Lemma 9.20.7. Thus $\mathfrak {D}_{B/k} = B$ in this case. Conversely, if $\mathfrak {D}_{B/k} = B$, then we see from Lemma 49.9.5 and the fact that the norm of $1$ equals $1$ that the discriminant is empty. Hence $Y \to X$ is étale by Lemma 49.3.1. $\square$

Lemma 49.9.7. Let $f : Y \to X$ be a flat quasi-finite morphism of Noetherian schemes. Let $R \subset Y$ be the closed subscheme defined by $\mathfrak {D}_ f$.

  1. If $\omega _{Y/X}$ is invertible, then $R$ is a locally principal closed subscheme of $Y$.

  2. If $\omega _{Y/X}$ is invertible and $f$ is finite, then the norm of $R$ is the discriminant $D_ f$ of $f$.

  3. If $\omega _{Y/X}$ is invertible and $f$ is étale at the associated points of $Y$, then $R$ is an effective Cartier divisor and there is an isomorphism $\mathcal{O}_ Y(R) = \omega _{Y/X}$.

Proof. Proof of (1). We may work locally on $Y$, hence we may assume $\omega _{Y/X}$ is free of rank $1$. Say $\omega _{Y/X} = \mathcal{O}_ Y\lambda $. Then we can write $\tau _{Y/X} = h \lambda $ and then we see that $R$ is defined by $h$, i.e., $R$ is locally principal.

Proof of (2). We may assume $Y \to X$ is given by a finite free ring map $A \to B$ and that $\omega _{B/A}$ is free of rank $1$ as $B$-module. Choose a $B$-basis element $\lambda $ for $\omega _{B/A}$ and write $\text{Trace}_{B/A} = b \cdot \lambda $ for some $b \in B$. Then $\mathfrak {D}_{B/A} = (b)$ and $D_ f$ is cut out by $\det (\text{Trace}_{B/A}(b_ ib_ j))$ where $b_1, \ldots , b_ n$ is a basis of $B$ as an $A$-module. Let $b_1^\vee , \ldots , b_ n^\vee $ be the dual basis. Writing $b_ i^\vee = c_ i \cdot \lambda $ we see that $c_1, \ldots , c_ n$ is a basis of $B$ as well. Hence with $c_ i = \sum a_{il}b_ l$ we see that $\det (a_{il})$ is a unit in $A$. Clearly, $b \cdot b_ i^\vee = c_ i \cdot \text{Trace}_{B/A}$ hence we conclude from the computation in the proof of Lemma 49.9.5 that $\text{Norm}_{B/A}(b)$ is a unit times $\det (\text{Trace}_{B/A}(b_ ib_ j))$.

Proof of (3). In the notation above we see from Lemma 49.9.6 and the assumption that $h$ does not vanish in the associated points of $Y$, which implies that $h$ is a nonzerodivisor. The canonical isomorphism sends $1$ to $\tau _{Y/X}$, see Divisors, Lemma 31.14.10. $\square$

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 0BTC. Beware of the difference between the letter 'O' and the digit '0'.