5
$\begingroup$

I think I found an error in my textbook, but I am not completely sure. The book is Hulek, Elementary algebraic geometry, pag. 73. There is a theorem showing that $U_i$ and the affine space $\mathbb{A}^n$ are Zariski-homeomorphic, where $U_i$ is the complement in $\mathbb{P}^n$ of the hyperplane defined by $X_i=0$. In the proof, it considers the ring $S^h$ defined as follows: $$S^h:=\{f\in k[X_0,\ldots,X_n] :f \textrm{ is homogeneous}\}$$

How can $S^h$ be a ring?? The polynomials in $S^h$ are not of fixed degree! Do you think it is a typo? Then it says there are maps $$\alpha(f):=f(1,x_1,\ldots,n_n)$$ and $$\beta(g):=x_0^{\operatorname{deg}(g)}\cdot g\big(\frac{x_1}{x_0},\ldots,\frac{x_n}{x_0}\big)$$ for every $f\in S^h$ and $g\in k[X_0,\ldots,X_n]$, and again $S^h$ is called a ring. Why?

$\endgroup$
1
  • 1
    $\begingroup$ Indeed $S^h$ is a set. $\endgroup$ Commented Mar 14, 2014 at 12:47

1 Answer 1

2
$\begingroup$

$ S^{h} $ is indeed not a ring because the sum of two homogeneous polynomials of unequal degree is not homogeneous in general.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .