8
$\begingroup$

A set of polynomials $\{f_1,\ldots,f_m\}$ in $k[x_1,\ldots,x_n]$ are algebraically independent over $k$ iff for all polynomials $p \in k[y_1,\ldots,y_m]$, $p(f_1,\ldots,f_m) = 0$ implies that $p = 0$.

In linear algebra, the dimension of a subspace of $k^n$ defined by $m$ linearly independent equations is $n - m$. Is the analogous statement in algebraic geometry true: that the dimension of a variety in $k^n$ defined by $m$ algebraically independent polynomials is $n - m$?

Thanks!

$\endgroup$
3
  • 8
    $\begingroup$ I leave the algebraic geometers to say more, but to me the answer to your question is no. For example, if $R=\mathbb{C}[X_1,X_2]$, $f_1=X_1+X_2$ and $f_2=X_1^2-X_2^2$, then the ideal $I=(f_1,f_2)$ is contained in $(X_1+X_2),$ hence its height is one. $\endgroup$
    – user26857
    Commented Dec 4, 2012 at 18:54
  • 2
    $\begingroup$ What is true, however – modulo various niceness conditions – is that the dimension of a variety with $m$ algebraically independent coordinate functions is $m$. $\endgroup$
    – Zhen Lin
    Commented Dec 4, 2012 at 19:03
  • 1
    $\begingroup$ Finally, as a partial converse, we can say that if a prime ideal $\mathfrak p$ is of height $m$, then we can find $n-m$ algebraically independent elements defining functions over $k[X_1,\ldots,X_n]/\mathfrak p$. This is possible thanks to the refined Noether's normalization Lemma proved for example in Eisenbud's Commutative Algebra with a view towards Algebraic Geometry, Theorem 13.3 page 283. $\endgroup$ Commented Dec 4, 2012 at 21:22

1 Answer 1

5
$\begingroup$

One definition of dimension for an algebraic variety is the transcendence degree of its function field (which, for an affine variety, is the fraction field of its coordinate ring). Intuitively, each polynomial you use to define a variety in an n-dimensional ambient space reduces dimension by 1, but as YACP's comment above illustrates, this is not always the case even if the polynomials are algebraically independent.

$\endgroup$
1
  • 4
    $\begingroup$ The point is that the right notion is not the algebraic independence, but the one of regular sequence. If you start with a regular sequence, then modding out an element lowers the dimension exactly by 1. $\endgroup$ Commented Dec 4, 2012 at 19:56

You must log in to answer this question.

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