2
$\begingroup$

Let $S = \bigoplus_{n\ge 0} S_n$ be a graded commutative ring. Let $f$ be a homogeneous element of $S$ of degree $> 0$. Let $S_{(f)}$ be the degree $0$ part of the graded ring $S_f$, where $S_f$ is the localization with respect to the multiplicative set $\{1, f, f^2,\dots\}$. Suppose $S$ is finitely generated algebra over $S_0$. Then $S_{(f)}$ is a finitely generated algebra over $S_0$.

  • 0
    I've just found a proof of the title question in the Stacks Project, Lemma 7.55.9, p.324, 2012. http://stacks.math.columbia.edu/2012-11-10

2 Answers 2

4

Let $\deg f=d>0$. Then $S_{(f)}=\{\frac{x}{f^m}:\deg x=md, m\ge 0\}=S_0\oplus\frac{1}{f}S_d\oplus\frac{1}{f^2}S_{2d}\oplus\cdots.$ But one knows that $S$ finitely generated over $S_0$ implies $S^{(d)}=S_0\oplus S_d\oplus S_{2d}\oplus\cdots$ finitely generated over $S_0$. Now the system of generators for $S_{(f)}$ over $S_0$ should be clear.

  • 0
    Yes, but it's easier to give you a reference: N. Bourbaki, *Commutative Algebra*, Chapter III, Section 1, Proposition 2.2012-11-10
1

This is not an answer but it's too long for a comment. I've just came up with the following proof of the assertion that

$S^{(d)}$ is finitely generated over $S_0$.

Suppose $S$ is generated by homogeneous elements $x_i$ of degree $k_i (1 ≦ i ≦ r)$ over $S_0$. Let $n > 0$ be an integer. Let $e_i ≧ 0 (1 ≦ i ≦ r)$ be integers such that $\sum_i k_ie_i = dn$. Then the degree of $x_1^{e_1}\cdots x_r^{e_r}$ is $dn$. Suppose $e_i > d$. Then $x_1^{e_1}\cdots x_r^{e_r} = x_i^d x_1^{e_1}\cdots x_i^{e_i - d}\cdots x_r^{e_r}$. Hence $(S^{(d)})_+ = \bigoplus_{n>0} (S^{(d)})_n$ is generated as a graded $S^{(d)}$-module by $x_1^{e_1}\cdots x_r^{e_r} (0 \le e_i < d)$.
Let $U = \{x_1^{e_1}\cdots x_r^{e_r}\mid 0 \le e_i < d\}$. By induction on $n$, it is easy to see that $(S^{(d)})_n$ is generated as an $S_0$-module by finite products of elements of $U$ for every integer $n > 0$. Hence $S^{(d)}$ is generated by $U$ over $S_0$.