Abstract
In this paper, we present results concerning the stabilizer \(G_f\) in \({{\,\mathrm{{GL}}\,}}(2,q^n)\) of the subspace \(U_f=\{(x,f(x)):x\in \mathbb {F}_{q^n}\}\), f(x) a scattered linearized polynomial in \(\mathbb {F}_{q^n}[x]\). Each \(G_f\) contains the \(q-1\) maps \((x,y)\mapsto (ax,ay)\), \(a\in \mathbb {F}_{q}^*\). By virtue of the results of Beard (Duke Math J, 39:313–321, 1972) and Willett (Duke Math J 40(3):701–704, 1973), the matrices in \(G_f\) are simultaneously diagonalizable. This has several consequences: (i) the polynomials such that \(|G_f|>q-1\) have a standard form of type \(\sum _{j=0}^{n/t-1}a_jx^{q^{s+jt}}\) for some s and t such that \((s,t)=1\), \(t>1\) a divisor of n; (ii) this standard form is essentially unique; (iii) for \(n>2\) and \(q>3\), the translation plane \(\mathcal {A}_f\) associated with f(x) admits nontrivial affine homologies if and only if \(|G_f|>q-1\), and in that case those with axis through the origin form two groups of cardinality \((q^t-1)/(q-1)\) that exchange axes and coaxes; (iv) no plane of type \(\mathcal {A}_f\), f(x) a scattered polynomial not of pseudoregulus type, is a generalized André plane.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A scattered polynomial is an \(\mathbb {F}_{q}\)-linearized polynomial \(f(x)=\sum _{i=0}^{n-1}a_ix^{q^i}\in \mathbb {F}_{q^n}[x]\) such that for any \(y,z\in \mathbb {F}_{q^n}\) the condition \(zf(y)-yf(z)=0\) implies that y and z are \(\mathbb {F}_{q}\)-linearly dependent. Scattered polynomials have been investigated for about 20 years because of their interest in various combinatorial contexts, such as blocking sets, planar spreads and the related translation planes [10, 23], and rank distance codes (RD codes), see [29] for a survey. The RD codes are codes in which words are matrices and the distance between two matrices A and B is \({{\,\textrm{rk}\,}}(A-B)\). For an RD code \({{\,\mathrm{\mathcal {C}}\,}}\) in \(\mathbb {F}_{q}^{m\times n}\), an inequality analogous to Singleton’s one holds:
where d is the minimum distance of \({{\,\mathrm{\mathcal {C}}\,}}\). As it follows immediately from the definition of a scattered polynomial f(x), the set \({{\,\mathrm{\mathcal {C}}\,}}_f=\langle x,f(x)\rangle _{\mathbb {F}_{q^n}}\) (seen as a subset of \({{\,\textrm{End}\,}}_{\mathbb {F}_{q}}(\mathbb {F}_{q^n})\)) is a set of \(\mathbb {F}_{q}\)-linear endomorphisms of \(\mathbb {F}_{q^n}\) having rank at least \(n-1\) and therefore the equality holds in (1). In other words, \({{\,\mathrm{\mathcal {C}}\,}}_f\) is a maximum rank distance code, or MRD code (see [32]). One aspect of scattered polynomials that makes them interesting objects of research is that they are rare. In fact, there are only three families of scattered polynomials defined for infinite values of n: those of pseudoregulus type [9, 22], the Lunardon-Polverino polynomials [23,24,25, 31], and the polynomials described in [19, 21, 28]. See [3, 5] for asymptotic results in this direction. In Sect. 3 of this paper we derive some results on the stabilizer in \({{\,\mathrm{{GL}}\,}}(2,q^n)\) of the \(\mathbb {F}_{q}\)-subspace \(U_f=\{(x,f(x)):x\in \mathbb {F}_{q^n}\}\) associated with a scattered polynomial f(x), which are essential for the main results contained in the following sections. In Sect. 4, we consider the class \({{\,\mathrm{\mathcal {S}}\,}}_{n,q}\) of the scattered polynomials such that the stabilizer of \(U_f\) has size greater than \(q-1\). Any polynomial in \({{\,\mathrm{\mathcal {S}}\,}}_{n,q}\) admits a standard form \(h(x)=\sum _{j=0}^{n/t-1}c_jx^{q^{s+jt}}\), \(t>1\), i.e., for any \(f(x)\in {{\,\mathrm{\mathcal {S}}\,}}_{n,q}\) the subspace \(U_f\) is in the same orbit of \(U_h\) under the action of \({{\,\mathrm{{GL}}\,}}(2,q^n)\). Furthermore, such standard form is essentially unique. In Sect. 5, we consider the translation planes associated with scattered polynomials, as defined in [10]. We find that if f(x) is not in \({{\,\mathrm{\mathcal {S}}\,}}_{n,q}\), then the plane \(\mathcal {A}_f\) has no affine central collineations. If on the contrary \(f(x)\in {{\,\mathrm{\mathcal {S}}\,}}_{n,q}\), then there are only two centers of affine homologies of \(\mathcal {A}_f\). The related two groups of homologies in \({{\,\mathrm{{GL}}\,}}(2,q^n)\) are such that those in one group have axes and coaxes that are, respectively, coaxes and axes of the homologies in the other group.
2 Preliminaries and notation
In this section, some fundamental notions about linear sets of the finite projective line are recalled. The reader may refer to the surveys [29, 30]. Throughout this paper, q denotes a power of a prime p. Moreover, in the following for a set S of field elements (or vectors), we denote by \(S^*\) the set of nonzero elements (nonzero vectors) of S. Let \(r,n\in {\mathbb {N}}\), \(r>0\), \(n>1\). Let U be an r-dimensional \(\mathbb {F}_{q}\)-subspace of the (2n)-dimensional vector space \(V(\mathbb {F}_{q^n}^2,\mathbb {F}_{q})\). The following subset of \({{\,\mathrm{{PG}}\,}}(\mathbb {F}_{q^n}^2,\mathbb {F}_{q^n})={{\,\mathrm{{PG}}\,}}(1,q^n)\)
is called \(\mathbb {F}_{q}\)-linear set (or just linear set) of rank r. The linear set \(L_U\) is scattered if it has the maximum possible size related to the given q and r, that is, \(|L_U|=(q^r-1)/(q-1)\). Equivalently, \(L_U\) is scattered if and only if
Any \(\mathbb {F}_{q}\)-subspace U satisfying (2) is a scattered \(\mathbb {F}_{q}\)-subspace.
Clearly, any \(\mathbb {F}_{q}\)-linear set in \({{\,\mathrm{{PG}}\,}}(1,q^n)\) of rank greater than n coincides with \({{\,\mathrm{{PG}}\,}}(1,q^n)\). So, the linear sets of rank n are called linear sets of maximum rank. They are associated with linearized polynomials. An \(\mathbb {F}_{q}\)-linearized polynomial, or q-polynomial, in \(\mathbb {F}_{q^n}[x]\) is of type \(f(x)=\sum _{i=0}^ka_ix^{q^i}\) (\(k\in {\mathbb {N}}\)). If \(a_k\ne 0\), then k is the q-degree of f(x). It is well known that the \(\mathbb {F}_{q}\)-linearized polynomials of q-degree less than n in \(\mathbb {F}_{q^n}[x]\) are in one-to-one correspondence with the endomorphisms of the vector space \(V(\mathbb {F}_{q^n},\mathbb {F}_{q})\) (see [18, Chapter 3] and [29, Subsection 3.1]).
Let \(f(x)\in \mathbb {F}_{q^n}[x]\) be an \(\mathbb {F}_{q}\)-linearized polynomial and define
and \(L_f=L_{U_f}\). Such \(L_f\) is an \(\mathbb {F}_{q}\)-linear set of maximum rank of \({{\,\mathrm{{PG}}\,}}(1,q^n)\), and is scattered if and only if f(x) is. Two \(\mathbb {F}_{q}\)-linearized polynomials f(x) and g(x) in \(\mathbb {F}_{q^n}[x]\) are said to be \({{\,\mathrm{{GL}}\,}}\)-equivalent (or \({{\,\mathrm{\Gamma L}\,}}\)-equivalent) when a \(\phi \) in \({{\,\mathrm{{GL}}\,}}(2,q^n)\) (resp. in \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\)) exists such that \(U_f^\phi =U_g\).
Since \({{\,\mathrm{{PGL}}\,}}(2,q^n)\) acts 3-transitively on \({{\,\mathrm{{PG}}\,}}(1,q^n)\), any linear set of maximum rank is projectively equivalent to an \(L_U\) such that \(\langle (0,1)\rangle _{\mathbb {F}_{q^n}}\notin L_U\). Therefore, a linearized polynomial f(x) exists such that \(U=U_f\).
By abuse of notation, \(L_f\) will also denote the set \(\{f(x)/x:x\in \mathbb {F}_{q^n}^*\}\) of the nonhomogeneous projective coordinates of the points belonging to the set \(L_f\).
We will now introduce some more elements that will be investigated in this paper. For more details on the relationship between scattered polynomials and translation planes see [10]. We adopt the notation \(G_{\{T\}}\) for the setwise stabilizer of \(T\subseteq S\) under the action of a group G acting on S. Let \(G_f={{\,\mathrm{{GL}}\,}}(2,q^n)_{\{U_f\}}\), and \(G_f^\circ =G_f\cup \{O\}\), where O is the zero \(2\times 2\) matrix.
3 The stabilizer of a scattered subspace of \(\mathbb {F}_{q^n}^2\)
3.1 Algebraic properties and representation as right idealizer
Regarding main definitions on MRD codes, the reader can refer to [19, 29, 32]. Below we will recall just a few definitions, useful for understanding the next sections. Let \({{\,\mathrm{\mathcal {C}}\,}}\subseteq \mathbb {F}_{q}^{m \times n}\) be a rank distance code, its left idealizer and right idealizer are defined as
and
respectively. When \({{\,\mathrm{\mathcal {C}}\,}}\subseteq \mathbb {F}_{q}^{m \times n}\), \(m \le n\), is a linear MRD code with minimum distance d, i.e., an optimal code which is a vector space over \(\mathbb {F}_q\), it is well known that \(I_L({{\,\mathrm{\mathcal {C}}\,}})\) is a field with \( q \le |I_L({{\,\mathrm{\mathcal {C}}\,}}) |\le q^m\); moreover, if \(\max \{d, m - d + 2\} \ge \left\lfloor \frac{n}{2} \right\rfloor + 1\), its right idealizer \(I_R({{\,\mathrm{\mathcal {C}}\,}})\) is a field as well, with \(q \le |I_R({{\,\mathrm{\mathcal {C}}\,}})| \le q^n\) (see [24, Theorem 5.4] and [29, Result 3.4]). Actually, if these are fields, they are isomorphic to subfields of \(\mathbb {F}_{q^m}\) and \(\mathbb {F}_{q^n}\), respectively. As a matter of fact, for any subfield \({\mathcal {M}}\) of \(\mathbb {F}_q^{r\times r}\) containing the identity matrix, \(\mathbb {F}_q^r\) is a right vector space over \({\mathcal {M}}\) with exterior product \( {\textbf{x}} M\), for \({\textbf{x}}\in \mathbb {F}_q^r\) and \(M\in {\mathcal {M}}\). Then the following holds:
Theorem 3.1
Let \({{\,\mathrm{\mathcal {C}}\,}}\subseteq \mathbb {F}_q^{m \times n}\) be a linear rank distance code. If \(I_L({{\,\mathrm{\mathcal {C}}\,}})\) (resp. \(I_R({{\,\mathrm{\mathcal {C}}\,}})\)) is a field, then it is isomorphic to a subfield of \(\mathbb {F}_{q^m}\) (resp. \(\mathbb {F}_{q^n})\).
Given a scattered polynomial f(x), the set of q-polynomials
defines a linear MRD code of minimum distance \(n-1\) over \(\mathbb {F}_q\). Recall that, given two scattered polynomials f(x) and g(x) over \(\mathbb {F}_{q^n}\), the corresponding MRD codes \({{\,\mathrm{\mathcal {C}}\,}}_f\) and \({{\,\mathrm{\mathcal {C}}\,}}_g\) are equivalent if there exist invertible \(L_1\), \(L_2\in {{\,\textrm{End}\,}}_{\mathbb {F}_{q}}(\mathbb {F}_{q^n})\) and \(\rho \in {{\,\mathrm{{Aut}}\,}}(\mathbb {F}_{q})\) such that
where \(\circ \) stands for the composition of maps and \(\varphi ^\rho (x)= \sum a_i^\rho x^{q^i}\) for \(\varphi (x)=\sum a_i x^{q^i}\). We denote by \((L_1, L_2, \rho )\) the equivalence defined above. In [31], the equivalence between two codes \({{\,\mathrm{\mathcal {C}}\,}}_f\) and \({{\,\mathrm{\mathcal {C}}\,}}_g\) is related to the \({{\,\mathrm{\Gamma L}\,}}\)-equivalence of the subspaces \(U_f\) and \(U_g\), precisely
Theorem 3.2
[31, Theorem 8] Let f(x) and g(x) be scattered linearized polynomials. Then \({{\,\mathrm{\mathcal {C}}\,}}_f\) and \({{\,\mathrm{\mathcal {C}}\,}}_g\) are equivalent if and only if f(x) and g(x) are \({{\,\mathrm{\Gamma L}\,}}\)-equivalent.
If a rank distance code \({{\,\mathrm{\mathcal {C}}\,}}\) is given as a subset of \({{\,\textrm{End}\,}}_{\mathbb {F}_{q}}(\mathbb {F}_{q^n})\), then the notion of left and right idealizer can be rephrased in this setting as follow
and
respectively. By [24, Corollary 5.6] and Theorem 3.1, both are isomorphic to subfields of \(\mathbb {F}_{q^n}\). Note that any MRD code \({{\,\mathrm{\mathcal {C}}\,}}_f\) associated with a scattered polynomial f(x) has \(I_L({{\,\mathrm{\mathcal {C}}\,}}_f)\) isomorphic to the field \(\mathbb {F}_{q^n}\).
Proposition 3.3
[19, Lemma 4.1] Let \(\mathcal {L}_{n,q}\) be the \(\mathbb {F}_{q}\)-vector space of all q-polynomials with q-degree less than n. Let \(f(x) \in \mathcal {L}_{n,q}\) and denote \({{\,\mathrm{\mathcal {C}}\,}}_f\) the associated MRD code. Then \({{\,\mathrm{{Aut}}\,}}({{\,\mathrm{\mathcal {C}}\,}}_f)\) consists of elements of the type
with invertible L, \(\alpha \in \mathbb {F}_{q^n}^*\), \(m \in \{0,1,\ldots , n-1\}\) and \(\sigma \in {{\,\mathrm{{Aut}}\,}}(\mathbb {F}_{q})\) such that \({{\,\mathrm{\mathcal {C}}\,}}_{f^{\sigma q^m}} \circ x^{q^m}\circ L= {{\,\mathrm{\mathcal {C}}\,}}_f\).
For any \(\alpha \in \mathbb {F}_{q^n}^*\), \(m \in \{0,1,\ldots ,n-1\}\) and \(\sigma \in {{\,\mathrm{{Aut}}\,}}(\mathbb {F}_{q})\), there is a bijection between the set of all L such that \((\alpha x^{q^m}, L, \sigma ) \in {{\,\mathrm{{Aut}}\,}}(\mathcal {C}_f)\) and all linear isomorphism between \(U_f\) to \(U_{f^{\sigma q^m}}\). Furthermore, \(I_R({{\,\mathrm{\mathcal {C}}\,}}_f)^*\) and \(G_f\) are isomorphic groups.
Remark 3.4
It is straightforward to verify that the group isomorphism constructed in [19, Lemma 4.1] can be extended to a field isomorphism between \(I_R({{\,\mathrm{\mathcal {C}}\,}}_f)\) and \(G^\circ _f\). In particular, \(|G^\circ _f|=q^t\), where t divides n.
Theorem 3.5
[12, Theorem 2.2] Let \({{\,\mathrm{\mathcal {C}}\,}}\) be an \(\mathbb {F}_q\)-subspace of \(\mathcal {L}_{n,q}\). Assume that one of the left and right idealizers of \({{\,\mathrm{\mathcal {C}}\,}}\) is isomorphic to \(\mathbb {F}_{q^n}\). Then there exists an integer k such that \(|{{\,\mathrm{\mathcal {C}}\,}}|=q^{kn}\) and \({{\,\mathrm{\mathcal {C}}\,}}\) is equivalent to
where \(0\le t_0<t_1<\cdots <t_{k-1}\le n-1\) and the \(g_j\)’s are \(\mathbb {F}_q\)-linear functions from \(\mathbb {F}_{q^n}^k\) to \(\mathbb {F}_{q^n}\). If the other idealizer of \({{\,\mathrm{\mathcal {C}}\,}}\) is also isomorphic to \(\mathbb {F}_{q^n}\), then \({{\,\mathrm{\mathcal {C}}\,}}\) is equivalent to
Proposition 3.6
If \(f(x)\in \mathbb {F}_{q^n}[x]\) is a scattered polynomial not \({{\,\mathrm{\Gamma L}\,}}\)-equivalent to a polynomial of pseudoregulus type, then \(G_f^\circ \) is a subring of \(\mathbb {F}_{q^n}^{2\times 2}\) isomorphic to a proper subfield \(\mathbb {F}_{q^t}\) of \(\mathbb {F}_{q^n}\).
Proof
By Proposition 3.3 the subring \(G_f^\circ \) of \(\mathbb {F}_{q^n}^{2 \times 2}\) is a field isomorphic to the right idealizer of the MRD code \(\mathcal {C}_{f}\) associated with f. If this is not isomorphic to a proper subfield of \(\mathbb {F}_{q^n}\), then by Theorem 3.5, \({{\,\mathrm{\mathcal {C}}\,}}_f\) is equivalent to the MRD \(\langle x, x^{q^\ell } \rangle _{\mathbb {F}_{q^n}}\) for some \(\ell \in \{0,1,\ldots ,n-1\}\) with \((\ell ,n)=1\). By Theorem 3.2, f is equivalent to a scattered polynomial of pseudoregulus type, a contradiction. \(\square \)
3.2 Stabilizers of all known maximum scattered subspaces
In this section we present all known scattered polynomials along with the stabilizers of their related subspaces, up to one case that we will deal with in Sect. 4. As usual, \({{\,\textrm{N}\,}}_{q^n/q^t}(x)=x^{(q^n-1)/(q^t-1)}\), t a divisor of n, denotes the norm of \(x\in \mathbb {F}_{q^n}\) over \(\mathbb {F}_{q^t}\). We will identify any nonsingular matrix \(A\in \mathbb {F}_{q^n}^{2\times 2}\) with the map
in \({{\,\mathrm{{GL}}\,}}(2,q^n)\).
1. \(f(x)=x^{q^s}\), \((s,n)=1\) (pseudoregulus type). In this case
Cf. [11].
2. \(f(x)=x^{q^s}+\delta x^{q^{n-s}}\), \((s,n)=1\), \(n>3\), \({{\,\textrm{N}\,}}_{q^n/q}(\delta )\ne 0,1\) (Lunardon-Polverino type). For even n:
For odd n:
Cf. [11].
3. \(f(x)=\delta x^{q^s}+x^{q^{s+n/2}}\), \( n \in \{6, 8\}\), \((s, n/2) = 1\), \({{\,\textrm{N}\,}}_{q^n/q^{n/2}} (\delta ) \not \in \{0, 1\}\), with some conditions on \(\delta \) and q. In this case
Cf. [11].
4. \(f(x)=x^{q}+x^{q^{3}}+\delta x^{q^{5}} \in \mathbb {F}_{q^6}[x]\), with \(\delta ^2+\delta =1\) for q odd; some conditions on \(\delta \) and q, for q even. In this case
\(n = 2t\), \(t \ge 3\), \((s,n)=1\), q odd, \({{\,\textrm{N}\,}}_{q^n/q^t}(h)=-1\). Cf. [19, 21, 28]. The stabilizer is described below for \(t>4\). We add a proof since the description in the quoted works is not completely explicit.
Proposition 3.7
[19, 28] Let \(\psi _{h,t,s}\) be the scattered linearized polynomial in (4). Assume \(t>4\). Then
if t is even, and
if t is odd. In particular for \(h \in \mathbb {F}_{q^t}\)
Proof
Let \(\begin{pmatrix} \alpha &{} \beta \\ \gamma &{} \delta \end{pmatrix}\) be an element in \(G_{\psi _{h,t,s}}\). Then
As in the proof of [28, Proposition 4.13] and [19, Theorem 4.2], one obtains that \(\alpha \in \mathbb {F}_{q^2}\) and \(\beta =\gamma = 0\), if t is even, and \(\alpha \in \mathbb {F}_{q}\) and
where \(\xi ^{q^s}+\xi =0\), if t is odd. Matching the coefficient of x in both sides, one gets
Then, by (6), one obtains
\(\square \)
Remark 3.8
Proposition 3.7 can be extended to \(t\ge 3\). Indeed, for \(t=3\), it is enough to note that any matrix of the set in the right-hand side of Formula (5) stabilizes \(U_{\psi _{h,3,s}}\). Then the stabilizer in \({{\,\mathrm{{GL}}\,}}(2,q^n)\) of \(U_{\psi _{h,3,s}}\) coincides with this set, since it has to be a proper subfield of \(\mathbb {F}_{q^6}\) (cf. Proposition 3.6) and contains a matrix field of order \(q^2\). For \(t=4\), see Remark 4.4.
Remark 3.9
Proposition 3.7, Remark 3.8 and 4.4 extend [6, Proposition 7.8, Corollary 7.9 and 7.10] for \(h \in \mathbb {F}_{q^n} {\setminus } \mathbb {F}_{q^t}\).
3.3 Simultaneous diagonalization
In [33], Willett specialized the results in [7, 8] and characterized all subrings \(\mathcal {M}\) of \(r \times r\) matrices over a finite field which are fields. We will briefly recall the main results in [33].
Let \(\mathbb {F}_{q}^{r \times r}\) be the ring of all square matrices of order r over the finite field \(\mathbb {F}_{q}\), \(q=p^e\) and consider \(\mathcal {F}_{q,r}\) the collection of all subsets of \(\mathbb {F}_{q}^{r \times r}\) which are fields with the matrix addition and multiplication inherited from \(\mathbb {F}_{q}^{r \times r}\). Clearly, since the scalar matrices of \(\mathbb {F}_{q}^{r \times r}\) form a matrix field, \(\mathcal {F}_{q,r}\) is not empty.
Note that a matrix field \(\mathcal {M}\) does not need to have the identity matrix \(I_r \in \mathbb {F}_{q}^{r \times r}\) as its own identity, and hence the invertibility of a matrix in \(\mathcal {M}\) is not equivalent to non-singularity. Moreover, each nonzero matrix in \(\mathcal {M}\) has the same rank of its identity element.
A monic polynomial
is called primitive if it has a primitive element of the extension \(\mathbb {F}_{q^{k}}\) as root.
Theorem 3.10
[33, Theorem 1] Let \(\mathcal {M} \subseteq \mathbb {F}_{q}^{r\times r}\), \(|\mathcal {M}|=p^k\), for some \(k \ge 1\). Then \(\mathcal {M}\) is a field if and only if
for some matrix A which is similar over \(\mathbb {F}_{q}\) to a matrix of the form \(\textrm{diag}(0,\ldots ,0,D)\), with \(D \in \mathbb {F}_{q}^{\ell \times \ell }\) satisfying \(f(D)=O\), where \(f(x)=x^k-a_1x^{k-1}-\ldots -a_k\) is a primitive polynomial over \(\mathbb {F}_{p}\).
Lemma 3.11
[33, Lemma 3] Let f(x) be a monic irreducible polynomial of degree k over \(\mathbb {F}_p\) and let \(d= (k,e)\). Then f(x) factors into d irreducible polynomials \(f_i(x)\), \(0 \le i \le d-1\), \(\deg f_i(x)=k/d\), over \(\mathbb {F}_{q}=\mathbb {F}_{p^e}\).
Theorem 3.12
[33, Theorem 2] If D is an \(\ell \times \ell \) matrix over \(\mathbb {F}_{q}\) such that \(f(D)=O\) where f(x) is a monic irreducible polynomial of degree k over \(\mathbb {F}_p\), then D is similar over \(\mathbb {F}_{q}\) to a matrix of the form
with \(D_i=\textrm{diag}(C(f_i),C(f_i),\ldots ,C(f_i))\), where \(C(f_i)\) is the companion matrix of the irreducibile factor \(f_i(x)\) of f(x).
Theorem 3.13
Let \(\mathcal {M}\) be a matrix field in \(\mathbb {F}_{q^n}^{2\times 2}\) isomorphic to \(\mathbb {F}_{q^t}\), \(1 \le t \le n\), t a divisor of n. If \(\mathcal {M}\) contains a nonsingular matrix, then there is \(P\in {{\,\mathrm{{GL}}\,}}(2,q^n)\) such that
where \(\sigma \in {{\,\mathrm{{Aut}}\,}}(\mathbb {F}_{q^t})\). In addition if \({{\,\textrm{diag}\,}}(x,x) \in \mathcal {M}\) for any \(x \in \mathbb {F}_{q}\), then \(\sigma \in {{\,\textrm{Gal}\,}}(\mathbb {F}_{q^t}| \mathbb {F}_{q})\).
Proof
Since \(\mathcal {M} \in \mathcal {F}_{q^n,2}\) and all its matrices are invertible, the matrix A in (7) is similar over \(\mathbb {F}_{q^n}\) to a matrix \(D \in \mathbb {F}_{q^n}^{2 \times 2}\) satisfying \(f(D)=O\) where f(x) is a primitive polynomial over \(\mathbb {F}_p\) and its degree is \(k=et\). Now, by Lemma 3.11, f(x) factors in \(\mathbb {F}_{q^n}\) into \( (et,en)=et=k\) polynomials of degree 1. Then \(f_i(x)=x-\omega ^{p^i}\) with \( 0 \le i \le k-1\) and \(\omega \) is a primitive element of \(\mathbb {F}_{q^t}^*\).
By Theorem 3.12, the matrix D is similar over \(\mathbb {F}_{q^n}\) to a matrix of form as in (8). We have to distinguish two cases:
- i):
-
\(\tau =0\), then D is similar over \(\mathbb {F}_{q^n}\) to a matrix
$$\begin{aligned} D_{n_0}={{\,\textrm{diag}\,}}(C(f_{n_0}),C(f_{n_0}))=\textrm{diag}(\omega ^{p^{n_0}},\omega ^{p^{n_0}}) \end{aligned}$$and hence there exists a matrix \(P \in {{\,\mathrm{{GL}}\,}}(2,q^n)\) such that
$$\begin{aligned} P\mathcal {M} P^{-1}=\{\textrm{diag}(x,x) :x \in \mathbb {F}_{q^t}\}. \end{aligned}$$ - ii):
-
\(\tau =1\), then D is similar over \(\mathbb {F}_{q^n}\) to a matrix
$$\begin{aligned} \textrm{diag}(C(f_{n_0}),C(f_{n_1}))=\textrm{diag}(\omega ^{p^{n_0}},\omega ^{p^{n_1}}). \end{aligned}$$Denoted by \(\sigma \) the map \(x \in \mathbb {F}_{q^t}\longmapsto x^{p^{n_1-n_0}} \in \mathbb {F}_{q^t}\) and noted that
$$\begin{aligned} \textrm{diag}(\omega ^{ip^{n_0}},\omega ^{ip^{n_1}})=\textrm{diag}(x, x^{\sigma }) \end{aligned}$$for \(x=\omega ^{ip^{n_0}}\), one gets that there exists a matrix \(P \in {{\,\mathrm{{GL}}\,}}(2,q^n)\) such that
$$\begin{aligned} P\mathcal {M} P^{-1}=\{\textrm{diag}(x,x^{\sigma }) :x \in \mathbb {F}_{q^t}\}. \end{aligned}$$
Finally, if \({{\,\textrm{diag}\,}}(x,x) \in \mathcal {M}\) for any \(x \in \mathbb {F}_{q}\), then \(\mathcal {M}\) is an \(\mathbb {F}_{q}\)-algebra and the automorphism \(\sigma \) belongs to \({{\,\textrm{Gal}\,}}(\mathbb {F}_{q^t}| \mathbb {F}_{q})\). \(\square \)
Moreover, by (9), the matrix P diagonalizes all matrices of the matrix field \(\mathcal {M}\) and its rows are linearly independent eigenvectors \(v_1,v_2 \in \mathbb {F}_{q^n}^2 {\setminus } \{(0,0)\}\) of all matrices in \(\mathcal {M}\).
Example 3.14
Let \(t=n/2\) be an odd integer, \(t \ge 3\) and \(\psi (x)=\psi _{h,t,s}(x)\) as in (4). Let \(\theta =h^{q^s}+h^{q^{s(t-1)}}\) and
By (5)
Noting
leads to
In conclusion, \(G_\psi ^\circ \) is a subring of \(\mathbb {F}_{q^n}^{2\times 2}\) isomorphic to \(\mathbb {F}_{q^2}\).
We prove the following result for future reference.
Proposition 3.15
Let \(P_1=\langle v_1 \rangle _{\mathbb {F}_{q^n}}\) and \(P_2=\langle v_2 \rangle _{\mathbb {F}_{q^n}}\) be points of \({{\,\mathrm{{PG}}\,}}(1,q^n)\), and let \(f(x)\in \mathbb {F}_{q^n}[x]\) be a scattered polynomial. If \(v_1\) and \(v_2\) are eigenvectors of all matrices in \(G_f\) and \(G_f^\circ \) is not isomorphic to \(\mathbb {F}_{q}\), then \(P_i \not \in L_f\) for \(i=1,2\).
Proof
Let \(t>1\), \(t \mid n\) and \(|G_f| = q^t-1\). Since f(x) is scattered,
and so \(G_f\) induces a group \(\tilde{G}_f\) in \({{\,\mathrm{{PGL}}\,}}(2,q^n)\) of order \((q^t-1)/(q-1)\). Let \(\varphi \in \tilde{G}_f\), if \(\varphi \) fixes \(P_1\), \(P_2\) and a point \(X \in L_f \setminus \{P_1,P_2\}\), then \(\varphi =\textrm{id}\). Hence the orbit of such a point under the action of \(\tilde{G}_f\) has order \((q^t-1)/(q-1)\). Then this number divides the size of \(L_f \setminus \{P_1,P_2\}\). Since \((q^t-1)/(q-1)\) divides \(|L_f|\) as well, if \( 1 \le |L_f \cap \{P_1,P_2\}| \le 2\), then \((q^t-1)/(q-1) \in \{1,2\}\), a contradiction. \(\square \)
4 Standard form
From now on \({{\,\mathrm{\mathcal {S}}\,}}_{n,q}\) will denote the set of all scattered polynomials \(f(x)\in \mathbb {F}_{q^n}[x]\) such that \(G_f^\circ \) is not isomorphic to \(\mathbb {F}_{q}\).
Definition 4.1
Let \(h(x)=\sum _{i=0}^{n-1}b_ix^{q^i}\) be a scattered polynomial,
and let \(t_h\) be the greatest common divisor of \(\Delta _h\). If \(t_h>1\) then h(x) is in standard form.
For instance, if \(h(x)=x^q+\delta x^{q^{n-1}}\in \mathbb {F}_{q^n}[x]\), \({{\,\textrm{N}\,}}_{q^n/q}(\delta )\ne 0,1\), n even, then \(\Delta _h=\{2,n-2,n\}\) and \(t_h=2\). So, h(x) is in standard form. On the other hand if n is odd, the same h(x) is not in standard form.
Remark 4.2
If h(x) is in standard form, then
where \(t=t_h\) divides n, and \(0\le s<t\). More precisely, s is coprime with t, otherwise h(x) would be \(\mathbb {F}_{q^r}\)-linear for \(r=(s,t)\) contradicting the property to be scattered.
Theorem 4.3
Let h(x) be a scattered polynomial over \(\mathbb {F}_{q^n}\). The following statements are equivalent:
-
(i)
\(|G_h^\circ |=q^T\), \(T>1\), and all elements of \(G_h\) are diagonal;
-
(ii)
h(x) is in standard form.
If the conditions (i), (ii) above hold, then \(T=t_h\) and
where s is as in (10).
Proof
Assume (i). Then, by Remark 3.4, T divides n. By Theorem 3.13, \(PG_h^\circ P^{-1}\) is in the form (9) for some nonsingular matrix P, and this implies that \(G_h^\circ \) is the set of all \({{\,\textrm{diag}\,}}(\alpha ,\alpha ^{q^s})\) with \(\alpha \in \mathbb {F}_{q^T}\) for some integer s, \(0\le s<T\). Let \(\omega \in \mathbb {F}_{q^T}\) such that \(\mathbb {F}_{q}(\omega )=\mathbb {F}_{q^T}\). Since \(G_h\) stabilizes the scattered subspace \(U_h\), one gets that
This implies that if \(h(x)=\sum _{i=0}^{n-1}b_ix^{q^{i}}\), then
So, if \(b_i \not =0\), we have \(\omega ^{q^{n+i-s}}=\omega \) and \(\omega \in \mathbb {F}_{q^{ (T,i-s)}}\). Then \(T | (i-s)\), so h(x) is in standard form. Note that T divides \(t_h\).
Next assume (ii), and so (10) holds with \(t=t_h>1\) and \((s,t)=1\). Then it can be directly checked that \({{\,\textrm{diag}\,}}(\alpha ,\alpha ^{q^s})\in G_h\) for all \(\alpha \in \mathbb {F}_{q^{t}}^*\). If \(\alpha \in \mathbb {F}_{q^{t}}\setminus \mathbb {F}_{q}\), then the only eigenvectors of \({{\,\textrm{diag}\,}}(\alpha ,\alpha ^{q^s})\) are in \(\langle (1,0)\rangle _{\mathbb {F}_{q^n}}\) and \(\langle (0,1)\rangle _{\mathbb {F}_{q^n}}\). Since the elements of \(G_h\) are simultaneously diagonalizable, such eigenvectors are common to all matrices of \(G_h\). Also, \(t_h\le T\), that together with \(T|t_h\) gives \(T=t_h\). \(\square \)
Remark 4.4
Since for even t the polynomial \(\psi _{h,t,s}(x)\) is in standard form, it follows from Theorem 4.3 that Proposition 3.7 holds also for \(t=4\).
Theorem 4.5
Any scattered polynomial in standard form is bijective.
Proof
A scattered polynomial in standard form is \(\mathbb {F}_{q^t}\)-semilinear where \(t > 1\), this implies that its kernel is an \(\mathbb {F}_{q^t }\)-subspace of \(\mathbb {F}_{q^n}\) and so it must be bijective. \(\square \)
Remark 4.6
Note that if h(x) is in standard form, then \(h(x)=g(x^{q^s})\) where g(x) is an \(\mathbb {F}_{q^t}\)-linearized polynomial. Such g(x) is an R-\(q^s\)-partially scattered polynomial according to the definition given in [20]. Indeed, suppose
with \(y,z \in \mathbb {F}_{q^n}^*\). Since g(x) is injective, putting \(y=y_0^{q^s}\) and \(z=z_0^{q^s}\), one gets
and so
Since h(x) is scattered, we have \(y_0/z_0=y/z \in \mathbb {F}_{q}\).
Corollary 4.7
Let f(x) be a scattered polynomial in \({{\,\mathrm{\mathcal {S}}\,}}_{n,q}\). Then f(x) is \({{\,\mathrm{{GL}}\,}}\)-equivalent to a polynomial h(x) in standard form.
Proof
There is a nonsingular matrix P such that \(PG_f^\circ P^{-1}\) is equal to the right-hand side of (11) for some integer s. The map \(\varphi : X \mapsto XP^{-1}\) maps \(U_f\) into an n-dimensional \(\mathbb {F}_{q}\)-subspace U. The stabilizer of U in \({{\,\mathrm{{GL}}\,}}(2,q^n)\) is the multiplicative group of the field (11). Therefore, if \((0,y)\in U\) for some \(y\in \mathbb {F}_{q^n}^*\), then \((0,\alpha y)\in U\) for all \(\alpha \in \mathbb {F}_{q^t}\), contradicting the scatteredness of f(x). As a consequence, \(U=U_h\), with h(x) a scattered \(\mathbb {F}_{q}\)-linearized polynomial, and \(G_h=PG_fP^{-1}\). The assertion follows from Theorem 4.3. \(\square \)
We will refer to the scattered polynomial h(x) above as the standard form of f(x). Only polynomials with a stabilizer not isomorphic to the multiplicative group of \(\mathbb {F}_{q}^*\) have a standard form.
The next result follows again from Theorem 3.13, taking into account that in the case of \(G_h\) the automorphism \(\sigma \) is not the identity in \(\mathbb {F}_{q^t}\), and means that the standard form is essentially unique.
Proposition 4.8
If h(x) and \(h'(x)\) are two scattered polynomials in standard form and are \({{\,\mathrm{{GL}}\,}}\)-equivalent to a scattered polynomial f(x), then there are \(a,b\in \mathbb {F}_{q^n}^*\) such that \(h'(x)=ah(bx)\), or \(h'(x)=ah^{-1}(bx)\).
Proof
Since h(x) and \(h'(x)\) are \({{\,\mathrm{{GL}}\,}}\)-equivalent, a relation \(U_{h'}=U_hP\) with \(P\in {{\,\mathrm{{GL}}\,}}(2,q^n)\) holds. Since both \(G_{h'}^\circ \) and \(G_h^\circ =PG_{h'}^\circ P^{-1}\) consist solely of diagonal matrices, having with the exception of the scalar matrices distinct eigenspaces of dimension one, either \(P={{\,\textrm{diag}\,}}(b^{-1},a)\), or
for some \(a,b\in \mathbb {F}_{q^n}^*\). In the first case, \(U_{h'}=U_hP\) implies that for any \(x\in \mathbb {F}_{q^n}\) an \(y\in \mathbb {F}_{q^n}\) exists such that \((x,h'(x))=(b^{-1}y,ah(y))\), implying \(h'(x)=ah(bx)\). In the latter case, for any \(x\in \mathbb {F}_{q^n}\) an \(y\in \mathbb {F}_{q^n}\) exists such that \((x,h'(x))=(b^{-1}h(y),ay)\), implying \(h'(x)=ah^{-1}(bx)\). \(\square \)
Since any polynomial that is \({{\,\mathrm{\Gamma L}\,}}\)-equivalent to f(x) is \({{\,\mathrm{{GL}}\,}}\)-equivalent to \(f^\sigma (x)\) for some automorphism \(\sigma \) of \(\mathbb {F}_{q^n}\), we have
Proposition 4.9
If h(x) is a scattered polynomial in standard form \({{\,\mathrm{{GL}}\,}}\)-equivalent to a scattered q-polynomial f(x), then \(h^\sigma (x)\) is a scattered polynomial in standard form \({{\,\mathrm{{GL}}\,}}\)-equivalent to \(f^\sigma (x)\).
So, two scattered polynomials in \({{\,\mathrm{\mathcal {S}}\,}}_{n,q}\) having h(x) and \(h'(x)\) as standard forms are \({{\,\mathrm{\Gamma L}\,}}\)-equivalent if, and only if, there are \(a,b\in \mathbb {F}_{q^n}^*\) and an automorphism \(\sigma \) of \(\mathbb {F}_{q^n}\), such that \(h'(x)=ah^\sigma (bx)\), or \(h'(x)=a(h^{-1})^\sigma (bx)\).
Example 4.10
Assume \(q\equiv 1\pmod 4\), \(t\ge 3\) odd, \(n=2t\), \(h\in \mathbb {F}_{q}\), \((s,t)=1\), \(\psi (x)=\psi _{h,t,s}\). It holds
The remainder of this section is devoted to find a standard form for \(\psi (x)\). It can be directly checked that
Since \(q\equiv 1\pmod 4\), a \(\rho \in \mathbb {F}_{q}\) exists such that \(\rho ^2=-1\). Two eigenvectors of all nonscalar matrices in \(G_\psi \) (cf. Proposition 3.7) are \((1,2\rho )\), \((1,-2\rho )\). Then a standard form for \(\psi (x)\) will be a q-polynomial h(x) such that
Since
one has to find the inverse of the map \(2\rho x-\psi (x)\).
Let \(h_1(x)=x+2\rho \psi ^{-1}(x)\). This map satisfies \(h_1(2\rho x-\psi (x))=-2x^{u^{2t-1}}-2x^u\).
Next, define \(h_2(x)=\frac{1}{4}\sum _{i=1}^t(-1)^ix^{u^{2i-1}}\). This map satisfies \(h_2(-2x^{u^{2t-1}}-2x^u)=x\). Therefore, \(h_2\circ h_1\) is the inverse of \(2\rho x-\psi (x)\).
A standard form for \(\psi (x)\) is then
Since
one obtains
The form of h(x) is in agreement, by virtue of Theorem 4.3, with the fact that \(G_\psi ^\circ \) is isomorphic to \(\mathbb {F}_{q^2}\).
Example 4.11
Using similar arguments as above one obtains the standard form H(x) for \(\psi (x)=\psi _{h,3,s}(x)\). Let \(\theta =h^{q^s}+h^{q^{2s}}\), and define
where P is the matrix in Example 3.14. Let H(x) satisfying \(U_{\psi }M=U_H\), i.e.,
The map \(\theta x+\psi (x)\) is injective and the inverse is up to a factor
The standard form is up to a factor \(\ell (\theta x-\psi (x))\), that is
Note that for \(h \in \mathbb {F}_{q^2}\), the trinomial above is equal to that obtained in [4, Section 3] multiplied by \((h+h^2)\).
5 Homologies of related translation planes
In order to make this paragraph self-contained, some concepts related to finite translation planes are recalled. The reader is referred to [1, 17, 26] for a general treatment of the topic.
A (planar) spread of a (2n)-dimensional \(\mathbb {F}_{q}\)-vector space \({\mathbb {V}}\) is a collection \({{\mathcal {F}}}\) of \(q^n+1\) subspaces of \({\mathbb {V}}\) of dimension n over \(\mathbb {F}_{q}\), pairwise meeting trivially. Clearly the union of all elements of \({{\mathcal {F}}}\) is \(\mathbb {F}_{q^n}^2\). The geometry \(\mathcal {A}_{{{\mathcal {F}}}}\) whose points are the elements of \(\mathbb {F}_{q^n}^2\) and whose lines are the cosets of the subspaces in the collection \({{\mathcal {F}}}\) is an affine translation plane, and every finite translation plane arises in this way. The elements of \({{\mathcal {F}}}\) are called components of \(\mathcal {A}_{{{\mathcal {F}}}}\) and can be regarded both as lines through the origin, and as points at infinity.
From now on, take \({\mathbb {V}}=\mathbb {F}_{q^n}^2\) as \(\mathbb {F}_{q}\)-vector space for the construction above. The affine plane \(\mathcal {A}_{{{\mathcal {D}}}}\) associated with the Desarguesian spread
is isomorphic to the affine plane over \(\mathbb {F}_{q^n}\).
If a collineation \(\kappa \) of a projective plane fixes a line \(\ell \) pointwise, then \(\ell \) is an axis of \(\kappa \); if every line through a point C is fixed setwise, then C is a center of \(\kappa \). A collineation \(\kappa \) has an axis if and only if it has a center; in this case, if \(\kappa \) is not the identity, axis and center are unique. A nontrivial collineation having an axis is a central collineation. If the center of a central collineation \(\kappa \) belongs to the axis, then \(\kappa \) is called an elation; otherwise it is a homology.
A collineation of an affine plane is called an affine central collineation if its extension to the projective plane is a central collineation, and the axis is a proper line. Since the lines fixed by a central collineation are precisely the axis and the lines through the center, the center of an affine central collineation \(\kappa \) is a point at infinity (that is, a component). Any affine line through the center is called a coaxis of \(\kappa \).
The kernel of \(\mathcal {A}_{{{\mathcal {F}}}}\) is
where \({{\,\textrm{End}\,}}(\mathbb {F}_{q^n}^2)\) denotes the endomorphism ring of the vector space \(\mathbb {F}_{q^n}^2\). As is well known, \(K(\mathcal {A}_{{{\mathcal {F}}}})\) is a field, isomorphic to the kernel of any quasifield co-ordinatizing \(\mathcal {A}_{{{\mathcal {F}}}}\), and trivially contains \(\mathbb {F}_{q}\). Any \(\delta \in K(\mathcal {A}_{{{\mathcal {F}}}})\), \(\delta \ne 0\), is a homology, called a kernel homology of \(\mathcal {A}_{{{\mathcal {F}}}}\).
If \(\kappa \) is a collineation of an affine traslation plane \(\mathcal {A}_{{{\mathcal {F}}}}\), then there exists a \(K(\mathcal {A}_{{{\mathcal {F}}}})\)-semilinear automorphism \(\lambda \) of \(\mathbb {F}_{q^n}^2\) and an \(u\in \mathbb {F}_{q^n}^2\), such that \(\kappa (v)=\lambda (v)+u\) for all \(v\in \mathbb {F}_{q^n}^2\).
Let \(\kappa \) be an affine central collineation of \(\mathcal {A}_{{{\mathcal {F}}}}\). Let \(\lambda \) be the \(K(\mathcal {A}_{{{\mathcal {F}}}})\)-semilinear automorphism related to \(\kappa \), as above. Then there is a component \(W\in {\mathcal {F}}\) such that the restriction of \(\lambda \) to W is the identity map. As a matter of fact, let \(a\in \mathbb {F}_{q^n}^2\) and \(W\in {{\mathcal {F}}}\) such that the restriction of \(\kappa \) to \(a+W\) is the identity map. By
one deduces \(\lambda (x)=x\) for any \(x\in W\).
Next the procedure described in [10] for obtaining a translation plane from a scattered \(\mathbb {F}_{q}\)-linearized polynomial \(f(x)\in \mathbb {F}_{q^n}[x]\) is reported. In [10], most results are stated for \(q>3\), which we will assume from now on. The property of scatteredness implies that if \(h,h'\in \mathbb {F}_{q^n}\) are \(\mathbb {F}_{q}\)-linearly independent, then \(hU_f\cap h'U_f=\{(0,0)\}\). Furthermore, the union of all \(\mathbb {F}_{q}\)-subspaces \(hU_f\), \(h\in \mathbb {F}_{q^n}^*\), is equal to the union of all subspaces in
which is a subset of the Desarguesian spread \({{\mathcal {D}}}\). Therefore,
is a spread of \(\mathbb {F}_{q^n}^2\), defining a translation plane \(\mathcal {A}_f=\mathcal {A}_{\mathcal {B}_f}\). The kernel of such plane is isomorphic to \(\mathbb {F}_{q}\) [10]. Recall that
Theorem 5.1
[10, Theorem 4.2] If \(f(x)\in \mathbb {F}_{q^n}[x]\) is a scattered polynomial, and \(q>3\), then the \(\mathbb {F}_{q}\)-semilinear automorphism \(\lambda \) related to any collineation of \(\mathcal {A}_f\) belongs to \({{\,\mathrm{\Gamma L}\,}}(2,q^n)\), i.e., it is \(\mathbb {F}_{q^n}\)-semilinear.
Let \(H_f=\{d\varphi :d \in \mathbb {F}_{q^n}^*, \varphi \in G_f\}=\mathbb {F}_{q^n}^*G_f.\) This \(H_f\) is the group of all linear collineations of the translation plane \(\mathcal {A}_f\) by [10, Corollary 4.3].
Proposition 5.2
Let \(f(x)\in \mathbb {F}_{q^n}[x]\) be a scattered polynomial, and \(q>3\), \(n>2\). Let \(\kappa \) be an affine central collineation of \(\mathcal {A}_f\), and let \(\lambda \) be the semilinear automorphism related to \(\kappa \). Then the automorphism of \(\mathbb {F}_{q^n}\) associated with \(\lambda \) is trivial. As a consequence, \(\lambda \in H_f\).
Proof
Let \(q=p^e\), \(0\le k<ne\), and define \({\tilde{x}}=x^{p^k}\) for any \(x\in \mathbb {F}_{q^n}\). A component of \(\mathcal {A}_f\), say W, exists which is pointwise fixed by
Four cases are possible.
-
1)
\(W=\{(0, y):y\in \mathbb {F}_{q^n}\}\). This implies \(d{\tilde{y}}=y\) for any \(y\in \mathbb {F}_{q^n}\) hence \(k=0\).
-
2)
\(W=\{(x, mx):x\in \mathbb {F}_{q^n}\}\). Then \(a{\tilde{x}}+c{\tilde{m}}{\tilde{x}}=x\) for any \(x\in \mathbb {F}_{q^n}\) leading to the thesis trivially once again.
-
3)
\(W=hU_f\), \(h \in \mathbb {F}_{q^n}^*\), and \(L_f\) is not of pseudoregulus type. Then \(a{\tilde{h}}{\tilde{x}}+c{\tilde{h}}\widetilde{f(x)}=hx\) for any \(x\in \mathbb {F}_{q^n}\). Let \(f(x)=\sum _{i=0}^{n-1}a_ix^{q^i}\). It holds
$$\begin{aligned} a{\tilde{h}}{\tilde{x}}+c{\tilde{h}}\sum _{i=0}^{n-1}\tilde{a_i}{\tilde{x}}^{q^i}-hx=0 \pmod {x^q-x}. \end{aligned}$$(14)Since \(L_f\) is not of pseudoregulus type, \(\sum _{i=0}^{n-1}\tilde{a_i}{\tilde{x}}^{q^i}\) has at least two monomials of distinct degrees not of type \(\ell {\tilde{x}}\pmod {x^{q^n}-x}\) and at least one of them is not of type \(\ell 'x\) \(\pmod {x^{q^n}-x}\). Hence (14) implies \(c=0\) and \({\tilde{x}}=x\) for any \(x\in \mathbb {F}_{q^n}\).
-
4)
\(W=hU_f\), \(h \in \mathbb {F}_{q^n}^*\) and \(L_f\) is of pseudoregulus type. Then [14] there exists \(\varphi \in {{\,\mathrm{{GL}}\,}}(2,q^n)\) and \(s\in \{1,2,\ldots ,n-1\}\), \((s,n)=1\), such that \((hU_f)^\varphi =R\) where \(R=\{(x,x^{q^s}):x\in \mathbb {F}_{q^n}\}\). Therefore \(\lambda '=\varphi \circ \lambda \circ \varphi ^{-1}\) fixes R pointwise. The automorphism of \(\mathbb {F}_{q^n}\) related to \(\lambda '\) is again \(x\mapsto {\tilde{x}}\). So
$$\begin{aligned} ({\tilde{x}}, {\tilde{x}}^{q^s})\begin{pmatrix}A&{}B\\ C&{}D\end{pmatrix}=(x, x^{q^s})\ \text{ for } \text{ all } x\in \mathbb {F}_{q^n},\ AD-BC\ne 0. \end{aligned}$$Assume \(k\ne 0\). Then \(A{\tilde{x}}+C{\tilde{x}}^{q^s}=x\) for any x implies \(A=0\), \(C=1\) and \({\tilde{x}}=x^{q^{n-s}}\). The equation \(B{\tilde{x}}+D{\tilde{x}}^{q^s}=x^{q^s}\) implies then \({\tilde{x}}=x^{q^s}\); so, \(x^{q^{n-s}}=x^{q^s}\) for all \(x\in \mathbb {F}_{q^n}\), contradicting \((s,n)=1\).
\(\square \)
Remark 5.3
Proposition 5.2 cannot be extended to \(n=2\), because \(x^{q^{n-s}}=x^{q^s}\) does not contradict \((n,s)=1\). For \(n=2\), every line of \(\mathcal {A}_f\) that is not also a line of the Desarguesian plane \(\mathcal {A}_{{\mathcal {D}}}\) is of type \(a+hU_f\), \(a\in \mathbb {F}_{q^2}^2\), \(h\in \mathbb {F}_{q^2}^*\). This is a Baer subplane of \(\mathcal {A}_{{\mathcal {D}}}\) containing the \(q+1\) points of \(L_f\) at infinity. Therefore, \(\mathcal {A}_f\) is a well-known Hall plane [15, Chapter X], and we will not deal with this case.
Recall that for \(f(x)\in \mathbb {F}_{q^n}[x]\) a scattered polynomial, the kernel homology group of the associated Desarguesian plane is the set of all maps \(\lambda _a:(x,y)\mapsto (ax,ay)\), \(a\in \mathbb {F}_{q^n}^*\). Despite the name, if \(a\notin \mathbb {F}_{q}\), then \(\lambda _a\) is a collineation of \(\mathcal {A}_f\), and not a central collineation. The maps of type \(\lambda _a\) with \(a\in \mathbb {F}_{q}^*\) are the kernel homologies of \(\mathcal {A}_f\).
Given two groups G and H of affine homologies and two lines \(\ell \), m, if \(\ell \) is axis of any element in G and coaxis of any element in H, and furthermore m is axis of any element in H and coaxis of any element in G, then G and H are called symmetric affine homology groups.
The following theorem describes the structure of the central collineations of \(\mathcal {A}_f\) and generalizes the result found in [16] that deals with f(x) of Lunardon-Polverino type. Recall that \({{\,\mathrm{\mathcal {S}}\,}}_{n,q}\) denotes the set of all scattered \(\mathbb {F}_{q}\)-linearized polynomials in \(f(x)\in \mathbb {F}_{q^n}[x]\), such that \(|G_f|>q-1\).
Theorem 5.4
Assume that \(f(x)\in \mathbb {F}_{q^n}[x]\) is a scattered polynomial and \(q>3\), \(n>2\).
-
(i)
If \(f(x)\notin {{\,\mathrm{\mathcal {S}}\,}}_{n,q}\), then the plane \(\mathcal {A}_f\) admits no nontrivial affine central collineation group; the full collineation group in \({{\,\mathrm{{GL}}\,}}(2, q^n )\) has order \((q^n- 1)\) and is the kernel homology group of the associated Desarguesian plane.
-
(ii)
If \(f(x)\in {{\,\mathrm{\mathcal {S}}\,}}_{n,q}\), and \(G_f\) is isomorphic to \(\mathbb {F}_{q^t}^*\), the plane \(\mathcal {A}_f\) admits cyclic symmetric affine homology groups of order \((q^t-1)/(q-1)\) but admits no nontrivial affine elation. Two distinct components X and Y exist such that any affine homology has center either in X or in Y. Such components are elements of the Desarguesian spread \(\mathcal {D}\) of \(\mathbb {F}_{q^n}^2\). The full collineation group in \({{\,\mathrm{{GL}}\,}}(2, q^n )\) is the direct product of the kernel homology group of the associated Desarguesian plane of order \((q^n-1)\) by a cyclic homology group of order \((q^t-1)/(q-1)\).
Proof
We first determine the full collineation group in \({{\,\mathrm{{GL}}\,}}(2, q^n )\), that is, \(H_f\). By Proposition 5.2, all affine central collinations of \(\mathcal {A}_f\) fixing the origin are in \(H_f\). By Theorem 3.13, \(H_f\) is conjugate, by a nonsingular matrix P, to a group
where t divides n, and \( (s,t)=1\). If \(f(x)\notin {{\,\mathrm{\mathcal {S}}\,}}_{n,q}\) such group is the set of all scalar matrices of the kernel homology group of the Desarguesian plane.
Next, assume \(f(x)\in {{\,\mathrm{\mathcal {S}}\,}}_{n,q}\). The map \(\varphi :X\mapsto XP^{-1}\) is an isomorphism between \(\mathcal {A}_f\) and some translation plane \(\mathcal {A}'=\mathcal {A}_{\mathcal {B}'}\). The stabilizer of \(\mathcal {B}'\) in \({{\,\mathrm{{GL}}\,}}(2,q^n)\) is then \(PH_fP^{-1}\). The map \(M\mapsto PMP^{-1}\) maps affine central collineations in \(\mathcal {A}_f\) with axis through the origin into collineations in \(\mathcal {A}'\) of the same type, and conversely. If W is an eigenspace of a nonscalar matrix in \(PH_fP^{-1}\), then \(W=X'=\langle (1,0)\rangle _{\mathbb {F}_{q^n}}\) or \(W=Y'=\langle (0,1)\rangle _{\mathbb {F}_{q^n}}\). Let \(X=X'P\), \(Y=Y'P\). If a nonscalar \(\lambda \in H_f\) fixes some points of \(\mathcal {A}_f\), then they are precisely either those in X or those in Y. Assume X is an eigenspace with eigenvalue one. Since by Proposition 3.15\(X, Y \in \mathcal {B}_f\), \(\lambda \) is a homology of axis X and center Y. The same argument holds exchanging X and Y.
Consider the subgroup of \(PH_fP^{-1}\)
This is a cyclic homology group of order \((q^t-1)/(q-1)\) generated by an element of the type \({{\,\textrm{diag}\,}}(1,\omega ^{q^s-1})\) where \(\omega \) is a primitive element of \(\mathbb {F}_{q^t}^*\). Since any element in \(PH_fP^{-1}\) can be written uniquely in the following way
the statements regarding structure and size of the collineation group in \({{\,\mathrm{{GL}}\,}}(2,q^n)\) follow. \(\square \)
Remark 5.5
In the case of a linear set of pseudoregulus type, the points X and Y in Theorem 5.4 are known as transversal points [22]. It remains an open problem whether in general these transversal points depend only on the linear set \(L_f\) or depend on the polynomial representing it.
Definition 5.6
Let G be a group acting on an abelian group W. If no nontrivial subgroup of W is invariant under the action of G, then G acts on W irreducibly.
Proposition 5.7
[26] Let \(\mathcal {A}\) be a generalized André translation plane. Then there is a group G of collineations of \(\mathcal {A}\), such that for any component W of \(\mathcal {A}\), with at most two exceptions, \(G_{\{W\}}\) acts on W irreducibly. Furthermore, any element of G is the product of two affine homologies.
Corollary 5.8
Let \(f(x)\in \mathbb {F}_{q^n}[x]\) be a scattered polynomial, and assume that \(\mathcal {A}_f\) is a generalized André plane. Then for any component W of \(\mathcal {A}_f\), with at most two exceptions, \((H_f)_{\{W\}}\) acts on W irreducibly.
As it has been proved in [10, 23], if \(L_f\) is a linear set of pseudoregulus type, then \(\mathcal {A}_f\) is an Andrè plane. On the other hand, it holds
Theorem 5.9
Assume that \(f(x)\in \mathbb {F}_{q^n}[x]\), \(q>3\), is a scattered polynomial, and that \(L_f\) is not of pseudoregulus type. Then \(\mathcal {A}_f\) is not a generalized André plane.
Proof
Assume that \(\mathcal {A}_f\) is a generalized André plane. Define \(\varphi :X\mapsto XP^{-1}\) as in Theorem 5.4. So, by Corollary 5.8, for any W in \(\mathcal {B}'\), with at most two exceptions, \((PH_fP^{-1})_{\{W\}}\) acts irreducibly on W. Since \((q^n-1)/(q-1)>2\), it may be assumed that \((PH_fP^{-1})_{\{W\}}\) acts irreducibly on a component of type
Next, note that
Assume \(dPMP^{-1}\in (PH_fP^{-1})_{\{W\}}\) for \(M\in G_f\), \(d\in \mathbb {F}_{q^n}^*\). For any \(x\in \mathbb {F}_{q^n}\) there exists \(y\in \mathbb {F}_{q^n}\) such that
This implies \(d(x,f(x))\in U_f\) and \(d\in \mathbb {F}_{q}\) since f(x) is scattered. Since \(dI_2\in G_f\) for any \(d\in \mathbb {F}_{q}^*\), one deduces that any element of \((PH_fP^{-1})_{\{W\}}\) is of type \(PMP^{-1}\) with \(M\in G_f\). The component W of \(\mathcal {B}'\) is an n-dimensional scattered \(\mathbb {F}_{q}\)-subspace of \(\mathbb {F}_{q^n}^2\). By Proposition 3.15, \(W\cap (\{0\}\times \mathbb {F}_{q^n})=\{(0,0)\}\). Therefore, there is an \(\mathbb {F}_{q}\)-linear map \(g:\mathbb {F}_{q^n}\rightarrow \mathbb {F}_{q^n}\) such that
By Proposition 3.6, any matrix in \(PG_fP^{-1}\) has coefficients in some \(\mathbb {F}_{q^t}\) with \(t<n\). Then, since \(\{(x,g(x)):x\in \mathbb {F}_{q^t}\}\) is a subgroup of \((W,+)\) invariant under the action of \((PH_fP^{-1})_{\{W\}}\), \((PH_fP^{-1})_{\{W\}}\) does not act irreducibly on W, a contradiction. \(\square \)
Theorem 5.9 has been proved in [16] for a polynomial of Lunardon-Polverino type.
References
André, J.: Über nicht-Desarguessche Ebenen mit transitiver Translationsgruppe. Math. Z. 60, 156–186 (1954)
Bartoli, D., Longobardi, G., Marino, G., Timpanella, M.: Scattered trinomials of \({\mathbb{F}}_{q^6}[X]\) in even characteristic. arxiv:2307.12829
Bartoli, D., Montanucci, M.: On the classification of exceptional scattered polynomials. J. Comb. Theory Ser. A. 179, (2021)
Bartoli, D., Zanella, C., Zullo, F.: A new family of maximum scattered linear sets in \({\rm {PG}} (1, q^6)\). Ars Math. Contemp. 19, 125–145 (2020)
Bartoli, D., Zhou, Y.: Exceptional scattered polynomials. J. Algebra 509, 507–534 (2018)
Bartoli, D., Zini, G., Zullo, F.: Investigating the exceptionality of scattered polynomials. Finite Fields Appl. 77, 101956 (2022)
Beard, J.T.B., Jr.: Matrix fields over prime fields. Duke Math. J. 39, 313–321 (1972)
Beard, J.T.B., Jr.: Matrix fields over finite extensions of prime fields. Duke Math. J. 39, 475–484 (1972)
Blokhuis, A., Lavrauw, M.: Scattered spaces with respect to a spread in \({\rm {PG}} (n, q)\). Geom. Dedicata 81, 231–243 (2000)
Casarino, V., Longobardi, G., Zanella, C.: Scattered linear sets in a finite projective line and translation planes. Linear Algebra Appl. 650, 286–298 (2022)
Csajbók, B., Marino, G., Polverino, O., Zanella, C.: A new family of MRD-codes. Linear Algebra Appl. 548, 203–220 (2018)
Csajbók, B., Marino, G., Polverino, O., Zhou, Y.: MRD codes with maximum idealizers. Discrete Math. 343(9) (2020)
Csajbók, B., Marino, G., Zullo, F.: New maximum scattered linear sets of the projective line. Finite Fields Appl. 54, 133–150 (2018)
Csajbók, B., Zanella, C.: On the equivalence of linear sets. Des. Codes Cryptogr. 81, 269–281 (2016)
Hughes, D., Piper, F.: Projective Planes. Springer Verlag (1973)
Jha, V., Johnson, N.: A new class of translation planes constructed by hyper-regulus replacement. J. Geom. 90, 83–99 (2008)
Knarr, N.: Translation Planes: Foundations and Construction Principles, Springer Verlag (1995)
Lidl, R., Niederreiter, H.: Finite Fields, Cambridge University Press, Cambridge (1997)
Longobardi, G., Marino, G., Trombetti, R., Zhou, Y.: A large family of maximum scattered linear sets of \({\rm {PG}}(1, q^n)\) and their associated MRD codes. Combinatorica 43, 681–716 (2023)
Longobardi, G., Zanella, C.: Partially scattered linearized polynomials and rank metric codes. Finite Fields Appl. 76 (2021)
Longobardi, G., Zanella, C.: Linear sets and MRD-codes arising from a class of scattered linearized polynomials. J. Algebraic Combin. 53, 639–661 (2021)
Lunardon, G., Marino, G., Polverino, O., Trombetti, R.: Maximum scattered linear sets of pseudoregulus type and the Segre variety \({\cal{S} }_{n, n}\). J. Algebraic Combin. 39, 807–831 (2014)
Lunardon, G., Polverino, O.: Blocking sets and derivable partial spreads. J. Algebraic Combin. 14, 49–56 (2001)
Lunardon, G., Trombetti, R., Zhou, Y.: On kernels and nuclei of rank metric codes. J. Algebraic Combin. 46, 313–340 (2017)
Lunardon, G., Trombetti, R., Zhou, Y.: Generalized Twisted Gabidulin Codes. J. Comb. Theory Ser. A. 159, 79–106 (2018)
Lüneburg, H.: Translation Planes. Springer-Verlag, Berlin (1980)
Marino, G., Montanucci, M., Zullo, F.: MRD-codes arising from the trinomial \(x^q + x^{q^3}+cx^{q^5} \in {\mathbb{F} }_{q^6}[x]\). Linear Algebra Appl. 591, 99–114 (2020)
Neri, A., Santonastaso, P., Zullo, F.: Extending two families of maximum rank distance codes. Finite Fields Appl. 81 (2022)
Polverino, O., Zullo, F.: Connections between scattered linear sets and MRD-codes. Bull. ICA 89, 46–74 (2020)
Polverino, O.: Linear sets in finite projective spaces. Discrete Math. 310(22), 3096–3107 (2010)
Sheekey, J.: A new family of linear maximum rank distance codes. Adv. Math. Commun. 10, 475–488 (2016)
Sheekey, J.: MRD codes: constructions and connections. In: Combinatorics and Finite Fields: Difference Sets, Polynomials, Pseudorandomness and Applications, pp. 255–286 (2019)
Willett, M.: Matrix fields over \(\rm GF (q)\). Duke Math. J. 40(3), 701–704 (1973)
Funding
Open access funding provided by Università degli Studi di Napoli Federico II within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Longobardi, G., Zanella, C. A standard form for scattered linearized polynomials and properties of the related translation planes. J Algebr Comb 59, 917–937 (2024). https://doi.org/10.1007/s10801-024-01317-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-024-01317-y
Keywords
- André plane
- Linear set
- Linearized polynomial
- MRD code
- Partial spread
- Projective line
- Rank distance code
- Translation plane