[Math] Could someone give me an example of an algebraic variety and explain what it is

abstract-algebraalgebraic-geometrymath-history

I've read the wikipedia article but I don't know what an affine plane is and the definition/example did not seem clear. What I know is that in the 1880s mathematicians like Hilbert, Kronecker, Lasky and Macauley were responsible for the development of the algebraic variety concept. This is for a history of mathematics paper that I am working on.

Best Answer

I'm not sure why you mention the word "affine plane" since it is not used in the Wikipedia article about algebraic varieties.

In any case, it's not as hard as it might seem. I have not studied algebraic geometry yet but I have come across one type of variety in one of my other courses. As you can see in the Wikipedia article, there are two types of algebraic varieties, affine and projective. Let's ignore projective varieties for now and first understand what an affine variety is:

You start with a ring of polynomials in $n$ variables $\mathbb F [x_1, \dots, x_n]$ where $\mathbb F$ is any algebraically closed field. Let $S \subset \mathbb F [x_1, \dots, x_n]$ be any set of polynomials. Now you can define the affine variety associated to $S$ as $$ V(S) = \{ \vec{x} \in \mathbb F^n \mid p(\vec{x}) = 0 \text{ for all } p \in S \}$$

So, an affine algebraic variety is a special subset of $\mathbb F^n$, namely, the set of all points that make all polynomials in $S$ vanish.

If $F= \mathbb C$ and $S = \{ p_n(z) = z^n + 1 \mid n \in \mathbb N \}$ then $V(S)$ would be all the roots of unit on the circle in the complex plane.

Related Question