Skip to content

Knarr’s model of flock quadrangles

November 23, 2009

Recently I’ve been working with generalised quadrangles which arise from flocks, and in particular, I use the model introduced by Norbert Knarr in his 1992 paper “A geometric construction of generalized quadrangles from polar spaces of rank three”. However, I’m not going to tell you everything because it would be very long. I’m not going to tell you what a generalised quadrangle is, what a flock is or even why we ought to care about such objects. Instead, my purpose is to de-mystify the Knarr model by explaining where it comes from for the classical object, the simplest case. So really, this post is intended for someone who is already familiar with the topic, but maybe later I or someone else will trace backwards to where all this began.

The three-dimensional finite Hermitian variety H(3,q^2) can be constructed in the following way. Consider the following Hermitian form on a four-dimensional vector space over GF(q^2):

\langle x,y\rangle :=x_1y_1^q+x_2y_2^q+x_3y_3^q+x_4y_4^q.

Let the points be the one-dimensional subspaces for which this form restricts to the zero form, and let the lines be the two-dimensional subspaces for which this form computes only zero on them. Then this geometry of points and lines gives us a generalised quadrangle, and it is the classical example in the category of flock quadrangles. In other words, this geometry is a classical polar space of rank 2. Now the vectors of the vector space GF(q^2)^4 are certainly in one-to-one correspondence with the vectors of GF(q)^8, but in fact, more can be said. We can define a bilinear form over GF(q) by B(u,v):=\gamma(\langle u,v\rangle -\langle u,v\rangle^q), where \gamma is some element of GF(q^2) such that \gamma=-\gamma^q, and we see that is alternating since

B(v,u) = \gamma(\langle v,u\rangle -\langle v,u\rangle^q)=\gamma(\langle u,v\rangle^q -\langle u,v\rangle)=-B(u,v).

So this form defines a symplectic space W(7,q) on GF(q)^8. What is interesting in this correspondence is that the points of H(3,q^2) go to lines of W(7,q), and the lines of H(3,q^2) go to solids of W(7,q). Now take a point P of H(3,q^2). Then P maps to a line P’ of W(7,q). We then take an arbitrary point X on this line P’ and note that P’ is contained in X^\perp. Now we project to the quotient polar space X^\perp/X (which is isomorphic to W(5,q)) via the map U\mapsto (X^\perp\cap \langle X, U\rangle)/X. So we obtain a map from totally isotropic subspaces of H(3,q^2) to totally isotropic subspaces of W(5,q), and something interesting happens with respect to the point P that we started with:

P a point R of W(5,q)
lines on P a set of t.i. planes \pi_i on R such that the projection to R^\perp/R yields a BLT-set of lines of W(3,q)
lines not on P t.i. planes which meet some \pi_i in a line not on R
points collinear with P lines of W(5,q) contained in some \pi_i
points not-collinear with P points of W(5,q) not in the perp of R.

This is the Knarr model of a flock generalised quadrangle, where the input is a BLT-set of lines of W(3,q) (not just the one obtained from a pencil of lines of H(3,q^2)). So essentially the Knarr model of a flock generalised quadrangle is the generalisation of the field reduction of H(3,q^2), where we change the BLT-set in the resulting geometry of W(5,q).

One Comment leave one →
  1. Michael Giudici permalink
    November 24, 2009 11:31 am

    For those interested in what a generalised quadrangle actually is, they are defined in one of our study group posts

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: