Here is another problem in finite geometry that I personally find intriguing, but I’m sure many others in the community find is also one of the big-ish problems in our area. It concerns spreads of Hermitian varieties, and I guess this question goes back to Segre’s 200-page manuscript “Forme e geometrie hermitiane, con particolare riguardo al caso finito” (Forms and hermitian geometries, with particular regard to the finite case).
A Hermitian variety is one of the central objects in finite and algebraic geometry. We begin with a field having an involutory automorphism , and an Hermitian matrix ; so (the transpose of ). Now consider the variety defined by the following equation
So for example, we could have and being complex conjugation. We could take to be the identity matrix and we would obtain the simplest Hermitian variety. We will now consider non-degenerate Hermitian varieties, where is invertible, and let us suppose now that is a finite field. So now has square order and is nothing other than the map . It turns out that for a given dimension and order of the finite field, any pair of non-degenerate Hermitian varieties are isometric; that is, if they are defined by the matrices and , then there is an invertible matrix such that . So from now on, we will denote the non-degenerate Hermitian variety of by .
Not only can we think of the Hermitian variety as a set of projective points of , but we can also look at higher-dimensional subspaces which are contained in the variety. What we mean by “contained” is that all of the projective points of the given subspace are points of the variety. It turns out that not every dimension is possible for a contained subspace. For even, the largest such algebraic dimension is , whilst for odd, this largest dimension is . This value is called the rank of the Hermitian variety. A fully contained subspace attaining this algebraic dimension will be called a maximal in what follows.
Segre asked the question whether it was possible to find a set of maximals of which form a partition of the points of . This is called a spread of the Hermitian variety, and spreads arise in other contexts in projective and polar geometry.
It is tedious to calculate that the number of points of is
and the number of points in a maximal is for odd and for even. So it turns out that the size of a spread is for odd and for even.
Segre shows in the paper mentioned above, that there is no spread of , for every prime power . The following amazing result was first proved by Jef Thas (1992).
Theorem: For odd, the Hermitian variety has no spread.
So this leaves the case even. The only result we have to date is a computational result by Andries Brouwer (unpublished): there is no spread of .
Does there exist a spread of when is even?