Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Affine Varieties and the Vanishing Ideal

  1. Oct 17, 2012 #1
    Can someone please explain to me these two concepts and how they differ from each other? I'm taking a class entitled Math & Computers which emphasizes algebraic geometry in a symbolic-computational setting. That being said, the class is not very oriented towards explaining and understanding these ideas as it is assumed that I've already had experience in dealing with them.

    Most specifically, I'm talking about affine varieties and vanishing ideals in the realm of polynomial rings. Is the vanishing ideal a subset of the affine variety?
  2. jcsd
  3. Oct 17, 2012 #2
    If you have a subset Z of your affine space (for example Rn), the corresponding vanishing ideal, is the set of polyomials in n variables being zero on every point of Z. If you have a set T of polynomials, you can talk about the common zeros of all polynomials in T, which will be a subset of Rn, and call this an affine variety, usually with some irreducibility-condition, depending on your text-book.

    So loosely speaking, your objects, varieties and ideals, live in two different worlds, Rn and the polynomial ring, respectively. But a variety gives an ideal, and an ideal gives a variety. To be more precise, you can prove a theorem showing a one-to-one correspondence between the (irreducible) affine varieties in Rn, and prime ideals in the polynomial ring, and by using this theorem you can translate statements about ideals to statements about varieties, and vice versa.
  4. Oct 18, 2012 #3
    I had a moment of insight last night around 1am. I understand now how ideals and affine varieties are linked. The vanishing ideal is the ideal of a variety. Ideals also give us a way to compute with affine varieties, correct?
  5. Oct 18, 2012 #4


    User Avatar
    Science Advisor
    Homework Helper

    varieties consist of points where certain polynomials, the ones in the vanishing ideal, vanish.

    "vanish" means equal zero.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook