---
title: Pseudoregulus Type in Projective Geometry
url: https://www.emergentmind.com/topics/pseudoregulus-type
type: topic
---

# Pseudoregulus Type in Projective Geometry

Searching arXiv for recent and foundational papers on pseudoregulus type linear sets, scattered polynomials, and related translation planes.
Pseudoregulus type denotes the classical family of maximum scattered \(\mathbb F_q\)-linear sets that first appears on the projective line \(\mathrm{PG}(1,q^t)\) and extends to higher-dimensional spaces \(\mathrm{PG}(2n-1,q^t)\). In the line case, it is represented by Frobenius-graph models such as \(\{(\lambda,\lambda^q)_{q^t}:\lambda\in \mathbb F_{q^t}^\ast\}\); in the higher-dimensional case, it is characterized by a large family of pairwise disjoint weight-\(t\) lines together with exactly two transversal \((n-1)\)-spaces. Across the literature, pseudoregulus type is the prototype against which later families of scattered linear sets, scattered polynomials, translation planes, and rank-metric constructions are measured [1211.3604][2205.06634].

## 1. Classical definition and standard models

On \(\mathrm{PG}(1,q^t)\), a linear set of pseudoregulus type is, up to projective equivalence, the standard scattered set
\[
L=\{(\lambda,\lambda^q)_{q^t}:\lambda\in\mathbb F_{q^t}^\ast\}.
\]
Equivalent formulations replace \(x^q\) by \(x^{q^\nu}\) with \(\gcd(\nu,t)=1\), or by the monomial
\[
g_s(x)=\omega x^{q^s}, \qquad (s,t)=1,
\]
with \(\omega\in \mathbb F_{q^t}^\ast\) chosen so that
\[
N_{q^t/q}(\omega)=1.
\]
The associated linear set is then
\[
L_{g_s}=\{\langle (x,\omega x^{q^s})\rangle : x\in \mathbb F_{q^t}^\ast\},
\]
and after a projective change of coordinates all such sets are projectively equivalent [2205.06634][1506.08875].

In this line setting, pseudoregulus type is a maximum scattered \(\mathbb F_q\)-linear set of rank \(t\). The standard model has exactly two transversal points, namely \((1,0)_{q^t}\) and \((0,1)_{q^t}\) [1506.08875]. For \(\mathrm{PG}(1,q^4)\), the prototype is
\[
U(0)=\{(x,x^q):x\in \mathbb F_{q^4}\},
\]
and the corresponding linear set \(L_{U(0)}\) is explicitly identified as pseudoregulus type [1705.00731].

In higher dimension, the notion is defined on \(\mathrm{PG}(2n-1,q^t)\). A scattered \(\mathbb F_q\)-linear set \(L\) of rank \(tn\) is of pseudoregulus type if there exist
\[
m=\frac{q^{tn}-1}{q^t-1}
\]
pairwise disjoint lines \(s_1,\dots,s_m\) with weight \(t\), and exactly two \((n-1)\)-dimensional subspaces \(T_1,T_2\), disjoint from \(L\), such that each \(s_i\) meets both \(T_1\) and \(T_2\). The family \(\{s_i\}\) is the \(\mathbb F_q\)-pseudoregulus, and \(T_1,T_2\) are the transversal spaces [1211.3604].

## 2. Geometric characterizations via projection, field reduction, and ring geometry

A central characterization realizes pseudoregulus type as a projection of a canonical subgeometry. Let \(\Sigma\cong \mathrm{PG}(t-1,q)\) be a canonical subgeometry of \(\mathrm{PG}(t-1,q^t)\), let \(\Gamma\) be a \((t-3)\)-subspace disjoint from \(\Sigma\), and let \(\ell\) be a line disjoint from \(\Gamma\). Then
\[
p_{\Gamma,\ell}(\Sigma)=\{\Gamma P\cap \ell : P\in \Sigma\}
\]
is a scattered linear set of pseudoregulus type precisely when there exists a generator \(\hat\sigma\) of the subgroup of \(\mathrm{P\Gamma L}(t,q)\) fixing \(\Sigma\) pointwise such that
\[
\dim(\Gamma\cap \hat\sigma(\Gamma))=t-4,
\]
with \(\Gamma\) not contained in the span of any hyperplane of \(\Sigma\). Equivalently, there exist an imaginary point \(P\) and such a generator \(\hat\sigma\) for which
\[
\Gamma=\langle P,\hat\sigma(P),\dots,\hat\sigma^{t-3}(P)\rangle
\]
and the orbit \(P,\hat\sigma(P),\dots,\hat\sigma^{t-1}(P)\) spans the ambient space [1506.08875]. In the line case \(\mathrm{PG}(1,q^n)\), the same vertex criterion is commonly written as
\[
\dim(\Gamma\cap \Gamma^\sigma)=n-4
\]
or
\[
\Gamma=\langle P,P^\sigma,\dots,P^{\sigma^{n-3}}\rangle
\]
for a generator \(\sigma\) of the pointwise stabilizer of the canonical subgeometry [2405.01374].

Field reduction gives a second description. For a pseudoregulus-type linear set in \(\mathrm{PG}(1,q^t)\), the field-reduced image lies on the hypersurface
\[
Q_{t-1,q}=\{(a,b)_{q^t}:N(a)=N(b)\},
\]
where \(N(x)=x^{1+q+\cdots+q^{t-1}}\). This hypersurface is partitioned by \((t-1)\)-spaces
\[
S_{h,k}=\{(z,kz^{q^h})_{q^t}:z\in\mathbb F_{q^t}\}, \qquad N(k)=1,
\]
and the field-reduction image of the pseudoregulus-type linear set is one such \(S_{0,k}\). The same objects also appear as exterior splashes of canonical subgeometries on exterior lines [1506.08875].

A third characterization uses the projective line over the endomorphism ring \(E=\mathrm{End}_q(\mathbb F_{q^t})\). If a scattered linear set \(L\) corresponds to a point \(T\in \mathrm{PG}(1,E)\), then \(L\) is of pseudoregulus type if and only if there exists a projectivity \(\varphi\) of \(\mathrm{PG}(1,E)\) such that
\[
L_T^\varphi=L'_T.
\]
Equivalently, pseudoregulus type is exactly the case in which the two rulings arising from \(T\) are projectively interchangeable in the ring-geometric model [1603.02232].

## 3. Equivalence, orbit structure, and rigidity

On \(\mathrm{PG}(1,q^t)\), all linear sets of pseudoregulus type are \(\mathrm{PGL}(2,q^t)\)-equivalent, so the family is projectively uniform [1501.03441][1506.08875]. This projective uniformity does not collapse the finer semilinear orbit structure. For a pseudoregulus-type maximum scattered linear set \(L\), the \(\Gamma L\)-class is
\[
c_\Gamma(L)=\frac{\varphi(t)}{2},
\]
where \(\varphi\) is Euler’s totient function [2205.06634]. In the higher-dimensional family of pseudoregulus type in \(\mathrm{PG}(2n-1,q^t)\), projective equivalence is controlled by the companion automorphism of the defining semilinear map, up to inversion, and there are
\[
\frac{\varphi(t)}{2}
\]
projective orbits for \(n\ge 2\), \(t\ge 3\) [1211.3604].

The family is rigid, but not in the strongest possible sense. For \(t=5\) or \(t>6\), a pseudoregulus-type linear set on \(\mathrm{PG}(1,q^t)\) can be obtained as the projection of two different canonical subgeometries \(\Sigma_1,\Sigma_2\cong \mathrm{PG}(t-1,q)\) from the same center \(\Gamma\cong \mathrm{PG}(t-3,q)\) to the same axis, while no ambient collineation \(\phi\) satisfies
\[
\Gamma^\phi=\Gamma,\qquad \Sigma_1^\phi=\Sigma_2.
\]
Accordingly, the existence of an ambient collineation between projecting configurations is not a necessary condition for equivalence of the projected linear sets in general; the exact criterion is the paper’s condition (A) [1501.03441].

This combination of projective uniqueness and semilinear multiplicity is one of the distinctive features of pseudoregulus type. It explains why the family is simultaneously the most symmetric scattered family and a nontrivial source of inequivalent defining subspaces.

## 4. Position in the classification of maximum scattered linear sets

In the classification of maximum scattered linear sets on projective lines, pseudoregulus type is the baseline family. For \(\mathrm{PG}(1,q^4)\), the complete classification states that the only maximum scattered \(\mathbb F_q\)-linear sets are those of pseudoregulus type and those of Lunardon–Polverino type. Every maximum scattered set is projectively equivalent to
\[
L_{U(b)},\qquad U(b)=\{(x,bx^q+x^{q^3}) : x\in\mathbb F_{q^4}\},
\]
with \(N_{q^4/q}(b)\neq 1\); the case \(b=0\) is exactly pseudoregulus type [1705.00731].

For \(\mathrm{PG}(1,q^5)\), the projection model becomes the organizing principle. Every maximum scattered linear set is the projection of a canonical \(\mathbb F_q\)-subgeometry \(\Sigma\subseteq \mathrm{PG}(4,q^5)\) from a plane \(\Gamma\). If \(\sigma\) generates the cyclic group fixing \(\Sigma\) pointwise and
\[
A=\Gamma\cap \Gamma^{\sigma^4},\qquad B=\Gamma\cap \Gamma^{\sigma^3},
\]
then the abstract states that if \(A\) and \(B\) are not both points, the projected linear set is of pseudoregulus type. In the equivalent vertex language, pseudoregulus type is exactly the case
\[
\dim(\Gamma\cap \Gamma^\sigma)=1.
\]
Once pseudoregulus type is excluded, the remaining cases split into LP type and a narrow residual case with \(\mathrm{rk}\,A=\mathrm{rk}\,B=4\); exhaustive computation shows that for \(q\le 25\) no new maximum scattered linear set exists [2507.23409].

At the level of scattered polynomials, pseudoregulus type is the monomial family
\[
X^{q^s},\qquad \gcd(s,n)=1.
\]
Recent work still treats this as one of the three known families that exist for infinitely many values of \(n\) and \(q\), alongside Lunardon–Polverino-type binomials and a family of quadrinomials [2601.09415]. The same comparison appears in the study of new scattered quadrinomials, where pseudoregulus type is listed as family (i) among the previously known families for \(n>8\) [2402.14742].

## 5. Translation planes, semifields, hyperovals, and MRD codes

Pseudoregulus type entered finite geometry in a decisive way through the construction of translation planes. Lunardon and Polverino started from a pseudoregulus-type scattered linear set in \(\mathrm{PG}(1,q^t)\) and performed a hyper-regulus replacement in the Desarguesian spread
\[
D=\{\,v\mathbb F_{q^t}:v\in \mathbb F_{q^t}^2{}^\ast\,\}.
\]
This yields an André translation plane. In the later generalization to arbitrary scattered linearized polynomials, the paper explicitly notes that for \(s=1\), the plane \(\mathcal A_{g_s}\) arising from the polynomial \(x^{q^s}\) is exactly the André \(q\)-plane from the original construction, up to projective equivalence [2205.06634]. In the stabilizer-based analysis of scattered polynomials, pseudoregulus type is precisely the monomial case
\[
f(x)=x^{q^s},\qquad (s,n)=1,
\]
with
\[
G_f=\{\operatorname{diag}(\alpha,\alpha^{q^s}) : \alpha\in \mathbb F_{q^n}\},
\]
and if \(L_f\) is of pseudoregulus type then the associated translation plane \(\mathcal A_f\) is an André plane [2205.15429].

The family is also central in semifield geometry. In \(\mathrm{PG}(2n-1,q^t)\), maximum scattered linear sets of pseudoregulus type are used to characterize the associated linear sets of Generalized Twisted Fields. In \(\mathrm{PG}(3,q^t)\), the corresponding pseudoregulus-type linear sets with transversal lines in the two reguli of the hyperbolic quadric \({\cal Q}^+(3,q^t)\) characterize the Knuth semifields \(K_{17}\) and \(K_{19}\) [1211.3604].

Coding-theoretically, pseudoregulus type provides both reference examples and input data for new constructions. A new family of MRD codes is obtained by starting from maximum scattered linear sets of pseudoregulus type in \(\mathrm{PG}(3,q^n)\) and transferring the corresponding \(\mathbb F_q\)-subspaces to \(\mathrm{PG}(1,q^{2n})\). For \(n=3,4\) and suitable parameters, the resulting linear sets are maximum scattered and give new MRD codes with parameters \((6,6,q;5)\) for \(q>2\) and \((8,8,q;7)\) for odd \(q\) [1707.08487].

A further application occurs in the André/Bruck–Bose representation of translation hyperovals. The affine point sets of translation hyperovals in \(\mathrm{PG}(2,q^k)\) are precisely those whose direction sets are scattered \(\mathbb F_2\)-linear sets of pseudoregulus type in \(\mathrm{PG}(2k-1,q)\) [1906.04537].

## 6. Generalizations and adjacent constructions

The most direct generalization is \(h\)-pseudoregulus type. In \(\mathrm{PG}((h+1)t-1,q^n)\), an \(\mathbb F_q\)-linear set of rank \(nt\) is of \(h\)-pseudoregulus type if there exist
\[
s=\frac{q^{nt}-1}{q^n-1}
\]
pairwise disjoint \(h\)-subspaces of weight \(n\), together with exactly \(h+1\) transversal \((t-1)\)-spaces satisfying the incidence conditions of Definition 3.1. These objects arise by projecting a canonical subgeometry from the span of all but \(h+1\) director spaces of a Desarguesian spread. Among them, the maximum \(h\)-scattered examples are exactly those whose associated exponent set is a Moore exponent set [2001.08685].

Pseudoregulus type also reappears in the one-sided theory of partially scattered polynomials. If \(n=tt'\) and
\[
f(x)=\sum_{i=0}^{t'-1} a_i x^{q^{it+s}},\qquad \gcd(s,t)=1,
\]
then \(f\) is \(R\)-\(q^t\)-partially scattered if and only if the associated \(\mathbb F_{q^t}\)-linear set \(L_f\) is of pseudoregulus type in \(\mathrm{PG}(2t'-1,q^t)\). In the same family, weak equivalence classes are governed by the exponent \(s\), and there are exactly \(\varphi(t)/2\) weak equivalence classes [2103.04591].

Recent papers constructing new scattered quadrinomials distinguish their families from pseudoregulus type rather than extending it. One paper proves that \(\varphi_{m,q}\) is never \(\Gamma L(2,q^{2t})\)-equivalent to a monomial \(X^{q^s}\) of pseudoregulus type [2402.14742]. Another compares the new quadrinomials \(\psi_{m,h,s}\) with the classical benchmark families and shows geometrically that pseudoregulus type corresponds to vertex intersection number \(1\), LP type to \(2\), while the quadrinomial family has vertex intersection number at least \(3\) [2601.09415].

Taken together, these developments show that pseudoregulus type remains the reference geometry in the subject: it is the uniquely rigid monomial family on \(\mathrm{PG}(1,q^n)\), the first case detected in vertex-based classification, the model for one-sided partial scatteredness, and the comparison orbit from which newer scattered families are separated.

Source: https://www.emergentmind.com/topics/pseudoregulus-type