Ideal reduction

The reduction theory goes back to the influential 1954 paper by Northcott and Rees, the paper that introduced the basic notions. In algebraic geometry, the theory is among the essential tools to extract detailed information about the behaviors of blow-ups.

Given ideals J ⊂ I in a ring R, the ideal J is said to be a reduction of I if there is some integer m > 0 such that ${\displaystyle JI^{m}=I^{m+1}}$.^[1] For such ideals, immediately from the definition, the following hold:

• For any k, ${\displaystyle J^{k}I^{m}=J^{k-1}I^{m+1}=\cdots =I^{m+k}}$.
• J and I have the same radical and the same set of minimal prime ideals over them^[2] (the converse is false).

If R is a Noetherian ring, then J is a reduction of I if and only if the Rees algebra R[It] is finite over R[Jt].^[3] (This is the reason for the relation to a blow up.)

A closely related notion is that of analytic spread. By definition, the fiber cone ring of a Noetherian local ring (R, ${\displaystyle {\mathfrak {m}}}$) along an ideal I is

${\displaystyle {\mathcal {F}}_{I}(R)=R[It]\otimes _{R}\kappa ({\mathfrak {m}})\simeq \bigoplus _{n=0}^{\infty }I^{n}/{\mathfrak {m}}I^{n}}$.

The Krull dimension of ${\displaystyle {\mathcal {F}}_{I}(R)}$ is called the analytic spread of I. Given a reduction ${\displaystyle J\subset I}$, the minimum number of generators of J is at least the analytic spread of I.^[4] Also, a partial converse holds for infinite fields: if ${\displaystyle R/{\mathfrak {m}}}$ is infinite and if the integer ${\displaystyle \ell }$ is the analytic spread of I, then each reduction of I contains a reduction generated by ${\displaystyle \ell }$ elements.^[5]

References

• Huneke, Craig; Swanson, Irena (2006), Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, vol. 336, Cambridge, UK: Cambridge University Press, ISBN 978-0-521-68860-4, MR 2266432, archived from the original on 2019-11-15, retrieved 2022-05-29

This commutative algebra-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e

This page was last edited on 12 August 2023, at 22:49