Talk:Main theorem of elimination theory

Sketch of proof

(Put this to the article page, when it becomes complete.)

We need to show that $p:\mathbf {P} _{R}\to \operatorname {Spec} R$ is closed for a ring R. Thus, let $X\subset \mathbf {P} _{R}$ be a closed subset, defined by a homogeneous ideal I of $R[x_{0},\dots ,x_{n}]$. Let

$Z_{d}=\{y\in \operatorname {Spec} R|I_{y}\not \supset (x_{0},\dots ,x_{n})^{d}\}$

where $I_{y}$ is Then:

$\textstyle p(X)=\cap _{d}Z_{d}$.

Thus, it is enough to prove $Z_{d}$ is closed. Let M be the matrix whose entries are coefficients of monomials of degree d in $x_{i}$ in

$x_{0}^{i_{0}}\cdots x_{n}^{i_{n}}f$

with homogeneous polynomials f in I and $i_{0}+\dots +i_{n}+\operatorname {deg} f=d$. Then the number of columns of M, denoted by q, is the number of monomials of degree d in $x_{i}$ (imagine a system of equations.) We allow M to have infinitely many rows.

Then $y\in Z_{d}\Leftrightarrow M(y)$ has rank $<q\Leftrightarrow$ all the $q\times q$-minors vanish at y.

Move?

Why isn't this part of elimination theory? 31.50.156.122 (talk) 18:05, 3 July 2019 (UTC)

Because the theorem can appear outside the context of elimination theory; namely in algebraic geometry. -- Taku (talk) 19:00, 3 July 2019 (UTC)