arXiv++ Combinatorics

In this article we construct a new family of semifields, containing and extending two well-known families, namely Albert's generalised twisted fields and Petit's cyclic semifields (also known as Johnson-Jha semifields). The construction also gives examples of semifields with parameters for which no examples were previously known. In the case of semifields two dimensions over a nucleus and four-dimensional over their centre, the construction gives all possible examples. Furthermore we embed these semifields in a new family of maximum rank-distance codes, encompassing most known current constructions, including the (twisted) Delsarte-Gabidulin codes, and containing new examples for most parameters.

In this article we introduce the notion of the BEL-rank of a finite semifield, prove that it is an invariant for the isotopism classes, and give geometric and algebraic interpretations of this new invariant. Moreover, we describe an efficient method for calculating the BEL-rank, and present computational results for all known small semifields.

In this paper we show that n-dimensional dual hyperovals cannot exist in all but one classical polar space of rank n if n is even. This resolves a question posed by Yoshiara.

We provide a characterisation of $(n-1)$-spreads in $\mathrm{PG}(rn-1,q)$ that have $r$ normal elements in general position. In the same way, we obtain a geometric characterisation of Desarguesian $(n-1)$-spreads in $\mathrm{PG}(rn-1,q)$, $r>2$.

In this article we construct a new family of linear maximum rank distance (MRD) codes for all parameters. This family contains the only known family for general parameters, the Gabidulin codes, and contains codes inequivalent to the Gabidulin codes. This family also contains the well-known family of semifields known as Generalised Twisted Fields. We also calculate the automorphism group of these codes, including the automorphism group of the Gabidulin codes.

This paper contains the classification of the orbits of elements of the tensor product spaces ${\mathbb{F}}^2\otimes {\mathbb{F}}^3 \otimes{\mathbb{F}}^r$, $r\geq 1$, under the action of two natural groups, for all finite; real; and algebraically closed fields. For each of the orbits we determine: a canonical form; the tensor rank; the rank distribution of the contraction spaces; and a geometric description. The proof is based on the study of the contraction spaces in ${\mathrm{PG}}({\mathbb{F}}^2\otimes{\mathbb{F}}^3)$ and is geometric in nature. Although the main focus is on finite fields, the techniques are mostly field independent.

We classify the orbits of elements of the tensor product spaces ${\mathbb{F}}^2\otimes {\mathbb{F}}^3 \otimes {\mathbb{F}}^3$ for all finite; real; and algebraically closed fields under the action of two natural groups. The result can also be interpreted as the classification of the orbits in the $17$-dimensional projective space of the Segre variety product of a projective line and two projective planes. This extends the classification of the orbits in the $7$-dimensional projective space of the Segre variety product of three projective lines [M. Lavrauw and J. Sheekey: Orbits of the stabiliser group of the Segre variety product of three projective lines, Finite Fields Appl. (2014)]. The proof is geometric in nature, relies on properties of the Segre embedding, and uses the terminology of projective spaces.

We consider the André/Bruck-Bose representation of the projective plane $\mathrm{PG}(2,q^n)$ in $\mathrm{PG}(2n,q)$. We investigate the representation of $\mathbb{F}_{q^k}$-sublines and $\mathbb{F}_{q^k}$-subplanes of $\mathrm{PG}(2,q^n)$, extending the results for $n=3$ of \cite{BarJack2} and correcting the general result of \cite{BarJack1}. We characterise the representation of $\mathbb{F}_{q^k}$-sublines tangent to or contained in the line at infinity, $\mathbb{F}_q$-sublines external to the line at infinity, $\mathbb{F}_q$-subplanes tangent to and $\mathbb{F}_{q^k}$-subplanes secant to the line at infinity.

The BEL-construction for finite semifields was introduced in \cite{BEL2007}; a geometric method for constructing semifield spreads, using so-called BEL-configurations in $V(rn,q)$. In this paper we investigate this construction in greater detail, and determine an explicit multiplication for the semifield associated with a BEL-configuration in $V(rn,q)$, extending the results from \cite{BEL2007}, where this was obtained only for $r=n$. Given a BEL-configuration with associated semifields spread $\mathcal{S}$, we also show how to find a BEL-configuration corresponding to the dual spread $\mathcal{S}^d$. Furthermore, we study the effect of polarities in $V(rn,q)$ on BEL-configurations, leading to a characterisation of BEL-configurations associated to symplectic semifields. We give precise conditions for when two BEL-configurations in $V(n^2,q)$ define isotopic semifields. We define operations which preserve the BEL property, and show how non-isotopic semifields can be equivalent under this operation. We also define an extension of the ```switching'' operation on BEL-configurations in $V(2n,q)$ introduced in \cite{BEL2007}, which, together with the transpose operation, leads to a group of order $8$ acting on BEL-configurations.

In this paper we investigate partial spreads of $H(2n-1,q^2)$ through the related notion of partial spread sets of hermitian matrices, and the more general notion of constant rank-distance sets. We prove a tight upper bound on the maximum size of a linear constant rank-distance set of hermitian matrices over finite fields, and as a consequence prove the maximality of extensions of symplectic semifield spreads as partial spreads of $H(2n-1,q^2)$. We prove upper bounds for constant rank-distance sets for even rank, construct large examples of these, and construct maximal partial spreads of $H(3,q^2)$ for a range of sizes.

We prove that the stabiliser group G of the Segre variety product in PG(V) of three projective lines over a field F has four orbits on singular points of PG(V), and that G has five orbits on points of PG(V) if F is finite.