Lexikon der Mathematik: Rees-Ring
der zu einem kommutativen Ring A und einem Ideal I ⊂ A durch
Rees(I, A) ist ein graduierter kommutativer Ring. Wenn I endlich erzeugt ist, so ist Rees(I, A) endlich erzeugt als Ring über A. Wenn A Noethersch ist (resp. endlich erzeugt über einem Noetherschen Ring R), so gilt dasselbe für Rees (I, A).
Die geometrische Bedeutung dieser Konstruktion ist, daß Proj(Rees(I, A)) (projektives Spektrum) die Aufblasung von X = Spec(A) in dem durch I definierten Unterschema Y ist.
Spec(Rees(I, A)/Rees(I, A)) ist der Normalenkegel CY\X von Y in X, und Proj(Rees(I, A)/ Rees(I, A)) ist der exzeptionelle Ort der Aufblasung von X in Y.
Schreiben Sie uns!