Knarr’s model of flock quadrangles
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 can be constructed in the following way. Consider the following Hermitian form on a four-dimensional vector space over :
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 are certainly in one-to-one correspondence with the vectors of , but in fact, more can be said. We can define a bilinear form over by , where is some element of such that , and we see that is alternating since
.
So this form defines a symplectic space on . What is interesting in this correspondence is that the points of go to lines of , and the lines of go to solids of . Now take a point P of . Then P maps to a line P’ of . We then take an arbitrary point X on this line P’ and note that P’ is contained in . Now we project to the quotient polar space (which is isomorphic to ) via the map . So we obtain a map from totally isotropic subspaces of to totally isotropic subspaces of , and something interesting happens with respect to the point P that we started with:
a point R of W(5,q) | |
lines on | a set of t.i. planes on R such that the projection to yields a BLT-set of lines of W(3,q) |
lines not on | t.i. planes which meet some in a line not on R |
points collinear with | lines of W(5,q) contained in some |
points not-collinear with | 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 (not just the one obtained from a pencil of lines of ). So essentially the Knarr model of a flock generalised quadrangle is the generalisation of the field reduction of , where we change the BLT-set in the resulting geometry of .
For those interested in what a generalised quadrangle actually is, they are defined in one of our study group posts