This is a kind of longish post on algebraic sets. I bought Hartshorne, then ended up studying from Fulton’s “Algebraic curves”. I will focus on the geometric aspects of algebraic sets.

So what are algebraic sets? They could be points, curves, surfaces. But if they are curves, they have to be infinitely long curves on both ends, and not one of those finitely long segments. If they are surfaces, they have to stretch infinitely in all directions. In short, some geometric entities qualify as algebraic sets, whilst others don’t. Confused?

Algebraic sets in affine space are those sets of points which satisfy all polynomials in . More on algebraic sets can be found in Hartshorne and Fulton amongst other books on introductory Algebraic Geometry.

As an example, take all points satisfying . This is an algebraic set, as it satisfies all polynomials in .

Now we move on to discuss the nature of . It is quite clearly a field. But does it matter if it is algebraically closed or not? It does. Take and for instance. In affine spaces where , all polynomials in have infinite zeroes if , but may have a finite number of zeroes if . For example, take the curve in . Clearly, it has only one zero in , but infinitely many in . Now you might wonder why does have to be greater than ? Why does it not work for ? Figure that out for yourself [hint: something to do with the algebraically closed nature of and the fact that you can substitute any value for in every equation and get values for in , while there being only one variable in .

Now let us move on to more important things. Say you have . Can you construct a set of polynomials which have only one point (say point ) as its zero set? What about a set of polynomials which have a curve as a zero set? What about a surface? What kinds of lines and surfaces are possible? I will try to answer all these questions in the subsequent paragraphs. But first a note about polynomials in variables. These polynomials are not the usual polynomials that you can draw on a plane or a sheet of paper, like . These polynomials can be planes, surfaces, cylinders, 25-dimensional quantum surfaces, whatever you will. Please spend some time thinking about these concepts.

What is a zero-dimensional dot in -dimensional affine space ? What is a one dimensional curve in ? What is a two dimensional surface in ? How are these things defined? In -dimensional space, all polynomials of lower dimensions are defined through intersections. For example, in , all curves are defined by the intersection of surfaces. It is possible to define the curve as the intersection of two surfaces. A zero-dimensional point can be defined as the intersection of surfaces. Generalizing this idea, in -dimensional space, dimensional **polynomials** can be defined as intersections of -dimensional polynomials. This is probably the most important line in the whole article. Read it again. Draw it. Gulp it down with some lemon sikanjee.

What are algebraic sets geometrically speaking? In an -dimensional affine space, they are a **finite** union of polynomials of dimensions . They are polynomials. Polynomials they are (says Yoda). Why do they have to be polynomials? Because they are in essence either -dimensional polynomials, or the finite intersection of -dimensional polynomials. Who says that? The definition. An algebraic set is the set of points satisfied by every **polynomial** in an assorted bunch of polynomials in . In other words, it is the intersection of all polynomials in that set of polynomials. Can it be an infinite intersection? Yes. But you will always end up with a polynomial with a degree . That is the thing with polynomials. They intersect to give other polynomials.

Why finite union? Because you need to multiply sets of polynomials with each other to get the union of algebraic sets, and the multiplication of an infinite number of polynomials is not defined as every polynomial needs to have a finite degree.

Hence, an infinite bunch of disconnected points or a finitely long line segment cannot be algebraic sets.

Let be an algebraic set. Then is quite clearly an ideal. I will try to motivate why needs to be finitely generated. First let us get a lemma out of the way. If an ideal is generated by polynomials , then is exactly equal to . OK. Now let be dimensional, where . Then we can surely find -dimensional polynomials which intersect to give . These polynomials *have* to exist (this becomes clear on thinking a little about the concepts involved). Do these polynomials generate ? This is a question that I am yet to answer. Hopefully I will continue this post tomorrow.