Classifying pseudo-ovals, translation generalized quadrangles, and elation Laguerre planes of small order

We provide classification results for translation generalized quadrangles of order less or equal to $64$, and hence, for all incidence geometries related to them. The results consist of the classification of all pseudo-ovals in $PG(3n-1,2)$, for $n=3,4$, and that of the pseudo-ovals in $PG(3n-1,q)$, for $n=5,6$, such that one of the associated projective planes is Desarguesian.


Introduction and known results
This paper can be considered as a sequel to [39,40], where the recent classification of hyperovals of PG (2,64) [64] was used to extend previously known classification results for related structures to order 64.Here, we classify all pseudo-ovals of PG(3n − 1, 2), n = 3, 4, and all pseudo-ovals of PG(3n − 1, 2), n = 5, 6, yielding a Desarguesian translation plane via the construction given in [47, pp. 181-182].As a by-product, thanks to the correspondence between pseudo-ovals and translation generalized quadrangles [47, 8.7.1], we also classify all translation generalized quadrangles of order 2 n , n = 3, 4, and all translation generalized quadrangles T (O) of order q n , n = 5, 6, when the pseudo-oval O gives rise to a Desarguesian translation plane.In the case n = 3, our classification of translation generalized quadrangles is computer-free.Another consequence is the classification of all elation Laguerre planes of order 2 n , n = 3, 4, and that of all elation Laguerre planes of order 2 n , n = 5, 6, with a Desarguesian projective completion.We point out that the classification of elation Laguerre planes of order 16 has already been obtained by Steinke in [59], but here we present a different method of proof.
Since the results in this paper involve a certain number of incidence structures that are closely related to each other, it is worth recalling their definition and main properties together with the corresponding known classification results when the order of the structure is small.This is done in this section, and, to make everything easier and more readable, we divide it into subsections, one for each object we consider.All classification results as well as the tools and methods used to get them are instead collected in Section 2.

Generalized quadrangles
A (finite) generalized quadrangle (GQ) is an incidence structure S = (P, B, I) where P and B are disjoint (nonempty and finite) sets of objects called points and lines, respectively, and I is a symmetric point-line relation, called incidence relation, satisfying the following axioms: (i) Each point is incident with t + 1 lines, and two distinct points are incident with at most one line.
(ii) Each line is incident with s + 1 points, and two distinct lines are incident with at most one point.
(iii) If x is a point and L is a line not incident with x, then there is a unique pair (y, M) ∈ P × B such that x I M I y I L.
The integers s and t are the parameters of the GQ, and S is said to have order (s, t); if s = t, it is said to have order s.If S has order (s, t), then it follows that |P| = (s + 1)(st + 1) and |B| = (t + 1)(st + 1).If S = (P, B, I) is a GQ of order (s, t), then the incidence structure S * = (B, P, I) is a GQ of order (t, s), and it is called the dual of S.
The classical GQs of order q are W (q), whose points and lines are those of a symplectic geometry in PG (3, q), and Q(4, q), whose points and lines are those of a non-singular quadric in PG (4, q).It is known that Q(4, q) is isomorphic to the dual of W (q), and it is self-dual when q is even [47].For more details on GQs, the reader is referred to [47].
There is a unique GQ of order 2 [47,Chapter 6]; there are exactly two GQs of order 3 [47,Chapter 6]; there is a unique GQ of order 4 [41,42], [47,Chapter 6].Up to the knowledge of the authors, for no other value of s, there is a complete classification of GQs of order s.
A translation generalized quadrangle (TGQ) with base point P is a GQ for which there is an abelian group acting regularly on the points not collinear with P , while fixing each line through P .Such a group is uniquely determined, and it is called the translation group at P .The classical GQ Q(4, q) is a TGQ, but, for q odd, W (q) is not a TGQ.In [47, 8.7.3(i)], it is shown that a TGQ of prime order p is isomorphic to Q(4, p).
Two lines of a GQ are said to be concurrent if there is a point incident with both of them.A symmetry of a GQ with respect to the line l is a collineation fixing each line concurrent with l.The kernel of a TGQ with base point P is the ring of all endomorphisms of the translation group T fixing the subgroup T l of all symmetries of T with respect to l, for each line l through P .With the usual addition and multiplication of endomorphisms, the kernel is a ring, thus by Wedderburn's Theorem is a finite field.If the kernel is GF(q) and the TGQ has order s, then s is a power of q.
In [45,46], using a result of Denniston [18] on ovals in the Hall plane of order 9, the uniqueness of a TGQ of order 9 is proved.This depends on the classification of translation planes of order 9 [5,32].Note that, by [47,Section 8.6], the base point of a TGQ of odd order s is anti-regular, so that a result by Steinke on Laguerre planes [58] implies the uniqueness of a TGQ of order 9.In Corollary 2.7 we show that there are exactly two TGQs of order 8.Here we present a computer-free proof of this result.Furthermore, Corollary 2.14 shows that there are exactly three TGQs of order 16.In this case, the result is computer-based.About the cases q = 32, 64, we refer the reader to Corollaries 2.17 and 2.20.

Pseudo-ovals
An n-dimensional pseudo-oval in PG(3n−1, q) is a set O of q n +1 (n−1)-dimensional subspaces with the property that any three of them span PG(3n − 1, q).Given an ndimensional pseudo-oval, there exists a unique system of q n + 1 (2n − 1)-dimensional subspaces, called the tangents to O, such that each element X of O is on a unique tangent T (X), and T (X) meets no other element of O [61].The order of an ndimensional pseudo-oval in PG(3n − 1, q) is q n .When n = 1, the definition of pseudo-oval covers that of an oval in PG(2, q).An oval in P G(2, q n ) gives rise to an n-dimensional pseudo-oval in PG(3n − 1, q), by identifying the underlying vector space GF(q) 3n of PG(3n − 1, q) with the underlying vector space GF(q n ) 3 (considered as a vector space over GF(q)) of PG(2, q n ).A pseudo-oval so constructed is known as elementary pseudo-oval.No other pseudoovals are known.It [2] it was proved that the only pseudo-ovals contained in the elliptic quadric Q − (5, 7) are elementary, so arising from conics in PG(2, 49) by Segre's Theorem [53].Proof.Assume that there is a collineation g of PG(3n − 1, q) that maps O 1 to O 2 .Then, the kernel K 1 of O 1 is conjugate to the kernel K 2 of O 2 ; we may assume that both of them are the same copy K of the multiplicative group of GF(q n ).Hence, K is a Singer cycle of PΓL(3n, q), and g lies in the normalizer of K in PΓL(3n, q).From [25, 7.3 Seitz] g lies in PΓL(3, q n ), which is naturally embedded in PΓL(3n, q) by identifying the underlying vector space GF(q n ) 3 of PG(2, q n ) with the underlying vector space GF(q) 3n of PG(3n − 1, q).This gives that the two ovals O 1 and O 2 are projectively equivalent.For the converse just note that any collineation of PG(2, q n ) naturally embeds in PΓL(3n, q) via the identification of GF(q) 3n with GF(q n ) 3 .
An n-dimensional pseudo-oval O in PG(3n−1, q) gives rise to a number of (n−1)spreads of PG(2n − 1, q) [47, pp.181-182], and so to many translation planes of order q n [1,6].For instance, the projections of the elements of O from a fixed X ∈ O onto a (2n − 1)-dimensional subspace S of PG(3n − 1, q) skew to X, together with T (X) ∩ S, form an (n − 1)-spread of S. The corresponding translation plane, denoted by π(O, X), has order q n with kernel containing GF(q) [1,6].
Let O be a n-dimensional pseudo-oval in PG(3n − 1, q).Embed PG(3n − 1, q) as a hyperplane H in PG(3n, q), and let T (O) be the incidence structure with points: (i) the points of PG(3n, q) not on H, (ii) the 2n-spaces of PG(3n, q) meeting H in a tangent to O, (iii) a new point (∞); with lines: (a) the n-spaces of PG(3n, q), not in H, meeting H in an element of O, (b) the elements of O; and taking as the incidence relation the natural incidence in PG(3n − 1, q) augmented by making all lines of type (b) incident with (∞).Then, T (O) is a TGQ of order q n with base point (∞) and kernel containing GF(q) [47,Th. 8.7.1].Conversely, every TGQ of order q n with GF(q) contained in its kernel is isomorphic to T (O), for some n-dimensional pseudo-oval O in PG(3n − 1, q) [47, Th. 8.7.1].The proof in [37] generalizes to show that T (O 1 ) is isomorphic to T (O 2 ) if and only if O 1 is projectively equivalent to O 2 .When n = 1, we use T 2 (O) to refer to the GQ T (O), where T 2 (O) is the Tits quadrangle constructed on the oval O in PG(2, q) [16].
The kernel of an n-dimensional pseudo-oval O in PG(3n − 1, q) is the kernel of the TGQ T (O): it is a subfield of GF(q n ) and an extension of GF(q).It is known [47, 8.6.5] that the multiplicative group of the kernel of T (O) is isomorphic to the group of all whorls about (∞) fixing a given point not collinear with (∞); here, a whorl about the point (∞) is a collineation of T (O) fixing each line incident with (∞).This yields that the kernel of T (O) is GF(q n ) if and only if O is elementary, i.e., it arises from an oval O ′ of PG(2, q n ), in which case T (O) is isomorphic to T 2 (O ′ ).
In analogy to the case n = 1, if q is odd, the tangents to an n-dimensional pseudooval in P G(3n − 1, q) form a pseudo-oval in the dual space, and, if q is even, the tangents to an n-dimensional pseudo-oval O in PG(3n − 1, q) all pass through an (n − 1)-space N, the nucleus of the pseudo-oval.In addition, for any X ∈ O, [61,62], [47, pp.181-182].
An n-dimensional dual pseudo-oval in PG(3n − 1, q) is a set O of q n + 1 (2n − 1)dimensional subspaces with the property that any three of them intersect trivially, together with q n + 1 (n − 1)-dimensional subspaces, called the tangents to O, with the property that each element X of O contains a unique tangent T (X), and T (X) meets no other element of O.Under a correlation of PG(3n − 1, q), the image of an n-dimensional dual pseudo-oval in PG(3n − 1, q) is an n-dimensional pseudo-oval in PG(3n−1, q).Moreover, over fields of odd order, a pseudo-oval is a self-dual concept.The situation is quite different for fields of characteristic 2, and this explains some of the subtleties that occur.

Laguerre planes
A finite Laguerre plane of order n, n ≥ 2, is a triple L = (P, C, G) consisting of a set P of n(n + 1) points, a set C of n 3 circles and a set G of n + 1 generators (or parallel classes), where circles and generators are both subsets of P, such that the following three axioms are satisfied: (i) G partitions P and each generator contains n points.
(ii) Each circle intersects each generator in precisely one point.
(iii) Three points no two of which are on the same generator can be uniquely joined by a circle.
Given a finite Laguerre plane L of order n and a point P of the plane, the derived affine plane at P is the incidence structure L P whose points are the points of L not on the generator through P , and the lines are the circles of L through P together with the generators not passing through P (with the natural incidence relation).It turns out that L P is an affine plane of order n; its projective completion PL P is called the derived projective plane at P .Kleinewillinghöfer [27] classifies Laguerre planes in terms of their respective automorphism group, this classification being analogous to the Lenz-Barlotti classification of projective planes and the Hering classification of inversive planes.In [9] (see also [45,46]), Chen and Kaerlein show that if the derived affine plane of a Laguerre plane of finite order n, where n is 2 or 4 or odd, is Desarguesian, then the Laguerre plane is Miquelian.This has as a corollary the uniqueness of the Laguerre planes of orders 2, 3, 4, 5, and 7, relying on the uniqueness of the projective planes of these orders.In [58], the uniqueness of the Laguerre plane of order 9 is proved.This depends on the classification by computer of all projective planes of order 9 [28], and on the classification by computer of all ovals in these planes [18,12].There are exactly two Laguerre planes of order 8, and the only references in the literature we can find are [20, p.530], [21, p.108], [57, p.163].Since there is no affine plane of order 6, there is obviously no Laguerre plane of order 6.By applying the Bruck-Ryser theorem [7], more generally there is no Laguerre plane of order n, where n is congruent to 1 or 2 modulo 4 and the square-free part of n is divisible by a prime congruent to 3 modulo 4.This rules out Laguerre planes of orders 6, 14, 21, 22,...Moreover, by the famous computer-based result of the nonexistence of an affine plane of order 10 [29], there is no Laguerre plane of order 10.In fact, since the projective completion of the derived affine plane of a Laguerre plane at a point contains an oval, we need only the earlier computer-based result [30] that there is no projective plane of order 10 containing an oval.Up to the knowledge of the authors, for no other n, there is a complete classification of Laguerre planes of order n.
Two Laguerre planes L 1 and L 2 are said to be isomorphic if there is a bijection from the point set of L 1 to that of L 2 such that circles are mapped onto circles.An automorphism of a Laguerre plane L is an isomorphism of L on itself.All automorphisms of L form a group with respect to composition, the automorphism group Aut(L) of L.
An elation Laguerre plane is a Laguerre plane which admits an automorphism group acting regularly on the circles, while fixing every generator; such a group is uniquely determined and abelian [26, Corollary 2.9, Proposition 2.8].It is called the elation group of the Laguerre plane.The derived affine plane L P at any point P of an elation Laguerre plane L are dual translation planes [57, Theorem 3] [26, Lemma 2.3], and hence a finite elation Laguerre plane has prime power order.An elation Laguerre plane of prime order is Miquelian, by applying the theorem of André [1] that a translation plane of prime order is Desarguesian, and then applying the result in [9].Models of elation finite Laguerre planes can be obtained as follows.Let O be an oval in PG(2, q) and K a cone in PG(3, q) with vertex V projecting O.The incidence structure L 2 (O) with points the points of K other than V , generators the generators of K, circles the intersections of the planes of PG(3, q) not on V with K is a Laguerre plane of order q.The group of all elations of PG(3, q) with center V fixes every line on V , and it is regular on the planes of PG(3, q) not on V ; hence, it fixes every generator of L 2 (O), while acting regularly on the circles of L 2 (O).This yields that L 2 (O) is an elation Laguerre plane.A finite Laguerre plane is said to be ovoidal if it is isomorphic to L 2 (O), for some oval O of PG(2, q).Every known finite Laguerre plane is ovoidal.By [38], that is, they are in the same orbit under the collineation group PΓL(3, q) of PG(2, q)).When O is a conic, the elation Laguerre plane L 2 (O) is characterized among all Laguerre planes by satisfying the configuration of Miquel [65], [15, pp. 245-246], and hence is called Miquelian.General references on Laguerre planes are [3,22,15,60].
It is of interest to give the dual construction (in PG(3, q)) of L 2 (O), for comparison with both the previous construction of the Tits GQ T 2 (O) and its generalization involving pseudo-ovals.Let O be a dual oval of PG(2, q) (i.e., a set of q + 1 lines, no three of them concurrent).Embed PG(2, q) as a plane π in PG(3, q), and let L(O) be the incidence structure with points the planes of PG(3, q) meeting π in a line of O, generators the lines of O, circles the points of PG(3, q) not on π, and with incidence relation the natural one.Then, L(O) is a Laguerre plane of order q, isomorphic to L 2 (O * ), where O * is the image of O under a correlation.
The kernel of an elation Laguerre plane with elation group E is the ring of all endomorphisms of E fixing the subgroup E P , for all points P of the plane.The kernel of an elation Laguerre plane is a skew-field [26,Theorem 2.10].If the elation Laguerre plane is finite, then the kernel is a finite field GF(q) and the order of the plane is a power of q.
Inspired by Casse, Thas and Wild [8], Steinke [57] and Löwen [31] provided the following construction of elation Laguerre planes from dual pseudo-ovals.Let O be an n-dimensional dual pseudo-oval in PG(3n − 1, q).Embed PG(3n − 1, q) as a hyperplane H in PG(3n, q), and let L(O) be the incidence structure with points the 2n-spaces of PG(3n, q) meeting H in an element of O, generators the elements of O, circles the points of PG(3n, q) not on H, and taking as the incidence relation the natural one.Then, L(O) is an elation Laguerre plane of order q n .By a result of Joswig [26,Theorem 5.3], the converse holds: a finite elation Laguerre plane of order q n with kernel containing GF(q) is isomorphic to L(O), for some n-dimensional dual pseudo-oval O in PG(3n − 1, q).By [57, Theorem 3], an elation Laguerre plane L can be coordinatized as follows: there is a matrix-valued mapping D : GF(q) n ∪ {∞} → M 3n,n (q) (where M 3n,n (q) is the set of all 3n × n matrices over GF(q)) such that the point set of L is (GF(q) n ∪ {∞})×GF(q) n and every circle is of the form , where I and O denote the n × n identity and the zero matrices, respectively, and the matrix D(z), z ∈ GF(q) n , can be written as (h(z) g(z) I) t with suitable n × n matrices h(z) and g(z).After this coordinatization, the Laguerre plane L is denoted by L(g, h).In particular, {g(z) : z ∈ GF(q) n } is a spread set defining a translation plane of order q n , which is the dual of the derived projective plane PL P , with P = (∞, 0), and the matrix h describes a pencil of hyperovals in PL P [59, p. 316].
Steinke in [57] takes advantage of the above coordinatization to show the following: Theorem 1.2.[57, Theorem 4] An elation Laguerre plane of order q n is equivalent to a pseudo-oval in PG(3n − 1, q).In particular, when q is even, an elation Laguerre plane of order q n can be constructed from a pseudo-oval in PG(3n − 1, q) in the following way [57].Let O be a pseudo-oval in PG(3n − 1, q), q even, with nucleus N. The elements of O can be labelled by GF(q) n ∪ {∞}: O = {X z : z ∈ GF(q) n ∪ {∞}}.The projective space PG(3n − 1, q) can be coordinatized in such a way that X ∞ and N are generated by the columns of the 3n × n-matrices (I O O) T and (O I O) t , respectively.In this setting, the remaining elements X z , with z ∈ GF(q) n , can be assumed to be generated by (h(z) g(z) I) t , for uniquely defined n × n matrices h(z) and g(z).
Since there is a unique Laguerre plane of order 4, there is a unique elation Laguerre plane of order 4; the same holds for order 9.The only two existing Laguerre planes of order 8 are both elation Laguerre planes.These last two results are computerdependent.Since there is a computer-free proof of the uniqueness of a translation plane of order 8 [32], in Section 2 we give a computer-free proof that there are exactly two elation Laguerre planes of order 8 (Corollary 2.8).We also apply the classification of translation planes of order 16 [17,52] and the classification of ovals in the duals of these planes [51] to classify by computer the elation Laguerre planes of order 16 in Corollary 2.12, finding that there are exactly three of them.The latter classification has already been obtained by Steinke in [59] using the same arguments as above, but with a different method of proof.Corollaries 2.16 and 2.19 provide results for q = 32 and 64.

Wild subspaces
We now recall some results from the unjustly neglected paper of Wild [66].It would be nice to state Wild's results in full generality, but that would take us into the realm of quasifields and coordinatization of translation planes, which is unfortunately too far from our present purpose.So we refer the reader to the original paper [66] for the general definitions and statements.We only require the Desarguesian case.
Let F be the vector space of all functions f : GF(q) → GF(q), q even, such that f (0) = 0.It is well known that each element of F can be written as a polynomial in one variable of degree at most q − 1.
An n-dimensional Wild subspace over GF(q), q even, is a n-dimensional subspace W of F.
Remark 1.3.We point out that our definition of a Wild subspace coincides with the definition of a linear triangular system of ovals given in [66], when the left-quasifield is GF(q n ).In particular, since every o-polynomial is actually a polynomial in one variable of degree at most q − 2, the property (iii) in the latter definition implies that a Wild subspace contains exactly one o-polynomial.
The kernel of an n-dimensional Wild subspace W over GF(q) is the largest subfield of GF(q n ) over which W is a subspace.Let f be an o-polynomial over GF(q n ) and W be the set of all GF(q n ) scalar multiples of f .Clearly, W is an n-dimensional Wild subspace over GF(q) with kernel GF(q n ), and the ovals D(f ), f ∈ W , are images of each other under the homologies of PG(2, q n ) with center (0, 0, 1) and axis the line joining (1, 0, 0) and (0, 1, 0).Since the Desarguesian projective plane PG(2, q) is self-dual, as an immediate consequence of Theorem 1 and Corollary 2 in [66], we get the following results.
Theorem 1.4.Let O be an n-dimensional pseudo-oval in PG(3n − 1, q), q even, and X be an element of O. Suppose that the translation plane π(O, X) is Desarguesian.Then, there arises an n-dimensional Wild subspace W (O, X) over GF(q).Conversely, each n-dimensional Wild subspace W over GF(q) gives rise to an ndimensional pseudo-oval O of PG(3n − 1, q) such that π(O, X) is Desarguesian, for some element X of O, with W = W (O, X).
Theorem 1.5.Let O be an n-dimensional pseudo-oval in PG(3n − 1, q), q even, and X be an element of O such that the translation plane π(O, X) is Desarguesian.Then, W (O) has kernel GF(q n ) if and only if O has kernel GF(q n ) (i.e., O is elementary).

Machinery and computational results
In this section, we classify all pseudo-ovals in PG(3n − 1, 2), n = 3, 4, and all pseudo-ovals in PG(3n − 1, 2), n = 5, 6, that give a Desarguesian translation plane.In the latter two cases, we require that there is a Desarguesian translation plane since the classification of translation planes and that of the ovals in their duals are not complete.As a by-product, thanks to the correspondence between pseudo-ovals and TGQs, we also classify all TGQs of order q n , n = 3, 4, and all TGQs T (O) of order q n , n = 5, 6, when O gives a Desarguesian translation plane π(O, X), for some X ∈ O. Another consequence, via Theorem 1.2, is the classification of all elation Laguerre planes of order 2 n , n = 3, 4, and that of all elation Laguerre planes of order 2 n , n = 5, 6, with a Desarguesian projective completion.In light of Theorems 1.4 and 1.5, to achieve the above aim, we actually classify the n-dimensional Wild subspaces over GF(q) for n = 3, 4, 5, 6.
Our programs, written in MAGMA [4], were run on a macOS system with one quad-core Intel Core i7 2.2 GHz processor.All the computational operations take approximately 60 hours of CPU time.The code is available on email request to the 3rd author.
In [37,Lemma 1] an action of PΓL(2, q), q even, on the vector space F is defined: it is known as magic action.Recall that, if f (x) = a i x i and γ ∈ Aut(GF(q)), then f γ (x) = a γ i x i .
This action of PΓL(2, q) on F is called magic action.
For an o-polynomial, there are q − 1 o-permutations, namely the non-zero scalar multiples of the o-polynomial, and for an o-permutation f there is the unique opolynomial (1/f (1))f .For f ∈ F , f will denote the one-dimensional subspace of F containing f .Since the magic action preserves the set of o-permutations, we say that two opermutations f and g are equivalent if they correspond under the magic action, i.e., there exists ψ ∈ PΓL(2, q) such that ψf ∈ g = {λg : λ ∈ GF(q)}.
The main theorem of Segre [53] is that, if q is odd, then every oval of PG(2, q) is a conic.It is also shown in [54] that, if q is 2 or 4, then every oval of PG(2, q) is a conic, and if q = 8, then every oval of PG(2, q) is either a conic or a pointed conic.Other ovals that we need to mention are the Lunelli-Sce ovals in PG (2,16) [33].They are uniquely specified by being ovals of PG (2,16) that are neither conics nor pointed conics.This is due to the classification of ovals in PG (2,16) obtained by Hall [23] with the use of a computer, and by O'Keefe and Penttila [34] without it.The ovals of PG (2,32) were classified: up to projective equivalence, there are 35 ovals, coming from 6 hyperovals [50].The hyperovals of PG(2, 64) have been classified by Vandendriessche in [64]: up to projective equivalence, there are 4 hyperovals, giving rise to 19 ovals [48].
Surveys of the known families of hyperovals in PG(2, q) appear in [11,13].They are the translation hyperovals [54], the Segre-Bartocci hyperovals [55,56] for q not square, the two families of Glynn hyperovals [19] for q not square, the Payne hyperovals [43] for q not square, the Subiaco hyperovals [14] for all even q (two families [44] if q is a square but not a fourth power), the Cherowitzo hyperovals [11] for q not square (proved to be new in [49]), the Adelaide hyperovals [13] for q square, and the O'Keefe-Penttila hyperoval [36] in PG (2,32).It is probably also worth passing the remark that the Lunelli-Sce ovals are no longer sporadic, having been generalized to the Subiaco ovals in [14] and to the Adelaide ovals in [13].No other hyperovals of PG(2, q) are known.
The ovals of the four projective planes of order 9 were classified in [18] (see also [12]).The hyperovals of the twenty-two known projective planes of order 16 (including all translation planes of order 16 [10,20] and all dual translation planes of order 16) were classified in [51].It is worth remarking that four of the known planes of order 16 contain no ovals.For no other projective plane of finite order have the ovals in that plane been classified.
In what follows, we consider the projective plane PG(2, 2 n ), n = 3, 4, 5, 6.Since every oval lies in a unique hyperoval, all the ovals in PG(2, 2 n ), up to equivalence, can be obtained by removing one representative from each point-orbit of the stabilizer in PΓL(3, 2 n ) of each hyperoval, viewed as a permutation group acting on it.We apply a suitable linear collineation to every oval in such a way the corresponding image contains the points (0, 1, 0), (1, 0, 0), (1, 1, 1) and has nucleus (0, 0, 1).Then, we obtain the associated o-polynomials by Lagrange interpolation.Via the magic action, we get all the ovals in PG(2, 2 n ) on the fundamental quadrangle, and we store the corresponding o-polynomials in terms of their coefficients.This operation, using MAGMA, produces all isomorphism classes of ovals in PG(2, 2 n ), whose number is denoted by k n ; see [54] for n = 3, [23,34] for n = 4, [50] for n = 5, and [48] for n = 6.Lemma 2.2.If W is a Wild subspace, and f, g ∈ W with f = g, then f (1) = g (1).
Proof.By Corollary 2.3, we can fix an element a of GF(2 n ) with a = 0, 1.From the definition of Wild subspaces and Remark 1.3, under the magic action, we may assume that a Wild subspace W contains a fixed o-polynomial f from some of the k n equivalence classes of ovals.Then, there exists g ∈ W , g = f , with g(1) = a.Thus, h = a −1 g is an o-polynomial, and (1 + a) −1 (f + g) is an o-polynomial as well.Therefore, we may say that, for the fixed o-polynomial f and the element a, there is an o-polynomial h such that p = (1 + a) −1 (f + ah) is an o-polynomial.This implies that p s : x → (p(x + s) + p(s))/x is a permutation of GF(2 n ) \ {0}, for any s ∈ GF(2 n ).By using MAGMA, we checked that for n = 3, 4, 5, 6, and any fixed o-polynomial f from each of the k n classes, the only o-polynomial h that passes the test on p s being a permutation as above is f itself.
The following result is an immediate consequence of Theorems 1.4 and 1.5.
In the following subsections, we give all computational details for each value n that has been taken into consideration.

Case n = 3
Theorem 2.6.Up to projective equivalence, there are exactly two 3-dimensional pseudo-ovals in PG(8, 2), and each of them is elementary.Explicitly, either O arises from a conic C or from a pointed conic PC.

Case n = 4
Theorem 2.10.Up to projective equivalence, there are exactly three 4-dimensional pseudo-ovals in PG (11,2), and each of them is elementary.Explicitly, O arises from a conic C, a pointed conic PC, or a Lunelli-Sce oval K.
Proof.According to the coordinatization given in [57, Theorem 3], the derived projective plane PL P , with P = (∞, 0), which is a dual translation plane, contains a pencil of hyperovals through the points ω, (0), (0, 0), where ω is the translation center of PL P .[59, p. 316].The translation planes of order 16 were classified in [17,52].There are eight distinct translation planes of order 16.The hyperovals in these planes and in their duals were classified in [10,51].The only (dual) translation plane admitting a pencil of hyperovals with the above property is PG (2,16).Hence, each derived projective plane of an elation Laguerre plane of order 16 is Desarguesian [59, Proposition 5].Under the aforementioned correspondence between elation Laguerre planes and pseudo-ovals (see Theorem 1.2 for q even), we know that for all pseudo-ovals O in PG (11,2) there is X ∈ O such that π(O, X) is Desarguesian.Thus, the hypotheses of Theorem 1.4 are satisfied, and we need to classify all 4-dimensional Wild subspaces W (O) over GF (2).The 30870 o-permutations over GF (16), split into k 4 = 3 (see [23,34]) isomorphism classes of ovals in PG (2,16), are obtained via the magic action.It follows by inspection with MAGMA that every 4-dimensional Wild subspace over GF(2) has kernel GF (16).Thus, by Theorem 1.5, O has kernel GF (16), and so O arises from an oval in PG (2,16), which is or a conic or a pointed conic or a Lunelli-Sce oval [23,34].Since these three ovals are not projectively equivalent, the result follows from Proposition 1.1.
Corollary 2.11.Up to projective equivalence, there are exactly three 2-dimensional pseudo-ovals in PG (5,4), and each of them is elementary.Explicitly, O arises from a conic C, a pointed conic PC or a Lunelli-Sce oval K.
Corollary 2.12.[59, Theorem 8] Up to isomorphism, there are exactly three elation Laguerre planes of order 16, and these are ovoidal.Explicitly, they are the Miquelian plane L(C), the ovoidal plane L(PC) over a pointed conic, and the ovoidal plane L(K) over a Lunelli-Sce oval.Remark 2.13.In [20] the authors classify translation Laguerre planes of order 16 by computer, finding just L(C) and L(PC).Of course, L 2 (O) is a translation Laguerre plane if and only if O is a translation oval.
In both following cases, it is worth underlining that, since the classification of translation planes of order 2 4 and 2 5 , and that of ovals in their duals are not complete, we cannot adopt the same approach as in case n = 4. Therefore, we limit ourselves to the classification of all pseudo-ovals O of PG(3n − 1, 2), n = 5, 6, which admit a Desarguesian translation plane.Consequently, we classify all TGQs T (O) of order q n , n = 5, 6, when O admits a Desarguesian translation plane, and all elation Laguerre planes of order 2 n , n = 5, 6, with a Desarguesian projective completion.

Case n = 5
Theorem 2.15.Up to projective equivalence, there are exactly thirty-five 5-dimensional pseudo-ovals in PG(14, 2) admitting a Desarguesian translation plane, and each of them is elementary.
Proof.Let O be a 5-dimensional pseudo-oval in PG(14, 2) such that the translation plane π(O, X) is Desarguesian for some X ∈ O. Thus, the hypotheses of Theorem 1.4 are satisfied, and we need to classify all 5-dimensional Wild subspaces W (O) over GF (2).Via magic action, we obtain 3537700 o-permutations over GF (32), split into k 5 = 35 isomorphism classes of ovals in PG (2,32) [50].The above-described inspection with MAGMA gives that every 5-dimensional Wild subspace over GF (2) has kernel GF (32).Thus, by Theorem 1.5, O has kernel GF (32), and so O arises from an oval in PG (2,32).Since in PG (2,32) there are exactly thirty-five ovals which are pairwise not projectively equivalent, the result follows from Proposition 1.1.
Corollary 2.16.Up to isomorphism, there are exactly thirty-five elation Laguerre planes of order 32 with Desarguesian projective completion, and these are ovoidal.
Corollary 2.17.Up to isomorphism, there are exactly thirty-five TGQs T (O) of order 32, with O admitting a Desarguesian translation plane, and these are of the form T 2 (O), where O is an oval in PG(2, 32).

Case n = 6
Theorem 2.18.Up to projective equivalence, there are exactly nineteen 6-dimensional pseudo-ovals in PG(17, 2) admitting a Desarguesian translation plane, and each of them is elementary.
Proof.Let O be a 6-dimensional pseudo-oval in PG (17,2) such that the translation plane π(O, X) is Desarguesian for some X ∈ O. Thus, the hypotheses of Theorem 1.4 are satisfied, and we need to classify all 6-dimensional Wild subspaces W (O) over GF (2).Via magic action, we obtain 17297346 o-permutations over GF (64), split into k 6 = 19 isomorphism classes of ovals in PG (2,64) [48].The above-described inspection with MAGMA gives that every 6-dimensional Wild subspace over GF (2) has kernel GF (64).Thus, by Theorem 1.5, O has kernel GF (64), and so O arises from an oval in PG (2,32).Since in PG (2,64) there are exactly nineteen ovals which are pairwise not projectively equivalent, the result follows from Proposition 1.1.
Corollary 2.19.Up to isomorphism, there are exactly nineteen elation Laguerre planes of order 64 with Desarguesian projective completion, and these are ovoidal.
Corollary 2.20.Up to isomorphism, there are exactly thirty-five TGQs of order 64, and these are of the form T 2 (O), where O is an oval in PG (2,64).

Proposition 1 . 1 .
Let O 1 and O 2 be two elementary n-dimensional pseudo-ovals in PG(3n − 1, q) arising from the ovals O 1 and O 2 in PG(2, q n ), respectively.Then, O 1 and O 2 are projectively equivalent if and only if O 1 and O 2 are.