# 13. Polynomials and hypersurfaces

Part 1.: Problems, solutions.
Part 2.: Problems, solutions.
Part 3.: Problems, solutions.

### Polynomials and polynomial functions

A polynomial of degree over field with variables is an expression of form

with at least one for not equal to zero, and the space of all polynomials over with variables is denoted by . E.g. is a polynomial of degree in .

Given an affine -dimensional space and a basic system , a polynomial defines a function, called a polynomial function, given as

which obviously abuses the notation, since denotes the polynomial itself and the polynomial function. But for infinite fields it is not a problem,, because we have a bijection between these two sets.

Notice also, that if can be written as a polynomial function in a basic system, it can written in this form in any basic system. Moreover, the related polynomial is of the same degree.

### Hypersurfaces and algebraic sets

is an algebraic set, if

where are polynomial functions. It is a hypersurface, if

where is a polynomial funkction.

It is easy to notice that over it it the same thing, since we can take .

### Equivalence relation on polynomial functions and hypersurfaces

Two polynomial functions are equivalent, if there exist basic systems and , such that in is described by the same polynomial as in .

Two hypersurfaces are equivalent, if the functions describing them are equivalent. It is so if and only if the second hypersurface is an image of the first one under an affine isomorphism on .

### Canonical form of a polynomial function: hypersurfaces of second degree

Fix a hypersurface of second degree, i.e. described by a polynomial function of second degree. We want to find an equivalent polynomial function of a simplest possible form, i.e. in a canonical form. In other words, we will be looking for a basic system in which the equation describing the hypersurface is as simple as possible.

Every polynomial function of second degree is a sum of a quadratic form and a an affine function, i.e. e.g. if then , where and .

For every polynomial function of second degree (thus every equation describing a hypersurface of second degree) it is possible to find a basic system in which the function takes one of the following forms:

, or

, , where is the rank of .

How to transform the function to such a form? First we have to diagonalize the form and describe the function in the new basis. It changes the basis but not the origin of the basic system. Now, for each variable appearing with a non-zero coefficient in for which we have with a non-zero coefficient , we can introduce a new variable , because then . This changes the constant and the origin from to , where is the basic vector related to the variable . If there are no other variables in , we have already reached the first form. If there are other variables (for which there is no in ), then we make from them and the constant coefficient a new variable , which obviously change both the basis and the origin of the basic system.

where , , so , and for the basic system we get

And so

where and , so the final basic system is .

In the second case, let , and then:

where , , , and the basic system is .

where , and , and since

so the final basic system is: .

### Canonical form of a polynomial function of second degree: hypersurfaces over or

Notice that additionally an equation can be always divided by a free variable (if it is non-zero), changing it into and if we are over , for every expression the basic vector related to can be divided by which changes this expression to (and over even by changing this expression to ).

Thus for every equation of second degree over , there is a basic system in which the equation takes one of the following forms:

, lub

, lub

.

Thus for every equation of second degree over , there is a basic system in which the equation takes one of the following forms:

, lub

, lub

.

E.g. reformulating further on the equation is basic system , we see that it is equivalent to , i.e. with equation , which is in basic system (because ). Meanwhile, over it is equivalent to , in basic system , (because this time ).

### Centres of symmetry

A point is a centre of symmetry of a hypersurface described by equation , if for every we have if and only if . It is easy to prove that is a centre of symmetry if and only if it is a critical point of the function , i.e. its partial derivatives are zero at these points.

Thus, if we consider the canonical forms of the equations, we see that a hypersurface described by

has a centre of symmetry and it is in it if and only if . On the other hand, a hypersurface described by

has no centre of symmetry.

### Affine types of hypersurfaces of second degree over

The above means that the type of equation which describes a given hyperspace is a constant. I.e. if in a basic system it takes one of the forms

, or

, or

, in any other basic system it cannot take any of the other forms.

Moreover, if is the number of variables with coefficient in the above equation, then if the equation is

then is the same for every basic system in which this equation is in the canonical form.
If the equation is of form

, or

, then we also get such a result but up to multiplication by , i.e. in every basic system in which the equation is in the canonical form, we get or variables with coefficient .

These possibilities are called the affine types of hypersurfaces.

We shall say that the hypersurface is proper, if it is not included in any hyperspace.

### Affine types of proper curves of second degree in

Thus we have the following affine types of proper curves of second degree in :

two parallel lines

hyperbola

ellipse

a pair of intersecting lines

parabola

### Affine types of proper surfaces of second degree in

Thus we have the following affine types of proper surfaces of second degree in (images by Wikipedia):

a pair of parallel planes

hyperbolic cylinder

elliptic cylinder

hyperboloid of two sheets

hyperboloid of one sheet

ellipsoid

pair of intersecting planes

elliptic cone

parabolic cylinder

elliptic paraboloid

hyperbolic paraboloid