Published online by Cambridge University Press: 04 May 2010
There have been several examples earlier in this book of non-finitely generated local cohomology modules of finitely generated modules: for example, in 6.1.6, and also in 7.3.3, we saw that if (R,m) is local, and N is a non-zero, finitely generated R-module of dimension n > 0, then is not finitely generated. Since, being isomorphic to a submodule of N, is certainly finitely generated, it becomes of interest to identify the least integer i for which is not finitely generated. This integer is referred to as the finiteness dimension fm(N) of N relative to m. Our work in this chapter on Grothendieck's Finiteness Theorem will enable us to see that, in this situation, and under mild restrictions on R,
However, our approach will not restrict attention to the case where the ideal with respect to which local cohomology is calculated is the maximal ideal of a local ring; also, the approach we shall take will show that questions about such finiteness dimensions are intimately related to questions about precisely which ideals annihilate local cohomology modules. We shall, in fact, establish Grothendieck's Finiteness Theorem as a special case of Faltings’ Annihilator Theorem, which is concerned with the following question: given a second ideal b of R such that b ⊆ a, and given a finitely generated R-module M, is there a greatest integer i for which is annihilated by some power of b, and, if so, what is it?
Finiteness dimensions
Our first two results will provide motivation for the formal introduction of the concept of finiteness dimension. Let M be a finitely generated R-module.
To save this book to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Find out more about the Kindle Personal Document Service.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.