
Definition 10.69.1. Let $R$ be a ring. Let $I \subset R$ be an ideal.

1. The blowup algebra, or the Rees algebra, associated to the pair $(R, I)$ is the graded $R$-algebra

$\text{Bl}_ I(R) = \bigoplus \nolimits _{n \geq 0} I^ n = R \oplus I \oplus I^2 \oplus \ldots$

where the summand $I^ n$ is placed in degree $n$.

2. Let $a \in I$ be an element. Denote $a^{(1)}$ the element $a$ seen as an element of degree $1$ in the Rees algebra. Then the affine blowup algebra $R[\frac{I}{a}]$ is the algebra $(\text{Bl}_ I(R))_{(a^{(1)})}$ constructed in Section 10.56.

Comment #5 by Johan on

Repeated word: "the the"

Comment #17 by Johan on

Fixed.

There are also:

• 1 comment(s) on Section 10.69: Blow up algebras

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).