As part of John’s goal to turn me into a geometer I have been doing some research lately into generalised quadrangles. To help me in understanding all the various ways of constructing them, I have decided to write a series of posts outlining the known generalised quadrangles and in particular looking at what their automorphism groups are.

Regular readers of this blog and especially followers of the posts from our Buildings, geometries and algebraic groups study group, will be familar with the basic definitions and the classical examples. They were first introduced in the second post of that series and generalised polygons were introduced in the eighth. Actually the term “generalised quadrangle’ is one of the more prominent tags in the tag cloud.

Recapping, a *generalised quadrangle* is a point-line geometry satisfying the following two axioms:

- Any two points lie on at most one line.
- Given a line and a point
*p*not incident with , there is a unique point*q*on which is incident with*p*

The second axiom implies that there are no triangles in the geometry, that is, there is no triple of points with any pair collinear. A generalised quadrangle is said to have order if each line contains points and each point lies on lines. If we usually just say that the generalised quadrangle has order . If , the quadrangle is said to be *thick.*

Given a generalised quadrangle of order we can define a new generalised quadrangle whose points are the lines of , whose lines are the points of and incidence is inherited from . This new GQ has order and is called the *dual* of .

The classical generalised quadrangles come from sesquilinear forms and are as follows:

:

Let be a 4-dimensional vector space over the field . Let be an alternating form, that is, a bilinear form with and for all . (Note that the second condition follows from the first when is odd.) Further we require that is \emph{nondegenerate}, that is the only element such that for all is the zero vector. We take to be defined by where

Any nondegenerate alternating form on is equivalent to , that is, if is another such form then there exists such that .

For a subspace of we define to be the subspace . Note that the codimension of is equal to the dimension of . A subspace of is called totally isotropic if for all . Note that is totally isotropic if and only if . It follows that the totally isotropic subspaces have dimension at most 2.

Let be the point-line incidence geometry whose points are the 1-dimensional subspaces of (note that these are all totally isotropic) and whose lines are the totally isotropic 2-spaces. Incidence is the incidence inherited from the vector space.

The lines incident with a point are all contained in the 3-space . The form induces a nondegenerate alternating form on the quotient space via . Then the lines incident with correspond to the totally isotropic 1-spaces of . Since all 1-spaces of this quotient space are totally isotropic, lies on lines. Moreover, each line contains points.

Given a line and a point not on we have that is 3-dimensional and so must meet in a 1-space . Thus there is a unique line through which meets , namely . Hence is a generalised quadrangle of order , or more simply of order . It is commonly denoted by , or sometimes just .

The symplectic group is the group of all linear transformations of which preserve , that is all such that for all . This is equivalent to all matrices such that . (Note that different choices for the form give conjugate subgroups of so we don’t use in the notation for the group.) The group acts as a group of automorphisms of the GQ. The kernel of this action is the group of all scalar matrices in . Letting , we define , which is isomorphic to the permutation group induced on the set of points of the GQ by .

We can also define to be the group of all such that there exists for which for all , that is all linear transformations which preserve up to a scalar. Note that and we define .

The group is the group of all transformations of such that for all and there exists a field automorphism of such that for all and . Note that is the subgroup of consisting of those transformations whose associated field automorphism is the trivial automorphism. Given a field automorphism , the transformation mapping to is an element of .

Finally, we let to be the set of all elements such that there exists and such that for all . All such elements induce automorphisms of the GQ and in fact the full automorphism group of is . This group acts transitively on the points and the lines of the GQ as well as on the set of all point-line incident pairs.

The dual of the generalised quadrangle is another generalised quadrangle of order and for even is in fact isomorphic to .

:

For our next generalised quadrangle, let be a 4-dimensional vector space over and let be a nondegenerate hermitian form on , that is, a form which is linear in the first coordinate and . (As before, nondegenerate means that the zero vector is the unique vector which is perpendicular to the whole space.) Note that preserves addition in the second coordinate but . We take to be defined by , where by we mean . All nondegenerate hermitian forms on are equivalent to .

We can define totally isotropic subspaces as before. We let be the point-line incidence geometry whose points are the totally isotropic 1-spaces and whose lines are the totally isotropic 2-spaces.

Given a totally isotropic 1-space , as before, the totally isotropic 2-spaces containing it correspond to the totally isotropic 1-spaces of the quotient space , upon which induces a nondegenerate hermitian form. This space contains totally isotropic 1-spaces. Moreover, a totally isotropic 2-space contains totally isotropic 1-spaces. The same arguement as in the symplectic case shows that given a point not on a line there is a unique line through which meets . Hence is a GQ of order . It is usually denoted by .

The full automorphism group of is , that is all for which there exists and such that . Again, this group acts transitively on the points, lines and point-line incident pairs of . Due to my group theoretic upbringing I denote this group by and not .

:

Let be a 6-dimensional vector space over and be a nondegenerate quadratic form on , that is, for all and , and is a nondegenerate bilinear form. A subspace of is called totally singular if for all .

Up to equivalence there are two quadratic forms on : elliptic and hyperbolic. They are distinguished by the dimension of the maximal totally singular subspaces. In the elliptic case they have dimension and in the hyperbolic case they have dimension .

To define our GQ, we choose to be an elliptic quadratic form. The points are then the totally singular 1-spaces and the lines are the totally singular 2-spaces. The GQ obtained is isomorphic to the dual of , and has order .

:

This is similar to except here we take to be a 5-dimensional vector space over . We take to be a nondegenerate hermitian form on (again can be taken as the form). Then the maximal totally isotropic subspaces have dimension 2. We can then define a point-line geometry with points the totally isotropic 1-spaces and lines the totally isotropic 2-spaces. Each point lies on lines (there are totally isotropic 1-spaces in ) and each line contains points. We obtain a GQ of order which is usually denoted by .

The full automorphism group of this GQ is . This acts transitively on points, lines and point-line incident pairs.

, odd:

This is similar of . In this case we take to be a 5-dimensional vector space over and to be a nondegenerate quadratic form on . Since the dimension of the vector space is odd there is only one type of quadratic form on .

In this case our points are the totally singular 1-spaces of and the lines are the totally singular 2-spaces of . We obtain a generalised quadrangle of order which is isomorphic to the dual of .

**Other generalised quadrangles:**

The five generalised quadrangles above are referred to as the classical generalised quadrangles. There is also the dual of . There are several other constructions of generalised quadrangles. John has already blogged about the Knarr model for the flock generalised quadrangles. This construction seems typical of many constructions in geometry where there are several types of points and several types of lines. My next post will look at some other constructions of generalised quadrangles.