Proof. For projective space one can show directly that the field $k(x_1, \ldots , x_ r)$ is $C_ r$ (exercise).

General case. Without loss of generality, we may assume $X$ to be projective. Let $f \in k(X)[T_1, \ldots , T_ n]_ d$ with $0 < d^ r < n$. Say the coefficients of $f$ are in $\Gamma (X, \mathcal{O}_ X(H))$ for some ample $H \subset X$. Let $\mathbf{\alpha } = (\alpha _1, \ldots , \alpha _ n)$ with $\alpha _ i \in \Gamma (X, \mathcal{O}_ X(eH))$. Then $f(\mathbf{\alpha }) \in \Gamma (X, \mathcal{O}_ X((de + 1)H))$. Consider the system of equations $f(\mathbf{\alpha }) =0$. Then by asymptotic Riemann-Roch (Varieties, Proposition 33.45.13) there exists a $c > 0$ such that

• the number of variables is $n\dim _ k \Gamma (X, \mathcal{O}_ X(eH)) \sim n e^ r c$, and

• the number of equations is $\dim _ k \Gamma (X, \mathcal{O}_ X((de + 1)H)) \sim (de + 1)^ r c$.

Since $n > d^ r$, there are more variables than equations. The equations are homogeneous hence there is a solution by Lemma 59.67.7. $\square$

Comment #4231 by Fabian Henneke on

A part of the proof is missing from the HTML view since a "less" (<) in a formula is not escaped as an HTML entity.

Comment #4233 by on

Thanks for pointing this out! I've recorded it on https://github.com/gerby-project/gerby-website/issues/140 and it will be dealt with soon I hope.

Comment #4411 by on

Just for laughs I'm trying to see if whitespace changes will make this go away. See here.

There are also:

• 3 comment(s) on Section 59.67: Galois cohomology

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