arXiv++ Combinatorics

We classify the rank two commutative semifields which are 8-dimensional over their center $\mathbb{F}_{q}$. This is done using computational methods utilizing the connection to linear sets in $\mathrm{PG}(2,q^{4})$. We then apply our methods to complete the classification of rank two commutative semifields which are 10-dimensional over $\mathbb{F}_{3}$. The implications of these results are detailed for other geometric structures such as semifield flocks, ovoids of parabolic quadrics, and eggs.

FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups.

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.

This is a survey paper on the theory of scattered spaces in Galois geometry and its applications.

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.

In this paper results are proved with applications to the orbits of $(n-1)$-dimensional subspaces disjoint from a regulus $\cR$ of $(n-1)$-subspaces in $\PG(2n-1,q)$, with respect to the subgroup of $\PGL(2n,q)$ fixing $\cR$. Such results have consequences on several aspects of finite geometry. First of all, a necessary condition for an $(n-1)$-subspace $U$ and a regulus $\cR$ of $(n-1)$-subspaces to be extendable to a Desarguesian spread is given. The description also allows to improve results in \cite{BaJa12} on the André-Bruck-Bose representation of a $q$-subline in $\PG(2,q^n)$. Furthermore, the results in this paper are applied to the classification of linear sets, in particular clubs.

In [U. Dempwolff: \textit{More Translation Planes and Semifields from Dembowski-Ostrom Polynomials}, Designs, Codes, Cryptogr. \textbf{68} (1-3) (2013), 81--103] three classes of rank two presemifields of order $q^{2n}$, with $q$ and $n$ odd, were exhibited, leaving as an open problem the isotopy issue. In [M. Lavrauw, G. Marino, O. Polverino, R. Trombetti: \textit{Solution to an isotopism question concerning rank 2 semifields}, J. Comb. Des., to appear. DOI: 10.1002/jcd.21382], the authors faced with this problem answering the question whether these presemifields are new for $n>3$. In this paper we complete the study solving the case $n=3$.

We define the splash of a subgeometry on a projective line, extending the definition of \cite{BaJa13} to general dimension and prove that a splash is always a linear set. We also prove the converse: each linear set on a projective line is the splash of some subgeometry. Therefore an alternative description of linear sets on a projective line is obtained. We introduce the notion of a club of rank $r$, generalizing the definition from \cite{FaSz2006}, and show that clubs correspond to tangent splashes. We determine the condition for a splash to be a scattered linear set and give a characterization of clubs, or equivalently of tangent splashes. We also investigate the equivalence problem for tangent splashes and determine a necessary and sufficient condition for two tangent splashes to be (projectively) equivalent.

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.

Let $L=\mathbb F_{q^n}$ be a finite field and let $F=\mathbb F_q$ be a subfield of $L$. Consider $L$ as a vector space over $F$ and the associated projective space that is isomorphic to ${\mathrm{PG}}(n-1,q)$. The properties of the projective mapping induced by $x\mapsto x^{-1}$ have been studied in \cite{Cs13,Fa02,Ha83,He85,Bu95}, where it is proved that the image of any line is a normal rational curve in some subspace. In this note a more detailed geometric description is achieved. Consequences are found related to mixed partitions of the projective spaces; in particular, it is proved that for any positive integer $k$, if $q\ge2^k-1$, then there are partitions of ${\mathrm{PG}}(2^k-1,q)$ in normal rational curves of degree $2^k-1$. For smaller $q$ the same construction gives partitions in $(q+1)$-tuples of independent points.

Based on the simple and well understood concept of subfields in a finite field, the technique called `field reduction' has proved to be a very useful and powerful tool in finite geometry. In this paper we elaborate on this technique. Field reduction for projective and polar spaces is formalized and the links with Desarguesian spreads and linear sets are explained in detail. Recent results and some fundamental ques- tions about linear sets and scattered spaces are studied. The relevance of field reduction is illustrated by discussing applications to blocking sets and semifields.

In [U. Dempwolff: More Translation Planes and Semifields from Dembowski-Ostrom Polynomials, Designs, Codes, Cryptogr. \textbf{68} (1-3) (2013), 81-103], the author gives a construction of three classes of rank two semifields of order $q^{2n}$, with $q$ and $n$ odd, using Dembowski-Ostrom polynomials. The question whether these semifields are new, i.e. not isotopic to previous constructions, is left as an open problem. In this paper we solve this problem for $n>3$, in particular we prove that two of these classes, labeled $D_{A}$ and $D_{AB}$, are new for $n>3$, whereas presemifields in family $D_{B}$ are isotopic to Generalized Twisted Fields for each $n\geq 3$.

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.

In this paper, we study the p-ary linear code C(PG(n, q)), q = p^h, p prime, h >= 1, generated by the incidence matrix of points and hyperplanes of a Desarguesian projective space PG(n, q), and its dual code. We link the codewords of small weight of this code to blocking sets with respect to lines in PG(n, q) and we exclude all possible codewords arising from small linear blocking sets. We also look at the dual code of C(PG(n,q)) and we prove that find- ing the minimum weight of the dual code can be reduced to finding the minimum weight of the dual code of points and lines in PG(2, q). We present an improved upper bound on this minimum weight and we show that we can drop the divisibility condition on the weight of the codewords in Sachar's lower bound [12].

In this paper, we study the p-ary linear code Ck(n, q), q = ph, p prime, h >= 1, generated by the incidence matrix of points and k-dimensional spaces in PG(n, q). For k >= n/2, we link codewords of Ck(n, q)\Ck(n, q) of weight smaller than 2q^k to k-blocking sets. We first prove that such a k-blocking set is uniquely reducible to a minimal k-blocking set, and exclude all codewords arising from small linear k-blocking sets. For k < n/2, we present counterexamples to lemmas valid for k >= n/2. Next, we study the dual code of Ck(n, q) and present a lower bound on the weight of the codewords, hence extending the results of Sachar [12] to general dimension.

In this paper, we show that a small minimal k-blocking set in PG(n, q3), q = p^h, h >= 1, p prime, p >=7, intersecting every (n-k)-space in 1 (mod q) points, is linear. As a corollary, this result shows that all small minimal k-blocking sets in PG(n, p^3), p prime, p >=7, are Fp-linear, proving the linearity conjecture (see [7]) in the case PG(n, p3), p prime, p >= 7.

Let Ck(n, q) be the p-ary linear code defined by the incidence matrix of points and k-spaces in PG(n, q), q = p^h, p prime, h >= 1. In this pa- per, we show that there are no codewords of weight in the open interval ] q^{k+1}-1/q-1, 2q^k[ in Ck(n, q) \ Cn-k(n, q) which implies that there are no codewords with this weight in Ck(n, q) \ Ck(n, q) if k >= n/2. In par- ticular, for the code Cn-1(n, q) of points and hyperplanes of PG(n, q), we exclude all codewords in Cn-1(n, q) with weight in the open interval ] q^n-1/q-1, 2q^n-1[. This latter result implies a sharp bound on the weight of small weight codewords of Cn-1(n, q), a result which was previously only known for general dimension for q prime and q = p2, with p prime, p > 11, and in the case n = 2, for q = p^3, p >= 7 ([4],[5],[7],[8]).