---
abstract: 'In this paper we investigate the geometric properties of the configuration consisting of a subspace $\Gamma$ and a canonical subgeometry $\Sigma$ in ${\mathrm{PG}}(n-1,q^n)$, with $\Gamma\cap\Sigma=\emptyset$. The idea motivating is that such properties are reflected in the algebraic structure of the linear set which is projection of $\Sigma$ from the vertex $\Gamma$. In particular we deal with the maximum scattered linear sets of the line ${\mathrm{PG}}(1,q^n)$ found by Lunardon and Polverino in [@LP2001] and recently generalized by Sheekey in [@Sh]. Our aim is to characterize this family by means of the properties of the vertex of the projection as done by Csajbók and the first author of this paper for linear sets of pseudoregulus type. With reference to such properties, we construct new examples of scattered linear sets in ${\mathrm{PG}}(1,q^6)$, yielding also to new examples of MRD-codes in ${{\mathbb F}}_q^{6\times 6}$ with left idealiser isomorphic to ${{\mathbb F}}_{q^6}$.'
author:
- 'Corrado Zanella and Ferdinando Zullo [^1]'
title: 'Vertex properties of maximum scattered linear sets of ${\mathrm{PG}}(1,q^n)$'
---

51E20, 05B25, 51E22

Linear set, linearized polynomial, $q$-polynomial, finite projective line, subgeometry, scattered linear set

Introduction
============

Let $\Lambda={\mathrm{PG}}(W,{{\mathbb F}}_{q^n})={\mathrm{PG}}(1,q^n)$, where $W$ is a vector space of dimension $2$ over ${{\mathbb F}}_{q^n}$. A point set $L$ of $\Lambda$ is said to be an *${{\mathbb F}}_q$-linear set* of $\Lambda$ of rank $\rho$ if it is defined by the non-zero vectors of a $\rho$-dimensional ${{\mathbb F}}_q$-vector subspace $U$ of $W$, i.e. $$L=L_U=\{{\langle}{\bf u} {\rangle}_{\mathbb{F}_{q^n}} \colon {\bf u}\in U\setminus \{{\bf 0} \}\}.$$ Two linear sets $L_U$ and $L_W$ of ${\mathrm{PG}}(1,q^n)$ are said to be *$\mathrm{P\Gamma L}$-equivalent* if there is an element $\phi$ in $\mathrm{P\Gamma L}(2,q^n)$ such that $L_U^{\phi} = L_W$. It may happen that two ${{\mathbb F}}_q$–linear sets $L_U$ and $L_W$ of ${\mathrm{PG}}(1,q^n)$ are $\mathrm{P\Gamma L}$-equivalent even if the ${{\mathbb F}}_q$-vector subspaces $U$ and $W$ are not in the same orbit of $\Gamma \mathrm{L}(2,q^n)$ (see [@CSZ2015] and [@CMP] for further details).

Lunardon and Polverino in [@LuPo2004] (see also [@LuPoPo2002]) show that every linear set is a projection of a canonical subgeometry, where a *canonical subgeometry* in ${\mathrm{PG}}(m-1,q^n)$ is a linear set $L$ of rank $m$ such that ${\langle}L {\rangle}={\mathrm{PG}}(m-1,q^n)$ ([^2]). In particular, by [@LuPo2004 Theorems 1 and 2] (adapted to the projective line case), for each ${{\mathbb F}}_q$-linear set $L_U$ of the projective line $\Lambda={\mathrm{PG}}(1,q^n)$ of rank $n$ there exist a canonical subgeometry $\Sigma\cong{\mathrm{PG}}(n-1,q)$ of $\Sigma^*={\mathrm{PG}}(n-1,q^n)$, and an $(n-3)$-subspace $\Gamma$ of $\Sigma^*$ disjoint from $\Sigma$ and from $\Lambda$ such that $$L_U={{\mathrm p}}_{\Gamma,\Lambda}(\Sigma)=\{\langle \Gamma,P\rangle \cap \Lambda \colon P \in \Sigma\}.$$ We call $\Gamma$ and $\Lambda$ the *vertex* (or *center*) and the *axis* of the projection, respectively.

In this paper we focus on [*maximum scattered*]{} ${{\mathbb F}}_q$-linear sets of ${\mathrm{PG}}(1,q^n)$, that is, ${{\mathbb F}}_q$-linear sets of rank $n$ in ${\mathrm{PG}}(1,q^n)$ of size $(q^n-1)/(q-1)$. In this case, we also say that the related ${{\mathbb F}}_q$-subspace is *maximum scattered*. Recall that the *weight of a point* $P=\langle \mathbf{u} \rangle_{{{\mathbb F}}_{q^n}}$ is $w_{L_U}(P)=\dim_{{{\mathbb F}}_q}(U\cap\langle \mathbf{u} \rangle_{{{\mathbb F}}_{q^n}})$. A linear set $L_U$ is scattered if and only if each of its points has weight one.

If ${\langle}(0,1) {\rangle}_{{{\mathbb F}}_{q^n}}$ is not contained in the linear set $L_U$ of rank $n$ of ${\mathrm{PG}}(1,q^n)$ (which we can always assume after a suitable projectivity), then $U=U_f:=\{(x,f(x))\colon x\in {{\mathbb F}}_{q^n}\}$ for some linearized polynomial (or *$q$-polynomial*) $f(x)=\sum_{i=0}^{n-1}a_ix^{q^i}\in {{\mathbb F}}_{q^n}[x]$. In this case we will denote the associated linear set by $L_f$.

The first example of maximum scattered ${{\mathbb F}}_q$-linear set, found by Blokhuis and Lavrauw in [@BL2000], is known as linear sets of *pseudoregulus type* and can be defined (see [@LuMaPoTr2014 Section 4]) as any linear set $\mathrm{P\Gamma L}$-equivalent to $$L^1=\{{\langle}(x,x^q) {\rangle}_{\mathbb{F}_{q^n}} \colon x \in {{\mathbb F}}_{q^n}^*\}.$$

A characterization of the linear sets of pseudoregulus type has been given by Csajbók and Zanella in [@CsZ20162] as particular projections of a canonical subgeometry (see Theorem \[chPseudo\]).

[@CsZ20162 Theorem 2.3]\[chPseudo\] Let $\Sigma$ be a canonical subgeometry of ${\mathrm{PG}}(n-1,q^n)$, $q>2$, $n \geq 3$. Assume that $\Gamma$ and $\Lambda$ are an $(n-3)$-subspace and a line of ${\mathrm{PG}}(n-1,q^n)$, respectively, such that $\Sigma \cap \Gamma=\Lambda \cap \Gamma= \emptyset$. Then the following assertions are equivalent:

1.  The set ${{\mathrm p}}_{\Gamma, \Lambda}(\Sigma)$ is a scattered ${{\mathbb F}}_q$-linear set of pseudoregulus type;

2.  A generator $\hat{\sigma}$ exists of the subgroup of $\mathrm{P}\Gamma\mathrm{L}(n,q^n)$ fixing $\Sigma$ pointwise, such that $\dim(\Gamma\cap\Gamma^{\hat{\sigma}})=n-4$; furthermore $\Gamma$ is not contained in the span of any hyperplane of $\Sigma$;

3.  There exists a point $P_\Gamma$ and a generator $\hat{\sigma}$ of the subgroup of $\mathrm{P}\Gamma\mathrm{L}(n,q^n)$ fixing $\Sigma$ pointwise, such that ${\langle}P_\Gamma,P_\Gamma^{\hat{\sigma}},\ldots, P_\Gamma^{\hat{\sigma}^{n-1}} {\rangle}={\mathrm{PG}}(n-1,q^n)$, and $$\Gamma={\langle}P_\Gamma,P_\Gamma^{\hat{\sigma}},\ldots, P_\Gamma^{\hat{\sigma}^{n-3}} {\rangle}.$$

Few other families of maximum scattered linear sets of ${\mathrm{PG}}(1,q^n)$ are known, see [@CMPZ; @CsMZ2018]. We will deal with the only remaining family of maximum scattered linear sets existing for each value of $n$. Such a family has been introduced by Lunardon and Polverino in [@LP2001] for $s=1$ and generalized by Sheekey in [@Sh] and is defined as follows $$\label{LPform}
L_{s,\delta}^n=\{{\langle}(x,\delta x^{q^s} + x^{q^{n-s}}){\rangle}_{{{\mathbb F}}_{q^n}}\colon x\in {{\mathbb F}}_{q^n}^*\},$$ with $n\geq 4$, ${{\mathrm N}}_{q^n/q}(\delta)\notin \{0,1\}$ ([^3]) and $(s,n)=1$. More generally, we will call each linear set equivalent to a maximum scattered linear set of the form , with $\delta \neq 0$, of *Lunardon-Polverino type* (or shortly *LP-type*). For some values of $s$, $\delta$ and $n$, ${{\mathrm N}}_{q^n/q}(\delta)\notin \{0,1\}$ is a necessary condition for $L_{s,\delta}^n$ to be scattered, see Section \[Geo\]. Up to our knowledge, no scattered $L_{s,\delta}^n$ is known satisfying ${{\mathrm N}}(\delta)=1$.

Our aim is to prove characterizations of maximum scattered linear sets of LP-type in the spirit of the characterization of the linear sets of pseudoregulus type, cf. Theorem \[chPseudo\]. As a consequence, we will construct new examples of maximum scattered linear sets in ${\mathrm{PG}}(1,q^6)$. As showed in [@Sh Sect. 5], this also yields to new examples of MRD-codes in ${{\mathbb F}}_q^{6\times 6}$ with left idealiser isomorphic to ${{\mathbb F}}_{q^6}$ [@CMPZ Proposition 6.1] (see also [@CSMPZ2016; @CsMPZ2019; @ShVdV]), see last section for more details on the connections with MRD-codes.

We will work in the following framework. Let $x_0,\ldots,x_{n-1}$ be the homogeneous coordinates of ${\mathrm{PG}}(n-1,q^n)$ and let $$\Sigma=\{{\langle}(x,x^{q},\ldots,x^{q^{n-1}}) {\rangle}_{{{\mathbb F}}_{q^n}} \colon x \in{{\mathbb F}}_{q^n} \}$$ be a fixed canonical subgeometry of ${\mathrm{PG}}(n-1,q^n)$. The collineation $\hat{\sigma}$ of ${\mathrm{PG}}(n-1,q^n)$ defined by ${\langle}(x_0,\ldots,x_{n-1}){\rangle}_{{{\mathbb F}}_{q^n}}^{\hat{\sigma}}={\langle}(x_{n-1}^{q},x_0^{q},\ldots,x_{n-2}^{q}){\rangle}_{{{\mathbb F}}_{q^n}}$ fixes precisely the points of $\Sigma$. Note that if $\sigma$ is a collineation of ${\mathrm{PG}}(n-1,q^n)$ such that $\mathrm{Fix}(\sigma)=\Sigma$, then $\sigma=\hat{\sigma}^s$, with $(s,n)=1$.

Possible configurations of the vertex of the projection
=======================================================

Following [@GiuZ Section 3], we are able to describe the structure of the vertex of the projection, under certain assumptions regarding the dimension of the intersections with some of its conjugates w.r.t. a collineation of ${\mathrm{PG}}(n-1,q^n)$ fixing the chosen subgeometry pointwise.

We start by recalling the following lemma.

[@Lun99 Lemma 3]\[int\] If $S$ is a nonempty projective subspace of dimension $k$ of ${\mathrm{PG}}(n-1,q^n)$ fixed by $\sigma$, then $S$ meets $\Sigma$ in an ${{\mathbb F}}_q$-subspace of dimension $k$. In particular, $S \cap \Sigma \neq \emptyset$.

Since the vertex of the projection is disjoint from $\Sigma$, we have that $\dim(\Gamma \cap \Gamma^\sigma)\leq \dim\Gamma-1$. We characterize the extremal case, i.e. when $\dim(\Gamma \cap \Gamma^\sigma)= \dim \Gamma-1$.

\[k-1\] Let $\Gamma$ be a subspace of ${\mathrm{PG}}(n-1,q^n)$ of dimension $k$ and such that $\Gamma \cap \Sigma=\emptyset$. If $\dim (\Gamma \cap \Gamma^\sigma)=k-1$, then there exists exactly one point $P$ in ${\mathrm{PG}}(n-1,q^n)$ such that $$\Gamma={\langle}P,P^\sigma,\ldots,P^{\sigma^k} {\rangle}.$$ Furthermore, $P^{\sigma^{n-1}}\not\in\Gamma$.

The hypotheses imply $k\ge0$. For $k=0$, $\Gamma$ is a point $P$. If $P^{\sigma^{n-1}}\in\Gamma$, then $P\in\Sigma$, a contradiction. The remaining statements are trivial for this $k$.

Now suppose that the assertion is true for $(k-1)$-dimensional subspaces, and $k\ge1$. Let denote by $\Omega=\Gamma\cap\Gamma^\sigma$. Clearly, $\langle\Omega,\Omega^\sigma\rangle \subseteq \Gamma^\sigma$ and $\dim \Gamma^\sigma=k$. By our assumption, $\dim \Omega=k-1$ and also $\dim (\Omega \cap \Omega^\sigma)=k-2$. Indeed, $$\dim(\Omega\cap\Omega^\sigma)=2(k-1)-\dim {\langle}\Omega, \Omega^\sigma{\rangle}\geq 2k-2-k=k-2.$$ So, $$k-2 \leq \dim(\Omega\cap\Omega^\sigma) \leq k-1,$$ and since $\Omega\neq\Omega^\sigma$, otherwise by Lemma \[int\] we should have $\Gamma \cap \Sigma \neq \emptyset$, we get $\dim(\Omega\cap\Omega^\sigma)=k-2$. Therefore, there exists a point $P' \in \Omega$ such that $$\Omega=\Gamma\cap\Gamma^\sigma={\langle}P',P'^\sigma,\ldots,P'^{\sigma^{k-1}} {\rangle}.$$ By induction hypothesis, $P'^{\sigma^{n-1}} \notin \Gamma\cap \Gamma^\sigma$. So, $$\Gamma={\langle}P,P^\sigma,\ldots,P^{\sigma^k} {\rangle},$$ with $P=P'^{\sigma^{n-1}}$.

Regarding the uniqueness, if $\Gamma={\langle}Q,Q^\sigma,\ldots,Q^{\sigma^k}{\rangle}$ for some point $Q$, then $\Omega={\langle}Q^\sigma,\ldots,Q^{\sigma^k}{\rangle}$. By induction, this implies $Q^\sigma=P'$ above defined, and $Q=P$.

Finally note that $P^{\sigma^{n-1}}\in\Gamma$ would imply $\Gamma^{\sigma^{n-1}}=\Gamma$ and $\Gamma\cap\Sigma\neq\emptyset$, a contradiction.

The next result follows for $r=1$ from Theorem \[k-1\].

\[k-2\] Let $\Gamma$ be a subspace of ${\mathrm{PG}}(n-1,q^n)$ of dimension $k\ge0$ such that $\Gamma \cap \Sigma=\emptyset$, and $\dim(\Gamma\cap\Gamma^\sigma)\ge k-2$. Let $r$ be the least positive integer satisfying the condition $$\label{def_r}
\dim(\Gamma\cap\Gamma^\sigma\cap\Gamma^{\sigma^2}\cap\ldots\cap\Gamma^{\sigma^r})>k-2r.$$ Then there is a point $P\in{\mathrm{PG}}(n-1,q)$ satisfying

(i) $P$, $P^\sigma$, $\ldots$, $P^{\sigma^{k-r+1}}$ are independent points contained in $\Gamma$;

(ii) $P^{\sigma^{n-1}}\not\in\Gamma$.

If $r<(k+2)/2$, then the point $P$ satisfying conditions (i) and (ii) is unique.

We will call the integer $r$ of the above statement the *intersection number of* $\Gamma$ w.r.t. $\sigma$ and we will denote it by $\mathrm{intn}_{\sigma}(\Gamma)$.

*Preliminary remarks.* Since $\sigma$ is a collineation and since $\dim (\Gamma \cap \Gamma^\sigma)\geq k-2$, for any positive integer $t$ it holds $$\begin{gathered}
\dim(\Gamma\cap\Gamma^\sigma\cap\ldots\cap\Gamma^{\sigma^{t+1}})=\\
\dim\Gamma+\dim(\Gamma^\sigma\cap\ldots\cap\Gamma^{\sigma^{t+1}})
-\dim\left({\langle}\Gamma\cup(\Gamma^\sigma\cap\ldots\cap\Gamma^{\sigma^{t+1}}){\rangle}\right)\ge\\
\dim\Gamma+\dim(\Gamma\cap\ldots\cap\Gamma^{\sigma^t})
-\dim\left({\langle}\Gamma\cup\Gamma^\sigma{\rangle}\right)\ge
\dim(\Gamma\cap\ldots\cap\Gamma^{\sigma^t})-2.\end{gathered}$$ This implies $\dim(\Gamma\cap\ldots\cap\Gamma^{\sigma^t})=k-2t$ for any $0\le t<r$; so, taking $t=r-1$, $k-2(r-1)\ge-1$, that is $r\le(k+3)/2$. Furthermore, if $\dim(\Gamma\cap\ldots\cap\Gamma^{\sigma^t})\ge0$, then $$\label{stepconeccez}
\dim(\Gamma\cap\Gamma^\sigma\cap\ldots\cap\Gamma^{\sigma^{t+1}})
\le
\dim(\Gamma\cap\ldots\cap\Gamma^{\sigma^t})-1,$$ for otherwise $\Sigma\cap\Gamma\cap\ldots\cap\Gamma^{\sigma^t}\neq\emptyset$. This implies $$\label{pre-unicita}
\dim(\Gamma\cap\Gamma^\sigma\cap\Gamma^{\sigma^2}\cap\ldots\cap\Gamma^{\sigma^r})=k-2r+1\quad
\mbox{ for }r\neq\frac{k+3}2.$$ [Note that for $r=\frac{k+3}2$ then $\dim(\Gamma\cap\Gamma^\sigma\cap\Gamma^{\sigma^2}\cap\ldots\cap\Gamma^{\sigma^r})=k-2r+2=-1$.]{}

*Existence of $P$, by induction on $r$.* For $r=1$, the assertion follows from Theorem \[k-1\]. Assume then that Theorem \[k-2\] holds (except possibly for the uniqueness part) for $r-1$, and $r\ge2$. Let $\Omega=\Gamma\cap\Gamma^\sigma$ and $\dim\Omega=k-2=:k'$. If $k'=-1$, then the thesis is trivial.

Now suppose $k'\geq0$. Then it holds $$\dim(\Omega\cap\ldots\cap\Omega^{\sigma^t})=k'-2t$$ for $t<r-1$, whereas $$\dim(\Omega\cap\ldots\cap\Omega^{\sigma^{r-1}})>k'-2(r-1)=k-2r.$$ By induction hypothesis there is a point $P'\in{\mathrm{PG}}(n-1,q^n)$ satisfying

(A) $P',P'^{\sigma},\ldots,P'^{\sigma^{k'-(r-1)+1}}=P'^{\sigma^{k-r}}$ are independent points;

(B) $P',P'^{\sigma},\ldots,P'^{\sigma^{k-r}}\in\Omega$;

(C) $P'^{\sigma^{n-1}}\not\in\Omega$.

Let $P=P'^{\sigma^{n-1}}$. Then (B) implies that $P$, $P^\sigma$, $\ldots$, $P^{\sigma^{k-r+1}}$ are points contained in $\Gamma$; both (C) and (A) imply that they are independent. $P^{\sigma^{n-1}}\in\Gamma$ would imply $$P^{\sigma^{r-2}},P^{\sigma^{r-1}},\ldots,P^{\sigma^{k-r+1}}\in\Gamma\cap\Gamma^\sigma\cap\ldots
\cap\Gamma^{\sigma^{r-1}},$$ contradicting $\dim(\Gamma\cap\Gamma^\sigma\cap\ldots \cap\Gamma^{\sigma^{r-1}})=k-2r+2$.

*Uniqueness of $P$.* By the previous considerations it follows that there exists at least one point $P$ such that $P$, $P^\sigma$, $\ldots$, $P^{\sigma^{k-r+1}}$ are independent points contained in $\Gamma$. From (\[pre-unicita\]) it follows that $$\Lambda:=\Gamma\cap\Gamma^\sigma\cap\Gamma^{\sigma^2}\cap\ldots\cap\Gamma^{\sigma^r}= {\langle}P^{\sigma^r}, \ldots, P^{\sigma^{k-r+1}} {\rangle},$$ has dimension $k-2r+1>-1$. Furthermore, $\dim(\Lambda \cap \Lambda^\sigma)=k-2r$, otherwise $\Gamma\cap\Sigma\neq\emptyset$. It follows that $\Lambda$ satisfies the hypotheses of Theorem \[k-1\] and hence the point $P$ is unique.

\[L(P)\] It is clear that $P$ is as in the previous result, it follows that $$\dim L(P)\geq k-r+2,$$ where $L(P)={\langle}P,P^\sigma,\ldots,P^{\sigma^{n-1}} {\rangle}$.

A similar idea to the intersection number for a vertex of a linear set has been presented in [@NPH] (see also [@GiuZ; @NPH2]), where the authors used sequences of the dimensions of certain intersections as invariants for rank metric codes. See also the last section.

Characterization of linear sets of LP-type
==========================================

Sufficient conditions
---------------------

We are now ready to state sufficient conditions for a linear set to be of LP-type. In the following we denote by $\operatorname{N}(-)$ the norm over ${\mathbb F_q}$, for short.

\[charact1\] In ${\mathrm{PG}}(n-1,q^n)$, $n\ge4$, let $\Gamma$ be a subspace of dimension $n-3$, $\Lambda$ a line, and $\Sigma\cong{\mathrm{PG}}(n-1,q)$ a canonical subgeometry, such that $\Gamma \cap \Sigma=\emptyset=\Gamma\cap\Lambda$. Assume $L={{\mathrm p}}_{\Gamma,\Lambda}(\Sigma)$ is a scattered linear set of $\Lambda$. If $\mathrm{intn}_{\sigma}(\Gamma)=2$ for some generator $\sigma$ of the subgroup of $\mathrm{P}\Gamma\mathrm{L}(n,q^n)$ fixing $\Sigma$ pointwise, then there exists a unique point $P$ such that $$\Gamma=\langle P,P^{\sigma},\ldots,P^{\sigma^{n-4}},Q \rangle.$$ Furthermore, if the line $\langle P^{\sigma^{n-1}}, P^{\sigma^{n-3}} \rangle$ meets $\Gamma$, then $L$ is of LP-type.

An integer $s$ exists such that $(s,n)=1$ and $\sigma=\hat{\sigma}^s$, i.e. the $i$-th component ([^4]) of ${\langle}(x_0,x_1,\ldots,x_{n-1}){\rangle}_{{{\mathbb F}}_{q^n}}^\sigma$ is $x_{i+s}^{q^s}$, where $i+s$ is seen modulo $n$. By Theorem \[k-2\], there exist $P$ and $Q$ in $\Gamma$ such that $$\Gamma={\langle}P,P^\sigma,\ldots,P^{\sigma^{n-4}},Q {\rangle}.$$ Denote by $R=P^{\sigma^{n-2}}$, then $$\Gamma={\langle}R^{\sigma^2},R^{\sigma^3},\ldots,R^{\sigma^{n-2}},Q {\rangle},$$ and $Q$ may be chosen in ${\langle}R^\sigma, R^{\sigma^{n-1}}{\rangle}$. If $\dim \langle R,R^\sigma,\ldots,R^{\sigma^{n-1}}\rangle<n-1$, then, since $Q \in {\langle}R^\sigma, R^{\sigma^{n-1}}{\rangle}$, it follows that $$\Gamma \subseteq \langle R,R^\sigma,\ldots,R^{\sigma^{n-1}}\rangle,$$ i.e. $\Gamma$ is contained in a subspace fixed by $\sigma$ of dimension either $n-3$ or $n-2$. In both the cases we get a contradiction because of $\mathrm{intn}_{\sigma}(\Gamma)=2$. So, $\dim {\langle}R,R^\sigma,\ldots,R^{\sigma^{n-1}}{\rangle}=n-1$, and by [@BoPol Proposition 3.1] there exists a linear collineation $\mathbf{k}$ fixing $\Sigma$ such that $R^{\mathbf{k}}={\langle}(1,0,\ldots,0){\rangle}_{{{\mathbb F}}_{q^n}}$. Clearly, $\Gamma^{\mathbf{k}}$ satisfies the same hypothesis as $\Gamma$, since $\mathbf{k}$ and $\sigma$ commute. For these reasons, we may assume that $R={\langle}(1,0,\ldots,0){\rangle}_{{{\mathbb F}}_{q^n}}$. In particular, it follows that the coordinates of $R^{\sigma^i}$ are $\mathbf{e}_{is \pmod{n}}$, where $\mathbf{e}_j$ is the vector whose $j$-th component is one and all the others are zero. And by hypothesis we may assume that $Q={\langle}\mathbf e_s-\delta\mathbf e_{s(n-1)}{\rangle}_{{{\mathbb F}}_{q^n}}$. Hence we can choose as $\Lambda={\langle}R,R^{\sigma^{n-1}} {\rangle}$, so $\Gamma$ has equations $x_0=0$, $x_{s(n-1)}=-\delta x_s$, and $\Lambda$ is defined by $x_i=0$ for $i \in \{s,\ldots,s(n-2)\}$.

Therefore, $$L={{\mathrm p}}_{\Gamma,\Lambda}(\Sigma)\simeq \{ {\langle}(x,\delta x^{q^s}+x^{q^{s(n-1)}}) {\rangle}_{{{\mathbb F}}_{q^n}} \colon x \in {{\mathbb F}}_{q^n}  \},$$ i.e. $L$ is of LP-type.

Each linear set of LP-type $L_{s,\delta}^n$ of ${\mathrm{PG}}(1,q^n)$, with $n\geq 4$ and $(s,n)=1$, can be realized as the projection of $\Sigma$ choosing $\Gamma$ and $\Lambda$ as follows $$\Gamma \colon \left\{ \begin{array}{llr} x_0=0 \\ x_{s(n-1)}=-\delta x_s \end{array} \right. \,\,\, \text{and} \,\,\, \Lambda\colon x_i=0, \quad i \in \{s,\ldots,s(n-2)\}.$$ Therefore, as a direct consequence of Theorem \[charact1\] we provide a characterization result of linear sets of LP-type.

\[charact1.1\] Let $\Sigma$ be a canonical subgeometry of ${\mathrm{PG}}(n-1,q^n)$, $q>2$ and $n\geq 4$. Let $L$ be a scattered linear set in $\Lambda={\mathrm{PG}}(1,q^n)$. Then $L$ is a linear set of LP-type if and only if

(i) there exists an $(n-3)$-subspace $\Gamma$ of ${\mathrm{PG}}(n-1,q^n)$ such that $\Gamma \cap \Sigma=\Gamma\cap\Lambda=\emptyset$ and $L={{\mathrm p}}_{\Gamma,\Lambda}(\Sigma)$;

(ii) there exists a generator $\sigma$ of the subgroup of $\mathrm{P}\Gamma\mathrm{L}(n,q^n)$ fixing $\Sigma$ pointwise, such that $\mathrm{intn}_{\sigma}(\Gamma)=2$;

(iii) there exist a unique point $P\in{\mathrm{PG}}(n-1,q^n)$ and some point $Q$ such that $$\Gamma=\langle P,P^{\sigma},\ldots,P^{\sigma^{n-4}},Q \rangle;$$

(iv) the line $\langle P^{\sigma^{n-1}}, P^{\sigma^{n-3}}\rangle$ meets $\Gamma$.

Necessary conditions
--------------------

Very recently, Csajbók, Marino and Polverino in [@CMP] have investigated the equivalence problem between ${{\mathbb F}}_q$-linear sets of rank $n$ on the projective line ${\mathrm{PG}}(1,q^n)$. The idea is first to study the $\Gamma\mathrm{L}(2,q^n)$-orbits of the subspace $U$ defining the linear set $L_U$ and then to study the equivalence between two linear sets. More precisely, they give the following definition of $\Gamma\mathrm{L}$-class (see [@CMP Definitions 2.5]) of an ${{\mathbb F}}_q$-linear set of a line.

Let $L_U$ be an $\mathbb{F}_q-$linear set of ${\mathrm{PG}}(V,\mathbb{F}_{q^n})={\mathrm{PG}}(1,q^n)$ of rank $n$ with maximum field of linearity $\mathbb{F}_q$ ([^5]).

We say that $L_U$ is of $\Gamma\mathrm{L}$-*class* $s$ if $s$ is the greatest integer such that there exist $\mathbb{F}_q$-subspaces $U_1,\ldots,U_s$ of $V$ with $L_{U_i}=L_U$ for $i \in \{1,\ldots,s\}$ and there is no $f \in \Gamma \mathrm{L}(2,q^n)$ such that $U_i=U_j^f$ for each $i\neq j$, $i,j \in \{1,2,\ldots,s\}$.

If $L_U$ is of $\Gamma \mathrm{L}$-class one, then $L_U$ is said to be *simple*, i.e. when the $\Gamma\mathrm{L}(2,q^n)$-orbit of $U$ completely determine the $\mathrm{P}\Gamma\mathrm{L}(2,q^n)$-orbit of $L_U$. For $n\le4$, any linear set in ${\mathrm{PG}}(1,q^n)$ is simple [@CMP Theorem 4.5].

The $\Gamma\mathrm{L}$-class of a linear set is a projective invariant (by [@CMP Proposition 2.6]) and play a crucial role in the study of linear sets up to equivalences. Using these notions and by developing some new techniques, the authors in [@CsMP2018] prove that in ${\mathrm{PG}}(1,q^5)$ each ${{\mathbb F}}_q$-linear set $L_f$ of rank $5$ and with maximum field of linearity ${{\mathbb F}}_q$ is of $\Gamma\mathrm{L}$-class at most $2$, proving also that if $L_U$ is equivalent to $L_f$ then $U$ is $\Gamma\mathrm{L}$-equivalent to either $U_f$ or to $U_f^\perp=U_{\hat{f}}$, where the non-degenerate symmetric bilinear form of ${{\mathbb F}}_{q^n}$ over ${{\mathbb F}}_q$ defined by $${\langle}x,y{\rangle}= {\hbox{{\rm Tr}}}_{q^n/q}(xy),$$ for each $x,y \in {{\mathbb F}}_{q^n}$ is taken into account. Then the *adjoint* $\hat{f}$ of the linearized polynomial $\displaystyle f(x)=\sum_{i=0}^{n-1} a_ix^{q^i} \in \tilde{\mathcal{L}}_{n,q}$ with respect to the bilinear form ${\langle},{\rangle}$ is $$\hat{f}(x)=\sum_{i=0}^{n-1} a_i^{q^{n-i}}x^{q^{n-i}},$$ i.e. $${\hbox{{\rm Tr}}}_{q^n/q}(xf(y))={\hbox{{\rm Tr}}}_{q^n/q}(y\hat{f}(x)),$$ for each $x,y \in {{\mathbb F}}_{q^n}$.

For linear sets of LP-type the following is known.

\[classLP\][@CsMP2018; @CsMZ2018] A maximum scattered linear set of LP-type $$L_{s,\delta}^n=L_f=\{{\langle}(x,\delta x^{q^s} + x^{q^{n-s}}){\rangle}_{{{\mathbb F}}_{q^n}}\colon x\in {{\mathbb F}}_{q^n}\}\subseteq{\mathrm{PG}}(1,q^n),$$ with $(s,n)=1$ and $f(x)=\delta x^{q^s} + x^{q^{n-s}}$, is of $\Gamma\mathrm{L}$-class less than or equal to $2$ for $n \in \{5,6,8\}$. Furthermore, $L_U$ is equivalent to $L$ if and only if $U$ is $\Gamma\mathrm{L}(2,q^n)$-equivalent to either $U_{f}$ or to $U_f^\perp=U_{\hat{f}}$.

Furthermore, in [@CMP; @PhDthesis], it has been shown that there are maximum scattered linear sets of LP-type of both $\Gamma\mathrm{L}$-classes one and two.

For our purpose it is important to look to the $\Gamma\mathrm{L}$-class in a more geometric way. The following result has been stated in [@CMP Section 5.2] as a consequence of [@CSZ2015 Theorems 6 & 7].

\[GLclassGeom\] The $\Gamma\mathrm{L}$-class of $L_U$ is the number of orbits in $\mathrm{Stab}(\Sigma)$ of $(n-3)$-subspaces of ${\mathrm{PG}}(n-1,q^n)$ containing a $\Gamma$ disjoint from $\Sigma$ and from $\Lambda$ such that ${{\mathrm p}}_{\Gamma,\Lambda}(\Sigma)$ is equivalent to $L_U$.

As a consequence of Theorems \[classLP\] and \[GLclassGeom\], we have the following characterization for linear sets of LP-type.

\[charact3\] Let $L$ be a maximum scattered linear set in $\Lambda={\mathrm{PG}}(1,q^n)$ with $n\le6$ or $n=8$. Then $L$ is a linear set of LP-type if and only if for each $(n-3)$-subspace $\Gamma$ of ${\mathrm{PG}}(n-1,q^n)$ such that $L={{\mathrm p}}_{\Gamma,\Lambda}(\Sigma)$, the following holds:

(i) there exists a generator $\sigma$ of the subgroup of $\mathrm{P}\Gamma\mathrm{L}(n,q^n)$ fixing $\Sigma$ pointwise, such that $\mathrm{intn}_{\sigma}(\Gamma)=2$;

(ii) if $P$ is the unique point of ${\mathrm{PG}}(n-1,q^n)$ such that $$\Gamma=\langle P,P^{\sigma},\ldots,P^{\sigma^{n-4}},Q \rangle,$$ then the line $\langle P^{\sigma^{n-1}}, P^{\sigma^{n-3}}\rangle$ meets $\Gamma$.

Because of Theorem \[classLP\] and [@CMP Theorem 4.5], if $n\le6$ or $n=8$, then the two (possibly) not $\Gamma\mathrm{L}(2,q^n)$-equivalent representation for a linear set of LP-type are $$U_{\delta x^{q^s} + x^{q^{n-s}}} \,\,\,\text{and}\,\,\,U_{\delta^{q^{n-s}} x^{q^{n-s}} + x^{q^{s}}}.$$ Therefore, by Theorem \[GLclassGeom\] we have that all the possible vertices of the projections to obtain a linear set of LP-type satisfy the hypothesis of Theorem \[charact1.1\] and the assertion then follows.

Note that Theorem \[charact3\] guarantees that each vertex of the projection of a linear set of LP-type satisfies conditions $(i)$ and $(ii)$, whereas Theorem \[charact1.1\] asserts the existence of a vertex of the projection of a linear set of LP-type satisfying these conditions.

As we will see in Section \[newconstruction\], this result may turn out to be useful to construct new examples of maximum scattered linear sets in ${\mathrm{PG}}(1,q^n)$.

A purely geometric description for odd $n$ {#Geo}
==========================================

The next lemma proves that, for $n$ odd, the only scattered linear sets of LP-type are exactly those described by Lunardon and Polverino in [@LP2001] and Sheekey [@Sh].

\[norm\] Let $L:=\{{\langle}(x,\delta x^{q^s} + x^{q^{n-s}}){\rangle}_{{{\mathbb F}}_{q^n}}\colon x\in {{\mathbb F}}_{q^n}\}\subseteq {\mathrm{PG}}(1,q^n)$, with $(s,n)=1$, and let $n>3$ be odd. Then $L$ is scattered if and only if ${{\mathrm N}}(\delta)\neq 1$.

We only have to prove that if ${{\mathrm N}}(\delta)= 1$, then $L$ cannot be scattered. The linear set $L$ is scattered if and only if in the following set of polynomials $$A=\{\alpha x+\delta x^{q^s} + x^{q^{n-s}} \colon \alpha\in {{\mathbb F}}_{q^n}\}$$ there are no polynomials with more than $q$ roots, for otherwise there would be a point $\langle(1,-\alpha)\rangle_{{{\mathbb F}}_{q^n}}$ of weight greater than one. Equivalently in the following set of polynomials $$A'=\{f_{\alpha}(x)=\delta^{-1}x+\alpha x^{q^{s}}+ x^{q^{2s}} \colon \alpha\in {{\mathbb F}}_{q^n}\}$$ there are no polynomials with more than $q$ roots. For any $\xi \in {{\mathbb F}}_{q^n}^*$ with ${{\mathrm N}}(\xi)=1$, the polynomial $$\label{polform}
\frac{f_{\alpha}(x) \circ \xi x}{\xi^{q^{2s}}}=\delta^{-1} \xi^{1-q^{2s}}x+\alpha \xi^{q^s-q^{2s}}x^{q^s}+x^{q^{2s}}$$ has the same number of roots of $f_{\alpha}(x)$. Note that since $n$ is odd, for any $m\in{\mathbb F_{q^n}}$ such that $\operatorname{N}(m)=1$ there is $\xi\in{\mathbb F_{q^n}}$ such that $m=\xi^{1-q^{2s}}$. Taking into account $\operatorname{N}(\delta)=1$, this implies that for any polynomial of the form $P(x)=\gamma x+\beta x^{q^s}+x^{q^{2s}}$, with $\gamma,\beta\in{\mathbb F_{q^n}}$ and ${{\mathrm N}}(\gamma)=1$, there are $\alpha$ and $\xi\in{\mathbb F_{q^n}}$ such that coincides with $P(x)$. This is a contradiction, since there exist polynomials of type $\gamma x+\beta x^{q^s}+x^{q^{2s}}$, $\operatorname{N}(\gamma)=1$, with $q^2$ roots, e.g. $$\frac{1}{u^{q^s}v^{q^{2s}}-u^{q^{2s}}v^{q^s}}\det \left( \begin{array}{cccccc} x & x^{q^s} & x^{q^{2s}} \\ u & u^{q^s} & u^{q^{2s}} \\ v & v^{q^s} & v^{q^{2s}} \end{array}\right)$$ where $u,v \in {{\mathbb F}}_{q^n}$ are ${{\mathbb F}}_q$-linearly independent.

The previous lemma was already proved for $n=4$ in [@CsZ2018] and for $s=1$ in [@BartoliZhou].

\[charact2\] Let $\Gamma$ be a subspace of ${\mathrm{PG}}(n-1,q^n)$, $n$ odd, of dimension $n-3\geq 2$, and $\Sigma\cong{\mathrm{PG}}(n-1,q)$ a canonical subgeometry of ${\mathrm{PG}}(n-1,q^n)$, such that $\Gamma \cap \Sigma=\emptyset$. Assume that a generator $\sigma$ exists of the subgroup of $\mathrm{P}\Gamma\mathrm{L}(n,q^n)$ fixing $\Sigma$ pointwise, such that $\mathrm{intn}_{\sigma}(\Gamma)=2$. Then there exists a point $R\in{\mathrm{PG}}(n-1,q^n)$ such that $$R^{\sigma^2},R^{\sigma^3},\ldots,R^{\sigma^{n-2}}\in\Gamma.$$ Furthermore assume that ${\langle}R^\sigma,R^{\sigma^{n-1}}{\rangle}$ and $\Gamma$ meet in a point $Q$ and $R^\sigma\neq Q\neq R^{\sigma^{n-1}}$. Let $Q'$ be the point such that the pair $\{R^\sigma,R^{\sigma^{n-1}}\}$ separates $\{Q,Q'\}$ harmonically. Such $Q'$ is defined by the property that there are two representative vectors $v_0$ and $v_1$ for $R^\sigma$ and $R^{\sigma^{n-1}}$, respectively, such that ${\langle}v_0+v_1{\rangle}_{{\mathbb F_{q^n}}}=Q$, ${\langle}v_0-v_1{\rangle}_{{\mathbb F_{q^n}}}=Q'$. Under the assumptions above, the linear set $L={{\mathrm p}}_{\Gamma,\Lambda}(\Sigma)$, with $\Lambda$ a line disjoint from $\Gamma$, is a maximum scattered linear set of LP-type if and only if $$\label{strana}
\Sigma\cap{\langle}R,R^{\sigma^2},R^{\sigma^3},\ldots,R^{\sigma^{n-2}},Q'{\rangle}=\emptyset.$$

As in Theorem \[charact1\] it may be assumed that the coordinates of $Q$ are $x_s=1$, $x_{s(n-1)}=-\delta\in{{\mathbb F}}_{q^n}^*$, $x_i=0$ otherwise. The coordinates of $Q'$ are $x_s=1$, $x_{s(n-1)}=\delta\in{{\mathbb F}}_{q^n}^*$, $x_i=0$ otherwise. The span $W={\langle}R,R^{\sigma^2},R^{\sigma^3},\ldots,R^{\sigma^{n-2}},Q'{\rangle}$ and $R^\sigma$ are complementary subspaces of ${\mathrm{PG}}(n-1,q^n)$. So, $W$ is a hyperplane and its equation is $-\delta x_s+x_{s(n-1)}=0$. A point ${\langle}(u,u^q,\ldots,u^{q(n-1)}){\rangle}_{{{\mathbb F}}_{q^n}}$ of $\Sigma$ belongs to $W$ if and only if $-\delta u^{q^s}+u^{q^{s(n-1)}}=0$, equivalent to $$\label{menodelta}
\delta=u^{q^s(q^{s(n-2)}-1)}.$$ Since $n$ is odd, $s(n-2)$ is coprime with $n$. This implies that an $u\in{{\mathbb F}}_{q^n}^*$ exists satisfying (\[menodelta\]) if and only if ${{\mathrm N}}(\delta)=1$, which is a contradiction because of Lemma \[norm\].

New constructions {#newconstruction}
=================

In this section we will deal with the following family of linear sets $$\mathcal{L}:=\{ \langle (x,x^q-x^{q^2}+x^{q^4}+x^{q^5})\rangle_{{{\mathbb F}}_{q^6}} \colon x \in {{\mathbb F}}_{q^6}^* \} \subseteq {\mathrm{PG}}(1,q^6),\quad q \equiv 1 \pmod{4}.$$ We will show that for some choices of $q$ we may get new examples of maximum scattered linear sets. This family of linear sets can be obtained by projecting the canonical subgeometry $\Sigma=\{ \langle(x,x^q,x^{q^2},x^{q^3},x^{q^4},x^{q^5})\rangle_{{{\mathbb F}}_{q^6}} \colon x \in {{\mathbb F}}_{q^6}^* \}$ from $$\Gamma \colon \left\{ \begin{array}{ll} x_0=0 \\ x_5=-x_4-x_1+x_2 \end{array} \right.$$ to $$\Lambda \colon \left\{ \begin{array}{llll} x_1=0\\ x_2=0\\ x_3=0\\ x_4=0. \end{array} \right.$$ Let us consider $\sigma\in \mathrm{P}\Gamma\mathrm{L}(6,q^6)$ defined as $$\left({\langle}(x_0,x_1,x_2,x_2,x_4,x_5){\rangle}_{{{\mathbb F}}_{q^6}}\right)^\sigma=
{\langle}(x_5^q,x_0^q,x_1^q,x_2^q,x_3^q,x_4^q){\rangle}_{{{\mathbb F}}_{q^6}}$$ and $\overline{\sigma}:=\sigma^5$, which are the two generators of the subgroup of $\mathrm{P}\Gamma\mathrm{L}(6,q^6)$ fixing $\Sigma$ pointwise. Then $$\Gamma^{\sigma} \colon \left\{ \begin{array}{ll} x_1=0 \\ x_0=-x_5-x_2+x_3 \end{array} \right. \,\,\, \text{and} \,\,\, \Gamma^{\sigma^2} \colon \left\{ \begin{array}{ll} x_2=0 \\ x_1=-x_0-x_3+x_4. \end{array} \right.$$ Therefore, $$\Gamma\cap\Gamma^\sigma \colon \left\{ \begin{array}{llll} x_0=0\\ x_1=0 \\ x_4=2x_2-x_3 \\ x_5=-x_2+x_3 \end{array} \right. \,\,\, \text{and} \quad \Gamma\cap\Gamma^\sigma\cap\Gamma^{\sigma^2} =\emptyset.$$ Hence, $\dim_{{{\mathbb F}}_{q^6}} (\Gamma \cap \Gamma^\sigma)=1$ and since $q$ is odd $\dim_{{{\mathbb F}}_{q^6}} (\Gamma \cap \Gamma^\sigma\cap \Gamma^{\sigma^2})= -1$. Since $\Gamma \cap \Gamma^{\overline{\sigma}}=(\Gamma\cap\Gamma^\sigma)^{\sigma^5}$ and $\Gamma \cap \Gamma^{\overline{\sigma}}\cap \Gamma^{\overline{\sigma}^2} =(\Gamma\cap\Gamma^\sigma\cap\Gamma^{\sigma^2})^{\sigma^4}$, we have that $\dim_{{{\mathbb F}}_{q^6}} (\Gamma \cap \Gamma^{\overline{\sigma}})=1$ and $\dim_{{{\mathbb F}}_{q^6}} (\Gamma \cap \Gamma^{\overline{\sigma}}\cap \Gamma^{\overline{\sigma}^2})= -1$. Therefore, $$\mathrm{intn}_{\sigma}(\Gamma)= \mathrm{intn}_{\overline{\sigma}}(\Gamma)= 3.$$ This implies the non-equivalence of $\mathcal L$ with the linear set of pseudoregulus type and also it cannot be of LP-type because of Theorem \[charact3\].

Computational results show that for $q \equiv 1 \pmod{4}$ the linear set $\mathcal{L}$ is maximum scattered for $q\leq 29$. We show that for $q\leq 17$ and $q \not\equiv 0 \pmod{5}$ it is also new. For $q\equiv 0 \pmod{5}$ we will prove in Proposition \[trin0\] that $\mathcal{L}$ is equivalent to the linear set defined in [@CsMZ2018].

Known examples of maximum scattered linear sets in ${\mathrm{PG}}(1,q^6)$ {#EquivIssue}
-------------------------------------------------------------------------

In order to decide whether the linear set $\mathcal{L}$ is new, we describe the known maximum scattered linear sets in ${\mathrm{PG}}(1,q^6)$.

We start by listing the non-equivalent (under the action of $\Gamma\mathrm{L}(2,q^6)$) maximum scattered subspaces of ${{\mathbb F}}_{q^6}^2$, i.e. subspaces defining maximum scattered linear sets.

\[exKnownscattered\]

1.  $U^{1}:= \{(x,x^{q}) \colon x\in {{\mathbb F}}_{q^6}\}$, see [@BL2000; @CsZ20162];

2.  $U^{2}_{\delta}:= \{(x,\delta x^{q} + x^{q^{5}})\colon x\in {{\mathbb F}}_{q^6}\}$, ${{\mathrm N}}_{q^6/q}(\delta)\notin \{0,1\}$ [^6], see [@LP2001; @LTZ; @Sh];

3.  $U^{3}_{\delta}:= \{(x,\delta x^{q}+x^{q^{4}})\colon x\in {{\mathbb F}}_{q^{6}}\}$, ${{\mathrm N}}_{q^6/q^{3}}(\delta) \notin \{0,1\}$, satisfying further conditions on $\delta$ and $q$, see [@CMPZ Theorems 7.1 and 7.2] [^7];

4.  $U^{4}_{\delta}:=\{(x, x^q+x^{q^3}+\delta x^{q^5}) \colon x \in {{\mathbb F}}_{q^6}\}$, $q$ odd and $\delta^2+\delta=1$, see [@CsMZ2018; @MMZ].

In order to simplify the notation, we will denote by $L^1$ and $L^{i}_{\delta}$ the ${{\mathbb F}}_q$-linear set defined by $U^{1}$ and $U^{i}_{\delta}$, respectively. Therefore, $L_\delta^2=L_{s,\delta}^6$ as defined in . We will also use the following notation: $\mathcal{U}:=U_{x^q-x^{q^2}+x^{q^4}+x^{q^5}}$.

In [@CsMZ2018 Propositions 3.1, 4.1 & 5.5] the following result has been proved.

\[equiv\] Let $L_f$ be one of the maximum scattered of ${\mathrm{PG}}(1,q^6)$ listed before. Then a linear set $L_U$ of ${\mathrm{PG}}(1,q^6)$ is $\mathrm{P}\Gamma\mathrm{L}$-equivalent to $L_f$ if and only if $U$ is $\Gamma\mathrm{L}$-equivalent either to $U_f$ or to $U_{\hat{f}}$. Furthermore, the linear set $L^3_{\delta}$ is simple.

The previous lemma includes results on linear sets of LP-type.

\[closedadjoint\] If $U_f$ is an ${\mathbb F_q}$-subspace of type 1. or 2. above, then $U_{\hat f}$ and $U_f$ are $\Gamma\mathrm{L}$-equivalent. By Lemma \[equiv\], this holds also for ${\mathbb F_q}$-subspaces of type 3.

The linear set $\mathcal{L}$
----------------------------

Here we deal with the equivalence issue between the linear sets defined by Example \[exKnownscattered\] and the linear set $\mathcal{L}$. As already noted, we just have to check the equivalence with the linear sets $L^3_{\delta}$ and with $L^4_{\delta}$ defined by the subspaces 3. and 4. in Example \[exKnownscattered\], because of the construction of $\mathcal{L}$ and Theorems \[chPseudo\] and \[charact3\].

The linear set $\mathcal{L}$ is not $\mathrm{P}\Gamma\mathrm{L}$-equivalent to $L^3_{\delta}$.

By Lemma \[equiv\], we have to check whether $\mathcal{U}$ and $U^3_{\delta}$ are $\Gamma\mathrm{L}$-equivalent, with ${{\mathrm N}}_{q^6/q^{3}}(\delta) \notin \{0,1\}$. Suppose that there exist $\sigma \in \mathrm{Aut}({{\mathbb F}}_{q^6})$ and an invertible matrix $\left( \begin{array}{llrr} a & b \\ c & d \end{array} \right)$ such that for each $x \in {{\mathbb F}}_{q^6}$ there exists $z \in {{\mathbb F}}_{q^6}$ satisfying $$\left(
\begin{array}{llrr}
a & b\\
c & d
\end{array} \right)
\left(
\begin{array}{ccc}
\hspace{1cm}x^\sigma\\
x^{\sigma q}-x^{\sigma q^2}+x^{\sigma q^4}+x^{\sigma q^5}
\end{array} \right)
=\begin{pmatrix} z\\
{\delta z^q+ z^{q^4}} \end{pmatrix}.$$ Equivalently, for each $x \in {{\mathbb F}}_{q^6}$ we have $$cx^\sigma+d(x^{\sigma q}-x^{\sigma q^2}+x^{\sigma q^4}+x^{\sigma q^5})=\delta [a^qx^{\sigma q}+$$ $$+b^q(x^{\sigma q^2}-x^{\sigma q^3}+x^{\sigma q^5}+x^\sigma)]+a^{q^4}x^{\sigma q^4}+b^{q^4}(x^{\sigma q^5}-x^\sigma+x^{\sigma q^2}+x^{\sigma q^3}).$$ This is a polynomial identity in $x^{\sigma}$ and hence we have the following relations: $$\label{binZ}
\left\{
\begin{array}{llllll}
c=\delta b^q- b^{q^4}\\
d=\delta a^q\\
-d=\delta b^q+b^{q^4}\\
0=-\delta b^q+ b^{q^4}\\
d= a^{q^4}\\
d=\delta b^q+ b^{q^4}.
\end{array}\right.$$

From the second and the fifth equations, if $a \neq 0$ then $\delta=(a^q)^{q^3-1}$ and so ${{\mathrm N}}_{q^6/q^3}(\delta)=1$, which is not possible. So $a=0$ and then $d=0$. Hence we have $\delta b^q+b^{q^4}=0$ and $-\delta b^q+b^{q^4}=0$, from which we get $b=0$, which is not possible. Therefore, $\mathcal{L}$ is not equivalent to $L^3_{\delta}$.

\[trin0\] The linear set $\mathcal{L}$ is $\mathrm{P}\Gamma\mathrm{L}$-equivalent to $L^4_{\delta}$, for $q$ odd and $\delta^2+\delta=1$, if and only if there exist $a,b,c,d \in {{\mathbb F}}_{q^6}$ such that $ad-bc \neq 0$ and either $$\label{trin}
\left\{
\begin{array}{llllll}
c=b^q+\delta b^{q^5}\\
d=a^q+b^{q^3}-\delta b^{q^5}\\
-d=b^q+b^{q^3}\\
0=-b^q+a^{q^3}+\delta b^{q^5}\\
d=b^{q^3}+\delta b^{q^5}\\
d=b^q-b^{q^3}+\delta a^{q^5},
\end{array}\right.$$ or $$\label{trin2}
\left\{
\begin{array}{llllll}
c=\delta b^q+ b^{q^5}\\
d=\delta a^q+b^{q^3}- b^{q^5}\\
-d=\delta b^q+b^{q^3}\\
0=-\delta b^q+a^{q^3}+ b^{q^5}\\
d=b^{q^3}+ b^{q^5}\\
d=\delta b^q-b^{q^3}+ a^{q^5}.
\end{array}\right.$$ In particular, when $q \equiv 0 \pmod{5}$ the linear set $\mathcal{L}$ is $\mathrm{P}\Gamma\mathrm{L}$-equivalent to $L^4_{2}$.

By Lemma \[equiv\] we have to check whether $\mathcal{U}$ is equivalent either to $U^4_{\delta}$ or to $(U^4_{\delta})^\perp$. Suppose that there exist $\sigma \in \mathrm{Aut}({{\mathbb F}}_{q^6})$ and an invertible matrix $\left( \begin{array}{llrr} a & b \\ c & d \end{array} \right)$ such that for each $x \in {{\mathbb F}}_{q^6}$ there exists $z \in {{\mathbb F}}_{q^6}$ satisfying $$\left(
\begin{array}{llrr}
a & b\\
c & d
\end{array} \right)
\left(
\begin{array}{ccr}
\hspace{1cm}x^\sigma\\
x^{\sigma q}-x^{\sigma q^2}+x^{\sigma q^4}+x^{\sigma q^5}
\end{array} \right)
=\left(
\begin{array}{ccr}
\hspace{1cm}z\\
z^q+z^{q^3}+\delta z^{q^5} \end{array}
\right).$$ Equivalently, for each $x \in {{\mathbb F}}_{q^6}$ we have $$cx^\sigma+d(x^{\sigma q}-x^{\sigma q^2}+x^{\sigma q^4}+x^{\sigma q^5})=a^q x^{\sigma q}+b^q(x^{\sigma q^2}-x^{\sigma q^3}+x^{\sigma q^5}+x^{\sigma})+$$ $$+a^{q^3} x^{\sigma q^3}+b^{q^3}(x^{\sigma q^4}-x^{\sigma q^5}+x^{\sigma q}+x^{\sigma q^2})+$$ $$+\delta[a^{q^5}x^{\sigma q^5}+b^{q^5}(x^{\sigma}-x^{\sigma q}+x^{\sigma q^3}+x^{\sigma q^4})].$$ This is a polynomial identity in $x^{\sigma}$ and hence we have the Equations .

Now, suppose that there exist $\sigma \in \mathrm{Aut}({{\mathbb F}}_{q^6})$ and an invertible matrix $\left( \begin{array}{llrr} a & b \\ c & d \end{array} \right)$ such that for each $x \in {{\mathbb F}}_{q^6}$ there exists $z \in {{\mathbb F}}_{q^6}$ satisfying $$\left(
\begin{array}{llrr}
a & b\\
c & d
\end{array} \right)
\left(
\begin{array}{ccr}
\hspace{1cm}x^\sigma\\
x^{\sigma q}-x^{\sigma q^2}+x^{\sigma q^4}+x^{\sigma q^5}
\end{array} \right)
=\left(
\begin{array}{ccr}
\hspace{1cm}z\\
\delta z^q+z^{q^3}+ z^{q^5} \end{array}
\right).$$ As before, we get the Relations .

The second part follows from the fact that for $q \equiv 0 \pmod{5}$, $\delta=2$, $a=-1, b=1, c=3$ and $d=3$ satisfy (\[trin\]).

Thanks to GAP computations we are able to prove that the Systems and have no solutions in $a,b,c$ and $d$ ($ac-bd\neq0$) for $q \leq 17$ and $q \not\equiv 0 \pmod{5}$. Therefore, we have the following result.

\[new\] If $q\le17$, $q\equiv 1 \pmod4$, $q\neq5$, then $\mathcal{L}$ is a maximum scattered linear set of ${\mathrm{PG}}(1,q^6)$ not equivalent to any of those listed in Example \[exKnownscattered\].

Recall that $\mathcal{L}$ is computationally proved to be scattered for $q\le29$, $q\equiv1\pmod4$.

We conclude this section proposing the following conjecture.

The linear set $\mathcal{L}$ is a new maximum scattered linear set of ${\mathrm{PG}}(1,q^6)$ for each $q$ such that $q \equiv 1 \pmod{4}$ and $q\not\equiv 0 \pmod{5}$.

MRD-codes and scattered ${{\mathbb F}}_q$-subspaces
===================================================

The most natural way to look to the connection between maximum scattered linear sets and MRD-codes is through the ${{\mathbb F}}_q$-subspaces defining such linear sets, i.e. maximum scattered ${{\mathbb F}}_q$-subspaces. We briefly recall some basic definitions and results on rank metric codes, that have been intensively investigated for their applications in cryptography, space-time coding and distributed storage and for their links with remarkable geometric and algebraic objects (see e.g. [@BartoliZhou; @GPT; @delaCruz; @Lusina; @NRS; @Silb]).

In 1978, Delsarte [@Delsarte] introduced rank metric codes as follows. The set of $m \times n$ matrices ${{\mathbb F}}_q^{m\times n}$ over ${{\mathbb F}}_q$ is a rank metric ${{\mathbb F}}_q$-space with rank metric distance defined by $$d(A,B) = \mathrm{rk}\,(A-B)$$ for $A,B \in {{\mathbb F}}_q^{m\times n}$. A subset $\operatorname{\mathcal{C}}\subseteq {{\mathbb F}}_q^{m\times n}$ is called a *rank metric code* (or *RM*-code for short). The *minimum distance* of $\operatorname{\mathcal{C}}$ is $$d = \min\{ d(A,B) \colon A,B \in \operatorname{\mathcal{C}},\,\, A\neq B \}.$$ We are interested in ${{\mathbb F}}_q$-*linear* RM-codes, i.e. for which $\operatorname{\mathcal{C}}$ is an ${{\mathbb F}}_q$-linear subspace of ${{\mathbb F}}_q^{m\times n}$. We will say that such a code has parameters $(m,n,q;d)$. In [@Delsarte], Delsarte also showed that the parameters of these codes must fulfill a Singleton-like bound, i.e. $$|\operatorname{\mathcal{C}}| \leq q^{\max\{m,n\}(\min\{m,n\}-d+1)}.$$ When the equality holds, we call $\operatorname{\mathcal{C}}$ *maximum rank distance* (*MRD* for short) code.

From now on, we will only consider ${{\mathbb F}}_q$-linear RM-codes of ${{\mathbb F}}_q^{n\times n}$, i.e. those which can be identified with ${{\mathbb F}}_q$-subspaces of $\mathrm{End}_{{{\mathbb F}}_q}({{\mathbb F}}_{q^n})$. Since $\mathrm{End}_{{{\mathbb F}}_q}({{\mathbb F}}_{q^n})$ is isomorphic to the ring of $q$-polynomials over ${{\mathbb F}}_{q^n}$ modulo $x^{q^n}-x$, denoted by ${{\mathcal L}}_{n,q}$, with addition and composition as operations, we will consider ${{\mathcal C}}$ as an ${{\mathbb F}}_q$-subspace of ${{\mathcal L}}_{n,q}$. Given two ${{\mathbb F}}_q$-linear RM-codes, ${{\mathcal C}}_1$ and ${{\mathcal C}}_2$, they are *equivalent* if and only if there exist $\varphi_1$, $\varphi_2\in {{\mathcal L}}_{n,q}$ permuting ${{\mathbb F}}_{q^n}$ and $\rho\in \mathrm{Aut}({{\mathbb F}}_q)$ such that $$\varphi_1\circ f^\rho \circ \varphi_2 \in {{\mathcal C}}_2 \text{ for all }f\in {{\mathcal C}}_1,$$ where $\circ$ stands for the composition of maps and $f^\rho(x)= \sum f_i^\rho x^{q^i}$ for $f(x)=\sum f_i x^{q^i}$. For a rank metric code ${{\mathcal C}}$ given by a set of linearized polynomials, its *left* and *right idealisers* can be defined as: $$L({{\mathcal C}})= \{ \varphi \in {{\mathcal L}}_{n,q}\colon \varphi \circ f \in {{\mathcal C}}\text{ for all }f\in {{\mathcal C}}\},$$ $$R({{\mathcal C}})= \{ \varphi \in {{\mathcal L}}_{n,q}\colon f \circ \varphi \in {{\mathcal C}}\text{ for all }f\in {{\mathcal C}}\}.$$ If $L(\operatorname{\mathcal{C}})$ has maximum cardinality $q^n$, then we may always assume (up to equivalence) that $$L(\operatorname{\mathcal{C}})=\mathcal{F}_n=\{\tau_{\alpha}=\alpha x \colon \alpha \in {{\mathbb F}}_{q^n}\}\simeq {{\mathbb F}}_{q^n};$$ the same holds for the right idealiser, see [@CMPZ Theorem 6.1] and [@CsMPZh Theorem 2.2]. Hence, when the left idealiser is $\mathcal{F}_n$, $\operatorname{\mathcal{C}}$ results to be closed with respect to the left composition with the ${{\mathbb F}}_{q^n}$-linear maps; while if the right idealiser is $\mathcal{F}_n$, then $\operatorname{\mathcal{C}}$ is closed with respect to the right composition with the ${{\mathbb F}}_{q^n}$-linear maps. For this reason, when $L(\operatorname{\mathcal{C}})$ (resp. $R(\operatorname{\mathcal{C}})$) is equal to $\mathcal{F}_n$ we say that $\operatorname{\mathcal{C}}$ is ${{\mathbb F}}_{q^n}$-*linear on the left* (resp. *right*) (or simply ${{\mathbb F}}_{q^n}$-*linear* if it is clear from the context).

The notion of Delsarte dual code can be written in terms of $q$-polynomials as follows, see for example [@LTZ Section 2]. Let $b:{{\mathcal L}}_{n,q}\times{{\mathcal L}}_{n,q}\to{{\mathbb F}}_q$ be the bilinear form given by $$b(f,g)=\mathrm{Tr}_{q^n/q}\left( \sum_{i=0}^{n-1} f_ig_i \right)$$ where $\displaystyle f(x)=\sum_{i=0}^{n-1} f_i x^{q^i}$ and $\displaystyle g(x)=\sum_{i=0}^{n-1} g_i x^{q^i}$, and $\mathrm{Tr}_{q^n/q}$ is the trace function ${{\mathbb F}}_{q^n}\to{{\mathbb F}}_q$. The *Delsarte dual code* $\operatorname{\mathcal{C}}^\perp$ of a set of $q$-polynomials $\operatorname{\mathcal{C}}$ is $$\operatorname{\mathcal{C}}^\perp = \{f \in {{\mathcal L}}_{n,q} \colon b(f,g)=0, \hspace{0.1cm}\forall g \in \operatorname{\mathcal{C}}\}.$$

Only few families of MRD-codes are known, due to the results in [@BartoliZhou; @ByrneRavagnani; @H-TNRR]. In [@Delsarte], Delsarte gives the first construction for linear MRD-codes (he calls such sets *Singleton systems*) from the perspective of bilinear forms. Few years later, Gabidulin in [@Gabidulin Section 4] presents the same class of MRD-codes by using linearized polynomials. Although these codes have been originally discovered by Delsarte, they are called *Gabidulin codes*. Kshevetskiy and Gabidulin in [@kshevetskiy_new_2005] generalize the previous construction obtaining the so-called *generalized Gabidulin codes* $$\mathcal{G}_{k,s}=\langle x,x^{q^s},\ldots,x^{q^{s(k-1)}} \rangle_{{{\mathbb F}}_{q^n}},$$ with $\gcd(s,n)=1$ and $k\leq n-1$. The RM-code $\mathcal{G}_{k,s}$ is an ${{\mathbb F}}_{q}$-linear MRD-code with parameters $(n,n,q;n-k+1)$ and $L(\mathcal{G}_{k,s})=R(\mathcal{G}_{k,s})\simeq {{\mathbb F}}_{q^n}$, see [@LN2016 Lemma 4.1 & Theorem 4.5]. Note that, as proved in [@Gabidulin; @kshevetskiy_new_2005], this family is closed with respect to the Delsarte duality, more precisely $\mathcal{G}_{k,s}^\perp$ is equivalent to $\mathcal{G}_{n-k,s}$. This family of MRD-codes has been characterized by Horlemann-Trautmann and Marshall in [@H-TM] as follows.

\[gabidulind\][@H-TM Theorem 4.8] An ${{\mathbb F}}_{q^n}$-linear MRD-code ${{\mathcal C}}\subseteq \mathcal{L}_{n,q}$ having dimension $k$ (over ${{\mathbb F}}_{q^n}$) is equivalent to a generalized Gabidulin code ${{\mathcal G}}_{k,s}$ if and only if there is an integer $s<n$ with $\gcd(s,n)=1$ and $\dim_{{{\mathbb F}}_{q^n}} ({{\mathcal C}}\cap{{\mathcal C}}^{[s]})=k-1$, where ${{\mathcal C}}^{[s]}=\{f(x)^{q^s} \colon f \in {{\mathcal C}}\}$.

Very recently, Neri in [@Neri] removed the hypothesis on $\operatorname{\mathcal{C}}$ to be an MRD-code.

Sheekey in [@Sh] proves that with $\gcd(s,n)=1$, the set $$\mathcal{H}_{k,s}(\eta,h)=\{a_0x+a_1x^{q^s}+\ldots+a_{k-1}x^{q^{s(k-1)}}+a_0^{q^h}\eta x^{q^{sk}} \colon a_i \in {{\mathbb F}}_{q^n}\},$$ with $k\leq n-1$ and $\eta \in {{\mathbb F}}_{q^n}$ such that ${{\mathrm N}}_{q^n/q}(\eta)\neq (-1)^{nk}$, is an ${{\mathbb F}}_q$-linear MRD-code of dimension $nk$ with parameters $(n,n,q;n-k+1)$. This code is called *generalized twisted Gabidulin code*. Lunardon, Trombetti and Zhou in [@LTZ], generalizing the results of [@Sh], determined the automorphism group of the generalized twisted Gabidulin codes and proved that, up to equivalence, the generalized Gabidulin codes and the twisted Gabidulin codes are both proper subsets of this class. Clearly, for $\eta=0$ we have exactly the generalized Gabidulin code $\mathcal{G}_{k,s}$. Also, the authors in [@LTZ Corollary 5.2] determined the left and right idealisers: if $\eta \neq 0$, then $$\label{leftrightidealH}
L(\mathcal{H}_{k,s}(\eta,h))\simeq{{\mathbb F}}_{q^{\gcd(n,h)}} \,\, \text{and} \,\, R(\mathcal{H}_{k,s}(\eta,h))\simeq{{\mathbb F}}_{q^{\gcd(n,sk-h)}}.$$ The class of generalized twisted Gabidulin codes is closed with respect to the Delsarte duality, more precisely $\mathcal{H}_{k,s}(\eta,h)^\perp$ is equivalent to $\mathcal{H}_{n-k,s}(-\eta,n-h)$, [@Sh Theorem 6] and [@LTZ Propositions 4.2]. We are interested in the case when $h=0$, i.e. $$\mathcal{H}_{k,s}(\eta):=\mathcal{H}_{k,s}(\eta,0)=\langle x+\eta x^{q^{sk}}, x^{q^s},\ldots, x^{q^{s(k-1)}}\rangle_{{{\mathbb F}}_{q^n}},$$ which is ${{\mathbb F}}_{q^n}$-linear (more precisely it is an ${{\mathbb F}}_{q}$-linear MRD-code ${{\mathbb F}}_{q^n}$-linear on the left). This family has been characterized in [@GiuZ].

[@GiuZ Theorem 3.9]\[thm:charcGTG\] Let ${{\mathcal C}}\subseteq \mathcal{L}_{n,q}$ be an ${{\mathbb F}}_{q^n}$-linear MRD-code having dimension $k>2$. Then, the code ${{\mathcal C}}$ is equivalent to a generalized twisted Gabidulin code if and only if there exists an integer $s$ such that $\gcd(s,n)=1$ and such that the following two conditions hold

1.  $\dim ({{\mathcal C}}\cap {{\mathcal C}}^{[s]})=k-2$ and $\dim({{\mathcal C}}\cap {{\mathcal C}}^{[s]} \cap {{\mathcal C}}^{[{2s}]})=k-3$, i.e. there exist $p(x),q(x) \in {{\mathcal C}}$ such that $${{\mathcal C}}= \langle p(x)^{q^s}, p(x)^{q^{2s}}, \ldots, p(x)^{q^{s(k-1)}} \rangle_{{{\mathbb F}}_{q^n}} \oplus \langle q(x) \rangle_{{{\mathbb F}}_{q^n}};$$

2.  $p(x)$ is invertible and there exists $\eta \in {{\mathbb F}}_{q^n}^*$ such that $p(x)+\eta p(x)^{q^{sk}} \in {{\mathcal C}}$.

Apart from the two infinite families of ${{\mathbb F}}_{q^n}$-linear MRD-codes (i.e. ${{\mathcal G}}_{k,s}$ and ${{\mathcal H}}_{k,s}(\eta)$), there are few other examples known for $n \in \{6,7,8\}$, which arise from the connection with scattered linear sets we are going to explain.

In [@Sh Section 5] Sheekey showed that scattered ${{\mathbb F}}_q$-subspaces of ${{\mathbb F}}_{q^n}\times{{\mathbb F}}_{q^n}$ of dimension $n$ yield ${{\mathbb F}}_q$-linear MRD-codes with parameters $(n,n,q;n-1)$ with left idealiser isomorphic to ${{\mathbb F}}_{q^n}$; see [@CSMPZ2016; @CsMPZ2019; @ShVdV] for further details on such kind of connections. Let us recall the construction from [@Sh]. Let $U_f:=\{(x,f(x))\colon x\in {{\mathbb F}}_{q^n}\}$ be a scattered ${{\mathbb F}}_q$-subspace of ${{\mathbb F}}_{q^n}\times{{\mathbb F}}_{q^n}$. The set $$\operatorname{\mathcal{C}}_f:=\langle x,f(x)\rangle_{{{\mathbb F}}_{q^n}}$$ corresponds to a set of $n\times n$ matrices over ${{\mathbb F}}_q$ forming an ${{\mathbb F}}_q$-linear MRD-code with parameters $(n,n,q;n-1)$. Also, since $\operatorname{\mathcal{C}}_f$ is an ${{\mathbb F}}_{q^n}$-subspace of ${{\mathcal L}}_{n,q}$, its left idealiser $L(\operatorname{\mathcal{C}}_f)$ is isomorphic to ${{\mathbb F}}_{q^n}$. For further details see [@CMPZ Section 6]. Furthermore, let $\operatorname{\mathcal{C}}_f$ and $\operatorname{\mathcal{C}}_h$ be two MRD-codes arising from maximum scattered subspaces $U_f$ and $U_h$ of ${{\mathbb F}}_{q^n}\times {{\mathbb F}}_{q^n}$. In [@Sh Theorem 8] the author showed that there exist invertible matrices $A$, $B$ and $\sigma \in \mathrm{Aut}({{\mathbb F}}_{q})$ such that $A \operatorname{\mathcal{C}}_f^\sigma B=\operatorname{\mathcal{C}}_h$ if and only if $U_f$ and $U_h$ are $\Gamma\mathrm{L}(2,q^n)$-equivalent, i.e. he proved that the equivalence of the rank metric codes coincides with the $\Gamma\mathrm{L}$-equivalence of the corresponding subspaces.

As a consequence we get the following result.

\[thm:newMRD\] If $q\leq 17$, $q \equiv 1 \pmod{4}$ and $q\neq 5$, then the RM-code $\operatorname{\mathcal{C}}=\langle x, x^q-x^{q^2}+x^{q^4}+x^{q^5} \rangle_{{{\mathbb F}}_{q^6}}$ is an ${{\mathbb F}}_q$-linear MRD-code with parameters $(6,6,q;5)$ and left idealiser isomorphic to ${{\mathbb F}}_{q^6}$, and is not equivalent to any previously known MRD-code.

From [@CMPZ Section 6], the previously known ${{\mathbb F}}_q$-linear MRD-codes with parameters $(6,6,q;5)$ and with left idealiser isomorphic to ${{\mathbb F}}_{q^6}$ arise, up to equivalence, from one of the maximum scattered subspaces of ${{\mathbb F}}_{q^{6}}\times{{\mathbb F}}_{q^{6}}$ described in Section \[EquivIssue\]. From Corollary \[new\] the result then follows.

Scattered linear sets and MRD-codes
-----------------------------------

Lunardon in [@Lunardon2017 Section 3] (see also [@ShVdV Theorem 3.4] and [@CsMPZ2019 Section 4.1]) proved that if $U_f=\{(x,f(x)) \colon x \in {{\mathbb F}}_{q^n}\}$, with $f(x)=a_0x+a_1x^q+\ldots+a_{n-1}x^{q^{n-1}}$, is a scattered[^8] ${{\mathbb F}}_q$-subspace of ${{\mathbb F}}_{q^n}\times{{\mathbb F}}_{q^n}$, then it can be obtained as a special quotient. By [@Sh Section 5], it follows that $$\operatorname{\mathcal{C}}_f=\langle x,f(x) \rangle_{{{\mathbb F}}_{q^n}},$$ is an MRD-code. We may assume that the coefficient of $x$ in $f(x)$ is zero and $f(x)=x^{q^k}+\sum_{j\neq k} b_j x^{q^j}$. Denoting with $\{i_1,\ldots,i_{n-2}\}=\{1,\ldots,k-1,k+1,\ldots,n-1\}$ and $$h_{i_j}(x)=x^{q^{i_j}}-b_{i_j}x^{q^k}, \,\,\, j=1,\ldots,n-2,$$ it is straightforward to see that $$\operatorname{\mathcal{C}}^\perp=\langle h_{i_1}(x),\ldots,h_{i_{n-2}}(x) \rangle_{{{\mathbb F}}_{q^n}}.$$

We can embed $ U_{f} $ in ${{\mathbb F}}_{q^n}^n$ in such a way that the vector $(x,f(x))$ corresponds to the vector $(a_0,\ldots,a_{n-1})\in {{\mathbb F}}_{q^n}^n$ with $a_i=0$ if $i\neq 0,k$, $a_0=x$ and $a_k=f(x)$. Note that $W=\langle U_{f} \rangle_{{{\mathbb F}}_{q^n}}$ corresponds to the $2$-dimensional subspace with equations $x_j=0$ where $j\neq 0,k$.

Let $V$ be the ${{\mathbb F}}_{q^n}$-subspace of ${{\mathbb F}}_{q^n}^n$ of dimension $n-2$ represented by the equations $$V \colon \left\{\begin{array}{ll} x_{0}=0 \\ x_k=-\sum_{j\neq 0,k} b_j x_j \end{array}\right.,$$ and let $S=\{(x,x^q,\ldots,x^{q^{n-1}}) \colon x \in {{\mathbb F}}_{q^n}\}$. Note that $$\label{eq:vertMRD}
V=c_{\mathcal{N}}(\operatorname{\mathcal{C}}^\perp),$$ where $c_{\mathcal{N}}(\alpha_0x+\ldots+\alpha_{n-1}x^{q^{n-1}})=(\alpha_0,\ldots,\alpha_{n-1})$. It can be seen that $V \cap S= \{{\bf 0}\}$ and $$\label{eq:MRDvertex}
U_{f}= \langle V,S \rangle_{{{\mathbb F}}_q} \cap W.$$

This link suggests a new proof of the equivalence between the assertions 1. and 2. of Theorem \[chPseudo\]. In the following we will assume that $L=L_f$ is a scattered linear set of ${\mathrm{PG}}(1,q^n)$ with rank $n$.

(Theorem \[chPseudo\]) Assume that $L_f$ is of pseudoregulus type, then by [@CSZ2015] we have that if $L_U=L_f$ then $U$ is $\Gamma\mathrm{L}(2,q^n)$-equivalent to $$U_s=\{(x,x^{q^s}) \colon x \in {{\mathbb F}}_{q^n}\}.\,\,\,\text{with}\,\,\gcd(s,n)=1 \, \text{and} \, s<n/2.$$ Therefore if $U=U_s$, then $U_s= \langle V,S \rangle_{{{\mathbb F}}_q} \cap W$, with $$V\colon \left\{ \begin{array}{ll} x_0=0\\ x_s=0 \end{array}\right. \,\,\,\text{and}\,\,\, W\colon x_i=0\,\text{for}\,i\neq 0,s,$$ i.e. $L_f=p_{\Gamma,\Lambda}(\Sigma)$ with $\Gamma={\mathrm{PG}}(V,{{\mathbb F}}_{q^n})={\mathrm{PG}}(n-3,q^n)$, $\Sigma={\mathrm{PG}}(S,{{\mathbb F}}_q)={\mathrm{PG}}(n-1,q)$ and $\Lambda={\mathrm{PG}}(W,{{\mathbb F}}_{q^n})={\mathrm{PG}}(1,q^n)$. Denote by $\sigma$ the collineation of ${\mathrm{PG}}(n-1,q^n)$ defined by ${\langle}(x_0,\ldots,x_{n-1}){\rangle}_{{{\mathbb F}}_{q^n}}^{\sigma}={\langle}(x_{n-1}^{q},x_0^{q},\ldots,x_{n-2}^{q}){\rangle}_{{{\mathbb F}}_{q^n}}$, which fixes precisely the points of $\Sigma$. Therefore, we have that $\dim(\Gamma\cap\Gamma^{\sigma^s})=n-4$ and clearly $\sigma^s$ is a generator of the subgroup of $\mathrm{P}\Gamma\mathrm{L}(n,q^n)$ fixing $\Sigma$ pointwise.

Conversely, let $L=p_{\Gamma,\Lambda}(\Sigma)$ with $\dim(\Gamma\cap\Gamma^{\sigma^s})=n-4$, $\gcd(s,n)=1$, $\Gamma={\mathrm{PG}}(V,{{\mathbb F}}_{q^n})={\mathrm{PG}}(n-3,q^n)$, $\Sigma={\mathrm{PG}}(S,{{\mathbb F}}_q)={\mathrm{PG}}(n-1,q)$. Note that $V=c_{\mathcal{N}}(\mathcal{C})$ with $${{\mathcal C}}=\langle g_1(x),\ldots,g_{n-2}(x) \rangle_{{{\mathbb F}}_{q^n}},$$ for some linearized polynomials $g_1(x),\ldots,g_{n-2}(x)$. It follows that $$V \colon \left\{ \begin{array}{ll} a_0x_0+\ldots+a_{n-1}x_{n-1}=0 \\ a_0'x_0+\ldots+a_{n-1}'x_{n-1}=0 \end{array} \right.,$$ where $\operatorname{\mathcal{C}}^\perp=\langle f_1(x), f_2(x)\rangle_{{{\mathbb F}}_{q^n}}$ and $$f_1(x)=a_0x+\ldots+a_{n-1}x^{q^{n-1}},$$ $$f_2(x)=a_0'x+\ldots+a_{n-1}'x^{q^{n-1}}.$$ We may assume that $a_j=a_k'=1$ and $a_k=a_j'=0$ for some $j\neq k$, choose $W$ as the ${{\mathbb F}}_{q^n}$-subspace having equations $x_i=0$ for $i\neq j,k$. Therefore, we have $$(V+S)\cap W\simeq U:=\{(f_1(x), f_2(x)) \colon x \in {{\mathbb F}}_{q^n}\}.$$ So, $L=L_U$ and $U$ results to be a scattered ${{\mathbb F}}_q$-subspace of ${{\mathbb F}}_{q^n}\times{{\mathbb F}}_{q^n}$, i.e. by [@Sh Section 5] ${{\mathcal C}}^\perp$ is an MRD-code. It follows that ${{\mathcal C}}$ is an MRD-code with $\dim_{{{\mathbb F}}_{q^n}} {{\mathcal C}}=n-2$ and $\dim_{{{\mathbb F}}_{q^n}} ({{\mathcal C}}\cap{{\mathcal C}}^{[s]})=n-3$. By Theorem \[gabidulind\], $\operatorname{\mathcal{C}}$ is equivalent to ${{\mathcal G}}_{n-2,s}$. It follows that $U$ is $\Gamma\mathrm{L}(2,q^n)$-equivalent to $U_s$ and hence $L$ is of pseudoregulus type.

In [@Neri], Neri gives a characterization of generalized Gabidulin codes using the standard form of their generator matrix. This suggests a further different approach to the characterization of linear sets of pseudoregulus type.

For linear sets of LP-type, as done for the pseudoregulus case, it follows that one of the possible ${{\mathbb F}}_q$-subspaces representing a linear set of LP-type can be obtained as in , choosing $V$ in such a way that $V=c_\mathcal{N}(\mathcal{H}_{n-2,s}(\eta))$. Since a characterization of generalized twisted Gabidulin codes is known, see Theorem \[thm:charcGTG\] with $k=n-2$, it follows that a scattered linear set $L$ is of LP-type if and only if there exists an ${{\mathbb F}}_q$-subspace $U$ of ${{\mathbb F}}_{q^n}\times{{\mathbb F}}_{q^n}$ such that $L_U=L$, where $U$ is as in and the rank-metric code associated to $V$ satisfies the hypothesis of Theorem \[thm:charcGTG\] with $k=n-2$. In contrast to the above characterization, those presented in the previous sections are purely geometric and take into account the problem of the possible ${{\mathbb F}}_q$-subspaces representing a linear set of LP-type.

[100]{}

Exceptional scattered polynomials, *J. Algebra* [**509**]{} (2018), 507–534.

Scattered spaces with respect to a spread in $\mathrm{PG}(n,q)$, *Geom. Dedicata* [**81**]{} (2000), 231–243.

$\mathbb{F}_q$-linear blocking sets in ${\mathrm{PG}}(2,q^4)$, [*Innov. Incidence Geom.*]{} [**2**]{} (2005): 35–56.

Partition-balanced families of codes and asymptotic enumeration in coding theory, <https://arxiv.org/abs/1805.02049>.

, *J. Combin. Theory Ser. A* [**157**]{} (2018), 402–426.

, *Ars Math. Contemp.* [**16(2)**]{}(2019), 585–608.

A new family of MRD-codes, *Linear Algebra Appl.* [**548**]{} (2018), 203–220.

Maximum Rank-Distance codes with maximum left and right idealisers, <https://arxiv.org/abs/1807.08774>.

Maximum scattered linear sets and MRD-codes, [*J. Algebraic Combin.*]{} [**46**]{} (2017), 1–15.

A special class of scattered subspaces, [arXiv:1906.10590](https://arxiv.org/abs/1906.10590).

New maximum scattered linear sets of the projective line, *Finite Fields Appl.* [**54**]{} (2018), 133–150.

On the equivalence of linear sets, *Des. Codes Cryptogr.* [**81**]{} (2016), 269–281.

On scattered linear sets of pseudoregulus type in ${\mathrm{PG}}(1,q^t)$, [*Finite Fields Appl.*]{} [**41**]{} (2016), 34–54.

Maximum scattered ${{\mathbb F}}_q$-linear sets of ${\mathrm{PG}}(1,q^4)$, *Discrete Math.* [**341**]{} (2018), 74–-80.

Algebraic structures of MRD Codes, [*Adv. Math. Commun.*]{} [**10**]{} (2016), 499–510.

Bilinear forms over a finite field, with applications to coding theory, [*J. Combin. Theory Ser. A*]{} [**25**]{} (1978), 226–241.

Theory of codes with maximum rank distance, *Problems of information transmission*, [**21(3)**]{} (1985), 3–16.

Ideals over a Non-Commutative Ring and Their Application in Cryptology, in *Workshop on the Theory and Application of of Cryptographic Techniques*, Springer (1991), 482-–489.

Identifiers for MRD-codes, *Linear Algebra Appl.* **575** (2019), 66–86.

New criteria for MRD and Gabidulin codes and some rank-metric code constructions, [*Adv. Math. Commun.*]{} [**11(3)**]{} (2017), 533–548.

The new construction of rank codes, *International [Symposium]{} on [Information]{} [Theory]{}*, 2005. [ISIT]{} 2005. [Proceedings]{}, pages 2105–2108, Sept. 2005.

: Automorphism groups of Gabidulin-like codes, [*Arch. Math.*]{} [**107(4)**]{} (2016), 355–366.

Normal spreads, [*Geom. Dedicata*]{} [**75**]{} (1999), 245–261.

MRD-codes and linear sets, [*J. Combin. Theory Ser. A*]{} [**149**]{} (2017), 1–20.

Maximum scattered linear sets of pseudoregulus type and the Segre Variety ${\cal S}_{n,n}$, *J. Algebraic. Combin.* **39** (2014), 807–831.

A geometric characterisation of linear k-blocking sets, [*J. Geom.*]{} [**74 (1-2)**]{} (2002), 120–122.

Blocking Sets and Derivable Partial Spreads, *J. Algebraic Combin.* [**14**]{} (2001), 49–56.

Translation ovoids of orthogonal polar spaces, [*Forum Math.*]{} [**16**]{} (2004), 663–669.

Generalized Twisted Gabidulin Codes, *J. Combin. Theory Ser. A* [**159**]{} (2018), 79–106.

Maximum rank distance codes as space-time codes, *IEEE Trans. Info. Theory* [**49**]{} (2003), 2757-–2760.

MRD-codes arising from the trinomial $x^q+x^{q^3}+cx^{q^5}\in{{\mathbb F}}_{q^6}[x]$, [arXiv:1907.08122](https://arxiv.org/abs/1907.08122).

Systematic encoders for generalized Gabidulin codes and the $q$-analogue of Cauchy matrices, <https://arxiv.org/abs/1805.06706>.

On the genericity of maximum rank distance and Gabidulin codes, [*Des. Codes Cryptogr.*]{} [**86(2)**]{} (2018), 1–23.

Invariants and Inequivalence of Linear Rank-Metric Codes, [arXiv:1905.11326](https://arxiv.org/abs/1905.11326).

Equivalence and Characterizations of Linear Rank-Metric Codes Based on Invariants, [arXiv:1911.13059](https://arxiv.org/abs/1911.13059).

Fuzzy Authentication using Rank Distance, [arXiv:1703.03235](https://arxiv.org/abs/1703.03235).

A new family of linear maximum rank distance codes, [*Adv. Math. Commun.*]{} [**10(3)**]{} (2016), 475–488.

Rank-metric codes, linear sets and their duality, [arXiv:1806.05929](https://arxiv.org/abs/1806.05929).

Optimal locally repairable codes via rank-metric codes, *IEEE Int. Symp. Inf. Theory (ISIT)* (2013), Istanbul (Turkey).

Linear codes and Galois geometries: between two worlds, *Ph.D. thesis*, Università degli Studi della Campania “*Luigi Vanvitelli*”.

Corrado Zanella and Ferdinando Zullo\
Dipartimento di Tecnica e Gestione dei Sistemi Industriali\
Università degli Studi di Padova\
Stradella S. Nicola, 3\
36100 Vicenza VI\
Italy\
*{corrado.zanella,ferdinando.zullo}@unipd.it*

Ferdinando Zullo\
Dipartimento di Matematica e Fisica,\
Università degli Studi della Campania “Luigi Vanvitelli”,\
I–81100 Caserta, Italy\
[[*ferdinando.zullo@unicampania.it*]{}]{}

[^1]: The research was supported by the Italian National Group for Algebraic and Geometric Structures and their Applications (GNSAGA - INdAM).

[^2]: Angle brackets without the indication of a field will denote the projective span of a set of points in a projective space.

[^3]: This condition implies $q\neq 2$.

[^4]: Starting to count from zero.

[^5]: The *maximum field of linearity* of an ${{\mathbb F}}_q$-linear set $L_U$ as ${{\mathbb F}}_{q^\ell}$ if $\ell$ is the largest integer such that $\ell \mid n$ and $L_U$ is an ${{\mathbb F}}_{q^\ell}$-linear set.

[^6]: This condition implies $q\neq 2$.

[^7]: Also here $q>2$, otherwise it is not scattered.

[^8]: The statement is more general, we have adapted it to our case.
