Now we shall introduce the variety, which is a geometric object. This can be a curve (as in our case), a plane, or a point. We then proceed to define an orbit, which is a subset of a variety. An example will show how we can associate an orbit in a plane with a point in another plane, which shall be our orbit space.

**Definition of a variety**

We are familiar with the concept of a curve in the *xy*-plane given by the solutions to a polynomial equation. There are, however, equations that define geometric objects that are not curves. For example, the solution to (*x*-1)(*y*-2) = 0 is the single point (1,2). Another example is the solution to the 0-polynomial, which is the whole plane, the 0-polynomial being zero for all *x* and *y*. The point and the plane are certainly not curves. We need a name for the geometric object that can be a point, a curve, or a plane, all defined by polynomial equations. This geometric object shall be called a variety.

**Remark.** It is interesting to note that to be able to be even more general, we introduce in algebraic geometry an object called a scheme. As a curve is an example of a variety, a variety is an example of a scheme. The language of algebraic geometry is built on the theory of schemes. For example, two parallel lines can be described by a single scheme.

**Definition.** A variety is a geometric object that represents solutions to one or more polynomial equations.

It is not strictly necessary to define the variety to explain the ideas in this note. The idea of a variety is so essential, however, in algebraic geometry that it has been defined. If you feel uncomfortable about calling something a variety, call it a curve and accept that a curve can be a point or the whole plane.

**Definition of an orbit**

Assume we have a variety that is the whole *xy*-plane. The two points (1,2) and (2,1) is an example of an orbit in this variety. It is called an orbit because it is that it is possible to go through all points in the orbit by performing a transformation. The transformation in the above example takes *x* to *y* and *y* to *x*, so that (*x*,*y*) becomes (*y*,*x*). In the example, orbit (1,2) becomes (2,1) and vice versa. The points in these orbits lie as mirror images of the line *x* = *y* in the *xy*-plane. See the two points in the coordinate system in the left of Figure 1. This specific transformation belongs to a group of transformations called the permutation groups, that, as the name indicates, permutes the coordinates.

**The orbit space**

We now have a variety, the *xy*-plane, which is divided into orbits such as {(a,b),(b,a)}. We shall, by example, show that there exists another plane, the st-plane, which has points that are in a one-to-one correspondence with the orbits in the *xy*-plane. This means that every point of the st-plane corresponds to an orbit in the *xy*-plane. This *st*-plane is called an orbit space. It can be shown that the relationship between the xy-coordinates and st-coordinates is s = *x* + *y* and *t* = *xy*.

Figure 1: Each point in the *st*-plane corresponds to an orbit in the *xy*-plane.

We first pick a point in the st-plane and then calculate the corresponding points in the *xy*-plane. We than prove that the two points are in the same orbit.

Remember that *s* = *x* +* y* and *t* = *xy*. Substituting *y* = *t*/*x* into *s* = *x* + *y* gives *s* = *x* + *t*/*x*, which is the same as *x*^{2} - *xs* + *t* = 0.

Now, given a point (*s*,*t*) in the *st*-plane, we can by the above equation find which points it corresponds to in the xy-plane. Generally, the *x*-values will be the roots of *x*^{2} - *s*x + t = 0 and the *y*-values are given by *y* = *s* - *x*. In the st-plane in the figure the example point is (1.5,0.5). This gives us a second order equation, *x*^{2} - 1.5*x* + 0.5 = 0, which has roots x_{1} = 1.5/2 + sqrt(1.52 - 4*0.5)/2 = 1 and x_{2} = 1.5/2 - sqrt(1.52 - 4*0.5)/2 = 0.5.

The *y*-values are *y*_{1} = *s* - *x*_{1} = 1.5 - 1 = 0.5 and *y*_{2} = s - *x*_{2} = 1.5 - 0.5 = 1.

Now (x_{1},y_{1}) = (1,0.5) and (x_{2},y_{2}) = (0.5,1) are clearly contained in an orbit in the xy-plane.

**Remark.** We will only get real *x*-values if *s*^{2} - 4*t* > 0. We should therefore also consider orbits in the complex plane. But as usual, drawing is only possible in the real plane.

**Conclusion
**We have shown that each orbit of the

*xy*-plane, can be associated with points in the

*st*-plane when the orbits are on the form {(a,b),(b,a)}. This

*st*-plane was called the orbit space, which, again, is a central object of study in invariant theory and deformation theory, where one studies how to pass from one orbit space to another.