Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm hoping to see how the following bound is reached.

For an algebraic variety $V\subset\mathbb{A}^n$ over some field $F$, one defines $\dim V=\operatorname{trdeg}(F(x)/F)$ for a generic point $(x)$ of $V$. Also, I denote by $V(f_1,\dots,f_m)$ the set of zeroes in $\mathbb{A}^n$ of some homogeneous forms $f_i$.

All right, so $V:=V(f_1,\dots,f_m)$ is a homogeneous algebraic variety. How does it follow that the dimension of $V$ is bounded below by $n-m$? That is, why is $\dim V\geq n-m$? Thank you.

share|improve this question
    
It really boils down to Krull's principal ideal theorem. See Prop 7.1 in Hartshorne, page 48. –  Parsa Feb 11 '12 at 4:52
    
Dear @Parsa, you mean generalization of Krull's theorem since there are no principal ideals in sight here. Moreover the part describing the dimension of $V$ in terms of the transcendence degree of the field of rational functions on $V$ has nothing to do with Krull's principal ideal theorem and yet has to be taken care of before answering Waldott's question (the reference you give doesn't answer it) . –  Georges Elencwajg Feb 11 '12 at 8:40

1 Answer 1

There are two different ingredients to the solution of your problem.
Consider a finitely generated domain $A$ over a field $k$, and its associated variety $V= Spec (A)$

I) The Krull dimension of $V$ is equal to the transcendence degree of its field of rational functions: $$\text {dim }(V) =\text {trdeg} _k(\text {Frac }(A))$$

II) If $V\subset \mathbb A_k^n$ is given by a prime ideal $\mathfrak p=(f_1,...,f_m)\subset k[T_1,...,T_n]$ generated by $m$ polynomials , that is $V=Spec(A)=Spec(k[T_1,...,T_n]/(f_1,...,f_m))$, then
$$ \text {dim }(V)\geq n-m $$

Notes
1) You will find the proof of I) in Eisenbud's Commutative Algebra, Ch.13, §1, Theorem A.
And II) is Theorem 10.2 of the same book.

2) There is no need to suppose thar the $f_i$'s are homogeneous in II)

3) If $\text {dim }(V)= n-m $, the variety $V$ is said to be a scheme-theoretic complete intersection.
Beware that this equality is not true in general: the variety $V \subset \mathbb A^3_k$ given parametrically by $x=t^3, y=t^4, z=t^5$ is of dimension $1$ but has an ideal $I(V)=\mathfrak p\subset k[T_1,T_2,T_3 ]$ which cannot be generated by $ 3-1=2$ generators.

share|improve this answer
    
Thank you for these references Georges! Much appreciated. –  Waldott Feb 11 '12 at 22:09

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.