The Stacks project

43.15 Algebraic multiplicities

Let $(A, \mathfrak m, \kappa )$ be a Noetherian local ring. Let $M$ be a finite $A$-module and let $I \subset A$ be an ideal of definition (Algebra, Definition 10.59.1). Recall that the function

\[ \chi _{I, M}(n) = \text{length}_ A(M/I^ nM) = \sum \nolimits _{p = 0, \ldots , n - 1} \text{length}_ A(I^ pM/I^{p + 1}M) \]

is a numerical polynomial (Algebra, Proposition 10.59.5). The degree of this polynomial is equal to $\dim (\text{Supp}(M))$ by Algebra, Lemma 10.62.6.

Definition 43.15.1. In the situation above, if $d \geq \dim (\text{Supp}(M))$, then we set $e_ I(M, d)$ equal to $0$ if $d > \dim (\text{Supp}(M))$ and equal to $d!$ times the leading coefficient of the numerical polynomial $\chi _{I, M}$ so that

\[ \chi _{I, M}(n) \sim e_ I(M, d) \frac{n^ d}{d!} + \text{lower order terms} \]

The multiplicity of $M$ for the ideal of definition $I$ is $e_ I(M) = e_ I(M, \dim (\text{Supp}(M)))$.

We have the following properties of these multiplicities.

Lemma 43.15.2. Let $A$ be a Noetherian local ring. Let $I \subset A$ be an ideal of definition. Let $0 \to M' \to M \to M'' \to 0$ be a short exact sequence of finite $A$-modules. Let $d \geq \dim (\text{Supp}(M))$. Then

\[ e_ I(M, d) = e_ I(M', d) + e_ I(M'', d) \]

Proof. Immediate from the definitions and Algebra, Lemma 10.59.10. $\square$

Lemma 43.15.3. Let $A$ be a Noetherian local ring. Let $I \subset A$ be an ideal of definition. Let $M$ be a finite $A$-module. Let $d \geq \dim (\text{Supp}(M))$. Then

\[ e_ I(M, d) = \sum \text{length}_{A_\mathfrak p}(M_\mathfrak p) e_ I(A/\mathfrak p, d) \]

where the sum is over primes $\mathfrak p \subset A$ with $\dim (A/\mathfrak p) = d$.

Proof. Both the left and side and the right hand side are additive in short exact sequences of modules of dimension $\leq d$, see Lemma 43.15.2 and Algebra, Lemma 10.52.3. Hence by Algebra, Lemma 10.62.1 it suffices to prove this when $M = A/\mathfrak q$ for some prime $\mathfrak q$ of $A$ with $\dim (A/\mathfrak q) \leq d$. This case is obvious. $\square$

Lemma 43.15.4. Let $P$ be a polynomial of degree $r$ with leading coefficient $a$. Then

\[ r! a = \sum \nolimits _{i = 0, \ldots , r} (-1)^ i{r \choose i} P(t - i) \]

for any $t$.

Proof. Let us write $\Delta $ the operator which to a polynomial $P$ associates the polynomial $\Delta (P) = P(t) - P(t - 1)$. We claim that

\[ \Delta ^ r(P) = \sum \nolimits _{i = 0, \ldots , r} (-1)^ i {r \choose i} P(t - i) \]

This is true for $r = 0, 1$ by inspection. Assume it is true for $r$. Then we compute

\begin{align*} \Delta ^{r + 1}(P) & = \sum \nolimits _{i = 0, \ldots , r} (-1)^ i {r \choose i} \Delta (P)(t - i) \\ & = \sum \nolimits _{n = -r, \ldots , 0} (-1)^ i {r \choose i} (P(t - i) - P(t - i - 1)) \end{align*}

Thus the claim follows from the equality

\[ {r + 1 \choose i} = {r \choose i} + {r \choose i - 1} \]

The lemma follows from the fact that $\Delta (P)$ is of degree $r - 1$ with leading coefficient $ra$ if the degree of $P$ is $r$. $\square$

An important fact is that one can compute the multiplicity in terms of the Koszul complex. Recall that if $R$ is a ring and $f_1, \ldots , f_ r \in R$, then $K_\bullet (f_1, \ldots , f_ r)$ denotes the Koszul complex, see More on Algebra, Section 15.28.

reference

Theorem 43.15.5. Let $A$ be a Noetherian local ring. Let $I = (f_1, \ldots , f_ r) \subset A$ be an ideal of definition. Let $M$ be a finite $A$-module. Then

\[ e_ I(M, r) = \sum (-1)^ i\text{length}_ A H_ i(K_\bullet (f_1, \ldots , f_ r) \otimes _ A M) \]

Proof. Let us change the Koszul complex $K_\bullet (f_1, \ldots , f_ r)$ into a cochain complex $K^\bullet $ by setting $K^ n = K_{-n}(f_1, \ldots , f_ r)$. Then $K^\bullet $ is sitting in degrees $-r, \ldots , 0$ and $H^ i(K^\bullet \otimes _ A M) = H_{-i}(K_\bullet (f_1, \ldots , f_ r) \otimes _ A M)$. The statement of the theorem makes sense as the modules $H^ i(K^\bullet \otimes M)$ are annihilated by $f_1, \ldots , f_ r$ (More on Algebra, Lemma 15.28.6) hence have finite length. Define a filtration on the complex $K^\bullet $ by setting

\[ F^ p(K^ n \otimes _ A M) = I^{\max (0, p + n)}(K^ n \otimes _ A M),\quad p \in \mathbf{Z} \]

Since $f_ i I^ p \subset I^{p + 1}$ this is a filtration by subcomplexes. Thus we have a filtered complex and we obtain a spectral sequence, see Homology, Section 12.24. We have

\[ E_0 = \bigoplus \nolimits _{p, q} E_0^{p, q} = \bigoplus \nolimits _{p, q} \text{gr}^ p(K^{p + q} \otimes _ A M) = \text{Gr}_ I(K^\bullet \otimes _ A M) \]

Since $K^ n$ is finite free we have

\[ \text{Gr}_ I(K^\bullet \otimes _ A M) = \text{Gr}_ I(K^\bullet ) \otimes _{\text{Gr}_ I(A)} \text{Gr}_ I(M) \]

Note that $\text{Gr}_ I(K^\bullet )$ is the Koszul complex over $\text{Gr}_ I(A)$ on the elements $\overline{f}_1, \ldots , \overline{f}_ r \in I/I^2$. A simple calculation (omitted) shows that the differential $d_0$ on $E_0$ agrees with the differential coming from the Koszul complex. Since $\text{Gr}_ I(M)$ is a finite $\text{Gr}_ I(A)$-module and since $\text{Gr}_ I(A)$ is Noetherian (as a quotient of $A/I[x_1, \ldots , x_ r]$ with $x_ i \mapsto \overline{f}_ i$), the cohomology module $E_1 = \bigoplus E_1^{p, q}$ is a finite $\text{Gr}_ I(A)$-module. However, as above $E_1$ is annihilated by $\overline{f}_1, \ldots , \overline{f}_ r$. We conclude $E_1$ has finite length. In particular we find that $\text{Gr}^ p_ F(K^\bullet \otimes M)$ is acyclic for $p \gg 0$.

Next, we check that the spectral sequence above converges using Homology, Lemma 12.24.10. The required equalities follow easily from the Artin-Rees lemma in the form stated in Algebra, Lemma 10.51.3. Thus we see that

\begin{align*} \sum (-1)^ i\text{length}_ A(H^ i(K^\bullet \otimes _ A M)) & = \sum (-1)^{p + q} \text{length}_ A(E_\infty ^{p, q}) \\ & = \sum (-1)^{p + q} \text{length}_ A(E_1^{p, q}) \end{align*}

because as we've seen above the length of $E_1$ is finite (of course this uses additivity of lengths). Pick $t$ so large that $\text{Gr}^ p_ F(K^\bullet \otimes M)$ is acyclic for $p \geq t$ (see above). Using additivity again we see that

\[ \sum (-1)^{p + q} \text{length}_ A(E_1^{p, q}) = \sum \nolimits _ n \sum \nolimits _{p \leq t} (-1)^ n \text{length}_ A(\text{gr}^ p(K^ n \otimes _ A M)) \]

This is equal to

\[ \sum \nolimits _{n = -r, \ldots , 0} (-1)^ n{r \choose |n|} \chi _{I, M}(t + n) \]

by our choice of filtration above and the definition of $\chi _{I, M}$ in Algebra, Section 10.59. The lemma follows from Lemma 43.15.4 and the definition of $e_ I(M, r)$. $\square$

Remark 43.15.6 (Trivial generalization). Let $(A, \mathfrak m, \kappa )$ be a Noetherian local ring. Let $M$ be a finite $A$-module. Let $I \subset A$ be an ideal. The following are equivalent

  1. $I' = I + \text{Ann}(M)$ is an ideal of definition (Algebra, Definition 10.59.1),

  2. the image $\overline{I}$ of $I$ in $\overline{A} = A/\text{Ann}(M)$ is an ideal of definition,

  3. $\text{Supp}(M/IM) \subset \{ \mathfrak m\} $,

  4. $\dim (\text{Supp}(M/IM)) \leq 0$, and

  5. $\text{length}_ A(M/IM) < \infty $.

This follows from Algebra, Lemma 10.62.3 (details omitted). If this is the case we have $M/I^ nM = M/(I')^ nM$ for all $n$ and $M/I^ nM = M/\overline{I}^ nM$ for all $n$ if $M$ is viewed as an $\overline{A}$-module. Thus we can define

\[ \chi _{I, M}(n) = \text{length}_ A(M/I^ nM) = \sum \nolimits _{p = 0, \ldots , n - 1} \text{length}_ A(I^ pM/I^{p + 1}M) \]

and we get

\[ \chi _{I, M}(n) = \chi _{I', M}(n) = \chi _{\overline{I}, M}(n) \]

for all $n$ by the equalities above. All the results of Algebra, Section 10.59 and all the results in this section, have analogues in this setting. In particular we can define multiplicities $e_ I(M, d)$ for $d \geq \dim (\text{Supp}(M))$ and we have

\[ \chi _{I, M}(n) \sim e_ I(M, d) \frac{n^ d}{d!} + \text{lower order terms} \]

as in the case where $I$ is an ideal of definition.


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