Skip to Content »

Michi’s blog » Introduction to Algebraic Geometry (2 in a series)

 Introduction to Algebraic Geometry (2 in a series)

  • February 21st, 2008
  • 10:43 pm

I want to lead this sequence to the point where I am having trouble understanding algebraic geometry. Hence, I won’t take the usual course such an introduction would take, but rather set the stage reasonably quickly to make the transit to the more abstract themes clear.

But that’s all a few posts away. For now, recall that we recognized already that any variety is defined by an ideal, and that intersections and unions of varieties are given by sums and intersections or products of ideals.

This is the first page of what is known as the Algebra-Geometry dictionary. The dictionary is made complete by a pair of reasonably famous theorems. I won’t bother proving them – the proofs are a good chunk of any decent commutative algebra course – but I’ll quote the theorems and discuss why they matter.

We call a ring Noetherian if all ideals are finitely generated. If a ring R is Noetherian, then quotients are Noetherian.

Hilbert’s Basis Theorem: If R is Noetherian, then so is R[x].

We define the radical \sqrt I of an ideal I to be the ideal consisting of all elements a such that some power of a is actually in I. We call an ideal I radical if I=\sqrt I. This concept is relevant for our considerations since if for a point p the function f^n(p) vanishes, then f(p) also vanishes. Thus, the set of points such that f^n vanishes is the same set as the set of points where f vanishes. The relevancy of this is captured in:

Hilbert’s Nullstellensatz: Let k be an algebraically closed field. For any ideal I in k[x_1,\dots,x_n], there is an equality of ideals
I(V(I))=\sqrt I

Note, for the statement of this theorem that we write V(I) for the variety defined by simultaneous vanishing of all elements in I, and we write I(V) for the ideal of all polynomials in k[x_1,\dots,x_n] that vanish on all of I(V).

So – and here is the beautiful part – affine algebraic varieties correspond bijectively to radical ideals in polynomial rings. For every ideal, there is a variety and for every variety, there is an ideal. But we can push this further.

Coordinate rings

Let’s consider polynomial functions from \mathbb A^n to k. These are precisely the polynomials in k[x_1,\dots,x_n]. Given a variety V, we can take a polynomial f\in k[x_1,\dots,x_n] and restrict it to a function f|_V:V\to k.

Two different polynomials give the same restricted function precisely when their difference vanishes on all of V. So polynomial functions on V are precisely the equivalence classes in the quotient ring k[x_1,\dots,x_n]/I(V). We call the resulting ring the coordinate ring and denote it by k[V].

Conversely, if R is a Noetherian k-algebra such that there are no nilpotent elements in R, then R is a quotient of some polynomial ring with some radical ideal. Hence it is the coordinate ring of some variety in some affine space somewhere. We call a ring lacking nilpotents reduced.

We get, out of all this, a bijective correspondence
{ Noetherian reduced k-algebras } \leftrightarrow { Affine algebraic varieties }

The really beautiful part will come in my next post. We can introduce homomorphisms of varieties in a reasonably natural way so that this bijective correspondence ends up being functorial – i.e. any homomorphisms on one side gives rise to a corresponding homomorphism on the other side. Thus, the categories of Noetherian reduced k-algebras and of affine algebraic varieties are equivalent.

2 People had this to say...

Gravatar

[...] 21 – Aaron Roth explores social welfare in Nash equilibrium, but the aspect that catches his attention is the “Price of Malice.” 21 – In Basics of Patch Theory Brent explores the mathematical theory behind version control systems, particularly as it applies to collaborative editing. 21 – Suresh brings a guest blogger in to the Geomblog (Ganesh Gopalakrishnan) to discuss work on model checking by Clarke, Emerson, and Difakis (won the ACM Turing award). 21 – Michi finished his thesis, and found the time to post an introduction to algebraic geometry (in two parts). [...]

Gravatar
  • lhrrwcc
  • March 6th, 2008
  • 23:34

Another common and important theorem that is worth to mention are the Weak Nullstelensatz, this theorem says that:

If an ideal I in the polynomial ring k[X_1,..., X_n] over an algebraic closed field k does not contain the idenity (ie I!=(1)) then V(I) != {}.

Also, the corollary of this theorem (in some books this is called the Weak Nullstelensatz) says that:

A maximal ideal of the polynomial ring k[X_1,..., X_n] (k is algebraic closed field) has the following form:
(X_1 -a_1, …, X_n – a_n) with a_i in k.

The beauty of this is that it gaves us a biyective correspondence between
A^n (ie points) and maximal ideals of k[X_1,...,X_n]

This, will be clear in the next post

Want your say?

* Required fields. Your e-mail address will not be published on this site

You can use the following XHTML tags:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>