The Stacks project

[Corollary 1, WhatExact]

Proposition 10.102.9. In Situation 10.102.1, suppose $R$ is a local Noetherian ring. The following are equivalent

  1. $0 \to R^{n_ e} \to R^{n_{e-1}} \to \ldots \to R^{n_0}$ is exact at $R^{n_ e}, \ldots , R^{n_1}$, and

  2. for all $i$, $1 \leq i \leq e$ the following two conditions are satisfied:

    1. $\text{rank}(\varphi _ i) = r_ i$ where $r_ i = n_ i - n_{i + 1} + \ldots + (-1)^{e-i-1} n_{e-1} + (-1)^{e-i} n_ e$,

    2. $I(\varphi _ i) = R$, or $I(\varphi _ i)$ contains a regular sequence of length $i$.

Proof. If for some $i$ some matrix coefficient of $\varphi _ i$ is not in $\mathfrak m$, then we apply Lemma 10.102.2. It is easy to see that the proposition for a complex and for the same complex with a trivial complex added to it are equivalent. Thus we may assume that all matrix entries of each $\varphi _ i$ are elements of the maximal ideal. We may also assume that $e \geq 1$.

Assume the complex is exact at $R^{n_ e}, \ldots , R^{n_1}$. Let $\mathfrak q \in \text{Ass}(R)$. Note that the ring $R_{\mathfrak q}$ has depth $0$ and that the complex remains exact after localization at $\mathfrak q$. We apply Lemmas 10.102.3 and 10.102.6 to the localized complex over $R_{\mathfrak q}$. We conclude that $\varphi _{i, \mathfrak q}$ has rank $r_ i$ for all $i$. Since $R \to \bigoplus _{\mathfrak q \in \text{Ass}(R)} R_\mathfrak q$ is injective (Lemma 10.63.19), we conclude that $\varphi _ i$ has rank $r_ i$ over $R$ by the definition of rank as given in Definition 10.102.5. Therefore we see that $I(\varphi _ i)_\mathfrak q = I(\varphi _{i, \mathfrak q})$ as the ranks do not change. Since all of the ideals $I(\varphi _ i)_{\mathfrak q}$, $e \geq i \geq 1$ are equal to $R_{\mathfrak q}$ (by the lemmas referenced above) we conclude none of the ideals $I(\varphi _ i)$ is contained in $\mathfrak q$. This implies that $I(\varphi _ e)I(\varphi _{e-1})\ldots I(\varphi _1)$ is not contained in any of the associated primes of $R$. By Lemma 10.15.2 we may choose $x \in I(\varphi _ e)I(\varphi _{e - 1})\ldots I(\varphi _1)$, $x \not\in \mathfrak q$ for all $\mathfrak q \in \text{Ass}(R)$. Observe that $x$ is a nonzerodivisor (Lemma 10.63.9). According to Lemma 10.102.7 the complex $0 \to (R/xR)^{n_ e} \to \ldots \to (R/xR)^{n_1}$ is exact at $(R/xR)^{n_ e}, \ldots , (R/xR)^{n_2}$. By induction on $e$ all the ideals $I(\varphi _ i)/xR$ have a regular sequence of length $i - 1$. This proves that $I(\varphi _ i)$ contains a regular sequence of length $i$.

Assume (2)(a) and (2)(b) hold. We will prove that (1) holds by induction on $\dim (R)$. If $\dim (R) = 0$, then we must have $I(\varphi _ i) = R$ for $1 \leq i \leq e$ by (2)(b). Since the coefficients of $\varphi _ i$ are contained in the maximal ideal this can happen only if $r_ i = 0$ for all $i$. By (2)(a) we conclude that $e = 0$ and (1) holds. Assume $\dim (R) > 0$. We claim that for any prime $\mathfrak p \subset R$ conditions (2)(a) and (2)(b) hold for the complex $0 \to R_\mathfrak p^{n_ e} \to R_\mathfrak p^{n_{e - 1}} \to \ldots \to R_\mathfrak p^{n_0}$ with maps $\varphi _{i, \mathfrak p}$ over $R_\mathfrak p$. Namely, since $I(\varphi _ i)$ contains a nonzero divisor, the image of $I(\varphi _ i)$ in $R_\mathfrak p$ is nonzero. This implies that the rank of $\varphi _{i, \mathfrak p}$ is the same as the rank of $\varphi _ i$: the rank as defined above of a matrix $\varphi $ over a ring $R$ can only drop when passing to an $R$-algebra $R'$ and this happens if and only if $I(\varphi )$ maps to zero in $R'$. Thus (2)(a) holds. Having said this we know that $I(\varphi _{i, \mathfrak p}) = I(\varphi _ i)_\mathfrak p$ and we see that (2)(b) is preserved under localization as well. By induction on the dimension of $R$ we may assume the complex is exact when localized at any nonmaximal prime $\mathfrak p$ of $R$. Thus $\mathop{\mathrm{Ker}}(\varphi _ i)/\mathop{\mathrm{Im}}(\varphi _{i + 1})$ has support contained in $\{ \mathfrak m\} $ and hence if nonzero has depth $0$. As $I(\varphi _ i) \subset \mathfrak m$ for all $i$ because of what was said in the first paragraph of the proof, we see that (2)(b) implies $\text{depth}(R) \geq e$. By Lemma 10.102.8 we see that the complex is exact at $R^{n_ e}, \ldots , R^{n_1}$ concluding the proof. $\square$


Comments (9)

Comment #2226 by David Savitt on

I think there's a gap in this argument, at the application of [00MW] and [00MY] in the second paragraph. The issue is that localization can (in theory) decrease the rank. So while certainly , this need not be the same as . I think you want to pass to instead. This doesn't decrease ranks since you're only inverting nonzerodivisors. It has depth 0, so it follows from [00MW] and [00MY] that each . Thus each contains a nonzerodivisor and then you're home free.

Comment #2228 by David Savitt on

Sorry, you have to be more careful than this because needn't be local, but I think the idea is basically correct.

Comment #2229 by on

Yes, somebody else made the same comment on email on April 1. But I think it is OK, bc the ranks are determined by (1). In other words, in the presence of (1) the disaster you mention cannot happen. OK?

If you agree I will change the text to explain this better. If there is still a problem, then I will completely rewrite the proof.

Comment #2231 by David Savitt on

I don't immediately see how that argument is supposed to go, since the statement about ranks is deduced from [00MW], i.e. only after a suitable localization. So it seems to me that it goes the other way: first you prove the existence of a nonzerodivisor in each , this implies that the ranks are stable under localization, and then you get (1). But maybe I'm missing a trick?

Comment #2232 by on

OK, sure, but if we have (1) and (2) for for all , then we immediately have the statement about ranks over bc the map is injective. This works because we have our silly definition of rank in terms of nonvanishing of minors and because the ranks we want are predetermined by the as stated in Lemma 10.102.6. Then the only thing left is to show (2) which we do by induction as in the current proof.

Anyway, this should be the easy direction of the Proposition and hence we should do a much better job of explaining the proof. Thanks very much for pointing this out!

Comment #2233 by David Savitt on

OK, great! I agree with this. By the way, I think you can simply remove "local" from the statement. The argument you've explained for the 'only-if' direction doesn't use it at all, and for the 'if' direction, you just observe that (1)+(2) together are preserved by localization (given (2), since each has a nonzerodivisor). [Maybe also requires deleting "local" from [00LL] where it isn't necessary either.]

Comment #2268 by on

OK, I finally made the required edits to the proof. I am not sure that you can generalize to the nonlocal case so I am leaving the statement of the proposition as is for now. The change is here.

Comment #8330 by Et on

I found myself being pretty confused after reading the proof, mainly because it seems that in the (2) => (1) part we don't really make use of condition (a) on the ranks, so I had to spend time thinking where the proof falls apart without it.

The answer to my confusion (I think) is that we implicitly use it to prove the dimension 0 case and get the induction rolling. I think it would be beneficial to have a sentence on why the dimension 0 case follows trivially from (a).

There are also:

  • 2 comment(s) on Section 10.102: What makes a complex exact?

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